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
298.91/300.04 c [STEP] preprocessing done, loading into solver
298.91/300.04 c [STEP] solving
298.91/300.04 c #variables 147 #constraints 12
298.91/300.04 c SMALL=int, LARGE=long long
298.91/300.04 d SCIPUB 4
298.91/300.04 c bounds - >= 0 @ 298.921
298.91/300.04 c stratification level: 2
316.37/317.57 c #Conflicts: 1000 | #Constraints: 1012
316.37/317.57 c #Conflicts: 2000 | #Constraints: 2012
316.37/317.57 c INPROCESSING
316.37/317.57 c GARBAGE COLLECT
316.37/317.57 c #Conflicts: 3000 | #Constraints: 2019
316.37/317.57 c #Conflicts: 4000 | #Constraints: 3019
316.37/317.57 c INPROCESSING
316.37/317.57 c GARBAGE COLLECT
316.37/317.57 c #Conflicts: 5000 | #Constraints: 2425
316.37/317.57 c #Conflicts: 6000 | #Constraints: 3425
316.37/317.57 c INPROCESSING
316.37/317.57 c GARBAGE COLLECT
316.37/317.57 c #Conflicts: 7000 | #Constraints: 2427
316.37/317.57 c #Conflicts: 8000 | #Constraints: 3427
316.37/317.57 c #Conflicts: 9000 | #Constraints: 4427
316.37/317.57 c INPROCESSING
316.37/317.57 c GARBAGE COLLECT
316.37/317.57 c #Conflicts: 10000 | #Constraints: 3128
316.37/317.57 c #Conflicts: 11000 | #Constraints: 4128
316.37/317.57 c #Conflicts: 12000 | #Constraints: 5128
316.37/317.57 c INPROCESSING
316.37/317.57 c GARBAGE COLLECT
316.37/317.57 c #Conflicts: 13000 | #Constraints: 3577
316.37/317.57 c #Conflicts: 14000 | #Constraints: 4577
316.37/317.57 c #Conflicts: 15000 | #Constraints: 5577
316.37/317.57 c INPROCESSING
316.37/317.57 c GARBAGE COLLECT
316.37/317.57 c #Conflicts: 16000 | #Constraints: 3805
316.37/317.57 c #Conflicts: 17000 | #Constraints: 4805
316.37/317.57 c #Conflicts: 18000 | #Constraints: 5805
316.37/317.57 c INPROCESSING
316.37/317.57 c GARBAGE COLLECT
316.37/317.57 c #Conflicts: 19000 | #Constraints: 3815
316.37/317.57 c #Conflicts: 20000 | #Constraints: 4815
316.37/317.57 c #Conflicts: 21000 | #Constraints: 5815
316.37/317.57 c INPROCESSING
316.37/317.57 c GARBAGE COLLECT
316.37/317.57 c #Conflicts: 22000 | #Constraints: 3619
316.37/317.57 c #Conflicts: 23000 | #Constraints: 4619
316.37/317.57 c #Conflicts: 24000 | #Constraints: 5619
316.37/317.57 c #Conflicts: 25000 | #Constraints: 6619
316.37/317.57 c INPROCESSING
316.37/317.57 c GARBAGE COLLECT
316.37/317.57 c #Conflicts: 26000 | #Constraints: 4224
316.37/317.57 c #Conflicts: 27000 | #Constraints: 5224
316.37/317.57 c #Conflicts: 28000 | #Constraints: 6224
316.37/317.57 c #Conflicts: 29000 | #Constraints: 7224
316.37/317.57 c INPROCESSING
316.37/317.57 c GARBAGE COLLECT
316.37/317.57 c #Conflicts: 30000 | #Constraints: 4625
316.37/317.57 c #Conflicts: 31000 | #Constraints: 5625
316.37/317.57 c #Conflicts: 32000 | #Constraints: 6625
316.37/317.57 c #Conflicts: 33000 | #Constraints: 7625
316.37/317.57 c INPROCESSING
316.37/317.57 c GARBAGE COLLECT
316.37/317.57 c #Conflicts: 34000 | #Constraints: 4826
316.37/317.57 c #Conflicts: 35000 | #Constraints: 5826
316.37/317.57 c #Conflicts: 36000 | #Constraints: 6826
316.37/317.57 c #Conflicts: 37000 | #Constraints: 7826
316.37/317.57 c INPROCESSING
316.37/317.57 c GARBAGE COLLECT
316.37/317.57 c #Conflicts: 38000 | #Constraints: 4826
316.37/317.57 c #Conflicts: 39000 | #Constraints: 5826
316.37/317.57 c #Conflicts: 40000 | #Constraints: 6826
316.37/317.57 c #Conflicts: 41000 | #Constraints: 7826
316.37/317.57 c INPROCESSING
316.37/317.57 c GARBAGE COLLECT
316.37/317.57 c #Conflicts: 42000 | #Constraints: 4627
316.37/317.57 c #Conflicts: 43000 | #Constraints: 5627
316.37/317.57 c #Conflicts: 44000 | #Constraints: 6627
316.37/317.57 c #Conflicts: 45000 | #Constraints: 7627
316.37/317.57 c #Conflicts: 46000 | #Constraints: 8627
316.37/317.57 c INPROCESSING
316.37/317.57 c GARBAGE COLLECT
316.37/317.57 c #Conflicts: 47000 | #Constraints: 5223
316.37/317.57 c #Conflicts: 48000 | #Constraints: 6223
316.37/317.57 c #Conflicts: 49000 | #Constraints: 7223
316.37/317.57 c #Conflicts: 50000 | #Constraints: 8223
316.37/317.57 c #Conflicts: 51000 | #Constraints: 9223
316.37/317.57 c INPROCESSING
316.37/317.57 c GARBAGE COLLECT
316.37/317.57 c #Conflicts: 52000 | #Constraints: 5627
316.37/317.57 c #Conflicts: 53000 | #Constraints: 6627
316.37/317.57 c #Conflicts: 54000 | #Constraints: 7627
316.37/317.57 c #Conflicts: 55000 | #Constraints: 8627
316.37/317.57 c #Conflicts: 56000 | #Constraints: 9627
316.37/317.57 c INPROCESSING
316.37/317.57 c GARBAGE COLLECT
316.37/317.57 c #Conflicts: 57000 | #Constraints: 5823
316.37/317.57 c #Conflicts: 58000 | #Constraints: 6823
316.37/317.57 c #Conflicts: 59000 | #Constraints: 7823
316.37/317.57 c #Conflicts: 60000 | #Constraints: 8823
316.37/317.57 c #Conflicts: 61000 | #Constraints: 9823
316.37/317.57 c INPROCESSING
316.37/317.57 c GARBAGE COLLECT
316.37/317.57 c #Conflicts: 62000 | #Constraints: 5824
316.37/317.57 c #Conflicts: 63000 | #Constraints: 6824
316.37/317.57 c #Conflicts: 64000 | #Constraints: 7824
316.37/317.57 c #Conflicts: 65000 | #Constraints: 8824
316.37/317.57 c #Conflicts: 66000 | #Constraints: 9824
316.37/317.57 c INPROCESSING
316.37/317.57 c GARBAGE COLLECT
316.37/317.57 c #Conflicts: 67000 | #Constraints: 5624
316.37/317.57 c #Conflicts: 68000 | #Constraints: 6624
347.19/348.47 c #Conflicts: 69000 | #Constraints: 7624
347.19/348.47 c #Conflicts: 70000 | #Constraints: 8624
347.19/348.47 c #Conflicts: 71000 | #Constraints: 9624
347.19/348.47 c #Conflicts: 72000 | #Constraints: 10624
347.19/348.47 c INPROCESSING
347.19/348.47 c GARBAGE COLLECT
347.19/348.47 c #Conflicts: 73000 | #Constraints: 6225
347.19/348.47 c #Conflicts: 74000 | #Constraints: 7225
347.19/348.47 c #Conflicts: 75000 | #Constraints: 8225
347.19/348.47 c #Conflicts: 76000 | #Constraints: 9225
347.19/348.47 c #Conflicts: 77000 | #Constraints: 10225
347.19/348.47 c #Conflicts: 78000 | #Constraints: 11225
347.19/348.47 c INPROCESSING
347.19/348.47 c GARBAGE COLLECT
347.19/348.47 c #Conflicts: 79000 | #Constraints: 6626
347.19/348.47 c #Conflicts: 80000 | #Constraints: 7626
347.19/348.47 c #Conflicts: 81000 | #Constraints: 8626
347.19/348.47 c #Conflicts: 82000 | #Constraints: 9626
347.19/348.47 c #Conflicts: 83000 | #Constraints: 10626
347.19/348.47 c #Conflicts: 84000 | #Constraints: 11626
347.19/348.47 c INPROCESSING
347.19/348.47 c GARBAGE COLLECT
347.19/348.47 c #Conflicts: 85000 | #Constraints: 6826
347.19/348.47 c #Conflicts: 86000 | #Constraints: 7826
347.19/348.47 c #Conflicts: 87000 | #Constraints: 8826
347.19/348.47 c #Conflicts: 88000 | #Constraints: 9826
347.19/348.47 c #Conflicts: 89000 | #Constraints: 10826
347.19/348.47 c #Conflicts: 90000 | #Constraints: 11826
347.19/348.47 c INPROCESSING
347.19/348.47 c GARBAGE COLLECT
347.19/348.47 c #Conflicts: 91000 | #Constraints: 6827
347.19/348.47 c #Conflicts: 92000 | #Constraints: 7827
347.19/348.47 c #Conflicts: 93000 | #Constraints: 8827
347.19/348.47 c #Conflicts: 94000 | #Constraints: 9827
347.19/348.47 c #Conflicts: 95000 | #Constraints: 10827
347.19/348.47 c #Conflicts: 96000 | #Constraints: 11827
347.19/348.47 c INPROCESSING
347.19/348.47 c GARBAGE COLLECT
347.19/348.47 c #Conflicts: 97000 | #Constraints: 6632
347.19/348.47 c #Conflicts: 98000 | #Constraints: 7632
347.19/348.47 c #Conflicts: 99000 | #Constraints: 8632
347.19/348.47 c #Conflicts: 100000 | #Constraints: 9632
347.19/348.47 c #Conflicts: 101000 | #Constraints: 10632
347.19/348.47 c #Conflicts: 102000 | #Constraints: 11632
347.19/348.47 c #Conflicts: 103000 | #Constraints: 12632
347.19/348.47 c INPROCESSING
347.19/348.47 c GARBAGE COLLECT
347.19/348.47 c #Conflicts: 104000 | #Constraints: 7228
347.19/348.47 c #Conflicts: 105000 | #Constraints: 8228
347.19/348.47 c #Conflicts: 106000 | #Constraints: 9228
347.19/348.47 c #Conflicts: 107000 | #Constraints: 10228
347.19/348.47 c #Conflicts: 108000 | #Constraints: 11228
347.19/348.47 c #Conflicts: 109000 | #Constraints: 12228
347.19/348.47 c #Conflicts: 110000 | #Constraints: 13228
347.19/348.47 c INPROCESSING
347.19/348.47 c GARBAGE COLLECT
347.19/348.47 c #Conflicts: 111000 | #Constraints: 7629
347.19/348.47 c #Conflicts: 112000 | #Constraints: 8629
347.19/348.47 c #Conflicts: 113000 | #Constraints: 9629
347.19/348.47 c #Conflicts: 114000 | #Constraints: 10629
347.19/348.47 c #Conflicts: 115000 | #Constraints: 11629
347.19/348.47 c #Conflicts: 116000 | #Constraints: 12629
347.19/348.47 c #Conflicts: 117000 | #Constraints: 13629
347.19/348.47 c INPROCESSING
347.19/348.47 c GARBAGE COLLECT
347.19/348.47 c #Conflicts: 118000 | #Constraints: 7828
347.19/348.47 c #Conflicts: 119000 | #Constraints: 8828
347.19/348.47 c #Conflicts: 120000 | #Constraints: 9828
347.19/348.47 c #Conflicts: 121000 | #Constraints: 10828
347.19/348.47 c #Conflicts: 122000 | #Constraints: 11828
347.19/348.47 c #Conflicts: 123000 | #Constraints: 12828
347.19/348.47 c #Conflicts: 124000 | #Constraints: 13828
347.19/348.47 c INPROCESSING
347.19/348.47 c GARBAGE COLLECT
347.19/348.47 c #Conflicts: 125000 | #Constraints: 7827
347.19/348.47 c #Conflicts: 126000 | #Constraints: 8827
347.19/348.47 c #Conflicts: 127000 | #Constraints: 9827
347.19/348.47 c #Conflicts: 128000 | #Constraints: 10827
347.19/348.47 c #Conflicts: 129000 | #Constraints: 11827
347.19/348.47 c #Conflicts: 130000 | #Constraints: 12827
347.19/348.47 c #Conflicts: 131000 | #Constraints: 13827
347.19/348.47 c INPROCESSING
347.19/348.47 c GARBAGE COLLECT
347.19/348.47 c #Conflicts: 132000 | #Constraints: 7626
347.19/348.47 c #Conflicts: 133000 | #Constraints: 8626
347.19/348.47 c #Conflicts: 134000 | #Constraints: 9626
347.19/348.47 c #Conflicts: 135000 | #Constraints: 10626
347.19/348.47 c #Conflicts: 136000 | #Constraints: 11626
347.19/348.47 c #Conflicts: 137000 | #Constraints: 12626
347.19/348.47 c #Conflicts: 138000 | #Constraints: 13626
347.19/348.47 c #Conflicts: 139000 | #Constraints: 14626
347.19/348.47 c INPROCESSING
347.19/348.47 c GARBAGE COLLECT
347.19/348.47 c #Conflicts: 140000 | #Constraints: 8233
388.69/390.09 c #Conflicts: 141000 | #Constraints: 9233
388.69/390.09 c #Conflicts: 142000 | #Constraints: 10233
388.69/390.09 c #Conflicts: 143000 | #Constraints: 11233
388.69/390.09 c #Conflicts: 144000 | #Constraints: 12233
388.69/390.09 c #Conflicts: 145000 | #Constraints: 13233
388.69/390.09 c #Conflicts: 146000 | #Constraints: 14233
388.69/390.09 c #Conflicts: 147000 | #Constraints: 15233
388.69/390.09 c INPROCESSING
388.69/390.09 c GARBAGE COLLECT
388.69/390.09 c #Conflicts: 148000 | #Constraints: 8631
388.69/390.09 c #Conflicts: 149000 | #Constraints: 9631
388.69/390.09 c #Conflicts: 150000 | #Constraints: 10631
388.69/390.09 c #Conflicts: 151000 | #Constraints: 11631
388.69/390.09 c #Conflicts: 152000 | #Constraints: 12631
388.69/390.09 c #Conflicts: 153000 | #Constraints: 13631
388.69/390.09 c #Conflicts: 154000 | #Constraints: 14631
388.69/390.09 c #Conflicts: 155000 | #Constraints: 15631
388.69/390.09 c INPROCESSING
388.69/390.09 c GARBAGE COLLECT
388.69/390.09 c #Conflicts: 156000 | #Constraints: 8833
388.69/390.09 c #Conflicts: 157000 | #Constraints: 9833
388.69/390.09 c #Conflicts: 158000 | #Constraints: 10833
388.69/390.09 c #Conflicts: 159000 | #Constraints: 11833
388.69/390.09 c #Conflicts: 160000 | #Constraints: 12833
388.69/390.09 c #Conflicts: 161000 | #Constraints: 13833
388.69/390.09 c #Conflicts: 162000 | #Constraints: 14833
388.69/390.09 c #Conflicts: 163000 | #Constraints: 15833
388.69/390.09 c INPROCESSING
388.69/390.09 c GARBAGE COLLECT
388.69/390.09 c #Conflicts: 164000 | #Constraints: 8834
388.69/390.09 c #Conflicts: 165000 | #Constraints: 9834
388.69/390.09 c #Conflicts: 166000 | #Constraints: 10834
388.69/390.09 c #Conflicts: 167000 | #Constraints: 11834
388.69/390.09 c #Conflicts: 168000 | #Constraints: 12834
388.69/390.09 c #Conflicts: 169000 | #Constraints: 13834
388.69/390.09 c #Conflicts: 170000 | #Constraints: 14834
388.69/390.09 c #Conflicts: 171000 | #Constraints: 15834
388.69/390.09 c INPROCESSING
388.69/390.09 c GARBAGE COLLECT
388.69/390.09 c #Conflicts: 172000 | #Constraints: 8632
388.69/390.09 c #Conflicts: 173000 | #Constraints: 9632
388.69/390.09 c #Conflicts: 174000 | #Constraints: 10632
388.69/390.09 c #Conflicts: 175000 | #Constraints: 11632
388.69/390.09 c #Conflicts: 176000 | #Constraints: 12632
388.69/390.09 c #Conflicts: 177000 | #Constraints: 13632
388.69/390.09 c #Conflicts: 178000 | #Constraints: 14632
388.69/390.09 c #Conflicts: 179000 | #Constraints: 15632
388.69/390.09 c #Conflicts: 180000 | #Constraints: 16632
388.69/390.09 c INPROCESSING
388.69/390.09 c GARBAGE COLLECT
388.69/390.09 c #Conflicts: 181000 | #Constraints: 9229
388.69/390.09 c #Conflicts: 182000 | #Constraints: 10229
388.69/390.09 c #Conflicts: 183000 | #Constraints: 11229
388.69/390.09 c #Conflicts: 184000 | #Constraints: 12229
388.69/390.09 c #Conflicts: 185000 | #Constraints: 13229
388.69/390.09 c #Conflicts: 186000 | #Constraints: 14229
388.69/390.09 c #Conflicts: 187000 | #Constraints: 15229
388.69/390.09 c #Conflicts: 188000 | #Constraints: 16229
388.69/390.09 c #Conflicts: 189000 | #Constraints: 17229
388.69/390.09 c INPROCESSING
388.69/390.09 c GARBAGE COLLECT
388.69/390.09 c #Conflicts: 190000 | #Constraints: 9630
388.69/390.09 c #Conflicts: 191000 | #Constraints: 10630
388.69/390.09 c #Conflicts: 192000 | #Constraints: 11630
388.69/390.09 c #Conflicts: 193000 | #Constraints: 12630
388.69/390.09 c #Conflicts: 194000 | #Constraints: 13630
388.69/390.09 c #Conflicts: 195000 | #Constraints: 14630
388.69/390.09 c #Conflicts: 196000 | #Constraints: 15630
388.69/390.09 c #Conflicts: 197000 | #Constraints: 16630
388.69/390.09 c #Conflicts: 198000 | #Constraints: 17630
388.69/390.09 c INPROCESSING
388.69/390.09 c GARBAGE COLLECT
388.69/390.09 c #Conflicts: 199000 | #Constraints: 9831
388.69/390.09 c #Conflicts: 200000 | #Constraints: 10831
388.69/390.09 c #Conflicts: 201000 | #Constraints: 11831
388.69/390.09 c #Conflicts: 202000 | #Constraints: 12831
388.69/390.09 c #Conflicts: 203000 | #Constraints: 13831
388.69/390.09 c #Conflicts: 204000 | #Constraints: 14831
388.69/390.09 c #Conflicts: 205000 | #Constraints: 15831
388.69/390.09 c #Conflicts: 206000 | #Constraints: 16831
388.69/390.09 c #Conflicts: 207000 | #Constraints: 17831
388.69/390.09 c INPROCESSING
388.69/390.09 c GARBAGE COLLECT
388.69/390.09 c #Conflicts: 208000 | #Constraints: 9829
388.69/390.09 c #Conflicts: 209000 | #Constraints: 10829
388.69/390.09 c #Conflicts: 210000 | #Constraints: 11829
388.69/390.09 c #Conflicts: 211000 | #Constraints: 12829
388.69/390.09 c #Conflicts: 212000 | #Constraints: 13829
388.69/390.09 c #Conflicts: 213000 | #Constraints: 14829
439.25/440.73 c #Conflicts: 214000 | #Constraints: 15829
439.25/440.73 c #Conflicts: 215000 | #Constraints: 16829
439.25/440.73 c #Conflicts: 216000 | #Constraints: 17829
439.25/440.73 c INPROCESSING
439.25/440.73 c GARBAGE COLLECT
439.25/440.73 c #Conflicts: 217000 | #Constraints: 9636
439.25/440.73 c #Conflicts: 218000 | #Constraints: 10636
439.25/440.73 c #Conflicts: 219000 | #Constraints: 11636
439.25/440.73 c #Conflicts: 220000 | #Constraints: 12636
439.25/440.73 c #Conflicts: 221000 | #Constraints: 13636
439.25/440.73 c #Conflicts: 222000 | #Constraints: 14636
439.25/440.73 c #Conflicts: 223000 | #Constraints: 15636
439.25/440.73 c #Conflicts: 224000 | #Constraints: 16636
439.25/440.73 c #Conflicts: 225000 | #Constraints: 17636
439.25/440.73 c #Conflicts: 226000 | #Constraints: 18636
439.25/440.73 c INPROCESSING
439.25/440.73 c GARBAGE COLLECT
439.25/440.73 c #Conflicts: 227000 | #Constraints: 10234
439.25/440.73 c #Conflicts: 228000 | #Constraints: 11234
439.25/440.73 c #Conflicts: 229000 | #Constraints: 12234
439.25/440.73 c #Conflicts: 230000 | #Constraints: 13234
439.25/440.73 c #Conflicts: 231000 | #Constraints: 14234
439.25/440.73 c #Conflicts: 232000 | #Constraints: 15234
439.25/440.73 c #Conflicts: 233000 | #Constraints: 16234
439.25/440.73 c #Conflicts: 234000 | #Constraints: 17234
439.25/440.73 c #Conflicts: 235000 | #Constraints: 18234
439.25/440.73 c #Conflicts: 236000 | #Constraints: 19234
439.25/440.73 c INPROCESSING
439.25/440.73 c GARBAGE COLLECT
439.25/440.73 c #Conflicts: 237000 | #Constraints: 10628
439.25/440.73 c #Conflicts: 238000 | #Constraints: 11628
439.25/440.73 c #Conflicts: 239000 | #Constraints: 12628
439.25/440.73 c #Conflicts: 240000 | #Constraints: 13628
439.25/440.73 c #Conflicts: 241000 | #Constraints: 14628
439.25/440.73 c #Conflicts: 242000 | #Constraints: 15628
439.25/440.73 c #Conflicts: 243000 | #Constraints: 16628
439.25/440.73 c #Conflicts: 244000 | #Constraints: 17628
439.25/440.73 c #Conflicts: 245000 | #Constraints: 18628
439.25/440.73 c #Conflicts: 246000 | #Constraints: 19628
439.25/440.73 c INPROCESSING
439.25/440.73 c GARBAGE COLLECT
439.25/440.73 c #Conflicts: 247000 | #Constraints: 10830
439.25/440.73 c #Conflicts: 248000 | #Constraints: 11830
439.25/440.73 c #Conflicts: 249000 | #Constraints: 12830
439.25/440.73 c #Conflicts: 250000 | #Constraints: 13830
439.25/440.73 c #Conflicts: 251000 | #Constraints: 14830
439.25/440.73 c #Conflicts: 252000 | #Constraints: 15830
439.25/440.73 c #Conflicts: 253000 | #Constraints: 16830
439.25/440.73 c #Conflicts: 254000 | #Constraints: 17830
439.25/440.73 c #Conflicts: 255000 | #Constraints: 18830
439.25/440.73 c #Conflicts: 256000 | #Constraints: 19830
439.25/440.73 c INPROCESSING
439.25/440.73 c GARBAGE COLLECT
439.25/440.73 c #Conflicts: 257000 | #Constraints: 10831
439.25/440.73 c #Conflicts: 258000 | #Constraints: 11831
439.25/440.73 c #Conflicts: 259000 | #Constraints: 12831
439.25/440.73 c #Conflicts: 260000 | #Constraints: 13831
439.25/440.73 c #Conflicts: 261000 | #Constraints: 14831
439.25/440.73 c #Conflicts: 262000 | #Constraints: 15831
439.25/440.73 c #Conflicts: 263000 | #Constraints: 16831
439.25/440.73 c #Conflicts: 264000 | #Constraints: 17831
439.25/440.73 c #Conflicts: 265000 | #Constraints: 18831
439.25/440.73 c #Conflicts: 266000 | #Constraints: 19831
439.25/440.73 c INPROCESSING
439.25/440.73 c GARBAGE COLLECT
439.25/440.73 c #Conflicts: 267000 | #Constraints: 10628
439.25/440.73 c #Conflicts: 268000 | #Constraints: 11628
439.25/440.73 c #Conflicts: 269000 | #Constraints: 12628
439.25/440.73 c #Conflicts: 270000 | #Constraints: 13628
439.25/440.73 c #Conflicts: 271000 | #Constraints: 14628
439.25/440.73 c #Conflicts: 272000 | #Constraints: 15628
439.25/440.73 c #Conflicts: 273000 | #Constraints: 16628
439.25/440.73 c #Conflicts: 274000 | #Constraints: 17628
439.25/440.73 c #Conflicts: 275000 | #Constraints: 18628
439.25/440.73 c #Conflicts: 276000 | #Constraints: 19628
439.25/440.73 c #Conflicts: 277000 | #Constraints: 20628
439.25/440.73 c INPROCESSING
439.25/440.73 c GARBAGE COLLECT
439.25/440.73 c #Conflicts: 278000 | #Constraints: 11227
439.25/440.73 c #Conflicts: 279000 | #Constraints: 12227
439.25/440.73 c #Conflicts: 280000 | #Constraints: 13227
439.25/440.73 c #Conflicts: 281000 | #Constraints: 14227
439.25/440.73 c #Conflicts: 282000 | #Constraints: 15227
439.25/440.73 c #Conflicts: 283000 | #Constraints: 16227
439.25/440.73 c #Conflicts: 284000 | #Constraints: 17227
439.25/440.73 c #Conflicts: 285000 | #Constraints: 18227
439.25/440.73 c #Conflicts: 286000 | #Constraints: 19227
439.25/440.73 c #Conflicts: 287000 | #Constraints: 20227
439.25/440.73 c #Conflicts: 288000 | #Constraints: 21227
498.32/499.98 c INPROCESSING
498.32/499.98 c GARBAGE COLLECT
498.32/499.98 c #Conflicts: 289000 | #Constraints: 11628
498.32/499.98 c #Conflicts: 290000 | #Constraints: 12628
498.32/499.98 c #Conflicts: 291000 | #Constraints: 13628
498.32/499.98 c #Conflicts: 292000 | #Constraints: 14628
498.32/499.98 c #Conflicts: 293000 | #Constraints: 15628
498.32/499.98 c #Conflicts: 294000 | #Constraints: 16628
498.32/499.98 c #Conflicts: 295000 | #Constraints: 17628
498.32/499.98 c #Conflicts: 296000 | #Constraints: 18628
498.32/499.98 c #Conflicts: 297000 | #Constraints: 19628
498.32/499.98 c #Conflicts: 298000 | #Constraints: 20628
498.32/499.98 c #Conflicts: 299000 | #Constraints: 21628
498.32/499.98 c INPROCESSING
498.32/499.98 c GARBAGE COLLECT
498.32/499.98 c #Conflicts: 300000 | #Constraints: 11829
498.32/499.98 c #Conflicts: 301000 | #Constraints: 12829
498.32/499.98 c #Conflicts: 302000 | #Constraints: 13829
498.32/499.98 c #Conflicts: 303000 | #Constraints: 14829
498.32/499.98 c #Conflicts: 304000 | #Constraints: 15829
498.32/499.98 c #Conflicts: 305000 | #Constraints: 16829
498.32/499.98 c #Conflicts: 306000 | #Constraints: 17829
498.32/499.98 c #Conflicts: 307000 | #Constraints: 18829
498.32/499.98 c #Conflicts: 308000 | #Constraints: 19829
498.32/499.98 c #Conflicts: 309000 | #Constraints: 20829
498.32/499.98 c #Conflicts: 310000 | #Constraints: 21829
498.32/499.98 c INPROCESSING
498.32/499.98 c GARBAGE COLLECT
498.32/499.98 c #Conflicts: 311000 | #Constraints: 11831
498.32/499.98 c #Conflicts: 312000 | #Constraints: 12831
498.32/499.98 c #Conflicts: 313000 | #Constraints: 13831
498.32/499.98 c #Conflicts: 314000 | #Constraints: 14831
498.32/499.98 c #Conflicts: 315000 | #Constraints: 15831
498.32/499.98 c #Conflicts: 316000 | #Constraints: 16831
498.32/499.98 c #Conflicts: 317000 | #Constraints: 17831
498.32/499.98 c #Conflicts: 318000 | #Constraints: 18831
498.32/499.98 c #Conflicts: 319000 | #Constraints: 19831
498.32/499.98 c #Conflicts: 320000 | #Constraints: 20831
498.32/499.98 c #Conflicts: 321000 | #Constraints: 21831
498.32/499.98 c INPROCESSING
498.32/499.98 c GARBAGE COLLECT
498.32/499.98 c #Conflicts: 322000 | #Constraints: 11631
498.32/499.98 c #Conflicts: 323000 | #Constraints: 12631
498.32/499.98 c #Conflicts: 324000 | #Constraints: 13631
498.32/499.98 c #Conflicts: 325000 | #Constraints: 14631
498.32/499.98 c #Conflicts: 326000 | #Constraints: 15631
498.32/499.98 c #Conflicts: 327000 | #Constraints: 16631
498.32/499.98 c #Conflicts: 328000 | #Constraints: 17631
498.32/499.98 c #Conflicts: 329000 | #Constraints: 18631
498.32/499.98 c #Conflicts: 330000 | #Constraints: 19631
498.32/499.98 c #Conflicts: 331000 | #Constraints: 20631
498.32/499.98 c #Conflicts: 332000 | #Constraints: 21631
498.32/499.98 c #Conflicts: 333000 | #Constraints: 22631
498.32/499.98 c INPROCESSING
498.32/499.98 c GARBAGE COLLECT
498.32/499.98 c #Conflicts: 334000 | #Constraints: 12230
498.32/499.98 c #Conflicts: 335000 | #Constraints: 13230
498.32/499.98 c #Conflicts: 336000 | #Constraints: 14230
498.32/499.98 c #Conflicts: 337000 | #Constraints: 15230
498.32/499.98 c #Conflicts: 338000 | #Constraints: 16230
498.32/499.98 c #Conflicts: 339000 | #Constraints: 17230
498.32/499.98 c #Conflicts: 340000 | #Constraints: 18230
498.32/499.98 c #Conflicts: 341000 | #Constraints: 19230
498.32/499.98 c #Conflicts: 342000 | #Constraints: 20230
498.32/499.98 c #Conflicts: 343000 | #Constraints: 21230
498.32/499.98 c #Conflicts: 344000 | #Constraints: 22230
498.32/499.98 c #Conflicts: 345000 | #Constraints: 23230
498.32/499.98 c INPROCESSING
498.32/499.98 c GARBAGE COLLECT
498.32/499.98 c #Conflicts: 346000 | #Constraints: 12629
498.32/499.98 c #Conflicts: 347000 | #Constraints: 13629
498.32/499.98 c #Conflicts: 348000 | #Constraints: 14629
498.32/499.98 c #Conflicts: 349000 | #Constraints: 15629
498.32/499.98 c #Conflicts: 350000 | #Constraints: 16629
498.32/499.98 c #Conflicts: 351000 | #Constraints: 17629
498.32/499.98 c #Conflicts: 352000 | #Constraints: 18629
498.32/499.98 c #Conflicts: 353000 | #Constraints: 19629
498.32/499.98 c #Conflicts: 354000 | #Constraints: 20629
498.32/499.98 c #Conflicts: 355000 | #Constraints: 21629
498.32/499.98 c #Conflicts: 356000 | #Constraints: 22629
498.32/499.98 c #Conflicts: 357000 | #Constraints: 23629
498.32/499.98 c INPROCESSING
498.32/499.98 c GARBAGE COLLECT
498.32/499.98 c #Conflicts: 358000 | #Constraints: 12826
498.32/499.98 c #Conflicts: 359000 | #Constraints: 13826
498.32/499.98 c #Conflicts: 360000 | #Constraints: 14826
498.32/499.98 c #Conflicts: 361000 | #Constraints: 15826
498.32/499.98 c #Conflicts: 362000 | #Constraints: 16826
562.95/564.76 c #Conflicts: 363000 | #Constraints: 17826
562.95/564.76 c #Conflicts: 364000 | #Constraints: 18826
562.95/564.76 c #Conflicts: 365000 | #Constraints: 19826
562.95/564.76 c #Conflicts: 366000 | #Constraints: 20826
562.95/564.76 c #Conflicts: 367000 | #Constraints: 21826
562.95/564.76 c #Conflicts: 368000 | #Constraints: 22826
562.95/564.76 c #Conflicts: 369000 | #Constraints: 23826
562.95/564.76 c INPROCESSING
562.95/564.76 c GARBAGE COLLECT
562.95/564.76 c #Conflicts: 370000 | #Constraints: 12829
562.95/564.76 c #Conflicts: 371000 | #Constraints: 13829
562.95/564.76 c #Conflicts: 372000 | #Constraints: 14829
562.95/564.76 c #Conflicts: 373000 | #Constraints: 15829
562.95/564.76 c #Conflicts: 374000 | #Constraints: 16829
562.95/564.76 c #Conflicts: 375000 | #Constraints: 17829
562.95/564.76 c #Conflicts: 376000 | #Constraints: 18829
562.95/564.76 c #Conflicts: 377000 | #Constraints: 19829
562.95/564.76 c #Conflicts: 378000 | #Constraints: 20829
562.95/564.76 c #Conflicts: 379000 | #Constraints: 21829
562.95/564.76 c #Conflicts: 380000 | #Constraints: 22829
562.95/564.76 c #Conflicts: 381000 | #Constraints: 23829
562.95/564.76 c INPROCESSING
562.95/564.76 c GARBAGE COLLECT
562.95/564.76 c #Conflicts: 382000 | #Constraints: 12628
562.95/564.76 c #Conflicts: 383000 | #Constraints: 13628
562.95/564.76 c #Conflicts: 384000 | #Constraints: 14628
562.95/564.76 c #Conflicts: 385000 | #Constraints: 15628
562.95/564.76 c #Conflicts: 386000 | #Constraints: 16628
562.95/564.76 c #Conflicts: 387000 | #Constraints: 17628
562.95/564.76 c #Conflicts: 388000 | #Constraints: 18628
562.95/564.76 c #Conflicts: 389000 | #Constraints: 19628
562.95/564.76 c #Conflicts: 390000 | #Constraints: 20628
562.95/564.76 c #Conflicts: 391000 | #Constraints: 21628
562.95/564.76 c #Conflicts: 392000 | #Constraints: 22628
562.95/564.76 c #Conflicts: 393000 | #Constraints: 23628
562.95/564.76 c #Conflicts: 394000 | #Constraints: 24628
562.95/564.76 c INPROCESSING
562.95/564.76 c GARBAGE COLLECT
562.95/564.76 c #Conflicts: 395000 | #Constraints: 13228
562.95/564.76 c #Conflicts: 396000 | #Constraints: 14228
562.95/564.76 c #Conflicts: 397000 | #Constraints: 15228
562.95/564.76 c #Conflicts: 398000 | #Constraints: 16228
562.95/564.76 c #Conflicts: 399000 | #Constraints: 17228
562.95/564.76 c #Conflicts: 400000 | #Constraints: 18228
562.95/564.76 c #Conflicts: 401000 | #Constraints: 19228
562.95/564.76 c #Conflicts: 402000 | #Constraints: 20228
562.95/564.76 c #Conflicts: 403000 | #Constraints: 21228
562.95/564.76 c #Conflicts: 404000 | #Constraints: 22228
562.95/564.76 c #Conflicts: 405000 | #Constraints: 23228
562.95/564.76 c #Conflicts: 406000 | #Constraints: 24228
562.95/564.76 c #Conflicts: 407000 | #Constraints: 25228
562.95/564.76 c INPROCESSING
562.95/564.76 c GARBAGE COLLECT
562.95/564.76 c #Conflicts: 408000 | #Constraints: 13628
562.95/564.76 c #Conflicts: 409000 | #Constraints: 14628
562.95/564.76 c #Conflicts: 410000 | #Constraints: 15628
562.95/564.76 c #Conflicts: 411000 | #Constraints: 16628
562.95/564.76 c #Conflicts: 412000 | #Constraints: 17628
562.95/564.76 c #Conflicts: 413000 | #Constraints: 18628
562.95/564.76 c #Conflicts: 414000 | #Constraints: 19628
562.95/564.76 c #Conflicts: 415000 | #Constraints: 20628
562.95/564.76 c #Conflicts: 416000 | #Constraints: 21628
562.95/564.76 c #Conflicts: 417000 | #Constraints: 22628
562.95/564.76 c #Conflicts: 418000 | #Constraints: 23628
562.95/564.76 c #Conflicts: 419000 | #Constraints: 24628
562.95/564.76 c #Conflicts: 420000 | #Constraints: 25628
562.95/564.76 c INPROCESSING
562.95/564.76 c GARBAGE COLLECT
562.95/564.76 c #Conflicts: 421000 | #Constraints: 13834
562.95/564.76 c #Conflicts: 422000 | #Constraints: 14834
562.95/564.76 c #Conflicts: 423000 | #Constraints: 15834
562.95/564.76 c #Conflicts: 424000 | #Constraints: 16834
562.95/564.76 c #Conflicts: 425000 | #Constraints: 17834
562.95/564.76 c #Conflicts: 426000 | #Constraints: 18834
562.95/564.76 c #Conflicts: 427000 | #Constraints: 19834
562.95/564.76 c #Conflicts: 428000 | #Constraints: 20834
562.95/564.76 c #Conflicts: 429000 | #Constraints: 21834
562.95/564.76 c #Conflicts: 430000 | #Constraints: 22834
562.95/564.76 c #Conflicts: 431000 | #Constraints: 23834
562.95/564.76 c #Conflicts: 432000 | #Constraints: 24834
562.95/564.76 c #Conflicts: 433000 | #Constraints: 25834
562.95/564.76 c INPROCESSING
562.95/564.76 c GARBAGE COLLECT
562.95/564.76 c #Conflicts: 434000 | #Constraints: 13832
562.95/564.76 c #Conflicts: 435000 | #Constraints: 14832
562.95/564.76 c #Conflicts: 436000 | #Constraints: 15832
562.95/564.76 c #Conflicts: 437000 | #Constraints: 16832
642.44/644.49 c #Conflicts: 438000 | #Constraints: 17832
642.44/644.49 c #Conflicts: 439000 | #Constraints: 18832
642.44/644.49 c #Conflicts: 440000 | #Constraints: 19832
642.44/644.49 c #Conflicts: 441000 | #Constraints: 20832
642.44/644.49 c #Conflicts: 442000 | #Constraints: 21832
642.44/644.49 c #Conflicts: 443000 | #Constraints: 22832
642.44/644.49 c #Conflicts: 444000 | #Constraints: 23832
642.44/644.49 c #Conflicts: 445000 | #Constraints: 24832
642.44/644.49 c #Conflicts: 446000 | #Constraints: 25832
642.44/644.49 c INPROCESSING
642.44/644.49 c GARBAGE COLLECT
642.44/644.49 c #Conflicts: 447000 | #Constraints: 13633
642.44/644.49 c #Conflicts: 448000 | #Constraints: 14633
642.44/644.49 c #Conflicts: 449000 | #Constraints: 15633
642.44/644.49 c #Conflicts: 450000 | #Constraints: 16633
642.44/644.49 c #Conflicts: 451000 | #Constraints: 17633
642.44/644.49 c #Conflicts: 452000 | #Constraints: 18633
642.44/644.49 c #Conflicts: 453000 | #Constraints: 19633
642.44/644.49 c #Conflicts: 454000 | #Constraints: 20633
642.44/644.49 c #Conflicts: 455000 | #Constraints: 21633
642.44/644.49 c #Conflicts: 456000 | #Constraints: 22633
642.44/644.49 c #Conflicts: 457000 | #Constraints: 23633
642.44/644.49 c #Conflicts: 458000 | #Constraints: 24633
642.44/644.49 c #Conflicts: 459000 | #Constraints: 25633
642.44/644.49 c #Conflicts: 460000 | #Constraints: 26633
642.44/644.49 c INPROCESSING
642.44/644.49 c GARBAGE COLLECT
642.44/644.49 c #Conflicts: 461000 | #Constraints: 14235
642.44/644.49 c #Conflicts: 462000 | #Constraints: 15235
642.44/644.49 c #Conflicts: 463000 | #Constraints: 16235
642.44/644.49 c #Conflicts: 464000 | #Constraints: 17235
642.44/644.49 c #Conflicts: 465000 | #Constraints: 18235
642.44/644.49 c #Conflicts: 466000 | #Constraints: 19235
642.44/644.49 c #Conflicts: 467000 | #Constraints: 20235
642.44/644.49 c #Conflicts: 468000 | #Constraints: 21235
642.44/644.49 c #Conflicts: 469000 | #Constraints: 22235
642.44/644.49 c #Conflicts: 470000 | #Constraints: 23235
642.44/644.49 c #Conflicts: 471000 | #Constraints: 24235
642.44/644.49 c #Conflicts: 472000 | #Constraints: 25235
642.44/644.49 c #Conflicts: 473000 | #Constraints: 26235
642.44/644.49 c #Conflicts: 474000 | #Constraints: 27235
642.44/644.49 c INPROCESSING
642.44/644.49 c GARBAGE COLLECT
642.44/644.49 c #Conflicts: 475000 | #Constraints: 14632
642.44/644.49 c #Conflicts: 476000 | #Constraints: 15632
642.44/644.49 c #Conflicts: 477000 | #Constraints: 16632
642.44/644.49 c #Conflicts: 478000 | #Constraints: 17632
642.44/644.49 c #Conflicts: 479000 | #Constraints: 18632
642.44/644.49 c #Conflicts: 480000 | #Constraints: 19632
642.44/644.49 c #Conflicts: 481000 | #Constraints: 20632
642.44/644.49 c #Conflicts: 482000 | #Constraints: 21632
642.44/644.49 c #Conflicts: 483000 | #Constraints: 22632
642.44/644.49 c #Conflicts: 484000 | #Constraints: 23632
642.44/644.49 c #Conflicts: 485000 | #Constraints: 24632
642.44/644.49 c #Conflicts: 486000 | #Constraints: 25632
642.44/644.49 c #Conflicts: 487000 | #Constraints: 26632
642.44/644.49 c #Conflicts: 488000 | #Constraints: 27632
642.44/644.49 c INPROCESSING
642.44/644.49 c GARBAGE COLLECT
642.44/644.49 c #Conflicts: 489000 | #Constraints: 14833
642.44/644.49 c #Conflicts: 490000 | #Constraints: 15833
642.44/644.49 c #Conflicts: 491000 | #Constraints: 16833
642.44/644.49 c #Conflicts: 492000 | #Constraints: 17833
642.44/644.49 c #Conflicts: 493000 | #Constraints: 18833
642.44/644.49 c #Conflicts: 494000 | #Constraints: 19833
642.44/644.49 c #Conflicts: 495000 | #Constraints: 20833
642.44/644.49 c #Conflicts: 496000 | #Constraints: 21833
642.44/644.49 c #Conflicts: 497000 | #Constraints: 22833
642.44/644.49 c #Conflicts: 498000 | #Constraints: 23833
642.44/644.49 c #Conflicts: 499000 | #Constraints: 24833
642.44/644.49 c #Conflicts: 500000 | #Constraints: 25833
642.44/644.49 c #Conflicts: 501000 | #Constraints: 26833
642.44/644.49 c #Conflicts: 502000 | #Constraints: 27833
642.44/644.49 c INPROCESSING
642.44/644.49 c GARBAGE COLLECT
642.44/644.49 c #Conflicts: 503000 | #Constraints: 14831
642.44/644.49 c #Conflicts: 504000 | #Constraints: 15831
642.44/644.49 c #Conflicts: 505000 | #Constraints: 16831
642.44/644.49 c #Conflicts: 506000 | #Constraints: 17831
642.44/644.49 c #Conflicts: 507000 | #Constraints: 18831
642.44/644.49 c #Conflicts: 508000 | #Constraints: 19831
642.44/644.49 c #Conflicts: 509000 | #Constraints: 20831
642.44/644.49 c #Conflicts: 510000 | #Constraints: 21831
642.44/644.49 c #Conflicts: 511000 | #Constraints: 22831
642.44/644.49 c #Conflicts: 512000 | #Constraints: 23831
642.44/644.49 c #Conflicts: 513000 | #Constraints: 24831
718.15/720.30 c #Conflicts: 514000 | #Constraints: 25831
718.15/720.30 c #Conflicts: 515000 | #Constraints: 26831
718.15/720.30 c #Conflicts: 516000 | #Constraints: 27831
718.15/720.30 c INPROCESSING
718.15/720.30 c GARBAGE COLLECT
718.15/720.30 c #Conflicts: 517000 | #Constraints: 14627
718.15/720.30 c #Conflicts: 518000 | #Constraints: 15627
718.15/720.30 c #Conflicts: 519000 | #Constraints: 16627
718.15/720.30 c #Conflicts: 520000 | #Constraints: 17627
718.15/720.30 c #Conflicts: 521000 | #Constraints: 18627
718.15/720.30 c #Conflicts: 522000 | #Constraints: 19627
718.15/720.30 c #Conflicts: 523000 | #Constraints: 20627
718.15/720.30 c #Conflicts: 524000 | #Constraints: 21627
718.15/720.30 c #Conflicts: 525000 | #Constraints: 22627
718.15/720.30 c #Conflicts: 526000 | #Constraints: 23627
718.15/720.30 c #Conflicts: 527000 | #Constraints: 24627
718.15/720.30 c #Conflicts: 528000 | #Constraints: 25627
718.15/720.30 c #Conflicts: 529000 | #Constraints: 26627
718.15/720.30 c #Conflicts: 530000 | #Constraints: 27627
718.15/720.30 c #Conflicts: 531000 | #Constraints: 28627
718.15/720.30 c INPROCESSING
718.15/720.30 c GARBAGE COLLECT
718.15/720.30 c #Conflicts: 532000 | #Constraints: 15229
718.15/720.30 c #Conflicts: 533000 | #Constraints: 16229
718.15/720.30 c #Conflicts: 534000 | #Constraints: 17229
718.15/720.30 c #Conflicts: 535000 | #Constraints: 18229
718.15/720.30 c #Conflicts: 536000 | #Constraints: 19229
718.15/720.30 c #Conflicts: 537000 | #Constraints: 20229
718.15/720.30 c #Conflicts: 538000 | #Constraints: 21229
718.15/720.30 c #Conflicts: 539000 | #Constraints: 22229
718.15/720.30 c #Conflicts: 540000 | #Constraints: 23229
718.15/720.30 c #Conflicts: 541000 | #Constraints: 24229
718.15/720.30 c #Conflicts: 542000 | #Constraints: 25229
718.15/720.30 c #Conflicts: 543000 | #Constraints: 26229
718.15/720.30 c #Conflicts: 544000 | #Constraints: 27229
718.15/720.30 c #Conflicts: 545000 | #Constraints: 28229
718.15/720.30 c #Conflicts: 546000 | #Constraints: 29229
718.15/720.30 c INPROCESSING
718.15/720.30 c GARBAGE COLLECT
718.15/720.30 c #Conflicts: 547000 | #Constraints: 15630
718.15/720.30 c #Conflicts: 548000 | #Constraints: 16630
718.15/720.30 c #Conflicts: 549000 | #Constraints: 17630
718.15/720.30 c #Conflicts: 550000 | #Constraints: 18630
718.15/720.30 c #Conflicts: 551000 | #Constraints: 19630
718.15/720.30 c #Conflicts: 552000 | #Constraints: 20630
718.15/720.30 c #Conflicts: 553000 | #Constraints: 21630
718.15/720.30 c #Conflicts: 554000 | #Constraints: 22630
718.15/720.30 c #Conflicts: 555000 | #Constraints: 23630
718.15/720.30 c #Conflicts: 556000 | #Constraints: 24630
718.15/720.30 c #Conflicts: 557000 | #Constraints: 25630
718.15/720.30 c #Conflicts: 558000 | #Constraints: 26630
718.15/720.30 c #Conflicts: 559000 | #Constraints: 27630
718.15/720.30 c #Conflicts: 560000 | #Constraints: 28630
718.15/720.30 c #Conflicts: 561000 | #Constraints: 29630
718.15/720.30 c INPROCESSING
718.15/720.30 c GARBAGE COLLECT
718.15/720.30 c #Conflicts: 562000 | #Constraints: 15829
718.15/720.30 c #Conflicts: 563000 | #Constraints: 16829
718.15/720.30 c #Conflicts: 564000 | #Constraints: 17829
718.15/720.30 c #Conflicts: 565000 | #Constraints: 18829
718.15/720.30 c #Conflicts: 566000 | #Constraints: 19829
718.15/720.30 c #Conflicts: 567000 | #Constraints: 20829
718.15/720.30 c #Conflicts: 568000 | #Constraints: 21829
718.15/720.30 c #Conflicts: 569000 | #Constraints: 22829
718.15/720.30 c #Conflicts: 570000 | #Constraints: 23829
718.15/720.30 c #Conflicts: 571000 | #Constraints: 24829
718.15/720.30 c #Conflicts: 572000 | #Constraints: 25829
718.15/720.30 c #Conflicts: 573000 | #Constraints: 26829
718.15/720.30 c #Conflicts: 574000 | #Constraints: 27829
718.15/720.30 c #Conflicts: 575000 | #Constraints: 28829
718.15/720.30 c #Conflicts: 576000 | #Constraints: 29829
718.15/720.30 c INPROCESSING
718.15/720.30 c GARBAGE COLLECT
718.15/720.30 c #Conflicts: 577000 | #Constraints: 15830
718.15/720.30 c #Conflicts: 578000 | #Constraints: 16830
718.15/720.30 c #Conflicts: 579000 | #Constraints: 17830
718.15/720.30 c #Conflicts: 580000 | #Constraints: 18830
718.15/720.30 c #Conflicts: 581000 | #Constraints: 19830
718.15/720.30 c #Conflicts: 582000 | #Constraints: 20830
718.15/720.30 c #Conflicts: 583000 | #Constraints: 21830
718.15/720.30 c #Conflicts: 584000 | #Constraints: 22830
718.15/720.30 c #Conflicts: 585000 | #Constraints: 23830
718.15/720.30 c #Conflicts: 586000 | #Constraints: 24830
718.15/720.30 c #Conflicts: 587000 | #Constraints: 25830
718.15/720.30 c #Conflicts: 588000 | #Constraints: 26830
801.54/803.98 c #Conflicts: 589000 | #Constraints: 27830
801.54/803.98 c #Conflicts: 590000 | #Constraints: 28830
801.54/803.98 c #Conflicts: 591000 | #Constraints: 29830
801.54/803.98 c INPROCESSING
801.54/803.98 c GARBAGE COLLECT
801.54/803.98 c #Conflicts: 592000 | #Constraints: 15631
801.54/803.98 c #Conflicts: 593000 | #Constraints: 16631
801.54/803.98 c #Conflicts: 594000 | #Constraints: 17631
801.54/803.98 c #Conflicts: 595000 | #Constraints: 18631
801.54/803.98 c #Conflicts: 596000 | #Constraints: 19631
801.54/803.98 c #Conflicts: 597000 | #Constraints: 20631
801.54/803.98 c #Conflicts: 598000 | #Constraints: 21631
801.54/803.98 c #Conflicts: 599000 | #Constraints: 22631
801.54/803.98 c #Conflicts: 600000 | #Constraints: 23631
801.54/803.98 c #Conflicts: 601000 | #Constraints: 24631
801.54/803.98 c #Conflicts: 602000 | #Constraints: 25631
801.54/803.98 c #Conflicts: 603000 | #Constraints: 26631
801.54/803.98 c #Conflicts: 604000 | #Constraints: 27631
801.54/803.98 c #Conflicts: 605000 | #Constraints: 28631
801.54/803.98 c #Conflicts: 606000 | #Constraints: 29631
801.54/803.98 c #Conflicts: 607000 | #Constraints: 30631
801.54/803.98 c INPROCESSING
801.54/803.98 c GARBAGE COLLECT
801.54/803.98 c #Conflicts: 608000 | #Constraints: 16232
801.54/803.98 c #Conflicts: 609000 | #Constraints: 17232
801.54/803.98 c #Conflicts: 610000 | #Constraints: 18232
801.54/803.98 c #Conflicts: 611000 | #Constraints: 19232
801.54/803.98 c #Conflicts: 612000 | #Constraints: 20232
801.54/803.98 c #Conflicts: 613000 | #Constraints: 21232
801.54/803.98 c #Conflicts: 614000 | #Constraints: 22232
801.54/803.98 c #Conflicts: 615000 | #Constraints: 23232
801.54/803.98 c #Conflicts: 616000 | #Constraints: 24232
801.54/803.98 c #Conflicts: 617000 | #Constraints: 25232
801.54/803.98 c #Conflicts: 618000 | #Constraints: 26232
801.54/803.98 c #Conflicts: 619000 | #Constraints: 27232
801.54/803.98 c #Conflicts: 620000 | #Constraints: 28232
801.54/803.98 c #Conflicts: 621000 | #Constraints: 29232
801.54/803.98 c #Conflicts: 622000 | #Constraints: 30232
801.54/803.98 c #Conflicts: 623000 | #Constraints: 31232
801.54/803.98 c INPROCESSING
801.54/803.98 c GARBAGE COLLECT
801.54/803.98 c #Conflicts: 624000 | #Constraints: 16630
801.54/803.98 c #Conflicts: 625000 | #Constraints: 17630
801.54/803.98 c #Conflicts: 626000 | #Constraints: 18630
801.54/803.98 c #Conflicts: 627000 | #Constraints: 19630
801.54/803.98 c #Conflicts: 628000 | #Constraints: 20630
801.54/803.98 c #Conflicts: 629000 | #Constraints: 21630
801.54/803.98 c #Conflicts: 630000 | #Constraints: 22630
801.54/803.98 c #Conflicts: 631000 | #Constraints: 23630
801.54/803.98 c #Conflicts: 632000 | #Constraints: 24630
801.54/803.98 c #Conflicts: 633000 | #Constraints: 25630
801.54/803.98 c #Conflicts: 634000 | #Constraints: 26630
801.54/803.98 c #Conflicts: 635000 | #Constraints: 27630
801.54/803.98 c #Conflicts: 636000 | #Constraints: 28630
801.54/803.98 c #Conflicts: 637000 | #Constraints: 29630
801.54/803.98 c #Conflicts: 638000 | #Constraints: 30630
801.54/803.98 c #Conflicts: 639000 | #Constraints: 31630
801.54/803.98 c INPROCESSING
801.54/803.98 c GARBAGE COLLECT
801.54/803.98 c #Conflicts: 640000 | #Constraints: 16825
801.54/803.98 c #Conflicts: 641000 | #Constraints: 17825
801.54/803.98 c #Conflicts: 642000 | #Constraints: 18825
801.54/803.98 c #Conflicts: 643000 | #Constraints: 19825
801.54/803.98 c #Conflicts: 644000 | #Constraints: 20825
801.54/803.98 c #Conflicts: 645000 | #Constraints: 21825
801.54/803.98 c #Conflicts: 646000 | #Constraints: 22825
801.54/803.98 c #Conflicts: 647000 | #Constraints: 23825
801.54/803.98 c #Conflicts: 648000 | #Constraints: 24825
801.54/803.98 c #Conflicts: 649000 | #Constraints: 25825
801.54/803.98 c #Conflicts: 650000 | #Constraints: 26825
801.54/803.98 c #Conflicts: 651000 | #Constraints: 27825
801.54/803.98 c #Conflicts: 652000 | #Constraints: 28825
801.54/803.98 c #Conflicts: 653000 | #Constraints: 29825
801.54/803.98 c #Conflicts: 654000 | #Constraints: 30825
801.54/803.98 c #Conflicts: 655000 | #Constraints: 31825
801.54/803.98 c INPROCESSING
801.54/803.98 c GARBAGE COLLECT
801.54/803.98 c #Conflicts: 656000 | #Constraints: 16831
801.54/803.98 c #Conflicts: 657000 | #Constraints: 17831
801.54/803.98 c #Conflicts: 658000 | #Constraints: 18831
801.54/803.98 c #Conflicts: 659000 | #Constraints: 19831
801.54/803.98 c #Conflicts: 660000 | #Constraints: 20831
801.54/803.98 c #Conflicts: 661000 | #Constraints: 21831
801.54/803.98 c #Conflicts: 662000 | #Constraints: 22831
801.54/803.98 c #Conflicts: 663000 | #Constraints: 23831
801.54/803.98 c #Conflicts: 664000 | #Constraints: 24831
891.00/893.70 c #Conflicts: 665000 | #Constraints: 25831
891.00/893.70 c #Conflicts: 666000 | #Constraints: 26831
891.00/893.70 c #Conflicts: 667000 | #Constraints: 27831
891.00/893.70 c #Conflicts: 668000 | #Constraints: 28831
891.00/893.70 c #Conflicts: 669000 | #Constraints: 29831
891.00/893.70 c #Conflicts: 670000 | #Constraints: 30831
891.00/893.70 c #Conflicts: 671000 | #Constraints: 31831
891.00/893.70 c INPROCESSING
891.00/893.70 c GARBAGE COLLECT
891.00/893.70 c #Conflicts: 672000 | #Constraints: 16628
891.00/893.70 c #Conflicts: 673000 | #Constraints: 17628
891.00/893.70 c #Conflicts: 674000 | #Constraints: 18628
891.00/893.70 c #Conflicts: 675000 | #Constraints: 19628
891.00/893.70 c #Conflicts: 676000 | #Constraints: 20628
891.00/893.70 c #Conflicts: 677000 | #Constraints: 21628
891.00/893.70 c #Conflicts: 678000 | #Constraints: 22628
891.00/893.70 c #Conflicts: 679000 | #Constraints: 23628
891.00/893.70 c #Conflicts: 680000 | #Constraints: 24628
891.00/893.70 c #Conflicts: 681000 | #Constraints: 25628
891.00/893.70 c #Conflicts: 682000 | #Constraints: 26628
891.00/893.70 c #Conflicts: 683000 | #Constraints: 27628
891.00/893.70 c #Conflicts: 684000 | #Constraints: 28628
891.00/893.70 c #Conflicts: 685000 | #Constraints: 29628
891.00/893.70 c #Conflicts: 686000 | #Constraints: 30628
891.00/893.70 c #Conflicts: 687000 | #Constraints: 31628
891.00/893.70 c #Conflicts: 688000 | #Constraints: 32628
891.00/893.70 c INPROCESSING
891.00/893.70 c GARBAGE COLLECT
891.00/893.70 c #Conflicts: 689000 | #Constraints: 17231
891.00/893.70 c #Conflicts: 690000 | #Constraints: 18231
891.00/893.70 c #Conflicts: 691000 | #Constraints: 19231
891.00/893.70 c #Conflicts: 692000 | #Constraints: 20231
891.00/893.70 c #Conflicts: 693000 | #Constraints: 21231
891.00/893.70 c #Conflicts: 694000 | #Constraints: 22231
891.00/893.70 c #Conflicts: 695000 | #Constraints: 23231
891.00/893.70 c #Conflicts: 696000 | #Constraints: 24231
891.00/893.70 c #Conflicts: 697000 | #Constraints: 25231
891.00/893.70 c #Conflicts: 698000 | #Constraints: 26231
891.00/893.70 c #Conflicts: 699000 | #Constraints: 27231
891.00/893.70 c #Conflicts: 700000 | #Constraints: 28231
891.00/893.70 c #Conflicts: 701000 | #Constraints: 29231
891.00/893.70 c #Conflicts: 702000 | #Constraints: 30231
891.00/893.70 c #Conflicts: 703000 | #Constraints: 31231
891.00/893.70 c #Conflicts: 704000 | #Constraints: 32231
891.00/893.70 c #Conflicts: 705000 | #Constraints: 33231
891.00/893.70 c INPROCESSING
891.00/893.70 c GARBAGE COLLECT
891.00/893.70 c #Conflicts: 706000 | #Constraints: 17629
891.00/893.70 c #Conflicts: 707000 | #Constraints: 18629
891.00/893.70 c #Conflicts: 708000 | #Constraints: 19629
891.00/893.70 c #Conflicts: 709000 | #Constraints: 20629
891.00/893.70 c #Conflicts: 710000 | #Constraints: 21629
891.00/893.70 c #Conflicts: 711000 | #Constraints: 22629
891.00/893.70 c #Conflicts: 712000 | #Constraints: 23629
891.00/893.70 c #Conflicts: 713000 | #Constraints: 24629
891.00/893.70 c #Conflicts: 714000 | #Constraints: 25629
891.00/893.70 c #Conflicts: 715000 | #Constraints: 26629
891.00/893.70 c #Conflicts: 716000 | #Constraints: 27629
891.00/893.70 c #Conflicts: 717000 | #Constraints: 28629
891.00/893.70 c #Conflicts: 718000 | #Constraints: 29629
891.00/893.70 c #Conflicts: 719000 | #Constraints: 30629
891.00/893.70 c #Conflicts: 720000 | #Constraints: 31629
891.00/893.70 c #Conflicts: 721000 | #Constraints: 32629
891.00/893.70 c #Conflicts: 722000 | #Constraints: 33629
891.00/893.70 c INPROCESSING
891.00/893.70 c GARBAGE COLLECT
891.00/893.70 c #Conflicts: 723000 | #Constraints: 17829
891.00/893.70 c #Conflicts: 724000 | #Constraints: 18829
891.00/893.70 c #Conflicts: 725000 | #Constraints: 19829
891.00/893.70 c #Conflicts: 726000 | #Constraints: 20829
891.00/893.70 c #Conflicts: 727000 | #Constraints: 21829
891.00/893.70 c #Conflicts: 728000 | #Constraints: 22829
891.00/893.70 c #Conflicts: 729000 | #Constraints: 23829
891.00/893.70 c #Conflicts: 730000 | #Constraints: 24829
891.00/893.70 c #Conflicts: 731000 | #Constraints: 25829
891.00/893.70 c #Conflicts: 732000 | #Constraints: 26829
891.00/893.70 c #Conflicts: 733000 | #Constraints: 27829
891.00/893.70 c #Conflicts: 734000 | #Constraints: 28829
891.00/893.70 c #Conflicts: 735000 | #Constraints: 29829
891.00/893.70 c #Conflicts: 736000 | #Constraints: 30829
891.00/893.70 c #Conflicts: 737000 | #Constraints: 31829
891.00/893.70 c #Conflicts: 738000 | #Constraints: 32829
891.00/893.70 c #Conflicts: 739000 | #Constraints: 33829
891.00/893.70 c INPROCESSING
891.00/893.70 c GARBAGE COLLECT
983.27/986.14 c #Conflicts: 740000 | #Constraints: 17829
983.27/986.14 c #Conflicts: 741000 | #Constraints: 18829
983.27/986.14 c #Conflicts: 742000 | #Constraints: 19829
983.27/986.14 c #Conflicts: 743000 | #Constraints: 20829
983.27/986.14 c #Conflicts: 744000 | #Constraints: 21829
983.27/986.14 c #Conflicts: 745000 | #Constraints: 22829
983.27/986.14 c #Conflicts: 746000 | #Constraints: 23829
983.27/986.14 c #Conflicts: 747000 | #Constraints: 24829
983.27/986.14 c #Conflicts: 748000 | #Constraints: 25829
983.27/986.14 c #Conflicts: 749000 | #Constraints: 26829
983.27/986.14 c #Conflicts: 750000 | #Constraints: 27829
983.27/986.14 c #Conflicts: 751000 | #Constraints: 28829
983.27/986.14 c #Conflicts: 752000 | #Constraints: 29829
983.27/986.14 c #Conflicts: 753000 | #Constraints: 30829
983.27/986.14 c #Conflicts: 754000 | #Constraints: 31829
983.27/986.14 c #Conflicts: 755000 | #Constraints: 32829
983.27/986.14 c #Conflicts: 756000 | #Constraints: 33829
983.27/986.14 c INPROCESSING
983.27/986.14 c GARBAGE COLLECT
983.27/986.14 c #Conflicts: 757000 | #Constraints: 17632
983.27/986.14 c #Conflicts: 758000 | #Constraints: 18632
983.27/986.14 c #Conflicts: 759000 | #Constraints: 19632
983.27/986.14 c #Conflicts: 760000 | #Constraints: 20632
983.27/986.14 c #Conflicts: 761000 | #Constraints: 21632
983.27/986.14 c #Conflicts: 762000 | #Constraints: 22632
983.27/986.14 c #Conflicts: 763000 | #Constraints: 23632
983.27/986.14 c #Conflicts: 764000 | #Constraints: 24632
983.27/986.14 c #Conflicts: 765000 | #Constraints: 25632
983.27/986.14 c #Conflicts: 766000 | #Constraints: 26632
983.27/986.14 c #Conflicts: 767000 | #Constraints: 27632
983.27/986.14 c #Conflicts: 768000 | #Constraints: 28632
983.27/986.14 c #Conflicts: 769000 | #Constraints: 29632
983.27/986.14 c #Conflicts: 770000 | #Constraints: 30632
983.27/986.14 c #Conflicts: 771000 | #Constraints: 31632
983.27/986.14 c #Conflicts: 772000 | #Constraints: 32632
983.27/986.14 c #Conflicts: 773000 | #Constraints: 33632
983.27/986.14 c #Conflicts: 774000 | #Constraints: 34632
983.27/986.14 c INPROCESSING
983.27/986.14 c GARBAGE COLLECT
983.27/986.14 c #Conflicts: 775000 | #Constraints: 18231
983.27/986.14 c #Conflicts: 776000 | #Constraints: 19231
983.27/986.14 c #Conflicts: 777000 | #Constraints: 20231
983.27/986.14 c #Conflicts: 778000 | #Constraints: 21231
983.27/986.14 c #Conflicts: 779000 | #Constraints: 22231
983.27/986.14 c #Conflicts: 780000 | #Constraints: 23231
983.27/986.14 c #Conflicts: 781000 | #Constraints: 24231
983.27/986.14 c #Conflicts: 782000 | #Constraints: 25231
983.27/986.14 c #Conflicts: 783000 | #Constraints: 26231
983.27/986.14 c #Conflicts: 784000 | #Constraints: 27231
983.27/986.14 c #Conflicts: 785000 | #Constraints: 28231
983.27/986.14 c #Conflicts: 786000 | #Constraints: 29231
983.27/986.14 c #Conflicts: 787000 | #Constraints: 30231
983.27/986.14 c #Conflicts: 788000 | #Constraints: 31231
983.27/986.14 c #Conflicts: 789000 | #Constraints: 32231
983.27/986.14 c #Conflicts: 790000 | #Constraints: 33231
983.27/986.14 c #Conflicts: 791000 | #Constraints: 34231
983.27/986.14 c #Conflicts: 792000 | #Constraints: 35231
983.27/986.14 c INPROCESSING
983.27/986.14 c GARBAGE COLLECT
983.27/986.14 c #Conflicts: 793000 | #Constraints: 18631
983.27/986.14 c #Conflicts: 794000 | #Constraints: 19631
983.27/986.14 c #Conflicts: 795000 | #Constraints: 20631
983.27/986.14 c #Conflicts: 796000 | #Constraints: 21631
983.27/986.14 c #Conflicts: 797000 | #Constraints: 22631
983.27/986.14 c #Conflicts: 798000 | #Constraints: 23631
983.27/986.14 c #Conflicts: 799000 | #Constraints: 24631
983.27/986.14 c #Conflicts: 800000 | #Constraints: 25631
983.27/986.14 c #Conflicts: 801000 | #Constraints: 26631
983.27/986.14 c #Conflicts: 802000 | #Constraints: 27631
983.27/986.14 c #Conflicts: 803000 | #Constraints: 28631
983.27/986.14 c #Conflicts: 804000 | #Constraints: 29631
983.27/986.14 c #Conflicts: 805000 | #Constraints: 30631
983.27/986.14 c #Conflicts: 806000 | #Constraints: 31631
983.27/986.14 c #Conflicts: 807000 | #Constraints: 32631
983.27/986.14 c #Conflicts: 808000 | #Constraints: 33631
983.27/986.14 c #Conflicts: 809000 | #Constraints: 34631
983.27/986.14 c #Conflicts: 810000 | #Constraints: 35631
983.27/986.14 c INPROCESSING
983.27/986.14 c GARBAGE COLLECT
983.27/986.14 c #Conflicts: 811000 | #Constraints: 18828
983.27/986.14 c #Conflicts: 812000 | #Constraints: 19828
983.27/986.14 c #Conflicts: 813000 | #Constraints: 20828
983.27/986.14 c #Conflicts: 814000 | #Constraints: 21828
983.27/986.14 c #Conflicts: 815000 | #Constraints: 22828
983.27/986.14 c #Conflicts: 816000 | #Constraints: 23828
1082.21/1085.36 c #Conflicts: 817000 | #Constraints: 24828
1082.21/1085.36 c #Conflicts: 818000 | #Constraints: 25828
1082.21/1085.36 c #Conflicts: 819000 | #Constraints: 26828
1082.21/1085.36 c #Conflicts: 820000 | #Constraints: 27828
1082.21/1085.36 c #Conflicts: 821000 | #Constraints: 28828
1082.21/1085.36 c #Conflicts: 822000 | #Constraints: 29828
1082.21/1085.36 c #Conflicts: 823000 | #Constraints: 30828
1082.21/1085.36 c #Conflicts: 824000 | #Constraints: 31828
1082.21/1085.36 c #Conflicts: 825000 | #Constraints: 32828
1082.21/1085.36 c #Conflicts: 826000 | #Constraints: 33828
1082.21/1085.36 c #Conflicts: 827000 | #Constraints: 34828
1082.21/1085.36 c #Conflicts: 828000 | #Constraints: 35828
1082.21/1085.36 c INPROCESSING
1082.21/1085.36 c GARBAGE COLLECT
1082.21/1085.36 c #Conflicts: 829000 | #Constraints: 18831
1082.21/1085.36 c #Conflicts: 830000 | #Constraints: 19831
1082.21/1085.36 c #Conflicts: 831000 | #Constraints: 20831
1082.21/1085.36 c #Conflicts: 832000 | #Constraints: 21831
1082.21/1085.36 c #Conflicts: 833000 | #Constraints: 22831
1082.21/1085.36 c #Conflicts: 834000 | #Constraints: 23831
1082.21/1085.36 c #Conflicts: 835000 | #Constraints: 24831
1082.21/1085.36 c #Conflicts: 836000 | #Constraints: 25831
1082.21/1085.36 c #Conflicts: 837000 | #Constraints: 26831
1082.21/1085.36 c #Conflicts: 838000 | #Constraints: 27831
1082.21/1085.36 c #Conflicts: 839000 | #Constraints: 28831
1082.21/1085.36 c #Conflicts: 840000 | #Constraints: 29831
1082.21/1085.36 c #Conflicts: 841000 | #Constraints: 30831
1082.21/1085.36 c #Conflicts: 842000 | #Constraints: 31831
1082.21/1085.36 c #Conflicts: 843000 | #Constraints: 32831
1082.21/1085.36 c #Conflicts: 844000 | #Constraints: 33831
1082.21/1085.36 c #Conflicts: 845000 | #Constraints: 34831
1082.21/1085.36 c #Conflicts: 846000 | #Constraints: 35831
1082.21/1085.36 c INPROCESSING
1082.21/1085.36 c GARBAGE COLLECT
1082.21/1085.36 c #Conflicts: 847000 | #Constraints: 18628
1082.21/1085.36 c #Conflicts: 848000 | #Constraints: 19628
1082.21/1085.36 c #Conflicts: 849000 | #Constraints: 20628
1082.21/1085.36 c #Conflicts: 850000 | #Constraints: 21628
1082.21/1085.36 c #Conflicts: 851000 | #Constraints: 22628
1082.21/1085.36 c #Conflicts: 852000 | #Constraints: 23628
1082.21/1085.36 c #Conflicts: 853000 | #Constraints: 24628
1082.21/1085.36 c #Conflicts: 854000 | #Constraints: 25628
1082.21/1085.36 c #Conflicts: 855000 | #Constraints: 26628
1082.21/1085.36 c #Conflicts: 856000 | #Constraints: 27628
1082.21/1085.36 c #Conflicts: 857000 | #Constraints: 28628
1082.21/1085.36 c #Conflicts: 858000 | #Constraints: 29628
1082.21/1085.36 c #Conflicts: 859000 | #Constraints: 30628
1082.21/1085.36 c #Conflicts: 860000 | #Constraints: 31628
1082.21/1085.36 c #Conflicts: 861000 | #Constraints: 32628
1082.21/1085.36 c #Conflicts: 862000 | #Constraints: 33628
1082.21/1085.36 c #Conflicts: 863000 | #Constraints: 34628
1082.21/1085.36 c #Conflicts: 864000 | #Constraints: 35628
1082.21/1085.36 c #Conflicts: 865000 | #Constraints: 36628
1082.21/1085.36 c INPROCESSING
1082.21/1085.36 c GARBAGE COLLECT
1082.21/1085.36 c #Conflicts: 866000 | #Constraints: 19228
1082.21/1085.36 c #Conflicts: 867000 | #Constraints: 20228
1082.21/1085.36 c #Conflicts: 868000 | #Constraints: 21228
1082.21/1085.36 c #Conflicts: 869000 | #Constraints: 22228
1082.21/1085.36 c #Conflicts: 870000 | #Constraints: 23228
1082.21/1085.36 c #Conflicts: 871000 | #Constraints: 24228
1082.21/1085.36 c #Conflicts: 872000 | #Constraints: 25228
1082.21/1085.36 c #Conflicts: 873000 | #Constraints: 26228
1082.21/1085.36 c #Conflicts: 874000 | #Constraints: 27228
1082.21/1085.36 c #Conflicts: 875000 | #Constraints: 28228
1082.21/1085.36 c #Conflicts: 876000 | #Constraints: 29228
1082.21/1085.36 c #Conflicts: 877000 | #Constraints: 30228
1082.21/1085.36 c #Conflicts: 878000 | #Constraints: 31228
1082.21/1085.36 c #Conflicts: 879000 | #Constraints: 32228
1082.21/1085.36 c #Conflicts: 880000 | #Constraints: 33228
1082.21/1085.36 c #Conflicts: 881000 | #Constraints: 34228
1082.21/1085.36 c #Conflicts: 882000 | #Constraints: 35228
1082.21/1085.36 c #Conflicts: 883000 | #Constraints: 36228
1082.21/1085.36 c #Conflicts: 884000 | #Constraints: 37228
1082.21/1085.36 c INPROCESSING
1082.21/1085.36 c GARBAGE COLLECT
1082.21/1085.36 c #Conflicts: 885000 | #Constraints: 19629
1082.21/1085.36 c #Conflicts: 886000 | #Constraints: 20629
1082.21/1085.36 c #Conflicts: 887000 | #Constraints: 21629
1082.21/1085.36 c #Conflicts: 888000 | #Constraints: 22629
1082.21/1085.36 c #Conflicts: 889000 | #Constraints: 23629
1082.21/1085.36 c #Conflicts: 890000 | #Constraints: 24629
1082.21/1085.36 c #Conflicts: 891000 | #Constraints: 25629
1082.21/1085.36 c #Conflicts: 892000 | #Constraints: 26629
1184.25/1187.69 c #Conflicts: 893000 | #Constraints: 27629
1184.25/1187.69 c #Conflicts: 894000 | #Constraints: 28629
1184.25/1187.69 c #Conflicts: 895000 | #Constraints: 29629
1184.25/1187.69 c #Conflicts: 896000 | #Constraints: 30629
1184.25/1187.69 c #Conflicts: 897000 | #Constraints: 31629
1184.25/1187.69 c #Conflicts: 898000 | #Constraints: 32629
1184.25/1187.69 c #Conflicts: 899000 | #Constraints: 33629
1184.25/1187.69 c #Conflicts: 900000 | #Constraints: 34629
1184.25/1187.69 c #Conflicts: 901000 | #Constraints: 35629
1184.25/1187.69 c #Conflicts: 902000 | #Constraints: 36629
1184.25/1187.69 c #Conflicts: 903000 | #Constraints: 37629
1184.25/1187.69 c INPROCESSING
1184.25/1187.69 c GARBAGE COLLECT
1184.25/1187.69 c #Conflicts: 904000 | #Constraints: 19828
1184.25/1187.69 c #Conflicts: 905000 | #Constraints: 20828
1184.25/1187.69 c #Conflicts: 906000 | #Constraints: 21828
1184.25/1187.69 c #Conflicts: 907000 | #Constraints: 22828
1184.25/1187.69 c #Conflicts: 908000 | #Constraints: 23828
1184.25/1187.69 c #Conflicts: 909000 | #Constraints: 24828
1184.25/1187.69 c #Conflicts: 910000 | #Constraints: 25828
1184.25/1187.69 c #Conflicts: 911000 | #Constraints: 26828
1184.25/1187.69 c #Conflicts: 912000 | #Constraints: 27828
1184.25/1187.69 c #Conflicts: 913000 | #Constraints: 28828
1184.25/1187.69 c #Conflicts: 914000 | #Constraints: 29828
1184.25/1187.69 c #Conflicts: 915000 | #Constraints: 30828
1184.25/1187.69 c #Conflicts: 916000 | #Constraints: 31828
1184.25/1187.69 c #Conflicts: 917000 | #Constraints: 32828
1184.25/1187.69 c #Conflicts: 918000 | #Constraints: 33828
1184.25/1187.69 c #Conflicts: 919000 | #Constraints: 34828
1184.25/1187.69 c #Conflicts: 920000 | #Constraints: 35828
1184.25/1187.69 c #Conflicts: 921000 | #Constraints: 36828
1184.25/1187.69 c #Conflicts: 922000 | #Constraints: 37828
1184.25/1187.69 c INPROCESSING
1184.25/1187.69 c GARBAGE COLLECT
1184.25/1187.69 c #Conflicts: 923000 | #Constraints: 19827
1184.25/1187.69 c #Conflicts: 924000 | #Constraints: 20827
1184.25/1187.69 c #Conflicts: 925000 | #Constraints: 21827
1184.25/1187.69 c #Conflicts: 926000 | #Constraints: 22827
1184.25/1187.69 c #Conflicts: 927000 | #Constraints: 23827
1184.25/1187.69 c #Conflicts: 928000 | #Constraints: 24827
1184.25/1187.69 c #Conflicts: 929000 | #Constraints: 25827
1184.25/1187.69 c #Conflicts: 930000 | #Constraints: 26827
1184.25/1187.69 c #Conflicts: 931000 | #Constraints: 27827
1184.25/1187.69 c #Conflicts: 932000 | #Constraints: 28827
1184.25/1187.69 c #Conflicts: 933000 | #Constraints: 29827
1184.25/1187.69 c #Conflicts: 934000 | #Constraints: 30827
1184.25/1187.69 c #Conflicts: 935000 | #Constraints: 31827
1184.25/1187.69 c #Conflicts: 936000 | #Constraints: 32827
1184.25/1187.69 c #Conflicts: 937000 | #Constraints: 33827
1184.25/1187.69 c #Conflicts: 938000 | #Constraints: 34827
1184.25/1187.69 c #Conflicts: 939000 | #Constraints: 35827
1184.25/1187.69 c #Conflicts: 940000 | #Constraints: 36827
1184.25/1187.69 c #Conflicts: 941000 | #Constraints: 37827
1184.25/1187.69 c INPROCESSING
1184.25/1187.69 c GARBAGE COLLECT
1184.25/1187.69 c #Conflicts: 942000 | #Constraints: 19630
1184.25/1187.69 c #Conflicts: 943000 | #Constraints: 20630
1184.25/1187.69 c #Conflicts: 944000 | #Constraints: 21630
1184.25/1187.69 c #Conflicts: 945000 | #Constraints: 22630
1184.25/1187.69 c #Conflicts: 946000 | #Constraints: 23630
1184.25/1187.69 c #Conflicts: 947000 | #Constraints: 24630
1184.25/1187.69 c #Conflicts: 948000 | #Constraints: 25630
1184.25/1187.69 c #Conflicts: 949000 | #Constraints: 26630
1184.25/1187.69 c #Conflicts: 950000 | #Constraints: 27630
1184.25/1187.69 c #Conflicts: 951000 | #Constraints: 28630
1184.25/1187.69 c #Conflicts: 952000 | #Constraints: 29630
1184.25/1187.69 c #Conflicts: 953000 | #Constraints: 30630
1184.25/1187.69 c #Conflicts: 954000 | #Constraints: 31630
1184.25/1187.69 c #Conflicts: 955000 | #Constraints: 32630
1184.25/1187.69 c #Conflicts: 956000 | #Constraints: 33630
1184.25/1187.69 c #Conflicts: 957000 | #Constraints: 34630
1184.25/1187.69 c #Conflicts: 958000 | #Constraints: 35630
1184.25/1187.69 c #Conflicts: 959000 | #Constraints: 36630
1184.25/1187.69 c #Conflicts: 960000 | #Constraints: 37630
1184.25/1187.69 c #Conflicts: 961000 | #Constraints: 38630
1184.25/1187.69 c INPROCESSING
1184.25/1187.69 c GARBAGE COLLECT
1184.25/1187.69 c #Conflicts: 962000 | #Constraints: 20231
1184.25/1187.69 c #Conflicts: 963000 | #Constraints: 21231
1184.25/1187.69 c #Conflicts: 964000 | #Constraints: 22231
1184.25/1187.69 c #Conflicts: 965000 | #Constraints: 23231
1184.25/1187.69 c #Conflicts: 966000 | #Constraints: 24231
1184.25/1187.69 c #Conflicts: 967000 | #Constraints: 25231
1184.25/1187.69 c #Conflicts: 968000 | #Constraints: 26231
1299.37/1303.06 c #Conflicts: 969000 | #Constraints: 27231
1299.37/1303.06 c #Conflicts: 970000 | #Constraints: 28231
1299.37/1303.06 c #Conflicts: 971000 | #Constraints: 29231
1299.37/1303.06 c #Conflicts: 972000 | #Constraints: 30231
1299.37/1303.06 c #Conflicts: 973000 | #Constraints: 31231
1299.37/1303.06 c #Conflicts: 974000 | #Constraints: 32231
1299.37/1303.06 c #Conflicts: 975000 | #Constraints: 33231
1299.37/1303.06 c #Conflicts: 976000 | #Constraints: 34231
1299.37/1303.06 c #Conflicts: 977000 | #Constraints: 35231
1299.37/1303.06 c #Conflicts: 978000 | #Constraints: 36231
1299.37/1303.06 c #Conflicts: 979000 | #Constraints: 37231
1299.37/1303.06 c #Conflicts: 980000 | #Constraints: 38231
1299.37/1303.06 c #Conflicts: 981000 | #Constraints: 39231
1299.37/1303.06 c INPROCESSING
1299.37/1303.06 c GARBAGE COLLECT
1299.37/1303.06 c #Conflicts: 982000 | #Constraints: 20631
1299.37/1303.06 c #Conflicts: 983000 | #Constraints: 21631
1299.37/1303.06 c #Conflicts: 984000 | #Constraints: 22631
1299.37/1303.06 c #Conflicts: 985000 | #Constraints: 23631
1299.37/1303.06 c #Conflicts: 986000 | #Constraints: 24631
1299.37/1303.06 c #Conflicts: 987000 | #Constraints: 25631
1299.37/1303.06 c #Conflicts: 988000 | #Constraints: 26631
1299.37/1303.06 c #Conflicts: 989000 | #Constraints: 27631
1299.37/1303.06 c #Conflicts: 990000 | #Constraints: 28631
1299.37/1303.06 c #Conflicts: 991000 | #Constraints: 29631
1299.37/1303.06 c #Conflicts: 992000 | #Constraints: 30631
1299.37/1303.06 c #Conflicts: 993000 | #Constraints: 31631
1299.37/1303.06 c #Conflicts: 994000 | #Constraints: 32631
1299.37/1303.06 c #Conflicts: 995000 | #Constraints: 33631
1299.37/1303.06 c #Conflicts: 996000 | #Constraints: 34631
1299.37/1303.06 c #Conflicts: 997000 | #Constraints: 35631
1299.37/1303.06 c #Conflicts: 998000 | #Constraints: 36631
1299.37/1303.06 c #Conflicts: 999000 | #Constraints: 37631
1299.37/1303.06 c #Conflicts: 1000000 | #Constraints: 38631
1299.37/1303.06 c #Conflicts: 1001000 | #Constraints: 39631
1299.37/1303.06 c INPROCESSING
1299.37/1303.06 c GARBAGE COLLECT
1299.37/1303.06 c #Conflicts: 1002000 | #Constraints: 20831
1299.37/1303.06 c #Conflicts: 1003000 | #Constraints: 21831
1299.37/1303.06 c #Conflicts: 1004000 | #Constraints: 22831
1299.37/1303.06 c #Conflicts: 1005000 | #Constraints: 23831
1299.37/1303.06 c #Conflicts: 1006000 | #Constraints: 24831
1299.37/1303.06 c #Conflicts: 1007000 | #Constraints: 25831
1299.37/1303.06 c #Conflicts: 1008000 | #Constraints: 26831
1299.37/1303.06 c #Conflicts: 1009000 | #Constraints: 27831
1299.37/1303.06 c #Conflicts: 1010000 | #Constraints: 28831
1299.37/1303.06 c #Conflicts: 1011000 | #Constraints: 29831
1299.37/1303.06 c #Conflicts: 1012000 | #Constraints: 30831
1299.37/1303.06 c #Conflicts: 1013000 | #Constraints: 31831
1299.37/1303.06 c #Conflicts: 1014000 | #Constraints: 32831
1299.37/1303.06 c #Conflicts: 1015000 | #Constraints: 33831
1299.37/1303.06 c #Conflicts: 1016000 | #Constraints: 34831
1299.37/1303.06 c #Conflicts: 1017000 | #Constraints: 35831
1299.37/1303.06 c #Conflicts: 1018000 | #Constraints: 36831
1299.37/1303.06 c #Conflicts: 1019000 | #Constraints: 37831
1299.37/1303.06 c #Conflicts: 1020000 | #Constraints: 38831
1299.37/1303.06 c #Conflicts: 1021000 | #Constraints: 39831
1299.37/1303.06 c INPROCESSING
1299.37/1303.06 c GARBAGE COLLECT
1299.37/1303.06 c #Conflicts: 1022000 | #Constraints: 20830
1299.37/1303.06 c #Conflicts: 1023000 | #Constraints: 21830
1299.37/1303.06 c #Conflicts: 1024000 | #Constraints: 22830
1299.37/1303.06 c #Conflicts: 1025000 | #Constraints: 23830
1299.37/1303.06 c #Conflicts: 1026000 | #Constraints: 24830
1299.37/1303.06 c #Conflicts: 1027000 | #Constraints: 25830
1299.37/1303.06 c #Conflicts: 1028000 | #Constraints: 26830
1299.37/1303.06 c #Conflicts: 1029000 | #Constraints: 27830
1299.37/1303.06 c #Conflicts: 1030000 | #Constraints: 28830
1299.37/1303.06 c #Conflicts: 1031000 | #Constraints: 29830
1299.37/1303.06 c #Conflicts: 1032000 | #Constraints: 30830
1299.37/1303.06 c #Conflicts: 1033000 | #Constraints: 31830
1299.37/1303.06 c #Conflicts: 1034000 | #Constraints: 32830
1299.37/1303.06 c #Conflicts: 1035000 | #Constraints: 33830
1299.37/1303.06 c #Conflicts: 1036000 | #Constraints: 34830
1299.37/1303.06 c #Conflicts: 1037000 | #Constraints: 35830
1299.37/1303.06 c #Conflicts: 1038000 | #Constraints: 36830
1299.37/1303.06 c #Conflicts: 1039000 | #Constraints: 37830
1299.37/1303.06 c #Conflicts: 1040000 | #Constraints: 38830
1299.37/1303.06 c #Conflicts: 1041000 | #Constraints: 39830
1299.37/1303.06 c INPROCESSING
1299.37/1303.06 c GARBAGE COLLECT
1299.37/1303.06 c #Conflicts: 1042000 | #Constraints: 20631
1299.37/1303.06 c #Conflicts: 1043000 | #Constraints: 21631
1299.37/1303.06 c #Conflicts: 1044000 | #Constraints: 22631
1411.09/1415.08 c #Conflicts: 1045000 | #Constraints: 23631
1411.09/1415.08 c #Conflicts: 1046000 | #Constraints: 24631
1411.09/1415.08 c #Conflicts: 1047000 | #Constraints: 25631
1411.09/1415.08 c #Conflicts: 1048000 | #Constraints: 26631
1411.09/1415.08 c #Conflicts: 1049000 | #Constraints: 27631
1411.09/1415.08 c #Conflicts: 1050000 | #Constraints: 28631
1411.09/1415.08 c #Conflicts: 1051000 | #Constraints: 29631
1411.09/1415.08 c #Conflicts: 1052000 | #Constraints: 30631
1411.09/1415.08 c #Conflicts: 1053000 | #Constraints: 31631
1411.09/1415.08 c #Conflicts: 1054000 | #Constraints: 32631
1411.09/1415.08 c #Conflicts: 1055000 | #Constraints: 33631
1411.09/1415.08 c #Conflicts: 1056000 | #Constraints: 34631
1411.09/1415.08 c #Conflicts: 1057000 | #Constraints: 35631
1411.09/1415.08 c #Conflicts: 1058000 | #Constraints: 36631
1411.09/1415.08 c #Conflicts: 1059000 | #Constraints: 37631
1411.09/1415.08 c #Conflicts: 1060000 | #Constraints: 38631
1411.09/1415.08 c #Conflicts: 1061000 | #Constraints: 39631
1411.09/1415.08 c #Conflicts: 1062000 | #Constraints: 40631
1411.09/1415.08 c INPROCESSING
1411.09/1415.08 c GARBAGE COLLECT
1411.09/1415.08 c #Conflicts: 1063000 | #Constraints: 21232
1411.09/1415.08 c #Conflicts: 1064000 | #Constraints: 22232
1411.09/1415.08 c #Conflicts: 1065000 | #Constraints: 23232
1411.09/1415.08 c #Conflicts: 1066000 | #Constraints: 24232
1411.09/1415.08 c #Conflicts: 1067000 | #Constraints: 25232
1411.09/1415.08 c #Conflicts: 1068000 | #Constraints: 26232
1411.09/1415.08 c #Conflicts: 1069000 | #Constraints: 27232
1411.09/1415.08 c #Conflicts: 1070000 | #Constraints: 28232
1411.09/1415.08 c #Conflicts: 1071000 | #Constraints: 29232
1411.09/1415.08 c #Conflicts: 1072000 | #Constraints: 30232
1411.09/1415.08 c #Conflicts: 1073000 | #Constraints: 31232
1411.09/1415.08 c #Conflicts: 1074000 | #Constraints: 32232
1411.09/1415.08 c #Conflicts: 1075000 | #Constraints: 33232
1411.09/1415.08 c #Conflicts: 1076000 | #Constraints: 34232
1411.09/1415.08 c #Conflicts: 1077000 | #Constraints: 35232
1411.09/1415.08 c #Conflicts: 1078000 | #Constraints: 36232
1411.09/1415.08 c #Conflicts: 1079000 | #Constraints: 37232
1411.09/1415.08 c #Conflicts: 1080000 | #Constraints: 38232
1411.09/1415.08 c #Conflicts: 1081000 | #Constraints: 39232
1411.09/1415.08 c #Conflicts: 1082000 | #Constraints: 40232
1411.09/1415.08 c #Conflicts: 1083000 | #Constraints: 41232
1411.09/1415.08 c INPROCESSING
1411.09/1415.08 c GARBAGE COLLECT
1411.09/1415.08 c #Conflicts: 1084000 | #Constraints: 21632
1411.09/1415.08 c #Conflicts: 1085000 | #Constraints: 22632
1411.09/1415.08 c #Conflicts: 1086000 | #Constraints: 23632
1411.09/1415.08 c #Conflicts: 1087000 | #Constraints: 24632
1411.09/1415.08 c #Conflicts: 1088000 | #Constraints: 25632
1411.09/1415.08 c #Conflicts: 1089000 | #Constraints: 26632
1411.09/1415.08 c #Conflicts: 1090000 | #Constraints: 27632
1411.09/1415.08 c #Conflicts: 1091000 | #Constraints: 28632
1411.09/1415.08 c #Conflicts: 1092000 | #Constraints: 29632
1411.09/1415.08 c #Conflicts: 1093000 | #Constraints: 30632
1411.09/1415.08 c #Conflicts: 1094000 | #Constraints: 31632
1411.09/1415.08 c #Conflicts: 1095000 | #Constraints: 32632
1411.09/1415.08 c #Conflicts: 1096000 | #Constraints: 33632
1411.09/1415.08 c #Conflicts: 1097000 | #Constraints: 34632
1411.09/1415.08 c #Conflicts: 1098000 | #Constraints: 35632
1411.09/1415.08 c #Conflicts: 1099000 | #Constraints: 36632
1411.09/1415.08 c #Conflicts: 1100000 | #Constraints: 37632
1411.09/1415.08 c #Conflicts: 1101000 | #Constraints: 38632
1411.09/1415.08 c #Conflicts: 1102000 | #Constraints: 39632
1411.09/1415.08 c #Conflicts: 1103000 | #Constraints: 40632
1411.09/1415.08 c #Conflicts: 1104000 | #Constraints: 41632
1411.09/1415.08 c INPROCESSING
1411.09/1415.08 c GARBAGE COLLECT
1411.09/1415.08 c #Conflicts: 1105000 | #Constraints: 21831
1411.09/1415.08 c #Conflicts: 1106000 | #Constraints: 22831
1411.09/1415.08 c #Conflicts: 1107000 | #Constraints: 23831
1411.09/1415.08 c #Conflicts: 1108000 | #Constraints: 24831
1411.09/1415.08 c #Conflicts: 1109000 | #Constraints: 25831
1411.09/1415.08 c #Conflicts: 1110000 | #Constraints: 26831
1411.09/1415.08 c #Conflicts: 1111000 | #Constraints: 27831
1411.09/1415.08 c #Conflicts: 1112000 | #Constraints: 28831
1411.09/1415.08 c #Conflicts: 1113000 | #Constraints: 29831
1411.09/1415.08 c #Conflicts: 1114000 | #Constraints: 30831
1411.09/1415.08 c #Conflicts: 1115000 | #Constraints: 31831
1411.09/1415.08 c #Conflicts: 1116000 | #Constraints: 32831
1411.09/1415.08 c #Conflicts: 1117000 | #Constraints: 33831
1411.09/1415.08 c #Conflicts: 1118000 | #Constraints: 34831
1411.09/1415.08 c #Conflicts: 1119000 | #Constraints: 35831
1411.09/1415.08 c #Conflicts: 1120000 | #Constraints: 36831
1411.09/1415.08 c #Conflicts: 1121000 | #Constraints: 37831
1520.42/1524.67 c #Conflicts: 1122000 | #Constraints: 38831
1520.42/1524.67 c #Conflicts: 1123000 | #Constraints: 39831
1520.42/1524.67 c #Conflicts: 1124000 | #Constraints: 40831
1520.42/1524.67 c #Conflicts: 1125000 | #Constraints: 41831
1520.42/1524.67 c INPROCESSING
1520.42/1524.67 c GARBAGE COLLECT
1520.42/1524.67 c #Conflicts: 1126000 | #Constraints: 21831
1520.42/1524.67 c #Conflicts: 1127000 | #Constraints: 22831
1520.42/1524.67 c #Conflicts: 1128000 | #Constraints: 23831
1520.42/1524.67 c #Conflicts: 1129000 | #Constraints: 24831
1520.42/1524.67 c #Conflicts: 1130000 | #Constraints: 25831
1520.42/1524.67 c #Conflicts: 1131000 | #Constraints: 26831
1520.42/1524.67 c #Conflicts: 1132000 | #Constraints: 27831
1520.42/1524.67 c #Conflicts: 1133000 | #Constraints: 28831
1520.42/1524.67 c #Conflicts: 1134000 | #Constraints: 29831
1520.42/1524.67 c #Conflicts: 1135000 | #Constraints: 30831
1520.42/1524.67 c #Conflicts: 1136000 | #Constraints: 31831
1520.42/1524.67 c #Conflicts: 1137000 | #Constraints: 32831
1520.42/1524.67 c #Conflicts: 1138000 | #Constraints: 33831
1520.42/1524.67 c #Conflicts: 1139000 | #Constraints: 34831
1520.42/1524.67 c #Conflicts: 1140000 | #Constraints: 35831
1520.42/1524.67 c #Conflicts: 1141000 | #Constraints: 36831
1520.42/1524.67 c #Conflicts: 1142000 | #Constraints: 37831
1520.42/1524.67 c #Conflicts: 1143000 | #Constraints: 38831
1520.42/1524.67 c #Conflicts: 1144000 | #Constraints: 39831
1520.42/1524.67 c #Conflicts: 1145000 | #Constraints: 40831
1520.42/1524.67 c #Conflicts: 1146000 | #Constraints: 41831
1520.42/1524.67 c INPROCESSING
1520.42/1524.67 c GARBAGE COLLECT
1520.42/1524.67 c #Conflicts: 1147000 | #Constraints: 21632
1520.42/1524.67 c #Conflicts: 1148000 | #Constraints: 22632
1520.42/1524.67 c #Conflicts: 1149000 | #Constraints: 23632
1520.42/1524.67 c #Conflicts: 1150000 | #Constraints: 24632
1520.42/1524.67 c #Conflicts: 1151000 | #Constraints: 25632
1520.42/1524.67 c #Conflicts: 1152000 | #Constraints: 26632
1520.42/1524.67 c #Conflicts: 1153000 | #Constraints: 27632
1520.42/1524.67 c #Conflicts: 1154000 | #Constraints: 28632
1520.42/1524.67 c #Conflicts: 1155000 | #Constraints: 29632
1520.42/1524.67 c #Conflicts: 1156000 | #Constraints: 30632
1520.42/1524.67 c #Conflicts: 1157000 | #Constraints: 31632
1520.42/1524.67 c #Conflicts: 1158000 | #Constraints: 32632
1520.42/1524.67 c #Conflicts: 1159000 | #Constraints: 33632
1520.42/1524.67 c #Conflicts: 1160000 | #Constraints: 34632
1520.42/1524.67 c #Conflicts: 1161000 | #Constraints: 35632
1520.42/1524.67 c #Conflicts: 1162000 | #Constraints: 36632
1520.42/1524.67 c #Conflicts: 1163000 | #Constraints: 37632
1520.42/1524.67 c #Conflicts: 1164000 | #Constraints: 38632
1520.42/1524.67 c #Conflicts: 1165000 | #Constraints: 39632
1520.42/1524.67 c #Conflicts: 1166000 | #Constraints: 40632
1520.42/1524.67 c #Conflicts: 1167000 | #Constraints: 41632
1520.42/1524.67 c #Conflicts: 1168000 | #Constraints: 42632
1520.42/1524.67 c INPROCESSING
1520.42/1524.67 c GARBAGE COLLECT
1520.42/1524.67 c #Conflicts: 1169000 | #Constraints: 22233
1520.42/1524.67 c #Conflicts: 1170000 | #Constraints: 23233
1520.42/1524.67 c #Conflicts: 1171000 | #Constraints: 24233
1520.42/1524.67 c #Conflicts: 1172000 | #Constraints: 25233
1520.42/1524.67 c #Conflicts: 1173000 | #Constraints: 26233
1520.42/1524.67 c #Conflicts: 1174000 | #Constraints: 27233
1520.42/1524.67 c #Conflicts: 1175000 | #Constraints: 28233
1520.42/1524.67 c #Conflicts: 1176000 | #Constraints: 29233
1520.42/1524.67 c #Conflicts: 1177000 | #Constraints: 30233
1520.42/1524.67 c #Conflicts: 1178000 | #Constraints: 31233
1520.42/1524.67 c #Conflicts: 1179000 | #Constraints: 32233
1520.42/1524.67 c #Conflicts: 1180000 | #Constraints: 33233
1520.42/1524.67 c #Conflicts: 1181000 | #Constraints: 34233
1520.42/1524.67 c #Conflicts: 1182000 | #Constraints: 35233
1520.42/1524.67 c #Conflicts: 1183000 | #Constraints: 36233
1520.42/1524.67 c #Conflicts: 1184000 | #Constraints: 37233
1520.42/1524.67 c #Conflicts: 1185000 | #Constraints: 38233
1520.42/1524.67 c #Conflicts: 1186000 | #Constraints: 39233
1520.42/1524.67 c #Conflicts: 1187000 | #Constraints: 40233
1520.42/1524.67 c #Conflicts: 1188000 | #Constraints: 41233
1520.42/1524.67 c #Conflicts: 1189000 | #Constraints: 42233
1520.42/1524.67 c #Conflicts: 1190000 | #Constraints: 43233
1520.42/1524.67 c INPROCESSING
1520.42/1524.67 c GARBAGE COLLECT
1520.42/1524.67 c #Conflicts: 1191000 | #Constraints: 22635
1520.42/1524.67 c #Conflicts: 1192000 | #Constraints: 23635
1520.42/1524.67 c #Conflicts: 1193000 | #Constraints: 24635
1520.42/1524.67 c #Conflicts: 1194000 | #Constraints: 25635
1520.42/1524.67 c #Conflicts: 1195000 | #Constraints: 26635
1520.42/1524.67 c #Conflicts: 1196000 | #Constraints: 27635
1520.42/1524.67 c #Conflicts: 1197000 | #Constraints: 28635
1635.74/1640.29 c #Conflicts: 1198000 | #Constraints: 29635
1635.74/1640.29 c #Conflicts: 1199000 | #Constraints: 30635
1635.74/1640.29 c #Conflicts: 1200000 | #Constraints: 31635
1635.74/1640.29 c #Conflicts: 1201000 | #Constraints: 32635
1635.74/1640.29 c #Conflicts: 1202000 | #Constraints: 33635
1635.74/1640.29 c #Conflicts: 1203000 | #Constraints: 34635
1635.74/1640.29 c #Conflicts: 1204000 | #Constraints: 35635
1635.74/1640.29 c #Conflicts: 1205000 | #Constraints: 36635
1635.74/1640.29 c #Conflicts: 1206000 | #Constraints: 37635
1635.74/1640.29 c #Conflicts: 1207000 | #Constraints: 38635
1635.74/1640.29 c #Conflicts: 1208000 | #Constraints: 39635
1635.74/1640.29 c #Conflicts: 1209000 | #Constraints: 40635
1635.74/1640.29 c #Conflicts: 1210000 | #Constraints: 41635
1635.74/1640.29 c #Conflicts: 1211000 | #Constraints: 42635
1635.74/1640.29 c #Conflicts: 1212000 | #Constraints: 43635
1635.74/1640.29 c INPROCESSING
1635.74/1640.29 c GARBAGE COLLECT
1635.74/1640.29 c #Conflicts: 1213000 | #Constraints: 22833
1635.74/1640.29 c #Conflicts: 1214000 | #Constraints: 23833
1635.74/1640.29 c #Conflicts: 1215000 | #Constraints: 24833
1635.74/1640.29 c #Conflicts: 1216000 | #Constraints: 25833
1635.74/1640.29 c #Conflicts: 1217000 | #Constraints: 26833
1635.74/1640.29 c #Conflicts: 1218000 | #Constraints: 27833
1635.74/1640.29 c #Conflicts: 1219000 | #Constraints: 28833
1635.74/1640.29 c #Conflicts: 1220000 | #Constraints: 29833
1635.74/1640.29 c #Conflicts: 1221000 | #Constraints: 30833
1635.74/1640.29 c #Conflicts: 1222000 | #Constraints: 31833
1635.74/1640.29 c #Conflicts: 1223000 | #Constraints: 32833
1635.74/1640.29 c #Conflicts: 1224000 | #Constraints: 33833
1635.74/1640.29 c #Conflicts: 1225000 | #Constraints: 34833
1635.74/1640.29 c #Conflicts: 1226000 | #Constraints: 35833
1635.74/1640.29 c #Conflicts: 1227000 | #Constraints: 36833
1635.74/1640.29 c #Conflicts: 1228000 | #Constraints: 37833
1635.74/1640.29 c #Conflicts: 1229000 | #Constraints: 38833
1635.74/1640.29 c #Conflicts: 1230000 | #Constraints: 39833
1635.74/1640.29 c #Conflicts: 1231000 | #Constraints: 40833
1635.74/1640.29 c #Conflicts: 1232000 | #Constraints: 41833
1635.74/1640.29 c #Conflicts: 1233000 | #Constraints: 42833
1635.74/1640.29 c #Conflicts: 1234000 | #Constraints: 43833
1635.74/1640.29 c INPROCESSING
1635.74/1640.29 c GARBAGE COLLECT
1635.74/1640.29 c #Conflicts: 1235000 | #Constraints: 22830
1635.74/1640.29 c #Conflicts: 1236000 | #Constraints: 23830
1635.74/1640.29 c #Conflicts: 1237000 | #Constraints: 24830
1635.74/1640.29 c #Conflicts: 1238000 | #Constraints: 25830
1635.74/1640.29 c #Conflicts: 1239000 | #Constraints: 26830
1635.74/1640.29 c #Conflicts: 1240000 | #Constraints: 27830
1635.74/1640.29 c #Conflicts: 1241000 | #Constraints: 28830
1635.74/1640.29 c #Conflicts: 1242000 | #Constraints: 29830
1635.74/1640.29 c #Conflicts: 1243000 | #Constraints: 30830
1635.74/1640.29 c #Conflicts: 1244000 | #Constraints: 31830
1635.74/1640.29 c #Conflicts: 1245000 | #Constraints: 32830
1635.74/1640.29 c #Conflicts: 1246000 | #Constraints: 33830
1635.74/1640.29 c #Conflicts: 1247000 | #Constraints: 34830
1635.74/1640.29 c #Conflicts: 1248000 | #Constraints: 35830
1635.74/1640.29 c #Conflicts: 1249000 | #Constraints: 36830
1635.74/1640.29 c #Conflicts: 1250000 | #Constraints: 37830
1635.74/1640.29 c #Conflicts: 1251000 | #Constraints: 38830
1635.74/1640.29 c #Conflicts: 1252000 | #Constraints: 39830
1635.74/1640.29 c #Conflicts: 1253000 | #Constraints: 40830
1635.74/1640.29 c #Conflicts: 1254000 | #Constraints: 41830
1635.74/1640.29 c #Conflicts: 1255000 | #Constraints: 42830
1635.74/1640.29 c #Conflicts: 1256000 | #Constraints: 43830
1635.74/1640.29 c INPROCESSING
1635.74/1640.29 c GARBAGE COLLECT
1635.74/1640.29 c #Conflicts: 1257000 | #Constraints: 22630
1635.74/1640.29 c #Conflicts: 1258000 | #Constraints: 23630
1635.74/1640.29 c #Conflicts: 1259000 | #Constraints: 24630
1635.74/1640.29 c #Conflicts: 1260000 | #Constraints: 25630
1635.74/1640.29 c #Conflicts: 1261000 | #Constraints: 26630
1635.74/1640.29 c #Conflicts: 1262000 | #Constraints: 27630
1635.74/1640.29 c #Conflicts: 1263000 | #Constraints: 28630
1635.74/1640.29 c #Conflicts: 1264000 | #Constraints: 29630
1635.74/1640.29 c #Conflicts: 1265000 | #Constraints: 30630
1635.74/1640.29 c #Conflicts: 1266000 | #Constraints: 31630
1635.74/1640.29 c #Conflicts: 1267000 | #Constraints: 32630
1635.74/1640.29 c #Conflicts: 1268000 | #Constraints: 33630
1635.74/1640.29 c #Conflicts: 1269000 | #Constraints: 34630
1635.74/1640.29 c #Conflicts: 1270000 | #Constraints: 35630
1635.74/1640.29 c #Conflicts: 1271000 | #Constraints: 36630
1635.74/1640.29 c #Conflicts: 1272000 | #Constraints: 37630
1635.74/1640.29 c #Conflicts: 1273000 | #Constraints: 38630
1635.74/1640.29 c #Conflicts: 1274000 | #Constraints: 39630
1754.35/1759.11 c #Conflicts: 1275000 | #Constraints: 40630
1754.35/1759.11 c #Conflicts: 1276000 | #Constraints: 41630
1754.35/1759.11 c #Conflicts: 1277000 | #Constraints: 42630
1754.35/1759.11 c #Conflicts: 1278000 | #Constraints: 43630
1754.35/1759.11 c #Conflicts: 1279000 | #Constraints: 44630
1754.35/1759.11 c INPROCESSING
1754.35/1759.11 c GARBAGE COLLECT
1754.35/1759.11 c #Conflicts: 1280000 | #Constraints: 23229
1754.35/1759.11 c #Conflicts: 1281000 | #Constraints: 24229
1754.35/1759.11 c #Conflicts: 1282000 | #Constraints: 25229
1754.35/1759.11 c #Conflicts: 1283000 | #Constraints: 26229
1754.35/1759.11 c #Conflicts: 1284000 | #Constraints: 27229
1754.35/1759.11 c #Conflicts: 1285000 | #Constraints: 28229
1754.35/1759.11 c #Conflicts: 1286000 | #Constraints: 29229
1754.35/1759.11 c #Conflicts: 1287000 | #Constraints: 30229
1754.35/1759.11 c #Conflicts: 1288000 | #Constraints: 31229
1754.35/1759.11 c #Conflicts: 1289000 | #Constraints: 32229
1754.35/1759.11 c #Conflicts: 1290000 | #Constraints: 33229
1754.35/1759.11 c #Conflicts: 1291000 | #Constraints: 34229
1754.35/1759.11 c #Conflicts: 1292000 | #Constraints: 35229
1754.35/1759.11 c #Conflicts: 1293000 | #Constraints: 36229
1754.35/1759.11 c #Conflicts: 1294000 | #Constraints: 37229
1754.35/1759.11 c #Conflicts: 1295000 | #Constraints: 38229
1754.35/1759.11 c #Conflicts: 1296000 | #Constraints: 39229
1754.35/1759.11 c #Conflicts: 1297000 | #Constraints: 40229
1754.35/1759.11 c #Conflicts: 1298000 | #Constraints: 41229
1754.35/1759.11 c #Conflicts: 1299000 | #Constraints: 42229
1754.35/1759.11 c #Conflicts: 1300000 | #Constraints: 43229
1754.35/1759.11 c #Conflicts: 1301000 | #Constraints: 44229
1754.35/1759.11 c #Conflicts: 1302000 | #Constraints: 45229
1754.35/1759.11 c INPROCESSING
1754.35/1759.11 c GARBAGE COLLECT
1754.35/1759.11 c #Conflicts: 1303000 | #Constraints: 23632
1754.35/1759.11 c #Conflicts: 1304000 | #Constraints: 24632
1754.35/1759.11 c #Conflicts: 1305000 | #Constraints: 25632
1754.35/1759.11 c #Conflicts: 1306000 | #Constraints: 26632
1754.35/1759.11 c #Conflicts: 1307000 | #Constraints: 27632
1754.35/1759.11 c #Conflicts: 1308000 | #Constraints: 28632
1754.35/1759.11 c #Conflicts: 1309000 | #Constraints: 29632
1754.35/1759.11 c #Conflicts: 1310000 | #Constraints: 30632
1754.35/1759.11 c #Conflicts: 1311000 | #Constraints: 31632
1754.35/1759.11 c #Conflicts: 1312000 | #Constraints: 32632
1754.35/1759.11 c #Conflicts: 1313000 | #Constraints: 33632
1754.35/1759.11 c #Conflicts: 1314000 | #Constraints: 34632
1754.35/1759.11 c #Conflicts: 1315000 | #Constraints: 35632
1754.35/1759.11 c #Conflicts: 1316000 | #Constraints: 36632
1754.35/1759.11 c #Conflicts: 1317000 | #Constraints: 37632
1754.35/1759.11 c #Conflicts: 1318000 | #Constraints: 38632
1754.35/1759.11 c #Conflicts: 1319000 | #Constraints: 39632
1754.35/1759.11 c #Conflicts: 1320000 | #Constraints: 40632
1754.35/1759.11 c #Conflicts: 1321000 | #Constraints: 41632
1754.35/1759.11 c #Conflicts: 1322000 | #Constraints: 42632
1754.35/1759.11 c #Conflicts: 1323000 | #Constraints: 43632
1754.35/1759.11 c #Conflicts: 1324000 | #Constraints: 44632
1754.35/1759.11 c #Conflicts: 1325000 | #Constraints: 45632
1754.35/1759.11 c INPROCESSING
1754.35/1759.11 c GARBAGE COLLECT
1754.35/1759.11 c #Conflicts: 1326000 | #Constraints: 23832
1754.35/1759.11 c #Conflicts: 1327000 | #Constraints: 24832
1754.35/1759.11 c #Conflicts: 1328000 | #Constraints: 25832
1754.35/1759.11 c #Conflicts: 1329000 | #Constraints: 26832
1754.35/1759.11 c #Conflicts: 1330000 | #Constraints: 27832
1754.35/1759.11 c #Conflicts: 1331000 | #Constraints: 28832
1754.35/1759.11 c #Conflicts: 1332000 | #Constraints: 29832
1754.35/1759.11 c #Conflicts: 1333000 | #Constraints: 30832
1754.35/1759.11 c #Conflicts: 1334000 | #Constraints: 31832
1754.35/1759.11 c #Conflicts: 1335000 | #Constraints: 32832
1754.35/1759.11 c #Conflicts: 1336000 | #Constraints: 33832
1754.35/1759.11 c #Conflicts: 1337000 | #Constraints: 34832
1754.35/1759.11 c #Conflicts: 1338000 | #Constraints: 35832
1754.35/1759.11 c #Conflicts: 1339000 | #Constraints: 36832
1754.35/1759.11 c #Conflicts: 1340000 | #Constraints: 37832
1754.35/1759.11 c #Conflicts: 1341000 | #Constraints: 38832
1754.35/1759.11 c #Conflicts: 1342000 | #Constraints: 39832
1754.35/1759.11 c #Conflicts: 1343000 | #Constraints: 40832
1754.35/1759.11 c #Conflicts: 1344000 | #Constraints: 41832
1754.35/1759.11 c #Conflicts: 1345000 | #Constraints: 42832
1754.35/1759.11 c #Conflicts: 1346000 | #Constraints: 43832
1754.35/1759.11 c #Conflicts: 1347000 | #Constraints: 44832
1754.35/1759.11 c #Conflicts: 1348000 | #Constraints: 45832
1754.35/1759.11 c INPROCESSING
1754.35/1759.11 c GARBAGE COLLECT
1754.35/1759.11 c #Conflicts: 1349000 | #Constraints: 23832
1754.35/1759.11 c #Conflicts: 1350000 | #Constraints: 24832
1878.83/1883.94 c #Conflicts: 1351000 | #Constraints: 25832
1878.83/1883.94 c #Conflicts: 1352000 | #Constraints: 26832
1878.83/1883.94 c #Conflicts: 1353000 | #Constraints: 27832
1878.83/1883.94 c #Conflicts: 1354000 | #Constraints: 28832
1878.83/1883.94 c #Conflicts: 1355000 | #Constraints: 29832
1878.83/1883.94 c #Conflicts: 1356000 | #Constraints: 30832
1878.83/1883.94 c #Conflicts: 1357000 | #Constraints: 31832
1878.83/1883.94 c #Conflicts: 1358000 | #Constraints: 32832
1878.83/1883.94 c #Conflicts: 1359000 | #Constraints: 33832
1878.83/1883.94 c #Conflicts: 1360000 | #Constraints: 34832
1878.83/1883.94 c #Conflicts: 1361000 | #Constraints: 35832
1878.83/1883.94 c #Conflicts: 1362000 | #Constraints: 36832
1878.83/1883.94 c #Conflicts: 1363000 | #Constraints: 37832
1878.83/1883.94 c #Conflicts: 1364000 | #Constraints: 38832
1878.83/1883.94 c #Conflicts: 1365000 | #Constraints: 39832
1878.83/1883.94 c #Conflicts: 1366000 | #Constraints: 40832
1878.83/1883.94 c #Conflicts: 1367000 | #Constraints: 41832
1878.83/1883.94 c #Conflicts: 1368000 | #Constraints: 42832
1878.83/1883.94 c #Conflicts: 1369000 | #Constraints: 43832
1878.83/1883.94 c #Conflicts: 1370000 | #Constraints: 44832
1878.83/1883.94 c #Conflicts: 1371000 | #Constraints: 45832
1878.83/1883.94 c INPROCESSING
1878.83/1883.94 c GARBAGE COLLECT
1878.83/1883.94 c #Conflicts: 1372000 | #Constraints: 23625
1878.83/1883.94 c #Conflicts: 1373000 | #Constraints: 24625
1878.83/1883.94 c #Conflicts: 1374000 | #Constraints: 25625
1878.83/1883.94 c #Conflicts: 1375000 | #Constraints: 26625
1878.83/1883.94 c #Conflicts: 1376000 | #Constraints: 27625
1878.83/1883.94 c #Conflicts: 1377000 | #Constraints: 28625
1878.83/1883.94 c #Conflicts: 1378000 | #Constraints: 29625
1878.83/1883.94 c #Conflicts: 1379000 | #Constraints: 30625
1878.83/1883.94 c #Conflicts: 1380000 | #Constraints: 31625
1878.83/1883.94 c #Conflicts: 1381000 | #Constraints: 32625
1878.83/1883.94 c #Conflicts: 1382000 | #Constraints: 33625
1878.83/1883.94 c #Conflicts: 1383000 | #Constraints: 34625
1878.83/1883.94 c #Conflicts: 1384000 | #Constraints: 35625
1878.83/1883.94 c #Conflicts: 1385000 | #Constraints: 36625
1878.83/1883.94 c #Conflicts: 1386000 | #Constraints: 37625
1878.83/1883.94 c #Conflicts: 1387000 | #Constraints: 38625
1878.83/1883.94 c #Conflicts: 1388000 | #Constraints: 39625
1878.83/1883.94 c #Conflicts: 1389000 | #Constraints: 40625
1878.83/1883.94 c #Conflicts: 1390000 | #Constraints: 41625
1878.83/1883.94 c #Conflicts: 1391000 | #Constraints: 42625
1878.83/1883.94 c #Conflicts: 1392000 | #Constraints: 43625
1878.83/1883.94 c #Conflicts: 1393000 | #Constraints: 44625
1878.83/1883.94 c #Conflicts: 1394000 | #Constraints: 45625
1878.83/1883.94 c #Conflicts: 1395000 | #Constraints: 46625
1878.83/1883.94 c INPROCESSING
1878.83/1883.94 c GARBAGE COLLECT
1878.83/1883.94 c #Conflicts: 1396000 | #Constraints: 24229
1878.83/1883.94 c #Conflicts: 1397000 | #Constraints: 25229
1878.83/1883.94 c #Conflicts: 1398000 | #Constraints: 26229
1878.83/1883.94 c #Conflicts: 1399000 | #Constraints: 27229
1878.83/1883.94 c #Conflicts: 1400000 | #Constraints: 28229
1878.83/1883.94 c #Conflicts: 1401000 | #Constraints: 29229
1878.83/1883.94 c #Conflicts: 1402000 | #Constraints: 30229
1878.83/1883.94 c #Conflicts: 1403000 | #Constraints: 31229
1878.83/1883.94 c #Conflicts: 1404000 | #Constraints: 32229
1878.83/1883.94 c #Conflicts: 1405000 | #Constraints: 33229
1878.83/1883.94 c #Conflicts: 1406000 | #Constraints: 34229
1878.83/1883.94 c #Conflicts: 1407000 | #Constraints: 35229
1878.83/1883.94 c #Conflicts: 1408000 | #Constraints: 36229
1878.83/1883.94 c #Conflicts: 1409000 | #Constraints: 37229
1878.83/1883.94 c #Conflicts: 1410000 | #Constraints: 38229
1878.83/1883.94 c #Conflicts: 1411000 | #Constraints: 39229
1878.83/1883.94 c #Conflicts: 1412000 | #Constraints: 40229
1878.83/1883.94 c #Conflicts: 1413000 | #Constraints: 41229
1878.83/1883.94 c #Conflicts: 1414000 | #Constraints: 42229
1878.83/1883.94 c #Conflicts: 1415000 | #Constraints: 43229
1878.83/1883.94 c #Conflicts: 1416000 | #Constraints: 44229
1878.83/1883.94 c #Conflicts: 1417000 | #Constraints: 45229
1878.83/1883.94 c #Conflicts: 1418000 | #Constraints: 46229
1878.83/1883.94 c #Conflicts: 1419000 | #Constraints: 47229
1878.83/1883.94 c INPROCESSING
1878.83/1883.94 c GARBAGE COLLECT
1878.83/1883.94 c #Conflicts: 1420000 | #Constraints: 24627
1878.83/1883.94 c #Conflicts: 1421000 | #Constraints: 25627
1878.83/1883.94 c #Conflicts: 1422000 | #Constraints: 26627
1878.83/1883.94 c #Conflicts: 1423000 | #Constraints: 27627
1878.83/1883.94 c #Conflicts: 1424000 | #Constraints: 28627
1878.83/1883.94 c #Conflicts: 1425000 | #Constraints: 29627
1878.83/1883.94 c #Conflicts: 1426000 | #Constraints: 30627
1878.83/1883.94 c #Conflicts: 1427000 | #Constraints: 31627
2006.02/2011.49 c #Conflicts: 1428000 | #Constraints: 32627
2006.02/2011.49 c #Conflicts: 1429000 | #Constraints: 33627
2006.02/2011.49 c #Conflicts: 1430000 | #Constraints: 34627
2006.02/2011.49 c #Conflicts: 1431000 | #Constraints: 35627
2006.02/2011.49 c #Conflicts: 1432000 | #Constraints: 36627
2006.02/2011.49 c #Conflicts: 1433000 | #Constraints: 37627
2006.02/2011.49 c #Conflicts: 1434000 | #Constraints: 38627
2006.02/2011.49 c #Conflicts: 1435000 | #Constraints: 39627
2006.02/2011.49 c #Conflicts: 1436000 | #Constraints: 40627
2006.02/2011.49 c #Conflicts: 1437000 | #Constraints: 41627
2006.02/2011.49 c #Conflicts: 1438000 | #Constraints: 42627
2006.02/2011.49 c #Conflicts: 1439000 | #Constraints: 43627
2006.02/2011.49 c #Conflicts: 1440000 | #Constraints: 44627
2006.02/2011.49 c #Conflicts: 1441000 | #Constraints: 45627
2006.02/2011.49 c #Conflicts: 1442000 | #Constraints: 46627
2006.02/2011.49 c #Conflicts: 1443000 | #Constraints: 47627
2006.02/2011.49 c INPROCESSING
2006.02/2011.49 c GARBAGE COLLECT
2006.02/2011.49 c #Conflicts: 1444000 | #Constraints: 24828
2006.02/2011.49 c #Conflicts: 1445000 | #Constraints: 25828
2006.02/2011.49 c #Conflicts: 1446000 | #Constraints: 26828
2006.02/2011.49 c #Conflicts: 1447000 | #Constraints: 27828
2006.02/2011.49 c #Conflicts: 1448000 | #Constraints: 28828
2006.02/2011.49 c #Conflicts: 1449000 | #Constraints: 29828
2006.02/2011.49 c #Conflicts: 1450000 | #Constraints: 30828
2006.02/2011.49 c #Conflicts: 1451000 | #Constraints: 31828
2006.02/2011.49 c #Conflicts: 1452000 | #Constraints: 32828
2006.02/2011.49 c #Conflicts: 1453000 | #Constraints: 33828
2006.02/2011.49 c #Conflicts: 1454000 | #Constraints: 34828
2006.02/2011.49 c #Conflicts: 1455000 | #Constraints: 35828
2006.02/2011.49 c #Conflicts: 1456000 | #Constraints: 36828
2006.02/2011.49 c #Conflicts: 1457000 | #Constraints: 37828
2006.02/2011.49 c #Conflicts: 1458000 | #Constraints: 38828
2006.02/2011.49 c #Conflicts: 1459000 | #Constraints: 39828
2006.02/2011.49 c #Conflicts: 1460000 | #Constraints: 40828
2006.02/2011.49 c #Conflicts: 1461000 | #Constraints: 41828
2006.02/2011.49 c #Conflicts: 1462000 | #Constraints: 42828
2006.02/2011.49 c #Conflicts: 1463000 | #Constraints: 43828
2006.02/2011.49 c #Conflicts: 1464000 | #Constraints: 44828
2006.02/2011.49 c #Conflicts: 1465000 | #Constraints: 45828
2006.02/2011.49 c #Conflicts: 1466000 | #Constraints: 46828
2006.02/2011.49 c #Conflicts: 1467000 | #Constraints: 47828
2006.02/2011.49 c INPROCESSING
2006.02/2011.49 c GARBAGE COLLECT
2006.02/2011.49 c #Conflicts: 1468000 | #Constraints: 24828
2006.02/2011.49 c #Conflicts: 1469000 | #Constraints: 25828
2006.02/2011.49 c #Conflicts: 1470000 | #Constraints: 26828
2006.02/2011.49 c #Conflicts: 1471000 | #Constraints: 27828
2006.02/2011.49 c #Conflicts: 1472000 | #Constraints: 28828
2006.02/2011.49 c #Conflicts: 1473000 | #Constraints: 29828
2006.02/2011.49 c #Conflicts: 1474000 | #Constraints: 30828
2006.02/2011.49 c #Conflicts: 1475000 | #Constraints: 31828
2006.02/2011.49 c #Conflicts: 1476000 | #Constraints: 32828
2006.02/2011.49 c #Conflicts: 1477000 | #Constraints: 33828
2006.02/2011.49 c #Conflicts: 1478000 | #Constraints: 34828
2006.02/2011.49 c #Conflicts: 1479000 | #Constraints: 35828
2006.02/2011.49 c #Conflicts: 1480000 | #Constraints: 36828
2006.02/2011.49 c #Conflicts: 1481000 | #Constraints: 37828
2006.02/2011.49 c #Conflicts: 1482000 | #Constraints: 38828
2006.02/2011.49 c #Conflicts: 1483000 | #Constraints: 39828
2006.02/2011.49 c #Conflicts: 1484000 | #Constraints: 40828
2006.02/2011.49 c #Conflicts: 1485000 | #Constraints: 41828
2006.02/2011.49 c #Conflicts: 1486000 | #Constraints: 42828
2006.02/2011.49 c #Conflicts: 1487000 | #Constraints: 43828
2006.02/2011.49 c #Conflicts: 1488000 | #Constraints: 44828
2006.02/2011.49 c #Conflicts: 1489000 | #Constraints: 45828
2006.02/2011.49 c #Conflicts: 1490000 | #Constraints: 46828
2006.02/2011.49 c #Conflicts: 1491000 | #Constraints: 47828
2006.02/2011.49 c INPROCESSING
2006.02/2011.49 c GARBAGE COLLECT
2006.02/2011.49 c #Conflicts: 1492000 | #Constraints: 24629
2006.02/2011.49 c #Conflicts: 1493000 | #Constraints: 25629
2006.02/2011.49 c #Conflicts: 1494000 | #Constraints: 26629
2006.02/2011.49 c #Conflicts: 1495000 | #Constraints: 27629
2006.02/2011.49 c #Conflicts: 1496000 | #Constraints: 28629
2006.02/2011.49 c #Conflicts: 1497000 | #Constraints: 29629
2006.02/2011.49 c #Conflicts: 1498000 | #Constraints: 30629
2006.02/2011.49 c #Conflicts: 1499000 | #Constraints: 31629
2006.02/2011.49 c #Conflicts: 1500000 | #Constraints: 32629
2006.02/2011.49 c #Conflicts: 1501000 | #Constraints: 33629
2006.02/2011.49 c #Conflicts: 1502000 | #Constraints: 34629
2006.02/2011.49 c #Conflicts: 1503000 | #Constraints: 35629
2006.02/2011.49 c #Conflicts: 1504000 | #Constraints: 36629
2143.58/2149.37 c #Conflicts: 1505000 | #Constraints: 37629
2143.58/2149.37 c #Conflicts: 1506000 | #Constraints: 38629
2143.58/2149.37 c #Conflicts: 1507000 | #Constraints: 39629
2143.58/2149.37 c #Conflicts: 1508000 | #Constraints: 40629
2143.58/2149.37 c #Conflicts: 1509000 | #Constraints: 41629
2143.58/2149.37 c #Conflicts: 1510000 | #Constraints: 42629
2143.58/2149.37 c #Conflicts: 1511000 | #Constraints: 43629
2143.58/2149.37 c #Conflicts: 1512000 | #Constraints: 44629
2143.58/2149.37 c #Conflicts: 1513000 | #Constraints: 45629
2143.58/2149.37 c #Conflicts: 1514000 | #Constraints: 46629
2143.58/2149.37 c #Conflicts: 1515000 | #Constraints: 47629
2143.58/2149.37 c #Conflicts: 1516000 | #Constraints: 48629
2143.58/2149.37 c INPROCESSING
2143.58/2149.37 c GARBAGE COLLECT
2143.58/2149.37 c #Conflicts: 1517000 | #Constraints: 25229
2143.58/2149.37 c #Conflicts: 1518000 | #Constraints: 26229
2143.58/2149.37 c #Conflicts: 1519000 | #Constraints: 27229
2143.58/2149.37 c #Conflicts: 1520000 | #Constraints: 28229
2143.58/2149.37 c #Conflicts: 1521000 | #Constraints: 29229
2143.58/2149.37 c #Conflicts: 1522000 | #Constraints: 30229
2143.58/2149.37 c #Conflicts: 1523000 | #Constraints: 31229
2143.58/2149.37 c #Conflicts: 1524000 | #Constraints: 32229
2143.58/2149.37 c #Conflicts: 1525000 | #Constraints: 33229
2143.58/2149.37 c #Conflicts: 1526000 | #Constraints: 34229
2143.58/2149.37 c #Conflicts: 1527000 | #Constraints: 35229
2143.58/2149.37 c #Conflicts: 1528000 | #Constraints: 36229
2143.58/2149.37 c #Conflicts: 1529000 | #Constraints: 37229
2143.58/2149.37 c #Conflicts: 1530000 | #Constraints: 38229
2143.58/2149.37 c #Conflicts: 1531000 | #Constraints: 39229
2143.58/2149.37 c #Conflicts: 1532000 | #Constraints: 40229
2143.58/2149.37 c #Conflicts: 1533000 | #Constraints: 41229
2143.58/2149.37 c #Conflicts: 1534000 | #Constraints: 42229
2143.58/2149.37 c #Conflicts: 1535000 | #Constraints: 43229
2143.58/2149.37 c #Conflicts: 1536000 | #Constraints: 44229
2143.58/2149.37 c #Conflicts: 1537000 | #Constraints: 45229
2143.58/2149.37 c #Conflicts: 1538000 | #Constraints: 46229
2143.58/2149.37 c #Conflicts: 1539000 | #Constraints: 47229
2143.58/2149.37 c #Conflicts: 1540000 | #Constraints: 48229
2143.58/2149.37 c #Conflicts: 1541000 | #Constraints: 49229
2143.58/2149.37 c INPROCESSING
2143.58/2149.37 c GARBAGE COLLECT
2143.58/2149.37 c #Conflicts: 1542000 | #Constraints: 25631
2143.58/2149.37 c #Conflicts: 1543000 | #Constraints: 26631
2143.58/2149.37 c #Conflicts: 1544000 | #Constraints: 27631
2143.58/2149.37 c #Conflicts: 1545000 | #Constraints: 28631
2143.58/2149.37 c #Conflicts: 1546000 | #Constraints: 29631
2143.58/2149.37 c #Conflicts: 1547000 | #Constraints: 30631
2143.58/2149.37 c #Conflicts: 1548000 | #Constraints: 31631
2143.58/2149.37 c #Conflicts: 1549000 | #Constraints: 32631
2143.58/2149.37 c #Conflicts: 1550000 | #Constraints: 33631
2143.58/2149.37 c #Conflicts: 1551000 | #Constraints: 34631
2143.58/2149.37 c #Conflicts: 1552000 | #Constraints: 35631
2143.58/2149.37 c #Conflicts: 1553000 | #Constraints: 36631
2143.58/2149.37 c #Conflicts: 1554000 | #Constraints: 37631
2143.58/2149.37 c #Conflicts: 1555000 | #Constraints: 38631
2143.58/2149.37 c #Conflicts: 1556000 | #Constraints: 39631
2143.58/2149.37 c #Conflicts: 1557000 | #Constraints: 40631
2143.58/2149.37 c #Conflicts: 1558000 | #Constraints: 41631
2143.58/2149.37 c #Conflicts: 1559000 | #Constraints: 42631
2143.58/2149.37 c #Conflicts: 1560000 | #Constraints: 43631
2143.58/2149.37 c #Conflicts: 1561000 | #Constraints: 44631
2143.58/2149.37 c #Conflicts: 1562000 | #Constraints: 45631
2143.58/2149.37 c #Conflicts: 1563000 | #Constraints: 46631
2143.58/2149.37 c #Conflicts: 1564000 | #Constraints: 47631
2143.58/2149.37 c #Conflicts: 1565000 | #Constraints: 48631
2143.58/2149.37 c #Conflicts: 1566000 | #Constraints: 49631
2143.58/2149.37 c INPROCESSING
2143.58/2149.37 c GARBAGE COLLECT
2143.58/2149.37 c #Conflicts: 1567000 | #Constraints: 25833
2143.58/2149.37 c #Conflicts: 1568000 | #Constraints: 26833
2143.58/2149.37 c #Conflicts: 1569000 | #Constraints: 27833
2143.58/2149.37 c #Conflicts: 1570000 | #Constraints: 28833
2143.58/2149.37 c #Conflicts: 1571000 | #Constraints: 29833
2143.58/2149.37 c #Conflicts: 1572000 | #Constraints: 30833
2143.58/2149.37 c #Conflicts: 1573000 | #Constraints: 31833
2143.58/2149.37 c #Conflicts: 1574000 | #Constraints: 32833
2143.58/2149.37 c #Conflicts: 1575000 | #Constraints: 33833
2143.58/2149.37 c #Conflicts: 1576000 | #Constraints: 34833
2143.58/2149.37 c #Conflicts: 1577000 | #Constraints: 35833
2143.58/2149.37 c #Conflicts: 1578000 | #Constraints: 36833
2143.58/2149.37 c #Conflicts: 1579000 | #Constraints: 37833
2143.58/2149.37 c #Conflicts: 1580000 | #Constraints: 38833
2143.58/2149.37 c #Conflicts: 1581000 | #Constraints: 39833
2294.60/2300.79 c #Conflicts: 1582000 | #Constraints: 40833
2294.60/2300.79 c #Conflicts: 1583000 | #Constraints: 41833
2294.60/2300.79 c #Conflicts: 1584000 | #Constraints: 42833
2294.60/2300.79 c #Conflicts: 1585000 | #Constraints: 43833
2294.60/2300.79 c #Conflicts: 1586000 | #Constraints: 44833
2294.60/2300.79 c #Conflicts: 1587000 | #Constraints: 45833
2294.60/2300.79 c #Conflicts: 1588000 | #Constraints: 46833
2294.60/2300.79 c #Conflicts: 1589000 | #Constraints: 47833
2294.60/2300.79 c #Conflicts: 1590000 | #Constraints: 48833
2294.60/2300.79 c #Conflicts: 1591000 | #Constraints: 49833
2294.60/2300.79 c INPROCESSING
2294.60/2300.79 c GARBAGE COLLECT
2294.60/2300.79 c #Conflicts: 1592000 | #Constraints: 25831
2294.60/2300.79 c #Conflicts: 1593000 | #Constraints: 26831
2294.60/2300.79 c #Conflicts: 1594000 | #Constraints: 27831
2294.60/2300.79 c #Conflicts: 1595000 | #Constraints: 28831
2294.60/2300.79 c #Conflicts: 1596000 | #Constraints: 29831
2294.60/2300.79 c #Conflicts: 1597000 | #Constraints: 30831
2294.60/2300.79 c #Conflicts: 1598000 | #Constraints: 31831
2294.60/2300.79 c #Conflicts: 1599000 | #Constraints: 32831
2294.60/2300.79 c #Conflicts: 1600000 | #Constraints: 33831
2294.60/2300.79 c #Conflicts: 1601000 | #Constraints: 34831
2294.60/2300.79 c #Conflicts: 1602000 | #Constraints: 35831
2294.60/2300.79 c #Conflicts: 1603000 | #Constraints: 36831
2294.60/2300.79 c #Conflicts: 1604000 | #Constraints: 37831
2294.60/2300.79 c #Conflicts: 1605000 | #Constraints: 38831
2294.60/2300.79 c #Conflicts: 1606000 | #Constraints: 39831
2294.60/2300.79 c #Conflicts: 1607000 | #Constraints: 40831
2294.60/2300.79 c #Conflicts: 1608000 | #Constraints: 41831
2294.60/2300.79 c #Conflicts: 1609000 | #Constraints: 42831
2294.60/2300.79 c #Conflicts: 1610000 | #Constraints: 43831
2294.60/2300.79 c #Conflicts: 1611000 | #Constraints: 44831
2294.60/2300.79 c #Conflicts: 1612000 | #Constraints: 45831
2294.60/2300.79 c #Conflicts: 1613000 | #Constraints: 46831
2294.60/2300.79 c #Conflicts: 1614000 | #Constraints: 47831
2294.60/2300.79 c #Conflicts: 1615000 | #Constraints: 48831
2294.60/2300.79 c #Conflicts: 1616000 | #Constraints: 49831
2294.60/2300.79 c INPROCESSING
2294.60/2300.79 c GARBAGE COLLECT
2294.60/2300.79 c #Conflicts: 1617000 | #Constraints: 25633
2294.60/2300.79 c #Conflicts: 1618000 | #Constraints: 26633
2294.60/2300.79 c #Conflicts: 1619000 | #Constraints: 27633
2294.60/2300.79 c #Conflicts: 1620000 | #Constraints: 28633
2294.60/2300.79 c #Conflicts: 1621000 | #Constraints: 29633
2294.60/2300.79 c #Conflicts: 1622000 | #Constraints: 30633
2294.60/2300.79 c #Conflicts: 1623000 | #Constraints: 31633
2294.60/2300.79 c #Conflicts: 1624000 | #Constraints: 32633
2294.60/2300.79 c #Conflicts: 1625000 | #Constraints: 33633
2294.60/2300.79 c #Conflicts: 1626000 | #Constraints: 34633
2294.60/2300.79 c #Conflicts: 1627000 | #Constraints: 35633
2294.60/2300.79 c #Conflicts: 1628000 | #Constraints: 36633
2294.60/2300.79 c #Conflicts: 1629000 | #Constraints: 37633
2294.60/2300.79 c #Conflicts: 1630000 | #Constraints: 38633
2294.60/2300.79 c #Conflicts: 1631000 | #Constraints: 39633
2294.60/2300.79 c #Conflicts: 1632000 | #Constraints: 40633
2294.60/2300.79 c #Conflicts: 1633000 | #Constraints: 41633
2294.60/2300.79 c #Conflicts: 1634000 | #Constraints: 42633
2294.60/2300.79 c #Conflicts: 1635000 | #Constraints: 43633
2294.60/2300.79 c #Conflicts: 1636000 | #Constraints: 44633
2294.60/2300.79 c #Conflicts: 1637000 | #Constraints: 45633
2294.60/2300.79 c #Conflicts: 1638000 | #Constraints: 46633
2294.60/2300.79 c #Conflicts: 1639000 | #Constraints: 47633
2294.60/2300.79 c #Conflicts: 1640000 | #Constraints: 48633
2294.60/2300.79 c #Conflicts: 1641000 | #Constraints: 49633
2294.60/2300.79 c #Conflicts: 1642000 | #Constraints: 50633
2294.60/2300.79 c INPROCESSING
2294.60/2300.79 c GARBAGE COLLECT
2294.60/2300.79 c #Conflicts: 1643000 | #Constraints: 26232
2294.60/2300.79 c #Conflicts: 1644000 | #Constraints: 27232
2294.60/2300.79 c #Conflicts: 1645000 | #Constraints: 28232
2294.60/2300.79 c #Conflicts: 1646000 | #Constraints: 29232
2294.60/2300.79 c #Conflicts: 1647000 | #Constraints: 30232
2294.60/2300.79 c #Conflicts: 1648000 | #Constraints: 31232
2294.60/2300.79 c #Conflicts: 1649000 | #Constraints: 32232
2294.60/2300.79 c #Conflicts: 1650000 | #Constraints: 33232
2294.60/2300.79 c #Conflicts: 1651000 | #Constraints: 34232
2294.60/2300.79 c #Conflicts: 1652000 | #Constraints: 35232
2294.60/2300.79 c #Conflicts: 1653000 | #Constraints: 36232
2294.60/2300.79 c #Conflicts: 1654000 | #Constraints: 37232
2294.60/2300.79 c #Conflicts: 1655000 | #Constraints: 38232
2294.60/2300.79 c #Conflicts: 1656000 | #Constraints: 39232
2294.60/2300.79 c #Conflicts: 1657000 | #Constraints: 40232
2294.60/2300.79 c #Conflicts: 1658000 | #Constraints: 41232
2434.84/2441.39 c #Conflicts: 1659000 | #Constraints: 42232
2434.84/2441.39 c #Conflicts: 1660000 | #Constraints: 43232
2434.84/2441.39 c #Conflicts: 1661000 | #Constraints: 44232
2434.84/2441.39 c #Conflicts: 1662000 | #Constraints: 45232
2434.84/2441.39 c #Conflicts: 1663000 | #Constraints: 46232
2434.84/2441.39 c #Conflicts: 1664000 | #Constraints: 47232
2434.84/2441.39 c #Conflicts: 1665000 | #Constraints: 48232
2434.84/2441.39 c #Conflicts: 1666000 | #Constraints: 49232
2434.84/2441.39 c #Conflicts: 1667000 | #Constraints: 50232
2434.84/2441.39 c #Conflicts: 1668000 | #Constraints: 51232
2434.84/2441.39 c INPROCESSING
2434.84/2441.39 c GARBAGE COLLECT
2434.84/2441.39 c #Conflicts: 1669000 | #Constraints: 26630
2434.84/2441.39 c #Conflicts: 1670000 | #Constraints: 27630
2434.84/2441.39 c #Conflicts: 1671000 | #Constraints: 28630
2434.84/2441.39 c #Conflicts: 1672000 | #Constraints: 29630
2434.84/2441.39 c #Conflicts: 1673000 | #Constraints: 30630
2434.84/2441.39 c #Conflicts: 1674000 | #Constraints: 31630
2434.84/2441.39 c #Conflicts: 1675000 | #Constraints: 32630
2434.84/2441.39 c #Conflicts: 1676000 | #Constraints: 33630
2434.84/2441.39 c #Conflicts: 1677000 | #Constraints: 34630
2434.84/2441.39 c #Conflicts: 1678000 | #Constraints: 35630
2434.84/2441.39 c #Conflicts: 1679000 | #Constraints: 36630
2434.84/2441.39 c #Conflicts: 1680000 | #Constraints: 37630
2434.84/2441.39 c #Conflicts: 1681000 | #Constraints: 38630
2434.84/2441.39 c #Conflicts: 1682000 | #Constraints: 39630
2434.84/2441.39 c #Conflicts: 1683000 | #Constraints: 40630
2434.84/2441.39 c #Conflicts: 1684000 | #Constraints: 41630
2434.84/2441.39 c #Conflicts: 1685000 | #Constraints: 42630
2434.84/2441.39 c #Conflicts: 1686000 | #Constraints: 43630
2434.84/2441.39 c #Conflicts: 1687000 | #Constraints: 44630
2434.84/2441.39 c #Conflicts: 1688000 | #Constraints: 45630
2434.84/2441.39 c #Conflicts: 1689000 | #Constraints: 46630
2434.84/2441.39 c #Conflicts: 1690000 | #Constraints: 47630
2434.84/2441.39 c #Conflicts: 1691000 | #Constraints: 48630
2434.84/2441.39 c #Conflicts: 1692000 | #Constraints: 49630
2434.84/2441.39 c #Conflicts: 1693000 | #Constraints: 50630
2434.84/2441.39 c #Conflicts: 1694000 | #Constraints: 51630
2434.84/2441.39 c INPROCESSING
2434.84/2441.39 c GARBAGE COLLECT
2434.84/2441.39 c #Conflicts: 1695000 | #Constraints: 26830
2434.84/2441.39 c #Conflicts: 1696000 | #Constraints: 27830
2434.84/2441.39 c #Conflicts: 1697000 | #Constraints: 28830
2434.84/2441.39 c #Conflicts: 1698000 | #Constraints: 29830
2434.84/2441.39 c #Conflicts: 1699000 | #Constraints: 30830
2434.84/2441.39 c #Conflicts: 1700000 | #Constraints: 31830
2434.84/2441.39 c #Conflicts: 1701000 | #Constraints: 32830
2434.84/2441.39 c #Conflicts: 1702000 | #Constraints: 33830
2434.84/2441.39 c #Conflicts: 1703000 | #Constraints: 34830
2434.84/2441.39 c #Conflicts: 1704000 | #Constraints: 35830
2434.84/2441.39 c #Conflicts: 1705000 | #Constraints: 36830
2434.84/2441.39 c #Conflicts: 1706000 | #Constraints: 37830
2434.84/2441.39 c #Conflicts: 1707000 | #Constraints: 38830
2434.84/2441.39 c #Conflicts: 1708000 | #Constraints: 39830
2434.84/2441.39 c #Conflicts: 1709000 | #Constraints: 40830
2434.84/2441.39 c #Conflicts: 1710000 | #Constraints: 41830
2434.84/2441.39 c #Conflicts: 1711000 | #Constraints: 42830
2434.84/2441.39 c #Conflicts: 1712000 | #Constraints: 43830
2434.84/2441.39 c #Conflicts: 1713000 | #Constraints: 44830
2434.84/2441.39 c #Conflicts: 1714000 | #Constraints: 45830
2434.84/2441.39 c #Conflicts: 1715000 | #Constraints: 46830
2434.84/2441.39 c #Conflicts: 1716000 | #Constraints: 47830
2434.84/2441.39 c #Conflicts: 1717000 | #Constraints: 48830
2434.84/2441.39 c #Conflicts: 1718000 | #Constraints: 49830
2434.84/2441.39 c #Conflicts: 1719000 | #Constraints: 50830
2434.84/2441.39 c #Conflicts: 1720000 | #Constraints: 51830
2434.84/2441.39 c INPROCESSING
2434.84/2441.39 c GARBAGE COLLECT
2434.84/2441.39 c #Conflicts: 1721000 | #Constraints: 26828
2434.84/2441.39 c #Conflicts: 1722000 | #Constraints: 27828
2434.84/2441.39 c #Conflicts: 1723000 | #Constraints: 28828
2434.84/2441.39 c #Conflicts: 1724000 | #Constraints: 29828
2434.84/2441.39 c #Conflicts: 1725000 | #Constraints: 30828
2434.84/2441.39 c #Conflicts: 1726000 | #Constraints: 31828
2434.84/2441.39 c #Conflicts: 1727000 | #Constraints: 32828
2434.84/2441.39 c #Conflicts: 1728000 | #Constraints: 33828
2434.84/2441.39 c #Conflicts: 1729000 | #Constraints: 34828
2434.84/2441.39 c #Conflicts: 1730000 | #Constraints: 35828
2434.84/2441.39 c #Conflicts: 1731000 | #Constraints: 36828
2434.84/2441.39 c #Conflicts: 1732000 | #Constraints: 37828
2434.84/2441.39 c #Conflicts: 1733000 | #Constraints: 38828
2434.84/2441.39 c #Conflicts: 1734000 | #Constraints: 39828
2434.84/2441.39 c #Conflicts: 1735000 | #Constraints: 40828
2582.79/2589.64 c #Conflicts: 1736000 | #Constraints: 41828
2582.79/2589.64 c #Conflicts: 1737000 | #Constraints: 42828
2582.79/2589.64 c #Conflicts: 1738000 | #Constraints: 43828
2582.79/2589.64 c #Conflicts: 1739000 | #Constraints: 44828
2582.79/2589.64 c #Conflicts: 1740000 | #Constraints: 45828
2582.79/2589.64 c #Conflicts: 1741000 | #Constraints: 46828
2582.79/2589.64 c #Conflicts: 1742000 | #Constraints: 47828
2582.79/2589.64 c #Conflicts: 1743000 | #Constraints: 48828
2582.79/2589.64 c #Conflicts: 1744000 | #Constraints: 49828
2582.79/2589.64 c #Conflicts: 1745000 | #Constraints: 50828
2582.79/2589.64 c #Conflicts: 1746000 | #Constraints: 51828
2582.79/2589.64 c INPROCESSING
2582.79/2589.64 c GARBAGE COLLECT
2582.79/2589.64 c #Conflicts: 1747000 | #Constraints: 26629
2582.79/2589.64 c #Conflicts: 1748000 | #Constraints: 27629
2582.79/2589.64 c #Conflicts: 1749000 | #Constraints: 28629
2582.79/2589.64 c #Conflicts: 1750000 | #Constraints: 29629
2582.79/2589.64 c #Conflicts: 1751000 | #Constraints: 30629
2582.79/2589.64 c #Conflicts: 1752000 | #Constraints: 31629
2582.79/2589.64 c #Conflicts: 1753000 | #Constraints: 32629
2582.79/2589.64 c #Conflicts: 1754000 | #Constraints: 33629
2582.79/2589.64 c #Conflicts: 1755000 | #Constraints: 34629
2582.79/2589.64 c #Conflicts: 1756000 | #Constraints: 35629
2582.79/2589.64 c #Conflicts: 1757000 | #Constraints: 36629
2582.79/2589.64 c #Conflicts: 1758000 | #Constraints: 37629
2582.79/2589.64 c #Conflicts: 1759000 | #Constraints: 38629
2582.79/2589.64 c #Conflicts: 1760000 | #Constraints: 39629
2582.79/2589.64 c #Conflicts: 1761000 | #Constraints: 40629
2582.79/2589.64 c #Conflicts: 1762000 | #Constraints: 41629
2582.79/2589.64 c #Conflicts: 1763000 | #Constraints: 42629
2582.79/2589.64 c #Conflicts: 1764000 | #Constraints: 43629
2582.79/2589.64 c #Conflicts: 1765000 | #Constraints: 44629
2582.79/2589.64 c #Conflicts: 1766000 | #Constraints: 45629
2582.79/2589.64 c #Conflicts: 1767000 | #Constraints: 46629
2582.79/2589.64 c #Conflicts: 1768000 | #Constraints: 47629
2582.79/2589.64 c #Conflicts: 1769000 | #Constraints: 48629
2582.79/2589.64 c #Conflicts: 1770000 | #Constraints: 49629
2582.79/2589.64 c #Conflicts: 1771000 | #Constraints: 50629
2582.79/2589.64 c #Conflicts: 1772000 | #Constraints: 51629
2582.79/2589.64 c #Conflicts: 1773000 | #Constraints: 52629
2582.79/2589.64 c INPROCESSING
2582.79/2589.64 c GARBAGE COLLECT
2582.79/2589.64 c #Conflicts: 1774000 | #Constraints: 27231
2582.79/2589.64 c #Conflicts: 1775000 | #Constraints: 28231
2582.79/2589.64 c #Conflicts: 1776000 | #Constraints: 29231
2582.79/2589.64 c #Conflicts: 1777000 | #Constraints: 30231
2582.79/2589.64 c #Conflicts: 1778000 | #Constraints: 31231
2582.79/2589.64 c #Conflicts: 1779000 | #Constraints: 32231
2582.79/2589.64 c #Conflicts: 1780000 | #Constraints: 33231
2582.79/2589.64 c #Conflicts: 1781000 | #Constraints: 34231
2582.79/2589.64 c #Conflicts: 1782000 | #Constraints: 35231
2582.79/2589.64 c #Conflicts: 1783000 | #Constraints: 36231
2582.79/2589.64 c #Conflicts: 1784000 | #Constraints: 37231
2582.79/2589.64 c #Conflicts: 1785000 | #Constraints: 38231
2582.79/2589.64 c #Conflicts: 1786000 | #Constraints: 39231
2582.79/2589.64 c #Conflicts: 1787000 | #Constraints: 40231
2582.79/2589.64 c #Conflicts: 1788000 | #Constraints: 41231
2582.79/2589.64 c #Conflicts: 1789000 | #Constraints: 42231
2582.79/2589.64 c #Conflicts: 1790000 | #Constraints: 43231
2582.79/2589.64 c #Conflicts: 1791000 | #Constraints: 44231
2582.79/2589.64 c #Conflicts: 1792000 | #Constraints: 45231
2582.79/2589.64 c #Conflicts: 1793000 | #Constraints: 46231
2582.79/2589.64 c #Conflicts: 1794000 | #Constraints: 47231
2582.79/2589.64 c #Conflicts: 1795000 | #Constraints: 48231
2582.79/2589.64 c #Conflicts: 1796000 | #Constraints: 49231
2582.79/2589.64 c #Conflicts: 1797000 | #Constraints: 50231
2582.79/2589.64 c #Conflicts: 1798000 | #Constraints: 51231
2582.79/2589.64 c #Conflicts: 1799000 | #Constraints: 52231
2582.79/2589.64 c #Conflicts: 1800000 | #Constraints: 53231
2582.79/2589.64 c INPROCESSING
2582.79/2589.64 c GARBAGE COLLECT
2582.79/2589.64 c #Conflicts: 1801000 | #Constraints: 27628
2582.79/2589.64 c #Conflicts: 1802000 | #Constraints: 28628
2582.79/2589.64 c #Conflicts: 1803000 | #Constraints: 29628
2582.79/2589.64 c #Conflicts: 1804000 | #Constraints: 30628
2582.79/2589.64 c #Conflicts: 1805000 | #Constraints: 31628
2582.79/2589.64 c #Conflicts: 1806000 | #Constraints: 32628
2582.79/2589.64 c #Conflicts: 1807000 | #Constraints: 33628
2582.79/2589.64 c #Conflicts: 1808000 | #Constraints: 34628
2582.79/2589.64 c #Conflicts: 1809000 | #Constraints: 35628
2582.79/2589.64 c #Conflicts: 1810000 | #Constraints: 36628
2582.79/2589.64 c #Conflicts: 1811000 | #Constraints: 37628
2582.79/2589.64 c #Conflicts: 1812000 | #Constraints: 38628
2735.00/2742.27 c #Conflicts: 1813000 | #Constraints: 39628
2735.00/2742.27 c #Conflicts: 1814000 | #Constraints: 40628
2735.00/2742.27 c #Conflicts: 1815000 | #Constraints: 41628
2735.00/2742.27 c #Conflicts: 1816000 | #Constraints: 42628
2735.00/2742.27 c #Conflicts: 1817000 | #Constraints: 43628
2735.00/2742.27 c #Conflicts: 1818000 | #Constraints: 44628
2735.00/2742.27 c #Conflicts: 1819000 | #Constraints: 45628
2735.00/2742.27 c #Conflicts: 1820000 | #Constraints: 46628
2735.00/2742.27 c #Conflicts: 1821000 | #Constraints: 47628
2735.00/2742.27 c #Conflicts: 1822000 | #Constraints: 48628
2735.00/2742.27 c #Conflicts: 1823000 | #Constraints: 49628
2735.00/2742.27 c #Conflicts: 1824000 | #Constraints: 50628
2735.00/2742.27 c #Conflicts: 1825000 | #Constraints: 51628
2735.00/2742.27 c #Conflicts: 1826000 | #Constraints: 52628
2735.00/2742.27 c #Conflicts: 1827000 | #Constraints: 53628
2735.00/2742.27 c INPROCESSING
2735.00/2742.27 c GARBAGE COLLECT
2735.00/2742.27 c #Conflicts: 1828000 | #Constraints: 27825
2735.00/2742.27 c #Conflicts: 1829000 | #Constraints: 28825
2735.00/2742.27 c #Conflicts: 1830000 | #Constraints: 29825
2735.00/2742.27 c #Conflicts: 1831000 | #Constraints: 30825
2735.00/2742.27 c #Conflicts: 1832000 | #Constraints: 31825
2735.00/2742.27 c #Conflicts: 1833000 | #Constraints: 32825
2735.00/2742.27 c #Conflicts: 1834000 | #Constraints: 33825
2735.00/2742.27 c #Conflicts: 1835000 | #Constraints: 34825
2735.00/2742.27 c #Conflicts: 1836000 | #Constraints: 35825
2735.00/2742.27 c #Conflicts: 1837000 | #Constraints: 36825
2735.00/2742.27 c #Conflicts: 1838000 | #Constraints: 37825
2735.00/2742.27 c #Conflicts: 1839000 | #Constraints: 38825
2735.00/2742.27 c #Conflicts: 1840000 | #Constraints: 39825
2735.00/2742.27 c #Conflicts: 1841000 | #Constraints: 40825
2735.00/2742.27 c #Conflicts: 1842000 | #Constraints: 41825
2735.00/2742.27 c #Conflicts: 1843000 | #Constraints: 42825
2735.00/2742.27 c #Conflicts: 1844000 | #Constraints: 43825
2735.00/2742.27 c #Conflicts: 1845000 | #Constraints: 44825
2735.00/2742.27 c #Conflicts: 1846000 | #Constraints: 45825
2735.00/2742.27 c #Conflicts: 1847000 | #Constraints: 46825
2735.00/2742.27 c #Conflicts: 1848000 | #Constraints: 47825
2735.00/2742.27 c #Conflicts: 1849000 | #Constraints: 48825
2735.00/2742.27 c #Conflicts: 1850000 | #Constraints: 49825
2735.00/2742.27 c #Conflicts: 1851000 | #Constraints: 50825
2735.00/2742.27 c #Conflicts: 1852000 | #Constraints: 51825
2735.00/2742.27 c #Conflicts: 1853000 | #Constraints: 52825
2735.00/2742.27 c #Conflicts: 1854000 | #Constraints: 53825
2735.00/2742.27 c INPROCESSING
2735.00/2742.27 c GARBAGE COLLECT
2735.00/2742.27 c #Conflicts: 1855000 | #Constraints: 27829
2735.00/2742.27 c #Conflicts: 1856000 | #Constraints: 28829
2735.00/2742.27 c #Conflicts: 1857000 | #Constraints: 29829
2735.00/2742.27 c #Conflicts: 1858000 | #Constraints: 30829
2735.00/2742.27 c #Conflicts: 1859000 | #Constraints: 31829
2735.00/2742.27 c #Conflicts: 1860000 | #Constraints: 32829
2735.00/2742.27 c #Conflicts: 1861000 | #Constraints: 33829
2735.00/2742.27 c #Conflicts: 1862000 | #Constraints: 34829
2735.00/2742.27 c #Conflicts: 1863000 | #Constraints: 35829
2735.00/2742.27 c #Conflicts: 1864000 | #Constraints: 36829
2735.00/2742.27 c #Conflicts: 1865000 | #Constraints: 37829
2735.00/2742.27 c #Conflicts: 1866000 | #Constraints: 38829
2735.00/2742.27 c #Conflicts: 1867000 | #Constraints: 39829
2735.00/2742.27 c #Conflicts: 1868000 | #Constraints: 40829
2735.00/2742.27 c #Conflicts: 1869000 | #Constraints: 41829
2735.00/2742.27 c #Conflicts: 1870000 | #Constraints: 42829
2735.00/2742.27 c #Conflicts: 1871000 | #Constraints: 43829
2735.00/2742.27 c #Conflicts: 1872000 | #Constraints: 44829
2735.00/2742.27 c #Conflicts: 1873000 | #Constraints: 45829
2735.00/2742.27 c #Conflicts: 1874000 | #Constraints: 46829
2735.00/2742.27 c #Conflicts: 1875000 | #Constraints: 47829
2735.00/2742.27 c #Conflicts: 1876000 | #Constraints: 48829
2735.00/2742.27 c #Conflicts: 1877000 | #Constraints: 49829
2735.00/2742.27 c #Conflicts: 1878000 | #Constraints: 50829
2735.00/2742.27 c #Conflicts: 1879000 | #Constraints: 51829
2735.00/2742.27 c #Conflicts: 1880000 | #Constraints: 52829
2735.00/2742.27 c #Conflicts: 1881000 | #Constraints: 53829
2735.00/2742.27 c INPROCESSING
2735.00/2742.27 c GARBAGE COLLECT
2735.00/2742.27 c #Conflicts: 1882000 | #Constraints: 27631
2735.00/2742.27 c #Conflicts: 1883000 | #Constraints: 28631
2735.00/2742.27 c #Conflicts: 1884000 | #Constraints: 29631
2735.00/2742.27 c #Conflicts: 1885000 | #Constraints: 30631
2735.00/2742.27 c #Conflicts: 1886000 | #Constraints: 31631
2735.00/2742.27 c #Conflicts: 1887000 | #Constraints: 32631
2735.00/2742.27 c #Conflicts: 1888000 | #Constraints: 33631
2886.32/2893.98 c #Conflicts: 1889000 | #Constraints: 34631
2886.32/2893.98 c #Conflicts: 1890000 | #Constraints: 35631
2886.32/2893.98 c #Conflicts: 1891000 | #Constraints: 36631
2886.32/2893.98 c #Conflicts: 1892000 | #Constraints: 37631
2886.32/2893.98 c #Conflicts: 1893000 | #Constraints: 38631
2886.32/2893.98 c #Conflicts: 1894000 | #Constraints: 39631
2886.32/2893.98 c #Conflicts: 1895000 | #Constraints: 40631
2886.32/2893.98 c #Conflicts: 1896000 | #Constraints: 41631
2886.32/2893.98 c #Conflicts: 1897000 | #Constraints: 42631
2886.32/2893.98 c #Conflicts: 1898000 | #Constraints: 43631
2886.32/2893.98 c #Conflicts: 1899000 | #Constraints: 44631
2886.32/2893.98 c #Conflicts: 1900000 | #Constraints: 45631
2886.32/2893.98 c #Conflicts: 1901000 | #Constraints: 46631
2886.32/2893.98 c #Conflicts: 1902000 | #Constraints: 47631
2886.32/2893.98 c #Conflicts: 1903000 | #Constraints: 48631
2886.32/2893.98 c #Conflicts: 1904000 | #Constraints: 49631
2886.32/2893.98 c #Conflicts: 1905000 | #Constraints: 50631
2886.32/2893.98 c #Conflicts: 1906000 | #Constraints: 51631
2886.32/2893.98 c #Conflicts: 1907000 | #Constraints: 52631
2886.32/2893.98 c #Conflicts: 1908000 | #Constraints: 53631
2886.32/2893.98 c #Conflicts: 1909000 | #Constraints: 54631
2886.32/2893.98 c INPROCESSING
2886.32/2893.98 c GARBAGE COLLECT
2886.32/2893.98 c #Conflicts: 1910000 | #Constraints: 28230
2886.32/2893.98 c #Conflicts: 1911000 | #Constraints: 29230
2886.32/2893.98 c #Conflicts: 1912000 | #Constraints: 30230
2886.32/2893.98 c #Conflicts: 1913000 | #Constraints: 31230
2886.32/2893.98 c #Conflicts: 1914000 | #Constraints: 32230
2886.32/2893.98 c #Conflicts: 1915000 | #Constraints: 33230
2886.32/2893.98 c #Conflicts: 1916000 | #Constraints: 34230
2886.32/2893.98 c #Conflicts: 1917000 | #Constraints: 35230
2886.32/2893.98 c #Conflicts: 1918000 | #Constraints: 36230
2886.32/2893.98 c #Conflicts: 1919000 | #Constraints: 37230
2886.32/2893.98 c #Conflicts: 1920000 | #Constraints: 38230
2886.32/2893.98 c #Conflicts: 1921000 | #Constraints: 39230
2886.32/2893.98 c #Conflicts: 1922000 | #Constraints: 40230
2886.32/2893.98 c #Conflicts: 1923000 | #Constraints: 41230
2886.32/2893.98 c #Conflicts: 1924000 | #Constraints: 42230
2886.32/2893.98 c #Conflicts: 1925000 | #Constraints: 43230
2886.32/2893.98 c #Conflicts: 1926000 | #Constraints: 44230
2886.32/2893.98 c #Conflicts: 1927000 | #Constraints: 45230
2886.32/2893.98 c #Conflicts: 1928000 | #Constraints: 46230
2886.32/2893.98 c #Conflicts: 1929000 | #Constraints: 47230
2886.32/2893.98 c #Conflicts: 1930000 | #Constraints: 48230
2886.32/2893.98 c #Conflicts: 1931000 | #Constraints: 49230
2886.32/2893.98 c #Conflicts: 1932000 | #Constraints: 50230
2886.32/2893.98 c #Conflicts: 1933000 | #Constraints: 51230
2886.32/2893.98 c #Conflicts: 1934000 | #Constraints: 52230
2886.32/2893.98 c #Conflicts: 1935000 | #Constraints: 53230
2886.32/2893.98 c #Conflicts: 1936000 | #Constraints: 54230
2886.32/2893.98 c #Conflicts: 1937000 | #Constraints: 55230
2886.32/2893.98 c INPROCESSING
2886.32/2893.98 c GARBAGE COLLECT
2886.32/2893.98 c #Conflicts: 1938000 | #Constraints: 28629
2886.32/2893.98 c #Conflicts: 1939000 | #Constraints: 29629
2886.32/2893.98 c #Conflicts: 1940000 | #Constraints: 30629
2886.32/2893.98 c #Conflicts: 1941000 | #Constraints: 31629
2886.32/2893.98 c #Conflicts: 1942000 | #Constraints: 32629
2886.32/2893.98 c #Conflicts: 1943000 | #Constraints: 33629
2886.32/2893.98 c #Conflicts: 1944000 | #Constraints: 34629
2886.32/2893.98 c #Conflicts: 1945000 | #Constraints: 35629
2886.32/2893.98 c #Conflicts: 1946000 | #Constraints: 36629
2886.32/2893.98 c #Conflicts: 1947000 | #Constraints: 37629
2886.32/2893.98 c #Conflicts: 1948000 | #Constraints: 38629
2886.32/2893.98 c #Conflicts: 1949000 | #Constraints: 39629
2886.32/2893.98 c #Conflicts: 1950000 | #Constraints: 40629
2886.32/2893.98 c #Conflicts: 1951000 | #Constraints: 41629
2886.32/2893.98 c #Conflicts: 1952000 | #Constraints: 42629
2886.32/2893.98 c #Conflicts: 1953000 | #Constraints: 43629
2886.32/2893.98 c #Conflicts: 1954000 | #Constraints: 44629
2886.32/2893.98 c #Conflicts: 1955000 | #Constraints: 45629
2886.32/2893.98 c #Conflicts: 1956000 | #Constraints: 46629
2886.32/2893.98 c #Conflicts: 1957000 | #Constraints: 47629
2886.32/2893.98 c #Conflicts: 1958000 | #Constraints: 48629
2886.32/2893.98 c #Conflicts: 1959000 | #Constraints: 49629
2886.32/2893.98 c #Conflicts: 1960000 | #Constraints: 50629
2886.32/2893.98 c #Conflicts: 1961000 | #Constraints: 51629
2886.32/2893.98 c #Conflicts: 1962000 | #Constraints: 52629
2886.32/2893.98 c #Conflicts: 1963000 | #Constraints: 53629
2886.32/2893.98 c #Conflicts: 1964000 | #Constraints: 54629
2886.32/2893.98 c #Conflicts: 1965000 | #Constraints: 55629
2886.32/2893.98 c INPROCESSING
2886.32/2893.98 c GARBAGE COLLECT
3045.82/3053.83 c #Conflicts: 1966000 | #Constraints: 28829
3045.82/3053.83 c #Conflicts: 1967000 | #Constraints: 29829
3045.82/3053.83 c #Conflicts: 1968000 | #Constraints: 30829
3045.82/3053.83 c #Conflicts: 1969000 | #Constraints: 31829
3045.82/3053.83 c #Conflicts: 1970000 | #Constraints: 32829
3045.82/3053.83 c #Conflicts: 1971000 | #Constraints: 33829
3045.82/3053.83 c #Conflicts: 1972000 | #Constraints: 34829
3045.82/3053.83 c #Conflicts: 1973000 | #Constraints: 35829
3045.82/3053.83 c #Conflicts: 1974000 | #Constraints: 36829
3045.82/3053.83 c #Conflicts: 1975000 | #Constraints: 37829
3045.82/3053.83 c #Conflicts: 1976000 | #Constraints: 38829
3045.82/3053.83 c #Conflicts: 1977000 | #Constraints: 39829
3045.82/3053.83 c #Conflicts: 1978000 | #Constraints: 40829
3045.82/3053.83 c #Conflicts: 1979000 | #Constraints: 41829
3045.82/3053.83 c #Conflicts: 1980000 | #Constraints: 42829
3045.82/3053.83 c #Conflicts: 1981000 | #Constraints: 43829
3045.82/3053.83 c #Conflicts: 1982000 | #Constraints: 44829
3045.82/3053.83 c #Conflicts: 1983000 | #Constraints: 45829
3045.82/3053.83 c #Conflicts: 1984000 | #Constraints: 46829
3045.82/3053.83 c #Conflicts: 1985000 | #Constraints: 47829
3045.82/3053.83 c #Conflicts: 1986000 | #Constraints: 48829
3045.82/3053.83 c #Conflicts: 1987000 | #Constraints: 49829
3045.82/3053.83 c #Conflicts: 1988000 | #Constraints: 50829
3045.82/3053.83 c #Conflicts: 1989000 | #Constraints: 51829
3045.82/3053.83 c #Conflicts: 1990000 | #Constraints: 52829
3045.82/3053.83 c #Conflicts: 1991000 | #Constraints: 53829
3045.82/3053.83 c #Conflicts: 1992000 | #Constraints: 54829
3045.82/3053.83 c #Conflicts: 1993000 | #Constraints: 55829
3045.82/3053.83 c INPROCESSING
3045.82/3053.83 c GARBAGE COLLECT
3045.82/3053.83 c #Conflicts: 1994000 | #Constraints: 28830
3045.82/3053.83 c #Conflicts: 1995000 | #Constraints: 29830
3045.82/3053.83 c #Conflicts: 1996000 | #Constraints: 30830
3045.82/3053.83 c #Conflicts: 1997000 | #Constraints: 31830
3045.82/3053.83 c #Conflicts: 1998000 | #Constraints: 32830
3045.82/3053.83 c #Conflicts: 1999000 | #Constraints: 33830
3045.82/3053.83 c #Conflicts: 2000000 | #Constraints: 34830
3045.82/3053.83 c #Conflicts: 2001000 | #Constraints: 35830
3045.82/3053.83 c #Conflicts: 2002000 | #Constraints: 36830
3045.82/3053.83 c #Conflicts: 2003000 | #Constraints: 37830
3045.82/3053.83 c #Conflicts: 2004000 | #Constraints: 38830
3045.82/3053.83 c #Conflicts: 2005000 | #Constraints: 39830
3045.82/3053.83 c #Conflicts: 2006000 | #Constraints: 40830
3045.82/3053.83 c #Conflicts: 2007000 | #Constraints: 41830
3045.82/3053.83 c #Conflicts: 2008000 | #Constraints: 42830
3045.82/3053.83 c #Conflicts: 2009000 | #Constraints: 43830
3045.82/3053.83 c #Conflicts: 2010000 | #Constraints: 44830
3045.82/3053.83 c #Conflicts: 2011000 | #Constraints: 45830
3045.82/3053.83 c #Conflicts: 2012000 | #Constraints: 46830
3045.82/3053.83 c #Conflicts: 2013000 | #Constraints: 47830
3045.82/3053.83 c #Conflicts: 2014000 | #Constraints: 48830
3045.82/3053.83 c #Conflicts: 2015000 | #Constraints: 49830
3045.82/3053.83 c #Conflicts: 2016000 | #Constraints: 50830
3045.82/3053.83 c #Conflicts: 2017000 | #Constraints: 51830
3045.82/3053.83 c #Conflicts: 2018000 | #Constraints: 52830
3045.82/3053.83 c #Conflicts: 2019000 | #Constraints: 53830
3045.82/3053.83 c #Conflicts: 2020000 | #Constraints: 54830
3045.82/3053.83 c #Conflicts: 2021000 | #Constraints: 55830
3045.82/3053.83 c INPROCESSING
3045.82/3053.83 c GARBAGE COLLECT
3045.82/3053.83 c #Conflicts: 2022000 | #Constraints: 28625
3045.82/3053.83 c #Conflicts: 2023000 | #Constraints: 29625
3045.82/3053.83 c #Conflicts: 2024000 | #Constraints: 30625
3045.82/3053.83 c #Conflicts: 2025000 | #Constraints: 31625
3045.82/3053.83 c #Conflicts: 2026000 | #Constraints: 32625
3045.82/3053.83 c #Conflicts: 2027000 | #Constraints: 33625
3045.82/3053.83 c #Conflicts: 2028000 | #Constraints: 34625
3045.82/3053.83 c #Conflicts: 2029000 | #Constraints: 35625
3045.82/3053.83 c #Conflicts: 2030000 | #Constraints: 36625
3045.82/3053.83 c #Conflicts: 2031000 | #Constraints: 37625
3045.82/3053.83 c #Conflicts: 2032000 | #Constraints: 38625
3045.82/3053.83 c #Conflicts: 2033000 | #Constraints: 39625
3045.82/3053.83 c #Conflicts: 2034000 | #Constraints: 40625
3045.82/3053.83 c #Conflicts: 2035000 | #Constraints: 41625
3045.82/3053.83 c #Conflicts: 2036000 | #Constraints: 42625
3045.82/3053.83 c #Conflicts: 2037000 | #Constraints: 43625
3045.82/3053.83 c #Conflicts: 2038000 | #Constraints: 44625
3045.82/3053.83 c #Conflicts: 2039000 | #Constraints: 45625
3045.82/3053.83 c #Conflicts: 2040000 | #Constraints: 46625
3045.82/3053.83 c #Conflicts: 2041000 | #Constraints: 47625
3045.82/3053.83 c #Conflicts: 2042000 | #Constraints: 48625
3045.82/3053.83 c #Conflicts: 2043000 | #Constraints: 49625
3218.39/3226.83 c #Conflicts: 2044000 | #Constraints: 50625
3218.39/3226.83 c #Conflicts: 2045000 | #Constraints: 51625
3218.39/3226.83 c #Conflicts: 2046000 | #Constraints: 52625
3218.39/3226.83 c #Conflicts: 2047000 | #Constraints: 53625
3218.39/3226.83 c #Conflicts: 2048000 | #Constraints: 54625
3218.39/3226.83 c #Conflicts: 2049000 | #Constraints: 55625
3218.39/3226.83 c #Conflicts: 2050000 | #Constraints: 56625
3218.39/3226.83 c INPROCESSING
3218.39/3226.83 c GARBAGE COLLECT
3218.39/3226.83 c #Conflicts: 2051000 | #Constraints: 29229
3218.39/3226.83 c #Conflicts: 2052000 | #Constraints: 30229
3218.39/3226.83 c #Conflicts: 2053000 | #Constraints: 31229
3218.39/3226.83 c #Conflicts: 2054000 | #Constraints: 32229
3218.39/3226.83 c #Conflicts: 2055000 | #Constraints: 33229
3218.39/3226.83 c #Conflicts: 2056000 | #Constraints: 34229
3218.39/3226.83 c #Conflicts: 2057000 | #Constraints: 35229
3218.39/3226.83 c #Conflicts: 2058000 | #Constraints: 36229
3218.39/3226.83 c #Conflicts: 2059000 | #Constraints: 37229
3218.39/3226.83 c #Conflicts: 2060000 | #Constraints: 38229
3218.39/3226.83 c #Conflicts: 2061000 | #Constraints: 39229
3218.39/3226.83 c #Conflicts: 2062000 | #Constraints: 40229
3218.39/3226.83 c #Conflicts: 2063000 | #Constraints: 41229
3218.39/3226.83 c #Conflicts: 2064000 | #Constraints: 42229
3218.39/3226.83 c #Conflicts: 2065000 | #Constraints: 43229
3218.39/3226.83 c #Conflicts: 2066000 | #Constraints: 44229
3218.39/3226.83 c #Conflicts: 2067000 | #Constraints: 45229
3218.39/3226.83 c #Conflicts: 2068000 | #Constraints: 46229
3218.39/3226.83 c #Conflicts: 2069000 | #Constraints: 47229
3218.39/3226.83 c #Conflicts: 2070000 | #Constraints: 48229
3218.39/3226.83 c #Conflicts: 2071000 | #Constraints: 49229
3218.39/3226.83 c #Conflicts: 2072000 | #Constraints: 50229
3218.39/3226.83 c #Conflicts: 2073000 | #Constraints: 51229
3218.39/3226.83 c #Conflicts: 2074000 | #Constraints: 52229
3218.39/3226.83 c #Conflicts: 2075000 | #Constraints: 53229
3218.39/3226.83 c #Conflicts: 2076000 | #Constraints: 54229
3218.39/3226.83 c #Conflicts: 2077000 | #Constraints: 55229
3218.39/3226.83 c #Conflicts: 2078000 | #Constraints: 56229
3218.39/3226.83 c #Conflicts: 2079000 | #Constraints: 57229
3218.39/3226.83 c INPROCESSING
3218.39/3226.83 c GARBAGE COLLECT
3218.39/3226.83 c #Conflicts: 2080000 | #Constraints: 29631
3218.39/3226.83 c #Conflicts: 2081000 | #Constraints: 30631
3218.39/3226.83 c #Conflicts: 2082000 | #Constraints: 31631
3218.39/3226.83 c #Conflicts: 2083000 | #Constraints: 32631
3218.39/3226.83 c #Conflicts: 2084000 | #Constraints: 33631
3218.39/3226.83 c #Conflicts: 2085000 | #Constraints: 34631
3218.39/3226.83 c #Conflicts: 2086000 | #Constraints: 35631
3218.39/3226.83 c #Conflicts: 2087000 | #Constraints: 36631
3218.39/3226.83 c #Conflicts: 2088000 | #Constraints: 37631
3218.39/3226.83 c #Conflicts: 2089000 | #Constraints: 38631
3218.39/3226.83 c #Conflicts: 2090000 | #Constraints: 39631
3218.39/3226.83 c #Conflicts: 2091000 | #Constraints: 40631
3218.39/3226.83 c #Conflicts: 2092000 | #Constraints: 41631
3218.39/3226.83 c #Conflicts: 2093000 | #Constraints: 42631
3218.39/3226.83 c #Conflicts: 2094000 | #Constraints: 43631
3218.39/3226.83 c #Conflicts: 2095000 | #Constraints: 44631
3218.39/3226.83 c #Conflicts: 2096000 | #Constraints: 45631
3218.39/3226.83 c #Conflicts: 2097000 | #Constraints: 46631
3218.39/3226.83 c #Conflicts: 2098000 | #Constraints: 47631
3218.39/3226.83 c #Conflicts: 2099000 | #Constraints: 48631
3218.39/3226.83 c #Conflicts: 2100000 | #Constraints: 49631
3218.39/3226.83 c #Conflicts: 2101000 | #Constraints: 50631
3218.39/3226.83 c #Conflicts: 2102000 | #Constraints: 51631
3218.39/3226.83 c #Conflicts: 2103000 | #Constraints: 52631
3218.39/3226.83 c #Conflicts: 2104000 | #Constraints: 53631
3218.39/3226.83 c #Conflicts: 2105000 | #Constraints: 54631
3218.39/3226.83 c #Conflicts: 2106000 | #Constraints: 55631
3218.39/3226.83 c #Conflicts: 2107000 | #Constraints: 56631
3218.39/3226.83 c #Conflicts: 2108000 | #Constraints: 57631
3218.39/3226.83 c INPROCESSING
3218.39/3226.83 c GARBAGE COLLECT
3218.39/3226.83 c #Conflicts: 2109000 | #Constraints: 29832
3218.39/3226.83 c #Conflicts: 2110000 | #Constraints: 30832
3218.39/3226.83 c #Conflicts: 2111000 | #Constraints: 31832
3218.39/3226.83 c #Conflicts: 2112000 | #Constraints: 32832
3218.39/3226.83 c #Conflicts: 2113000 | #Constraints: 33832
3218.39/3226.83 c #Conflicts: 2114000 | #Constraints: 34832
3218.39/3226.83 c #Conflicts: 2115000 | #Constraints: 35832
3218.39/3226.83 c #Conflicts: 2116000 | #Constraints: 36832
3218.39/3226.83 c #Conflicts: 2117000 | #Constraints: 37832
3218.39/3226.83 c #Conflicts: 2118000 | #Constraints: 38832
3218.39/3226.83 c #Conflicts: 2119000 | #Constraints: 39832
3218.39/3226.83 c #Conflicts: 2120000 | #Constraints: 40832
3415.50/3424.44 c #Conflicts: 2121000 | #Constraints: 41832
3415.50/3424.44 c #Conflicts: 2122000 | #Constraints: 42832
3415.50/3424.44 c #Conflicts: 2123000 | #Constraints: 43832
3415.50/3424.44 c #Conflicts: 2124000 | #Constraints: 44832
3415.50/3424.44 c #Conflicts: 2125000 | #Constraints: 45832
3415.50/3424.44 c #Conflicts: 2126000 | #Constraints: 46832
3415.50/3424.44 c #Conflicts: 2127000 | #Constraints: 47832
3415.50/3424.44 c #Conflicts: 2128000 | #Constraints: 48832
3415.50/3424.44 c #Conflicts: 2129000 | #Constraints: 49832
3415.50/3424.44 c #Conflicts: 2130000 | #Constraints: 50832
3415.50/3424.44 c #Conflicts: 2131000 | #Constraints: 51832
3415.50/3424.44 c #Conflicts: 2132000 | #Constraints: 52832
3415.50/3424.44 c #Conflicts: 2133000 | #Constraints: 53832
3415.50/3424.44 c #Conflicts: 2134000 | #Constraints: 54832
3415.50/3424.44 c #Conflicts: 2135000 | #Constraints: 55832
3415.50/3424.44 c #Conflicts: 2136000 | #Constraints: 56832
3415.50/3424.44 c #Conflicts: 2137000 | #Constraints: 57832
3415.50/3424.44 c INPROCESSING
3415.50/3424.44 c GARBAGE COLLECT
3415.50/3424.44 c #Conflicts: 2138000 | #Constraints: 29829
3415.50/3424.44 c #Conflicts: 2139000 | #Constraints: 30829
3415.50/3424.44 c #Conflicts: 2140000 | #Constraints: 31829
3415.50/3424.44 c #Conflicts: 2141000 | #Constraints: 32829
3415.50/3424.44 c #Conflicts: 2142000 | #Constraints: 33829
3415.50/3424.44 c #Conflicts: 2143000 | #Constraints: 34829
3415.50/3424.44 c #Conflicts: 2144000 | #Constraints: 35829
3415.50/3424.44 c #Conflicts: 2145000 | #Constraints: 36829
3415.50/3424.44 c #Conflicts: 2146000 | #Constraints: 37829
3415.50/3424.44 c #Conflicts: 2147000 | #Constraints: 38829
3415.50/3424.44 c #Conflicts: 2148000 | #Constraints: 39829
3415.50/3424.44 c #Conflicts: 2149000 | #Constraints: 40829
3415.50/3424.44 c #Conflicts: 2150000 | #Constraints: 41829
3415.50/3424.44 c #Conflicts: 2151000 | #Constraints: 42829
3415.50/3424.44 c #Conflicts: 2152000 | #Constraints: 43829
3415.50/3424.44 c #Conflicts: 2153000 | #Constraints: 44829
3415.50/3424.44 c #Conflicts: 2154000 | #Constraints: 45829
3415.50/3424.44 c #Conflicts: 2155000 | #Constraints: 46829
3415.50/3424.44 c #Conflicts: 2156000 | #Constraints: 47829
3415.50/3424.44 c #Conflicts: 2157000 | #Constraints: 48829
3415.50/3424.44 c #Conflicts: 2158000 | #Constraints: 49829
3415.50/3424.44 c #Conflicts: 2159000 | #Constraints: 50829
3415.50/3424.44 c #Conflicts: 2160000 | #Constraints: 51829
3415.50/3424.44 c #Conflicts: 2161000 | #Constraints: 52829
3415.50/3424.44 c #Conflicts: 2162000 | #Constraints: 53829
3415.50/3424.44 c #Conflicts: 2163000 | #Constraints: 54829
3415.50/3424.44 c #Conflicts: 2164000 | #Constraints: 55829
3415.50/3424.44 c #Conflicts: 2165000 | #Constraints: 56829
3415.50/3424.44 c #Conflicts: 2166000 | #Constraints: 57829
3415.50/3424.44 c INPROCESSING
3415.50/3424.44 c GARBAGE COLLECT
3415.50/3424.44 c #Conflicts: 2167000 | #Constraints: 29632
3415.50/3424.44 c #Conflicts: 2168000 | #Constraints: 30632
3415.50/3424.44 c #Conflicts: 2169000 | #Constraints: 31632
3415.50/3424.44 c #Conflicts: 2170000 | #Constraints: 32632
3415.50/3424.44 c #Conflicts: 2171000 | #Constraints: 33632
3415.50/3424.44 c #Conflicts: 2172000 | #Constraints: 34632
3415.50/3424.44 c #Conflicts: 2173000 | #Constraints: 35632
3415.50/3424.44 c #Conflicts: 2174000 | #Constraints: 36632
3415.50/3424.44 c #Conflicts: 2175000 | #Constraints: 37632
3415.50/3424.44 c #Conflicts: 2176000 | #Constraints: 38632
3415.50/3424.44 c #Conflicts: 2177000 | #Constraints: 39632
3415.50/3424.44 c #Conflicts: 2178000 | #Constraints: 40632
3415.50/3424.44 c #Conflicts: 2179000 | #Constraints: 41632
3415.50/3424.44 c #Conflicts: 2180000 | #Constraints: 42632
3415.50/3424.44 c #Conflicts: 2181000 | #Constraints: 43632
3415.50/3424.44 c #Conflicts: 2182000 | #Constraints: 44632
3415.50/3424.44 c #Conflicts: 2183000 | #Constraints: 45632
3415.50/3424.44 c #Conflicts: 2184000 | #Constraints: 46632
3415.50/3424.44 c #Conflicts: 2185000 | #Constraints: 47632
3415.50/3424.44 c #Conflicts: 2186000 | #Constraints: 48632
3415.50/3424.44 c #Conflicts: 2187000 | #Constraints: 49632
3415.50/3424.44 c #Conflicts: 2188000 | #Constraints: 50632
3415.50/3424.44 c #Conflicts: 2189000 | #Constraints: 51632
3415.50/3424.44 c #Conflicts: 2190000 | #Constraints: 52632
3415.50/3424.44 c #Conflicts: 2191000 | #Constraints: 53632
3415.50/3424.44 c #Conflicts: 2192000 | #Constraints: 54632
3415.50/3424.44 c #Conflicts: 2193000 | #Constraints: 55632
3415.50/3424.44 c #Conflicts: 2194000 | #Constraints: 56632
3415.50/3424.44 c #Conflicts: 2195000 | #Constraints: 57632
3415.50/3424.44 c #Conflicts: 2196000 | #Constraints: 58632
3415.50/3424.44 c INPROCESSING
3415.50/3424.44 c GARBAGE COLLECT
3415.50/3424.44 c #Conflicts: 2197000 | #Constraints: 30233
3596.66/3606.01 c #Conflicts: 2198000 | #Constraints: 31233
3596.66/3606.01 c #Conflicts: 2199000 | #Constraints: 32233
3596.66/3606.01 c #Conflicts: 2200000 | #Constraints: 33233
3596.66/3606.01 c #Conflicts: 2201000 | #Constraints: 34233
3596.66/3606.01 c #Conflicts: 2202000 | #Constraints: 35233
3596.66/3606.01 c #Conflicts: 2203000 | #Constraints: 36233
3596.66/3606.01 c #Conflicts: 2204000 | #Constraints: 37233
3596.66/3606.01 c #Conflicts: 2205000 | #Constraints: 38233
3596.66/3606.01 c #Conflicts: 2206000 | #Constraints: 39233
3596.66/3606.01 c #Conflicts: 2207000 | #Constraints: 40233
3596.66/3606.01 c #Conflicts: 2208000 | #Constraints: 41233
3596.66/3606.01 c #Conflicts: 2209000 | #Constraints: 42233
3596.66/3606.01 c #Conflicts: 2210000 | #Constraints: 43233
3596.66/3606.01 c #Conflicts: 2211000 | #Constraints: 44233
3596.66/3606.01 c #Conflicts: 2212000 | #Constraints: 45233
3596.66/3606.01 c #Conflicts: 2213000 | #Constraints: 46233
3596.66/3606.01 c #Conflicts: 2214000 | #Constraints: 47233
3596.66/3606.01 c #Conflicts: 2215000 | #Constraints: 48233
3596.66/3606.01 c #Conflicts: 2216000 | #Constraints: 49233
3596.66/3606.01 c #Conflicts: 2217000 | #Constraints: 50233
3596.66/3606.01 c #Conflicts: 2218000 | #Constraints: 51233
3596.66/3606.01 c #Conflicts: 2219000 | #Constraints: 52233
3596.66/3606.01 c #Conflicts: 2220000 | #Constraints: 53233
3596.66/3606.01 c #Conflicts: 2221000 | #Constraints: 54233
3596.66/3606.01 c #Conflicts: 2222000 | #Constraints: 55233
3596.66/3606.01 c #Conflicts: 2223000 | #Constraints: 56233
3596.66/3606.01 c #Conflicts: 2224000 | #Constraints: 57233
3596.66/3606.01 c #Conflicts: 2225000 | #Constraints: 58233
3596.66/3606.01 c #Conflicts: 2226000 | #Constraints: 59233
3596.66/3606.01 c INPROCESSING
3596.66/3606.01 c GARBAGE COLLECT
3596.66/3606.01 c #Conflicts: 2227000 | #Constraints: 30634
3596.66/3606.01 c #Conflicts: 2228000 | #Constraints: 31634
3596.66/3606.01 c #Conflicts: 2229000 | #Constraints: 32634
3596.66/3606.01 c #Conflicts: 2230000 | #Constraints: 33634
3596.66/3606.01 c #Conflicts: 2231000 | #Constraints: 34634
3596.66/3606.01 c #Conflicts: 2232000 | #Constraints: 35634
3596.66/3606.01 c #Conflicts: 2233000 | #Constraints: 36634
3596.66/3606.01 c #Conflicts: 2234000 | #Constraints: 37634
3596.66/3606.01 c #Conflicts: 2235000 | #Constraints: 38634
3596.66/3606.01 c #Conflicts: 2236000 | #Constraints: 39634
3596.66/3606.01 c #Conflicts: 2237000 | #Constraints: 40634
3596.66/3606.01 c #Conflicts: 2238000 | #Constraints: 41634
3596.66/3606.01 c #Conflicts: 2239000 | #Constraints: 42634
3596.66/3606.01 c #Conflicts: 2240000 | #Constraints: 43634
3596.66/3606.01 c #Conflicts: 2241000 | #Constraints: 44634
3596.66/3606.01 c #Conflicts: 2242000 | #Constraints: 45634
3596.66/3606.01 c #Conflicts: 2243000 | #Constraints: 46634
3596.66/3606.01 c #Conflicts: 2244000 | #Constraints: 47634
3596.66/3606.01 c #Conflicts: 2245000 | #Constraints: 48634
3596.66/3606.01 c #Conflicts: 2246000 | #Constraints: 49634
3596.66/3606.01 c #Conflicts: 2247000 | #Constraints: 50634
3596.66/3606.01 c #Conflicts: 2248000 | #Constraints: 51634
3596.66/3606.01 c #Conflicts: 2249000 | #Constraints: 52634
3596.66/3606.01 c #Conflicts: 2250000 | #Constraints: 53634
3596.66/3606.01 c #Conflicts: 2251000 | #Constraints: 54634
3596.66/3606.01 c #Conflicts: 2252000 | #Constraints: 55634
3596.66/3606.01 c #Conflicts: 2253000 | #Constraints: 56634
3596.66/3606.01 c #Conflicts: 2254000 | #Constraints: 57634
3596.66/3606.01 c #Conflicts: 2255000 | #Constraints: 58634
3596.66/3606.01 c #Conflicts: 2256000 | #Constraints: 59634
3596.66/3606.01 c INPROCESSING
3596.66/3606.01 c GARBAGE COLLECT
3596.66/3606.01 c #Conflicts: 2257000 | #Constraints: 30831
3596.66/3606.01 c #Conflicts: 2258000 | #Constraints: 31831
3596.66/3606.01 c #Conflicts: 2259000 | #Constraints: 32831
3596.66/3606.01 c #Conflicts: 2260000 | #Constraints: 33831
3596.66/3606.01 c #Conflicts: 2261000 | #Constraints: 34831
3596.66/3606.01 c #Conflicts: 2262000 | #Constraints: 35831
3596.66/3606.01 c #Conflicts: 2263000 | #Constraints: 36831
3596.66/3606.01 c #Conflicts: 2264000 | #Constraints: 37831
3596.66/3606.01 c #Conflicts: 2265000 | #Constraints: 38831
3596.66/3606.01 c #Conflicts: 2266000 | #Constraints: 39831
3596.66/3606.01 c #Conflicts: 2267000 | #Constraints: 40831
3596.66/3606.01 c #Conflicts: 2268000 | #Constraints: 41831
3596.66/3606.01 c #Conflicts: 2269000 | #Constraints: 42831
3596.66/3606.01 c #Conflicts: 2270000 | #Constraints: 43831
3596.66/3606.01 c #Conflicts: 2271000 | #Constraints: 44831
3596.66/3606.01 c #Conflicts: 2272000 | #Constraints: 45831
3596.66/3606.01 c #Conflicts: 2273000 | #Constraints: 46831
3596.66/3606.01 c #Conflicts: 2274000 | #Constraints: 47831
3600.05/3609.40 c #Conflicts: 2275000 | #Constraints: 48831
3600.05/3609.40 c Program interrupted by user.
3600.05/3609.40 c cpu time 3590.46 s
3600.05/3609.40 c deterministic time 551995469352 5.52e+11
3600.05/3609.40 c optimization time 41.9757 s
3600.05/3609.40 c total solve time 3249.56 s
3600.05/3609.40 c core-guided solve time 3249.56 s
3600.05/3609.40 c propagation time 3143.68 s
3600.05/3609.40 c conflict analysis time 134.065 s
3600.05/3609.40 c propagations 25019245
3600.05/3609.40 c resolve steps 10797708
3600.05/3609.40 c decisions 3615123
3600.05/3609.40 c conflicts 2275116
3600.05/3609.40 c restarts 4094
3600.05/3609.40 c inprocessing phases 141
3600.05/3609.40 c input clauses 0
3600.05/3609.40 c input cardinalities 0
3600.05/3609.40 c input general constraints 13
3600.05/3609.40 c input average constraint length 68.31
3600.05/3609.40 c input average constraint degree 1560.85
3600.05/3609.40 c learned clauses 1368657
3600.05/3609.40 c learned cardinalities 0
3600.05/3609.40 c learned general constraints 906458
3600.05/3609.40 c learned average constraint length 41.80
3600.05/3609.40 c learned average constraint degree 99723.10
3600.05/3609.40 c watched constraints 899662
3600.05/3609.40 c counting constraints 6809
3600.05/3609.40 c gcd simplifications 1228976
3600.05/3609.40 c detected cardinalities 0
3600.05/3609.40 c weakened non-implied lits 23663843
3600.05/3609.40 c weakened non-implying lits 1957918
3600.05/3609.40 c original variables 146
3600.05/3609.40 c clausal propagations 387590
3600.05/3609.40 c cardinality propagations 0
3600.05/3609.40 c watched propagations 14917015
3600.05/3609.40 c counting propagations 7863192
3600.05/3609.40 c watch lookups 39534849046
3600.05/3609.40 c watch backjump lookups 17619474561
3600.05/3609.40 c watch checks 419912496411
3600.05/3609.40 c propagation checks 74186617300
3600.05/3609.40 c constraint additions 682488314
3600.05/3609.40 c trail pops 30909351
3600.05/3609.40 c formula constraints 12
3600.05/3609.40 c learned constraints 2275115
3600.05/3609.40 c bound constraints 1
3600.05/3609.40 c core-guided constraints 0
3600.05/3609.40 c encountered formula constraints 2385475
3600.05/3609.40 c encountered learned constraints 10687349
3600.05/3609.40 c encountered bound constraints 0
3600.05/3609.40 c encountered core-guided constraints 0
3600.05/3609.40 c LP total time 0 s
3600.05/3609.40 c LP solve time 0 s
3600.05/3609.40 c LP constraints added 0
3600.05/3609.40 c LP constraints removed 0
3600.05/3609.40 c LP pivots internal 0
3600.05/3609.40 c LP pivots root 0
3600.05/3609.40 c LP calls 0
3600.05/3609.40 c LP optimalities 0
3600.05/3609.40 c LP no pivot count 0
3600.05/3609.40 c LP infeasibilities 0
3600.05/3609.40 c LP valid Farkas constraints 0
3600.05/3609.40 c LP learned Farkas constraints 0
3600.05/3609.40 c LP basis resets 0
3600.05/3609.40 c LP cycling count 0
3600.05/3609.40 c LP singular count 0
3600.05/3609.40 c LP no primal count 0
3600.05/3609.40 c LP no farkas count 0
3600.05/3609.40 c LP other issue count 0
3600.05/3609.40 c LP Gomory cuts 0
3600.05/3609.40 c LP learned cuts 0
3600.05/3609.40 c LP deleted cuts 0
3600.05/3609.40 c LP encountered Gomory constraints 0
3600.05/3609.40 c LP encountered Farkas constraints 0
3600.05/3609.40 c LP encountered learned Farkas constraints 0
3600.05/3609.40 c CG auxiliary variables introduced 0
3600.05/3609.40 c CG solutions found 0
3600.05/3609.40 c CG cores constructed 0
3600.05/3609.40 c CG core cardinality constraints returned 0
3600.05/3609.40 c CG unit cores 0
3600.05/3609.40 c CG single cores 0
3600.05/3609.40 c CG blocks removed during cardinality reduction 0
3600.05/3609.40 c CG first core best 0
3600.05/3609.40 c CG decision core best 0
3600.05/3609.40 c CG core reduction tie 0
3600.05/3609.40 c CG core degree average 0.00
3600.05/3609.40 c CG core slack average 0.00
3600.05/3609.40 c CG exhausted 0
3600.05/3609.40 c CG exhaust time 0 s
3600.05/3609.40 c CG trimmed 0
3600.05/3609.40 c CG trim time 0 s
3600.05/3609.40 c CG minimized 0
3600.05/3609.40 c CG minimize time 0 s
3600.05/3609.40 c CG am1 prop time 2e-05 s
3600.05/3609.40 c CG # am1s reformulated 0
3600.05/3609.40 c CG lower bound derived from am1s 0
3600.05/3609.40 c CG # clausal cores 0
3600.05/3609.40 c CG # cardinality cores 0
3600.05/3609.40 c CG # pb cores 0
3600.05/3609.40 c CG # pb reforms 0
3600.05/3609.40 c CG # cores discarded because of pb reform 0
3600.05/3609.40 d LOWERBOUND 0
3600.05/3609.40 d NCORES 0
3600.05/3609.40 d NPBCORES 0
3600.05/3609.40 d NPBREFORM 0
3600.05/3609.40 d NTRIMMED 0
3600.05/3609.40 d NEXHAUSTED 0
3600.05/3609.40 d NAM1S 0
3600.05/3609.40 d AM1LB 0
3600.05/3609.40 c [Papilo Statistics]
3600.05/3609.40 c prepro time 0.000371392s
3600.05/3609.40 c # tsx applied 6
3600.05/3609.40 c # tsx conflicts 0
3600.05/3609.40 c # bound changes 0
3600.05/3609.40 c # side changes 6
3600.05/3609.40 c # coef changes 0
3600.05/3609.40 c # rounds 2
3600.05/3609.40 c # deted vars 0
3600.05/3609.40 c # deted constrs 6
3600.05/3609.40 c # consecutive rounds of only bound changes 0
3600.05/3609.40 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 (62382 MiB free)
memory of node 1: 64473 MiB (62641 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454759-1721470512/watcher-4454759-1721470512 -o /tmp/evaluation-result-4454759-1721470512/solver-4454759-1721470512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721470207-1060043 --watchdog 3760 mixed-bag HOME/instance-4454759-1721470512.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=1060342, runsolver pid=1060339
[startup+0.100088 s]*
/proc/loadavg: 4.05 3.27 3.13 5/257 1060343
/proc/meminfo: memFree=128006776/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=100072 memory=31824 CPUtime=0.09 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 4261 0 0 0 9 0 0 0 20 0 1 0 199216121 102473728 7956 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 25018 7956 4111 3002 0 8767 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 100072 KiB
Current children cumulated memory: 31824 KiB
[startup+0.205608 s]*
/proc/loadavg: 4.05 3.27 3.13 5/257 1060343
/proc/meminfo: memFree=128004088/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=100984 memory=32880 CPUtime=0.2 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 4523 0 0 0 20 0 0 0 20 0 1 0 199216121 103407616 8220 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 25246 8220 4111 3002 0 8995 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 100984 KiB
Current children cumulated memory: 32880 KiB
[startup+0.305451 s]*
/proc/loadavg: 4.05 3.27 3.13 5/257 1060343
/proc/meminfo: memFree=128003752/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=100984 memory=32880 CPUtime=0.3 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 4526 0 0 0 30 0 0 0 20 0 1 0 199216121 103407616 8220 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 25246 8220 4111 3002 0 8995 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 100984 KiB
Current children cumulated memory: 32880 KiB
[startup+0.700197 s]
/proc/loadavg: 4.05 3.27 3.13 5/257 1060343
/proc/meminfo: memFree=128002928/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=103004 memory=35520 CPUtime=0.68 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 5169 0 0 0 68 0 0 0 20 0 1 0 199216121 105476096 8880 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 25751 8880 4111 3002 0 9500 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 103004 KiB
Current children cumulated memory: 35520 KiB
[startup+1.50019 s]
/proc/loadavg: 4.05 3.27 3.13 5/257 1060343
/proc/meminfo: memFree=127994764/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=107960 memory=40536 CPUtime=1.49 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 6402 0 0 0 148 1 0 0 20 0 1 0 199216121 110551040 10134 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 26990 10134 4111 3002 0 10739 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 107960 KiB
Current children cumulated memory: 40536 KiB
[startup+3.10544 s]
/proc/loadavg: 4.05 3.28 3.13 5/257 1060344
/proc/meminfo: memFree=127974448/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=110860 memory=44164 CPUtime=3.08 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 7594 0 0 0 307 1 0 0 20 0 1 0 199216121 113520640 11041 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 27715 11041 4111 3002 0 11464 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 110860 KiB
Current children cumulated memory: 44164 KiB
[startup+6.30015 s]
/proc/loadavg: 4.05 3.28 3.13 5/257 1060344
/proc/meminfo: memFree=127944488/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=121684 memory=54140 CPUtime=6.26 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 10157 0 0 0 625 1 0 0 20 0 1 0 199216121 124604416 13535 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 30421 13535 4111 3002 0 14170 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 121684 KiB
Current children cumulated memory: 54140 KiB
[startup+12.7001 s]
/proc/loadavg: 4.05 3.29 3.14 5/254 1060346
/proc/meminfo: memFree=127906824/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=126152 memory=58628 CPUtime=12.64 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 11287 0 0 0 1263 1 0 0 20 0 1 0 199216121 129179648 14657 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 31538 14657 4111 3002 0 15287 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 126152 KiB
Current children cumulated memory: 58628 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 3.34 3.16 5/254 1060347
/proc/meminfo: memFree=127839016/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=133752 memory=66020 CPUtime=25.4 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 13170 0 0 0 2538 2 0 0 20 0 1 0 199216121 136962048 16505 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 33438 16505 4111 3002 0 17187 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 133752 KiB
Current children cumulated memory: 66020 KiB
[startup+51.1055 s]
/proc/loadavg: 4.07 3.40 3.18 5/254 1060352
/proc/meminfo: memFree=127704596/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=137772 memory=71256 CPUtime=50.91 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 14342 0 0 0 5089 2 0 0 20 0 1 0 199216121 141078528 17814 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 34443 17814 4241 3002 0 18192 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 137772 KiB
Current children cumulated memory: 71256 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 3.51 3.23 5/255 1060363
/proc/meminfo: memFree=127513216/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=143172 memory=76320 CPUtime=101.92 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 15835 0 0 0 10190 2 0 0 20 0 1 0 199216121 146608128 19080 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 35793 19080 4241 3002 0 19542 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 143172 KiB
Current children cumulated memory: 76320 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 3.63 3.29 5/255 1060373
/proc/meminfo: memFree=127317348/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=149328 memory=82772 CPUtime=161.71 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 17493 0 0 0 16168 3 0 0 20 0 1 0 199216121 152911872 20693 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 37332 20693 4241 3002 0 21081 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 149328 KiB
Current children cumulated memory: 82772 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.71 3.34 5/255 1060383
/proc/meminfo: memFree=127184688/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=149712 memory=83224 CPUtime=221.49 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 17656 0 0 0 22146 3 0 0 20 0 1 0 199216121 153305088 20806 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 37428 20806 4241 3002 0 21177 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 149712 KiB
Current children cumulated memory: 83224 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.80 3.40 5/255 1060394
/proc/meminfo: memFree=127057512/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=153808 memory=86368 CPUtime=281.27 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 18437 0 0 0 28124 3 0 0 20 0 1 0 199216121 157499392 21592 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 38452 21592 4241 3002 0 22201 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 153808 KiB
Current children cumulated memory: 86368 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.85 3.44 5/257 1060408
/proc/meminfo: memFree=127432500/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=146632 memory=85412 CPUtime=341.11 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 19121 0 0 0 34063 48 0 0 20 0 1 0 199216121 150151168 21353 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 36658 21353 4353 3002 0 20407 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 146632 KiB
Current children cumulated memory: 85412 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.91 3.49 5/257 1060419
/proc/meminfo: memFree=127419228/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=149352 memory=87576 CPUtime=400.95 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 19565 0 0 0 40008 87 0 0 20 0 1 0 199216121 152936448 21894 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 37338 21894 4353 3002 0 21087 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 149352 KiB
Current children cumulated memory: 87576 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.95 3.53 5/257 1060430
/proc/meminfo: memFree=127406088/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=149352 memory=93856 CPUtime=460.81 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 19791 0 0 0 45962 119 0 0 20 0 1 0 199216121 152936448 23464 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 37338 23464 4353 3002 0 21087 0
################
# More data... #
################
Current children cumulated memory: 104404 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 1062044
/proc/meminfo: memFree=127328284/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=160952 memory=104404 CPUtime=2854.81 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 21784 0 0 0 284660 821 0 0 20 0 1 0 199216121 164814848 26101 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 40238 26101 4353 3002 0 23987 0
Current children cumulated CPU time: 2854.81 s
Current children cumulated vsize: 160952 KiB
Current children cumulated memory: 104404 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 1062055
/proc/meminfo: memFree=127328040/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=160952 memory=104404 CPUtime=2914.66 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 21819 0 0 0 290632 834 0 0 20 0 1 0 199216121 164814848 26101 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 40238 26101 4353 3002 0 23987 0
Current children cumulated CPU time: 2914.66 s
Current children cumulated vsize: 160952 KiB
Current children cumulated memory: 104404 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 1062067
/proc/meminfo: memFree=127327576/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=160952 memory=104404 CPUtime=2974.5 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 21854 0 0 0 296603 847 0 0 20 0 1 0 199216121 164814848 26101 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 40238 26101 4353 3002 0 23987 0
Current children cumulated CPU time: 2974.5 s
Current children cumulated vsize: 160952 KiB
Current children cumulated memory: 104404 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 1062077
/proc/meminfo: memFree=127327280/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=160952 memory=104408 CPUtime=3034.35 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 21897 0 0 0 302576 859 0 0 20 0 1 0 199216121 164814848 26102 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 40238 26102 4353 3002 0 23987 0
Current children cumulated CPU time: 3034.35 s
Current children cumulated vsize: 160952 KiB
Current children cumulated memory: 104408 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/254 1062087
/proc/meminfo: memFree=127326724/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=160952 memory=104408 CPUtime=3094.21 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 21952 0 0 0 308549 872 0 0 20 0 1 0 199216121 164814848 26102 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 40238 26102 4353 3002 0 23987 0
Current children cumulated CPU time: 3094.21 s
Current children cumulated vsize: 160952 KiB
Current children cumulated memory: 104408 KiB
[startup+3162.3 s]
/proc/loadavg: 4.22 4.16 4.10 5/254 1062098
/proc/meminfo: memFree=127326108/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=160952 memory=104516 CPUtime=3154.05 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 21999 0 0 0 314523 882 0 0 20 0 1 0 199216121 164814848 26129 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 40238 26129 4353 3002 0 23987 0
Current children cumulated CPU time: 3154.05 s
Current children cumulated vsize: 160952 KiB
Current children cumulated memory: 104516 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/255 1062109
/proc/meminfo: memFree=127325644/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=160952 memory=104564 CPUtime=3213.9 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 22073 0 0 0 320498 892 0 0 20 0 1 0 199216121 164814848 26141 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 40238 26141 4353 3002 0 23987 0
Current children cumulated CPU time: 3213.9 s
Current children cumulated vsize: 160952 KiB
Current children cumulated memory: 104564 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/257 1062123
/proc/meminfo: memFree=127324092/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=160952 memory=105432 CPUtime=3273.76 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 22298 0 0 0 326475 901 0 0 20 0 1 0 199216121 164814848 26358 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 40238 26358 4353 3002 0 23987 0
Current children cumulated CPU time: 3273.76 s
Current children cumulated vsize: 160952 KiB
Current children cumulated memory: 105432 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 1062134
/proc/meminfo: memFree=127323820/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=160952 memory=105432 CPUtime=3333.6 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 22333 0 0 0 332448 912 0 0 20 0 1 0 199216121 164814848 26358 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 40238 26358 4353 3002 0 23987 0
Current children cumulated CPU time: 3333.6 s
Current children cumulated vsize: 160952 KiB
Current children cumulated memory: 105432 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 1062144
/proc/meminfo: memFree=127323428/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=160952 memory=105480 CPUtime=3393.45 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 22368 0 0 0 338423 922 0 0 20 0 1 0 199216121 164814848 26370 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 40238 26370 4353 3002 0 23987 0
Current children cumulated CPU time: 3393.45 s
Current children cumulated vsize: 160952 KiB
Current children cumulated memory: 105480 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1062154
/proc/meminfo: memFree=127320764/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=160952 memory=105480 CPUtime=3453.31 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 22403 0 0 0 344398 933 0 0 20 0 1 0 199216121 164814848 26370 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 40238 26370 4353 3002 0 23987 0
Current children cumulated CPU time: 3453.31 s
Current children cumulated vsize: 160952 KiB
Current children cumulated memory: 105480 KiB
[startup+3522.3 s]
/proc/loadavg: 4.44 4.20 4.12 5/256 1062165
/proc/meminfo: memFree=127318536/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=160952 memory=105480 CPUtime=3513.16 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 22438 0 0 0 350373 943 0 0 20 0 1 0 199216121 164814848 26370 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 40238 26370 4353 3002 0 23987 0
Current children cumulated CPU time: 3513.16 s
Current children cumulated vsize: 160952 KiB
Current children cumulated memory: 105480 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/256 1062176
/proc/meminfo: memFree=127318000/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=160952 memory=105480 CPUtime=3573.01 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 22473 0 0 0 356348 953 0 0 20 0 1 0 199216121 164814848 26370 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 40238 26370 4353 3002 0 23987 0
Current children cumulated CPU time: 3573.01 s
Current children cumulated vsize: 160952 KiB
Current children cumulated memory: 105480 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.25 4.19 4.12 5/257 1062319
/proc/meminfo: memFree=127218860/131524600 swapFree=131070704/131071996
[pid=1060342] ppid=1060339 vsize=160952 memory=105480 CPUtime=3600.05 cores=1,3
/proc/1060342/stat : 1060342 (mixed-bag) R 1060339 1060342 1060031 0 -1 4194304 22508 0 0 0 359046 959 0 0 20 0 1 0 199216121 164814848 26370 134679101440 4194304 16488053 140727931384016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 47439872 140727931388949 140727931389026 140727931389026 140727931396043 0
/proc/1060342/statm: 40238 26370 4353 3002 0 23987 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 160952 KiB
Current children cumulated memory: 105480 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.4 s]
# the end of solver process 1060342 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.46 s, system=9.59392 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.4
CPU time (s): 3600.06
CPU user time (s): 3590.46
CPU system time (s): 9.59392
CPU usage (%): 99.741
Max. virtual memory (cumulated for all children) (KiB): 160952
Max. memory (cumulated for all children) (KiB): 105480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.46
system time used= 9.59392
maximum resident set size= 106108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22527
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= 38
involuntary context switches= 1467
# summary of solver processes directly reported to runsolver:
# pid: 1060342
# total CPU time (s): 3600.06
# total CPU user time (s): 3590.46
# total CPU system time (s): 9.59392
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8023 second user time and 16.1376 second system time
The end
Begin job on nodeC023 at 2024-07-20 12:15:24
IDJOB=4454759
IDBENCH=147594
IDSOLVER=3083
FILE ID=nodeC023/4454759-1721470512
RUNJOBID= nodeC023-1721470207-1060043
SLURM_JOB_ID= 7545734
Free space on /tmp= 890036 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454759-1721470512/watcher-4454759-1721470512 -o /tmp/evaluation-result-4454759-1721470512/solver-4454759-1721470512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721470207-1060043 --watchdog 3760 mixed-bag HOME/instance-4454759-1721470512.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d93197574d7bf829fc84498a7cd9d0ce
RANDOM SEED=395340864
nodeC023.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 : 3600.402
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.61
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 : 3669.000
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.48
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 : 3677.773
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.61
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 : 3666.156
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.48
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 : 3677.787
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.61
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 : 3672.602
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.48
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 : 3600.023
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.61
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.425
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128025312 kB
MemAvailable: 129660776 kB
Buffers: 603124 kB
Cached: 1876776 kB
SwapCached: 80 kB
Active: 1275544 kB
Inactive: 1674568 kB
Active(anon): 1604 kB
Inactive(anon): 514024 kB
Active(file): 1273940 kB
Inactive(file): 1160544 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 65400 kB
Writeback: 0 kB
AnonPages: 469816 kB
Mapped: 139664 kB
Shmem: 45728 kB
KReclaimable: 81604 kB
Slab: 173804 kB
SReclaimable: 81604 kB
SUnreclaim: 92200 kB
KernelStack: 4192 kB
PageTables: 10720 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 883604 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 247808 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: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889988 MiB
End job on nodeC023 at 2024-07-20 13:15:34