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