0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.00 c [STEP] solving with SCIP
299.36/300.45 c [STEP] preprocessing done, loading into solver
299.36/300.45 c [STEP] solving
299.36/300.45 c #variables 71 #constraints 16
326.79/327.92 c #Conflicts: 1000 | #Constraints: 1015
326.79/327.92 c #Conflicts: 2000 | #Constraints: 2015
326.79/327.92 c INPROCESSING
326.79/327.92 c GARBAGE COLLECT
326.79/327.92 c #Conflicts: 3000 | #Constraints: 2017
326.79/327.92 c #Conflicts: 4000 | #Constraints: 3017
326.79/327.92 c INPROCESSING
326.79/327.92 c GARBAGE COLLECT
326.79/327.92 c #Conflicts: 5000 | #Constraints: 2420
326.79/327.92 c #Conflicts: 6000 | #Constraints: 3420
326.79/327.92 c INPROCESSING
326.79/327.92 c GARBAGE COLLECT
326.79/327.92 c #Conflicts: 7000 | #Constraints: 2426
326.79/327.92 c #Conflicts: 8000 | #Constraints: 3426
326.79/327.92 c #Conflicts: 9000 | #Constraints: 4426
326.79/327.92 c INPROCESSING
326.79/327.92 c GARBAGE COLLECT
326.79/327.92 c #Conflicts: 10000 | #Constraints: 3125
326.79/327.92 c #Conflicts: 11000 | #Constraints: 4125
326.79/327.92 c #Conflicts: 12000 | #Constraints: 5125
326.79/327.92 c INPROCESSING
326.79/327.92 c GARBAGE COLLECT
326.79/327.92 c #Conflicts: 13000 | #Constraints: 3573
326.79/327.92 c #Conflicts: 14000 | #Constraints: 4573
326.79/327.92 c #Conflicts: 15000 | #Constraints: 5573
326.79/327.92 c INPROCESSING
326.79/327.92 c GARBAGE COLLECT
326.79/327.92 c #Conflicts: 16000 | #Constraints: 3800
326.79/327.92 c #Conflicts: 17000 | #Constraints: 4800
326.79/327.92 c #Conflicts: 18000 | #Constraints: 5800
326.79/327.92 c INPROCESSING
326.79/327.92 c GARBAGE COLLECT
326.79/327.92 c #Conflicts: 19000 | #Constraints: 3815
326.79/327.92 c #Conflicts: 20000 | #Constraints: 4815
326.79/327.92 c #Conflicts: 21000 | #Constraints: 5815
326.79/327.92 c INPROCESSING
326.79/327.92 c GARBAGE COLLECT
326.79/327.92 c #Conflicts: 22000 | #Constraints: 3617
326.79/327.92 c #Conflicts: 23000 | #Constraints: 4617
326.79/327.92 c #Conflicts: 24000 | #Constraints: 5617
326.79/327.92 c #Conflicts: 25000 | #Constraints: 6617
326.79/327.92 c INPROCESSING
326.79/327.92 c GARBAGE COLLECT
326.79/327.92 c #Conflicts: 26000 | #Constraints: 4223
326.79/327.92 c #Conflicts: 27000 | #Constraints: 5223
326.79/327.92 c #Conflicts: 28000 | #Constraints: 6223
326.79/327.92 c #Conflicts: 29000 | #Constraints: 7223
326.79/327.92 c INPROCESSING
326.79/327.92 c GARBAGE COLLECT
326.79/327.92 c #Conflicts: 30000 | #Constraints: 4624
326.79/327.92 c #Conflicts: 31000 | #Constraints: 5624
326.79/327.92 c #Conflicts: 32000 | #Constraints: 6624
326.79/327.92 c #Conflicts: 33000 | #Constraints: 7624
326.79/327.92 c INPROCESSING
326.79/327.92 c GARBAGE COLLECT
326.79/327.92 c #Conflicts: 34000 | #Constraints: 4823
326.79/327.92 c #Conflicts: 35000 | #Constraints: 5823
326.79/327.92 c #Conflicts: 36000 | #Constraints: 6823
326.79/327.92 c #Conflicts: 37000 | #Constraints: 7823
326.79/327.92 c INPROCESSING
326.79/327.92 c GARBAGE COLLECT
326.79/327.92 c #Conflicts: 38000 | #Constraints: 4825
326.79/327.92 c #Conflicts: 39000 | #Constraints: 5825
326.79/327.92 c #Conflicts: 40000 | #Constraints: 6825
326.79/327.92 c #Conflicts: 41000 | #Constraints: 7825
326.79/327.92 c INPROCESSING
326.79/327.92 c GARBAGE COLLECT
326.79/327.92 c #Conflicts: 42000 | #Constraints: 4626
326.79/327.92 c #Conflicts: 43000 | #Constraints: 5626
326.79/327.92 c #Conflicts: 44000 | #Constraints: 6626
326.79/327.92 c #Conflicts: 45000 | #Constraints: 7626
326.79/327.92 c #Conflicts: 46000 | #Constraints: 8626
326.79/327.92 c INPROCESSING
326.79/327.92 c GARBAGE COLLECT
326.79/327.92 c #Conflicts: 47000 | #Constraints: 5225
326.79/327.92 c #Conflicts: 48000 | #Constraints: 6225
326.79/327.92 c #Conflicts: 49000 | #Constraints: 7225
326.79/327.92 c #Conflicts: 50000 | #Constraints: 8225
326.79/327.92 c #Conflicts: 51000 | #Constraints: 9225
326.79/327.92 c INPROCESSING
326.79/327.92 c GARBAGE COLLECT
326.79/327.92 c #Conflicts: 52000 | #Constraints: 5629
326.79/327.92 c #Conflicts: 53000 | #Constraints: 6629
326.79/327.92 c #Conflicts: 54000 | #Constraints: 7629
326.79/327.92 c #Conflicts: 55000 | #Constraints: 8629
326.79/327.92 c #Conflicts: 56000 | #Constraints: 9629
326.79/327.92 c INPROCESSING
326.79/327.92 c GARBAGE COLLECT
326.79/327.92 c #Conflicts: 57000 | #Constraints: 5825
326.79/327.92 c #Conflicts: 58000 | #Constraints: 6825
326.79/327.92 c #Conflicts: 59000 | #Constraints: 7825
326.79/327.92 c #Conflicts: 60000 | #Constraints: 8825
326.79/327.92 c #Conflicts: 61000 | #Constraints: 9825
326.79/327.92 c INPROCESSING
326.79/327.92 c GARBAGE COLLECT
326.79/327.92 c #Conflicts: 62000 | #Constraints: 5825
326.79/327.92 c #Conflicts: 63000 | #Constraints: 6825
326.79/327.92 c #Conflicts: 64000 | #Constraints: 7825
326.79/327.92 c #Conflicts: 65000 | #Constraints: 8825
326.79/327.92 c #Conflicts: 66000 | #Constraints: 9825
326.79/327.92 c INPROCESSING
326.79/327.92 c GARBAGE COLLECT
326.79/327.92 c #Conflicts: 67000 | #Constraints: 5625
326.79/327.92 c #Conflicts: 68000 | #Constraints: 6625
384.64/385.99 c #Conflicts: 69000 | #Constraints: 7625
384.64/385.99 c #Conflicts: 70000 | #Constraints: 8625
384.64/385.99 c #Conflicts: 71000 | #Constraints: 9625
384.64/385.99 c #Conflicts: 72000 | #Constraints: 10625
384.64/385.99 c INPROCESSING
384.64/385.99 c GARBAGE COLLECT
384.64/385.99 c #Conflicts: 73000 | #Constraints: 6224
384.64/385.99 c #Conflicts: 74000 | #Constraints: 7224
384.64/385.99 c #Conflicts: 75000 | #Constraints: 8224
384.64/385.99 c #Conflicts: 76000 | #Constraints: 9224
384.64/385.99 c #Conflicts: 77000 | #Constraints: 10224
384.64/385.99 c #Conflicts: 78000 | #Constraints: 11224
384.64/385.99 c INPROCESSING
384.64/385.99 c GARBAGE COLLECT
384.64/385.99 c #Conflicts: 79000 | #Constraints: 6625
384.64/385.99 c #Conflicts: 80000 | #Constraints: 7625
384.64/385.99 c #Conflicts: 81000 | #Constraints: 8625
384.64/385.99 c #Conflicts: 82000 | #Constraints: 9625
384.64/385.99 c #Conflicts: 83000 | #Constraints: 10625
384.64/385.99 c #Conflicts: 84000 | #Constraints: 11625
384.64/385.99 c INPROCESSING
384.64/385.99 c GARBAGE COLLECT
384.64/385.99 c #Conflicts: 85000 | #Constraints: 6827
384.64/385.99 c #Conflicts: 86000 | #Constraints: 7827
384.64/385.99 c #Conflicts: 87000 | #Constraints: 8827
384.64/385.99 c #Conflicts: 88000 | #Constraints: 9827
384.64/385.99 c #Conflicts: 89000 | #Constraints: 10827
384.64/385.99 c #Conflicts: 90000 | #Constraints: 11827
384.64/385.99 c INPROCESSING
384.64/385.99 c GARBAGE COLLECT
384.64/385.99 c #Conflicts: 91000 | #Constraints: 6827
384.64/385.99 c #Conflicts: 92000 | #Constraints: 7827
384.64/385.99 c #Conflicts: 93000 | #Constraints: 8827
384.64/385.99 c #Conflicts: 94000 | #Constraints: 9827
384.64/385.99 c #Conflicts: 95000 | #Constraints: 10827
384.64/385.99 c #Conflicts: 96000 | #Constraints: 11827
384.64/385.99 c INPROCESSING
384.64/385.99 c GARBAGE COLLECT
384.64/385.99 c #Conflicts: 97000 | #Constraints: 6627
384.64/385.99 c #Conflicts: 98000 | #Constraints: 7627
384.64/385.99 c #Conflicts: 99000 | #Constraints: 8627
384.64/385.99 c #Conflicts: 100000 | #Constraints: 9627
384.64/385.99 c #Conflicts: 101000 | #Constraints: 10627
384.64/385.99 c #Conflicts: 102000 | #Constraints: 11627
384.64/385.99 c #Conflicts: 103000 | #Constraints: 12627
384.64/385.99 c INPROCESSING
384.64/385.99 c GARBAGE COLLECT
384.64/385.99 c #Conflicts: 104000 | #Constraints: 7225
384.64/385.99 c #Conflicts: 105000 | #Constraints: 8225
384.64/385.99 c #Conflicts: 106000 | #Constraints: 9225
384.64/385.99 c #Conflicts: 107000 | #Constraints: 10225
384.64/385.99 c #Conflicts: 108000 | #Constraints: 11225
384.64/385.99 c #Conflicts: 109000 | #Constraints: 12225
384.64/385.99 c #Conflicts: 110000 | #Constraints: 13225
384.64/385.99 c INPROCESSING
384.64/385.99 c GARBAGE COLLECT
384.64/385.99 c #Conflicts: 111000 | #Constraints: 7627
384.64/385.99 c #Conflicts: 112000 | #Constraints: 8627
384.64/385.99 c #Conflicts: 113000 | #Constraints: 9627
384.64/385.99 c #Conflicts: 114000 | #Constraints: 10627
384.64/385.99 c #Conflicts: 115000 | #Constraints: 11627
384.64/385.99 c #Conflicts: 116000 | #Constraints: 12627
384.64/385.99 c #Conflicts: 117000 | #Constraints: 13627
384.64/385.99 c INPROCESSING
384.64/385.99 c GARBAGE COLLECT
384.64/385.99 c #Conflicts: 118000 | #Constraints: 7824
384.64/385.99 c #Conflicts: 119000 | #Constraints: 8824
384.64/385.99 c #Conflicts: 120000 | #Constraints: 9824
384.64/385.99 c #Conflicts: 121000 | #Constraints: 10824
384.64/385.99 c #Conflicts: 122000 | #Constraints: 11824
384.64/385.99 c #Conflicts: 123000 | #Constraints: 12824
384.64/385.99 c #Conflicts: 124000 | #Constraints: 13824
384.64/385.99 c INPROCESSING
384.64/385.99 c GARBAGE COLLECT
384.64/385.99 c #Conflicts: 125000 | #Constraints: 7824
384.64/385.99 c #Conflicts: 126000 | #Constraints: 8824
384.64/385.99 c #Conflicts: 127000 | #Constraints: 9824
384.64/385.99 c #Conflicts: 128000 | #Constraints: 10824
384.64/385.99 c #Conflicts: 129000 | #Constraints: 11824
384.64/385.99 c #Conflicts: 130000 | #Constraints: 12824
384.64/385.99 c #Conflicts: 131000 | #Constraints: 13824
384.64/385.99 c INPROCESSING
384.64/385.99 c GARBAGE COLLECT
384.64/385.99 c #Conflicts: 132000 | #Constraints: 7625
384.64/385.99 c #Conflicts: 133000 | #Constraints: 8625
384.64/385.99 c #Conflicts: 134000 | #Constraints: 9625
384.64/385.99 c #Conflicts: 135000 | #Constraints: 10625
384.64/385.99 c #Conflicts: 136000 | #Constraints: 11625
384.64/385.99 c #Conflicts: 137000 | #Constraints: 12625
384.64/385.99 c #Conflicts: 138000 | #Constraints: 13625
384.64/385.99 c #Conflicts: 139000 | #Constraints: 14625
384.64/385.99 c INPROCESSING
384.64/385.99 c GARBAGE COLLECT
384.64/385.99 c #Conflicts: 140000 | #Constraints: 8226
470.19/471.77 c #Conflicts: 141000 | #Constraints: 9226
470.19/471.77 c #Conflicts: 142000 | #Constraints: 10226
470.19/471.77 c #Conflicts: 143000 | #Constraints: 11226
470.19/471.77 c #Conflicts: 144000 | #Constraints: 12226
470.19/471.77 c #Conflicts: 145000 | #Constraints: 13226
470.19/471.77 c #Conflicts: 146000 | #Constraints: 14226
470.19/471.77 c #Conflicts: 147000 | #Constraints: 15226
470.19/471.77 c INPROCESSING
470.19/471.77 c GARBAGE COLLECT
470.19/471.77 c #Conflicts: 148000 | #Constraints: 8628
470.19/471.77 c #Conflicts: 149000 | #Constraints: 9628
470.19/471.77 c #Conflicts: 150000 | #Constraints: 10628
470.19/471.77 c #Conflicts: 151000 | #Constraints: 11628
470.19/471.77 c #Conflicts: 152000 | #Constraints: 12628
470.19/471.77 c #Conflicts: 153000 | #Constraints: 13628
470.19/471.77 c #Conflicts: 154000 | #Constraints: 14628
470.19/471.77 c #Conflicts: 155000 | #Constraints: 15628
470.19/471.77 c INPROCESSING
470.19/471.77 c GARBAGE COLLECT
470.19/471.77 c #Conflicts: 156000 | #Constraints: 8829
470.19/471.77 c #Conflicts: 157000 | #Constraints: 9829
470.19/471.77 c #Conflicts: 158000 | #Constraints: 10829
470.19/471.77 c #Conflicts: 159000 | #Constraints: 11829
470.19/471.77 c #Conflicts: 160000 | #Constraints: 12829
470.19/471.77 c #Conflicts: 161000 | #Constraints: 13829
470.19/471.77 c #Conflicts: 162000 | #Constraints: 14829
470.19/471.77 c #Conflicts: 163000 | #Constraints: 15829
470.19/471.77 c INPROCESSING
470.19/471.77 c GARBAGE COLLECT
470.19/471.77 c #Conflicts: 164000 | #Constraints: 8827
470.19/471.77 c #Conflicts: 165000 | #Constraints: 9827
470.19/471.77 c #Conflicts: 166000 | #Constraints: 10827
470.19/471.77 c #Conflicts: 167000 | #Constraints: 11827
470.19/471.77 c #Conflicts: 168000 | #Constraints: 12827
470.19/471.77 c #Conflicts: 169000 | #Constraints: 13827
470.19/471.77 c #Conflicts: 170000 | #Constraints: 14827
470.19/471.77 c #Conflicts: 171000 | #Constraints: 15827
470.19/471.77 c INPROCESSING
470.19/471.77 c GARBAGE COLLECT
470.19/471.77 c #Conflicts: 172000 | #Constraints: 8628
470.19/471.77 c #Conflicts: 173000 | #Constraints: 9628
470.19/471.77 c #Conflicts: 174000 | #Constraints: 10628
470.19/471.77 c #Conflicts: 175000 | #Constraints: 11628
470.19/471.77 c #Conflicts: 176000 | #Constraints: 12628
470.19/471.77 c #Conflicts: 177000 | #Constraints: 13628
470.19/471.77 c #Conflicts: 178000 | #Constraints: 14628
470.19/471.77 c #Conflicts: 179000 | #Constraints: 15628
470.19/471.77 c #Conflicts: 180000 | #Constraints: 16628
470.19/471.77 c INPROCESSING
470.19/471.77 c GARBAGE COLLECT
470.19/471.77 c #Conflicts: 181000 | #Constraints: 9228
470.19/471.77 c #Conflicts: 182000 | #Constraints: 10228
470.19/471.77 c #Conflicts: 183000 | #Constraints: 11228
470.19/471.77 c #Conflicts: 184000 | #Constraints: 12228
470.19/471.77 c #Conflicts: 185000 | #Constraints: 13228
470.19/471.77 c #Conflicts: 186000 | #Constraints: 14228
470.19/471.77 c #Conflicts: 187000 | #Constraints: 15228
470.19/471.77 c #Conflicts: 188000 | #Constraints: 16228
470.19/471.77 c #Conflicts: 189000 | #Constraints: 17228
470.19/471.77 c INPROCESSING
470.19/471.77 c GARBAGE COLLECT
470.19/471.77 c #Conflicts: 190000 | #Constraints: 9630
470.19/471.77 c #Conflicts: 191000 | #Constraints: 10630
470.19/471.77 c #Conflicts: 192000 | #Constraints: 11630
470.19/471.77 c #Conflicts: 193000 | #Constraints: 12630
470.19/471.77 c #Conflicts: 194000 | #Constraints: 13630
470.19/471.77 c #Conflicts: 195000 | #Constraints: 14630
470.19/471.77 c #Conflicts: 196000 | #Constraints: 15630
470.19/471.77 c #Conflicts: 197000 | #Constraints: 16630
470.19/471.77 c #Conflicts: 198000 | #Constraints: 17630
470.19/471.77 c INPROCESSING
470.19/471.77 c GARBAGE COLLECT
470.19/471.77 c #Conflicts: 199000 | #Constraints: 9828
470.19/471.77 c #Conflicts: 200000 | #Constraints: 10828
470.19/471.77 c #Conflicts: 201000 | #Constraints: 11828
470.19/471.77 c #Conflicts: 202000 | #Constraints: 12828
470.19/471.77 c #Conflicts: 203000 | #Constraints: 13828
470.19/471.77 c #Conflicts: 204000 | #Constraints: 14828
470.19/471.77 c #Conflicts: 205000 | #Constraints: 15828
470.19/471.77 c #Conflicts: 206000 | #Constraints: 16828
470.19/471.77 c #Conflicts: 207000 | #Constraints: 17828
470.19/471.77 c INPROCESSING
470.19/471.77 c GARBAGE COLLECT
470.19/471.77 c #Conflicts: 208000 | #Constraints: 9829
470.19/471.77 c #Conflicts: 209000 | #Constraints: 10829
470.19/471.77 c #Conflicts: 210000 | #Constraints: 11829
470.19/471.77 c #Conflicts: 211000 | #Constraints: 12829
470.19/471.77 c #Conflicts: 212000 | #Constraints: 13829
470.19/471.77 c #Conflicts: 213000 | #Constraints: 14829
569.18/571.09 c #Conflicts: 214000 | #Constraints: 15829
569.18/571.09 c #Conflicts: 215000 | #Constraints: 16829
569.18/571.09 c #Conflicts: 216000 | #Constraints: 17829
569.18/571.09 c INPROCESSING
569.18/571.09 c GARBAGE COLLECT
569.18/571.09 c #Conflicts: 217000 | #Constraints: 9626
569.18/571.09 c #Conflicts: 218000 | #Constraints: 10626
569.18/571.09 c #Conflicts: 219000 | #Constraints: 11626
569.18/571.09 c #Conflicts: 220000 | #Constraints: 12626
569.18/571.09 c #Conflicts: 221000 | #Constraints: 13626
569.18/571.09 c #Conflicts: 222000 | #Constraints: 14626
569.18/571.09 c #Conflicts: 223000 | #Constraints: 15626
569.18/571.09 c #Conflicts: 224000 | #Constraints: 16626
569.18/571.09 c #Conflicts: 225000 | #Constraints: 17626
569.18/571.09 c #Conflicts: 226000 | #Constraints: 18626
569.18/571.09 c INPROCESSING
569.18/571.09 c GARBAGE COLLECT
569.18/571.09 c #Conflicts: 227000 | #Constraints: 10228
569.18/571.09 c #Conflicts: 228000 | #Constraints: 11228
569.18/571.09 c #Conflicts: 229000 | #Constraints: 12228
569.18/571.09 c #Conflicts: 230000 | #Constraints: 13228
569.18/571.09 c #Conflicts: 231000 | #Constraints: 14228
569.18/571.09 c #Conflicts: 232000 | #Constraints: 15228
569.18/571.09 c #Conflicts: 233000 | #Constraints: 16228
569.18/571.09 c #Conflicts: 234000 | #Constraints: 17228
569.18/571.09 c #Conflicts: 235000 | #Constraints: 18228
569.18/571.09 c #Conflicts: 236000 | #Constraints: 19228
569.18/571.09 c INPROCESSING
569.18/571.09 c GARBAGE COLLECT
569.18/571.09 c #Conflicts: 237000 | #Constraints: 10629
569.18/571.09 c #Conflicts: 238000 | #Constraints: 11629
569.18/571.09 c #Conflicts: 239000 | #Constraints: 12629
569.18/571.09 c #Conflicts: 240000 | #Constraints: 13629
569.18/571.09 c #Conflicts: 241000 | #Constraints: 14629
569.18/571.09 c #Conflicts: 242000 | #Constraints: 15629
569.18/571.09 c #Conflicts: 243000 | #Constraints: 16629
569.18/571.09 c #Conflicts: 244000 | #Constraints: 17629
569.18/571.09 c #Conflicts: 245000 | #Constraints: 18629
569.18/571.09 c #Conflicts: 246000 | #Constraints: 19629
569.18/571.09 c INPROCESSING
569.18/571.09 c GARBAGE COLLECT
569.18/571.09 c #Conflicts: 247000 | #Constraints: 10828
569.18/571.09 c #Conflicts: 248000 | #Constraints: 11828
569.18/571.09 c #Conflicts: 249000 | #Constraints: 12828
569.18/571.09 c #Conflicts: 250000 | #Constraints: 13828
569.18/571.09 c #Conflicts: 251000 | #Constraints: 14828
569.18/571.09 c #Conflicts: 252000 | #Constraints: 15828
569.18/571.09 c #Conflicts: 253000 | #Constraints: 16828
569.18/571.09 c #Conflicts: 254000 | #Constraints: 17828
569.18/571.09 c #Conflicts: 255000 | #Constraints: 18828
569.18/571.09 c #Conflicts: 256000 | #Constraints: 19828
569.18/571.09 c INPROCESSING
569.18/571.09 c GARBAGE COLLECT
569.18/571.09 c #Conflicts: 257000 | #Constraints: 10825
569.18/571.09 c #Conflicts: 258000 | #Constraints: 11825
569.18/571.09 c #Conflicts: 259000 | #Constraints: 12825
569.18/571.09 c #Conflicts: 260000 | #Constraints: 13825
569.18/571.09 c #Conflicts: 261000 | #Constraints: 14825
569.18/571.09 c #Conflicts: 262000 | #Constraints: 15825
569.18/571.09 c #Conflicts: 263000 | #Constraints: 16825
569.18/571.09 c #Conflicts: 264000 | #Constraints: 17825
569.18/571.09 c #Conflicts: 265000 | #Constraints: 18825
569.18/571.09 c #Conflicts: 266000 | #Constraints: 19825
569.18/571.09 c INPROCESSING
569.18/571.09 c GARBAGE COLLECT
569.18/571.09 c #Conflicts: 267000 | #Constraints: 10627
569.18/571.09 c #Conflicts: 268000 | #Constraints: 11627
569.18/571.09 c #Conflicts: 269000 | #Constraints: 12627
569.18/571.09 c #Conflicts: 270000 | #Constraints: 13627
569.18/571.09 c #Conflicts: 271000 | #Constraints: 14627
569.18/571.09 c #Conflicts: 272000 | #Constraints: 15627
569.18/571.09 c #Conflicts: 273000 | #Constraints: 16627
569.18/571.09 c #Conflicts: 274000 | #Constraints: 17627
569.18/571.09 c #Conflicts: 275000 | #Constraints: 18627
569.18/571.09 c #Conflicts: 276000 | #Constraints: 19627
569.18/571.09 c #Conflicts: 277000 | #Constraints: 20627
569.18/571.09 c INPROCESSING
569.18/571.09 c GARBAGE COLLECT
569.18/571.09 c #Conflicts: 278000 | #Constraints: 11224
569.18/571.09 c #Conflicts: 279000 | #Constraints: 12224
569.18/571.09 c #Conflicts: 280000 | #Constraints: 13224
569.18/571.09 c #Conflicts: 281000 | #Constraints: 14224
569.18/571.09 c #Conflicts: 282000 | #Constraints: 15224
569.18/571.09 c #Conflicts: 283000 | #Constraints: 16224
569.18/571.09 c #Conflicts: 284000 | #Constraints: 17224
569.18/571.09 c #Conflicts: 285000 | #Constraints: 18224
569.18/571.09 c #Conflicts: 286000 | #Constraints: 19224
569.18/571.09 c #Conflicts: 287000 | #Constraints: 20224
569.18/571.09 c #Conflicts: 288000 | #Constraints: 21224
671.14/673.35 c INPROCESSING
671.14/673.35 c GARBAGE COLLECT
671.14/673.35 c #Conflicts: 289000 | #Constraints: 11625
671.14/673.35 c #Conflicts: 290000 | #Constraints: 12625
671.14/673.35 c #Conflicts: 291000 | #Constraints: 13625
671.14/673.35 c #Conflicts: 292000 | #Constraints: 14625
671.14/673.35 c #Conflicts: 293000 | #Constraints: 15625
671.14/673.35 c #Conflicts: 294000 | #Constraints: 16625
671.14/673.35 c #Conflicts: 295000 | #Constraints: 17625
671.14/673.35 c #Conflicts: 296000 | #Constraints: 18625
671.14/673.35 c #Conflicts: 297000 | #Constraints: 19625
671.14/673.35 c #Conflicts: 298000 | #Constraints: 20625
671.14/673.35 c #Conflicts: 299000 | #Constraints: 21625
671.14/673.35 c INPROCESSING
671.14/673.35 c GARBAGE COLLECT
671.14/673.35 c #Conflicts: 300000 | #Constraints: 11825
671.14/673.35 c #Conflicts: 301000 | #Constraints: 12825
671.14/673.35 c #Conflicts: 302000 | #Constraints: 13825
671.14/673.35 c #Conflicts: 303000 | #Constraints: 14825
671.14/673.35 c #Conflicts: 304000 | #Constraints: 15825
671.14/673.35 c #Conflicts: 305000 | #Constraints: 16825
671.14/673.35 c #Conflicts: 306000 | #Constraints: 17825
671.14/673.35 c #Conflicts: 307000 | #Constraints: 18825
671.14/673.35 c #Conflicts: 308000 | #Constraints: 19825
671.14/673.35 c #Conflicts: 309000 | #Constraints: 20825
671.14/673.35 c #Conflicts: 310000 | #Constraints: 21825
671.14/673.35 c INPROCESSING
671.14/673.35 c GARBAGE COLLECT
671.14/673.35 c #Conflicts: 311000 | #Constraints: 11827
671.14/673.35 c #Conflicts: 312000 | #Constraints: 12827
671.14/673.35 c #Conflicts: 313000 | #Constraints: 13827
671.14/673.35 c #Conflicts: 314000 | #Constraints: 14827
671.14/673.35 c #Conflicts: 315000 | #Constraints: 15827
671.14/673.35 c #Conflicts: 316000 | #Constraints: 16827
671.14/673.35 c #Conflicts: 317000 | #Constraints: 17827
671.14/673.35 c #Conflicts: 318000 | #Constraints: 18827
671.14/673.35 c #Conflicts: 319000 | #Constraints: 19827
671.14/673.35 c #Conflicts: 320000 | #Constraints: 20827
671.14/673.35 c #Conflicts: 321000 | #Constraints: 21827
671.14/673.35 c INPROCESSING
671.14/673.35 c GARBAGE COLLECT
671.14/673.35 c #Conflicts: 322000 | #Constraints: 11630
671.14/673.35 c #Conflicts: 323000 | #Constraints: 12630
671.14/673.35 c #Conflicts: 324000 | #Constraints: 13630
671.14/673.35 c #Conflicts: 325000 | #Constraints: 14630
671.14/673.35 c #Conflicts: 326000 | #Constraints: 15630
671.14/673.35 c #Conflicts: 327000 | #Constraints: 16630
671.14/673.35 c #Conflicts: 328000 | #Constraints: 17630
671.14/673.35 c #Conflicts: 329000 | #Constraints: 18630
671.14/673.35 c #Conflicts: 330000 | #Constraints: 19630
671.14/673.35 c #Conflicts: 331000 | #Constraints: 20630
671.14/673.35 c #Conflicts: 332000 | #Constraints: 21630
671.14/673.35 c #Conflicts: 333000 | #Constraints: 22630
671.14/673.35 c INPROCESSING
671.14/673.35 c GARBAGE COLLECT
671.14/673.35 c #Conflicts: 334000 | #Constraints: 12229
671.14/673.35 c #Conflicts: 335000 | #Constraints: 13229
671.14/673.35 c #Conflicts: 336000 | #Constraints: 14229
671.14/673.35 c #Conflicts: 337000 | #Constraints: 15229
671.14/673.35 c #Conflicts: 338000 | #Constraints: 16229
671.14/673.35 c #Conflicts: 339000 | #Constraints: 17229
671.14/673.35 c #Conflicts: 340000 | #Constraints: 18229
671.14/673.35 c #Conflicts: 341000 | #Constraints: 19229
671.14/673.35 c #Conflicts: 342000 | #Constraints: 20229
671.14/673.35 c #Conflicts: 343000 | #Constraints: 21229
671.14/673.35 c #Conflicts: 344000 | #Constraints: 22229
671.14/673.35 c #Conflicts: 345000 | #Constraints: 23229
671.14/673.35 c INPROCESSING
671.14/673.35 c GARBAGE COLLECT
671.14/673.35 c #Conflicts: 346000 | #Constraints: 12626
671.14/673.35 c #Conflicts: 347000 | #Constraints: 13626
671.14/673.35 c #Conflicts: 348000 | #Constraints: 14626
671.14/673.35 c #Conflicts: 349000 | #Constraints: 15626
671.14/673.35 c #Conflicts: 350000 | #Constraints: 16626
671.14/673.35 c #Conflicts: 351000 | #Constraints: 17626
671.14/673.35 c #Conflicts: 352000 | #Constraints: 18626
671.14/673.35 c #Conflicts: 353000 | #Constraints: 19626
671.14/673.35 c #Conflicts: 354000 | #Constraints: 20626
671.14/673.35 c #Conflicts: 355000 | #Constraints: 21626
671.14/673.35 c #Conflicts: 356000 | #Constraints: 22626
671.14/673.35 c #Conflicts: 357000 | #Constraints: 23626
671.14/673.35 c INPROCESSING
671.14/673.35 c GARBAGE COLLECT
671.14/673.35 c #Conflicts: 358000 | #Constraints: 12824
671.14/673.35 c #Conflicts: 359000 | #Constraints: 13824
671.14/673.35 c #Conflicts: 360000 | #Constraints: 14824
671.14/673.35 c #Conflicts: 361000 | #Constraints: 15824
671.14/673.35 c #Conflicts: 362000 | #Constraints: 16824
791.94/794.58 c #Conflicts: 363000 | #Constraints: 17824
791.94/794.58 c #Conflicts: 364000 | #Constraints: 18824
791.94/794.58 c #Conflicts: 365000 | #Constraints: 19824
791.94/794.58 c #Conflicts: 366000 | #Constraints: 20824
791.94/794.58 c #Conflicts: 367000 | #Constraints: 21824
791.94/794.58 c #Conflicts: 368000 | #Constraints: 22824
791.94/794.58 c #Conflicts: 369000 | #Constraints: 23824
791.94/794.58 c INPROCESSING
791.94/794.58 c GARBAGE COLLECT
791.94/794.58 c #Conflicts: 370000 | #Constraints: 12825
791.94/794.58 c #Conflicts: 371000 | #Constraints: 13825
791.94/794.58 c #Conflicts: 372000 | #Constraints: 14825
791.94/794.58 c #Conflicts: 373000 | #Constraints: 15825
791.94/794.58 c #Conflicts: 374000 | #Constraints: 16825
791.94/794.58 c #Conflicts: 375000 | #Constraints: 17825
791.94/794.58 c #Conflicts: 376000 | #Constraints: 18825
791.94/794.58 c #Conflicts: 377000 | #Constraints: 19825
791.94/794.58 c #Conflicts: 378000 | #Constraints: 20825
791.94/794.58 c #Conflicts: 379000 | #Constraints: 21825
791.94/794.58 c #Conflicts: 380000 | #Constraints: 22825
791.94/794.58 c #Conflicts: 381000 | #Constraints: 23825
791.94/794.58 c INPROCESSING
791.94/794.58 c GARBAGE COLLECT
791.94/794.58 c #Conflicts: 382000 | #Constraints: 12624
791.94/794.58 c #Conflicts: 383000 | #Constraints: 13624
791.94/794.58 c #Conflicts: 384000 | #Constraints: 14624
791.94/794.58 c #Conflicts: 385000 | #Constraints: 15624
791.94/794.58 c #Conflicts: 386000 | #Constraints: 16624
791.94/794.58 c #Conflicts: 387000 | #Constraints: 17624
791.94/794.58 c #Conflicts: 388000 | #Constraints: 18624
791.94/794.58 c #Conflicts: 389000 | #Constraints: 19624
791.94/794.58 c #Conflicts: 390000 | #Constraints: 20624
791.94/794.58 c #Conflicts: 391000 | #Constraints: 21624
791.94/794.58 c #Conflicts: 392000 | #Constraints: 22624
791.94/794.58 c #Conflicts: 393000 | #Constraints: 23624
791.94/794.58 c #Conflicts: 394000 | #Constraints: 24624
791.94/794.58 c INPROCESSING
791.94/794.58 c GARBAGE COLLECT
791.94/794.58 c #Conflicts: 395000 | #Constraints: 13227
791.94/794.58 c #Conflicts: 396000 | #Constraints: 14227
791.94/794.58 c #Conflicts: 397000 | #Constraints: 15227
791.94/794.58 c #Conflicts: 398000 | #Constraints: 16227
791.94/794.58 c #Conflicts: 399000 | #Constraints: 17227
791.94/794.58 c #Conflicts: 400000 | #Constraints: 18227
791.94/794.58 c #Conflicts: 401000 | #Constraints: 19227
791.94/794.58 c #Conflicts: 402000 | #Constraints: 20227
791.94/794.58 c #Conflicts: 403000 | #Constraints: 21227
791.94/794.58 c #Conflicts: 404000 | #Constraints: 22227
791.94/794.58 c #Conflicts: 405000 | #Constraints: 23227
791.94/794.58 c #Conflicts: 406000 | #Constraints: 24227
791.94/794.58 c #Conflicts: 407000 | #Constraints: 25227
791.94/794.58 c INPROCESSING
791.94/794.58 c GARBAGE COLLECT
791.94/794.58 c #Conflicts: 408000 | #Constraints: 13625
791.94/794.58 c #Conflicts: 409000 | #Constraints: 14625
791.94/794.58 c #Conflicts: 410000 | #Constraints: 15625
791.94/794.58 c #Conflicts: 411000 | #Constraints: 16625
791.94/794.58 c #Conflicts: 412000 | #Constraints: 17625
791.94/794.58 c #Conflicts: 413000 | #Constraints: 18625
791.94/794.58 c #Conflicts: 414000 | #Constraints: 19625
791.94/794.58 c #Conflicts: 415000 | #Constraints: 20625
791.94/794.58 c #Conflicts: 416000 | #Constraints: 21625
791.94/794.58 c #Conflicts: 417000 | #Constraints: 22625
791.94/794.58 c #Conflicts: 418000 | #Constraints: 23625
791.94/794.58 c #Conflicts: 419000 | #Constraints: 24625
791.94/794.58 c #Conflicts: 420000 | #Constraints: 25625
791.94/794.58 c INPROCESSING
791.94/794.58 c GARBAGE COLLECT
791.94/794.58 c #Conflicts: 421000 | #Constraints: 13826
791.94/794.58 c #Conflicts: 422000 | #Constraints: 14826
791.94/794.58 c #Conflicts: 423000 | #Constraints: 15826
791.94/794.58 c #Conflicts: 424000 | #Constraints: 16826
791.94/794.58 c #Conflicts: 425000 | #Constraints: 17826
791.94/794.58 c #Conflicts: 426000 | #Constraints: 18826
791.94/794.58 c #Conflicts: 427000 | #Constraints: 19826
791.94/794.58 c #Conflicts: 428000 | #Constraints: 20826
791.94/794.58 c #Conflicts: 429000 | #Constraints: 21826
791.94/794.58 c #Conflicts: 430000 | #Constraints: 22826
791.94/794.58 c #Conflicts: 431000 | #Constraints: 23826
791.94/794.58 c #Conflicts: 432000 | #Constraints: 24826
791.94/794.58 c #Conflicts: 433000 | #Constraints: 25826
791.94/794.58 c INPROCESSING
791.94/794.58 c GARBAGE COLLECT
791.94/794.58 c #Conflicts: 434000 | #Constraints: 13828
791.94/794.58 c #Conflicts: 435000 | #Constraints: 14828
791.94/794.58 c #Conflicts: 436000 | #Constraints: 15828
791.94/794.58 c #Conflicts: 437000 | #Constraints: 16828
928.98/932.03 c #Conflicts: 438000 | #Constraints: 17828
928.98/932.03 c #Conflicts: 439000 | #Constraints: 18828
928.98/932.03 c #Conflicts: 440000 | #Constraints: 19828
928.98/932.03 c #Conflicts: 441000 | #Constraints: 20828
928.98/932.03 c #Conflicts: 442000 | #Constraints: 21828
928.98/932.03 c #Conflicts: 443000 | #Constraints: 22828
928.98/932.03 c #Conflicts: 444000 | #Constraints: 23828
928.98/932.03 c #Conflicts: 445000 | #Constraints: 24828
928.98/932.03 c #Conflicts: 446000 | #Constraints: 25828
928.98/932.03 c INPROCESSING
928.98/932.03 c GARBAGE COLLECT
928.98/932.03 c #Conflicts: 447000 | #Constraints: 13629
928.98/932.03 c #Conflicts: 448000 | #Constraints: 14629
928.98/932.03 c #Conflicts: 449000 | #Constraints: 15629
928.98/932.03 c #Conflicts: 450000 | #Constraints: 16629
928.98/932.03 c #Conflicts: 451000 | #Constraints: 17629
928.98/932.03 c #Conflicts: 452000 | #Constraints: 18629
928.98/932.03 c #Conflicts: 453000 | #Constraints: 19629
928.98/932.03 c #Conflicts: 454000 | #Constraints: 20629
928.98/932.03 c #Conflicts: 455000 | #Constraints: 21629
928.98/932.03 c #Conflicts: 456000 | #Constraints: 22629
928.98/932.03 c #Conflicts: 457000 | #Constraints: 23629
928.98/932.03 c #Conflicts: 458000 | #Constraints: 24629
928.98/932.03 c #Conflicts: 459000 | #Constraints: 25629
928.98/932.03 c #Conflicts: 460000 | #Constraints: 26629
928.98/932.03 c INPROCESSING
928.98/932.03 c GARBAGE COLLECT
928.98/932.03 c #Conflicts: 461000 | #Constraints: 14231
928.98/932.03 c #Conflicts: 462000 | #Constraints: 15231
928.98/932.03 c #Conflicts: 463000 | #Constraints: 16231
928.98/932.03 c #Conflicts: 464000 | #Constraints: 17231
928.98/932.03 c #Conflicts: 465000 | #Constraints: 18231
928.98/932.03 c #Conflicts: 466000 | #Constraints: 19231
928.98/932.03 c #Conflicts: 467000 | #Constraints: 20231
928.98/932.03 c #Conflicts: 468000 | #Constraints: 21231
928.98/932.03 c #Conflicts: 469000 | #Constraints: 22231
928.98/932.03 c #Conflicts: 470000 | #Constraints: 23231
928.98/932.03 c #Conflicts: 471000 | #Constraints: 24231
928.98/932.03 c #Conflicts: 472000 | #Constraints: 25231
928.98/932.03 c #Conflicts: 473000 | #Constraints: 26231
928.98/932.03 c #Conflicts: 474000 | #Constraints: 27231
928.98/932.03 c INPROCESSING
928.98/932.03 c GARBAGE COLLECT
928.98/932.03 c #Conflicts: 475000 | #Constraints: 14629
928.98/932.03 c #Conflicts: 476000 | #Constraints: 15629
928.98/932.03 c #Conflicts: 477000 | #Constraints: 16629
928.98/932.03 c #Conflicts: 478000 | #Constraints: 17629
928.98/932.03 c #Conflicts: 479000 | #Constraints: 18629
928.98/932.03 c #Conflicts: 480000 | #Constraints: 19629
928.98/932.03 c #Conflicts: 481000 | #Constraints: 20629
928.98/932.03 c #Conflicts: 482000 | #Constraints: 21629
928.98/932.03 c #Conflicts: 483000 | #Constraints: 22629
928.98/932.03 c #Conflicts: 484000 | #Constraints: 23629
928.98/932.03 c #Conflicts: 485000 | #Constraints: 24629
928.98/932.03 c #Conflicts: 486000 | #Constraints: 25629
928.98/932.03 c #Conflicts: 487000 | #Constraints: 26629
928.98/932.03 c #Conflicts: 488000 | #Constraints: 27629
928.98/932.03 c INPROCESSING
928.98/932.03 c GARBAGE COLLECT
928.98/932.03 c #Conflicts: 489000 | #Constraints: 14831
928.98/932.03 c #Conflicts: 490000 | #Constraints: 15831
928.98/932.03 c #Conflicts: 491000 | #Constraints: 16831
928.98/932.03 c #Conflicts: 492000 | #Constraints: 17831
928.98/932.03 c #Conflicts: 493000 | #Constraints: 18831
928.98/932.04 c #Conflicts: 494000 | #Constraints: 19831
928.98/932.04 c #Conflicts: 495000 | #Constraints: 20831
928.98/932.04 c #Conflicts: 496000 | #Constraints: 21831
928.98/932.04 c #Conflicts: 497000 | #Constraints: 22831
928.98/932.04 c #Conflicts: 498000 | #Constraints: 23831
928.98/932.04 c #Conflicts: 499000 | #Constraints: 24831
928.98/932.04 c #Conflicts: 500000 | #Constraints: 25831
928.98/932.04 c #Conflicts: 501000 | #Constraints: 26831
928.98/932.04 c #Conflicts: 502000 | #Constraints: 27831
928.98/932.04 c INPROCESSING
928.98/932.04 c GARBAGE COLLECT
928.98/932.04 c #Conflicts: 503000 | #Constraints: 14830
928.98/932.04 c #Conflicts: 504000 | #Constraints: 15830
928.98/932.04 c #Conflicts: 505000 | #Constraints: 16830
928.98/932.04 c #Conflicts: 506000 | #Constraints: 17830
928.98/932.04 c #Conflicts: 507000 | #Constraints: 18830
928.98/932.04 c #Conflicts: 508000 | #Constraints: 19830
928.98/932.04 c #Conflicts: 509000 | #Constraints: 20830
928.98/932.04 c #Conflicts: 510000 | #Constraints: 21830
928.98/932.04 c #Conflicts: 511000 | #Constraints: 22830
928.98/932.04 c #Conflicts: 512000 | #Constraints: 23830
928.98/932.04 c #Conflicts: 513000 | #Constraints: 24830
1057.95/1061.48 c #Conflicts: 514000 | #Constraints: 25830
1057.95/1061.48 c #Conflicts: 515000 | #Constraints: 26830
1057.95/1061.48 c #Conflicts: 516000 | #Constraints: 27830
1057.95/1061.48 c INPROCESSING
1057.95/1061.48 c GARBAGE COLLECT
1057.95/1061.48 c #Conflicts: 517000 | #Constraints: 14629
1057.95/1061.48 c #Conflicts: 518000 | #Constraints: 15629
1057.95/1061.48 c #Conflicts: 519000 | #Constraints: 16629
1057.95/1061.48 c #Conflicts: 520000 | #Constraints: 17629
1057.95/1061.48 c #Conflicts: 521000 | #Constraints: 18629
1057.95/1061.48 c #Conflicts: 522000 | #Constraints: 19629
1057.95/1061.48 c #Conflicts: 523000 | #Constraints: 20629
1057.95/1061.48 c #Conflicts: 524000 | #Constraints: 21629
1057.95/1061.48 c #Conflicts: 525000 | #Constraints: 22629
1057.95/1061.48 c #Conflicts: 526000 | #Constraints: 23629
1057.95/1061.48 c #Conflicts: 527000 | #Constraints: 24629
1057.95/1061.48 c #Conflicts: 528000 | #Constraints: 25629
1057.95/1061.48 c #Conflicts: 529000 | #Constraints: 26629
1057.95/1061.48 c #Conflicts: 530000 | #Constraints: 27629
1057.95/1061.48 c #Conflicts: 531000 | #Constraints: 28629
1057.95/1061.48 c INPROCESSING
1057.95/1061.48 c GARBAGE COLLECT
1057.95/1061.48 c #Conflicts: 532000 | #Constraints: 15228
1057.95/1061.48 c #Conflicts: 533000 | #Constraints: 16228
1057.95/1061.48 c #Conflicts: 534000 | #Constraints: 17228
1057.95/1061.48 c #Conflicts: 535000 | #Constraints: 18228
1057.95/1061.48 c #Conflicts: 536000 | #Constraints: 19228
1057.95/1061.48 c #Conflicts: 537000 | #Constraints: 20228
1057.95/1061.48 c #Conflicts: 538000 | #Constraints: 21228
1057.95/1061.48 c #Conflicts: 539000 | #Constraints: 22228
1057.95/1061.48 c #Conflicts: 540000 | #Constraints: 23228
1057.95/1061.48 c #Conflicts: 541000 | #Constraints: 24228
1057.95/1061.48 c #Conflicts: 542000 | #Constraints: 25228
1057.95/1061.48 c #Conflicts: 543000 | #Constraints: 26228
1057.95/1061.48 c #Conflicts: 544000 | #Constraints: 27228
1057.95/1061.48 c #Conflicts: 545000 | #Constraints: 28228
1057.95/1061.48 c #Conflicts: 546000 | #Constraints: 29228
1057.95/1061.48 c INPROCESSING
1057.95/1061.48 c GARBAGE COLLECT
1057.95/1061.48 c #Conflicts: 547000 | #Constraints: 15628
1057.95/1061.48 c #Conflicts: 548000 | #Constraints: 16628
1057.95/1061.48 c #Conflicts: 549000 | #Constraints: 17628
1057.95/1061.48 c #Conflicts: 550000 | #Constraints: 18628
1057.95/1061.48 c #Conflicts: 551000 | #Constraints: 19628
1057.95/1061.48 c #Conflicts: 552000 | #Constraints: 20628
1057.95/1061.48 c #Conflicts: 553000 | #Constraints: 21628
1057.95/1061.48 c #Conflicts: 554000 | #Constraints: 22628
1057.95/1061.48 c #Conflicts: 555000 | #Constraints: 23628
1057.95/1061.48 c #Conflicts: 556000 | #Constraints: 24628
1057.95/1061.48 c #Conflicts: 557000 | #Constraints: 25628
1057.95/1061.48 c #Conflicts: 558000 | #Constraints: 26628
1057.95/1061.48 c #Conflicts: 559000 | #Constraints: 27628
1057.95/1061.48 c #Conflicts: 560000 | #Constraints: 28628
1057.95/1061.48 c #Conflicts: 561000 | #Constraints: 29628
1057.95/1061.48 c INPROCESSING
1057.95/1061.48 c GARBAGE COLLECT
1057.95/1061.48 c #Conflicts: 562000 | #Constraints: 15826
1057.95/1061.48 c #Conflicts: 563000 | #Constraints: 16826
1057.95/1061.48 c #Conflicts: 564000 | #Constraints: 17826
1057.95/1061.48 c #Conflicts: 565000 | #Constraints: 18826
1057.95/1061.48 c #Conflicts: 566000 | #Constraints: 19826
1057.95/1061.48 c #Conflicts: 567000 | #Constraints: 20826
1057.95/1061.48 c #Conflicts: 568000 | #Constraints: 21826
1057.95/1061.48 c #Conflicts: 569000 | #Constraints: 22826
1057.95/1061.48 c #Conflicts: 570000 | #Constraints: 23826
1057.95/1061.48 c #Conflicts: 571000 | #Constraints: 24826
1057.95/1061.48 c #Conflicts: 572000 | #Constraints: 25826
1057.95/1061.48 c #Conflicts: 573000 | #Constraints: 26826
1057.95/1061.48 c #Conflicts: 574000 | #Constraints: 27826
1057.95/1061.48 c #Conflicts: 575000 | #Constraints: 28826
1057.95/1061.48 c #Conflicts: 576000 | #Constraints: 29826
1057.95/1061.48 c INPROCESSING
1057.95/1061.48 c GARBAGE COLLECT
1057.95/1061.48 c #Conflicts: 577000 | #Constraints: 15828
1057.95/1061.48 c #Conflicts: 578000 | #Constraints: 16828
1057.95/1061.48 c #Conflicts: 579000 | #Constraints: 17828
1057.95/1061.48 c #Conflicts: 580000 | #Constraints: 18828
1057.95/1061.48 c #Conflicts: 581000 | #Constraints: 19828
1057.95/1061.48 c #Conflicts: 582000 | #Constraints: 20828
1057.95/1061.48 c #Conflicts: 583000 | #Constraints: 21828
1057.95/1061.48 c #Conflicts: 584000 | #Constraints: 22828
1057.95/1061.48 c #Conflicts: 585000 | #Constraints: 23828
1057.95/1061.48 c #Conflicts: 586000 | #Constraints: 24828
1057.95/1061.48 c #Conflicts: 587000 | #Constraints: 25828
1057.95/1061.48 c #Conflicts: 588000 | #Constraints: 26828
1205.16/1209.12 c #Conflicts: 589000 | #Constraints: 27828
1205.16/1209.12 c #Conflicts: 590000 | #Constraints: 28828
1205.16/1209.12 c #Conflicts: 591000 | #Constraints: 29828
1205.16/1209.12 c INPROCESSING
1205.16/1209.12 c GARBAGE COLLECT
1205.16/1209.12 c #Conflicts: 592000 | #Constraints: 15630
1205.16/1209.12 c #Conflicts: 593000 | #Constraints: 16630
1205.16/1209.12 c #Conflicts: 594000 | #Constraints: 17630
1205.16/1209.12 c #Conflicts: 595000 | #Constraints: 18630
1205.16/1209.12 c #Conflicts: 596000 | #Constraints: 19630
1205.16/1209.12 c #Conflicts: 597000 | #Constraints: 20630
1205.16/1209.12 c #Conflicts: 598000 | #Constraints: 21630
1205.16/1209.12 c #Conflicts: 599000 | #Constraints: 22630
1205.16/1209.12 c #Conflicts: 600000 | #Constraints: 23630
1205.16/1209.12 c #Conflicts: 601000 | #Constraints: 24630
1205.16/1209.12 c #Conflicts: 602000 | #Constraints: 25630
1205.16/1209.12 c #Conflicts: 603000 | #Constraints: 26630
1205.16/1209.12 c #Conflicts: 604000 | #Constraints: 27630
1205.16/1209.12 c #Conflicts: 605000 | #Constraints: 28630
1205.16/1209.12 c #Conflicts: 606000 | #Constraints: 29630
1205.16/1209.12 c #Conflicts: 607000 | #Constraints: 30630
1205.16/1209.12 c INPROCESSING
1205.16/1209.12 c GARBAGE COLLECT
1205.16/1209.12 c #Conflicts: 608000 | #Constraints: 16232
1205.16/1209.12 c #Conflicts: 609000 | #Constraints: 17232
1205.16/1209.12 c #Conflicts: 610000 | #Constraints: 18232
1205.16/1209.12 c #Conflicts: 611000 | #Constraints: 19232
1205.16/1209.12 c #Conflicts: 612000 | #Constraints: 20232
1205.16/1209.12 c #Conflicts: 613000 | #Constraints: 21232
1205.16/1209.12 c #Conflicts: 614000 | #Constraints: 22232
1205.16/1209.12 c #Conflicts: 615000 | #Constraints: 23232
1205.16/1209.12 c #Conflicts: 616000 | #Constraints: 24232
1205.16/1209.12 c #Conflicts: 617000 | #Constraints: 25232
1205.16/1209.12 c #Conflicts: 618000 | #Constraints: 26232
1205.16/1209.12 c #Conflicts: 619000 | #Constraints: 27232
1205.16/1209.12 c #Conflicts: 620000 | #Constraints: 28232
1205.16/1209.12 c #Conflicts: 621000 | #Constraints: 29232
1205.16/1209.12 c #Conflicts: 622000 | #Constraints: 30232
1205.16/1209.12 c #Conflicts: 623000 | #Constraints: 31232
1205.16/1209.12 c INPROCESSING
1205.16/1209.12 c GARBAGE COLLECT
1205.16/1209.12 c #Conflicts: 624000 | #Constraints: 16627
1205.16/1209.12 c #Conflicts: 625000 | #Constraints: 17627
1205.16/1209.12 c #Conflicts: 626000 | #Constraints: 18627
1205.16/1209.12 c #Conflicts: 627000 | #Constraints: 19627
1205.16/1209.12 c #Conflicts: 628000 | #Constraints: 20627
1205.16/1209.12 c #Conflicts: 629000 | #Constraints: 21627
1205.16/1209.12 c #Conflicts: 630000 | #Constraints: 22627
1205.16/1209.12 c #Conflicts: 631000 | #Constraints: 23627
1205.16/1209.12 c #Conflicts: 632000 | #Constraints: 24627
1205.16/1209.12 c #Conflicts: 633000 | #Constraints: 25627
1205.16/1209.12 c #Conflicts: 634000 | #Constraints: 26627
1205.16/1209.12 c #Conflicts: 635000 | #Constraints: 27627
1205.16/1209.12 c #Conflicts: 636000 | #Constraints: 28627
1205.16/1209.12 c #Conflicts: 637000 | #Constraints: 29627
1205.16/1209.12 c #Conflicts: 638000 | #Constraints: 30627
1205.16/1209.12 c #Conflicts: 639000 | #Constraints: 31627
1205.16/1209.12 c INPROCESSING
1205.16/1209.12 c GARBAGE COLLECT
1205.16/1209.12 c #Conflicts: 640000 | #Constraints: 16826
1205.16/1209.12 c #Conflicts: 641000 | #Constraints: 17826
1205.16/1209.12 c #Conflicts: 642000 | #Constraints: 18826
1205.16/1209.12 c #Conflicts: 643000 | #Constraints: 19826
1205.16/1209.12 c #Conflicts: 644000 | #Constraints: 20826
1205.16/1209.12 c #Conflicts: 645000 | #Constraints: 21826
1205.16/1209.12 c #Conflicts: 646000 | #Constraints: 22826
1205.16/1209.12 c #Conflicts: 647000 | #Constraints: 23826
1205.16/1209.12 c #Conflicts: 648000 | #Constraints: 24826
1205.16/1209.12 c #Conflicts: 649000 | #Constraints: 25826
1205.16/1209.12 c #Conflicts: 650000 | #Constraints: 26826
1205.16/1209.12 c #Conflicts: 651000 | #Constraints: 27826
1205.16/1209.12 c #Conflicts: 652000 | #Constraints: 28826
1205.16/1209.12 c #Conflicts: 653000 | #Constraints: 29826
1205.16/1209.12 c #Conflicts: 654000 | #Constraints: 30826
1205.16/1209.12 c #Conflicts: 655000 | #Constraints: 31826
1205.16/1209.12 c INPROCESSING
1205.16/1209.12 c GARBAGE COLLECT
1205.16/1209.12 c #Conflicts: 656000 | #Constraints: 16826
1205.16/1209.12 c #Conflicts: 657000 | #Constraints: 17826
1205.16/1209.12 c #Conflicts: 658000 | #Constraints: 18826
1205.16/1209.12 c #Conflicts: 659000 | #Constraints: 19826
1205.16/1209.12 c #Conflicts: 660000 | #Constraints: 20826
1205.16/1209.12 c #Conflicts: 661000 | #Constraints: 21826
1205.16/1209.12 c #Conflicts: 662000 | #Constraints: 22826
1205.16/1209.12 c #Conflicts: 663000 | #Constraints: 23826
1205.16/1209.12 c #Conflicts: 664000 | #Constraints: 24826
1375.37/1379.89 c #Conflicts: 665000 | #Constraints: 25826
1375.37/1379.89 c #Conflicts: 666000 | #Constraints: 26826
1375.37/1379.89 c #Conflicts: 667000 | #Constraints: 27826
1375.37/1379.89 c #Conflicts: 668000 | #Constraints: 28826
1375.37/1379.89 c #Conflicts: 669000 | #Constraints: 29826
1375.37/1379.89 c #Conflicts: 670000 | #Constraints: 30826
1375.37/1379.89 c #Conflicts: 671000 | #Constraints: 31826
1375.37/1379.89 c INPROCESSING
1375.37/1379.89 c GARBAGE COLLECT
1375.37/1379.89 c #Conflicts: 672000 | #Constraints: 16628
1375.37/1379.89 c #Conflicts: 673000 | #Constraints: 17628
1375.37/1379.89 c #Conflicts: 674000 | #Constraints: 18628
1375.37/1379.89 c #Conflicts: 675000 | #Constraints: 19628
1375.37/1379.89 c #Conflicts: 676000 | #Constraints: 20628
1375.37/1379.89 c #Conflicts: 677000 | #Constraints: 21628
1375.37/1379.89 c #Conflicts: 678000 | #Constraints: 22628
1375.37/1379.89 c #Conflicts: 679000 | #Constraints: 23628
1375.37/1379.89 c #Conflicts: 680000 | #Constraints: 24628
1375.37/1379.89 c #Conflicts: 681000 | #Constraints: 25628
1375.37/1379.89 c #Conflicts: 682000 | #Constraints: 26628
1375.37/1379.89 c #Conflicts: 683000 | #Constraints: 27628
1375.37/1379.89 c #Conflicts: 684000 | #Constraints: 28628
1375.37/1379.89 c #Conflicts: 685000 | #Constraints: 29628
1375.37/1379.89 c #Conflicts: 686000 | #Constraints: 30628
1375.37/1379.89 c #Conflicts: 687000 | #Constraints: 31628
1375.37/1379.89 c #Conflicts: 688000 | #Constraints: 32628
1375.37/1379.89 c INPROCESSING
1375.37/1379.89 c GARBAGE COLLECT
1375.37/1379.89 c #Conflicts: 689000 | #Constraints: 17228
1375.37/1379.89 c #Conflicts: 690000 | #Constraints: 18228
1375.37/1379.89 c #Conflicts: 691000 | #Constraints: 19228
1375.37/1379.89 c #Conflicts: 692000 | #Constraints: 20228
1375.37/1379.89 c #Conflicts: 693000 | #Constraints: 21228
1375.37/1379.89 c #Conflicts: 694000 | #Constraints: 22228
1375.37/1379.89 c #Conflicts: 695000 | #Constraints: 23228
1375.37/1379.89 c #Conflicts: 696000 | #Constraints: 24228
1375.37/1379.89 c #Conflicts: 697000 | #Constraints: 25228
1375.37/1379.89 c #Conflicts: 698000 | #Constraints: 26228
1375.37/1379.89 c #Conflicts: 699000 | #Constraints: 27228
1375.37/1379.89 c #Conflicts: 700000 | #Constraints: 28228
1375.37/1379.89 c #Conflicts: 701000 | #Constraints: 29228
1375.37/1379.89 c #Conflicts: 702000 | #Constraints: 30228
1375.37/1379.89 c #Conflicts: 703000 | #Constraints: 31228
1375.37/1379.89 c #Conflicts: 704000 | #Constraints: 32228
1375.37/1379.89 c #Conflicts: 705000 | #Constraints: 33228
1375.37/1379.89 c INPROCESSING
1375.37/1379.89 c GARBAGE COLLECT
1375.37/1379.89 c #Conflicts: 706000 | #Constraints: 17626
1375.37/1379.89 c #Conflicts: 707000 | #Constraints: 18626
1375.37/1379.89 c #Conflicts: 708000 | #Constraints: 19626
1375.37/1379.89 c #Conflicts: 709000 | #Constraints: 20626
1375.37/1379.89 c #Conflicts: 710000 | #Constraints: 21626
1375.37/1379.89 c #Conflicts: 711000 | #Constraints: 22626
1375.37/1379.89 c #Conflicts: 712000 | #Constraints: 23626
1375.37/1379.89 c #Conflicts: 713000 | #Constraints: 24626
1375.37/1379.89 c #Conflicts: 714000 | #Constraints: 25626
1375.37/1379.89 c #Conflicts: 715000 | #Constraints: 26626
1375.37/1379.89 c #Conflicts: 716000 | #Constraints: 27626
1375.37/1379.89 c #Conflicts: 717000 | #Constraints: 28626
1375.37/1379.89 c #Conflicts: 718000 | #Constraints: 29626
1375.37/1379.89 c #Conflicts: 719000 | #Constraints: 30626
1375.37/1379.89 c #Conflicts: 720000 | #Constraints: 31626
1375.37/1379.89 c #Conflicts: 721000 | #Constraints: 32626
1375.37/1379.89 c #Conflicts: 722000 | #Constraints: 33626
1375.37/1379.89 c INPROCESSING
1375.37/1379.89 c GARBAGE COLLECT
1375.37/1379.89 c #Conflicts: 723000 | #Constraints: 17828
1375.37/1379.89 c #Conflicts: 724000 | #Constraints: 18828
1375.37/1379.89 c #Conflicts: 725000 | #Constraints: 19828
1375.37/1379.89 c #Conflicts: 726000 | #Constraints: 20828
1375.37/1379.89 c #Conflicts: 727000 | #Constraints: 21828
1375.37/1379.89 c #Conflicts: 728000 | #Constraints: 22828
1375.37/1379.89 c #Conflicts: 729000 | #Constraints: 23828
1375.37/1379.89 c #Conflicts: 730000 | #Constraints: 24828
1375.37/1379.89 c #Conflicts: 731000 | #Constraints: 25828
1375.37/1379.89 c #Conflicts: 732000 | #Constraints: 26828
1375.37/1379.89 c #Conflicts: 733000 | #Constraints: 27828
1375.37/1379.89 c #Conflicts: 734000 | #Constraints: 28828
1375.37/1379.89 c #Conflicts: 735000 | #Constraints: 29828
1375.37/1379.89 c #Conflicts: 736000 | #Constraints: 30828
1375.37/1379.89 c #Conflicts: 737000 | #Constraints: 31828
1375.37/1379.89 c #Conflicts: 738000 | #Constraints: 32828
1375.37/1379.89 c #Conflicts: 739000 | #Constraints: 33828
1375.37/1379.89 c INPROCESSING
1375.37/1379.89 c GARBAGE COLLECT
1531.39/1536.29 c #Conflicts: 740000 | #Constraints: 17827
1531.39/1536.29 c #Conflicts: 741000 | #Constraints: 18827
1531.39/1536.29 c #Conflicts: 742000 | #Constraints: 19827
1531.39/1536.29 c #Conflicts: 743000 | #Constraints: 20827
1531.39/1536.29 c #Conflicts: 744000 | #Constraints: 21827
1531.39/1536.29 c #Conflicts: 745000 | #Constraints: 22827
1531.39/1536.29 c #Conflicts: 746000 | #Constraints: 23827
1531.39/1536.29 c #Conflicts: 747000 | #Constraints: 24827
1531.39/1536.29 c #Conflicts: 748000 | #Constraints: 25827
1531.39/1536.29 c #Conflicts: 749000 | #Constraints: 26827
1531.39/1536.29 c #Conflicts: 750000 | #Constraints: 27827
1531.39/1536.29 c #Conflicts: 751000 | #Constraints: 28827
1531.39/1536.29 c #Conflicts: 752000 | #Constraints: 29827
1531.39/1536.29 c #Conflicts: 753000 | #Constraints: 30827
1531.39/1536.29 c #Conflicts: 754000 | #Constraints: 31827
1531.39/1536.29 c #Conflicts: 755000 | #Constraints: 32827
1531.39/1536.29 c #Conflicts: 756000 | #Constraints: 33827
1531.39/1536.29 c INPROCESSING
1531.39/1536.29 c GARBAGE COLLECT
1531.39/1536.29 c #Conflicts: 757000 | #Constraints: 17627
1531.39/1536.29 c #Conflicts: 758000 | #Constraints: 18627
1531.39/1536.29 c #Conflicts: 759000 | #Constraints: 19627
1531.39/1536.29 c #Conflicts: 760000 | #Constraints: 20627
1531.39/1536.29 c #Conflicts: 761000 | #Constraints: 21627
1531.39/1536.29 c #Conflicts: 762000 | #Constraints: 22627
1531.39/1536.29 c #Conflicts: 763000 | #Constraints: 23627
1531.39/1536.29 c #Conflicts: 764000 | #Constraints: 24627
1531.39/1536.29 c #Conflicts: 765000 | #Constraints: 25627
1531.39/1536.29 c #Conflicts: 766000 | #Constraints: 26627
1531.39/1536.29 c #Conflicts: 767000 | #Constraints: 27627
1531.39/1536.29 c #Conflicts: 768000 | #Constraints: 28627
1531.39/1536.29 c #Conflicts: 769000 | #Constraints: 29627
1531.39/1536.29 c #Conflicts: 770000 | #Constraints: 30627
1531.39/1536.29 c #Conflicts: 771000 | #Constraints: 31627
1531.39/1536.29 c #Conflicts: 772000 | #Constraints: 32627
1531.39/1536.29 c #Conflicts: 773000 | #Constraints: 33627
1531.39/1536.29 c #Conflicts: 774000 | #Constraints: 34627
1531.39/1536.29 c INPROCESSING
1531.39/1536.29 c GARBAGE COLLECT
1531.39/1536.29 c #Conflicts: 775000 | #Constraints: 18226
1531.39/1536.29 c #Conflicts: 776000 | #Constraints: 19226
1531.39/1536.29 c #Conflicts: 777000 | #Constraints: 20226
1531.39/1536.29 c #Conflicts: 778000 | #Constraints: 21226
1531.39/1536.29 c #Conflicts: 779000 | #Constraints: 22226
1531.39/1536.29 c #Conflicts: 780000 | #Constraints: 23226
1531.39/1536.29 c #Conflicts: 781000 | #Constraints: 24226
1531.39/1536.29 c #Conflicts: 782000 | #Constraints: 25226
1531.39/1536.29 c #Conflicts: 783000 | #Constraints: 26226
1531.39/1536.29 c #Conflicts: 784000 | #Constraints: 27226
1531.39/1536.29 c #Conflicts: 785000 | #Constraints: 28226
1531.39/1536.29 c #Conflicts: 786000 | #Constraints: 29226
1531.39/1536.29 c #Conflicts: 787000 | #Constraints: 30226
1531.39/1536.29 c #Conflicts: 788000 | #Constraints: 31226
1531.39/1536.29 c #Conflicts: 789000 | #Constraints: 32226
1531.39/1536.29 c #Conflicts: 790000 | #Constraints: 33226
1531.39/1536.29 c #Conflicts: 791000 | #Constraints: 34226
1531.39/1536.29 c #Conflicts: 792000 | #Constraints: 35226
1531.39/1536.29 c INPROCESSING
1531.39/1536.29 c GARBAGE COLLECT
1531.39/1536.29 c #Conflicts: 793000 | #Constraints: 18629
1531.39/1536.29 c #Conflicts: 794000 | #Constraints: 19629
1531.39/1536.29 c #Conflicts: 795000 | #Constraints: 20629
1531.39/1536.29 c #Conflicts: 796000 | #Constraints: 21629
1531.39/1536.29 c #Conflicts: 797000 | #Constraints: 22629
1531.39/1536.29 c #Conflicts: 798000 | #Constraints: 23629
1531.39/1536.29 c #Conflicts: 799000 | #Constraints: 24629
1531.39/1536.29 c #Conflicts: 800000 | #Constraints: 25629
1531.39/1536.29 c #Conflicts: 801000 | #Constraints: 26629
1531.39/1536.29 c #Conflicts: 802000 | #Constraints: 27629
1531.39/1536.29 c #Conflicts: 803000 | #Constraints: 28629
1531.39/1536.29 c #Conflicts: 804000 | #Constraints: 29629
1531.39/1536.29 c #Conflicts: 805000 | #Constraints: 30629
1531.39/1536.29 c #Conflicts: 806000 | #Constraints: 31629
1531.39/1536.29 c #Conflicts: 807000 | #Constraints: 32629
1531.39/1536.29 c #Conflicts: 808000 | #Constraints: 33629
1531.39/1536.29 c #Conflicts: 809000 | #Constraints: 34629
1531.39/1536.29 c #Conflicts: 810000 | #Constraints: 35629
1531.39/1536.29 c INPROCESSING
1531.39/1536.29 c GARBAGE COLLECT
1531.39/1536.29 c #Conflicts: 811000 | #Constraints: 18828
1531.39/1536.29 c #Conflicts: 812000 | #Constraints: 19828
1531.39/1536.29 c #Conflicts: 813000 | #Constraints: 20828
1531.39/1536.29 c #Conflicts: 814000 | #Constraints: 21828
1531.39/1536.29 c #Conflicts: 815000 | #Constraints: 22828
1531.39/1536.29 c #Conflicts: 816000 | #Constraints: 23828
1714.53/1719.85 c #Conflicts: 817000 | #Constraints: 24828
1714.53/1719.85 c #Conflicts: 818000 | #Constraints: 25828
1714.53/1719.85 c #Conflicts: 819000 | #Constraints: 26828
1714.53/1719.85 c #Conflicts: 820000 | #Constraints: 27828
1714.53/1719.85 c #Conflicts: 821000 | #Constraints: 28828
1714.53/1719.85 c #Conflicts: 822000 | #Constraints: 29828
1714.53/1719.85 c #Conflicts: 823000 | #Constraints: 30828
1714.53/1719.85 c #Conflicts: 824000 | #Constraints: 31828
1714.53/1719.85 c #Conflicts: 825000 | #Constraints: 32828
1714.53/1719.85 c #Conflicts: 826000 | #Constraints: 33828
1714.53/1719.85 c #Conflicts: 827000 | #Constraints: 34828
1714.53/1719.85 c #Conflicts: 828000 | #Constraints: 35828
1714.53/1719.85 c INPROCESSING
1714.53/1719.85 c GARBAGE COLLECT
1714.53/1719.85 c #Conflicts: 829000 | #Constraints: 18826
1714.53/1719.85 c #Conflicts: 830000 | #Constraints: 19826
1714.53/1719.85 c #Conflicts: 831000 | #Constraints: 20826
1714.53/1719.85 c #Conflicts: 832000 | #Constraints: 21826
1714.53/1719.85 c #Conflicts: 833000 | #Constraints: 22826
1714.53/1719.85 c #Conflicts: 834000 | #Constraints: 23826
1714.53/1719.85 c #Conflicts: 835000 | #Constraints: 24826
1714.53/1719.85 c #Conflicts: 836000 | #Constraints: 25826
1714.53/1719.85 c #Conflicts: 837000 | #Constraints: 26826
1714.53/1719.85 c #Conflicts: 838000 | #Constraints: 27826
1714.53/1719.85 c #Conflicts: 839000 | #Constraints: 28826
1714.53/1719.85 c #Conflicts: 840000 | #Constraints: 29826
1714.53/1719.85 c #Conflicts: 841000 | #Constraints: 30826
1714.53/1719.85 c #Conflicts: 842000 | #Constraints: 31826
1714.53/1719.85 c #Conflicts: 843000 | #Constraints: 32826
1714.53/1719.85 c #Conflicts: 844000 | #Constraints: 33826
1714.53/1719.85 c #Conflicts: 845000 | #Constraints: 34826
1714.53/1719.85 c #Conflicts: 846000 | #Constraints: 35826
1714.53/1719.85 c INPROCESSING
1714.53/1719.85 c GARBAGE COLLECT
1714.53/1719.85 c #Conflicts: 847000 | #Constraints: 18624
1714.53/1719.85 c #Conflicts: 848000 | #Constraints: 19624
1714.53/1719.85 c #Conflicts: 849000 | #Constraints: 20624
1714.53/1719.85 c #Conflicts: 850000 | #Constraints: 21624
1714.53/1719.85 c #Conflicts: 851000 | #Constraints: 22624
1714.53/1719.85 c #Conflicts: 852000 | #Constraints: 23624
1714.53/1719.85 c #Conflicts: 853000 | #Constraints: 24624
1714.53/1719.85 c #Conflicts: 854000 | #Constraints: 25624
1714.53/1719.85 c #Conflicts: 855000 | #Constraints: 26624
1714.53/1719.85 c #Conflicts: 856000 | #Constraints: 27624
1714.53/1719.85 c #Conflicts: 857000 | #Constraints: 28624
1714.53/1719.85 c #Conflicts: 858000 | #Constraints: 29624
1714.53/1719.85 c #Conflicts: 859000 | #Constraints: 30624
1714.53/1719.85 c #Conflicts: 860000 | #Constraints: 31624
1714.53/1719.85 c #Conflicts: 861000 | #Constraints: 32624
1714.53/1719.85 c #Conflicts: 862000 | #Constraints: 33624
1714.53/1719.85 c #Conflicts: 863000 | #Constraints: 34624
1714.53/1719.85 c #Conflicts: 864000 | #Constraints: 35624
1714.53/1719.85 c #Conflicts: 865000 | #Constraints: 36624
1714.53/1719.85 c INPROCESSING
1714.53/1719.85 c GARBAGE COLLECT
1714.53/1719.85 c #Conflicts: 866000 | #Constraints: 19224
1714.53/1719.85 c #Conflicts: 867000 | #Constraints: 20224
1714.53/1719.85 c #Conflicts: 868000 | #Constraints: 21224
1714.53/1719.85 c #Conflicts: 869000 | #Constraints: 22224
1714.53/1719.85 c #Conflicts: 870000 | #Constraints: 23224
1714.53/1719.85 c #Conflicts: 871000 | #Constraints: 24224
1714.53/1719.85 c #Conflicts: 872000 | #Constraints: 25224
1714.53/1719.85 c #Conflicts: 873000 | #Constraints: 26224
1714.53/1719.85 c #Conflicts: 874000 | #Constraints: 27224
1714.53/1719.85 c #Conflicts: 875000 | #Constraints: 28224
1714.53/1719.85 c #Conflicts: 876000 | #Constraints: 29224
1714.53/1719.85 c #Conflicts: 877000 | #Constraints: 30224
1714.53/1719.85 c #Conflicts: 878000 | #Constraints: 31224
1714.53/1719.85 c #Conflicts: 879000 | #Constraints: 32224
1714.53/1719.85 c #Conflicts: 880000 | #Constraints: 33224
1714.53/1719.85 c #Conflicts: 881000 | #Constraints: 34224
1714.53/1719.85 c #Conflicts: 882000 | #Constraints: 35224
1714.53/1719.85 c #Conflicts: 883000 | #Constraints: 36224
1714.53/1719.85 c #Conflicts: 884000 | #Constraints: 37224
1714.53/1719.85 c INPROCESSING
1714.53/1719.85 c GARBAGE COLLECT
1714.53/1719.85 c #Conflicts: 885000 | #Constraints: 19625
1714.53/1719.85 c #Conflicts: 886000 | #Constraints: 20625
1714.53/1719.85 c #Conflicts: 887000 | #Constraints: 21625
1714.53/1719.85 c #Conflicts: 888000 | #Constraints: 22625
1714.53/1719.85 c #Conflicts: 889000 | #Constraints: 23625
1714.53/1719.85 c #Conflicts: 890000 | #Constraints: 24625
1714.53/1719.85 c #Conflicts: 891000 | #Constraints: 25625
1714.53/1719.85 c #Conflicts: 892000 | #Constraints: 26625
1905.37/1911.15 c #Conflicts: 893000 | #Constraints: 27625
1905.37/1911.15 c #Conflicts: 894000 | #Constraints: 28625
1905.37/1911.15 c #Conflicts: 895000 | #Constraints: 29625
1905.37/1911.15 c #Conflicts: 896000 | #Constraints: 30625
1905.37/1911.15 c #Conflicts: 897000 | #Constraints: 31625
1905.37/1911.15 c #Conflicts: 898000 | #Constraints: 32625
1905.37/1911.15 c #Conflicts: 899000 | #Constraints: 33625
1905.37/1911.15 c #Conflicts: 900000 | #Constraints: 34625
1905.37/1911.15 c #Conflicts: 901000 | #Constraints: 35625
1905.37/1911.15 c #Conflicts: 902000 | #Constraints: 36625
1905.37/1911.15 c #Conflicts: 903000 | #Constraints: 37625
1905.37/1911.15 c INPROCESSING
1905.37/1911.15 c GARBAGE COLLECT
1905.37/1911.15 c #Conflicts: 904000 | #Constraints: 19824
1905.37/1911.15 c #Conflicts: 905000 | #Constraints: 20824
1905.37/1911.15 c #Conflicts: 906000 | #Constraints: 21824
1905.37/1911.15 c #Conflicts: 907000 | #Constraints: 22824
1905.37/1911.15 c #Conflicts: 908000 | #Constraints: 23824
1905.37/1911.15 c #Conflicts: 909000 | #Constraints: 24824
1905.37/1911.15 c #Conflicts: 910000 | #Constraints: 25824
1905.37/1911.15 c #Conflicts: 911000 | #Constraints: 26824
1905.37/1911.15 c #Conflicts: 912000 | #Constraints: 27824
1905.37/1911.15 c #Conflicts: 913000 | #Constraints: 28824
1905.37/1911.15 c #Conflicts: 914000 | #Constraints: 29824
1905.37/1911.15 c #Conflicts: 915000 | #Constraints: 30824
1905.37/1911.15 c #Conflicts: 916000 | #Constraints: 31824
1905.37/1911.15 c #Conflicts: 917000 | #Constraints: 32824
1905.37/1911.15 c #Conflicts: 918000 | #Constraints: 33824
1905.37/1911.15 c #Conflicts: 919000 | #Constraints: 34824
1905.37/1911.15 c #Conflicts: 920000 | #Constraints: 35824
1905.37/1911.15 c #Conflicts: 921000 | #Constraints: 36824
1905.37/1911.15 c #Conflicts: 922000 | #Constraints: 37824
1905.37/1911.15 c INPROCESSING
1905.37/1911.15 c GARBAGE COLLECT
1905.37/1911.15 c #Conflicts: 923000 | #Constraints: 19824
1905.37/1911.15 c #Conflicts: 924000 | #Constraints: 20824
1905.37/1911.15 c #Conflicts: 925000 | #Constraints: 21824
1905.37/1911.15 c #Conflicts: 926000 | #Constraints: 22824
1905.37/1911.15 c #Conflicts: 927000 | #Constraints: 23824
1905.37/1911.15 c #Conflicts: 928000 | #Constraints: 24824
1905.37/1911.15 c #Conflicts: 929000 | #Constraints: 25824
1905.37/1911.15 c #Conflicts: 930000 | #Constraints: 26824
1905.37/1911.15 c #Conflicts: 931000 | #Constraints: 27824
1905.37/1911.15 c #Conflicts: 932000 | #Constraints: 28824
1905.37/1911.15 c #Conflicts: 933000 | #Constraints: 29824
1905.37/1911.15 c #Conflicts: 934000 | #Constraints: 30824
1905.37/1911.15 c #Conflicts: 935000 | #Constraints: 31824
1905.37/1911.15 c #Conflicts: 936000 | #Constraints: 32824
1905.37/1911.15 c #Conflicts: 937000 | #Constraints: 33824
1905.37/1911.15 c #Conflicts: 938000 | #Constraints: 34824
1905.37/1911.15 c #Conflicts: 939000 | #Constraints: 35824
1905.37/1911.15 c #Conflicts: 940000 | #Constraints: 36824
1905.37/1911.15 c #Conflicts: 941000 | #Constraints: 37824
1905.37/1911.15 c INPROCESSING
1905.37/1911.15 c GARBAGE COLLECT
1905.37/1911.15 c #Conflicts: 942000 | #Constraints: 19626
1905.37/1911.15 c #Conflicts: 943000 | #Constraints: 20626
1905.37/1911.15 c #Conflicts: 944000 | #Constraints: 21626
1905.37/1911.15 c #Conflicts: 945000 | #Constraints: 22626
1905.37/1911.15 c #Conflicts: 946000 | #Constraints: 23626
1905.37/1911.15 c #Conflicts: 947000 | #Constraints: 24626
1905.37/1911.15 c #Conflicts: 948000 | #Constraints: 25626
1905.37/1911.15 c #Conflicts: 949000 | #Constraints: 26626
1905.37/1911.15 c #Conflicts: 950000 | #Constraints: 27626
1905.37/1911.15 c #Conflicts: 951000 | #Constraints: 28626
1905.37/1911.15 c #Conflicts: 952000 | #Constraints: 29626
1905.37/1911.15 c #Conflicts: 953000 | #Constraints: 30626
1905.37/1911.15 c #Conflicts: 954000 | #Constraints: 31626
1905.37/1911.15 c #Conflicts: 955000 | #Constraints: 32626
1905.37/1911.15 c #Conflicts: 956000 | #Constraints: 33626
1905.37/1911.15 c #Conflicts: 957000 | #Constraints: 34626
1905.37/1911.15 c #Conflicts: 958000 | #Constraints: 35626
1905.37/1911.15 c #Conflicts: 959000 | #Constraints: 36626
1905.37/1911.15 c #Conflicts: 960000 | #Constraints: 37626
1905.37/1911.15 c #Conflicts: 961000 | #Constraints: 38626
1905.37/1911.15 c INPROCESSING
1905.37/1911.15 c GARBAGE COLLECT
1905.37/1911.15 c #Conflicts: 962000 | #Constraints: 20230
1905.37/1911.15 c #Conflicts: 963000 | #Constraints: 21230
1905.37/1911.15 c #Conflicts: 964000 | #Constraints: 22230
1905.37/1911.15 c #Conflicts: 965000 | #Constraints: 23230
1905.37/1911.15 c #Conflicts: 966000 | #Constraints: 24230
1905.37/1911.15 c #Conflicts: 967000 | #Constraints: 25230
1905.37/1911.15 c #Conflicts: 968000 | #Constraints: 26230
2167.82/2174.27 c #Conflicts: 969000 | #Constraints: 27230
2167.82/2174.27 c #Conflicts: 970000 | #Constraints: 28230
2167.82/2174.27 c #Conflicts: 971000 | #Constraints: 29230
2167.82/2174.27 c #Conflicts: 972000 | #Constraints: 30230
2167.82/2174.27 c #Conflicts: 973000 | #Constraints: 31230
2167.82/2174.27 c #Conflicts: 974000 | #Constraints: 32230
2167.82/2174.27 c #Conflicts: 975000 | #Constraints: 33230
2167.82/2174.27 c #Conflicts: 976000 | #Constraints: 34230
2167.82/2174.27 c #Conflicts: 977000 | #Constraints: 35230
2167.82/2174.27 c #Conflicts: 978000 | #Constraints: 36230
2167.82/2174.27 c #Conflicts: 979000 | #Constraints: 37230
2167.82/2174.27 c #Conflicts: 980000 | #Constraints: 38230
2167.82/2174.27 c #Conflicts: 981000 | #Constraints: 39230
2167.82/2174.27 c INPROCESSING
2167.82/2174.27 c GARBAGE COLLECT
2167.82/2174.27 c #Conflicts: 982000 | #Constraints: 20631
2167.82/2174.27 c #Conflicts: 983000 | #Constraints: 21631
2167.82/2174.27 c #Conflicts: 984000 | #Constraints: 22631
2167.82/2174.27 c #Conflicts: 985000 | #Constraints: 23631
2167.82/2174.27 c #Conflicts: 986000 | #Constraints: 24631
2167.82/2174.27 c #Conflicts: 987000 | #Constraints: 25631
2167.82/2174.27 c #Conflicts: 988000 | #Constraints: 26631
2167.82/2174.27 c #Conflicts: 989000 | #Constraints: 27631
2167.82/2174.27 c #Conflicts: 990000 | #Constraints: 28631
2167.82/2174.27 c #Conflicts: 991000 | #Constraints: 29631
2167.82/2174.27 c #Conflicts: 992000 | #Constraints: 30631
2167.82/2174.27 c #Conflicts: 993000 | #Constraints: 31631
2167.82/2174.27 c #Conflicts: 994000 | #Constraints: 32631
2167.82/2174.27 c #Conflicts: 995000 | #Constraints: 33631
2167.82/2174.27 c #Conflicts: 996000 | #Constraints: 34631
2167.82/2174.27 c #Conflicts: 997000 | #Constraints: 35631
2167.82/2174.27 c #Conflicts: 998000 | #Constraints: 36631
2167.82/2174.27 c #Conflicts: 999000 | #Constraints: 37631
2167.82/2174.27 c #Conflicts: 1000000 | #Constraints: 38631
2167.82/2174.27 c #Conflicts: 1001000 | #Constraints: 39631
2167.82/2174.27 c INPROCESSING
2167.82/2174.27 c GARBAGE COLLECT
2167.82/2174.27 c #Conflicts: 1002000 | #Constraints: 20831
2167.82/2174.27 c #Conflicts: 1003000 | #Constraints: 21831
2167.82/2174.27 c #Conflicts: 1004000 | #Constraints: 22831
2167.82/2174.27 c #Conflicts: 1005000 | #Constraints: 23831
2167.82/2174.27 c #Conflicts: 1006000 | #Constraints: 24831
2167.82/2174.27 c #Conflicts: 1007000 | #Constraints: 25831
2167.82/2174.27 c #Conflicts: 1008000 | #Constraints: 26831
2167.82/2174.27 c #Conflicts: 1009000 | #Constraints: 27831
2167.82/2174.27 c #Conflicts: 1010000 | #Constraints: 28831
2167.82/2174.27 c #Conflicts: 1011000 | #Constraints: 29831
2167.82/2174.27 c #Conflicts: 1012000 | #Constraints: 30831
2167.82/2174.27 c #Conflicts: 1013000 | #Constraints: 31831
2167.82/2174.27 c #Conflicts: 1014000 | #Constraints: 32831
2167.82/2174.27 c #Conflicts: 1015000 | #Constraints: 33831
2167.82/2174.27 c #Conflicts: 1016000 | #Constraints: 34831
2167.82/2174.27 c #Conflicts: 1017000 | #Constraints: 35831
2167.82/2174.27 c #Conflicts: 1018000 | #Constraints: 36831
2167.82/2174.27 c #Conflicts: 1019000 | #Constraints: 37831
2167.82/2174.27 c #Conflicts: 1020000 | #Constraints: 38831
2167.82/2174.27 c #Conflicts: 1021000 | #Constraints: 39831
2167.82/2174.27 c INPROCESSING
2167.82/2174.27 c GARBAGE COLLECT
2167.82/2174.27 c #Conflicts: 1022000 | #Constraints: 20831
2167.82/2174.27 c #Conflicts: 1023000 | #Constraints: 21831
2167.82/2174.27 c #Conflicts: 1024000 | #Constraints: 22831
2167.82/2174.27 c #Conflicts: 1025000 | #Constraints: 23831
2167.82/2174.27 c #Conflicts: 1026000 | #Constraints: 24831
2167.82/2174.27 c #Conflicts: 1027000 | #Constraints: 25831
2167.82/2174.27 c #Conflicts: 1028000 | #Constraints: 26831
2167.82/2174.27 c #Conflicts: 1029000 | #Constraints: 27831
2167.82/2174.27 c #Conflicts: 1030000 | #Constraints: 28831
2167.82/2174.27 c #Conflicts: 1031000 | #Constraints: 29831
2167.82/2174.27 c #Conflicts: 1032000 | #Constraints: 30831
2167.82/2174.27 c #Conflicts: 1033000 | #Constraints: 31831
2167.82/2174.27 c #Conflicts: 1034000 | #Constraints: 32831
2167.82/2174.27 c #Conflicts: 1035000 | #Constraints: 33831
2167.82/2174.27 c #Conflicts: 1036000 | #Constraints: 34831
2167.82/2174.27 c #Conflicts: 1037000 | #Constraints: 35831
2167.82/2174.27 c #Conflicts: 1038000 | #Constraints: 36831
2167.82/2174.27 c #Conflicts: 1039000 | #Constraints: 37831
2167.82/2174.27 c #Conflicts: 1040000 | #Constraints: 38831
2167.82/2174.27 c #Conflicts: 1041000 | #Constraints: 39831
2167.82/2174.27 c INPROCESSING
2167.82/2174.27 c GARBAGE COLLECT
2167.82/2174.27 c #Conflicts: 1042000 | #Constraints: 20628
2167.82/2174.27 c #Conflicts: 1043000 | #Constraints: 21628
2167.82/2174.27 c #Conflicts: 1044000 | #Constraints: 22628
2455.32/2462.45 c #Conflicts: 1045000 | #Constraints: 23628
2455.32/2462.45 c #Conflicts: 1046000 | #Constraints: 24628
2455.32/2462.45 c #Conflicts: 1047000 | #Constraints: 25628
2455.32/2462.45 c #Conflicts: 1048000 | #Constraints: 26628
2455.32/2462.45 c #Conflicts: 1049000 | #Constraints: 27628
2455.32/2462.45 c #Conflicts: 1050000 | #Constraints: 28628
2455.32/2462.45 c #Conflicts: 1051000 | #Constraints: 29628
2455.32/2462.45 c #Conflicts: 1052000 | #Constraints: 30628
2455.32/2462.45 c #Conflicts: 1053000 | #Constraints: 31628
2455.32/2462.45 c #Conflicts: 1054000 | #Constraints: 32628
2455.32/2462.45 c #Conflicts: 1055000 | #Constraints: 33628
2455.32/2462.45 c #Conflicts: 1056000 | #Constraints: 34628
2455.32/2462.45 c #Conflicts: 1057000 | #Constraints: 35628
2455.32/2462.45 c #Conflicts: 1058000 | #Constraints: 36628
2455.32/2462.45 c #Conflicts: 1059000 | #Constraints: 37628
2455.32/2462.45 c #Conflicts: 1060000 | #Constraints: 38628
2455.32/2462.45 c #Conflicts: 1061000 | #Constraints: 39628
2455.32/2462.45 c #Conflicts: 1062000 | #Constraints: 40628
2455.32/2462.45 c INPROCESSING
2455.32/2462.45 c GARBAGE COLLECT
2455.32/2462.45 c #Conflicts: 1063000 | #Constraints: 21230
2455.32/2462.45 c #Conflicts: 1064000 | #Constraints: 22230
2455.32/2462.45 c #Conflicts: 1065000 | #Constraints: 23230
2455.32/2462.45 c #Conflicts: 1066000 | #Constraints: 24230
2455.32/2462.45 c #Conflicts: 1067000 | #Constraints: 25230
2455.32/2462.45 c #Conflicts: 1068000 | #Constraints: 26230
2455.32/2462.45 c #Conflicts: 1069000 | #Constraints: 27230
2455.32/2462.45 c #Conflicts: 1070000 | #Constraints: 28230
2455.32/2462.45 c #Conflicts: 1071000 | #Constraints: 29230
2455.32/2462.45 c #Conflicts: 1072000 | #Constraints: 30230
2455.32/2462.45 c #Conflicts: 1073000 | #Constraints: 31230
2455.32/2462.45 c #Conflicts: 1074000 | #Constraints: 32230
2455.32/2462.45 c #Conflicts: 1075000 | #Constraints: 33230
2455.32/2462.45 c #Conflicts: 1076000 | #Constraints: 34230
2455.32/2462.45 c #Conflicts: 1077000 | #Constraints: 35230
2455.32/2462.45 c #Conflicts: 1078000 | #Constraints: 36230
2455.32/2462.45 c #Conflicts: 1079000 | #Constraints: 37230
2455.32/2462.45 c #Conflicts: 1080000 | #Constraints: 38230
2455.32/2462.45 c #Conflicts: 1081000 | #Constraints: 39230
2455.32/2462.45 c #Conflicts: 1082000 | #Constraints: 40230
2455.32/2462.45 c #Conflicts: 1083000 | #Constraints: 41230
2455.32/2462.45 c INPROCESSING
2455.32/2462.45 c GARBAGE COLLECT
2455.32/2462.45 c #Conflicts: 1084000 | #Constraints: 21631
2455.32/2462.45 c #Conflicts: 1085000 | #Constraints: 22631
2455.32/2462.45 c #Conflicts: 1086000 | #Constraints: 23631
2455.32/2462.45 c #Conflicts: 1087000 | #Constraints: 24631
2455.32/2462.45 c #Conflicts: 1088000 | #Constraints: 25631
2455.32/2462.45 c #Conflicts: 1089000 | #Constraints: 26631
2455.32/2462.45 c #Conflicts: 1090000 | #Constraints: 27631
2455.32/2462.45 c #Conflicts: 1091000 | #Constraints: 28631
2455.32/2462.45 c #Conflicts: 1092000 | #Constraints: 29631
2455.32/2462.45 c #Conflicts: 1093000 | #Constraints: 30631
2455.32/2462.45 c #Conflicts: 1094000 | #Constraints: 31631
2455.32/2462.45 c #Conflicts: 1095000 | #Constraints: 32631
2455.32/2462.45 c #Conflicts: 1096000 | #Constraints: 33631
2455.32/2462.45 c #Conflicts: 1097000 | #Constraints: 34631
2455.32/2462.45 c #Conflicts: 1098000 | #Constraints: 35631
2455.32/2462.45 c #Conflicts: 1099000 | #Constraints: 36631
2455.32/2462.45 c #Conflicts: 1100000 | #Constraints: 37631
2455.32/2462.45 c #Conflicts: 1101000 | #Constraints: 38631
2455.32/2462.45 c #Conflicts: 1102000 | #Constraints: 39631
2455.32/2462.45 c #Conflicts: 1103000 | #Constraints: 40631
2455.32/2462.45 c #Conflicts: 1104000 | #Constraints: 41631
2455.32/2462.45 c INPROCESSING
2455.32/2462.45 c GARBAGE COLLECT
2455.32/2462.45 c #Conflicts: 1105000 | #Constraints: 21830
2455.32/2462.45 c #Conflicts: 1106000 | #Constraints: 22830
2455.32/2462.45 c #Conflicts: 1107000 | #Constraints: 23830
2455.32/2462.45 c #Conflicts: 1108000 | #Constraints: 24830
2455.32/2462.45 c #Conflicts: 1109000 | #Constraints: 25830
2455.32/2462.45 c #Conflicts: 1110000 | #Constraints: 26830
2455.32/2462.45 c #Conflicts: 1111000 | #Constraints: 27830
2455.32/2462.45 c #Conflicts: 1112000 | #Constraints: 28830
2455.32/2462.45 c #Conflicts: 1113000 | #Constraints: 29830
2455.32/2462.45 c #Conflicts: 1114000 | #Constraints: 30830
2455.32/2462.45 c #Conflicts: 1115000 | #Constraints: 31830
2455.32/2462.45 c #Conflicts: 1116000 | #Constraints: 32830
2455.32/2462.45 c #Conflicts: 1117000 | #Constraints: 33830
2455.32/2462.45 c #Conflicts: 1118000 | #Constraints: 34830
2455.32/2462.45 c #Conflicts: 1119000 | #Constraints: 35830
2455.32/2462.45 c #Conflicts: 1120000 | #Constraints: 36830
2455.32/2462.45 c #Conflicts: 1121000 | #Constraints: 37830
2701.32/2709.09 c #Conflicts: 1122000 | #Constraints: 38830
2701.32/2709.09 c #Conflicts: 1123000 | #Constraints: 39830
2701.32/2709.09 c #Conflicts: 1124000 | #Constraints: 40830
2701.32/2709.09 c #Conflicts: 1125000 | #Constraints: 41830
2701.32/2709.09 c INPROCESSING
2701.32/2709.09 c GARBAGE COLLECT
2701.32/2709.09 c #Conflicts: 1126000 | #Constraints: 21830
2701.32/2709.09 c #Conflicts: 1127000 | #Constraints: 22830
2701.32/2709.09 c #Conflicts: 1128000 | #Constraints: 23830
2701.32/2709.09 c #Conflicts: 1129000 | #Constraints: 24830
2701.32/2709.09 c #Conflicts: 1130000 | #Constraints: 25830
2701.32/2709.09 c #Conflicts: 1131000 | #Constraints: 26830
2701.32/2709.09 c #Conflicts: 1132000 | #Constraints: 27830
2701.32/2709.09 c #Conflicts: 1133000 | #Constraints: 28830
2701.32/2709.09 c #Conflicts: 1134000 | #Constraints: 29830
2701.32/2709.09 c #Conflicts: 1135000 | #Constraints: 30830
2701.32/2709.09 c #Conflicts: 1136000 | #Constraints: 31830
2701.32/2709.09 c #Conflicts: 1137000 | #Constraints: 32830
2701.32/2709.09 c #Conflicts: 1138000 | #Constraints: 33830
2701.32/2709.09 c #Conflicts: 1139000 | #Constraints: 34830
2701.32/2709.09 c #Conflicts: 1140000 | #Constraints: 35830
2701.32/2709.09 c #Conflicts: 1141000 | #Constraints: 36830
2701.32/2709.09 c #Conflicts: 1142000 | #Constraints: 37830
2701.32/2709.09 c #Conflicts: 1143000 | #Constraints: 38830
2701.32/2709.09 c #Conflicts: 1144000 | #Constraints: 39830
2701.32/2709.09 c #Conflicts: 1145000 | #Constraints: 40830
2701.32/2709.09 c #Conflicts: 1146000 | #Constraints: 41830
2701.32/2709.09 c INPROCESSING
2701.32/2709.09 c GARBAGE COLLECT
2701.32/2709.09 c #Conflicts: 1147000 | #Constraints: 21632
2701.32/2709.09 c #Conflicts: 1148000 | #Constraints: 22632
2701.32/2709.09 c #Conflicts: 1149000 | #Constraints: 23632
2701.32/2709.09 c #Conflicts: 1150000 | #Constraints: 24632
2701.32/2709.09 c #Conflicts: 1151000 | #Constraints: 25632
2701.32/2709.09 c #Conflicts: 1152000 | #Constraints: 26632
2701.32/2709.09 c #Conflicts: 1153000 | #Constraints: 27632
2701.32/2709.09 c #Conflicts: 1154000 | #Constraints: 28632
2701.32/2709.09 c #Conflicts: 1155000 | #Constraints: 29632
2701.32/2709.09 c #Conflicts: 1156000 | #Constraints: 30632
2701.32/2709.09 c #Conflicts: 1157000 | #Constraints: 31632
2701.32/2709.09 c #Conflicts: 1158000 | #Constraints: 32632
2701.32/2709.09 c #Conflicts: 1159000 | #Constraints: 33632
2701.32/2709.09 c #Conflicts: 1160000 | #Constraints: 34632
2701.32/2709.09 c #Conflicts: 1161000 | #Constraints: 35632
2701.32/2709.09 c #Conflicts: 1162000 | #Constraints: 36632
2701.32/2709.09 c #Conflicts: 1163000 | #Constraints: 37632
2701.32/2709.09 c #Conflicts: 1164000 | #Constraints: 38632
2701.32/2709.09 c #Conflicts: 1165000 | #Constraints: 39632
2701.32/2709.09 c #Conflicts: 1166000 | #Constraints: 40632
2701.32/2709.09 c #Conflicts: 1167000 | #Constraints: 41632
2701.32/2709.09 c #Conflicts: 1168000 | #Constraints: 42632
2701.32/2709.09 c INPROCESSING
2701.32/2709.09 c GARBAGE COLLECT
2701.32/2709.09 c #Conflicts: 1169000 | #Constraints: 22231
2701.32/2709.09 c #Conflicts: 1170000 | #Constraints: 23231
2701.32/2709.09 c #Conflicts: 1171000 | #Constraints: 24231
2701.32/2709.09 c #Conflicts: 1172000 | #Constraints: 25231
2701.32/2709.09 c #Conflicts: 1173000 | #Constraints: 26231
2701.32/2709.09 c #Conflicts: 1174000 | #Constraints: 27231
2701.32/2709.09 c #Conflicts: 1175000 | #Constraints: 28231
2701.32/2709.09 c #Conflicts: 1176000 | #Constraints: 29231
2701.32/2709.09 c #Conflicts: 1177000 | #Constraints: 30231
2701.32/2709.09 c #Conflicts: 1178000 | #Constraints: 31231
2701.32/2709.09 c #Conflicts: 1179000 | #Constraints: 32231
2701.32/2709.09 c #Conflicts: 1180000 | #Constraints: 33231
2701.32/2709.09 c #Conflicts: 1181000 | #Constraints: 34231
2701.32/2709.09 c #Conflicts: 1182000 | #Constraints: 35231
2701.32/2709.09 c #Conflicts: 1183000 | #Constraints: 36231
2701.32/2709.09 c #Conflicts: 1184000 | #Constraints: 37231
2701.32/2709.09 c #Conflicts: 1185000 | #Constraints: 38231
2701.32/2709.09 c #Conflicts: 1186000 | #Constraints: 39231
2701.32/2709.09 c #Conflicts: 1187000 | #Constraints: 40231
2701.32/2709.09 c #Conflicts: 1188000 | #Constraints: 41231
2701.32/2709.09 c #Conflicts: 1189000 | #Constraints: 42231
2701.32/2709.09 c #Conflicts: 1190000 | #Constraints: 43231
2701.32/2709.09 c INPROCESSING
2701.32/2709.09 c GARBAGE COLLECT
2701.32/2709.09 c #Conflicts: 1191000 | #Constraints: 22631
2701.32/2709.09 c #Conflicts: 1192000 | #Constraints: 23631
2701.32/2709.09 c #Conflicts: 1193000 | #Constraints: 24631
2701.32/2709.09 c #Conflicts: 1194000 | #Constraints: 25631
2701.32/2709.09 c #Conflicts: 1195000 | #Constraints: 26631
2701.32/2709.09 c #Conflicts: 1196000 | #Constraints: 27631
2701.32/2709.09 c #Conflicts: 1197000 | #Constraints: 28631
2945.62/2953.92 c #Conflicts: 1198000 | #Constraints: 29631
2945.62/2953.92 c #Conflicts: 1199000 | #Constraints: 30631
2945.62/2953.92 c #Conflicts: 1200000 | #Constraints: 31631
2945.62/2953.92 c #Conflicts: 1201000 | #Constraints: 32631
2945.62/2953.92 c #Conflicts: 1202000 | #Constraints: 33631
2945.62/2953.92 c #Conflicts: 1203000 | #Constraints: 34631
2945.62/2953.92 c #Conflicts: 1204000 | #Constraints: 35631
2945.62/2953.92 c #Conflicts: 1205000 | #Constraints: 36631
2945.62/2953.92 c #Conflicts: 1206000 | #Constraints: 37631
2945.62/2953.92 c #Conflicts: 1207000 | #Constraints: 38631
2945.62/2953.92 c #Conflicts: 1208000 | #Constraints: 39631
2945.62/2953.92 c #Conflicts: 1209000 | #Constraints: 40631
2945.62/2953.92 c #Conflicts: 1210000 | #Constraints: 41631
2945.62/2953.92 c #Conflicts: 1211000 | #Constraints: 42631
2945.62/2953.92 c #Conflicts: 1212000 | #Constraints: 43631
2945.62/2953.92 c INPROCESSING
2945.62/2953.92 c GARBAGE COLLECT
2945.62/2953.92 c #Conflicts: 1213000 | #Constraints: 22830
2945.62/2953.92 c #Conflicts: 1214000 | #Constraints: 23830
2945.62/2953.92 c #Conflicts: 1215000 | #Constraints: 24830
2945.62/2953.92 c #Conflicts: 1216000 | #Constraints: 25830
2945.62/2953.92 c #Conflicts: 1217000 | #Constraints: 26830
2945.62/2953.92 c #Conflicts: 1218000 | #Constraints: 27830
2945.62/2953.92 c #Conflicts: 1219000 | #Constraints: 28830
2945.62/2953.92 c #Conflicts: 1220000 | #Constraints: 29830
2945.62/2953.92 c #Conflicts: 1221000 | #Constraints: 30830
2945.62/2953.92 c #Conflicts: 1222000 | #Constraints: 31830
2945.62/2953.92 c #Conflicts: 1223000 | #Constraints: 32830
2945.62/2953.92 c #Conflicts: 1224000 | #Constraints: 33830
2945.62/2953.92 c #Conflicts: 1225000 | #Constraints: 34830
2945.62/2953.92 c #Conflicts: 1226000 | #Constraints: 35830
2945.62/2953.92 c #Conflicts: 1227000 | #Constraints: 36830
2945.62/2953.92 c #Conflicts: 1228000 | #Constraints: 37830
2945.62/2953.92 c #Conflicts: 1229000 | #Constraints: 38830
2945.62/2953.92 c #Conflicts: 1230000 | #Constraints: 39830
2945.62/2953.92 c #Conflicts: 1231000 | #Constraints: 40830
2945.62/2953.92 c #Conflicts: 1232000 | #Constraints: 41830
2945.62/2953.92 c #Conflicts: 1233000 | #Constraints: 42830
2945.62/2953.92 c #Conflicts: 1234000 | #Constraints: 43830
2945.62/2953.92 c INPROCESSING
2945.62/2953.92 c GARBAGE COLLECT
2945.62/2953.92 c #Conflicts: 1235000 | #Constraints: 22830
2945.62/2953.92 c #Conflicts: 1236000 | #Constraints: 23830
2945.62/2953.92 c #Conflicts: 1237000 | #Constraints: 24830
2945.62/2953.92 c #Conflicts: 1238000 | #Constraints: 25830
2945.62/2953.92 c #Conflicts: 1239000 | #Constraints: 26830
2945.62/2953.92 c #Conflicts: 1240000 | #Constraints: 27830
2945.62/2953.92 c #Conflicts: 1241000 | #Constraints: 28830
2945.62/2953.92 c #Conflicts: 1242000 | #Constraints: 29830
2945.62/2953.92 c #Conflicts: 1243000 | #Constraints: 30830
2945.62/2953.92 c #Conflicts: 1244000 | #Constraints: 31830
2945.62/2953.92 c #Conflicts: 1245000 | #Constraints: 32830
2945.62/2953.92 c #Conflicts: 1246000 | #Constraints: 33830
2945.62/2953.92 c #Conflicts: 1247000 | #Constraints: 34830
2945.62/2953.92 c #Conflicts: 1248000 | #Constraints: 35830
2945.62/2953.92 c #Conflicts: 1249000 | #Constraints: 36830
2945.62/2953.92 c #Conflicts: 1250000 | #Constraints: 37830
2945.62/2953.92 c #Conflicts: 1251000 | #Constraints: 38830
2945.62/2953.92 c #Conflicts: 1252000 | #Constraints: 39830
2945.62/2953.92 c #Conflicts: 1253000 | #Constraints: 40830
2945.62/2953.92 c #Conflicts: 1254000 | #Constraints: 41830
2945.62/2953.92 c #Conflicts: 1255000 | #Constraints: 42830
2945.62/2953.92 c #Conflicts: 1256000 | #Constraints: 43830
2945.62/2953.92 c INPROCESSING
2945.62/2953.92 c GARBAGE COLLECT
2945.62/2953.92 c #Conflicts: 1257000 | #Constraints: 22629
2945.62/2953.92 c #Conflicts: 1258000 | #Constraints: 23629
2945.62/2953.92 c #Conflicts: 1259000 | #Constraints: 24629
2945.62/2953.92 c #Conflicts: 1260000 | #Constraints: 25629
2945.62/2953.92 c #Conflicts: 1261000 | #Constraints: 26629
2945.62/2953.92 c #Conflicts: 1262000 | #Constraints: 27629
2945.62/2953.92 c #Conflicts: 1263000 | #Constraints: 28629
2945.62/2953.92 c #Conflicts: 1264000 | #Constraints: 29629
2945.62/2953.92 c #Conflicts: 1265000 | #Constraints: 30629
2945.62/2953.92 c #Conflicts: 1266000 | #Constraints: 31629
2945.62/2953.92 c #Conflicts: 1267000 | #Constraints: 32629
2945.62/2953.92 c #Conflicts: 1268000 | #Constraints: 33629
2945.62/2953.92 c #Conflicts: 1269000 | #Constraints: 34629
2945.62/2953.92 c #Conflicts: 1270000 | #Constraints: 35629
2945.62/2953.92 c #Conflicts: 1271000 | #Constraints: 36629
2945.62/2953.92 c #Conflicts: 1272000 | #Constraints: 37629
2945.62/2953.92 c #Conflicts: 1273000 | #Constraints: 38629
2945.62/2953.92 c #Conflicts: 1274000 | #Constraints: 39629
3149.61/3158.45 c #Conflicts: 1275000 | #Constraints: 40629
3149.61/3158.45 c #Conflicts: 1276000 | #Constraints: 41629
3149.61/3158.45 c #Conflicts: 1277000 | #Constraints: 42629
3149.61/3158.45 c #Conflicts: 1278000 | #Constraints: 43629
3149.61/3158.45 c #Conflicts: 1279000 | #Constraints: 44629
3149.61/3158.45 c INPROCESSING
3149.61/3158.45 c GARBAGE COLLECT
3149.61/3158.45 c #Conflicts: 1280000 | #Constraints: 23229
3149.61/3158.45 c #Conflicts: 1281000 | #Constraints: 24229
3149.61/3158.45 c #Conflicts: 1282000 | #Constraints: 25229
3149.61/3158.45 c #Conflicts: 1283000 | #Constraints: 26229
3149.61/3158.45 c #Conflicts: 1284000 | #Constraints: 27229
3149.61/3158.45 c #Conflicts: 1285000 | #Constraints: 28229
3149.61/3158.45 c #Conflicts: 1286000 | #Constraints: 29229
3149.61/3158.45 c #Conflicts: 1287000 | #Constraints: 30229
3149.61/3158.45 c #Conflicts: 1288000 | #Constraints: 31229
3149.61/3158.45 c #Conflicts: 1289000 | #Constraints: 32229
3149.61/3158.45 c #Conflicts: 1290000 | #Constraints: 33229
3149.61/3158.45 c #Conflicts: 1291000 | #Constraints: 34229
3149.61/3158.45 c #Conflicts: 1292000 | #Constraints: 35229
3149.61/3158.45 c #Conflicts: 1293000 | #Constraints: 36229
3149.61/3158.45 c #Conflicts: 1294000 | #Constraints: 37229
3149.61/3158.45 c #Conflicts: 1295000 | #Constraints: 38229
3149.61/3158.45 c #Conflicts: 1296000 | #Constraints: 39229
3149.61/3158.45 c #Conflicts: 1297000 | #Constraints: 40229
3149.61/3158.45 c #Conflicts: 1298000 | #Constraints: 41229
3149.61/3158.45 c #Conflicts: 1299000 | #Constraints: 42229
3149.61/3158.45 c #Conflicts: 1300000 | #Constraints: 43229
3149.61/3158.45 c #Conflicts: 1301000 | #Constraints: 44229
3149.61/3158.45 c #Conflicts: 1302000 | #Constraints: 45229
3149.61/3158.45 c INPROCESSING
3149.61/3158.45 c GARBAGE COLLECT
3149.61/3158.45 c #Conflicts: 1303000 | #Constraints: 23625
3149.61/3158.45 c #Conflicts: 1304000 | #Constraints: 24625
3149.61/3158.45 c #Conflicts: 1305000 | #Constraints: 25625
3149.61/3158.45 c #Conflicts: 1306000 | #Constraints: 26625
3149.61/3158.45 c #Conflicts: 1307000 | #Constraints: 27625
3149.61/3158.45 c #Conflicts: 1308000 | #Constraints: 28625
3149.61/3158.45 c #Conflicts: 1309000 | #Constraints: 29625
3149.61/3158.45 c #Conflicts: 1310000 | #Constraints: 30625
3149.61/3158.45 c #Conflicts: 1311000 | #Constraints: 31625
3149.61/3158.45 c #Conflicts: 1312000 | #Constraints: 32625
3149.61/3158.45 c #Conflicts: 1313000 | #Constraints: 33625
3149.61/3158.45 c #Conflicts: 1314000 | #Constraints: 34625
3149.61/3158.45 c #Conflicts: 1315000 | #Constraints: 35625
3149.61/3158.45 c #Conflicts: 1316000 | #Constraints: 36625
3149.61/3158.45 c #Conflicts: 1317000 | #Constraints: 37625
3149.61/3158.45 c #Conflicts: 1318000 | #Constraints: 38625
3149.61/3158.45 c #Conflicts: 1319000 | #Constraints: 39625
3149.61/3158.45 c #Conflicts: 1320000 | #Constraints: 40625
3149.61/3158.45 c #Conflicts: 1321000 | #Constraints: 41625
3149.61/3158.45 c #Conflicts: 1322000 | #Constraints: 42625
3149.61/3158.45 c #Conflicts: 1323000 | #Constraints: 43625
3149.61/3158.45 c #Conflicts: 1324000 | #Constraints: 44625
3149.61/3158.45 c #Conflicts: 1325000 | #Constraints: 45625
3149.61/3158.45 c INPROCESSING
3149.61/3158.45 c GARBAGE COLLECT
3149.61/3158.45 c #Conflicts: 1326000 | #Constraints: 23828
3149.61/3158.45 c #Conflicts: 1327000 | #Constraints: 24828
3149.61/3158.45 c #Conflicts: 1328000 | #Constraints: 25828
3149.61/3158.45 c #Conflicts: 1329000 | #Constraints: 26828
3149.61/3158.45 c #Conflicts: 1330000 | #Constraints: 27828
3149.61/3158.45 c #Conflicts: 1331000 | #Constraints: 28828
3149.61/3158.45 c #Conflicts: 1332000 | #Constraints: 29828
3149.61/3158.45 c #Conflicts: 1333000 | #Constraints: 30828
3149.61/3158.45 c #Conflicts: 1334000 | #Constraints: 31828
3149.61/3158.45 c #Conflicts: 1335000 | #Constraints: 32828
3149.61/3158.45 c #Conflicts: 1336000 | #Constraints: 33828
3149.61/3158.45 c #Conflicts: 1337000 | #Constraints: 34828
3149.61/3158.45 c #Conflicts: 1338000 | #Constraints: 35828
3149.61/3158.45 c #Conflicts: 1339000 | #Constraints: 36828
3149.61/3158.45 c #Conflicts: 1340000 | #Constraints: 37828
3149.61/3158.45 c #Conflicts: 1341000 | #Constraints: 38828
3149.61/3158.45 c #Conflicts: 1342000 | #Constraints: 39828
3149.61/3158.45 c #Conflicts: 1343000 | #Constraints: 40828
3149.61/3158.45 c #Conflicts: 1344000 | #Constraints: 41828
3149.61/3158.45 c #Conflicts: 1345000 | #Constraints: 42828
3149.61/3158.45 c #Conflicts: 1346000 | #Constraints: 43828
3149.61/3158.45 c #Conflicts: 1347000 | #Constraints: 44828
3149.61/3158.45 c #Conflicts: 1348000 | #Constraints: 45828
3149.61/3158.45 c INPROCESSING
3149.61/3158.45 c GARBAGE COLLECT
3149.61/3158.45 c #Conflicts: 1349000 | #Constraints: 23828
3149.61/3158.45 c #Conflicts: 1350000 | #Constraints: 24828
3399.10/3408.57 c #Conflicts: 1351000 | #Constraints: 25828
3399.10/3408.57 c #Conflicts: 1352000 | #Constraints: 26828
3399.10/3408.57 c #Conflicts: 1353000 | #Constraints: 27828
3399.10/3408.57 c #Conflicts: 1354000 | #Constraints: 28828
3399.10/3408.57 c #Conflicts: 1355000 | #Constraints: 29828
3399.10/3408.57 c #Conflicts: 1356000 | #Constraints: 30828
3399.10/3408.57 c #Conflicts: 1357000 | #Constraints: 31828
3399.10/3408.57 c #Conflicts: 1358000 | #Constraints: 32828
3399.10/3408.57 c #Conflicts: 1359000 | #Constraints: 33828
3399.10/3408.57 c #Conflicts: 1360000 | #Constraints: 34828
3399.10/3408.57 c #Conflicts: 1361000 | #Constraints: 35828
3399.10/3408.57 c #Conflicts: 1362000 | #Constraints: 36828
3399.10/3408.57 c #Conflicts: 1363000 | #Constraints: 37828
3399.10/3408.57 c #Conflicts: 1364000 | #Constraints: 38828
3399.10/3408.57 c #Conflicts: 1365000 | #Constraints: 39828
3399.10/3408.57 c #Conflicts: 1366000 | #Constraints: 40828
3399.10/3408.57 c #Conflicts: 1367000 | #Constraints: 41828
3399.10/3408.57 c #Conflicts: 1368000 | #Constraints: 42828
3399.10/3408.57 c #Conflicts: 1369000 | #Constraints: 43828
3399.10/3408.57 c #Conflicts: 1370000 | #Constraints: 44828
3399.10/3408.57 c #Conflicts: 1371000 | #Constraints: 45828
3399.10/3408.57 c INPROCESSING
3399.10/3408.57 c GARBAGE COLLECT
3399.10/3408.57 c #Conflicts: 1372000 | #Constraints: 23627
3399.10/3408.57 c #Conflicts: 1373000 | #Constraints: 24627
3399.10/3408.57 c #Conflicts: 1374000 | #Constraints: 25627
3399.10/3408.57 c #Conflicts: 1375000 | #Constraints: 26627
3399.10/3408.57 c #Conflicts: 1376000 | #Constraints: 27627
3399.10/3408.57 c #Conflicts: 1377000 | #Constraints: 28627
3399.10/3408.57 c #Conflicts: 1378000 | #Constraints: 29627
3399.10/3408.57 c #Conflicts: 1379000 | #Constraints: 30627
3399.10/3408.57 c #Conflicts: 1380000 | #Constraints: 31627
3399.10/3408.57 c #Conflicts: 1381000 | #Constraints: 32627
3399.10/3408.57 c #Conflicts: 1382000 | #Constraints: 33627
3399.10/3408.57 c #Conflicts: 1383000 | #Constraints: 34627
3399.10/3408.57 c #Conflicts: 1384000 | #Constraints: 35627
3399.10/3408.57 c #Conflicts: 1385000 | #Constraints: 36627
3399.10/3408.57 c #Conflicts: 1386000 | #Constraints: 37627
3399.10/3408.57 c #Conflicts: 1387000 | #Constraints: 38627
3399.10/3408.57 c #Conflicts: 1388000 | #Constraints: 39627
3399.10/3408.57 c #Conflicts: 1389000 | #Constraints: 40627
3399.10/3408.57 c #Conflicts: 1390000 | #Constraints: 41627
3399.10/3408.57 c #Conflicts: 1391000 | #Constraints: 42627
3399.10/3408.57 c #Conflicts: 1392000 | #Constraints: 43627
3399.10/3408.57 c #Conflicts: 1393000 | #Constraints: 44627
3399.10/3408.57 c #Conflicts: 1394000 | #Constraints: 45627
3399.10/3408.57 c #Conflicts: 1395000 | #Constraints: 46627
3399.10/3408.57 c INPROCESSING
3399.10/3408.57 c GARBAGE COLLECT
3399.10/3408.57 c #Conflicts: 1396000 | #Constraints: 24231
3399.10/3408.57 c #Conflicts: 1397000 | #Constraints: 25231
3399.10/3408.57 c #Conflicts: 1398000 | #Constraints: 26231
3399.10/3408.57 c #Conflicts: 1399000 | #Constraints: 27231
3399.10/3408.57 c #Conflicts: 1400000 | #Constraints: 28231
3399.10/3408.57 c #Conflicts: 1401000 | #Constraints: 29231
3399.10/3408.57 c #Conflicts: 1402000 | #Constraints: 30231
3399.10/3408.57 c #Conflicts: 1403000 | #Constraints: 31231
3399.10/3408.57 c #Conflicts: 1404000 | #Constraints: 32231
3399.10/3408.57 c #Conflicts: 1405000 | #Constraints: 33231
3399.10/3408.57 c #Conflicts: 1406000 | #Constraints: 34231
3399.10/3408.57 c #Conflicts: 1407000 | #Constraints: 35231
3399.10/3408.57 c #Conflicts: 1408000 | #Constraints: 36231
3399.10/3408.57 c #Conflicts: 1409000 | #Constraints: 37231
3399.10/3408.57 c #Conflicts: 1410000 | #Constraints: 38231
3399.10/3408.57 c #Conflicts: 1411000 | #Constraints: 39231
3399.10/3408.57 c #Conflicts: 1412000 | #Constraints: 40231
3399.10/3408.57 c #Conflicts: 1413000 | #Constraints: 41231
3399.10/3408.57 c #Conflicts: 1414000 | #Constraints: 42231
3399.10/3408.57 c #Conflicts: 1415000 | #Constraints: 43231
3399.10/3408.57 c #Conflicts: 1416000 | #Constraints: 44231
3399.10/3408.57 c #Conflicts: 1417000 | #Constraints: 45231
3399.10/3408.57 c #Conflicts: 1418000 | #Constraints: 46231
3399.10/3408.57 c #Conflicts: 1419000 | #Constraints: 47231
3399.10/3408.57 c INPROCESSING
3399.10/3408.57 c GARBAGE COLLECT
3399.10/3408.57 c #Conflicts: 1420000 | #Constraints: 24632
3399.10/3408.57 c #Conflicts: 1421000 | #Constraints: 25632
3399.10/3408.57 c #Conflicts: 1422000 | #Constraints: 26632
3399.10/3408.57 c #Conflicts: 1423000 | #Constraints: 27632
3399.10/3408.57 c #Conflicts: 1424000 | #Constraints: 28632
3399.10/3408.57 c #Conflicts: 1425000 | #Constraints: 29632
3399.10/3408.57 c #Conflicts: 1426000 | #Constraints: 30632
3399.10/3408.57 c #Conflicts: 1427000 | #Constraints: 31632
3600.01/3609.90 c #Conflicts: 1428000 | #Constraints: 32632
3600.01/3609.90 c #Conflicts: 1429000 | #Constraints: 33632
3600.01/3609.90 c #Conflicts: 1430000 | #Constraints: 34632
3600.01/3609.90 c #Conflicts: 1431000 | #Constraints: 35632
3600.01/3609.90 c #Conflicts: 1432000 | #Constraints: 36632
3600.01/3609.90 c #Conflicts: 1433000 | #Constraints: 37632
3600.01/3609.90 c #Conflicts: 1434000 | #Constraints: 38632
3600.01/3609.90 c #Conflicts: 1435000 | #Constraints: 39632
3600.01/3609.90 c #Conflicts: 1436000 | #Constraints: 40632
3600.01/3609.90 c #Conflicts: 1437000 | #Constraints: 41632
3600.01/3609.90 c #Conflicts: 1438000 | #Constraints: 42632
3600.01/3609.90 c #Conflicts: 1439000 | #Constraints: 43632
3600.01/3609.90 c #Conflicts: 1440000 | #Constraints: 44632
3600.01/3609.90 c #Conflicts: 1441000 | #Constraints: 45632
3600.01/3609.90 c #Conflicts: 1442000 | #Constraints: 46632
3600.01/3609.90 c #Conflicts: 1443000 | #Constraints: 47632
3600.01/3609.90 c INPROCESSING
3600.01/3609.90 c GARBAGE COLLECT
3600.01/3609.90 c #Conflicts: 1444000 | #Constraints: 24829
3600.01/3609.90 c #Conflicts: 1445000 | #Constraints: 25829
3600.01/3609.90 c #Conflicts: 1446000 | #Constraints: 26829
3600.01/3609.90 c #Conflicts: 1447000 | #Constraints: 27829
3600.01/3609.90 c #Conflicts: 1448000 | #Constraints: 28829
3600.01/3609.90 c #Conflicts: 1449000 | #Constraints: 29829
3600.01/3609.90 c #Conflicts: 1450000 | #Constraints: 30829
3600.01/3609.90 c #Conflicts: 1451000 | #Constraints: 31829
3600.01/3609.90 c #Conflicts: 1452000 | #Constraints: 32829
3600.01/3609.90 c #Conflicts: 1453000 | #Constraints: 33829
3600.01/3609.90 c #Conflicts: 1454000 | #Constraints: 34829
3600.01/3609.90 c #Conflicts: 1455000 | #Constraints: 35829
3600.01/3609.90 c #Conflicts: 1456000 | #Constraints: 36829
3600.01/3609.90 c #Conflicts: 1457000 | #Constraints: 37829
3600.01/3609.90 c #Conflicts: 1458000 | #Constraints: 38829
3600.01/3609.90 c #Conflicts: 1459000 | #Constraints: 39829
3600.01/3609.90 c #Conflicts: 1460000 | #Constraints: 40829
3600.01/3609.90 c #Conflicts: 1461000 | #Constraints: 41829
3600.01/3609.90 c #Conflicts: 1462000 | #Constraints: 42829
3600.01/3609.90 c #Conflicts: 1463000 | #Constraints: 43829
3600.01/3609.90 c #Conflicts: 1464000 | #Constraints: 44829
3600.01/3609.90 c #Conflicts: 1465000 | #Constraints: 45829
3600.01/3609.90 c #Conflicts: 1466000 | #Constraints: 46829
3600.01/3609.90 c #Conflicts: 1467000 | #Constraints: 47829
3600.01/3609.90 c INPROCESSING
3600.01/3609.90 c GARBAGE COLLECT
3600.01/3609.90 c #Conflicts: 1468000 | #Constraints: 24830
3600.01/3609.90 c #Conflicts: 1469000 | #Constraints: 25830
3600.01/3609.90 c #Conflicts: 1470000 | #Constraints: 26830
3600.01/3609.90 c #Conflicts: 1471000 | #Constraints: 27830
3600.01/3609.90 c #Conflicts: 1472000 | #Constraints: 28830
3600.01/3609.90 c #Conflicts: 1473000 | #Constraints: 29830
3600.01/3609.90 c #Conflicts: 1474000 | #Constraints: 30830
3600.01/3609.90 c #Conflicts: 1475000 | #Constraints: 31830
3600.01/3609.90 c #Conflicts: 1476000 | #Constraints: 32830
3600.01/3609.90 c #Conflicts: 1477000 | #Constraints: 33830
3600.01/3609.90 c #Conflicts: 1478000 | #Constraints: 34830
3600.01/3609.90 c #Conflicts: 1479000 | #Constraints: 35830
3600.01/3609.90 c #Conflicts: 1480000 | #Constraints: 36830
3600.01/3609.90 c #Conflicts: 1481000 | #Constraints: 37830
3600.01/3609.90 c #Conflicts: 1482000 | #Constraints: 38830
3600.01/3609.90 c #Conflicts: 1483000 | #Constraints: 39830
3600.01/3609.90 c #Conflicts: 1484000 | #Constraints: 40830
3600.01/3609.90 c #Conflicts: 1485000 | #Constraints: 41830
3600.01/3609.90 c #Conflicts: 1486000 | #Constraints: 42830
3600.01/3609.90 c #Conflicts: 1487000 | #Constraints: 43830
3600.01/3609.90 c #Conflicts: 1488000 | #Constraints: 44830
3600.01/3609.90 c #Conflicts: 1489000 | #Constraints: 45830
3600.01/3609.90 c #Conflicts: 1490000 | #Constraints: 46830
3600.01/3609.90 c #Conflicts: 1491000 | #Constraints: 47830
3600.01/3609.90 c INPROCESSING
3600.01/3609.90 c GARBAGE COLLECT
3600.01/3609.90 c #Conflicts: 1492000 | #Constraints: 24629
3600.01/3609.90 c Program interrupted by user.
3600.01/3609.90 c cpu time 3592.35 s
3600.01/3609.90 c deterministic time 594254482879 5.94e+11
3600.01/3609.90 c optimization time 3.34219 s
3600.01/3609.90 c total solve time 3289.83 s
3600.01/3609.90 c core-guided solve time 0 s
3600.01/3609.90 c propagation time 3157.71 s
3600.01/3609.90 c conflict analysis time 123.534 s
3600.01/3609.90 c propagations 17387844
3600.01/3609.90 c resolve steps 6858596
3600.01/3609.90 c decisions 3386467
3600.01/3609.90 c conflicts 1492982
3600.01/3609.90 c restarts 2935
3600.01/3609.90 c inprocessing phases 113
3600.01/3609.90 c input clauses 0
3600.01/3609.90 c input cardinalities 0
3600.01/3609.90 c input general constraints 16
3600.01/3609.90 c input average constraint length 69.50
3600.01/3609.90 c input average constraint degree 1702.12
3600.01/3609.90 c learned clauses 614582
3600.01/3609.90 c learned cardinalities 0
3600.01/3609.90 c learned general constraints 878399
3600.01/3609.90 c learned average constraint length 54.52
3600.01/3609.90 c learned average constraint degree 1238564.99
3600.01/3609.90 c watched constraints 854121
3600.01/3609.90 c counting constraints 24294
3600.01/3609.90 c gcd simplifications 552096
3600.01/3609.90 c detected cardinalities 0
3600.01/3609.90 c weakened non-implied lits 13010309
3600.01/3609.90 c weakened non-implying lits 720764
3600.01/3609.90 c original variables 71
3600.01/3609.90 c clausal propagations 371105
3600.01/3609.90 c cardinality propagations 0
3600.01/3609.90 c watched propagations 8066154
3600.01/3609.90 c counting propagations 7979646
3600.01/3609.90 c watch lookups 32654296933
3600.01/3609.90 c watch backjump lookups 20409465515
3600.01/3609.90 c watch checks 400986603319
3600.01/3609.90 c propagation checks 139615683810
3600.01/3609.90 c constraint additions 545391755
3600.01/3609.90 c trail pops 22267235
3600.01/3609.90 c formula constraints 16
3600.01/3609.90 c learned constraints 1492981
3600.01/3609.90 c bound constraints 0
3600.01/3609.90 c core-guided constraints 0
3600.01/3609.90 c encountered formula constraints 2124590
3600.01/3609.90 c encountered learned constraints 6226988
3600.01/3609.90 c encountered bound constraints 0
3600.01/3609.90 c encountered core-guided constraints 0
3600.01/3609.90 c LP total time 0 s
3600.01/3609.90 c LP solve time 0 s
3600.01/3609.90 c LP constraints added 0
3600.01/3609.90 c LP constraints removed 0
3600.01/3609.90 c LP pivots internal 0
3600.01/3609.90 c LP pivots root 0
3600.01/3609.90 c LP calls 0
3600.01/3609.90 c LP optimalities 0
3600.01/3609.90 c LP no pivot count 0
3600.01/3609.90 c LP infeasibilities 0
3600.01/3609.90 c LP valid Farkas constraints 0
3600.01/3609.90 c LP learned Farkas constraints 0
3600.01/3609.90 c LP basis resets 0
3600.01/3609.90 c LP cycling count 0
3600.01/3609.90 c LP singular count 0
3600.01/3609.90 c LP no primal count 0
3600.01/3609.90 c LP no farkas count 0
3600.01/3609.90 c LP other issue count 0
3600.01/3609.90 c LP Gomory cuts 0
3600.01/3609.90 c LP learned cuts 0
3600.01/3609.90 c LP deleted cuts 0
3600.01/3609.90 c LP encountered Gomory constraints 0
3600.01/3609.90 c LP encountered Farkas constraints 0
3600.01/3609.90 c LP encountered learned Farkas constraints 0
3600.01/3609.90 c CG auxiliary variables introduced 0
3600.01/3609.90 c CG solutions found 0
3600.01/3609.90 c CG cores constructed 0
3600.01/3609.90 c CG core cardinality constraints returned 0
3600.01/3609.90 c CG unit cores 0
3600.01/3609.90 c CG single cores 0
3600.01/3609.90 c CG blocks removed during cardinality reduction 0
3600.01/3609.90 c CG first core best 0
3600.01/3609.90 c CG decision core best 0
3600.01/3609.90 c CG core reduction tie 0
3600.01/3609.90 c CG core degree average 0.00
3600.01/3609.90 c CG core slack average 0.00
3600.01/3609.90 c CG exhausted 0
3600.01/3609.90 c CG exhaust time 0 s
3600.01/3609.90 c CG trimmed 0
3600.01/3609.90 c CG trim time 0 s
3600.01/3609.90 c CG minimized 0
3600.01/3609.90 c CG minimize time 0 s
3600.01/3609.90 c CG am1 prop time 0 s
3600.01/3609.90 c CG # am1s reformulated 0
3600.01/3609.90 c CG lower bound derived from am1s 0
3600.01/3609.90 c CG # clausal cores 0
3600.01/3609.90 c CG # cardinality cores 0
3600.01/3609.90 c CG # pb cores 0
3600.01/3609.90 c CG # pb reforms 0
3600.01/3609.90 c CG # cores discarded because of pb reform 0
3600.01/3609.90 d LOWERBOUND 0
3600.01/3609.90 d NCORES 0
3600.01/3609.90 d NPBCORES 0
3600.01/3609.90 d NPBREFORM 0
3600.01/3609.90 d NTRIMMED 0
3600.01/3609.90 d NEXHAUSTED 0
3600.01/3609.90 d NAM1S 0
3600.01/3609.90 d AM1LB 0
3600.01/3609.90 c [Papilo Statistics]
3600.01/3609.90 c prepro time 0.000449462s
3600.01/3609.90 c # tsx applied 8
3600.01/3609.90 c # tsx conflicts 0
3600.01/3609.90 c # bound changes 1
3600.01/3609.90 c # side changes 8
3600.01/3609.90 c # coef changes 0
3600.01/3609.90 c # rounds 2
3600.01/3609.90 c # deted vars 1
3600.01/3609.90 c # deted constrs 9
3600.01/3609.90 c # consecutive rounds of only bound changes 0
3600.01/3609.90 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61509 MiB free)
memory of node 1: 64473 MiB (61392 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435499-1721099959/watcher-4435499-1721099959 -o /tmp/evaluation-result-4435499-1721099959/solver-4435499-1721099959 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721092436-831067 --watchdog 3760 mixed-bag HOME/instance-4435499-1721099959.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=835384, runsolver pid=835381
[startup+0.100396 s]*
/proc/loadavg: 4.15 4.15 4.11 5/255 835385
/proc/meminfo: memFree=125828480/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=100860 memory=33512 CPUtime=0.09 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 4645 0 0 0 8 1 0 0 20 0 1 0 162159767 103280640 8378 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 25215 8378 4129 3002 0 8966 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 100860 KiB
Current children cumulated memory: 33512 KiB
[startup+0.205698 s]*
/proc/loadavg: 4.15 4.15 4.11 6/255 835385
/proc/meminfo: memFree=125826772/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=102656 memory=35096 CPUtime=0.2 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 5051 0 0 0 19 1 0 0 20 0 1 0 162159767 105119744 8774 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 25664 8774 4129 3002 0 9415 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 102656 KiB
Current children cumulated memory: 35096 KiB
[startup+0.305633 s]*
/proc/loadavg: 4.15 4.15 4.11 5/255 835385
/proc/meminfo: memFree=125824616/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=104384 memory=36680 CPUtime=0.3 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 5444 0 0 0 29 1 0 0 20 0 1 0 162159767 106889216 9170 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 26096 9170 4129 3002 0 9847 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 104384 KiB
Current children cumulated memory: 36680 KiB
[startup+0.700227 s]
/proc/loadavg: 4.15 4.15 4.11 5/255 835385
/proc/meminfo: memFree=125814956/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=115344 memory=46540 CPUtime=0.68 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 7941 0 0 0 67 1 0 0 20 0 1 0 162159767 118112256 11635 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 28836 11635 4129 3002 0 12587 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115344 KiB
Current children cumulated memory: 46540 KiB
[startup+1.50022 s]
/proc/loadavg: 4.15 4.15 4.11 5/255 835385
/proc/meminfo: memFree=125807516/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=116000 memory=47596 CPUtime=1.48 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 8204 0 0 0 147 1 0 0 20 0 1 0 162159767 118784000 11899 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 29000 11899 4129 3002 0 12751 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 116000 KiB
Current children cumulated memory: 47596 KiB
[startup+3.1055 s]
/proc/loadavg: 4.14 4.15 4.11 5/255 835385
/proc/meminfo: memFree=125799096/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=116748 memory=49472 CPUtime=3.07 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 8710 0 0 0 306 1 0 0 20 0 1 0 162159767 119549952 12368 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 29187 12368 4129 3002 0 12938 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 116748 KiB
Current children cumulated memory: 49472 KiB
[startup+6.30021 s]
/proc/loadavg: 4.14 4.15 4.11 5/255 835387
/proc/meminfo: memFree=125779820/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=123660 memory=56380 CPUtime=6.26 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 10471 0 0 0 624 2 0 0 20 0 1 0 162159767 126627840 14095 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 30915 14095 4129 3002 0 14666 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 123660 KiB
Current children cumulated memory: 56380 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.14 4.10 5/255 835433
/proc/meminfo: memFree=126165064/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=138084 memory=69068 CPUtime=12.63 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 13682 0 0 0 1261 2 0 0 20 0 1 0 162159767 141398016 17267 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 34521 17267 4129 3002 0 18272 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 138084 KiB
Current children cumulated memory: 69068 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.14 4.10 5/255 835436
/proc/meminfo: memFree=126058288/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=160220 memory=89680 CPUtime=25.39 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 18837 0 0 0 2535 4 0 0 20 0 1 0 162159767 164065280 22420 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 40055 22420 4129 3002 0 23806 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 160220 KiB
Current children cumulated memory: 89680 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 4.14 4.10 5/257 835443
/proc/meminfo: memFree=125874776/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=213144 memory=137116 CPUtime=50.9 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 30673 0 0 0 5084 6 0 0 20 0 1 0 162159767 218259456 34279 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 53286 34279 4129 3002 0 37037 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 213144 KiB
Current children cumulated memory: 137116 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.12 4.09 5/256 835452
/proc/meminfo: memFree=125555148/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=289248 memory=208604 CPUtime=101.92 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 48680 0 0 0 10182 10 0 0 20 0 1 0 162159767 296189952 52151 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 72312 52151 4129 3002 0 56063 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 289248 KiB
Current children cumulated memory: 208604 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 835462
/proc/meminfo: memFree=125283116/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=370380 memory=283456 CPUtime=161.72 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 67391 0 0 0 16157 15 0 0 20 0 1 0 162159767 379269120 70864 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 92595 70864 4129 3002 0 76346 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 370380 KiB
Current children cumulated memory: 283456 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 835472
/proc/meminfo: memFree=125044636/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=431420 memory=341288 CPUtime=221.52 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 81873 0 0 0 22134 18 0 0 20 0 1 0 162159767 441774080 85322 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 107855 85322 4129 3002 0 91606 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 431420 KiB
Current children cumulated memory: 341288 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/256 835484
/proc/meminfo: memFree=124821620/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=491436 memory=398844 CPUtime=281.33 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 96275 0 0 0 28111 22 0 0 20 0 1 0 162159767 503230464 99711 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 122859 99711 4129 3002 0 106610 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 491436 KiB
Current children cumulated memory: 398844 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 835879
/proc/meminfo: memFree=125431652/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=214396 memory=152640 CPUtime=341.16 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 100999 0 0 0 34057 59 0 0 20 0 1 0 162159767 219541504 38160 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 53599 38160 4177 3002 0 37350 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 214396 KiB
Current children cumulated memory: 152640 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 835890
/proc/meminfo: memFree=125416920/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=214396 memory=158556 CPUtime=401 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 101487 0 0 0 40011 89 0 0 20 0 1 0 162159767 219541504 39639 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 53599 39639 4177 3002 0 37350 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 214396 KiB
Current children cumulated memory: 158556 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 835900
/proc/meminfo: memFree=125407028/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=218816 memory=160016 CPUtime=460.82 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 101843 0 0 0 45970 112 0 0 20 0 1 0 162159767 224067584 40004 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 54704 40004 4177 3002 0 38455 0
################
# More data... #
################
Current children cumulated memory: 173008 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 837140
/proc/meminfo: memFree=125295568/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=237672 memory=173008 CPUtime=2914.09 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 104069 0 0 0 290758 651 0 0 20 0 1 0 162159767 243376128 43252 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 59418 43252 4177 3002 0 43169 0
Current children cumulated CPU time: 2914.09 s
Current children cumulated vsize: 237672 KiB
Current children cumulated memory: 173008 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 837150
/proc/meminfo: memFree=125294824/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=237672 memory=173008 CPUtime=2973.95 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 104100 0 0 0 296733 662 0 0 20 0 1 0 162159767 243376128 43252 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 59418 43252 4177 3002 0 43169 0
Current children cumulated CPU time: 2973.95 s
Current children cumulated vsize: 237672 KiB
Current children cumulated memory: 173008 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 837164
/proc/meminfo: memFree=125292020/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=237672 memory=173008 CPUtime=3033.8 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 104134 0 0 0 302708 672 0 0 20 0 1 0 162159767 243376128 43252 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 59418 43252 4177 3002 0 43169 0
Current children cumulated CPU time: 3033.8 s
Current children cumulated vsize: 237672 KiB
Current children cumulated memory: 173008 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 837176
/proc/meminfo: memFree=125288992/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=237672 memory=173008 CPUtime=3093.65 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 104168 0 0 0 308683 682 0 0 20 0 1 0 162159767 243376128 43252 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 59418 43252 4177 3002 0 43169 0
Current children cumulated CPU time: 3093.65 s
Current children cumulated vsize: 237672 KiB
Current children cumulated memory: 173008 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 837186
/proc/meminfo: memFree=125288232/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=237672 memory=173008 CPUtime=3153.5 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 104193 0 0 0 314656 694 0 0 20 0 1 0 162159767 243376128 43252 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 59418 43252 4177 3002 0 43169 0
Current children cumulated CPU time: 3153.5 s
Current children cumulated vsize: 237672 KiB
Current children cumulated memory: 173008 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 837197
/proc/meminfo: memFree=125287332/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=237672 memory=173008 CPUtime=3213.35 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 104223 0 0 0 320632 703 0 0 20 0 1 0 162159767 243376128 43252 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 59418 43252 4177 3002 0 43169 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 237672 KiB
Current children cumulated memory: 173008 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/257 837209
/proc/meminfo: memFree=125284552/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=237672 memory=173008 CPUtime=3273.2 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 104255 0 0 0 326609 711 0 0 20 0 1 0 162159767 243376128 43252 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 59418 43252 4177 3002 0 43169 0
Current children cumulated CPU time: 3273.2 s
Current children cumulated vsize: 237672 KiB
Current children cumulated memory: 173008 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/255 837219
/proc/meminfo: memFree=125281752/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=237672 memory=175056 CPUtime=3333.06 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 104286 0 0 0 332586 720 0 0 20 0 1 0 162159767 243376128 43764 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 59418 43764 4177 3002 0 43169 0
Current children cumulated CPU time: 3333.06 s
Current children cumulated vsize: 237672 KiB
Current children cumulated memory: 175056 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/255 837229
/proc/meminfo: memFree=125281052/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=237672 memory=175056 CPUtime=3392.91 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 104318 0 0 0 338560 731 0 0 20 0 1 0 162159767 243376128 43764 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 59418 43764 4177 3002 0 43169 0
Current children cumulated CPU time: 3392.91 s
Current children cumulated vsize: 237672 KiB
Current children cumulated memory: 175056 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/255 837240
/proc/meminfo: memFree=125278280/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=237672 memory=175056 CPUtime=3452.76 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 104351 0 0 0 344535 741 0 0 20 0 1 0 162159767 243376128 43764 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 59418 43764 4177 3002 0 43169 0
Current children cumulated CPU time: 3452.76 s
Current children cumulated vsize: 237672 KiB
Current children cumulated memory: 175056 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/255 837252
/proc/meminfo: memFree=125277572/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=237672 memory=175056 CPUtime=3512.62 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 104383 0 0 0 350510 752 0 0 20 0 1 0 162159767 243376128 43764 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 59418 43764 4177 3002 0 43169 0
Current children cumulated CPU time: 3512.62 s
Current children cumulated vsize: 237672 KiB
Current children cumulated memory: 175056 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/255 837262
/proc/meminfo: memFree=125276728/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=237672 memory=175056 CPUtime=3572.47 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 104388 0 0 0 356485 762 0 0 20 0 1 0 162159767 243376128 43764 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 59418 43764 4177 3002 0 43169 0
Current children cumulated CPU time: 3572.47 s
Current children cumulated vsize: 237672 KiB
Current children cumulated memory: 175056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.02 4.10 4.08 5/244 837307
/proc/meminfo: memFree=125790564/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=237672 memory=175056 CPUtime=3600.01 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 104422 0 0 0 359235 766 0 0 20 0 1 0 162159767 243376128 43764 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 59418 43764 4177 3002 0 43169 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 237672 KiB
Current children cumulated memory: 175056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.9 s]
# the end of solver process 835384 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.36 s, system=7.6624 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.02 4.10 4.08 5/244 837307
/proc/meminfo: memFree=125790564/131524600 swapFree=131071996/131071996
[pid=835384] ppid=835381 vsize=237672 memory=175056 CPUtime=3600.01 cores=1,3
/proc/835384/stat : 835384 (mixed-bag) R 835381 835384 831055 0 -1 4194304 104422 0 0 0 359235 766 0 0 20 0 1 0 162159767 243376128 43764 134679101440 4194304 16487941 140724574890576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 49491968 140724574893079 140724574893156 140724574893156 140724574900171 0
/proc/835384/statm: 59418 43764 4177 3002 0 43169 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 237672 KiB
Current children cumulated memory: 175056 KiB
Child status: 0
Real time (s): 3609.9
CPU time (s): 3600.02
CPU user time (s): 3592.36
CPU system time (s): 7.6624
CPU usage (%): 99.7262
Max. virtual memory (cumulated for all children) (KiB): 502148
Max. memory (cumulated for all children) (KiB): 414216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.36
system time used= 7.6624
maximum resident set size= 414216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104447
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= 33
involuntary context switches= 3080
# summary of solver processes directly reported to runsolver:
# pid: 835384
# total CPU time (s): 3600.02
# total CPU user time (s): 3592.36
# total CPU system time (s): 7.6624
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.95014 second user time and 17.6922 second system time
The end
Begin job on nodeC021 at 2024-07-16 05:19:32
IDJOB=4435499
IDBENCH=147583
IDSOLVER=3066
FILE ID=nodeC021/4435499-1721099959
RUNJOBID= nodeC021-1721092436-831067
SLURM_JOB_ID= 7505590
Free space on /tmp= 890024 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_4.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435499-1721099959/watcher-4435499-1721099959 -o /tmp/evaluation-result-4435499-1721099959/solver-4435499-1721099959 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721092436-831067 --watchdog 3760 mixed-bag HOME/instance-4435499-1721099959.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f08684a49e4744afc6bcc5ce80f1fe7b
RANDOM SEED=113364293
nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.329
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.848
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.440
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.438
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3659.821
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.859
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.196
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.111
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125854124 kB
MemAvailable: 129188568 kB
Buffers: 383948 kB
Cached: 3751756 kB
SwapCached: 0 kB
Active: 735348 kB
Inactive: 4263716 kB
Active(anon): 1544 kB
Inactive(anon): 898868 kB
Active(file): 733804 kB
Inactive(file): 3364848 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 32816 kB
Writeback: 64 kB
AnonPages: 861924 kB
Mapped: 137876 kB
Shmem: 37720 kB
KReclaimable: 151228 kB
Slab: 264444 kB
SReclaimable: 151228 kB
SUnreclaim: 113216 kB
KernelStack: 4084 kB
PageTables: 11664 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1325820 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61696 kB
HardwareCorrupted: 0 kB
AnonHugePages: 401408 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 256724 kB
DirectMap2M: 23633920 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 890052 MiB
End job on nodeC021 at 2024-07-16 06:19:42