0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
299.22/300.37 c [STEP] preprocessing done, loading into solver
299.22/300.37 c [STEP] solving
299.22/300.37 c #variables 61 #constraints 14
315.78/316.98 c #Conflicts: 1000 | #Constraints: 1013
315.78/316.98 c #Conflicts: 2000 | #Constraints: 2013
315.78/316.98 c INPROCESSING
315.78/316.98 c GARBAGE COLLECT
315.78/316.98 c #Conflicts: 3000 | #Constraints: 2018
315.78/316.98 c #Conflicts: 4000 | #Constraints: 3018
315.78/316.98 c INPROCESSING
315.78/316.98 c GARBAGE COLLECT
315.78/316.98 c #Conflicts: 5000 | #Constraints: 2420
315.78/316.98 c #Conflicts: 6000 | #Constraints: 3420
315.78/316.98 c INPROCESSING
315.78/316.98 c GARBAGE COLLECT
315.78/316.98 c #Conflicts: 7000 | #Constraints: 2422
315.78/316.98 c #Conflicts: 8000 | #Constraints: 3422
315.78/316.98 c #Conflicts: 9000 | #Constraints: 4422
315.78/316.98 c INPROCESSING
315.78/316.98 c GARBAGE COLLECT
315.78/316.98 c #Conflicts: 10000 | #Constraints: 3122
315.78/316.98 c #Conflicts: 11000 | #Constraints: 4122
315.78/316.98 c #Conflicts: 12000 | #Constraints: 5122
315.78/316.98 c INPROCESSING
315.78/316.98 c GARBAGE COLLECT
315.78/316.98 c #Conflicts: 13000 | #Constraints: 3572
315.78/316.98 c #Conflicts: 14000 | #Constraints: 4572
315.78/316.98 c #Conflicts: 15000 | #Constraints: 5572
315.78/316.98 c INPROCESSING
315.78/316.98 c GARBAGE COLLECT
315.78/316.98 c #Conflicts: 16000 | #Constraints: 3799
315.78/316.98 c #Conflicts: 17000 | #Constraints: 4799
315.78/316.98 c #Conflicts: 18000 | #Constraints: 5799
315.78/316.98 c INPROCESSING
315.78/316.98 c GARBAGE COLLECT
315.78/316.98 c #Conflicts: 19000 | #Constraints: 3812
315.78/316.98 c #Conflicts: 20000 | #Constraints: 4812
315.78/316.98 c #Conflicts: 21000 | #Constraints: 5812
315.78/316.98 c INPROCESSING
315.78/316.98 c GARBAGE COLLECT
315.78/316.98 c #Conflicts: 22000 | #Constraints: 3615
315.78/316.98 c #Conflicts: 23000 | #Constraints: 4615
315.78/316.98 c #Conflicts: 24000 | #Constraints: 5615
315.78/316.98 c #Conflicts: 25000 | #Constraints: 6615
315.78/316.98 c INPROCESSING
315.78/316.98 c GARBAGE COLLECT
315.78/316.98 c #Conflicts: 26000 | #Constraints: 4217
315.78/316.98 c #Conflicts: 27000 | #Constraints: 5217
315.78/316.98 c #Conflicts: 28000 | #Constraints: 6217
315.78/316.98 c #Conflicts: 29000 | #Constraints: 7217
315.78/316.98 c INPROCESSING
315.78/316.98 c GARBAGE COLLECT
315.78/316.98 c #Conflicts: 30000 | #Constraints: 4618
315.78/316.98 c #Conflicts: 31000 | #Constraints: 5618
315.78/316.98 c #Conflicts: 32000 | #Constraints: 6618
315.78/316.98 c #Conflicts: 33000 | #Constraints: 7618
315.78/316.98 c INPROCESSING
315.78/316.98 c GARBAGE COLLECT
315.78/316.98 c #Conflicts: 34000 | #Constraints: 4822
315.78/316.98 c #Conflicts: 35000 | #Constraints: 5822
315.78/316.98 c #Conflicts: 36000 | #Constraints: 6822
315.78/316.98 c #Conflicts: 37000 | #Constraints: 7822
315.78/316.98 c INPROCESSING
315.78/316.98 c GARBAGE COLLECT
315.78/316.98 c #Conflicts: 38000 | #Constraints: 4825
315.78/316.98 c #Conflicts: 39000 | #Constraints: 5825
315.78/316.98 c #Conflicts: 40000 | #Constraints: 6825
315.78/316.98 c #Conflicts: 41000 | #Constraints: 7825
315.78/316.98 c INPROCESSING
315.78/316.98 c GARBAGE COLLECT
315.78/316.98 c #Conflicts: 42000 | #Constraints: 4629
315.78/316.98 c #Conflicts: 43000 | #Constraints: 5629
315.78/316.98 c #Conflicts: 44000 | #Constraints: 6629
315.78/316.98 c #Conflicts: 45000 | #Constraints: 7629
315.78/316.98 c #Conflicts: 46000 | #Constraints: 8629
315.78/316.98 c INPROCESSING
315.78/316.98 c GARBAGE COLLECT
315.78/316.98 c #Conflicts: 47000 | #Constraints: 5224
315.78/316.98 c #Conflicts: 48000 | #Constraints: 6224
315.78/316.98 c #Conflicts: 49000 | #Constraints: 7224
315.78/316.98 c #Conflicts: 50000 | #Constraints: 8224
315.78/316.98 c #Conflicts: 51000 | #Constraints: 9224
315.78/316.98 c INPROCESSING
315.78/316.98 c GARBAGE COLLECT
315.78/316.98 c #Conflicts: 52000 | #Constraints: 5623
315.78/316.98 c #Conflicts: 53000 | #Constraints: 6623
315.78/316.98 c #Conflicts: 54000 | #Constraints: 7623
315.78/316.98 c #Conflicts: 55000 | #Constraints: 8623
315.78/316.98 c #Conflicts: 56000 | #Constraints: 9623
315.78/316.98 c INPROCESSING
315.78/316.98 c GARBAGE COLLECT
315.78/316.98 c #Conflicts: 57000 | #Constraints: 5825
315.78/316.98 c #Conflicts: 58000 | #Constraints: 6825
315.78/316.98 c #Conflicts: 59000 | #Constraints: 7825
315.78/316.98 c #Conflicts: 60000 | #Constraints: 8825
315.78/316.98 c #Conflicts: 61000 | #Constraints: 9825
315.78/316.98 c INPROCESSING
315.78/316.98 c GARBAGE COLLECT
315.78/316.98 c #Conflicts: 62000 | #Constraints: 5829
315.78/316.98 c #Conflicts: 63000 | #Constraints: 6829
315.78/316.98 c #Conflicts: 64000 | #Constraints: 7829
315.78/316.98 c #Conflicts: 65000 | #Constraints: 8829
315.78/316.98 c #Conflicts: 66000 | #Constraints: 9829
315.78/316.98 c INPROCESSING
315.78/316.98 c GARBAGE COLLECT
315.78/316.98 c #Conflicts: 67000 | #Constraints: 5626
315.78/316.98 c #Conflicts: 68000 | #Constraints: 6626
345.80/347.01 c #Conflicts: 69000 | #Constraints: 7626
345.80/347.01 c #Conflicts: 70000 | #Constraints: 8626
345.80/347.01 c #Conflicts: 71000 | #Constraints: 9626
345.80/347.01 c #Conflicts: 72000 | #Constraints: 10626
345.80/347.01 c INPROCESSING
345.80/347.01 c GARBAGE COLLECT
345.80/347.01 c #Conflicts: 73000 | #Constraints: 6222
345.80/347.01 c #Conflicts: 74000 | #Constraints: 7222
345.80/347.01 c #Conflicts: 75000 | #Constraints: 8222
345.80/347.01 c #Conflicts: 76000 | #Constraints: 9222
345.80/347.01 c #Conflicts: 77000 | #Constraints: 10222
345.80/347.01 c #Conflicts: 78000 | #Constraints: 11222
345.80/347.01 c INPROCESSING
345.80/347.01 c GARBAGE COLLECT
345.80/347.01 c #Conflicts: 79000 | #Constraints: 6622
345.80/347.01 c #Conflicts: 80000 | #Constraints: 7622
345.80/347.01 c #Conflicts: 81000 | #Constraints: 8622
345.80/347.01 c #Conflicts: 82000 | #Constraints: 9622
345.80/347.01 c #Conflicts: 83000 | #Constraints: 10622
345.80/347.01 c #Conflicts: 84000 | #Constraints: 11622
345.80/347.01 c INPROCESSING
345.80/347.01 c GARBAGE COLLECT
345.80/347.01 c #Conflicts: 85000 | #Constraints: 6825
345.80/347.01 c #Conflicts: 86000 | #Constraints: 7825
345.80/347.01 c #Conflicts: 87000 | #Constraints: 8825
345.80/347.01 c #Conflicts: 88000 | #Constraints: 9825
345.80/347.01 c #Conflicts: 89000 | #Constraints: 10825
345.80/347.01 c #Conflicts: 90000 | #Constraints: 11825
345.80/347.01 c INPROCESSING
345.80/347.01 c GARBAGE COLLECT
345.80/347.01 c #Conflicts: 91000 | #Constraints: 6825
345.80/347.01 c #Conflicts: 92000 | #Constraints: 7825
345.80/347.01 c #Conflicts: 93000 | #Constraints: 8825
345.80/347.01 c #Conflicts: 94000 | #Constraints: 9825
345.80/347.01 c #Conflicts: 95000 | #Constraints: 10825
345.80/347.01 c #Conflicts: 96000 | #Constraints: 11825
345.80/347.01 c INPROCESSING
345.80/347.01 c GARBAGE COLLECT
345.80/347.01 c #Conflicts: 97000 | #Constraints: 6627
345.80/347.01 c #Conflicts: 98000 | #Constraints: 7627
345.80/347.01 c #Conflicts: 99000 | #Constraints: 8627
345.80/347.01 c #Conflicts: 100000 | #Constraints: 9627
345.80/347.01 c #Conflicts: 101000 | #Constraints: 10627
345.80/347.01 c #Conflicts: 102000 | #Constraints: 11627
345.80/347.01 c #Conflicts: 103000 | #Constraints: 12627
345.80/347.01 c INPROCESSING
345.80/347.01 c GARBAGE COLLECT
345.80/347.01 c #Conflicts: 104000 | #Constraints: 7223
345.80/347.01 c #Conflicts: 105000 | #Constraints: 8223
345.80/347.01 c #Conflicts: 106000 | #Constraints: 9223
345.80/347.01 c #Conflicts: 107000 | #Constraints: 10223
345.80/347.01 c #Conflicts: 108000 | #Constraints: 11223
345.80/347.01 c #Conflicts: 109000 | #Constraints: 12223
345.80/347.01 c #Conflicts: 110000 | #Constraints: 13223
345.80/347.01 c INPROCESSING
345.80/347.01 c GARBAGE COLLECT
345.80/347.01 c #Conflicts: 111000 | #Constraints: 7627
345.80/347.01 c #Conflicts: 112000 | #Constraints: 8627
345.80/347.01 c #Conflicts: 113000 | #Constraints: 9627
345.80/347.01 c #Conflicts: 114000 | #Constraints: 10627
345.80/347.01 c #Conflicts: 115000 | #Constraints: 11627
345.80/347.01 c #Conflicts: 116000 | #Constraints: 12627
345.80/347.01 c #Conflicts: 117000 | #Constraints: 13627
345.80/347.01 c INPROCESSING
345.80/347.01 c GARBAGE COLLECT
345.80/347.01 c #Conflicts: 118000 | #Constraints: 7826
345.80/347.01 c #Conflicts: 119000 | #Constraints: 8826
345.80/347.01 c #Conflicts: 120000 | #Constraints: 9826
345.80/347.01 c #Conflicts: 121000 | #Constraints: 10826
345.80/347.01 c #Conflicts: 122000 | #Constraints: 11826
345.80/347.01 c #Conflicts: 123000 | #Constraints: 12826
345.80/347.01 c #Conflicts: 124000 | #Constraints: 13826
345.80/347.01 c INPROCESSING
345.80/347.01 c GARBAGE COLLECT
345.80/347.01 c #Conflicts: 125000 | #Constraints: 7824
345.80/347.01 c #Conflicts: 126000 | #Constraints: 8824
345.80/347.01 c #Conflicts: 127000 | #Constraints: 9824
345.80/347.01 c #Conflicts: 128000 | #Constraints: 10824
345.80/347.01 c #Conflicts: 129000 | #Constraints: 11824
345.80/347.01 c #Conflicts: 130000 | #Constraints: 12824
345.80/347.01 c #Conflicts: 131000 | #Constraints: 13824
345.80/347.01 c INPROCESSING
345.80/347.01 c GARBAGE COLLECT
345.80/347.01 c #Conflicts: 132000 | #Constraints: 7621
345.80/347.01 c #Conflicts: 133000 | #Constraints: 8621
345.80/347.01 c #Conflicts: 134000 | #Constraints: 9621
345.80/347.01 c #Conflicts: 135000 | #Constraints: 10621
345.80/347.01 c #Conflicts: 136000 | #Constraints: 11621
345.80/347.01 c #Conflicts: 137000 | #Constraints: 12621
345.80/347.01 c #Conflicts: 138000 | #Constraints: 13621
345.80/347.01 c #Conflicts: 139000 | #Constraints: 14621
345.80/347.01 c INPROCESSING
345.80/347.01 c GARBAGE COLLECT
345.80/347.01 c #Conflicts: 140000 | #Constraints: 8223
385.50/386.84 c #Conflicts: 141000 | #Constraints: 9223
385.50/386.84 c #Conflicts: 142000 | #Constraints: 10223
385.50/386.84 c #Conflicts: 143000 | #Constraints: 11223
385.50/386.84 c #Conflicts: 144000 | #Constraints: 12223
385.50/386.84 c #Conflicts: 145000 | #Constraints: 13223
385.50/386.84 c #Conflicts: 146000 | #Constraints: 14223
385.50/386.84 c #Conflicts: 147000 | #Constraints: 15223
385.50/386.84 c INPROCESSING
385.50/386.84 c GARBAGE COLLECT
385.50/386.84 c #Conflicts: 148000 | #Constraints: 8625
385.50/386.84 c #Conflicts: 149000 | #Constraints: 9625
385.50/386.84 c #Conflicts: 150000 | #Constraints: 10625
385.50/386.84 c #Conflicts: 151000 | #Constraints: 11625
385.50/386.84 c #Conflicts: 152000 | #Constraints: 12625
385.50/386.84 c #Conflicts: 153000 | #Constraints: 13625
385.50/386.84 c #Conflicts: 154000 | #Constraints: 14625
385.50/386.84 c #Conflicts: 155000 | #Constraints: 15625
385.50/386.84 c INPROCESSING
385.50/386.84 c GARBAGE COLLECT
385.50/386.84 c #Conflicts: 156000 | #Constraints: 8823
385.50/386.84 c #Conflicts: 157000 | #Constraints: 9823
385.50/386.84 c #Conflicts: 158000 | #Constraints: 10823
385.50/386.84 c #Conflicts: 159000 | #Constraints: 11823
385.50/386.84 c #Conflicts: 160000 | #Constraints: 12823
385.50/386.84 c #Conflicts: 161000 | #Constraints: 13823
385.50/386.84 c #Conflicts: 162000 | #Constraints: 14823
385.50/386.84 c #Conflicts: 163000 | #Constraints: 15823
385.50/386.84 c INPROCESSING
385.50/386.84 c GARBAGE COLLECT
385.50/386.84 c #Conflicts: 164000 | #Constraints: 8823
385.50/386.84 c #Conflicts: 165000 | #Constraints: 9823
385.50/386.84 c #Conflicts: 166000 | #Constraints: 10823
385.50/386.84 c #Conflicts: 167000 | #Constraints: 11823
385.50/386.84 c #Conflicts: 168000 | #Constraints: 12823
385.50/386.84 c #Conflicts: 169000 | #Constraints: 13823
385.50/386.84 c #Conflicts: 170000 | #Constraints: 14823
385.50/386.84 c #Conflicts: 171000 | #Constraints: 15823
385.50/386.84 c INPROCESSING
385.50/386.84 c GARBAGE COLLECT
385.50/386.84 c #Conflicts: 172000 | #Constraints: 8623
385.50/386.84 c #Conflicts: 173000 | #Constraints: 9623
385.50/386.84 c #Conflicts: 174000 | #Constraints: 10623
385.50/386.84 c #Conflicts: 175000 | #Constraints: 11623
385.50/386.84 c #Conflicts: 176000 | #Constraints: 12623
385.50/386.84 c #Conflicts: 177000 | #Constraints: 13623
385.50/386.84 c #Conflicts: 178000 | #Constraints: 14623
385.50/386.84 c #Conflicts: 179000 | #Constraints: 15623
385.50/386.84 c #Conflicts: 180000 | #Constraints: 16623
385.50/386.84 c INPROCESSING
385.50/386.84 c GARBAGE COLLECT
385.50/386.84 c #Conflicts: 181000 | #Constraints: 9223
385.50/386.84 c #Conflicts: 182000 | #Constraints: 10223
385.50/386.84 c #Conflicts: 183000 | #Constraints: 11223
385.50/386.84 c #Conflicts: 184000 | #Constraints: 12223
385.50/386.84 c #Conflicts: 185000 | #Constraints: 13223
385.50/386.84 c #Conflicts: 186000 | #Constraints: 14223
385.50/386.84 c #Conflicts: 187000 | #Constraints: 15223
385.50/386.84 c #Conflicts: 188000 | #Constraints: 16223
385.50/386.84 c #Conflicts: 189000 | #Constraints: 17223
385.50/386.84 c INPROCESSING
385.50/386.84 c GARBAGE COLLECT
385.50/386.84 c #Conflicts: 190000 | #Constraints: 9626
385.50/386.84 c #Conflicts: 191000 | #Constraints: 10626
385.50/386.84 c #Conflicts: 192000 | #Constraints: 11626
385.50/386.84 c #Conflicts: 193000 | #Constraints: 12626
385.50/386.84 c #Conflicts: 194000 | #Constraints: 13626
385.50/386.84 c #Conflicts: 195000 | #Constraints: 14626
385.50/386.84 c #Conflicts: 196000 | #Constraints: 15626
385.50/386.84 c #Conflicts: 197000 | #Constraints: 16626
385.50/386.84 c #Conflicts: 198000 | #Constraints: 17626
385.50/386.84 c INPROCESSING
385.50/386.84 c GARBAGE COLLECT
385.50/386.84 c #Conflicts: 199000 | #Constraints: 9829
385.50/386.84 c #Conflicts: 200000 | #Constraints: 10829
385.50/386.84 c #Conflicts: 201000 | #Constraints: 11829
385.50/386.84 c #Conflicts: 202000 | #Constraints: 12829
385.50/386.84 c #Conflicts: 203000 | #Constraints: 13829
385.50/386.84 c #Conflicts: 204000 | #Constraints: 14829
385.50/386.84 c #Conflicts: 205000 | #Constraints: 15829
385.50/386.84 c #Conflicts: 206000 | #Constraints: 16829
385.50/386.84 c #Conflicts: 207000 | #Constraints: 17829
385.50/386.84 c INPROCESSING
385.50/386.84 c GARBAGE COLLECT
385.50/386.84 c #Conflicts: 208000 | #Constraints: 9827
385.50/386.84 c #Conflicts: 209000 | #Constraints: 10827
385.50/386.84 c #Conflicts: 210000 | #Constraints: 11827
385.50/386.84 c #Conflicts: 211000 | #Constraints: 12827
385.50/386.84 c #Conflicts: 212000 | #Constraints: 13827
385.50/386.84 c #Conflicts: 213000 | #Constraints: 14827
433.16/434.62 c #Conflicts: 214000 | #Constraints: 15827
433.16/434.62 c #Conflicts: 215000 | #Constraints: 16827
433.16/434.62 c #Conflicts: 216000 | #Constraints: 17827
433.16/434.62 c INPROCESSING
433.16/434.62 c GARBAGE COLLECT
433.16/434.62 c #Conflicts: 217000 | #Constraints: 9625
433.16/434.62 c #Conflicts: 218000 | #Constraints: 10625
433.16/434.62 c #Conflicts: 219000 | #Constraints: 11625
433.16/434.62 c #Conflicts: 220000 | #Constraints: 12625
433.16/434.62 c #Conflicts: 221000 | #Constraints: 13625
433.16/434.62 c #Conflicts: 222000 | #Constraints: 14625
433.16/434.62 c #Conflicts: 223000 | #Constraints: 15625
433.16/434.62 c #Conflicts: 224000 | #Constraints: 16625
433.16/434.62 c #Conflicts: 225000 | #Constraints: 17625
433.16/434.62 c #Conflicts: 226000 | #Constraints: 18625
433.16/434.62 c INPROCESSING
433.16/434.62 c GARBAGE COLLECT
433.16/434.62 c #Conflicts: 227000 | #Constraints: 10227
433.16/434.62 c #Conflicts: 228000 | #Constraints: 11227
433.16/434.62 c #Conflicts: 229000 | #Constraints: 12227
433.16/434.62 c #Conflicts: 230000 | #Constraints: 13227
433.16/434.62 c #Conflicts: 231000 | #Constraints: 14227
433.16/434.62 c #Conflicts: 232000 | #Constraints: 15227
433.16/434.62 c #Conflicts: 233000 | #Constraints: 16227
433.16/434.62 c #Conflicts: 234000 | #Constraints: 17227
433.16/434.62 c #Conflicts: 235000 | #Constraints: 18227
433.16/434.62 c #Conflicts: 236000 | #Constraints: 19227
433.16/434.62 c INPROCESSING
433.16/434.62 c GARBAGE COLLECT
433.16/434.62 c #Conflicts: 237000 | #Constraints: 10624
433.16/434.62 c #Conflicts: 238000 | #Constraints: 11624
433.16/434.62 c #Conflicts: 239000 | #Constraints: 12624
433.16/434.62 c #Conflicts: 240000 | #Constraints: 13624
433.16/434.62 c #Conflicts: 241000 | #Constraints: 14624
433.16/434.62 c #Conflicts: 242000 | #Constraints: 15624
433.16/434.62 c #Conflicts: 243000 | #Constraints: 16624
433.16/434.62 c #Conflicts: 244000 | #Constraints: 17624
433.16/434.62 c #Conflicts: 245000 | #Constraints: 18624
433.16/434.62 c #Conflicts: 246000 | #Constraints: 19624
433.16/434.62 c INPROCESSING
433.16/434.62 c GARBAGE COLLECT
433.16/434.62 c #Conflicts: 247000 | #Constraints: 10825
433.16/434.62 c #Conflicts: 248000 | #Constraints: 11825
433.16/434.62 c #Conflicts: 249000 | #Constraints: 12825
433.16/434.62 c #Conflicts: 250000 | #Constraints: 13825
433.16/434.62 c #Conflicts: 251000 | #Constraints: 14825
433.16/434.62 c #Conflicts: 252000 | #Constraints: 15825
433.16/434.62 c #Conflicts: 253000 | #Constraints: 16825
433.16/434.62 c #Conflicts: 254000 | #Constraints: 17825
433.16/434.62 c #Conflicts: 255000 | #Constraints: 18825
433.16/434.62 c #Conflicts: 256000 | #Constraints: 19825
433.16/434.62 c INPROCESSING
433.16/434.62 c GARBAGE COLLECT
433.16/434.62 c #Conflicts: 257000 | #Constraints: 10822
433.16/434.62 c #Conflicts: 258000 | #Constraints: 11822
433.16/434.62 c #Conflicts: 259000 | #Constraints: 12822
433.16/434.62 c #Conflicts: 260000 | #Constraints: 13822
433.16/434.62 c #Conflicts: 261000 | #Constraints: 14822
433.16/434.62 c #Conflicts: 262000 | #Constraints: 15822
433.16/434.62 c #Conflicts: 263000 | #Constraints: 16822
433.16/434.62 c #Conflicts: 264000 | #Constraints: 17822
433.16/434.62 c #Conflicts: 265000 | #Constraints: 18822
433.16/434.62 c #Conflicts: 266000 | #Constraints: 19822
433.16/434.62 c INPROCESSING
433.16/434.62 c GARBAGE COLLECT
433.16/434.62 c #Conflicts: 267000 | #Constraints: 10624
433.16/434.62 c #Conflicts: 268000 | #Constraints: 11624
433.16/434.62 c #Conflicts: 269000 | #Constraints: 12624
433.16/434.62 c #Conflicts: 270000 | #Constraints: 13624
433.16/434.62 c #Conflicts: 271000 | #Constraints: 14624
433.16/434.62 c #Conflicts: 272000 | #Constraints: 15624
433.16/434.62 c #Conflicts: 273000 | #Constraints: 16624
433.16/434.62 c #Conflicts: 274000 | #Constraints: 17624
433.16/434.62 c #Conflicts: 275000 | #Constraints: 18624
433.16/434.62 c #Conflicts: 276000 | #Constraints: 19624
433.16/434.62 c #Conflicts: 277000 | #Constraints: 20624
433.16/434.62 c INPROCESSING
433.16/434.62 c GARBAGE COLLECT
433.16/434.62 c #Conflicts: 278000 | #Constraints: 11220
433.16/434.62 c #Conflicts: 279000 | #Constraints: 12220
433.16/434.62 c #Conflicts: 280000 | #Constraints: 13220
433.16/434.62 c #Conflicts: 281000 | #Constraints: 14220
433.16/434.62 c #Conflicts: 282000 | #Constraints: 15220
433.16/434.62 c #Conflicts: 283000 | #Constraints: 16220
433.16/434.62 c #Conflicts: 284000 | #Constraints: 17220
433.16/434.62 c #Conflicts: 285000 | #Constraints: 18220
433.16/434.62 c #Conflicts: 286000 | #Constraints: 19220
433.16/434.62 c #Conflicts: 287000 | #Constraints: 20220
433.16/434.62 c #Conflicts: 288000 | #Constraints: 21220
488.00/489.64 c INPROCESSING
488.00/489.64 c GARBAGE COLLECT
488.00/489.64 c #Conflicts: 289000 | #Constraints: 11620
488.00/489.64 c #Conflicts: 290000 | #Constraints: 12620
488.00/489.64 c #Conflicts: 291000 | #Constraints: 13620
488.00/489.64 c #Conflicts: 292000 | #Constraints: 14620
488.00/489.64 c #Conflicts: 293000 | #Constraints: 15620
488.00/489.64 c #Conflicts: 294000 | #Constraints: 16620
488.00/489.64 c #Conflicts: 295000 | #Constraints: 17620
488.00/489.64 c #Conflicts: 296000 | #Constraints: 18620
488.00/489.64 c #Conflicts: 297000 | #Constraints: 19620
488.00/489.64 c #Conflicts: 298000 | #Constraints: 20620
488.00/489.64 c #Conflicts: 299000 | #Constraints: 21620
488.00/489.64 c INPROCESSING
488.00/489.64 c GARBAGE COLLECT
488.00/489.64 c #Conflicts: 300000 | #Constraints: 11825
488.00/489.64 c #Conflicts: 301000 | #Constraints: 12825
488.00/489.64 c #Conflicts: 302000 | #Constraints: 13825
488.00/489.64 c #Conflicts: 303000 | #Constraints: 14825
488.00/489.64 c #Conflicts: 304000 | #Constraints: 15825
488.00/489.64 c #Conflicts: 305000 | #Constraints: 16825
488.00/489.64 c #Conflicts: 306000 | #Constraints: 17825
488.00/489.64 c #Conflicts: 307000 | #Constraints: 18825
488.00/489.64 c #Conflicts: 308000 | #Constraints: 19825
488.00/489.64 c #Conflicts: 309000 | #Constraints: 20825
488.00/489.64 c #Conflicts: 310000 | #Constraints: 21825
488.00/489.64 c INPROCESSING
488.00/489.64 c GARBAGE COLLECT
488.00/489.64 c #Conflicts: 311000 | #Constraints: 11825
488.00/489.64 c #Conflicts: 312000 | #Constraints: 12825
488.00/489.64 c #Conflicts: 313000 | #Constraints: 13825
488.00/489.64 c #Conflicts: 314000 | #Constraints: 14825
488.00/489.64 c #Conflicts: 315000 | #Constraints: 15825
488.00/489.64 c #Conflicts: 316000 | #Constraints: 16825
488.00/489.64 c #Conflicts: 317000 | #Constraints: 17825
488.00/489.64 c #Conflicts: 318000 | #Constraints: 18825
488.00/489.64 c #Conflicts: 319000 | #Constraints: 19825
488.00/489.64 c #Conflicts: 320000 | #Constraints: 20825
488.00/489.64 c #Conflicts: 321000 | #Constraints: 21825
488.00/489.64 c INPROCESSING
488.00/489.64 c GARBAGE COLLECT
488.00/489.64 c #Conflicts: 322000 | #Constraints: 11623
488.00/489.64 c #Conflicts: 323000 | #Constraints: 12623
488.00/489.64 c #Conflicts: 324000 | #Constraints: 13623
488.00/489.64 c #Conflicts: 325000 | #Constraints: 14623
488.00/489.64 c #Conflicts: 326000 | #Constraints: 15623
488.00/489.64 c #Conflicts: 327000 | #Constraints: 16623
488.00/489.64 c #Conflicts: 328000 | #Constraints: 17623
488.00/489.64 c #Conflicts: 329000 | #Constraints: 18623
488.00/489.64 c #Conflicts: 330000 | #Constraints: 19623
488.00/489.64 c #Conflicts: 331000 | #Constraints: 20623
488.00/489.64 c #Conflicts: 332000 | #Constraints: 21623
488.00/489.64 c #Conflicts: 333000 | #Constraints: 22623
488.00/489.64 c INPROCESSING
488.00/489.64 c GARBAGE COLLECT
488.00/489.64 c #Conflicts: 334000 | #Constraints: 12224
488.00/489.64 c #Conflicts: 335000 | #Constraints: 13224
488.00/489.64 c #Conflicts: 336000 | #Constraints: 14224
488.00/489.64 c #Conflicts: 337000 | #Constraints: 15224
488.00/489.64 c #Conflicts: 338000 | #Constraints: 16224
488.00/489.64 c #Conflicts: 339000 | #Constraints: 17224
488.00/489.64 c #Conflicts: 340000 | #Constraints: 18224
488.00/489.64 c #Conflicts: 341000 | #Constraints: 19224
488.00/489.64 c #Conflicts: 342000 | #Constraints: 20224
488.00/489.64 c #Conflicts: 343000 | #Constraints: 21224
488.00/489.64 c #Conflicts: 344000 | #Constraints: 22224
488.00/489.64 c #Conflicts: 345000 | #Constraints: 23224
488.00/489.64 c INPROCESSING
488.00/489.64 c GARBAGE COLLECT
488.00/489.64 c #Conflicts: 346000 | #Constraints: 12623
488.00/489.64 c #Conflicts: 347000 | #Constraints: 13623
488.00/489.64 c #Conflicts: 348000 | #Constraints: 14623
488.00/489.64 c #Conflicts: 349000 | #Constraints: 15623
488.00/489.64 c #Conflicts: 350000 | #Constraints: 16623
488.00/489.64 c #Conflicts: 351000 | #Constraints: 17623
488.00/489.64 c #Conflicts: 352000 | #Constraints: 18623
488.00/489.64 c #Conflicts: 353000 | #Constraints: 19623
488.00/489.64 c #Conflicts: 354000 | #Constraints: 20623
488.00/489.64 c #Conflicts: 355000 | #Constraints: 21623
488.00/489.64 c #Conflicts: 356000 | #Constraints: 22623
488.00/489.64 c #Conflicts: 357000 | #Constraints: 23623
488.00/489.64 c INPROCESSING
488.00/489.64 c GARBAGE COLLECT
488.00/489.64 c #Conflicts: 358000 | #Constraints: 12823
488.00/489.64 c #Conflicts: 359000 | #Constraints: 13823
488.00/489.64 c #Conflicts: 360000 | #Constraints: 14823
488.00/489.64 c #Conflicts: 361000 | #Constraints: 15823
488.00/489.64 c #Conflicts: 362000 | #Constraints: 16823
547.52/549.30 c #Conflicts: 363000 | #Constraints: 17823
547.52/549.30 c #Conflicts: 364000 | #Constraints: 18823
547.52/549.30 c #Conflicts: 365000 | #Constraints: 19823
547.52/549.30 c #Conflicts: 366000 | #Constraints: 20823
547.52/549.30 c #Conflicts: 367000 | #Constraints: 21823
547.52/549.30 c #Conflicts: 368000 | #Constraints: 22823
547.52/549.30 c #Conflicts: 369000 | #Constraints: 23823
547.52/549.30 c INPROCESSING
547.52/549.30 c GARBAGE COLLECT
547.52/549.30 c #Conflicts: 370000 | #Constraints: 12826
547.52/549.30 c #Conflicts: 371000 | #Constraints: 13826
547.52/549.30 c #Conflicts: 372000 | #Constraints: 14826
547.52/549.30 c #Conflicts: 373000 | #Constraints: 15826
547.52/549.30 c #Conflicts: 374000 | #Constraints: 16826
547.52/549.30 c #Conflicts: 375000 | #Constraints: 17826
547.52/549.30 c #Conflicts: 376000 | #Constraints: 18826
547.52/549.30 c #Conflicts: 377000 | #Constraints: 19826
547.52/549.30 c #Conflicts: 378000 | #Constraints: 20826
547.52/549.30 c #Conflicts: 379000 | #Constraints: 21826
547.52/549.30 c #Conflicts: 380000 | #Constraints: 22826
547.52/549.30 c #Conflicts: 381000 | #Constraints: 23826
547.52/549.30 c INPROCESSING
547.52/549.30 c GARBAGE COLLECT
547.52/549.30 c #Conflicts: 382000 | #Constraints: 12624
547.52/549.30 c #Conflicts: 383000 | #Constraints: 13624
547.52/549.30 c #Conflicts: 384000 | #Constraints: 14624
547.52/549.30 c #Conflicts: 385000 | #Constraints: 15624
547.52/549.30 c #Conflicts: 386000 | #Constraints: 16624
547.52/549.30 c #Conflicts: 387000 | #Constraints: 17624
547.52/549.30 c #Conflicts: 388000 | #Constraints: 18624
547.52/549.30 c #Conflicts: 389000 | #Constraints: 19624
547.52/549.30 c #Conflicts: 390000 | #Constraints: 20624
547.52/549.30 c #Conflicts: 391000 | #Constraints: 21624
547.52/549.30 c #Conflicts: 392000 | #Constraints: 22624
547.52/549.30 c #Conflicts: 393000 | #Constraints: 23624
547.52/549.30 c #Conflicts: 394000 | #Constraints: 24624
547.52/549.30 c INPROCESSING
547.52/549.30 c GARBAGE COLLECT
547.52/549.30 c #Conflicts: 395000 | #Constraints: 13224
547.52/549.30 c #Conflicts: 396000 | #Constraints: 14224
547.52/549.30 c #Conflicts: 397000 | #Constraints: 15224
547.52/549.30 c #Conflicts: 398000 | #Constraints: 16224
547.52/549.30 c #Conflicts: 399000 | #Constraints: 17224
547.52/549.30 c #Conflicts: 400000 | #Constraints: 18224
547.52/549.30 c #Conflicts: 401000 | #Constraints: 19224
547.52/549.30 c #Conflicts: 402000 | #Constraints: 20224
547.52/549.30 c #Conflicts: 403000 | #Constraints: 21224
547.52/549.30 c #Conflicts: 404000 | #Constraints: 22224
547.52/549.30 c #Conflicts: 405000 | #Constraints: 23224
547.52/549.30 c #Conflicts: 406000 | #Constraints: 24224
547.52/549.30 c #Conflicts: 407000 | #Constraints: 25224
547.52/549.30 c INPROCESSING
547.52/549.30 c GARBAGE COLLECT
547.52/549.30 c #Conflicts: 408000 | #Constraints: 13625
547.52/549.30 c #Conflicts: 409000 | #Constraints: 14625
547.52/549.30 c #Conflicts: 410000 | #Constraints: 15625
547.52/549.30 c #Conflicts: 411000 | #Constraints: 16625
547.52/549.30 c #Conflicts: 412000 | #Constraints: 17625
547.52/549.30 c #Conflicts: 413000 | #Constraints: 18625
547.52/549.30 c #Conflicts: 414000 | #Constraints: 19625
547.52/549.30 c #Conflicts: 415000 | #Constraints: 20625
547.52/549.30 c #Conflicts: 416000 | #Constraints: 21625
547.52/549.30 c #Conflicts: 417000 | #Constraints: 22625
547.52/549.30 c #Conflicts: 418000 | #Constraints: 23625
547.52/549.30 c #Conflicts: 419000 | #Constraints: 24625
547.52/549.30 c #Conflicts: 420000 | #Constraints: 25625
547.52/549.30 c INPROCESSING
547.52/549.30 c GARBAGE COLLECT
547.52/549.30 c #Conflicts: 421000 | #Constraints: 13825
547.52/549.30 c #Conflicts: 422000 | #Constraints: 14825
547.52/549.30 c #Conflicts: 423000 | #Constraints: 15825
547.52/549.30 c #Conflicts: 424000 | #Constraints: 16825
547.52/549.30 c #Conflicts: 425000 | #Constraints: 17825
547.52/549.30 c #Conflicts: 426000 | #Constraints: 18825
547.52/549.30 c #Conflicts: 427000 | #Constraints: 19825
547.52/549.30 c #Conflicts: 428000 | #Constraints: 20825
547.52/549.30 c #Conflicts: 429000 | #Constraints: 21825
547.52/549.30 c #Conflicts: 430000 | #Constraints: 22825
547.52/549.30 c #Conflicts: 431000 | #Constraints: 23825
547.52/549.30 c #Conflicts: 432000 | #Constraints: 24825
547.52/549.30 c #Conflicts: 433000 | #Constraints: 25825
547.52/549.30 c INPROCESSING
547.52/549.30 c GARBAGE COLLECT
547.52/549.30 c #Conflicts: 434000 | #Constraints: 13827
547.52/549.30 c #Conflicts: 435000 | #Constraints: 14827
547.52/549.30 c #Conflicts: 436000 | #Constraints: 15827
547.52/549.30 c #Conflicts: 437000 | #Constraints: 16827
626.67/628.76 c #Conflicts: 438000 | #Constraints: 17827
626.67/628.76 c #Conflicts: 439000 | #Constraints: 18827
626.67/628.76 c #Conflicts: 440000 | #Constraints: 19827
626.67/628.76 c #Conflicts: 441000 | #Constraints: 20827
626.67/628.76 c #Conflicts: 442000 | #Constraints: 21827
626.67/628.76 c #Conflicts: 443000 | #Constraints: 22827
626.67/628.76 c #Conflicts: 444000 | #Constraints: 23827
626.67/628.76 c #Conflicts: 445000 | #Constraints: 24827
626.67/628.76 c #Conflicts: 446000 | #Constraints: 25827
626.67/628.76 c INPROCESSING
626.67/628.76 c GARBAGE COLLECT
626.67/628.76 c #Conflicts: 447000 | #Constraints: 13627
626.67/628.76 c #Conflicts: 448000 | #Constraints: 14627
626.67/628.76 c #Conflicts: 449000 | #Constraints: 15627
626.67/628.76 c #Conflicts: 450000 | #Constraints: 16627
626.67/628.76 c #Conflicts: 451000 | #Constraints: 17627
626.67/628.76 c #Conflicts: 452000 | #Constraints: 18627
626.67/628.76 c #Conflicts: 453000 | #Constraints: 19627
626.67/628.76 c #Conflicts: 454000 | #Constraints: 20627
626.67/628.76 c #Conflicts: 455000 | #Constraints: 21627
626.67/628.76 c #Conflicts: 456000 | #Constraints: 22627
626.67/628.76 c #Conflicts: 457000 | #Constraints: 23627
626.67/628.76 c #Conflicts: 458000 | #Constraints: 24627
626.67/628.76 c #Conflicts: 459000 | #Constraints: 25627
626.67/628.76 c #Conflicts: 460000 | #Constraints: 26627
626.67/628.76 c INPROCESSING
626.67/628.76 c GARBAGE COLLECT
626.67/628.76 c #Conflicts: 461000 | #Constraints: 14227
626.67/628.76 c #Conflicts: 462000 | #Constraints: 15227
626.67/628.76 c #Conflicts: 463000 | #Constraints: 16227
626.67/628.76 c #Conflicts: 464000 | #Constraints: 17227
626.67/628.76 c #Conflicts: 465000 | #Constraints: 18227
626.67/628.76 c #Conflicts: 466000 | #Constraints: 19227
626.67/628.76 c #Conflicts: 467000 | #Constraints: 20227
626.67/628.76 c #Conflicts: 468000 | #Constraints: 21227
626.67/628.76 c #Conflicts: 469000 | #Constraints: 22227
626.67/628.76 c #Conflicts: 470000 | #Constraints: 23227
626.67/628.76 c #Conflicts: 471000 | #Constraints: 24227
626.67/628.76 c #Conflicts: 472000 | #Constraints: 25227
626.67/628.76 c #Conflicts: 473000 | #Constraints: 26227
626.67/628.76 c #Conflicts: 474000 | #Constraints: 27227
626.67/628.76 c INPROCESSING
626.67/628.76 c GARBAGE COLLECT
626.67/628.76 c #Conflicts: 475000 | #Constraints: 14629
626.67/628.76 c #Conflicts: 476000 | #Constraints: 15629
626.67/628.76 c #Conflicts: 477000 | #Constraints: 16629
626.67/628.76 c #Conflicts: 478000 | #Constraints: 17629
626.67/628.76 c #Conflicts: 479000 | #Constraints: 18629
626.67/628.76 c #Conflicts: 480000 | #Constraints: 19629
626.67/628.76 c #Conflicts: 481000 | #Constraints: 20629
626.67/628.76 c #Conflicts: 482000 | #Constraints: 21629
626.67/628.76 c #Conflicts: 483000 | #Constraints: 22629
626.67/628.76 c #Conflicts: 484000 | #Constraints: 23629
626.67/628.76 c #Conflicts: 485000 | #Constraints: 24629
626.67/628.76 c #Conflicts: 486000 | #Constraints: 25629
626.67/628.76 c #Conflicts: 487000 | #Constraints: 26629
626.67/628.76 c #Conflicts: 488000 | #Constraints: 27629
626.67/628.76 c INPROCESSING
626.67/628.76 c GARBAGE COLLECT
626.67/628.76 c #Conflicts: 489000 | #Constraints: 14829
626.67/628.76 c #Conflicts: 490000 | #Constraints: 15829
626.67/628.76 c #Conflicts: 491000 | #Constraints: 16829
626.67/628.76 c #Conflicts: 492000 | #Constraints: 17829
626.67/628.76 c #Conflicts: 493000 | #Constraints: 18829
626.67/628.76 c #Conflicts: 494000 | #Constraints: 19829
626.67/628.76 c #Conflicts: 495000 | #Constraints: 20829
626.67/628.76 c #Conflicts: 496000 | #Constraints: 21829
626.67/628.76 c #Conflicts: 497000 | #Constraints: 22829
626.67/628.76 c #Conflicts: 498000 | #Constraints: 23829
626.67/628.76 c #Conflicts: 499000 | #Constraints: 24829
626.67/628.76 c #Conflicts: 500000 | #Constraints: 25829
626.67/628.76 c #Conflicts: 501000 | #Constraints: 26829
626.67/628.76 c #Conflicts: 502000 | #Constraints: 27829
626.67/628.76 c INPROCESSING
626.67/628.76 c GARBAGE COLLECT
626.67/628.76 c #Conflicts: 503000 | #Constraints: 14831
626.67/628.76 c #Conflicts: 504000 | #Constraints: 15831
626.67/628.76 c #Conflicts: 505000 | #Constraints: 16831
626.67/628.76 c #Conflicts: 506000 | #Constraints: 17831
626.67/628.76 c #Conflicts: 507000 | #Constraints: 18831
626.67/628.76 c #Conflicts: 508000 | #Constraints: 19831
626.67/628.76 c #Conflicts: 509000 | #Constraints: 20831
626.67/628.76 c #Conflicts: 510000 | #Constraints: 21831
626.67/628.76 c #Conflicts: 511000 | #Constraints: 22831
626.67/628.76 c #Conflicts: 512000 | #Constraints: 23831
626.67/628.76 c #Conflicts: 513000 | #Constraints: 24831
695.26/697.59 c #Conflicts: 514000 | #Constraints: 25831
695.26/697.59 c #Conflicts: 515000 | #Constraints: 26831
695.26/697.59 c #Conflicts: 516000 | #Constraints: 27831
695.26/697.59 c INPROCESSING
695.26/697.59 c GARBAGE COLLECT
695.26/697.59 c #Conflicts: 517000 | #Constraints: 14626
695.26/697.59 c #Conflicts: 518000 | #Constraints: 15626
695.26/697.59 c #Conflicts: 519000 | #Constraints: 16626
695.26/697.59 c #Conflicts: 520000 | #Constraints: 17626
695.26/697.59 c #Conflicts: 521000 | #Constraints: 18626
695.26/697.59 c #Conflicts: 522000 | #Constraints: 19626
695.26/697.59 c #Conflicts: 523000 | #Constraints: 20626
695.26/697.59 c #Conflicts: 524000 | #Constraints: 21626
695.26/697.59 c #Conflicts: 525000 | #Constraints: 22626
695.26/697.59 c #Conflicts: 526000 | #Constraints: 23626
695.26/697.59 c #Conflicts: 527000 | #Constraints: 24626
695.26/697.59 c #Conflicts: 528000 | #Constraints: 25626
695.26/697.59 c #Conflicts: 529000 | #Constraints: 26626
695.26/697.59 c #Conflicts: 530000 | #Constraints: 27626
695.26/697.59 c #Conflicts: 531000 | #Constraints: 28626
695.26/697.59 c INPROCESSING
695.26/697.59 c GARBAGE COLLECT
695.26/697.59 c #Conflicts: 532000 | #Constraints: 15226
695.26/697.59 c #Conflicts: 533000 | #Constraints: 16226
695.26/697.59 c #Conflicts: 534000 | #Constraints: 17226
695.26/697.59 c #Conflicts: 535000 | #Constraints: 18226
695.26/697.59 c #Conflicts: 536000 | #Constraints: 19226
695.26/697.59 c #Conflicts: 537000 | #Constraints: 20226
695.26/697.59 c #Conflicts: 538000 | #Constraints: 21226
695.26/697.59 c #Conflicts: 539000 | #Constraints: 22226
695.26/697.59 c #Conflicts: 540000 | #Constraints: 23226
695.26/697.59 c #Conflicts: 541000 | #Constraints: 24226
695.26/697.59 c #Conflicts: 542000 | #Constraints: 25226
695.26/697.59 c #Conflicts: 543000 | #Constraints: 26226
695.26/697.59 c #Conflicts: 544000 | #Constraints: 27226
695.26/697.59 c #Conflicts: 545000 | #Constraints: 28226
695.26/697.59 c #Conflicts: 546000 | #Constraints: 29226
695.26/697.59 c INPROCESSING
695.26/697.59 c GARBAGE COLLECT
695.26/697.59 c #Conflicts: 547000 | #Constraints: 15625
695.26/697.59 c #Conflicts: 548000 | #Constraints: 16625
695.26/697.59 c #Conflicts: 549000 | #Constraints: 17625
695.26/697.59 c #Conflicts: 550000 | #Constraints: 18625
695.26/697.59 c #Conflicts: 551000 | #Constraints: 19625
695.26/697.59 c #Conflicts: 552000 | #Constraints: 20625
695.26/697.59 c #Conflicts: 553000 | #Constraints: 21625
695.26/697.59 c #Conflicts: 554000 | #Constraints: 22625
695.26/697.59 c #Conflicts: 555000 | #Constraints: 23625
695.26/697.59 c #Conflicts: 556000 | #Constraints: 24625
695.26/697.59 c #Conflicts: 557000 | #Constraints: 25625
695.26/697.59 c #Conflicts: 558000 | #Constraints: 26625
695.26/697.59 c #Conflicts: 559000 | #Constraints: 27625
695.26/697.59 c #Conflicts: 560000 | #Constraints: 28625
695.26/697.59 c #Conflicts: 561000 | #Constraints: 29625
695.26/697.59 c INPROCESSING
695.26/697.59 c GARBAGE COLLECT
695.26/697.59 c #Conflicts: 562000 | #Constraints: 15826
695.26/697.59 c #Conflicts: 563000 | #Constraints: 16826
695.26/697.59 c #Conflicts: 564000 | #Constraints: 17826
695.26/697.59 c #Conflicts: 565000 | #Constraints: 18826
695.26/697.59 c #Conflicts: 566000 | #Constraints: 19826
695.26/697.59 c #Conflicts: 567000 | #Constraints: 20826
695.26/697.59 c #Conflicts: 568000 | #Constraints: 21826
695.26/697.59 c #Conflicts: 569000 | #Constraints: 22826
695.26/697.59 c #Conflicts: 570000 | #Constraints: 23826
695.26/697.59 c #Conflicts: 571000 | #Constraints: 24826
695.26/697.59 c #Conflicts: 572000 | #Constraints: 25826
695.26/697.59 c #Conflicts: 573000 | #Constraints: 26826
695.26/697.59 c #Conflicts: 574000 | #Constraints: 27826
695.26/697.59 c #Conflicts: 575000 | #Constraints: 28826
695.26/697.59 c #Conflicts: 576000 | #Constraints: 29826
695.26/697.59 c INPROCESSING
695.26/697.59 c GARBAGE COLLECT
695.26/697.59 c #Conflicts: 577000 | #Constraints: 15825
695.26/697.59 c #Conflicts: 578000 | #Constraints: 16825
695.26/697.59 c #Conflicts: 579000 | #Constraints: 17825
695.26/697.59 c #Conflicts: 580000 | #Constraints: 18825
695.26/697.59 c #Conflicts: 581000 | #Constraints: 19825
695.26/697.59 c #Conflicts: 582000 | #Constraints: 20825
695.26/697.59 c #Conflicts: 583000 | #Constraints: 21825
695.26/697.59 c #Conflicts: 584000 | #Constraints: 22825
695.26/697.59 c #Conflicts: 585000 | #Constraints: 23825
695.26/697.59 c #Conflicts: 586000 | #Constraints: 24825
695.26/697.59 c #Conflicts: 587000 | #Constraints: 25825
695.26/697.59 c #Conflicts: 588000 | #Constraints: 26825
772.03/774.57 c #Conflicts: 589000 | #Constraints: 27825
772.03/774.57 c #Conflicts: 590000 | #Constraints: 28825
772.03/774.57 c #Conflicts: 591000 | #Constraints: 29825
772.03/774.57 c INPROCESSING
772.03/774.57 c GARBAGE COLLECT
772.03/774.57 c #Conflicts: 592000 | #Constraints: 15624
772.03/774.57 c #Conflicts: 593000 | #Constraints: 16624
772.03/774.57 c #Conflicts: 594000 | #Constraints: 17624
772.03/774.57 c #Conflicts: 595000 | #Constraints: 18624
772.03/774.57 c #Conflicts: 596000 | #Constraints: 19624
772.03/774.57 c #Conflicts: 597000 | #Constraints: 20624
772.03/774.57 c #Conflicts: 598000 | #Constraints: 21624
772.03/774.57 c #Conflicts: 599000 | #Constraints: 22624
772.03/774.57 c #Conflicts: 600000 | #Constraints: 23624
772.03/774.57 c #Conflicts: 601000 | #Constraints: 24624
772.03/774.57 c #Conflicts: 602000 | #Constraints: 25624
772.03/774.57 c #Conflicts: 603000 | #Constraints: 26624
772.03/774.57 c #Conflicts: 604000 | #Constraints: 27624
772.03/774.57 c #Conflicts: 605000 | #Constraints: 28624
772.03/774.57 c #Conflicts: 606000 | #Constraints: 29624
772.03/774.57 c #Conflicts: 607000 | #Constraints: 30624
772.03/774.57 c INPROCESSING
772.03/774.57 c GARBAGE COLLECT
772.03/774.57 c #Conflicts: 608000 | #Constraints: 16222
772.03/774.57 c #Conflicts: 609000 | #Constraints: 17222
772.03/774.57 c #Conflicts: 610000 | #Constraints: 18222
772.03/774.57 c #Conflicts: 611000 | #Constraints: 19222
772.03/774.57 c #Conflicts: 612000 | #Constraints: 20222
772.03/774.57 c #Conflicts: 613000 | #Constraints: 21222
772.03/774.57 c #Conflicts: 614000 | #Constraints: 22222
772.03/774.57 c #Conflicts: 615000 | #Constraints: 23222
772.03/774.57 c #Conflicts: 616000 | #Constraints: 24222
772.03/774.57 c #Conflicts: 617000 | #Constraints: 25222
772.03/774.57 c #Conflicts: 618000 | #Constraints: 26222
772.03/774.57 c #Conflicts: 619000 | #Constraints: 27222
772.03/774.57 c #Conflicts: 620000 | #Constraints: 28222
772.03/774.57 c #Conflicts: 621000 | #Constraints: 29222
772.03/774.57 c #Conflicts: 622000 | #Constraints: 30222
772.03/774.57 c #Conflicts: 623000 | #Constraints: 31222
772.03/774.57 c INPROCESSING
772.03/774.57 c GARBAGE COLLECT
772.03/774.57 c #Conflicts: 624000 | #Constraints: 16622
772.03/774.57 c #Conflicts: 625000 | #Constraints: 17622
772.03/774.57 c #Conflicts: 626000 | #Constraints: 18622
772.03/774.57 c #Conflicts: 627000 | #Constraints: 19622
772.03/774.57 c #Conflicts: 628000 | #Constraints: 20622
772.03/774.57 c #Conflicts: 629000 | #Constraints: 21622
772.03/774.57 c #Conflicts: 630000 | #Constraints: 22622
772.03/774.57 c #Conflicts: 631000 | #Constraints: 23622
772.03/774.57 c #Conflicts: 632000 | #Constraints: 24622
772.03/774.57 c #Conflicts: 633000 | #Constraints: 25622
772.03/774.57 c #Conflicts: 634000 | #Constraints: 26622
772.03/774.57 c #Conflicts: 635000 | #Constraints: 27622
772.03/774.57 c #Conflicts: 636000 | #Constraints: 28622
772.03/774.57 c #Conflicts: 637000 | #Constraints: 29622
772.03/774.57 c #Conflicts: 638000 | #Constraints: 30622
772.03/774.57 c #Conflicts: 639000 | #Constraints: 31622
772.03/774.57 c INPROCESSING
772.03/774.57 c GARBAGE COLLECT
772.03/774.57 c #Conflicts: 640000 | #Constraints: 16823
772.03/774.57 c #Conflicts: 641000 | #Constraints: 17823
772.03/774.57 c #Conflicts: 642000 | #Constraints: 18823
772.03/774.57 c #Conflicts: 643000 | #Constraints: 19823
772.03/774.57 c #Conflicts: 644000 | #Constraints: 20823
772.03/774.57 c #Conflicts: 645000 | #Constraints: 21823
772.03/774.57 c #Conflicts: 646000 | #Constraints: 22823
772.03/774.57 c #Conflicts: 647000 | #Constraints: 23823
772.03/774.57 c #Conflicts: 648000 | #Constraints: 24823
772.03/774.57 c #Conflicts: 649000 | #Constraints: 25823
772.03/774.57 c #Conflicts: 650000 | #Constraints: 26823
772.03/774.57 c #Conflicts: 651000 | #Constraints: 27823
772.03/774.57 c #Conflicts: 652000 | #Constraints: 28823
772.03/774.57 c #Conflicts: 653000 | #Constraints: 29823
772.03/774.57 c #Conflicts: 654000 | #Constraints: 30823
772.03/774.57 c #Conflicts: 655000 | #Constraints: 31823
772.03/774.57 c INPROCESSING
772.03/774.57 c GARBAGE COLLECT
772.03/774.57 c #Conflicts: 656000 | #Constraints: 16825
772.03/774.57 c #Conflicts: 657000 | #Constraints: 17825
772.03/774.57 c #Conflicts: 658000 | #Constraints: 18825
772.03/774.57 c #Conflicts: 659000 | #Constraints: 19825
772.03/774.57 c #Conflicts: 660000 | #Constraints: 20825
772.03/774.57 c #Conflicts: 661000 | #Constraints: 21825
772.03/774.57 c #Conflicts: 662000 | #Constraints: 22825
772.03/774.57 c #Conflicts: 663000 | #Constraints: 23825
772.03/774.57 c #Conflicts: 664000 | #Constraints: 24825
861.25/864.09 c #Conflicts: 665000 | #Constraints: 25825
861.25/864.09 c #Conflicts: 666000 | #Constraints: 26825
861.25/864.09 c #Conflicts: 667000 | #Constraints: 27825
861.25/864.09 c #Conflicts: 668000 | #Constraints: 28825
861.25/864.09 c #Conflicts: 669000 | #Constraints: 29825
861.25/864.09 c #Conflicts: 670000 | #Constraints: 30825
861.25/864.09 c #Conflicts: 671000 | #Constraints: 31825
861.25/864.09 c INPROCESSING
861.25/864.09 c GARBAGE COLLECT
861.25/864.09 c #Conflicts: 672000 | #Constraints: 16624
861.25/864.09 c #Conflicts: 673000 | #Constraints: 17624
861.25/864.09 c #Conflicts: 674000 | #Constraints: 18624
861.25/864.09 c #Conflicts: 675000 | #Constraints: 19624
861.25/864.09 c #Conflicts: 676000 | #Constraints: 20624
861.25/864.09 c #Conflicts: 677000 | #Constraints: 21624
861.25/864.09 c #Conflicts: 678000 | #Constraints: 22624
861.25/864.09 c #Conflicts: 679000 | #Constraints: 23624
861.25/864.09 c #Conflicts: 680000 | #Constraints: 24624
861.25/864.09 c #Conflicts: 681000 | #Constraints: 25624
861.25/864.09 c #Conflicts: 682000 | #Constraints: 26624
861.25/864.09 c #Conflicts: 683000 | #Constraints: 27624
861.25/864.09 c #Conflicts: 684000 | #Constraints: 28624
861.25/864.09 c #Conflicts: 685000 | #Constraints: 29624
861.25/864.09 c #Conflicts: 686000 | #Constraints: 30624
861.25/864.09 c #Conflicts: 687000 | #Constraints: 31624
861.25/864.09 c #Conflicts: 688000 | #Constraints: 32624
861.25/864.09 c INPROCESSING
861.25/864.09 c GARBAGE COLLECT
861.25/864.09 c #Conflicts: 689000 | #Constraints: 17224
861.25/864.09 c #Conflicts: 690000 | #Constraints: 18224
861.25/864.09 c #Conflicts: 691000 | #Constraints: 19224
861.25/864.09 c #Conflicts: 692000 | #Constraints: 20224
861.25/864.09 c #Conflicts: 693000 | #Constraints: 21224
861.25/864.09 c #Conflicts: 694000 | #Constraints: 22224
861.25/864.09 c #Conflicts: 695000 | #Constraints: 23224
861.25/864.09 c #Conflicts: 696000 | #Constraints: 24224
861.25/864.09 c #Conflicts: 697000 | #Constraints: 25224
861.25/864.09 c #Conflicts: 698000 | #Constraints: 26224
861.25/864.09 c #Conflicts: 699000 | #Constraints: 27224
861.25/864.09 c #Conflicts: 700000 | #Constraints: 28224
861.25/864.09 c #Conflicts: 701000 | #Constraints: 29224
861.25/864.09 c #Conflicts: 702000 | #Constraints: 30224
861.25/864.09 c #Conflicts: 703000 | #Constraints: 31224
861.25/864.09 c #Conflicts: 704000 | #Constraints: 32224
861.25/864.09 c #Conflicts: 705000 | #Constraints: 33224
861.25/864.09 c INPROCESSING
861.25/864.09 c GARBAGE COLLECT
861.25/864.09 c #Conflicts: 706000 | #Constraints: 17624
861.25/864.09 c #Conflicts: 707000 | #Constraints: 18624
861.25/864.09 c #Conflicts: 708000 | #Constraints: 19624
861.25/864.09 c #Conflicts: 709000 | #Constraints: 20624
861.25/864.09 c #Conflicts: 710000 | #Constraints: 21624
861.25/864.09 c #Conflicts: 711000 | #Constraints: 22624
861.25/864.09 c #Conflicts: 712000 | #Constraints: 23624
861.25/864.09 c #Conflicts: 713000 | #Constraints: 24624
861.25/864.09 c #Conflicts: 714000 | #Constraints: 25624
861.25/864.09 c #Conflicts: 715000 | #Constraints: 26624
861.25/864.09 c #Conflicts: 716000 | #Constraints: 27624
861.25/864.09 c #Conflicts: 717000 | #Constraints: 28624
861.25/864.09 c #Conflicts: 718000 | #Constraints: 29624
861.25/864.09 c #Conflicts: 719000 | #Constraints: 30624
861.25/864.09 c #Conflicts: 720000 | #Constraints: 31624
861.25/864.09 c #Conflicts: 721000 | #Constraints: 32624
861.25/864.09 c #Conflicts: 722000 | #Constraints: 33624
861.25/864.09 c INPROCESSING
861.25/864.09 c GARBAGE COLLECT
861.25/864.09 c #Conflicts: 723000 | #Constraints: 17825
861.25/864.09 c #Conflicts: 724000 | #Constraints: 18825
861.25/864.09 c #Conflicts: 725000 | #Constraints: 19825
861.25/864.09 c #Conflicts: 726000 | #Constraints: 20825
861.25/864.09 c #Conflicts: 727000 | #Constraints: 21825
861.25/864.09 c #Conflicts: 728000 | #Constraints: 22825
861.25/864.09 c #Conflicts: 729000 | #Constraints: 23825
861.25/864.09 c #Conflicts: 730000 | #Constraints: 24825
861.25/864.09 c #Conflicts: 731000 | #Constraints: 25825
861.25/864.09 c #Conflicts: 732000 | #Constraints: 26825
861.25/864.09 c #Conflicts: 733000 | #Constraints: 27825
861.25/864.09 c #Conflicts: 734000 | #Constraints: 28825
861.25/864.09 c #Conflicts: 735000 | #Constraints: 29825
861.25/864.09 c #Conflicts: 736000 | #Constraints: 30825
861.25/864.09 c #Conflicts: 737000 | #Constraints: 31825
861.25/864.09 c #Conflicts: 738000 | #Constraints: 32825
861.25/864.09 c #Conflicts: 739000 | #Constraints: 33825
861.25/864.09 c INPROCESSING
861.25/864.09 c GARBAGE COLLECT
950.08/953.19 c #Conflicts: 740000 | #Constraints: 17829
950.08/953.19 c #Conflicts: 741000 | #Constraints: 18829
950.08/953.19 c #Conflicts: 742000 | #Constraints: 19829
950.08/953.19 c #Conflicts: 743000 | #Constraints: 20829
950.08/953.19 c #Conflicts: 744000 | #Constraints: 21829
950.08/953.19 c #Conflicts: 745000 | #Constraints: 22829
950.08/953.19 c #Conflicts: 746000 | #Constraints: 23829
950.08/953.19 c #Conflicts: 747000 | #Constraints: 24829
950.08/953.19 c #Conflicts: 748000 | #Constraints: 25829
950.08/953.19 c #Conflicts: 749000 | #Constraints: 26829
950.08/953.19 c #Conflicts: 750000 | #Constraints: 27829
950.08/953.19 c #Conflicts: 751000 | #Constraints: 28829
950.08/953.19 c #Conflicts: 752000 | #Constraints: 29829
950.08/953.19 c #Conflicts: 753000 | #Constraints: 30829
950.08/953.19 c #Conflicts: 754000 | #Constraints: 31829
950.08/953.19 c #Conflicts: 755000 | #Constraints: 32829
950.08/953.19 c #Conflicts: 756000 | #Constraints: 33829
950.08/953.19 c INPROCESSING
950.08/953.19 c GARBAGE COLLECT
950.08/953.19 c #Conflicts: 757000 | #Constraints: 17624
950.08/953.19 c #Conflicts: 758000 | #Constraints: 18624
950.08/953.19 c #Conflicts: 759000 | #Constraints: 19624
950.08/953.19 c #Conflicts: 760000 | #Constraints: 20624
950.08/953.19 c #Conflicts: 761000 | #Constraints: 21624
950.08/953.19 c #Conflicts: 762000 | #Constraints: 22624
950.08/953.19 c #Conflicts: 763000 | #Constraints: 23624
950.08/953.19 c #Conflicts: 764000 | #Constraints: 24624
950.08/953.19 c #Conflicts: 765000 | #Constraints: 25624
950.08/953.19 c #Conflicts: 766000 | #Constraints: 26624
950.08/953.19 c #Conflicts: 767000 | #Constraints: 27624
950.08/953.19 c #Conflicts: 768000 | #Constraints: 28624
950.08/953.19 c #Conflicts: 769000 | #Constraints: 29624
950.08/953.19 c #Conflicts: 770000 | #Constraints: 30624
950.08/953.19 c #Conflicts: 771000 | #Constraints: 31624
950.08/953.19 c #Conflicts: 772000 | #Constraints: 32624
950.08/953.19 c #Conflicts: 773000 | #Constraints: 33624
950.08/953.19 c #Conflicts: 774000 | #Constraints: 34624
950.08/953.19 c INPROCESSING
950.08/953.19 c GARBAGE COLLECT
950.08/953.19 c #Conflicts: 775000 | #Constraints: 18223
950.08/953.19 c #Conflicts: 776000 | #Constraints: 19223
950.08/953.19 c #Conflicts: 777000 | #Constraints: 20223
950.08/953.19 c #Conflicts: 778000 | #Constraints: 21223
950.08/953.19 c #Conflicts: 779000 | #Constraints: 22223
950.08/953.19 c #Conflicts: 780000 | #Constraints: 23223
950.08/953.19 c #Conflicts: 781000 | #Constraints: 24223
950.08/953.19 c #Conflicts: 782000 | #Constraints: 25223
950.08/953.19 c #Conflicts: 783000 | #Constraints: 26223
950.08/953.19 c #Conflicts: 784000 | #Constraints: 27223
950.08/953.19 c #Conflicts: 785000 | #Constraints: 28223
950.08/953.19 c #Conflicts: 786000 | #Constraints: 29223
950.08/953.19 c #Conflicts: 787000 | #Constraints: 30223
950.08/953.19 c #Conflicts: 788000 | #Constraints: 31223
950.08/953.19 c #Conflicts: 789000 | #Constraints: 32223
950.08/953.19 c #Conflicts: 790000 | #Constraints: 33223
950.08/953.19 c #Conflicts: 791000 | #Constraints: 34223
950.08/953.19 c #Conflicts: 792000 | #Constraints: 35223
950.08/953.19 c INPROCESSING
950.08/953.19 c GARBAGE COLLECT
950.08/953.19 c #Conflicts: 793000 | #Constraints: 18623
950.08/953.19 c #Conflicts: 794000 | #Constraints: 19623
950.08/953.19 c #Conflicts: 795000 | #Constraints: 20623
950.08/953.19 c #Conflicts: 796000 | #Constraints: 21623
950.08/953.19 c #Conflicts: 797000 | #Constraints: 22623
950.08/953.19 c #Conflicts: 798000 | #Constraints: 23623
950.08/953.19 c #Conflicts: 799000 | #Constraints: 24623
950.08/953.19 c #Conflicts: 800000 | #Constraints: 25623
950.08/953.19 c #Conflicts: 801000 | #Constraints: 26623
950.08/953.19 c #Conflicts: 802000 | #Constraints: 27623
950.08/953.19 c #Conflicts: 803000 | #Constraints: 28623
950.08/953.19 c #Conflicts: 804000 | #Constraints: 29623
950.08/953.19 c #Conflicts: 805000 | #Constraints: 30623
950.08/953.19 c #Conflicts: 806000 | #Constraints: 31623
950.08/953.19 c #Conflicts: 807000 | #Constraints: 32623
950.08/953.19 c #Conflicts: 808000 | #Constraints: 33623
950.08/953.19 c #Conflicts: 809000 | #Constraints: 34623
950.08/953.19 c #Conflicts: 810000 | #Constraints: 35623
950.08/953.19 c INPROCESSING
950.08/953.19 c GARBAGE COLLECT
950.08/953.19 c #Conflicts: 811000 | #Constraints: 18822
950.08/953.19 c #Conflicts: 812000 | #Constraints: 19822
950.08/953.19 c #Conflicts: 813000 | #Constraints: 20822
950.08/953.19 c #Conflicts: 814000 | #Constraints: 21822
950.08/953.19 c #Conflicts: 815000 | #Constraints: 22822
950.08/953.19 c #Conflicts: 816000 | #Constraints: 23822
1039.86/1043.14 c #Conflicts: 817000 | #Constraints: 24822
1039.86/1043.14 c #Conflicts: 818000 | #Constraints: 25822
1039.86/1043.14 c #Conflicts: 819000 | #Constraints: 26822
1039.86/1043.14 c #Conflicts: 820000 | #Constraints: 27822
1039.86/1043.14 c #Conflicts: 821000 | #Constraints: 28822
1039.86/1043.14 c #Conflicts: 822000 | #Constraints: 29822
1039.86/1043.14 c #Conflicts: 823000 | #Constraints: 30822
1039.86/1043.14 c #Conflicts: 824000 | #Constraints: 31822
1039.86/1043.14 c #Conflicts: 825000 | #Constraints: 32822
1039.86/1043.14 c #Conflicts: 826000 | #Constraints: 33822
1039.86/1043.14 c #Conflicts: 827000 | #Constraints: 34822
1039.86/1043.14 c #Conflicts: 828000 | #Constraints: 35822
1039.86/1043.14 c INPROCESSING
1039.86/1043.14 c GARBAGE COLLECT
1039.86/1043.14 c #Conflicts: 829000 | #Constraints: 18824
1039.86/1043.14 c #Conflicts: 830000 | #Constraints: 19824
1039.86/1043.14 c #Conflicts: 831000 | #Constraints: 20824
1039.86/1043.14 c #Conflicts: 832000 | #Constraints: 21824
1039.86/1043.14 c #Conflicts: 833000 | #Constraints: 22824
1039.86/1043.14 c #Conflicts: 834000 | #Constraints: 23824
1039.86/1043.14 c #Conflicts: 835000 | #Constraints: 24824
1039.86/1043.14 c #Conflicts: 836000 | #Constraints: 25824
1039.86/1043.14 c #Conflicts: 837000 | #Constraints: 26824
1039.86/1043.14 c #Conflicts: 838000 | #Constraints: 27824
1039.86/1043.14 c #Conflicts: 839000 | #Constraints: 28824
1039.86/1043.14 c #Conflicts: 840000 | #Constraints: 29824
1039.86/1043.14 c #Conflicts: 841000 | #Constraints: 30824
1039.86/1043.14 c #Conflicts: 842000 | #Constraints: 31824
1039.86/1043.14 c #Conflicts: 843000 | #Constraints: 32824
1039.86/1043.14 c #Conflicts: 844000 | #Constraints: 33824
1039.86/1043.14 c #Conflicts: 845000 | #Constraints: 34824
1039.86/1043.14 c #Conflicts: 846000 | #Constraints: 35824
1039.86/1043.14 c INPROCESSING
1039.86/1043.14 c GARBAGE COLLECT
1039.86/1043.14 c #Conflicts: 847000 | #Constraints: 18626
1039.86/1043.14 c #Conflicts: 848000 | #Constraints: 19626
1039.86/1043.14 c #Conflicts: 849000 | #Constraints: 20626
1039.86/1043.14 c #Conflicts: 850000 | #Constraints: 21626
1039.86/1043.14 c #Conflicts: 851000 | #Constraints: 22626
1039.86/1043.14 c #Conflicts: 852000 | #Constraints: 23626
1039.86/1043.14 c #Conflicts: 853000 | #Constraints: 24626
1039.86/1043.14 c #Conflicts: 854000 | #Constraints: 25626
1039.86/1043.14 c #Conflicts: 855000 | #Constraints: 26626
1039.86/1043.14 c #Conflicts: 856000 | #Constraints: 27626
1039.86/1043.14 c #Conflicts: 857000 | #Constraints: 28626
1039.86/1043.14 c #Conflicts: 858000 | #Constraints: 29626
1039.86/1043.14 c #Conflicts: 859000 | #Constraints: 30626
1039.86/1043.14 c #Conflicts: 860000 | #Constraints: 31626
1039.86/1043.14 c #Conflicts: 861000 | #Constraints: 32626
1039.86/1043.14 c #Conflicts: 862000 | #Constraints: 33626
1039.86/1043.14 c #Conflicts: 863000 | #Constraints: 34626
1039.86/1043.14 c #Conflicts: 864000 | #Constraints: 35626
1039.86/1043.14 c #Conflicts: 865000 | #Constraints: 36626
1039.86/1043.14 c INPROCESSING
1039.86/1043.14 c GARBAGE COLLECT
1039.86/1043.14 c #Conflicts: 866000 | #Constraints: 19224
1039.86/1043.14 c #Conflicts: 867000 | #Constraints: 20224
1039.86/1043.14 c #Conflicts: 868000 | #Constraints: 21224
1039.86/1043.14 c #Conflicts: 869000 | #Constraints: 22224
1039.86/1043.14 c #Conflicts: 870000 | #Constraints: 23224
1039.86/1043.14 c #Conflicts: 871000 | #Constraints: 24224
1039.86/1043.14 c #Conflicts: 872000 | #Constraints: 25224
1039.86/1043.14 c #Conflicts: 873000 | #Constraints: 26224
1039.86/1043.14 c #Conflicts: 874000 | #Constraints: 27224
1039.86/1043.14 c #Conflicts: 875000 | #Constraints: 28224
1039.86/1043.14 c #Conflicts: 876000 | #Constraints: 29224
1039.86/1043.14 c #Conflicts: 877000 | #Constraints: 30224
1039.86/1043.14 c #Conflicts: 878000 | #Constraints: 31224
1039.86/1043.14 c #Conflicts: 879000 | #Constraints: 32224
1039.86/1043.14 c #Conflicts: 880000 | #Constraints: 33224
1039.86/1043.14 c #Conflicts: 881000 | #Constraints: 34224
1039.86/1043.14 c #Conflicts: 882000 | #Constraints: 35224
1039.86/1043.14 c #Conflicts: 883000 | #Constraints: 36224
1039.86/1043.14 c #Conflicts: 884000 | #Constraints: 37224
1039.86/1043.14 c INPROCESSING
1039.86/1043.14 c GARBAGE COLLECT
1039.86/1043.14 c #Conflicts: 885000 | #Constraints: 19623
1039.86/1043.14 c #Conflicts: 886000 | #Constraints: 20623
1039.86/1043.14 c #Conflicts: 887000 | #Constraints: 21623
1039.86/1043.14 c #Conflicts: 888000 | #Constraints: 22623
1039.86/1043.14 c #Conflicts: 889000 | #Constraints: 23623
1039.86/1043.14 c #Conflicts: 890000 | #Constraints: 24623
1039.86/1043.14 c #Conflicts: 891000 | #Constraints: 25623
1039.86/1043.14 c #Conflicts: 892000 | #Constraints: 26623
1138.62/1142.19 c #Conflicts: 893000 | #Constraints: 27623
1138.62/1142.19 c #Conflicts: 894000 | #Constraints: 28623
1138.62/1142.19 c #Conflicts: 895000 | #Constraints: 29623
1138.62/1142.19 c #Conflicts: 896000 | #Constraints: 30623
1138.62/1142.19 c #Conflicts: 897000 | #Constraints: 31623
1138.62/1142.19 c #Conflicts: 898000 | #Constraints: 32623
1138.62/1142.19 c #Conflicts: 899000 | #Constraints: 33623
1138.62/1142.19 c #Conflicts: 900000 | #Constraints: 34623
1138.62/1142.19 c #Conflicts: 901000 | #Constraints: 35623
1138.62/1142.19 c #Conflicts: 902000 | #Constraints: 36623
1138.62/1142.19 c #Conflicts: 903000 | #Constraints: 37623
1138.62/1142.19 c INPROCESSING
1138.62/1142.19 c GARBAGE COLLECT
1138.62/1142.19 c #Conflicts: 904000 | #Constraints: 19822
1138.62/1142.19 c #Conflicts: 905000 | #Constraints: 20822
1138.62/1142.19 c #Conflicts: 906000 | #Constraints: 21822
1138.62/1142.19 c #Conflicts: 907000 | #Constraints: 22822
1138.62/1142.19 c #Conflicts: 908000 | #Constraints: 23822
1138.62/1142.19 c #Conflicts: 909000 | #Constraints: 24822
1138.62/1142.19 c #Conflicts: 910000 | #Constraints: 25822
1138.62/1142.19 c #Conflicts: 911000 | #Constraints: 26822
1138.62/1142.19 c #Conflicts: 912000 | #Constraints: 27822
1138.62/1142.19 c #Conflicts: 913000 | #Constraints: 28822
1138.62/1142.19 c #Conflicts: 914000 | #Constraints: 29822
1138.62/1142.19 c #Conflicts: 915000 | #Constraints: 30822
1138.62/1142.19 c #Conflicts: 916000 | #Constraints: 31822
1138.62/1142.19 c #Conflicts: 917000 | #Constraints: 32822
1138.62/1142.19 c #Conflicts: 918000 | #Constraints: 33822
1138.62/1142.19 c #Conflicts: 919000 | #Constraints: 34822
1138.62/1142.19 c #Conflicts: 920000 | #Constraints: 35822
1138.62/1142.19 c #Conflicts: 921000 | #Constraints: 36822
1138.62/1142.19 c #Conflicts: 922000 | #Constraints: 37822
1138.62/1142.19 c INPROCESSING
1138.62/1142.19 c GARBAGE COLLECT
1138.62/1142.19 c #Conflicts: 923000 | #Constraints: 19820
1138.62/1142.19 c #Conflicts: 924000 | #Constraints: 20820
1138.62/1142.19 c #Conflicts: 925000 | #Constraints: 21820
1138.62/1142.19 c #Conflicts: 926000 | #Constraints: 22820
1138.62/1142.19 c #Conflicts: 927000 | #Constraints: 23820
1138.62/1142.19 c #Conflicts: 928000 | #Constraints: 24820
1138.62/1142.19 c #Conflicts: 929000 | #Constraints: 25820
1138.62/1142.19 c #Conflicts: 930000 | #Constraints: 26820
1138.62/1142.19 c #Conflicts: 931000 | #Constraints: 27820
1138.62/1142.19 c #Conflicts: 932000 | #Constraints: 28820
1138.62/1142.19 c #Conflicts: 933000 | #Constraints: 29820
1138.62/1142.19 c #Conflicts: 934000 | #Constraints: 30820
1138.62/1142.19 c #Conflicts: 935000 | #Constraints: 31820
1138.62/1142.19 c #Conflicts: 936000 | #Constraints: 32820
1138.62/1142.19 c #Conflicts: 937000 | #Constraints: 33820
1138.62/1142.19 c #Conflicts: 938000 | #Constraints: 34820
1138.62/1142.19 c #Conflicts: 939000 | #Constraints: 35820
1138.62/1142.19 c #Conflicts: 940000 | #Constraints: 36820
1138.62/1142.19 c #Conflicts: 941000 | #Constraints: 37820
1138.62/1142.19 c INPROCESSING
1138.62/1142.19 c GARBAGE COLLECT
1138.62/1142.19 c #Conflicts: 942000 | #Constraints: 19624
1138.62/1142.19 c #Conflicts: 943000 | #Constraints: 20624
1138.62/1142.19 c #Conflicts: 944000 | #Constraints: 21624
1138.62/1142.19 c #Conflicts: 945000 | #Constraints: 22624
1138.62/1142.19 c #Conflicts: 946000 | #Constraints: 23624
1138.62/1142.19 c #Conflicts: 947000 | #Constraints: 24624
1138.62/1142.19 c #Conflicts: 948000 | #Constraints: 25624
1138.62/1142.19 c #Conflicts: 949000 | #Constraints: 26624
1138.62/1142.19 c #Conflicts: 950000 | #Constraints: 27624
1138.62/1142.19 c #Conflicts: 951000 | #Constraints: 28624
1138.62/1142.19 c #Conflicts: 952000 | #Constraints: 29624
1138.62/1142.19 c #Conflicts: 953000 | #Constraints: 30624
1138.62/1142.19 c #Conflicts: 954000 | #Constraints: 31624
1138.62/1142.19 c #Conflicts: 955000 | #Constraints: 32624
1138.62/1142.19 c #Conflicts: 956000 | #Constraints: 33624
1138.62/1142.19 c #Conflicts: 957000 | #Constraints: 34624
1138.62/1142.19 c #Conflicts: 958000 | #Constraints: 35624
1138.62/1142.19 c #Conflicts: 959000 | #Constraints: 36624
1138.62/1142.19 c #Conflicts: 960000 | #Constraints: 37624
1138.62/1142.19 c #Conflicts: 961000 | #Constraints: 38624
1138.62/1142.19 c INPROCESSING
1138.62/1142.19 c GARBAGE COLLECT
1138.62/1142.19 c #Conflicts: 962000 | #Constraints: 20230
1138.62/1142.19 c #Conflicts: 963000 | #Constraints: 21230
1138.62/1142.19 c #Conflicts: 964000 | #Constraints: 22230
1138.62/1142.19 c #Conflicts: 965000 | #Constraints: 23230
1138.62/1142.19 c #Conflicts: 966000 | #Constraints: 24230
1138.62/1142.19 c #Conflicts: 967000 | #Constraints: 25230
1138.62/1142.19 c #Conflicts: 968000 | #Constraints: 26230
1273.48/1277.32 c #Conflicts: 969000 | #Constraints: 27230
1273.48/1277.32 c #Conflicts: 970000 | #Constraints: 28230
1273.48/1277.32 c #Conflicts: 971000 | #Constraints: 29230
1273.48/1277.32 c #Conflicts: 972000 | #Constraints: 30230
1273.48/1277.32 c #Conflicts: 973000 | #Constraints: 31230
1273.48/1277.32 c #Conflicts: 974000 | #Constraints: 32230
1273.48/1277.32 c #Conflicts: 975000 | #Constraints: 33230
1273.48/1277.32 c #Conflicts: 976000 | #Constraints: 34230
1273.48/1277.32 c #Conflicts: 977000 | #Constraints: 35230
1273.48/1277.32 c #Conflicts: 978000 | #Constraints: 36230
1273.48/1277.32 c #Conflicts: 979000 | #Constraints: 37230
1273.48/1277.32 c #Conflicts: 980000 | #Constraints: 38230
1273.48/1277.32 c #Conflicts: 981000 | #Constraints: 39230
1273.48/1277.32 c INPROCESSING
1273.48/1277.32 c GARBAGE COLLECT
1273.48/1277.32 c #Conflicts: 982000 | #Constraints: 20630
1273.48/1277.32 c #Conflicts: 983000 | #Constraints: 21630
1273.48/1277.32 c #Conflicts: 984000 | #Constraints: 22630
1273.48/1277.32 c #Conflicts: 985000 | #Constraints: 23630
1273.48/1277.32 c #Conflicts: 986000 | #Constraints: 24630
1273.48/1277.32 c #Conflicts: 987000 | #Constraints: 25630
1273.48/1277.32 c #Conflicts: 988000 | #Constraints: 26630
1273.48/1277.32 c #Conflicts: 989000 | #Constraints: 27630
1273.48/1277.32 c #Conflicts: 990000 | #Constraints: 28630
1273.48/1277.32 c #Conflicts: 991000 | #Constraints: 29630
1273.48/1277.32 c #Conflicts: 992000 | #Constraints: 30630
1273.48/1277.32 c #Conflicts: 993000 | #Constraints: 31630
1273.48/1277.32 c #Conflicts: 994000 | #Constraints: 32630
1273.48/1277.32 c #Conflicts: 995000 | #Constraints: 33630
1273.48/1277.32 c #Conflicts: 996000 | #Constraints: 34630
1273.48/1277.32 c #Conflicts: 997000 | #Constraints: 35630
1273.48/1277.32 c #Conflicts: 998000 | #Constraints: 36630
1273.48/1277.32 c #Conflicts: 999000 | #Constraints: 37630
1273.48/1277.32 c #Conflicts: 1000000 | #Constraints: 38630
1273.48/1277.32 c #Conflicts: 1001000 | #Constraints: 39630
1273.48/1277.32 c INPROCESSING
1273.48/1277.32 c GARBAGE COLLECT
1273.48/1277.32 c #Conflicts: 1002000 | #Constraints: 20830
1273.48/1277.32 c #Conflicts: 1003000 | #Constraints: 21830
1273.48/1277.32 c #Conflicts: 1004000 | #Constraints: 22830
1273.48/1277.32 c #Conflicts: 1005000 | #Constraints: 23830
1273.48/1277.32 c #Conflicts: 1006000 | #Constraints: 24830
1273.48/1277.32 c #Conflicts: 1007000 | #Constraints: 25830
1273.48/1277.32 c #Conflicts: 1008000 | #Constraints: 26830
1273.48/1277.32 c #Conflicts: 1009000 | #Constraints: 27830
1273.48/1277.32 c #Conflicts: 1010000 | #Constraints: 28830
1273.48/1277.32 c #Conflicts: 1011000 | #Constraints: 29830
1273.48/1277.32 c #Conflicts: 1012000 | #Constraints: 30830
1273.48/1277.32 c #Conflicts: 1013000 | #Constraints: 31830
1273.48/1277.32 c #Conflicts: 1014000 | #Constraints: 32830
1273.48/1277.32 c #Conflicts: 1015000 | #Constraints: 33830
1273.48/1277.32 c #Conflicts: 1016000 | #Constraints: 34830
1273.48/1277.32 c #Conflicts: 1017000 | #Constraints: 35830
1273.48/1277.32 c #Conflicts: 1018000 | #Constraints: 36830
1273.48/1277.32 c #Conflicts: 1019000 | #Constraints: 37830
1273.48/1277.32 c #Conflicts: 1020000 | #Constraints: 38830
1273.48/1277.32 c #Conflicts: 1021000 | #Constraints: 39830
1273.48/1277.32 c INPROCESSING
1273.48/1277.32 c GARBAGE COLLECT
1273.48/1277.32 c #Conflicts: 1022000 | #Constraints: 20833
1273.48/1277.32 c #Conflicts: 1023000 | #Constraints: 21833
1273.48/1277.32 c #Conflicts: 1024000 | #Constraints: 22833
1273.48/1277.32 c #Conflicts: 1025000 | #Constraints: 23833
1273.48/1277.32 c #Conflicts: 1026000 | #Constraints: 24833
1273.48/1277.32 c #Conflicts: 1027000 | #Constraints: 25833
1273.48/1277.32 c #Conflicts: 1028000 | #Constraints: 26833
1273.48/1277.32 c #Conflicts: 1029000 | #Constraints: 27833
1273.48/1277.32 c #Conflicts: 1030000 | #Constraints: 28833
1273.48/1277.32 c #Conflicts: 1031000 | #Constraints: 29833
1273.48/1277.32 c #Conflicts: 1032000 | #Constraints: 30833
1273.48/1277.32 c #Conflicts: 1033000 | #Constraints: 31833
1273.48/1277.32 c #Conflicts: 1034000 | #Constraints: 32833
1273.48/1277.32 c #Conflicts: 1035000 | #Constraints: 33833
1273.48/1277.32 c #Conflicts: 1036000 | #Constraints: 34833
1273.48/1277.32 c #Conflicts: 1037000 | #Constraints: 35833
1273.48/1277.32 c #Conflicts: 1038000 | #Constraints: 36833
1273.48/1277.32 c #Conflicts: 1039000 | #Constraints: 37833
1273.48/1277.32 c #Conflicts: 1040000 | #Constraints: 38833
1273.48/1277.32 c #Conflicts: 1041000 | #Constraints: 39833
1273.48/1277.32 c INPROCESSING
1273.48/1277.32 c GARBAGE COLLECT
1273.48/1277.32 c #Conflicts: 1042000 | #Constraints: 20630
1273.48/1277.32 c #Conflicts: 1043000 | #Constraints: 21630
1273.48/1277.32 c #Conflicts: 1044000 | #Constraints: 22630
1420.21/1424.47 c #Conflicts: 1045000 | #Constraints: 23630
1420.21/1424.47 c #Conflicts: 1046000 | #Constraints: 24630
1420.21/1424.47 c #Conflicts: 1047000 | #Constraints: 25630
1420.21/1424.47 c #Conflicts: 1048000 | #Constraints: 26630
1420.21/1424.47 c #Conflicts: 1049000 | #Constraints: 27630
1420.21/1424.47 c #Conflicts: 1050000 | #Constraints: 28630
1420.21/1424.47 c #Conflicts: 1051000 | #Constraints: 29630
1420.21/1424.47 c #Conflicts: 1052000 | #Constraints: 30630
1420.21/1424.47 c #Conflicts: 1053000 | #Constraints: 31630
1420.21/1424.47 c #Conflicts: 1054000 | #Constraints: 32630
1420.21/1424.47 c #Conflicts: 1055000 | #Constraints: 33630
1420.21/1424.47 c #Conflicts: 1056000 | #Constraints: 34630
1420.21/1424.47 c #Conflicts: 1057000 | #Constraints: 35630
1420.21/1424.47 c #Conflicts: 1058000 | #Constraints: 36630
1420.21/1424.47 c #Conflicts: 1059000 | #Constraints: 37630
1420.21/1424.47 c #Conflicts: 1060000 | #Constraints: 38630
1420.21/1424.47 c #Conflicts: 1061000 | #Constraints: 39630
1420.21/1424.47 c #Conflicts: 1062000 | #Constraints: 40630
1420.21/1424.47 c INPROCESSING
1420.21/1424.47 c GARBAGE COLLECT
1420.21/1424.47 c #Conflicts: 1063000 | #Constraints: 21229
1420.21/1424.47 c #Conflicts: 1064000 | #Constraints: 22229
1420.21/1424.47 c #Conflicts: 1065000 | #Constraints: 23229
1420.21/1424.47 c #Conflicts: 1066000 | #Constraints: 24229
1420.21/1424.47 c #Conflicts: 1067000 | #Constraints: 25229
1420.21/1424.47 c #Conflicts: 1068000 | #Constraints: 26229
1420.21/1424.47 c #Conflicts: 1069000 | #Constraints: 27229
1420.21/1424.47 c #Conflicts: 1070000 | #Constraints: 28229
1420.21/1424.47 c #Conflicts: 1071000 | #Constraints: 29229
1420.21/1424.47 c #Conflicts: 1072000 | #Constraints: 30229
1420.21/1424.47 c #Conflicts: 1073000 | #Constraints: 31229
1420.21/1424.47 c #Conflicts: 1074000 | #Constraints: 32229
1420.21/1424.47 c #Conflicts: 1075000 | #Constraints: 33229
1420.21/1424.47 c #Conflicts: 1076000 | #Constraints: 34229
1420.21/1424.47 c #Conflicts: 1077000 | #Constraints: 35229
1420.21/1424.47 c #Conflicts: 1078000 | #Constraints: 36229
1420.21/1424.47 c #Conflicts: 1079000 | #Constraints: 37229
1420.21/1424.47 c #Conflicts: 1080000 | #Constraints: 38229
1420.21/1424.47 c #Conflicts: 1081000 | #Constraints: 39229
1420.21/1424.47 c #Conflicts: 1082000 | #Constraints: 40229
1420.21/1424.47 c #Conflicts: 1083000 | #Constraints: 41229
1420.21/1424.47 c INPROCESSING
1420.21/1424.47 c GARBAGE COLLECT
1420.21/1424.47 c #Conflicts: 1084000 | #Constraints: 21631
1420.21/1424.47 c #Conflicts: 1085000 | #Constraints: 22631
1420.21/1424.47 c #Conflicts: 1086000 | #Constraints: 23631
1420.21/1424.47 c #Conflicts: 1087000 | #Constraints: 24631
1420.21/1424.47 c #Conflicts: 1088000 | #Constraints: 25631
1420.21/1424.47 c #Conflicts: 1089000 | #Constraints: 26631
1420.21/1424.47 c #Conflicts: 1090000 | #Constraints: 27631
1420.21/1424.47 c #Conflicts: 1091000 | #Constraints: 28631
1420.21/1424.47 c #Conflicts: 1092000 | #Constraints: 29631
1420.21/1424.47 c #Conflicts: 1093000 | #Constraints: 30631
1420.21/1424.47 c #Conflicts: 1094000 | #Constraints: 31631
1420.21/1424.47 c #Conflicts: 1095000 | #Constraints: 32631
1420.21/1424.47 c #Conflicts: 1096000 | #Constraints: 33631
1420.21/1424.47 c #Conflicts: 1097000 | #Constraints: 34631
1420.21/1424.47 c #Conflicts: 1098000 | #Constraints: 35631
1420.21/1424.47 c #Conflicts: 1099000 | #Constraints: 36631
1420.21/1424.47 c #Conflicts: 1100000 | #Constraints: 37631
1420.21/1424.47 c #Conflicts: 1101000 | #Constraints: 38631
1420.21/1424.47 c #Conflicts: 1102000 | #Constraints: 39631
1420.21/1424.47 c #Conflicts: 1103000 | #Constraints: 40631
1420.21/1424.47 c #Conflicts: 1104000 | #Constraints: 41631
1420.21/1424.47 c INPROCESSING
1420.21/1424.47 c GARBAGE COLLECT
1420.21/1424.47 c #Conflicts: 1105000 | #Constraints: 21831
1420.21/1424.47 c #Conflicts: 1106000 | #Constraints: 22831
1420.21/1424.47 c #Conflicts: 1107000 | #Constraints: 23831
1420.21/1424.47 c #Conflicts: 1108000 | #Constraints: 24831
1420.21/1424.47 c #Conflicts: 1109000 | #Constraints: 25831
1420.21/1424.47 c #Conflicts: 1110000 | #Constraints: 26831
1420.21/1424.47 c #Conflicts: 1111000 | #Constraints: 27831
1420.21/1424.47 c #Conflicts: 1112000 | #Constraints: 28831
1420.21/1424.47 c #Conflicts: 1113000 | #Constraints: 29831
1420.21/1424.47 c #Conflicts: 1114000 | #Constraints: 30831
1420.21/1424.47 c #Conflicts: 1115000 | #Constraints: 31831
1420.21/1424.47 c #Conflicts: 1116000 | #Constraints: 32831
1420.21/1424.47 c #Conflicts: 1117000 | #Constraints: 33831
1420.21/1424.47 c #Conflicts: 1118000 | #Constraints: 34831
1420.21/1424.47 c #Conflicts: 1119000 | #Constraints: 35831
1420.21/1424.47 c #Conflicts: 1120000 | #Constraints: 36831
1420.21/1424.47 c #Conflicts: 1121000 | #Constraints: 37831
1532.64/1537.12 c #Conflicts: 1122000 | #Constraints: 38831
1532.64/1537.12 c #Conflicts: 1123000 | #Constraints: 39831
1532.64/1537.12 c #Conflicts: 1124000 | #Constraints: 40831
1532.64/1537.12 c #Conflicts: 1125000 | #Constraints: 41831
1532.64/1537.12 c INPROCESSING
1532.64/1537.12 c GARBAGE COLLECT
1532.64/1537.12 c #Conflicts: 1126000 | #Constraints: 21832
1532.64/1537.12 c #Conflicts: 1127000 | #Constraints: 22832
1532.64/1537.12 c #Conflicts: 1128000 | #Constraints: 23832
1532.64/1537.12 c #Conflicts: 1129000 | #Constraints: 24832
1532.64/1537.12 c #Conflicts: 1130000 | #Constraints: 25832
1532.64/1537.12 c #Conflicts: 1131000 | #Constraints: 26832
1532.64/1537.12 c #Conflicts: 1132000 | #Constraints: 27832
1532.64/1537.12 c #Conflicts: 1133000 | #Constraints: 28832
1532.64/1537.12 c #Conflicts: 1134000 | #Constraints: 29832
1532.64/1537.12 c #Conflicts: 1135000 | #Constraints: 30832
1532.64/1537.12 c #Conflicts: 1136000 | #Constraints: 31832
1532.64/1537.12 c #Conflicts: 1137000 | #Constraints: 32832
1532.64/1537.12 c #Conflicts: 1138000 | #Constraints: 33832
1532.64/1537.12 c #Conflicts: 1139000 | #Constraints: 34832
1532.64/1537.12 c #Conflicts: 1140000 | #Constraints: 35832
1532.64/1537.12 c #Conflicts: 1141000 | #Constraints: 36832
1532.64/1537.12 c #Conflicts: 1142000 | #Constraints: 37832
1532.64/1537.12 c #Conflicts: 1143000 | #Constraints: 38832
1532.64/1537.12 c #Conflicts: 1144000 | #Constraints: 39832
1532.64/1537.12 c #Conflicts: 1145000 | #Constraints: 40832
1532.64/1537.12 c #Conflicts: 1146000 | #Constraints: 41832
1532.64/1537.12 c INPROCESSING
1532.64/1537.12 c GARBAGE COLLECT
1532.64/1537.12 c #Conflicts: 1147000 | #Constraints: 21627
1532.64/1537.12 c #Conflicts: 1148000 | #Constraints: 22627
1532.64/1537.12 c #Conflicts: 1149000 | #Constraints: 23627
1532.64/1537.12 c #Conflicts: 1150000 | #Constraints: 24627
1532.64/1537.12 c #Conflicts: 1151000 | #Constraints: 25627
1532.64/1537.12 c #Conflicts: 1152000 | #Constraints: 26627
1532.64/1537.12 c #Conflicts: 1153000 | #Constraints: 27627
1532.64/1537.12 c #Conflicts: 1154000 | #Constraints: 28627
1532.64/1537.12 c #Conflicts: 1155000 | #Constraints: 29627
1532.64/1537.12 c #Conflicts: 1156000 | #Constraints: 30627
1532.64/1537.12 c #Conflicts: 1157000 | #Constraints: 31627
1532.64/1537.12 c #Conflicts: 1158000 | #Constraints: 32627
1532.64/1537.12 c #Conflicts: 1159000 | #Constraints: 33627
1532.64/1537.12 c #Conflicts: 1160000 | #Constraints: 34627
1532.64/1537.12 c #Conflicts: 1161000 | #Constraints: 35627
1532.64/1537.12 c #Conflicts: 1162000 | #Constraints: 36627
1532.64/1537.12 c #Conflicts: 1163000 | #Constraints: 37627
1532.64/1537.12 c #Conflicts: 1164000 | #Constraints: 38627
1532.64/1537.12 c #Conflicts: 1165000 | #Constraints: 39627
1532.64/1537.12 c #Conflicts: 1166000 | #Constraints: 40627
1532.64/1537.12 c #Conflicts: 1167000 | #Constraints: 41627
1532.64/1537.12 c #Conflicts: 1168000 | #Constraints: 42627
1532.64/1537.12 c INPROCESSING
1532.64/1537.12 c GARBAGE COLLECT
1532.64/1537.12 c #Conflicts: 1169000 | #Constraints: 22226
1532.64/1537.12 c #Conflicts: 1170000 | #Constraints: 23226
1532.64/1537.12 c #Conflicts: 1171000 | #Constraints: 24226
1532.64/1537.12 c #Conflicts: 1172000 | #Constraints: 25226
1532.64/1537.12 c #Conflicts: 1173000 | #Constraints: 26226
1532.64/1537.12 c #Conflicts: 1174000 | #Constraints: 27226
1532.64/1537.12 c #Conflicts: 1175000 | #Constraints: 28226
1532.64/1537.12 c #Conflicts: 1176000 | #Constraints: 29226
1532.64/1537.12 c #Conflicts: 1177000 | #Constraints: 30226
1532.64/1537.12 c #Conflicts: 1178000 | #Constraints: 31226
1532.64/1537.12 c #Conflicts: 1179000 | #Constraints: 32226
1532.64/1537.12 c #Conflicts: 1180000 | #Constraints: 33226
1532.64/1537.12 c #Conflicts: 1181000 | #Constraints: 34226
1532.64/1537.12 c #Conflicts: 1182000 | #Constraints: 35226
1532.64/1537.12 c #Conflicts: 1183000 | #Constraints: 36226
1532.64/1537.12 c #Conflicts: 1184000 | #Constraints: 37226
1532.64/1537.12 c #Conflicts: 1185000 | #Constraints: 38226
1532.64/1537.12 c #Conflicts: 1186000 | #Constraints: 39226
1532.64/1537.12 c #Conflicts: 1187000 | #Constraints: 40226
1532.64/1537.12 c #Conflicts: 1188000 | #Constraints: 41226
1532.64/1537.12 c #Conflicts: 1189000 | #Constraints: 42226
1532.64/1537.12 c #Conflicts: 1190000 | #Constraints: 43226
1532.64/1537.12 c INPROCESSING
1532.64/1537.12 c GARBAGE COLLECT
1532.64/1537.12 c #Conflicts: 1191000 | #Constraints: 22628
1532.64/1537.12 c #Conflicts: 1192000 | #Constraints: 23628
1532.64/1537.12 c #Conflicts: 1193000 | #Constraints: 24628
1532.64/1537.12 c #Conflicts: 1194000 | #Constraints: 25628
1532.64/1537.12 c #Conflicts: 1195000 | #Constraints: 26628
1532.64/1537.12 c #Conflicts: 1196000 | #Constraints: 27628
1532.64/1537.12 c #Conflicts: 1197000 | #Constraints: 28628
1652.45/1657.24 c #Conflicts: 1198000 | #Constraints: 29628
1652.45/1657.24 c #Conflicts: 1199000 | #Constraints: 30628
1652.45/1657.24 c #Conflicts: 1200000 | #Constraints: 31628
1652.45/1657.24 c #Conflicts: 1201000 | #Constraints: 32628
1652.45/1657.24 c #Conflicts: 1202000 | #Constraints: 33628
1652.45/1657.24 c #Conflicts: 1203000 | #Constraints: 34628
1652.45/1657.24 c #Conflicts: 1204000 | #Constraints: 35628
1652.45/1657.24 c #Conflicts: 1205000 | #Constraints: 36628
1652.45/1657.24 c #Conflicts: 1206000 | #Constraints: 37628
1652.45/1657.24 c #Conflicts: 1207000 | #Constraints: 38628
1652.45/1657.24 c #Conflicts: 1208000 | #Constraints: 39628
1652.45/1657.24 c #Conflicts: 1209000 | #Constraints: 40628
1652.45/1657.24 c #Conflicts: 1210000 | #Constraints: 41628
1652.45/1657.24 c #Conflicts: 1211000 | #Constraints: 42628
1652.45/1657.24 c #Conflicts: 1212000 | #Constraints: 43628
1652.45/1657.24 c INPROCESSING
1652.45/1657.24 c GARBAGE COLLECT
1652.45/1657.24 c #Conflicts: 1213000 | #Constraints: 22824
1652.45/1657.24 c #Conflicts: 1214000 | #Constraints: 23824
1652.45/1657.24 c #Conflicts: 1215000 | #Constraints: 24824
1652.45/1657.24 c #Conflicts: 1216000 | #Constraints: 25824
1652.45/1657.24 c #Conflicts: 1217000 | #Constraints: 26824
1652.45/1657.24 c #Conflicts: 1218000 | #Constraints: 27824
1652.45/1657.24 c #Conflicts: 1219000 | #Constraints: 28824
1652.45/1657.24 c #Conflicts: 1220000 | #Constraints: 29824
1652.45/1657.24 c #Conflicts: 1221000 | #Constraints: 30824
1652.45/1657.24 c #Conflicts: 1222000 | #Constraints: 31824
1652.45/1657.24 c #Conflicts: 1223000 | #Constraints: 32824
1652.45/1657.24 c #Conflicts: 1224000 | #Constraints: 33824
1652.45/1657.24 c #Conflicts: 1225000 | #Constraints: 34824
1652.45/1657.24 c #Conflicts: 1226000 | #Constraints: 35824
1652.45/1657.24 c #Conflicts: 1227000 | #Constraints: 36824
1652.45/1657.24 c #Conflicts: 1228000 | #Constraints: 37824
1652.45/1657.24 c #Conflicts: 1229000 | #Constraints: 38824
1652.45/1657.24 c #Conflicts: 1230000 | #Constraints: 39824
1652.45/1657.24 c #Conflicts: 1231000 | #Constraints: 40824
1652.45/1657.24 c #Conflicts: 1232000 | #Constraints: 41824
1652.45/1657.24 c #Conflicts: 1233000 | #Constraints: 42824
1652.45/1657.24 c #Conflicts: 1234000 | #Constraints: 43824
1652.45/1657.24 c INPROCESSING
1652.45/1657.24 c GARBAGE COLLECT
1652.45/1657.24 c #Conflicts: 1235000 | #Constraints: 22825
1652.45/1657.24 c #Conflicts: 1236000 | #Constraints: 23825
1652.45/1657.24 c #Conflicts: 1237000 | #Constraints: 24825
1652.45/1657.24 c #Conflicts: 1238000 | #Constraints: 25825
1652.45/1657.24 c #Conflicts: 1239000 | #Constraints: 26825
1652.45/1657.24 c #Conflicts: 1240000 | #Constraints: 27825
1652.45/1657.24 c #Conflicts: 1241000 | #Constraints: 28825
1652.45/1657.24 c #Conflicts: 1242000 | #Constraints: 29825
1652.45/1657.24 c #Conflicts: 1243000 | #Constraints: 30825
1652.45/1657.24 c #Conflicts: 1244000 | #Constraints: 31825
1652.45/1657.24 c #Conflicts: 1245000 | #Constraints: 32825
1652.45/1657.24 c #Conflicts: 1246000 | #Constraints: 33825
1652.45/1657.24 c #Conflicts: 1247000 | #Constraints: 34825
1652.45/1657.24 c #Conflicts: 1248000 | #Constraints: 35825
1652.45/1657.24 c #Conflicts: 1249000 | #Constraints: 36825
1652.45/1657.24 c #Conflicts: 1250000 | #Constraints: 37825
1652.45/1657.24 c #Conflicts: 1251000 | #Constraints: 38825
1652.45/1657.24 c #Conflicts: 1252000 | #Constraints: 39825
1652.45/1657.24 c #Conflicts: 1253000 | #Constraints: 40825
1652.45/1657.24 c #Conflicts: 1254000 | #Constraints: 41825
1652.45/1657.24 c #Conflicts: 1255000 | #Constraints: 42825
1652.45/1657.24 c #Conflicts: 1256000 | #Constraints: 43825
1652.45/1657.24 c INPROCESSING
1652.45/1657.24 c GARBAGE COLLECT
1652.45/1657.24 c #Conflicts: 1257000 | #Constraints: 22625
1652.45/1657.24 c #Conflicts: 1258000 | #Constraints: 23625
1652.45/1657.24 c #Conflicts: 1259000 | #Constraints: 24625
1652.45/1657.24 c #Conflicts: 1260000 | #Constraints: 25625
1652.45/1657.24 c #Conflicts: 1261000 | #Constraints: 26625
1652.45/1657.24 c #Conflicts: 1262000 | #Constraints: 27625
1652.45/1657.24 c #Conflicts: 1263000 | #Constraints: 28625
1652.45/1657.24 c #Conflicts: 1264000 | #Constraints: 29625
1652.45/1657.24 c #Conflicts: 1265000 | #Constraints: 30625
1652.45/1657.24 c #Conflicts: 1266000 | #Constraints: 31625
1652.45/1657.24 c #Conflicts: 1267000 | #Constraints: 32625
1652.45/1657.24 c #Conflicts: 1268000 | #Constraints: 33625
1652.45/1657.24 c #Conflicts: 1269000 | #Constraints: 34625
1652.45/1657.24 c #Conflicts: 1270000 | #Constraints: 35625
1652.45/1657.24 c #Conflicts: 1271000 | #Constraints: 36625
1652.45/1657.24 c #Conflicts: 1272000 | #Constraints: 37625
1652.45/1657.24 c #Conflicts: 1273000 | #Constraints: 38625
1652.45/1657.24 c #Conflicts: 1274000 | #Constraints: 39625
1780.93/1786.03 c #Conflicts: 1275000 | #Constraints: 40625
1780.93/1786.03 c #Conflicts: 1276000 | #Constraints: 41625
1780.93/1786.03 c #Conflicts: 1277000 | #Constraints: 42625
1780.93/1786.03 c #Conflicts: 1278000 | #Constraints: 43625
1780.93/1786.03 c #Conflicts: 1279000 | #Constraints: 44625
1780.93/1786.03 c INPROCESSING
1780.93/1786.03 c GARBAGE COLLECT
1780.93/1786.03 c #Conflicts: 1280000 | #Constraints: 23222
1780.93/1786.03 c #Conflicts: 1281000 | #Constraints: 24222
1780.93/1786.03 c #Conflicts: 1282000 | #Constraints: 25222
1780.93/1786.03 c #Conflicts: 1283000 | #Constraints: 26222
1780.93/1786.03 c #Conflicts: 1284000 | #Constraints: 27222
1780.93/1786.03 c #Conflicts: 1285000 | #Constraints: 28222
1780.93/1786.03 c #Conflicts: 1286000 | #Constraints: 29222
1780.93/1786.03 c #Conflicts: 1287000 | #Constraints: 30222
1780.93/1786.03 c #Conflicts: 1288000 | #Constraints: 31222
1780.93/1786.03 c #Conflicts: 1289000 | #Constraints: 32222
1780.93/1786.03 c #Conflicts: 1290000 | #Constraints: 33222
1780.93/1786.03 c #Conflicts: 1291000 | #Constraints: 34222
1780.93/1786.03 c #Conflicts: 1292000 | #Constraints: 35222
1780.93/1786.03 c #Conflicts: 1293000 | #Constraints: 36222
1780.93/1786.03 c #Conflicts: 1294000 | #Constraints: 37222
1780.93/1786.03 c #Conflicts: 1295000 | #Constraints: 38222
1780.93/1786.03 c #Conflicts: 1296000 | #Constraints: 39222
1780.93/1786.03 c #Conflicts: 1297000 | #Constraints: 40222
1780.93/1786.03 c #Conflicts: 1298000 | #Constraints: 41222
1780.93/1786.03 c #Conflicts: 1299000 | #Constraints: 42222
1780.93/1786.03 c #Conflicts: 1300000 | #Constraints: 43222
1780.93/1786.03 c #Conflicts: 1301000 | #Constraints: 44222
1780.93/1786.03 c #Conflicts: 1302000 | #Constraints: 45222
1780.93/1786.03 c INPROCESSING
1780.93/1786.03 c GARBAGE COLLECT
1780.93/1786.03 c #Conflicts: 1303000 | #Constraints: 23624
1780.93/1786.03 c #Conflicts: 1304000 | #Constraints: 24624
1780.93/1786.03 c #Conflicts: 1305000 | #Constraints: 25624
1780.93/1786.03 c #Conflicts: 1306000 | #Constraints: 26624
1780.93/1786.03 c #Conflicts: 1307000 | #Constraints: 27624
1780.93/1786.03 c #Conflicts: 1308000 | #Constraints: 28624
1780.93/1786.03 c #Conflicts: 1309000 | #Constraints: 29624
1780.93/1786.03 c #Conflicts: 1310000 | #Constraints: 30624
1780.93/1786.03 c #Conflicts: 1311000 | #Constraints: 31624
1780.93/1786.03 c #Conflicts: 1312000 | #Constraints: 32624
1780.93/1786.03 c #Conflicts: 1313000 | #Constraints: 33624
1780.93/1786.03 c #Conflicts: 1314000 | #Constraints: 34624
1780.93/1786.03 c #Conflicts: 1315000 | #Constraints: 35624
1780.93/1786.03 c #Conflicts: 1316000 | #Constraints: 36624
1780.93/1786.03 c #Conflicts: 1317000 | #Constraints: 37624
1780.93/1786.03 c #Conflicts: 1318000 | #Constraints: 38624
1780.93/1786.03 c #Conflicts: 1319000 | #Constraints: 39624
1780.93/1786.03 c #Conflicts: 1320000 | #Constraints: 40624
1780.93/1786.03 c #Conflicts: 1321000 | #Constraints: 41624
1780.93/1786.03 c #Conflicts: 1322000 | #Constraints: 42624
1780.93/1786.03 c #Conflicts: 1323000 | #Constraints: 43624
1780.93/1786.03 c #Conflicts: 1324000 | #Constraints: 44624
1780.93/1786.03 c #Conflicts: 1325000 | #Constraints: 45624
1780.93/1786.03 c INPROCESSING
1780.93/1786.03 c GARBAGE COLLECT
1780.93/1786.03 c #Conflicts: 1326000 | #Constraints: 23827
1780.93/1786.03 c #Conflicts: 1327000 | #Constraints: 24827
1780.93/1786.03 c #Conflicts: 1328000 | #Constraints: 25827
1780.93/1786.03 c #Conflicts: 1329000 | #Constraints: 26827
1780.93/1786.03 c #Conflicts: 1330000 | #Constraints: 27827
1780.93/1786.03 c #Conflicts: 1331000 | #Constraints: 28827
1780.93/1786.03 c #Conflicts: 1332000 | #Constraints: 29827
1780.93/1786.03 c #Conflicts: 1333000 | #Constraints: 30827
1780.93/1786.03 c #Conflicts: 1334000 | #Constraints: 31827
1780.93/1786.03 c #Conflicts: 1335000 | #Constraints: 32827
1780.93/1786.03 c #Conflicts: 1336000 | #Constraints: 33827
1780.93/1786.03 c #Conflicts: 1337000 | #Constraints: 34827
1780.93/1786.03 c #Conflicts: 1338000 | #Constraints: 35827
1780.93/1786.03 c #Conflicts: 1339000 | #Constraints: 36827
1780.93/1786.03 c #Conflicts: 1340000 | #Constraints: 37827
1780.93/1786.03 c #Conflicts: 1341000 | #Constraints: 38827
1780.93/1786.03 c #Conflicts: 1342000 | #Constraints: 39827
1780.93/1786.03 c #Conflicts: 1343000 | #Constraints: 40827
1780.93/1786.03 c #Conflicts: 1344000 | #Constraints: 41827
1780.93/1786.03 c #Conflicts: 1345000 | #Constraints: 42827
1780.93/1786.03 c #Conflicts: 1346000 | #Constraints: 43827
1780.93/1786.03 c #Conflicts: 1347000 | #Constraints: 44827
1780.93/1786.03 c #Conflicts: 1348000 | #Constraints: 45827
1780.93/1786.03 c INPROCESSING
1780.93/1786.03 c GARBAGE COLLECT
1780.93/1786.03 c #Conflicts: 1349000 | #Constraints: 23829
1780.93/1786.03 c #Conflicts: 1350000 | #Constraints: 24829
1906.91/1912.36 c #Conflicts: 1351000 | #Constraints: 25829
1906.91/1912.36 c #Conflicts: 1352000 | #Constraints: 26829
1906.91/1912.36 c #Conflicts: 1353000 | #Constraints: 27829
1906.91/1912.36 c #Conflicts: 1354000 | #Constraints: 28829
1906.91/1912.36 c #Conflicts: 1355000 | #Constraints: 29829
1906.91/1912.36 c #Conflicts: 1356000 | #Constraints: 30829
1906.91/1912.36 c #Conflicts: 1357000 | #Constraints: 31829
1906.91/1912.36 c #Conflicts: 1358000 | #Constraints: 32829
1906.91/1912.36 c #Conflicts: 1359000 | #Constraints: 33829
1906.91/1912.36 c #Conflicts: 1360000 | #Constraints: 34829
1906.91/1912.36 c #Conflicts: 1361000 | #Constraints: 35829
1906.91/1912.36 c #Conflicts: 1362000 | #Constraints: 36829
1906.91/1912.36 c #Conflicts: 1363000 | #Constraints: 37829
1906.91/1912.36 c #Conflicts: 1364000 | #Constraints: 38829
1906.91/1912.36 c #Conflicts: 1365000 | #Constraints: 39829
1906.91/1912.36 c #Conflicts: 1366000 | #Constraints: 40829
1906.91/1912.36 c #Conflicts: 1367000 | #Constraints: 41829
1906.91/1912.36 c #Conflicts: 1368000 | #Constraints: 42829
1906.91/1912.36 c #Conflicts: 1369000 | #Constraints: 43829
1906.91/1912.36 c #Conflicts: 1370000 | #Constraints: 44829
1906.91/1912.36 c #Conflicts: 1371000 | #Constraints: 45829
1906.91/1912.36 c INPROCESSING
1906.91/1912.36 c GARBAGE COLLECT
1906.91/1912.36 c #Conflicts: 1372000 | #Constraints: 23626
1906.91/1912.36 c #Conflicts: 1373000 | #Constraints: 24626
1906.91/1912.36 c #Conflicts: 1374000 | #Constraints: 25626
1906.91/1912.36 c #Conflicts: 1375000 | #Constraints: 26626
1906.91/1912.36 c #Conflicts: 1376000 | #Constraints: 27626
1906.91/1912.36 c #Conflicts: 1377000 | #Constraints: 28626
1906.91/1912.36 c #Conflicts: 1378000 | #Constraints: 29626
1906.91/1912.36 c #Conflicts: 1379000 | #Constraints: 30626
1906.91/1912.36 c #Conflicts: 1380000 | #Constraints: 31626
1906.91/1912.36 c #Conflicts: 1381000 | #Constraints: 32626
1906.91/1912.36 c #Conflicts: 1382000 | #Constraints: 33626
1906.91/1912.36 c #Conflicts: 1383000 | #Constraints: 34626
1906.91/1912.36 c #Conflicts: 1384000 | #Constraints: 35626
1906.91/1912.36 c #Conflicts: 1385000 | #Constraints: 36626
1906.91/1912.36 c #Conflicts: 1386000 | #Constraints: 37626
1906.91/1912.36 c #Conflicts: 1387000 | #Constraints: 38626
1906.91/1912.36 c #Conflicts: 1388000 | #Constraints: 39626
1906.91/1912.36 c #Conflicts: 1389000 | #Constraints: 40626
1906.91/1912.36 c #Conflicts: 1390000 | #Constraints: 41626
1906.91/1912.36 c #Conflicts: 1391000 | #Constraints: 42626
1906.91/1912.36 c #Conflicts: 1392000 | #Constraints: 43626
1906.91/1912.36 c #Conflicts: 1393000 | #Constraints: 44626
1906.91/1912.36 c #Conflicts: 1394000 | #Constraints: 45626
1906.91/1912.36 c #Conflicts: 1395000 | #Constraints: 46626
1906.91/1912.36 c INPROCESSING
1906.91/1912.36 c GARBAGE COLLECT
1906.91/1912.36 c #Conflicts: 1396000 | #Constraints: 24225
1906.91/1912.36 c #Conflicts: 1397000 | #Constraints: 25225
1906.91/1912.36 c #Conflicts: 1398000 | #Constraints: 26225
1906.91/1912.36 c #Conflicts: 1399000 | #Constraints: 27225
1906.91/1912.36 c #Conflicts: 1400000 | #Constraints: 28225
1906.91/1912.36 c #Conflicts: 1401000 | #Constraints: 29225
1906.91/1912.36 c #Conflicts: 1402000 | #Constraints: 30225
1906.91/1912.36 c #Conflicts: 1403000 | #Constraints: 31225
1906.91/1912.36 c #Conflicts: 1404000 | #Constraints: 32225
1906.91/1912.36 c #Conflicts: 1405000 | #Constraints: 33225
1906.91/1912.36 c #Conflicts: 1406000 | #Constraints: 34225
1906.91/1912.36 c #Conflicts: 1407000 | #Constraints: 35225
1906.91/1912.36 c #Conflicts: 1408000 | #Constraints: 36225
1906.91/1912.36 c #Conflicts: 1409000 | #Constraints: 37225
1906.91/1912.36 c #Conflicts: 1410000 | #Constraints: 38225
1906.91/1912.36 c #Conflicts: 1411000 | #Constraints: 39225
1906.91/1912.36 c #Conflicts: 1412000 | #Constraints: 40225
1906.91/1912.36 c #Conflicts: 1413000 | #Constraints: 41225
1906.91/1912.36 c #Conflicts: 1414000 | #Constraints: 42225
1906.91/1912.36 c #Conflicts: 1415000 | #Constraints: 43225
1906.91/1912.36 c #Conflicts: 1416000 | #Constraints: 44225
1906.91/1912.36 c #Conflicts: 1417000 | #Constraints: 45225
1906.91/1912.36 c #Conflicts: 1418000 | #Constraints: 46225
1906.91/1912.36 c #Conflicts: 1419000 | #Constraints: 47225
1906.91/1912.36 c INPROCESSING
1906.91/1912.36 c GARBAGE COLLECT
1906.91/1912.36 c #Conflicts: 1420000 | #Constraints: 24626
1906.91/1912.36 c #Conflicts: 1421000 | #Constraints: 25626
1906.91/1912.36 c #Conflicts: 1422000 | #Constraints: 26626
1906.91/1912.36 c #Conflicts: 1423000 | #Constraints: 27626
1906.91/1912.36 c #Conflicts: 1424000 | #Constraints: 28626
1906.91/1912.36 c #Conflicts: 1425000 | #Constraints: 29626
1906.91/1912.36 c #Conflicts: 1426000 | #Constraints: 30626
1906.91/1912.36 c #Conflicts: 1427000 | #Constraints: 31626
2046.46/2052.25 c #Conflicts: 1428000 | #Constraints: 32626
2046.46/2052.25 c #Conflicts: 1429000 | #Constraints: 33626
2046.46/2052.25 c #Conflicts: 1430000 | #Constraints: 34626
2046.46/2052.25 c #Conflicts: 1431000 | #Constraints: 35626
2046.46/2052.25 c #Conflicts: 1432000 | #Constraints: 36626
2046.46/2052.25 c #Conflicts: 1433000 | #Constraints: 37626
2046.46/2052.25 c #Conflicts: 1434000 | #Constraints: 38626
2046.46/2052.25 c #Conflicts: 1435000 | #Constraints: 39626
2046.46/2052.25 c #Conflicts: 1436000 | #Constraints: 40626
2046.46/2052.25 c #Conflicts: 1437000 | #Constraints: 41626
2046.46/2052.25 c #Conflicts: 1438000 | #Constraints: 42626
2046.46/2052.25 c #Conflicts: 1439000 | #Constraints: 43626
2046.46/2052.25 c #Conflicts: 1440000 | #Constraints: 44626
2046.46/2052.25 c #Conflicts: 1441000 | #Constraints: 45626
2046.46/2052.25 c #Conflicts: 1442000 | #Constraints: 46626
2046.46/2052.25 c #Conflicts: 1443000 | #Constraints: 47626
2046.46/2052.25 c INPROCESSING
2046.46/2052.25 c GARBAGE COLLECT
2046.46/2052.25 c #Conflicts: 1444000 | #Constraints: 24829
2046.46/2052.25 c #Conflicts: 1445000 | #Constraints: 25829
2046.46/2052.25 c #Conflicts: 1446000 | #Constraints: 26829
2046.46/2052.25 c #Conflicts: 1447000 | #Constraints: 27829
2046.46/2052.25 c #Conflicts: 1448000 | #Constraints: 28829
2046.46/2052.25 c #Conflicts: 1449000 | #Constraints: 29829
2046.46/2052.25 c #Conflicts: 1450000 | #Constraints: 30829
2046.46/2052.25 c #Conflicts: 1451000 | #Constraints: 31829
2046.46/2052.25 c #Conflicts: 1452000 | #Constraints: 32829
2046.46/2052.25 c #Conflicts: 1453000 | #Constraints: 33829
2046.46/2052.25 c #Conflicts: 1454000 | #Constraints: 34829
2046.46/2052.25 c #Conflicts: 1455000 | #Constraints: 35829
2046.46/2052.25 c #Conflicts: 1456000 | #Constraints: 36829
2046.46/2052.25 c #Conflicts: 1457000 | #Constraints: 37829
2046.46/2052.25 c #Conflicts: 1458000 | #Constraints: 38829
2046.46/2052.25 c #Conflicts: 1459000 | #Constraints: 39829
2046.46/2052.25 c #Conflicts: 1460000 | #Constraints: 40829
2046.46/2052.25 c #Conflicts: 1461000 | #Constraints: 41829
2046.46/2052.25 c #Conflicts: 1462000 | #Constraints: 42829
2046.46/2052.25 c #Conflicts: 1463000 | #Constraints: 43829
2046.46/2052.25 c #Conflicts: 1464000 | #Constraints: 44829
2046.46/2052.25 c #Conflicts: 1465000 | #Constraints: 45829
2046.46/2052.25 c #Conflicts: 1466000 | #Constraints: 46829
2046.46/2052.25 c #Conflicts: 1467000 | #Constraints: 47829
2046.46/2052.25 c INPROCESSING
2046.46/2052.25 c GARBAGE COLLECT
2046.46/2052.25 c #Conflicts: 1468000 | #Constraints: 24828
2046.46/2052.25 c #Conflicts: 1469000 | #Constraints: 25828
2046.46/2052.25 c #Conflicts: 1470000 | #Constraints: 26828
2046.46/2052.25 c #Conflicts: 1471000 | #Constraints: 27828
2046.46/2052.25 c #Conflicts: 1472000 | #Constraints: 28828
2046.46/2052.25 c #Conflicts: 1473000 | #Constraints: 29828
2046.46/2052.25 c #Conflicts: 1474000 | #Constraints: 30828
2046.46/2052.25 c #Conflicts: 1475000 | #Constraints: 31828
2046.46/2052.25 c #Conflicts: 1476000 | #Constraints: 32828
2046.46/2052.25 c #Conflicts: 1477000 | #Constraints: 33828
2046.46/2052.25 c #Conflicts: 1478000 | #Constraints: 34828
2046.46/2052.25 c #Conflicts: 1479000 | #Constraints: 35828
2046.46/2052.25 c #Conflicts: 1480000 | #Constraints: 36828
2046.46/2052.25 c #Conflicts: 1481000 | #Constraints: 37828
2046.46/2052.25 c #Conflicts: 1482000 | #Constraints: 38828
2046.46/2052.25 c #Conflicts: 1483000 | #Constraints: 39828
2046.46/2052.25 c #Conflicts: 1484000 | #Constraints: 40828
2046.46/2052.25 c #Conflicts: 1485000 | #Constraints: 41828
2046.46/2052.25 c #Conflicts: 1486000 | #Constraints: 42828
2046.46/2052.25 c #Conflicts: 1487000 | #Constraints: 43828
2046.46/2052.25 c #Conflicts: 1488000 | #Constraints: 44828
2046.46/2052.25 c #Conflicts: 1489000 | #Constraints: 45828
2046.46/2052.25 c #Conflicts: 1490000 | #Constraints: 46828
2046.46/2052.25 c #Conflicts: 1491000 | #Constraints: 47828
2046.46/2052.25 c INPROCESSING
2046.46/2052.25 c GARBAGE COLLECT
2046.46/2052.25 c #Conflicts: 1492000 | #Constraints: 24626
2046.46/2052.25 c #Conflicts: 1493000 | #Constraints: 25626
2046.46/2052.25 c #Conflicts: 1494000 | #Constraints: 26626
2046.46/2052.25 c #Conflicts: 1495000 | #Constraints: 27626
2046.46/2052.25 c #Conflicts: 1496000 | #Constraints: 28626
2046.46/2052.25 c #Conflicts: 1497000 | #Constraints: 29626
2046.46/2052.25 c #Conflicts: 1498000 | #Constraints: 30626
2046.46/2052.25 c #Conflicts: 1499000 | #Constraints: 31626
2046.46/2052.25 c #Conflicts: 1500000 | #Constraints: 32626
2046.46/2052.25 c #Conflicts: 1501000 | #Constraints: 33626
2046.46/2052.25 c #Conflicts: 1502000 | #Constraints: 34626
2046.46/2052.25 c #Conflicts: 1503000 | #Constraints: 35626
2046.46/2052.25 c #Conflicts: 1504000 | #Constraints: 36626
2197.30/2203.48 c #Conflicts: 1505000 | #Constraints: 37626
2197.30/2203.48 c #Conflicts: 1506000 | #Constraints: 38626
2197.30/2203.48 c #Conflicts: 1507000 | #Constraints: 39626
2197.30/2203.48 c #Conflicts: 1508000 | #Constraints: 40626
2197.30/2203.48 c #Conflicts: 1509000 | #Constraints: 41626
2197.30/2203.48 c #Conflicts: 1510000 | #Constraints: 42626
2197.30/2203.48 c #Conflicts: 1511000 | #Constraints: 43626
2197.30/2203.48 c #Conflicts: 1512000 | #Constraints: 44626
2197.30/2203.48 c #Conflicts: 1513000 | #Constraints: 45626
2197.30/2203.48 c #Conflicts: 1514000 | #Constraints: 46626
2197.30/2203.48 c #Conflicts: 1515000 | #Constraints: 47626
2197.30/2203.48 c #Conflicts: 1516000 | #Constraints: 48626
2197.30/2203.48 c INPROCESSING
2197.30/2203.48 c GARBAGE COLLECT
2197.30/2203.48 c #Conflicts: 1517000 | #Constraints: 25226
2197.30/2203.48 c #Conflicts: 1518000 | #Constraints: 26226
2197.30/2203.48 c #Conflicts: 1519000 | #Constraints: 27226
2197.30/2203.48 c #Conflicts: 1520000 | #Constraints: 28226
2197.30/2203.48 c #Conflicts: 1521000 | #Constraints: 29226
2197.30/2203.48 c #Conflicts: 1522000 | #Constraints: 30226
2197.30/2203.48 c #Conflicts: 1523000 | #Constraints: 31226
2197.30/2203.49 c #Conflicts: 1524000 | #Constraints: 32226
2197.30/2203.49 c #Conflicts: 1525000 | #Constraints: 33226
2197.30/2203.49 c #Conflicts: 1526000 | #Constraints: 34226
2197.30/2203.49 c #Conflicts: 1527000 | #Constraints: 35226
2197.30/2203.49 c #Conflicts: 1528000 | #Constraints: 36226
2197.30/2203.49 c #Conflicts: 1529000 | #Constraints: 37226
2197.30/2203.49 c #Conflicts: 1530000 | #Constraints: 38226
2197.30/2203.49 c #Conflicts: 1531000 | #Constraints: 39226
2197.30/2203.49 c #Conflicts: 1532000 | #Constraints: 40226
2197.30/2203.49 c #Conflicts: 1533000 | #Constraints: 41226
2197.30/2203.49 c #Conflicts: 1534000 | #Constraints: 42226
2197.30/2203.49 c #Conflicts: 1535000 | #Constraints: 43226
2197.30/2203.49 c #Conflicts: 1536000 | #Constraints: 44226
2197.30/2203.49 c #Conflicts: 1537000 | #Constraints: 45226
2197.30/2203.49 c #Conflicts: 1538000 | #Constraints: 46226
2197.30/2203.49 c #Conflicts: 1539000 | #Constraints: 47226
2197.30/2203.49 c #Conflicts: 1540000 | #Constraints: 48226
2197.30/2203.49 c #Conflicts: 1541000 | #Constraints: 49226
2197.30/2203.49 c INPROCESSING
2197.30/2203.49 c GARBAGE COLLECT
2197.30/2203.49 c #Conflicts: 1542000 | #Constraints: 25623
2197.30/2203.49 c #Conflicts: 1543000 | #Constraints: 26623
2197.30/2203.49 c #Conflicts: 1544000 | #Constraints: 27623
2197.30/2203.49 c #Conflicts: 1545000 | #Constraints: 28623
2197.30/2203.49 c #Conflicts: 1546000 | #Constraints: 29623
2197.30/2203.49 c #Conflicts: 1547000 | #Constraints: 30623
2197.30/2203.49 c #Conflicts: 1548000 | #Constraints: 31623
2197.30/2203.49 c #Conflicts: 1549000 | #Constraints: 32623
2197.30/2203.49 c #Conflicts: 1550000 | #Constraints: 33623
2197.30/2203.49 c #Conflicts: 1551000 | #Constraints: 34623
2197.30/2203.49 c #Conflicts: 1552000 | #Constraints: 35623
2197.30/2203.49 c #Conflicts: 1553000 | #Constraints: 36623
2197.30/2203.49 c #Conflicts: 1554000 | #Constraints: 37623
2197.30/2203.49 c #Conflicts: 1555000 | #Constraints: 38623
2197.30/2203.49 c #Conflicts: 1556000 | #Constraints: 39623
2197.30/2203.49 c #Conflicts: 1557000 | #Constraints: 40623
2197.30/2203.49 c #Conflicts: 1558000 | #Constraints: 41623
2197.30/2203.49 c #Conflicts: 1559000 | #Constraints: 42623
2197.30/2203.49 c #Conflicts: 1560000 | #Constraints: 43623
2197.30/2203.49 c #Conflicts: 1561000 | #Constraints: 44623
2197.30/2203.49 c #Conflicts: 1562000 | #Constraints: 45623
2197.30/2203.49 c #Conflicts: 1563000 | #Constraints: 46623
2197.30/2203.49 c #Conflicts: 1564000 | #Constraints: 47623
2197.30/2203.49 c #Conflicts: 1565000 | #Constraints: 48623
2197.30/2203.49 c #Conflicts: 1566000 | #Constraints: 49623
2197.30/2203.49 c INPROCESSING
2197.30/2203.49 c GARBAGE COLLECT
2197.30/2203.49 c #Conflicts: 1567000 | #Constraints: 25825
2197.30/2203.49 c #Conflicts: 1568000 | #Constraints: 26825
2197.30/2203.49 c #Conflicts: 1569000 | #Constraints: 27825
2197.30/2203.49 c #Conflicts: 1570000 | #Constraints: 28825
2197.30/2203.49 c #Conflicts: 1571000 | #Constraints: 29825
2197.30/2203.49 c #Conflicts: 1572000 | #Constraints: 30825
2197.30/2203.49 c #Conflicts: 1573000 | #Constraints: 31825
2197.30/2203.49 c #Conflicts: 1574000 | #Constraints: 32825
2197.30/2203.49 c #Conflicts: 1575000 | #Constraints: 33825
2197.30/2203.49 c #Conflicts: 1576000 | #Constraints: 34825
2197.30/2203.49 c #Conflicts: 1577000 | #Constraints: 35825
2197.30/2203.49 c #Conflicts: 1578000 | #Constraints: 36825
2197.30/2203.49 c #Conflicts: 1579000 | #Constraints: 37825
2197.30/2203.49 c #Conflicts: 1580000 | #Constraints: 38825
2197.30/2203.49 c #Conflicts: 1581000 | #Constraints: 39825
2344.04/2350.50 c #Conflicts: 1582000 | #Constraints: 40825
2344.04/2350.50 c #Conflicts: 1583000 | #Constraints: 41825
2344.04/2350.50 c #Conflicts: 1584000 | #Constraints: 42825
2344.04/2350.50 c #Conflicts: 1585000 | #Constraints: 43825
2344.04/2350.50 c #Conflicts: 1586000 | #Constraints: 44825
2344.04/2350.50 c #Conflicts: 1587000 | #Constraints: 45825
2344.04/2350.50 c #Conflicts: 1588000 | #Constraints: 46825
2344.04/2350.50 c #Conflicts: 1589000 | #Constraints: 47825
2344.04/2350.50 c #Conflicts: 1590000 | #Constraints: 48825
2344.04/2350.50 c #Conflicts: 1591000 | #Constraints: 49825
2344.04/2350.50 c INPROCESSING
2344.04/2350.50 c GARBAGE COLLECT
2344.04/2350.50 c #Conflicts: 1592000 | #Constraints: 25828
2344.04/2350.50 c #Conflicts: 1593000 | #Constraints: 26828
2344.04/2350.50 c #Conflicts: 1594000 | #Constraints: 27828
2344.04/2350.50 c #Conflicts: 1595000 | #Constraints: 28828
2344.04/2350.50 c #Conflicts: 1596000 | #Constraints: 29828
2344.04/2350.50 c #Conflicts: 1597000 | #Constraints: 30828
2344.04/2350.50 c #Conflicts: 1598000 | #Constraints: 31828
2344.04/2350.50 c #Conflicts: 1599000 | #Constraints: 32828
2344.04/2350.50 c #Conflicts: 1600000 | #Constraints: 33828
2344.04/2350.50 c #Conflicts: 1601000 | #Constraints: 34828
2344.04/2350.50 c #Conflicts: 1602000 | #Constraints: 35828
2344.04/2350.50 c #Conflicts: 1603000 | #Constraints: 36828
2344.04/2350.50 c #Conflicts: 1604000 | #Constraints: 37828
2344.04/2350.50 c #Conflicts: 1605000 | #Constraints: 38828
2344.04/2350.50 c #Conflicts: 1606000 | #Constraints: 39828
2344.04/2350.50 c #Conflicts: 1607000 | #Constraints: 40828
2344.04/2350.50 c #Conflicts: 1608000 | #Constraints: 41828
2344.04/2350.50 c #Conflicts: 1609000 | #Constraints: 42828
2344.04/2350.50 c #Conflicts: 1610000 | #Constraints: 43828
2344.04/2350.50 c #Conflicts: 1611000 | #Constraints: 44828
2344.04/2350.50 c #Conflicts: 1612000 | #Constraints: 45828
2344.04/2350.50 c #Conflicts: 1613000 | #Constraints: 46828
2344.04/2350.50 c #Conflicts: 1614000 | #Constraints: 47828
2344.04/2350.50 c #Conflicts: 1615000 | #Constraints: 48828
2344.04/2350.50 c #Conflicts: 1616000 | #Constraints: 49828
2344.04/2350.50 c INPROCESSING
2344.04/2350.50 c GARBAGE COLLECT
2344.04/2350.50 c #Conflicts: 1617000 | #Constraints: 25628
2344.04/2350.50 c #Conflicts: 1618000 | #Constraints: 26628
2344.04/2350.50 c #Conflicts: 1619000 | #Constraints: 27628
2344.04/2350.50 c #Conflicts: 1620000 | #Constraints: 28628
2344.04/2350.50 c #Conflicts: 1621000 | #Constraints: 29628
2344.04/2350.50 c #Conflicts: 1622000 | #Constraints: 30628
2344.04/2350.50 c #Conflicts: 1623000 | #Constraints: 31628
2344.04/2350.50 c #Conflicts: 1624000 | #Constraints: 32628
2344.04/2350.50 c #Conflicts: 1625000 | #Constraints: 33628
2344.04/2350.50 c #Conflicts: 1626000 | #Constraints: 34628
2344.04/2350.50 c #Conflicts: 1627000 | #Constraints: 35628
2344.04/2350.50 c #Conflicts: 1628000 | #Constraints: 36628
2344.04/2350.50 c #Conflicts: 1629000 | #Constraints: 37628
2344.04/2350.50 c #Conflicts: 1630000 | #Constraints: 38628
2344.04/2350.50 c #Conflicts: 1631000 | #Constraints: 39628
2344.04/2350.50 c #Conflicts: 1632000 | #Constraints: 40628
2344.04/2350.50 c #Conflicts: 1633000 | #Constraints: 41628
2344.04/2350.50 c #Conflicts: 1634000 | #Constraints: 42628
2344.04/2350.50 c #Conflicts: 1635000 | #Constraints: 43628
2344.04/2350.50 c #Conflicts: 1636000 | #Constraints: 44628
2344.04/2350.50 c #Conflicts: 1637000 | #Constraints: 45628
2344.04/2350.50 c #Conflicts: 1638000 | #Constraints: 46628
2344.04/2350.50 c #Conflicts: 1639000 | #Constraints: 47628
2344.04/2350.50 c #Conflicts: 1640000 | #Constraints: 48628
2344.04/2350.50 c #Conflicts: 1641000 | #Constraints: 49628
2344.04/2350.50 c #Conflicts: 1642000 | #Constraints: 50628
2344.04/2350.50 c INPROCESSING
2344.04/2350.50 c GARBAGE COLLECT
2344.04/2350.50 c #Conflicts: 1643000 | #Constraints: 26227
2344.04/2350.50 c #Conflicts: 1644000 | #Constraints: 27227
2344.04/2350.50 c #Conflicts: 1645000 | #Constraints: 28227
2344.04/2350.50 c #Conflicts: 1646000 | #Constraints: 29227
2344.04/2350.50 c #Conflicts: 1647000 | #Constraints: 30227
2344.04/2350.50 c #Conflicts: 1648000 | #Constraints: 31227
2344.04/2350.50 c #Conflicts: 1649000 | #Constraints: 32227
2344.04/2350.50 c #Conflicts: 1650000 | #Constraints: 33227
2344.04/2350.50 c #Conflicts: 1651000 | #Constraints: 34227
2344.04/2350.50 c #Conflicts: 1652000 | #Constraints: 35227
2344.04/2350.50 c #Conflicts: 1653000 | #Constraints: 36227
2344.04/2350.50 c #Conflicts: 1654000 | #Constraints: 37227
2344.04/2350.50 c #Conflicts: 1655000 | #Constraints: 38227
2344.04/2350.50 c #Conflicts: 1656000 | #Constraints: 39227
2344.04/2350.50 c #Conflicts: 1657000 | #Constraints: 40227
2344.04/2350.50 c #Conflicts: 1658000 | #Constraints: 41227
2497.37/2504.28 c #Conflicts: 1659000 | #Constraints: 42227
2497.37/2504.28 c #Conflicts: 1660000 | #Constraints: 43227
2497.37/2504.28 c #Conflicts: 1661000 | #Constraints: 44227
2497.37/2504.28 c #Conflicts: 1662000 | #Constraints: 45227
2497.37/2504.28 c #Conflicts: 1663000 | #Constraints: 46227
2497.37/2504.28 c #Conflicts: 1664000 | #Constraints: 47227
2497.37/2504.28 c #Conflicts: 1665000 | #Constraints: 48227
2497.37/2504.28 c #Conflicts: 1666000 | #Constraints: 49227
2497.37/2504.28 c #Conflicts: 1667000 | #Constraints: 50227
2497.37/2504.28 c #Conflicts: 1668000 | #Constraints: 51227
2497.37/2504.28 c INPROCESSING
2497.37/2504.28 c GARBAGE COLLECT
2497.37/2504.28 c #Conflicts: 1669000 | #Constraints: 26625
2497.37/2504.28 c #Conflicts: 1670000 | #Constraints: 27625
2497.37/2504.28 c #Conflicts: 1671000 | #Constraints: 28625
2497.37/2504.28 c #Conflicts: 1672000 | #Constraints: 29625
2497.37/2504.28 c #Conflicts: 1673000 | #Constraints: 30625
2497.37/2504.28 c #Conflicts: 1674000 | #Constraints: 31625
2497.37/2504.28 c #Conflicts: 1675000 | #Constraints: 32625
2497.37/2504.28 c #Conflicts: 1676000 | #Constraints: 33625
2497.37/2504.28 c #Conflicts: 1677000 | #Constraints: 34625
2497.37/2504.28 c #Conflicts: 1678000 | #Constraints: 35625
2497.37/2504.28 c #Conflicts: 1679000 | #Constraints: 36625
2497.37/2504.28 c #Conflicts: 1680000 | #Constraints: 37625
2497.37/2504.28 c #Conflicts: 1681000 | #Constraints: 38625
2497.37/2504.28 c #Conflicts: 1682000 | #Constraints: 39625
2497.37/2504.28 c #Conflicts: 1683000 | #Constraints: 40625
2497.37/2504.28 c #Conflicts: 1684000 | #Constraints: 41625
2497.37/2504.28 c #Conflicts: 1685000 | #Constraints: 42625
2497.37/2504.28 c #Conflicts: 1686000 | #Constraints: 43625
2497.37/2504.28 c #Conflicts: 1687000 | #Constraints: 44625
2497.37/2504.28 c #Conflicts: 1688000 | #Constraints: 45625
2497.37/2504.28 c #Conflicts: 1689000 | #Constraints: 46625
2497.37/2504.28 c #Conflicts: 1690000 | #Constraints: 47625
2497.37/2504.28 c #Conflicts: 1691000 | #Constraints: 48625
2497.37/2504.28 c #Conflicts: 1692000 | #Constraints: 49625
2497.37/2504.28 c #Conflicts: 1693000 | #Constraints: 50625
2497.37/2504.28 c #Conflicts: 1694000 | #Constraints: 51625
2497.37/2504.28 c INPROCESSING
2497.37/2504.28 c GARBAGE COLLECT
2497.37/2504.28 c #Conflicts: 1695000 | #Constraints: 26824
2497.37/2504.28 c #Conflicts: 1696000 | #Constraints: 27824
2497.37/2504.28 c #Conflicts: 1697000 | #Constraints: 28824
2497.37/2504.28 c #Conflicts: 1698000 | #Constraints: 29824
2497.37/2504.28 c #Conflicts: 1699000 | #Constraints: 30824
2497.37/2504.28 c #Conflicts: 1700000 | #Constraints: 31824
2497.37/2504.28 c #Conflicts: 1701000 | #Constraints: 32824
2497.37/2504.28 c #Conflicts: 1702000 | #Constraints: 33824
2497.37/2504.28 c #Conflicts: 1703000 | #Constraints: 34824
2497.37/2504.28 c #Conflicts: 1704000 | #Constraints: 35824
2497.37/2504.28 c #Conflicts: 1705000 | #Constraints: 36824
2497.37/2504.28 c #Conflicts: 1706000 | #Constraints: 37824
2497.37/2504.28 c #Conflicts: 1707000 | #Constraints: 38824
2497.37/2504.28 c #Conflicts: 1708000 | #Constraints: 39824
2497.37/2504.28 c #Conflicts: 1709000 | #Constraints: 40824
2497.37/2504.28 c #Conflicts: 1710000 | #Constraints: 41824
2497.37/2504.28 c #Conflicts: 1711000 | #Constraints: 42824
2497.37/2504.28 c #Conflicts: 1712000 | #Constraints: 43824
2497.37/2504.28 c #Conflicts: 1713000 | #Constraints: 44824
2497.37/2504.28 c #Conflicts: 1714000 | #Constraints: 45824
2497.37/2504.28 c #Conflicts: 1715000 | #Constraints: 46824
2497.37/2504.28 c #Conflicts: 1716000 | #Constraints: 47824
2497.37/2504.28 c #Conflicts: 1717000 | #Constraints: 48824
2497.37/2504.28 c #Conflicts: 1718000 | #Constraints: 49824
2497.37/2504.28 c #Conflicts: 1719000 | #Constraints: 50824
2497.37/2504.28 c #Conflicts: 1720000 | #Constraints: 51824
2497.37/2504.28 c INPROCESSING
2497.37/2504.28 c GARBAGE COLLECT
2497.37/2504.28 c #Conflicts: 1721000 | #Constraints: 26823
2497.37/2504.28 c #Conflicts: 1722000 | #Constraints: 27823
2497.37/2504.28 c #Conflicts: 1723000 | #Constraints: 28823
2497.37/2504.28 c #Conflicts: 1724000 | #Constraints: 29823
2497.37/2504.28 c #Conflicts: 1725000 | #Constraints: 30823
2497.37/2504.28 c #Conflicts: 1726000 | #Constraints: 31823
2497.37/2504.28 c #Conflicts: 1727000 | #Constraints: 32823
2497.37/2504.28 c #Conflicts: 1728000 | #Constraints: 33823
2497.37/2504.28 c #Conflicts: 1729000 | #Constraints: 34823
2497.37/2504.28 c #Conflicts: 1730000 | #Constraints: 35823
2497.37/2504.28 c #Conflicts: 1731000 | #Constraints: 36823
2497.37/2504.28 c #Conflicts: 1732000 | #Constraints: 37823
2497.37/2504.28 c #Conflicts: 1733000 | #Constraints: 38823
2497.37/2504.28 c #Conflicts: 1734000 | #Constraints: 39823
2497.37/2504.28 c #Conflicts: 1735000 | #Constraints: 40823
2654.79/2662.10 c #Conflicts: 1736000 | #Constraints: 41823
2654.79/2662.10 c #Conflicts: 1737000 | #Constraints: 42823
2654.79/2662.10 c #Conflicts: 1738000 | #Constraints: 43823
2654.79/2662.10 c #Conflicts: 1739000 | #Constraints: 44823
2654.79/2662.10 c #Conflicts: 1740000 | #Constraints: 45823
2654.79/2662.10 c #Conflicts: 1741000 | #Constraints: 46823
2654.79/2662.10 c #Conflicts: 1742000 | #Constraints: 47823
2654.79/2662.10 c #Conflicts: 1743000 | #Constraints: 48823
2654.79/2662.10 c #Conflicts: 1744000 | #Constraints: 49823
2654.79/2662.10 c #Conflicts: 1745000 | #Constraints: 50823
2654.79/2662.10 c #Conflicts: 1746000 | #Constraints: 51823
2654.79/2662.10 c INPROCESSING
2654.79/2662.10 c GARBAGE COLLECT
2654.79/2662.10 c #Conflicts: 1747000 | #Constraints: 26623
2654.79/2662.10 c #Conflicts: 1748000 | #Constraints: 27623
2654.79/2662.10 c #Conflicts: 1749000 | #Constraints: 28623
2654.79/2662.10 c #Conflicts: 1750000 | #Constraints: 29623
2654.79/2662.10 c #Conflicts: 1751000 | #Constraints: 30623
2654.79/2662.10 c #Conflicts: 1752000 | #Constraints: 31623
2654.79/2662.10 c #Conflicts: 1753000 | #Constraints: 32623
2654.79/2662.10 c #Conflicts: 1754000 | #Constraints: 33623
2654.79/2662.10 c #Conflicts: 1755000 | #Constraints: 34623
2654.79/2662.10 c #Conflicts: 1756000 | #Constraints: 35623
2654.79/2662.10 c #Conflicts: 1757000 | #Constraints: 36623
2654.79/2662.10 c #Conflicts: 1758000 | #Constraints: 37623
2654.79/2662.10 c #Conflicts: 1759000 | #Constraints: 38623
2654.79/2662.10 c #Conflicts: 1760000 | #Constraints: 39623
2654.79/2662.10 c #Conflicts: 1761000 | #Constraints: 40623
2654.79/2662.10 c #Conflicts: 1762000 | #Constraints: 41623
2654.79/2662.10 c #Conflicts: 1763000 | #Constraints: 42623
2654.79/2662.10 c #Conflicts: 1764000 | #Constraints: 43623
2654.79/2662.10 c #Conflicts: 1765000 | #Constraints: 44623
2654.79/2662.10 c #Conflicts: 1766000 | #Constraints: 45623
2654.79/2662.10 c #Conflicts: 1767000 | #Constraints: 46623
2654.79/2662.10 c #Conflicts: 1768000 | #Constraints: 47623
2654.79/2662.10 c #Conflicts: 1769000 | #Constraints: 48623
2654.79/2662.10 c #Conflicts: 1770000 | #Constraints: 49623
2654.79/2662.10 c #Conflicts: 1771000 | #Constraints: 50623
2654.79/2662.10 c #Conflicts: 1772000 | #Constraints: 51623
2654.79/2662.10 c #Conflicts: 1773000 | #Constraints: 52623
2654.79/2662.10 c INPROCESSING
2654.79/2662.10 c GARBAGE COLLECT
2654.79/2662.10 c #Conflicts: 1774000 | #Constraints: 27222
2654.79/2662.10 c #Conflicts: 1775000 | #Constraints: 28222
2654.79/2662.10 c #Conflicts: 1776000 | #Constraints: 29222
2654.79/2662.10 c #Conflicts: 1777000 | #Constraints: 30222
2654.79/2662.10 c #Conflicts: 1778000 | #Constraints: 31222
2654.79/2662.10 c #Conflicts: 1779000 | #Constraints: 32222
2654.79/2662.10 c #Conflicts: 1780000 | #Constraints: 33222
2654.79/2662.10 c #Conflicts: 1781000 | #Constraints: 34222
2654.79/2662.10 c #Conflicts: 1782000 | #Constraints: 35222
2654.79/2662.10 c #Conflicts: 1783000 | #Constraints: 36222
2654.79/2662.10 c #Conflicts: 1784000 | #Constraints: 37222
2654.79/2662.10 c #Conflicts: 1785000 | #Constraints: 38222
2654.79/2662.10 c #Conflicts: 1786000 | #Constraints: 39222
2654.79/2662.10 c #Conflicts: 1787000 | #Constraints: 40222
2654.79/2662.10 c #Conflicts: 1788000 | #Constraints: 41222
2654.79/2662.10 c #Conflicts: 1789000 | #Constraints: 42222
2654.79/2662.10 c #Conflicts: 1790000 | #Constraints: 43222
2654.79/2662.10 c #Conflicts: 1791000 | #Constraints: 44222
2654.79/2662.10 c #Conflicts: 1792000 | #Constraints: 45222
2654.79/2662.10 c #Conflicts: 1793000 | #Constraints: 46222
2654.79/2662.10 c #Conflicts: 1794000 | #Constraints: 47222
2654.79/2662.10 c #Conflicts: 1795000 | #Constraints: 48222
2654.79/2662.10 c #Conflicts: 1796000 | #Constraints: 49222
2654.79/2662.10 c #Conflicts: 1797000 | #Constraints: 50222
2654.79/2662.10 c #Conflicts: 1798000 | #Constraints: 51222
2654.79/2662.10 c #Conflicts: 1799000 | #Constraints: 52222
2654.79/2662.10 c #Conflicts: 1800000 | #Constraints: 53222
2654.79/2662.10 c INPROCESSING
2654.79/2662.10 c GARBAGE COLLECT
2654.79/2662.10 c #Conflicts: 1801000 | #Constraints: 27621
2654.79/2662.10 c #Conflicts: 1802000 | #Constraints: 28621
2654.79/2662.10 c #Conflicts: 1803000 | #Constraints: 29621
2654.79/2662.10 c #Conflicts: 1804000 | #Constraints: 30621
2654.79/2662.10 c #Conflicts: 1805000 | #Constraints: 31621
2654.79/2662.10 c #Conflicts: 1806000 | #Constraints: 32621
2654.79/2662.10 c #Conflicts: 1807000 | #Constraints: 33621
2654.79/2662.10 c #Conflicts: 1808000 | #Constraints: 34621
2654.79/2662.10 c #Conflicts: 1809000 | #Constraints: 35621
2654.79/2662.10 c #Conflicts: 1810000 | #Constraints: 36621
2654.79/2662.10 c #Conflicts: 1811000 | #Constraints: 37621
2654.79/2662.10 c #Conflicts: 1812000 | #Constraints: 38621
2818.29/2825.99 c #Conflicts: 1813000 | #Constraints: 39621
2818.29/2825.99 c #Conflicts: 1814000 | #Constraints: 40621
2818.29/2825.99 c #Conflicts: 1815000 | #Constraints: 41621
2818.29/2825.99 c #Conflicts: 1816000 | #Constraints: 42621
2818.29/2825.99 c #Conflicts: 1817000 | #Constraints: 43621
2818.29/2825.99 c #Conflicts: 1818000 | #Constraints: 44621
2818.29/2825.99 c #Conflicts: 1819000 | #Constraints: 45621
2818.29/2825.99 c #Conflicts: 1820000 | #Constraints: 46621
2818.29/2825.99 c #Conflicts: 1821000 | #Constraints: 47621
2818.29/2825.99 c #Conflicts: 1822000 | #Constraints: 48621
2818.29/2825.99 c #Conflicts: 1823000 | #Constraints: 49621
2818.29/2825.99 c #Conflicts: 1824000 | #Constraints: 50621
2818.29/2825.99 c #Conflicts: 1825000 | #Constraints: 51621
2818.29/2825.99 c #Conflicts: 1826000 | #Constraints: 52621
2818.29/2825.99 c #Conflicts: 1827000 | #Constraints: 53621
2818.29/2825.99 c INPROCESSING
2818.29/2825.99 c GARBAGE COLLECT
2818.29/2825.99 c #Conflicts: 1828000 | #Constraints: 27825
2818.29/2825.99 c #Conflicts: 1829000 | #Constraints: 28825
2818.29/2825.99 c #Conflicts: 1830000 | #Constraints: 29825
2818.29/2825.99 c #Conflicts: 1831000 | #Constraints: 30825
2818.29/2825.99 c #Conflicts: 1832000 | #Constraints: 31825
2818.29/2825.99 c #Conflicts: 1833000 | #Constraints: 32825
2818.29/2825.99 c #Conflicts: 1834000 | #Constraints: 33825
2818.29/2825.99 c #Conflicts: 1835000 | #Constraints: 34825
2818.29/2825.99 c #Conflicts: 1836000 | #Constraints: 35825
2818.29/2825.99 c #Conflicts: 1837000 | #Constraints: 36825
2818.29/2825.99 c #Conflicts: 1838000 | #Constraints: 37825
2818.29/2825.99 c #Conflicts: 1839000 | #Constraints: 38825
2818.29/2825.99 c #Conflicts: 1840000 | #Constraints: 39825
2818.29/2825.99 c #Conflicts: 1841000 | #Constraints: 40825
2818.29/2825.99 c #Conflicts: 1842000 | #Constraints: 41825
2818.29/2825.99 c #Conflicts: 1843000 | #Constraints: 42825
2818.29/2825.99 c #Conflicts: 1844000 | #Constraints: 43825
2818.29/2825.99 c #Conflicts: 1845000 | #Constraints: 44825
2818.29/2825.99 c #Conflicts: 1846000 | #Constraints: 45825
2818.29/2825.99 c #Conflicts: 1847000 | #Constraints: 46825
2818.29/2825.99 c #Conflicts: 1848000 | #Constraints: 47825
2818.29/2825.99 c #Conflicts: 1849000 | #Constraints: 48825
2818.29/2825.99 c #Conflicts: 1850000 | #Constraints: 49825
2818.29/2825.99 c #Conflicts: 1851000 | #Constraints: 50825
2818.29/2825.99 c #Conflicts: 1852000 | #Constraints: 51825
2818.29/2825.99 c #Conflicts: 1853000 | #Constraints: 52825
2818.29/2825.99 c #Conflicts: 1854000 | #Constraints: 53825
2818.29/2825.99 c INPROCESSING
2818.29/2825.99 c GARBAGE COLLECT
2818.29/2825.99 c #Conflicts: 1855000 | #Constraints: 27827
2818.29/2825.99 c #Conflicts: 1856000 | #Constraints: 28827
2818.29/2825.99 c #Conflicts: 1857000 | #Constraints: 29827
2818.29/2825.99 c #Conflicts: 1858000 | #Constraints: 30827
2818.29/2825.99 c #Conflicts: 1859000 | #Constraints: 31827
2818.29/2825.99 c #Conflicts: 1860000 | #Constraints: 32827
2818.29/2825.99 c #Conflicts: 1861000 | #Constraints: 33827
2818.29/2825.99 c #Conflicts: 1862000 | #Constraints: 34827
2818.29/2825.99 c #Conflicts: 1863000 | #Constraints: 35827
2818.29/2825.99 c #Conflicts: 1864000 | #Constraints: 36827
2818.29/2825.99 c #Conflicts: 1865000 | #Constraints: 37827
2818.29/2825.99 c #Conflicts: 1866000 | #Constraints: 38827
2818.29/2825.99 c #Conflicts: 1867000 | #Constraints: 39827
2818.29/2825.99 c #Conflicts: 1868000 | #Constraints: 40827
2818.29/2825.99 c #Conflicts: 1869000 | #Constraints: 41827
2818.29/2825.99 c #Conflicts: 1870000 | #Constraints: 42827
2818.29/2825.99 c #Conflicts: 1871000 | #Constraints: 43827
2818.29/2825.99 c #Conflicts: 1872000 | #Constraints: 44827
2818.29/2825.99 c #Conflicts: 1873000 | #Constraints: 45827
2818.29/2825.99 c #Conflicts: 1874000 | #Constraints: 46827
2818.29/2825.99 c #Conflicts: 1875000 | #Constraints: 47827
2818.29/2825.99 c #Conflicts: 1876000 | #Constraints: 48827
2818.29/2825.99 c #Conflicts: 1877000 | #Constraints: 49827
2818.29/2825.99 c #Conflicts: 1878000 | #Constraints: 50827
2818.29/2825.99 c #Conflicts: 1879000 | #Constraints: 51827
2818.29/2825.99 c #Conflicts: 1880000 | #Constraints: 52827
2818.29/2825.99 c #Conflicts: 1881000 | #Constraints: 53827
2818.29/2825.99 c INPROCESSING
2818.29/2825.99 c GARBAGE COLLECT
2818.29/2825.99 c #Conflicts: 1882000 | #Constraints: 27624
2818.29/2825.99 c #Conflicts: 1883000 | #Constraints: 28624
2818.29/2825.99 c #Conflicts: 1884000 | #Constraints: 29624
2818.29/2825.99 c #Conflicts: 1885000 | #Constraints: 30624
2818.29/2825.99 c #Conflicts: 1886000 | #Constraints: 31624
2818.29/2825.99 c #Conflicts: 1887000 | #Constraints: 32624
2818.29/2825.99 c #Conflicts: 1888000 | #Constraints: 33624
2990.97/2999.08 c #Conflicts: 1889000 | #Constraints: 34624
2990.97/2999.08 c #Conflicts: 1890000 | #Constraints: 35624
2990.97/2999.08 c #Conflicts: 1891000 | #Constraints: 36624
2990.97/2999.08 c #Conflicts: 1892000 | #Constraints: 37624
2990.97/2999.08 c #Conflicts: 1893000 | #Constraints: 38624
2990.97/2999.08 c #Conflicts: 1894000 | #Constraints: 39624
2990.97/2999.08 c #Conflicts: 1895000 | #Constraints: 40624
2990.97/2999.08 c #Conflicts: 1896000 | #Constraints: 41624
2990.97/2999.08 c #Conflicts: 1897000 | #Constraints: 42624
2990.97/2999.08 c #Conflicts: 1898000 | #Constraints: 43624
2990.97/2999.08 c #Conflicts: 1899000 | #Constraints: 44624
2990.97/2999.08 c #Conflicts: 1900000 | #Constraints: 45624
2990.97/2999.08 c #Conflicts: 1901000 | #Constraints: 46624
2990.97/2999.08 c #Conflicts: 1902000 | #Constraints: 47624
2990.97/2999.08 c #Conflicts: 1903000 | #Constraints: 48624
2990.97/2999.08 c #Conflicts: 1904000 | #Constraints: 49624
2990.97/2999.08 c #Conflicts: 1905000 | #Constraints: 50624
2990.97/2999.08 c #Conflicts: 1906000 | #Constraints: 51624
2990.97/2999.08 c #Conflicts: 1907000 | #Constraints: 52624
2990.97/2999.08 c #Conflicts: 1908000 | #Constraints: 53624
2990.97/2999.08 c #Conflicts: 1909000 | #Constraints: 54624
2990.97/2999.08 c INPROCESSING
2990.97/2999.08 c GARBAGE COLLECT
2990.97/2999.08 c #Conflicts: 1910000 | #Constraints: 28224
2990.97/2999.08 c #Conflicts: 1911000 | #Constraints: 29224
2990.97/2999.08 c #Conflicts: 1912000 | #Constraints: 30224
2990.97/2999.08 c #Conflicts: 1913000 | #Constraints: 31224
2990.97/2999.08 c #Conflicts: 1914000 | #Constraints: 32224
2990.97/2999.08 c #Conflicts: 1915000 | #Constraints: 33224
2990.97/2999.08 c #Conflicts: 1916000 | #Constraints: 34224
2990.97/2999.08 c #Conflicts: 1917000 | #Constraints: 35224
2990.97/2999.08 c #Conflicts: 1918000 | #Constraints: 36224
2990.97/2999.08 c #Conflicts: 1919000 | #Constraints: 37224
2990.97/2999.08 c #Conflicts: 1920000 | #Constraints: 38224
2990.97/2999.08 c #Conflicts: 1921000 | #Constraints: 39224
2990.97/2999.08 c #Conflicts: 1922000 | #Constraints: 40224
2990.97/2999.08 c #Conflicts: 1923000 | #Constraints: 41224
2990.97/2999.08 c #Conflicts: 1924000 | #Constraints: 42224
2990.97/2999.08 c #Conflicts: 1925000 | #Constraints: 43224
2990.97/2999.08 c #Conflicts: 1926000 | #Constraints: 44224
2990.97/2999.08 c #Conflicts: 1927000 | #Constraints: 45224
2990.97/2999.08 c #Conflicts: 1928000 | #Constraints: 46224
2990.97/2999.08 c #Conflicts: 1929000 | #Constraints: 47224
2990.97/2999.08 c #Conflicts: 1930000 | #Constraints: 48224
2990.97/2999.08 c #Conflicts: 1931000 | #Constraints: 49224
2990.97/2999.08 c #Conflicts: 1932000 | #Constraints: 50224
2990.97/2999.08 c #Conflicts: 1933000 | #Constraints: 51224
2990.97/2999.08 c #Conflicts: 1934000 | #Constraints: 52224
2990.97/2999.08 c #Conflicts: 1935000 | #Constraints: 53224
2990.97/2999.08 c #Conflicts: 1936000 | #Constraints: 54224
2990.97/2999.08 c #Conflicts: 1937000 | #Constraints: 55224
2990.97/2999.08 c INPROCESSING
2990.97/2999.08 c GARBAGE COLLECT
2990.97/2999.08 c #Conflicts: 1938000 | #Constraints: 28622
2990.97/2999.08 c #Conflicts: 1939000 | #Constraints: 29622
2990.97/2999.08 c #Conflicts: 1940000 | #Constraints: 30622
2990.97/2999.08 c #Conflicts: 1941000 | #Constraints: 31622
2990.97/2999.08 c #Conflicts: 1942000 | #Constraints: 32622
2990.97/2999.08 c #Conflicts: 1943000 | #Constraints: 33622
2990.97/2999.08 c #Conflicts: 1944000 | #Constraints: 34622
2990.97/2999.08 c #Conflicts: 1945000 | #Constraints: 35622
2990.97/2999.08 c #Conflicts: 1946000 | #Constraints: 36622
2990.97/2999.08 c #Conflicts: 1947000 | #Constraints: 37622
2990.97/2999.08 c #Conflicts: 1948000 | #Constraints: 38622
2990.97/2999.08 c #Conflicts: 1949000 | #Constraints: 39622
2990.97/2999.08 c #Conflicts: 1950000 | #Constraints: 40622
2990.97/2999.08 c #Conflicts: 1951000 | #Constraints: 41622
2990.97/2999.08 c #Conflicts: 1952000 | #Constraints: 42622
2990.97/2999.08 c #Conflicts: 1953000 | #Constraints: 43622
2990.97/2999.08 c #Conflicts: 1954000 | #Constraints: 44622
2990.97/2999.08 c #Conflicts: 1955000 | #Constraints: 45622
2990.97/2999.08 c #Conflicts: 1956000 | #Constraints: 46622
2990.97/2999.08 c #Conflicts: 1957000 | #Constraints: 47622
2990.97/2999.08 c #Conflicts: 1958000 | #Constraints: 48622
2990.97/2999.08 c #Conflicts: 1959000 | #Constraints: 49622
2990.97/2999.08 c #Conflicts: 1960000 | #Constraints: 50622
2990.97/2999.08 c #Conflicts: 1961000 | #Constraints: 51622
2990.97/2999.08 c #Conflicts: 1962000 | #Constraints: 52622
2990.97/2999.08 c #Conflicts: 1963000 | #Constraints: 53622
2990.97/2999.08 c #Conflicts: 1964000 | #Constraints: 54622
2990.97/2999.08 c #Conflicts: 1965000 | #Constraints: 55622
2990.97/2999.08 c INPROCESSING
2990.97/2999.08 c GARBAGE COLLECT
3162.94/3171.48 c #Conflicts: 1966000 | #Constraints: 28822
3162.94/3171.48 c #Conflicts: 1967000 | #Constraints: 29822
3162.94/3171.48 c #Conflicts: 1968000 | #Constraints: 30822
3162.94/3171.48 c #Conflicts: 1969000 | #Constraints: 31822
3162.94/3171.48 c #Conflicts: 1970000 | #Constraints: 32822
3162.94/3171.48 c #Conflicts: 1971000 | #Constraints: 33822
3162.94/3171.48 c #Conflicts: 1972000 | #Constraints: 34822
3162.94/3171.48 c #Conflicts: 1973000 | #Constraints: 35822
3162.94/3171.48 c #Conflicts: 1974000 | #Constraints: 36822
3162.94/3171.48 c #Conflicts: 1975000 | #Constraints: 37822
3162.94/3171.48 c #Conflicts: 1976000 | #Constraints: 38822
3162.94/3171.48 c #Conflicts: 1977000 | #Constraints: 39822
3162.94/3171.48 c #Conflicts: 1978000 | #Constraints: 40822
3162.94/3171.48 c #Conflicts: 1979000 | #Constraints: 41822
3162.94/3171.48 c #Conflicts: 1980000 | #Constraints: 42822
3162.94/3171.48 c #Conflicts: 1981000 | #Constraints: 43822
3162.94/3171.48 c #Conflicts: 1982000 | #Constraints: 44822
3162.94/3171.48 c #Conflicts: 1983000 | #Constraints: 45822
3162.94/3171.48 c #Conflicts: 1984000 | #Constraints: 46822
3162.94/3171.48 c #Conflicts: 1985000 | #Constraints: 47822
3162.94/3171.48 c #Conflicts: 1986000 | #Constraints: 48822
3162.94/3171.48 c #Conflicts: 1987000 | #Constraints: 49822
3162.94/3171.48 c #Conflicts: 1988000 | #Constraints: 50822
3162.94/3171.48 c #Conflicts: 1989000 | #Constraints: 51822
3162.94/3171.48 c #Conflicts: 1990000 | #Constraints: 52822
3162.94/3171.48 c #Conflicts: 1991000 | #Constraints: 53822
3162.94/3171.48 c #Conflicts: 1992000 | #Constraints: 54822
3162.94/3171.48 c #Conflicts: 1993000 | #Constraints: 55822
3162.94/3171.48 c INPROCESSING
3162.94/3171.48 c GARBAGE COLLECT
3162.94/3171.48 c #Conflicts: 1994000 | #Constraints: 28824
3162.94/3171.48 c #Conflicts: 1995000 | #Constraints: 29824
3162.94/3171.48 c #Conflicts: 1996000 | #Constraints: 30824
3162.94/3171.48 c #Conflicts: 1997000 | #Constraints: 31824
3162.94/3171.48 c #Conflicts: 1998000 | #Constraints: 32824
3162.94/3171.48 c #Conflicts: 1999000 | #Constraints: 33824
3162.94/3171.48 c #Conflicts: 2000000 | #Constraints: 34824
3162.94/3171.48 c #Conflicts: 2001000 | #Constraints: 35824
3162.94/3171.48 c #Conflicts: 2002000 | #Constraints: 36824
3162.94/3171.48 c #Conflicts: 2003000 | #Constraints: 37824
3162.94/3171.48 c #Conflicts: 2004000 | #Constraints: 38824
3162.94/3171.48 c #Conflicts: 2005000 | #Constraints: 39824
3162.94/3171.48 c #Conflicts: 2006000 | #Constraints: 40824
3162.94/3171.48 c #Conflicts: 2007000 | #Constraints: 41824
3162.94/3171.48 c #Conflicts: 2008000 | #Constraints: 42824
3162.94/3171.48 c #Conflicts: 2009000 | #Constraints: 43824
3162.94/3171.48 c #Conflicts: 2010000 | #Constraints: 44824
3162.94/3171.48 c #Conflicts: 2011000 | #Constraints: 45824
3162.94/3171.48 c #Conflicts: 2012000 | #Constraints: 46824
3162.94/3171.48 c #Conflicts: 2013000 | #Constraints: 47824
3162.94/3171.48 c #Conflicts: 2014000 | #Constraints: 48824
3162.94/3171.48 c #Conflicts: 2015000 | #Constraints: 49824
3162.94/3171.48 c #Conflicts: 2016000 | #Constraints: 50824
3162.94/3171.48 c #Conflicts: 2017000 | #Constraints: 51824
3162.94/3171.48 c #Conflicts: 2018000 | #Constraints: 52824
3162.94/3171.48 c #Conflicts: 2019000 | #Constraints: 53824
3162.94/3171.48 c #Conflicts: 2020000 | #Constraints: 54824
3162.94/3171.48 c #Conflicts: 2021000 | #Constraints: 55824
3162.94/3171.48 c INPROCESSING
3162.94/3171.48 c GARBAGE COLLECT
3162.94/3171.48 c #Conflicts: 2022000 | #Constraints: 28621
3162.94/3171.48 c #Conflicts: 2023000 | #Constraints: 29621
3162.94/3171.48 c #Conflicts: 2024000 | #Constraints: 30621
3162.94/3171.48 c #Conflicts: 2025000 | #Constraints: 31621
3162.94/3171.48 c #Conflicts: 2026000 | #Constraints: 32621
3162.94/3171.48 c #Conflicts: 2027000 | #Constraints: 33621
3162.94/3171.48 c #Conflicts: 2028000 | #Constraints: 34621
3162.94/3171.48 c #Conflicts: 2029000 | #Constraints: 35621
3162.94/3171.48 c #Conflicts: 2030000 | #Constraints: 36621
3162.94/3171.48 c #Conflicts: 2031000 | #Constraints: 37621
3162.94/3171.48 c #Conflicts: 2032000 | #Constraints: 38621
3162.94/3171.48 c #Conflicts: 2033000 | #Constraints: 39621
3162.94/3171.48 c #Conflicts: 2034000 | #Constraints: 40621
3162.94/3171.48 c #Conflicts: 2035000 | #Constraints: 41621
3162.94/3171.48 c #Conflicts: 2036000 | #Constraints: 42621
3162.94/3171.48 c #Conflicts: 2037000 | #Constraints: 43621
3162.94/3171.48 c #Conflicts: 2038000 | #Constraints: 44621
3162.94/3171.48 c #Conflicts: 2039000 | #Constraints: 45621
3162.94/3171.48 c #Conflicts: 2040000 | #Constraints: 46621
3162.94/3171.48 c #Conflicts: 2041000 | #Constraints: 47621
3162.94/3171.48 c #Conflicts: 2042000 | #Constraints: 48621
3162.94/3171.48 c #Conflicts: 2043000 | #Constraints: 49621
3342.20/3351.19 c #Conflicts: 2044000 | #Constraints: 50621
3342.20/3351.19 c #Conflicts: 2045000 | #Constraints: 51621
3342.20/3351.19 c #Conflicts: 2046000 | #Constraints: 52621
3342.20/3351.19 c #Conflicts: 2047000 | #Constraints: 53621
3342.20/3351.19 c #Conflicts: 2048000 | #Constraints: 54621
3342.20/3351.19 c #Conflicts: 2049000 | #Constraints: 55621
3342.20/3351.19 c #Conflicts: 2050000 | #Constraints: 56621
3342.20/3351.19 c INPROCESSING
3342.20/3351.19 c GARBAGE COLLECT
3342.20/3351.19 c #Conflicts: 2051000 | #Constraints: 29221
3342.20/3351.19 c #Conflicts: 2052000 | #Constraints: 30221
3342.20/3351.19 c #Conflicts: 2053000 | #Constraints: 31221
3342.20/3351.19 c #Conflicts: 2054000 | #Constraints: 32221
3342.20/3351.19 c #Conflicts: 2055000 | #Constraints: 33221
3342.20/3351.19 c #Conflicts: 2056000 | #Constraints: 34221
3342.20/3351.19 c #Conflicts: 2057000 | #Constraints: 35221
3342.20/3351.19 c #Conflicts: 2058000 | #Constraints: 36221
3342.20/3351.19 c #Conflicts: 2059000 | #Constraints: 37221
3342.20/3351.19 c #Conflicts: 2060000 | #Constraints: 38221
3342.20/3351.19 c #Conflicts: 2061000 | #Constraints: 39221
3342.20/3351.19 c #Conflicts: 2062000 | #Constraints: 40221
3342.20/3351.19 c #Conflicts: 2063000 | #Constraints: 41221
3342.20/3351.19 c #Conflicts: 2064000 | #Constraints: 42221
3342.20/3351.19 c #Conflicts: 2065000 | #Constraints: 43221
3342.20/3351.19 c #Conflicts: 2066000 | #Constraints: 44221
3342.20/3351.19 c #Conflicts: 2067000 | #Constraints: 45221
3342.20/3351.19 c #Conflicts: 2068000 | #Constraints: 46221
3342.20/3351.19 c #Conflicts: 2069000 | #Constraints: 47221
3342.20/3351.19 c #Conflicts: 2070000 | #Constraints: 48221
3342.20/3351.19 c #Conflicts: 2071000 | #Constraints: 49221
3342.20/3351.19 c #Conflicts: 2072000 | #Constraints: 50221
3342.20/3351.19 c #Conflicts: 2073000 | #Constraints: 51221
3342.20/3351.19 c #Conflicts: 2074000 | #Constraints: 52221
3342.20/3351.19 c #Conflicts: 2075000 | #Constraints: 53221
3342.20/3351.19 c #Conflicts: 2076000 | #Constraints: 54221
3342.20/3351.19 c #Conflicts: 2077000 | #Constraints: 55221
3342.20/3351.19 c #Conflicts: 2078000 | #Constraints: 56221
3342.20/3351.19 c #Conflicts: 2079000 | #Constraints: 57221
3342.20/3351.19 c INPROCESSING
3342.20/3351.19 c GARBAGE COLLECT
3342.20/3351.19 c #Conflicts: 2080000 | #Constraints: 29624
3342.20/3351.19 c #Conflicts: 2081000 | #Constraints: 30624
3342.20/3351.19 c #Conflicts: 2082000 | #Constraints: 31624
3342.20/3351.19 c #Conflicts: 2083000 | #Constraints: 32624
3342.20/3351.19 c #Conflicts: 2084000 | #Constraints: 33624
3342.20/3351.19 c #Conflicts: 2085000 | #Constraints: 34624
3342.20/3351.19 c #Conflicts: 2086000 | #Constraints: 35624
3342.20/3351.19 c #Conflicts: 2087000 | #Constraints: 36624
3342.20/3351.19 c #Conflicts: 2088000 | #Constraints: 37624
3342.20/3351.19 c #Conflicts: 2089000 | #Constraints: 38624
3342.20/3351.19 c #Conflicts: 2090000 | #Constraints: 39624
3342.20/3351.19 c #Conflicts: 2091000 | #Constraints: 40624
3342.20/3351.19 c #Conflicts: 2092000 | #Constraints: 41624
3342.20/3351.19 c #Conflicts: 2093000 | #Constraints: 42624
3342.20/3351.19 c #Conflicts: 2094000 | #Constraints: 43624
3342.20/3351.19 c #Conflicts: 2095000 | #Constraints: 44624
3342.20/3351.19 c #Conflicts: 2096000 | #Constraints: 45624
3342.20/3351.19 c #Conflicts: 2097000 | #Constraints: 46624
3342.20/3351.19 c #Conflicts: 2098000 | #Constraints: 47624
3342.20/3351.19 c #Conflicts: 2099000 | #Constraints: 48624
3342.20/3351.19 c #Conflicts: 2100000 | #Constraints: 49624
3342.20/3351.19 c #Conflicts: 2101000 | #Constraints: 50624
3342.20/3351.19 c #Conflicts: 2102000 | #Constraints: 51624
3342.20/3351.19 c #Conflicts: 2103000 | #Constraints: 52624
3342.20/3351.19 c #Conflicts: 2104000 | #Constraints: 53624
3342.20/3351.19 c #Conflicts: 2105000 | #Constraints: 54624
3342.20/3351.19 c #Conflicts: 2106000 | #Constraints: 55624
3342.20/3351.19 c #Conflicts: 2107000 | #Constraints: 56624
3342.20/3351.19 c #Conflicts: 2108000 | #Constraints: 57624
3342.20/3351.19 c INPROCESSING
3342.20/3351.19 c GARBAGE COLLECT
3342.20/3351.19 c #Conflicts: 2109000 | #Constraints: 29824
3342.20/3351.19 c #Conflicts: 2110000 | #Constraints: 30824
3342.20/3351.19 c #Conflicts: 2111000 | #Constraints: 31824
3342.20/3351.19 c #Conflicts: 2112000 | #Constraints: 32824
3342.20/3351.19 c #Conflicts: 2113000 | #Constraints: 33824
3342.20/3351.19 c #Conflicts: 2114000 | #Constraints: 34824
3342.20/3351.19 c #Conflicts: 2115000 | #Constraints: 35824
3342.20/3351.19 c #Conflicts: 2116000 | #Constraints: 36824
3342.20/3351.19 c #Conflicts: 2117000 | #Constraints: 37824
3342.20/3351.19 c #Conflicts: 2118000 | #Constraints: 38824
3342.20/3351.19 c #Conflicts: 2119000 | #Constraints: 39824
3342.20/3351.19 c #Conflicts: 2120000 | #Constraints: 40824
3526.94/3536.36 c #Conflicts: 2121000 | #Constraints: 41824
3526.94/3536.36 c #Conflicts: 2122000 | #Constraints: 42824
3526.94/3536.36 c #Conflicts: 2123000 | #Constraints: 43824
3526.94/3536.36 c #Conflicts: 2124000 | #Constraints: 44824
3526.94/3536.36 c #Conflicts: 2125000 | #Constraints: 45824
3526.94/3536.36 c #Conflicts: 2126000 | #Constraints: 46824
3526.94/3536.36 c #Conflicts: 2127000 | #Constraints: 47824
3526.94/3536.36 c #Conflicts: 2128000 | #Constraints: 48824
3526.94/3536.36 c #Conflicts: 2129000 | #Constraints: 49824
3526.94/3536.36 c #Conflicts: 2130000 | #Constraints: 50824
3526.94/3536.36 c #Conflicts: 2131000 | #Constraints: 51824
3526.94/3536.36 c #Conflicts: 2132000 | #Constraints: 52824
3526.94/3536.36 c #Conflicts: 2133000 | #Constraints: 53824
3526.94/3536.36 c #Conflicts: 2134000 | #Constraints: 54824
3526.94/3536.36 c #Conflicts: 2135000 | #Constraints: 55824
3526.94/3536.36 c #Conflicts: 2136000 | #Constraints: 56824
3526.94/3536.36 c #Conflicts: 2137000 | #Constraints: 57824
3526.94/3536.36 c INPROCESSING
3526.94/3536.36 c GARBAGE COLLECT
3526.94/3536.36 c #Conflicts: 2138000 | #Constraints: 29826
3526.94/3536.36 c #Conflicts: 2139000 | #Constraints: 30826
3526.94/3536.36 c #Conflicts: 2140000 | #Constraints: 31826
3526.94/3536.36 c #Conflicts: 2141000 | #Constraints: 32826
3526.94/3536.36 c #Conflicts: 2142000 | #Constraints: 33826
3526.94/3536.36 c #Conflicts: 2143000 | #Constraints: 34826
3526.94/3536.36 c #Conflicts: 2144000 | #Constraints: 35826
3526.94/3536.36 c #Conflicts: 2145000 | #Constraints: 36826
3526.94/3536.36 c #Conflicts: 2146000 | #Constraints: 37826
3526.94/3536.36 c #Conflicts: 2147000 | #Constraints: 38826
3526.94/3536.36 c #Conflicts: 2148000 | #Constraints: 39826
3526.94/3536.36 c #Conflicts: 2149000 | #Constraints: 40826
3526.94/3536.36 c #Conflicts: 2150000 | #Constraints: 41826
3526.94/3536.36 c #Conflicts: 2151000 | #Constraints: 42826
3526.94/3536.36 c #Conflicts: 2152000 | #Constraints: 43826
3526.94/3536.36 c #Conflicts: 2153000 | #Constraints: 44826
3526.94/3536.36 c #Conflicts: 2154000 | #Constraints: 45826
3526.94/3536.36 c #Conflicts: 2155000 | #Constraints: 46826
3526.94/3536.36 c #Conflicts: 2156000 | #Constraints: 47826
3526.94/3536.36 c #Conflicts: 2157000 | #Constraints: 48826
3526.94/3536.36 c #Conflicts: 2158000 | #Constraints: 49826
3526.94/3536.36 c #Conflicts: 2159000 | #Constraints: 50826
3526.94/3536.36 c #Conflicts: 2160000 | #Constraints: 51826
3526.94/3536.36 c #Conflicts: 2161000 | #Constraints: 52826
3526.94/3536.36 c #Conflicts: 2162000 | #Constraints: 53826
3526.94/3536.36 c #Conflicts: 2163000 | #Constraints: 54826
3526.94/3536.36 c #Conflicts: 2164000 | #Constraints: 55826
3526.94/3536.36 c #Conflicts: 2165000 | #Constraints: 56826
3526.94/3536.36 c #Conflicts: 2166000 | #Constraints: 57826
3526.94/3536.36 c INPROCESSING
3526.94/3536.36 c GARBAGE COLLECT
3526.94/3536.36 c #Conflicts: 2167000 | #Constraints: 29628
3526.94/3536.36 c #Conflicts: 2168000 | #Constraints: 30628
3526.94/3536.36 c #Conflicts: 2169000 | #Constraints: 31628
3526.94/3536.36 c #Conflicts: 2170000 | #Constraints: 32628
3526.94/3536.36 c #Conflicts: 2171000 | #Constraints: 33628
3526.94/3536.36 c #Conflicts: 2172000 | #Constraints: 34628
3526.94/3536.36 c #Conflicts: 2173000 | #Constraints: 35628
3526.94/3536.36 c #Conflicts: 2174000 | #Constraints: 36628
3526.94/3536.36 c #Conflicts: 2175000 | #Constraints: 37628
3526.94/3536.36 c #Conflicts: 2176000 | #Constraints: 38628
3526.94/3536.36 c #Conflicts: 2177000 | #Constraints: 39628
3526.94/3536.36 c #Conflicts: 2178000 | #Constraints: 40628
3526.94/3536.36 c #Conflicts: 2179000 | #Constraints: 41628
3526.94/3536.36 c #Conflicts: 2180000 | #Constraints: 42628
3526.94/3536.36 c #Conflicts: 2181000 | #Constraints: 43628
3526.94/3536.36 c #Conflicts: 2182000 | #Constraints: 44628
3526.94/3536.36 c #Conflicts: 2183000 | #Constraints: 45628
3526.94/3536.36 c #Conflicts: 2184000 | #Constraints: 46628
3526.94/3536.36 c #Conflicts: 2185000 | #Constraints: 47628
3526.94/3536.36 c #Conflicts: 2186000 | #Constraints: 48628
3526.94/3536.36 c #Conflicts: 2187000 | #Constraints: 49628
3526.94/3536.36 c #Conflicts: 2188000 | #Constraints: 50628
3526.94/3536.36 c #Conflicts: 2189000 | #Constraints: 51628
3526.94/3536.36 c #Conflicts: 2190000 | #Constraints: 52628
3526.94/3536.36 c #Conflicts: 2191000 | #Constraints: 53628
3526.94/3536.36 c #Conflicts: 2192000 | #Constraints: 54628
3526.94/3536.36 c #Conflicts: 2193000 | #Constraints: 55628
3526.94/3536.36 c #Conflicts: 2194000 | #Constraints: 56628
3526.94/3536.36 c #Conflicts: 2195000 | #Constraints: 57628
3526.94/3536.36 c #Conflicts: 2196000 | #Constraints: 58628
3526.94/3536.36 c INPROCESSING
3526.94/3536.36 c GARBAGE COLLECT
3526.94/3536.36 c #Conflicts: 2197000 | #Constraints: 30228
3600.06/3609.60 c #Conflicts: 2198000 | #Constraints: 31228
3600.06/3609.60 c #Conflicts: 2199000 | #Constraints: 32228
3600.06/3609.60 c #Conflicts: 2200000 | #Constraints: 33228
3600.06/3609.60 c #Conflicts: 2201000 | #Constraints: 34228
3600.06/3609.60 c #Conflicts: 2202000 | #Constraints: 35228
3600.06/3609.60 c #Conflicts: 2203000 | #Constraints: 36228
3600.06/3609.60 c #Conflicts: 2204000 | #Constraints: 37228
3600.06/3609.60 c #Conflicts: 2205000 | #Constraints: 38228
3600.06/3609.60 c #Conflicts: 2206000 | #Constraints: 39228
3600.06/3609.60 c #Conflicts: 2207000 | #Constraints: 40228
3600.06/3609.60 c #Conflicts: 2208000 | #Constraints: 41228
3600.06/3609.60 c #Conflicts: 2209000 | #Constraints: 42228
3600.06/3609.60 c #Conflicts: 2210000 | #Constraints: 43228
3600.06/3609.60 c #Conflicts: 2211000 | #Constraints: 44228
3600.06/3609.60 c #Conflicts: 2212000 | #Constraints: 45228
3600.06/3609.60 c #Conflicts: 2213000 | #Constraints: 46228
3600.06/3609.60 c #Conflicts: 2214000 | #Constraints: 47228
3600.06/3609.60 c #Conflicts: 2215000 | #Constraints: 48228
3600.06/3609.60 c #Conflicts: 2216000 | #Constraints: 49228
3600.06/3609.60 c #Conflicts: 2217000 | #Constraints: 50228
3600.06/3609.60 c #Conflicts: 2218000 | #Constraints: 51228
3600.06/3609.60 c #Conflicts: 2219000 | #Constraints: 52228
3600.06/3609.60 c #Conflicts: 2220000 | #Constraints: 53228
3600.06/3609.60 c #Conflicts: 2221000 | #Constraints: 54228
3600.06/3609.60 c #Conflicts: 2222000 | #Constraints: 55228
3600.06/3609.60 c #Conflicts: 2223000 | #Constraints: 56228
3600.06/3609.60 c #Conflicts: 2224000 | #Constraints: 57228
3600.06/3609.60 c #Conflicts: 2225000 | #Constraints: 58228
3600.06/3609.60 c #Conflicts: 2226000 | #Constraints: 59228
3600.06/3609.60 c INPROCESSING
3600.06/3609.60 c GARBAGE COLLECT
3600.06/3609.60 c #Conflicts: 2227000 | #Constraints: 30628
3600.06/3609.60 c #Conflicts: 2228000 | #Constraints: 31628
3600.06/3609.60 c Program interrupted by user.
3600.06/3609.60 c cpu time 3590.12 s
3600.06/3609.60 c deterministic time 502935521649 5.03e+11
3600.06/3609.60 c optimization time 3.83739 s
3600.06/3609.60 c total solve time 3287.21 s
3600.06/3609.60 c core-guided solve time 0 s
3600.06/3609.60 c propagation time 2972.3 s
3600.06/3609.60 c conflict analysis time 297.518 s
3600.06/3609.60 c propagations 24908246
3600.06/3609.60 c resolve steps 10342221
3600.06/3609.60 c decisions 4045920
3600.06/3609.60 c conflicts 2228069
3600.06/3609.60 c restarts 4093
3600.06/3609.60 c inprocessing phases 140
3600.06/3609.60 c input clauses 0
3600.06/3609.60 c input cardinalities 0
3600.06/3609.60 c input general constraints 14
3600.06/3609.60 c input average constraint length 59.57
3600.06/3609.60 c input average constraint degree 1536.71
3600.06/3609.60 c learned clauses 1121107
3600.06/3609.60 c learned cardinalities 0
3600.06/3609.60 c learned general constraints 1106961
3600.06/3609.60 c learned average constraint length 43.49
3600.06/3609.60 c learned average constraint degree 14758.98
3600.06/3609.60 c watched constraints 920845
3600.06/3609.60 c counting constraints 186130
3600.06/3609.60 c gcd simplifications 1008457
3600.06/3609.60 c detected cardinalities 0
3600.06/3609.60 c weakened non-implied lits 21875033
3600.06/3609.60 c weakened non-implying lits 1043194
3600.06/3609.60 c original variables 61
3600.06/3609.60 c clausal propagations 427296
3600.06/3609.60 c cardinality propagations 0
3600.06/3609.60 c watched propagations 6679890
3600.06/3609.60 c counting propagations 16056961
3600.06/3609.60 c watch lookups 68652407422
3600.06/3609.60 c watch backjump lookups 57602130646
3600.06/3609.60 c watch checks 204133281516
3600.06/3609.60 c propagation checks 171792500138
3600.06/3609.60 c constraint additions 695065585
3600.06/3609.60 c trail pops 31182175
3600.06/3609.60 c formula constraints 14
3600.06/3609.60 c learned constraints 2228068
3600.06/3609.60 c bound constraints 0
3600.06/3609.60 c core-guided constraints 0
3600.06/3609.60 c encountered formula constraints 4676625
3600.06/3609.60 c encountered learned constraints 7893665
3600.06/3609.60 c encountered bound constraints 0
3600.06/3609.60 c encountered core-guided constraints 0
3600.06/3609.60 c LP total time 0 s
3600.06/3609.60 c LP solve time 0 s
3600.06/3609.60 c LP constraints added 0
3600.06/3609.60 c LP constraints removed 0
3600.06/3609.60 c LP pivots internal 0
3600.06/3609.60 c LP pivots root 0
3600.06/3609.60 c LP calls 0
3600.06/3609.60 c LP optimalities 0
3600.06/3609.60 c LP no pivot count 0
3600.06/3609.60 c LP infeasibilities 0
3600.06/3609.60 c LP valid Farkas constraints 0
3600.06/3609.60 c LP learned Farkas constraints 0
3600.06/3609.60 c LP basis resets 0
3600.06/3609.60 c LP cycling count 0
3600.06/3609.60 c LP singular count 0
3600.06/3609.60 c LP no primal count 0
3600.06/3609.60 c LP no farkas count 0
3600.06/3609.60 c LP other issue count 0
3600.06/3609.60 c LP Gomory cuts 0
3600.06/3609.60 c LP learned cuts 0
3600.06/3609.60 c LP deleted cuts 0
3600.06/3609.60 c LP encountered Gomory constraints 0
3600.06/3609.60 c LP encountered Farkas constraints 0
3600.06/3609.60 c LP encountered learned Farkas constraints 0
3600.06/3609.60 c CG auxiliary variables introduced 0
3600.06/3609.60 c CG solutions found 0
3600.06/3609.60 c CG cores constructed 0
3600.06/3609.60 c CG core cardinality constraints returned 0
3600.06/3609.60 c CG unit cores 0
3600.06/3609.60 c CG single cores 0
3600.06/3609.60 c CG blocks removed during cardinality reduction 0
3600.06/3609.60 c CG first core best 0
3600.06/3609.60 c CG decision core best 0
3600.06/3609.60 c CG core reduction tie 0
3600.06/3609.60 c CG core degree average 0.00
3600.06/3609.60 c CG core slack average 0.00
3600.06/3609.60 c CG exhausted 0
3600.06/3609.60 c CG exhaust time 0 s
3600.06/3609.60 c CG trimmed 0
3600.06/3609.60 c CG trim time 0 s
3600.06/3609.60 c CG minimized 0
3600.06/3609.60 c CG minimize time 0 s
3600.06/3609.60 c CG am1 prop time 0 s
3600.06/3609.60 c CG # am1s reformulated 0
3600.06/3609.60 c CG lower bound derived from am1s 0
3600.06/3609.60 c CG # clausal cores 0
3600.06/3609.60 c CG # cardinality cores 0
3600.06/3609.60 c CG # pb cores 0
3600.06/3609.60 c CG # pb reforms 0
3600.06/3609.60 c CG # cores discarded because of pb reform 0
3600.06/3609.60 d LOWERBOUND 0
3600.06/3609.60 d NCORES 0
3600.06/3609.60 d NPBCORES 0
3600.06/3609.60 d NPBREFORM 0
3600.06/3609.60 d NTRIMMED 0
3600.06/3609.60 d NEXHAUSTED 0
3600.06/3609.60 d NAM1S 0
3600.06/3609.60 d AM1LB 0
3600.06/3609.60 c [Papilo Statistics]
3600.06/3609.60 c prepro time 0.000316432s
3600.06/3609.60 c # tsx applied 7
3600.06/3609.60 c # tsx conflicts 0
3600.06/3609.60 c # bound changes 1
3600.06/3609.60 c # side changes 7
3600.06/3609.60 c # coef changes 0
3600.06/3609.60 c # rounds 2
3600.06/3609.60 c # deted vars 1
3600.06/3609.60 c # deted constrs 8
3600.06/3609.60 c # consecutive rounds of only bound changes 0
3600.06/3609.60 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62077 MiB free)
memory of node 1: 64465 MiB (63528 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528960-1752257734/watcher-4528960-1752257734 -o /tmp/evaluation-result-4528960-1752257734/solver-4528960-1752257734 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752253809-122695 --watchdog 3760 mixed-bag HOME/instance-4528960-1752257734.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=123333, runsolver pid=123330
[startup+0.100061 s]*
/proc/loadavg: 4.01 4.14 4.11 5/263 123334
/proc/meminfo: memFree=128620416/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=100780 memory=29056 CPUtime=0.08 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 3384 0 0 0 8 0 0 0 20 0 1 0 141450901 103198720 7264 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 25195 7264 4288 2834 0 7400 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 100780 KiB
Current children cumulated memory: 29056 KiB
[startup+0.204899 s]*
/proc/loadavg: 4.01 4.14 4.11 4/262 123334
/proc/meminfo: memFree=128618412/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=103248 memory=30976 CPUtime=0.18 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 3883 0 0 0 18 0 0 0 20 0 1 0 141450901 105725952 7744 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 25812 7744 4288 2834 0 8017 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 103248 KiB
Current children cumulated memory: 30976 KiB
[startup+0.30461 s]*
/proc/loadavg: 4.01 4.14 4.11 4/262 123337
/proc/meminfo: memFree=128618412/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=103600 memory=31232 CPUtime=0.29 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 3957 0 0 0 28 1 0 0 20 0 1 0 141450901 106086400 7808 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 25900 7808 4288 2834 0 8105 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 103600 KiB
Current children cumulated memory: 31232 KiB
[startup+0.700122 s]
/proc/loadavg: 4.01 4.14 4.11 5/260 123356
/proc/meminfo: memFree=128678924/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=111664 memory=38948 CPUtime=0.67 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 5976 0 0 0 65 2 0 0 20 0 1 0 141450901 114343936 9737 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 27916 9737 4288 2834 0 10121 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 111664 KiB
Current children cumulated memory: 38948 KiB
[startup+1.50011 s]
/proc/loadavg: 4.01 4.14 4.11 5/264 123365
/proc/meminfo: memFree=128665868/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=112628 memory=40100 CPUtime=1.47 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 6251 0 0 0 145 2 0 0 20 0 1 0 141450901 115331072 10025 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 28157 10025 4288 2834 0 10362 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 112628 KiB
Current children cumulated memory: 40100 KiB
[startup+3.10513 s]
/proc/loadavg: 4.01 4.14 4.11 5/264 123365
/proc/meminfo: memFree=128643520/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=114320 memory=42020 CPUtime=3.07 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 6750 0 0 0 305 2 0 0 20 0 1 0 141450901 117063680 10505 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 28580 10505 4288 2834 0 10785 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 114320 KiB
Current children cumulated memory: 42020 KiB
[startup+6.30013 s]
/proc/loadavg: 4.01 4.14 4.10 5/262 123365
/proc/meminfo: memFree=128627668/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=118476 memory=46500 CPUtime=6.25 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 7872 0 0 0 623 2 0 0 20 0 1 0 141450901 121319424 11625 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 29619 11625 4288 2834 0 11824 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 118476 KiB
Current children cumulated memory: 46500 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.15 4.11 5/262 123396
/proc/meminfo: memFree=128629416/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=132152 memory=59428 CPUtime=12.62 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 11112 0 0 0 1260 2 0 0 20 0 1 0 141450901 135323648 14857 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 33038 14857 4288 2834 0 15243 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 132152 KiB
Current children cumulated memory: 59428 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.15 4.11 5/262 123396
/proc/meminfo: memFree=128533024/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=148924 memory=76068 CPUtime=25.37 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 15246 0 0 0 2534 3 0 0 20 0 1 0 141450901 152498176 19017 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 37231 19017 4288 2834 0 19436 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 148924 KiB
Current children cumulated memory: 76068 KiB
[startup+51.1053 s]
/proc/loadavg: 4.11 4.15 4.11 5/262 123397
/proc/meminfo: memFree=128334284/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=190732 memory=114212 CPUtime=50.89 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 24808 0 0 0 5083 6 0 0 20 0 1 0 141450901 195309568 28553 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 47683 28553 4288 2834 0 29888 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 190732 KiB
Current children cumulated memory: 114212 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/263 123400
/proc/meminfo: memFree=128065092/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=256440 memory=176804 CPUtime=101.9 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 40441 0 0 0 10180 10 0 0 20 0 1 0 141450901 262594560 44201 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 64110 44201 4288 2834 0 46315 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 256440 KiB
Current children cumulated memory: 176804 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/266 123411
/proc/meminfo: memFree=127843816/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=319160 memory=238608 CPUtime=161.7 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 55944 0 0 0 16156 14 0 0 20 0 1 0 141450901 326819840 59652 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 79790 59652 4288 2834 0 61995 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 319160 KiB
Current children cumulated memory: 238608 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/266 123413
/proc/meminfo: memFree=127572920/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=389616 memory=298676 CPUtime=221.48 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 70241 0 0 0 22131 17 0 0 20 0 1 0 141450901 398966784 74669 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 97404 74669 4288 2834 0 79609 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 389616 KiB
Current children cumulated memory: 298676 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/266 123415
/proc/meminfo: memFree=127414288/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=441912 memory=352268 CPUtime=281.28 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 81926 0 0 0 28108 20 0 0 20 0 1 0 141450901 452517888 88067 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 110478 88067 4288 2834 0 92683 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 441912 KiB
Current children cumulated memory: 352268 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/266 123417
/proc/meminfo: memFree=127946084/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=218224 memory=154268 CPUtime=341.11 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 86164 0 0 0 34040 71 0 0 20 0 1 0 141450901 223461376 38567 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 54556 38567 4352 2834 0 36761 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 218224 KiB
Current children cumulated memory: 154268 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/265 123419
/proc/meminfo: memFree=127950172/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=218224 memory=154524 CPUtime=400.95 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 86259 0 0 0 39984 111 0 0 20 0 1 0 141450901 223461376 38631 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 54556 38631 4352 2834 0 36761 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 218224 KiB
Current children cumulated memory: 154524 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 123421
/proc/meminfo: memFree=127931544/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=222644 memory=157572 CPUtime=460.78 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 86480 0 0 0 45927 151 0 0 20 0 1 0 141450901 227987456 39393 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 55661 39393 4352 2834 0 37866 0
################
# More data... #
################
Current children cumulated memory: 167416 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 123547
/proc/meminfo: memFree=127928084/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=241500 memory=167416 CPUtime=2854.6 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 87520 0 0 0 284597 863 0 0 20 0 1 0 141450901 247296000 41854 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 60375 41854 4352 2834 0 42580 0
Current children cumulated CPU time: 2854.6 s
Current children cumulated vsize: 241500 KiB
Current children cumulated memory: 167416 KiB
[startup+2922.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/263 123550
/proc/meminfo: memFree=127922616/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=241500 memory=167928 CPUtime=2914.45 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 87635 0 0 0 290572 873 0 0 20 0 1 0 141450901 247296000 41982 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 60375 41982 4352 2834 0 42580 0
Current children cumulated CPU time: 2914.45 s
Current children cumulated vsize: 241500 KiB
Current children cumulated memory: 167928 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/262 123552
/proc/meminfo: memFree=127925832/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=241500 memory=170232 CPUtime=2974.3 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 87685 0 0 0 296545 885 0 0 20 0 1 0 141450901 247296000 42558 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 60375 42558 4352 2834 0 42580 0
Current children cumulated CPU time: 2974.3 s
Current children cumulated vsize: 241500 KiB
Current children cumulated memory: 170232 KiB
[startup+3042.3 s]
/proc/loadavg: 4.26 4.12 4.10 5/262 123554
/proc/meminfo: memFree=127921128/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=241500 memory=170232 CPUtime=3034.15 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 87685 0 0 0 302519 896 0 0 20 0 1 0 141450901 247296000 42558 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 60375 42558 4352 2834 0 42580 0
Current children cumulated CPU time: 3034.15 s
Current children cumulated vsize: 241500 KiB
Current children cumulated memory: 170232 KiB
[startup+3102.3 s]
/proc/loadavg: 4.28 4.17 4.12 5/263 123557
/proc/meminfo: memFree=127921272/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=241500 memory=170232 CPUtime=3094.01 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 87685 0 0 0 308494 907 0 0 20 0 1 0 141450901 247296000 42558 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 60375 42558 4352 2834 0 42580 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 241500 KiB
Current children cumulated memory: 170232 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/264 123565
/proc/meminfo: memFree=127921504/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=241500 memory=170232 CPUtime=3153.86 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 87685 0 0 0 314469 917 0 0 20 0 1 0 141450901 247296000 42558 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 60375 42558 4352 2834 0 42580 0
Current children cumulated CPU time: 3153.86 s
Current children cumulated vsize: 241500 KiB
Current children cumulated memory: 170232 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/264 123567
/proc/meminfo: memFree=127921488/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=241500 memory=170232 CPUtime=3213.71 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 87685 0 0 0 320445 926 0 0 20 0 1 0 141450901 247296000 42558 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 60375 42558 4352 2834 0 42580 0
Current children cumulated CPU time: 3213.71 s
Current children cumulated vsize: 241500 KiB
Current children cumulated memory: 170232 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/264 123569
/proc/meminfo: memFree=127921128/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=241500 memory=170232 CPUtime=3273.56 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 87687 0 0 0 326420 936 0 0 20 0 1 0 141450901 247296000 42558 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 60375 42558 4352 2834 0 42580 0
Current children cumulated CPU time: 3273.56 s
Current children cumulated vsize: 241500 KiB
Current children cumulated memory: 170232 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/264 123571
/proc/meminfo: memFree=127921736/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=241500 memory=170232 CPUtime=3333.42 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 87687 0 0 0 332395 947 0 0 20 0 1 0 141450901 247296000 42558 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 60375 42558 4352 2834 0 42580 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 241500 KiB
Current children cumulated memory: 170232 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/263 123573
/proc/meminfo: memFree=127916760/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=241500 memory=170232 CPUtime=3393.27 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 87688 0 0 0 338369 958 0 0 20 0 1 0 141450901 247296000 42558 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 60375 42558 4352 2834 0 42580 0
Current children cumulated CPU time: 3393.27 s
Current children cumulated vsize: 241500 KiB
Current children cumulated memory: 170232 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/262 123575
/proc/meminfo: memFree=127917868/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=241500 memory=170232 CPUtime=3453.12 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 87688 0 0 0 344343 969 0 0 20 0 1 0 141450901 247296000 42558 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 60375 42558 4352 2834 0 42580 0
Current children cumulated CPU time: 3453.12 s
Current children cumulated vsize: 241500 KiB
Current children cumulated memory: 170232 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 123578
/proc/meminfo: memFree=127916792/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=241500 memory=170232 CPUtime=3512.97 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 87688 0 0 0 350318 979 0 0 20 0 1 0 141450901 247296000 42558 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 60375 42558 4352 2834 0 42580 0
Current children cumulated CPU time: 3512.97 s
Current children cumulated vsize: 241500 KiB
Current children cumulated memory: 170232 KiB
[startup+3582.3 s]
/proc/loadavg: 4.44 4.21 4.12 5/263 123580
/proc/meminfo: memFree=127917812/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=241500 memory=170232 CPUtime=3572.83 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 87688 0 0 0 356292 991 0 0 20 0 1 0 141450901 247296000 42558 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 60375 42558 4352 2834 0 42580 0
Current children cumulated CPU time: 3572.83 s
Current children cumulated vsize: 241500 KiB
Current children cumulated memory: 170232 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.29 4.19 4.12 5/262 123602
/proc/meminfo: memFree=128218924/131249996 swapFree=33006296/33010684
[pid=123333] ppid=123330 vsize=241500 memory=170232 CPUtime=3600.06 cores=4,6
/proc/123333/stat : 123333 (mixed-bag) R 123330 123333 122684 0 -1 4194304 87688 0 0 0 359012 994 0 0 20 0 1 0 141450901 247296000 42558 18446744073709551615 4235264 15840557 140728951538832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36851712 140728951540122 140728951540199 140728951540199 140728951545803 0
/proc/123333/statm: 60375 42558 4352 2834 0 42580 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 241500 KiB
Current children cumulated memory: 170232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 123333 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.13 s, system=9.95005 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.6
CPU time (s): 3600.08
CPU user time (s): 3590.13
CPU system time (s): 9.95005
CPU usage (%): 99.7361
Max. virtual memory (cumulated for all children) (KiB): 458536
Max. memory (cumulated for all children) (KiB): 372500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.13
system time used= 9.95005
maximum resident set size= 372500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87719
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= 131
involuntary context switches= 2775
# summary of solver processes directly reported to runsolver:
# pid: 123333
# total CPU time (s): 3600.08
# total CPU user time (s): 3590.13
# total CPU system time (s): 9.95005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.04725 second user time and 16.3298 second system time
The end
Begin job on nodeC015 at 2025-07-11 20:15:34
IDJOB=4528960
IDBENCH=147597
IDSOLVER=3386
FILE ID=nodeC015/4528960-1752257734
RUNJOBID= nodeC015-1752253809-122695
SLURM_JOB_ID= 9682590
Free space on /tmp= 432256 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_2.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528960-1752257734/watcher-4528960-1752257734 -o /tmp/evaluation-result-4528960-1752257734/solver-4528960-1752257734 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752253809-122695 --watchdog 3760 mixed-bag HOME/instance-4528960-1752257734.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5da80f5858be2a333e7d6bf1625fcb5c
RANDOM SEED=1166901759
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.072
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.069
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3599.744
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.235
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.090
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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.089
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128620416 kB
MemAvailable: 129661072 kB
Buffers: 1508 kB
Cached: 1819804 kB
SwapCached: 3880 kB
Active: 386680 kB
Inactive: 1570384 kB
Active(anon): 101184 kB
Inactive(anon): 48724 kB
Active(file): 285496 kB
Inactive(file): 1521660 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18984 kB
Writeback: 0 kB
AnonPages: 134936 kB
Mapped: 116408 kB
Shmem: 14152 kB
KReclaimable: 145476 kB
Slab: 238988 kB
SReclaimable: 145476 kB
SUnreclaim: 93512 kB
KernelStack: 4288 kB
PageTables: 3408 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 455092 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432328 MiB
End job on nodeC015 at 2025-07-11 21:15:44