0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 120 #constraints 10
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= 0 @ 0.000661
0.00/0.01 c stratification level: 64
0.00/0.03 c bounds 92 >= 0 @ 0.015168
0.00/0.03 c stratification level: 32
0.00/0.03 c bounds 91 >= 0 @ 0.016229
0.00/0.03 c stratification level: 16
0.00/0.04 c bounds 89 >= 0 @ 0.0227
0.00/0.04 c stratification level: 8
0.00/0.08 c bounds 42 >= 0 @ 0.062805
0.00/0.08 c stratification level: 4
7.86/8.00 c #Conflicts: 1000 | #Constraints: 1013
7.86/8.00 c #Conflicts: 2000 | #Constraints: 2013
7.86/8.00 c INPROCESSING
7.86/8.00 c GARBAGE COLLECT
7.86/8.00 c #Conflicts: 3000 | #Constraints: 2013
7.86/8.00 c #Conflicts: 4000 | #Constraints: 3013
7.86/8.00 c INPROCESSING
7.86/8.00 c GARBAGE COLLECT
7.86/8.00 c #Conflicts: 5000 | #Constraints: 2418
7.86/8.00 c #Conflicts: 6000 | #Constraints: 3418
7.86/8.00 c INPROCESSING
7.86/8.00 c GARBAGE COLLECT
7.86/8.00 c #Conflicts: 7000 | #Constraints: 2420
7.86/8.00 c #Conflicts: 8000 | #Constraints: 3420
7.86/8.00 c #Conflicts: 9000 | #Constraints: 4420
7.86/8.00 c INPROCESSING
7.86/8.00 c GARBAGE COLLECT
7.86/8.00 c #Conflicts: 10000 | #Constraints: 3122
7.86/8.00 c #Conflicts: 11000 | #Constraints: 4122
7.86/8.00 c #Conflicts: 12000 | #Constraints: 5122
7.86/8.00 c INPROCESSING
7.86/8.00 c GARBAGE COLLECT
7.86/8.00 c #Conflicts: 13000 | #Constraints: 3574
7.86/8.00 c #Conflicts: 14000 | #Constraints: 4574
7.86/8.00 c #Conflicts: 15000 | #Constraints: 5574
7.86/8.00 c INPROCESSING
7.86/8.00 c GARBAGE COLLECT
7.86/8.00 c #Conflicts: 16000 | #Constraints: 3799
7.86/8.00 c #Conflicts: 17000 | #Constraints: 4799
7.86/8.00 c #Conflicts: 18000 | #Constraints: 5799
7.86/8.00 c INPROCESSING
7.86/8.00 c GARBAGE COLLECT
7.86/8.00 c #Conflicts: 19000 | #Constraints: 3812
7.86/8.00 c #Conflicts: 20000 | #Constraints: 4812
7.86/8.00 c #Conflicts: 21000 | #Constraints: 5812
7.86/8.00 c INPROCESSING
7.86/8.00 c GARBAGE COLLECT
7.86/8.00 c #Conflicts: 22000 | #Constraints: 3615
7.86/8.00 c #Conflicts: 23000 | #Constraints: 4615
7.86/8.00 c #Conflicts: 24000 | #Constraints: 5615
7.86/8.00 c #Conflicts: 25000 | #Constraints: 6615
7.86/8.00 c INPROCESSING
7.86/8.00 c GARBAGE COLLECT
7.86/8.00 c #Conflicts: 26000 | #Constraints: 4219
7.86/8.00 c bounds 13 >= 0 @ 7.85879
7.86/8.00 c stratification level: 2
45.77/45.95 c #Conflicts: 27000 | #Constraints: 5220
45.77/45.95 c #Conflicts: 28000 | #Constraints: 6220
45.77/45.95 c #Conflicts: 29000 | #Constraints: 7220
45.77/45.95 c INPROCESSING
45.77/45.95 c GARBAGE COLLECT
45.77/45.95 c #Conflicts: 30000 | #Constraints: 4621
45.77/45.95 c #Conflicts: 31000 | #Constraints: 5621
45.77/45.95 c #Conflicts: 32000 | #Constraints: 6621
45.77/45.95 c #Conflicts: 33000 | #Constraints: 7621
45.77/45.95 c INPROCESSING
45.77/45.95 c GARBAGE COLLECT
45.77/45.95 c #Conflicts: 34000 | #Constraints: 4822
45.77/45.95 c #Conflicts: 35000 | #Constraints: 5822
45.77/45.95 c #Conflicts: 36000 | #Constraints: 6822
45.77/45.95 c #Conflicts: 37000 | #Constraints: 7822
45.77/45.95 c INPROCESSING
45.77/45.95 c GARBAGE COLLECT
45.77/45.95 c #Conflicts: 38000 | #Constraints: 4825
45.77/45.95 c #Conflicts: 39000 | #Constraints: 5825
45.77/45.95 c #Conflicts: 40000 | #Constraints: 6825
45.77/45.95 c #Conflicts: 41000 | #Constraints: 7825
45.77/45.95 c INPROCESSING
45.77/45.95 c GARBAGE COLLECT
45.77/45.95 c #Conflicts: 42000 | #Constraints: 4624
45.77/45.95 c #Conflicts: 43000 | #Constraints: 5624
45.77/45.95 c #Conflicts: 44000 | #Constraints: 6624
45.77/45.95 c #Conflicts: 45000 | #Constraints: 7624
45.77/45.95 c #Conflicts: 46000 | #Constraints: 8624
45.77/45.95 c INPROCESSING
45.77/45.95 c GARBAGE COLLECT
45.77/45.95 c #Conflicts: 47000 | #Constraints: 5224
45.77/45.95 c #Conflicts: 48000 | #Constraints: 6224
45.77/45.95 c #Conflicts: 49000 | #Constraints: 7224
45.77/45.95 c #Conflicts: 50000 | #Constraints: 8224
45.77/45.95 c #Conflicts: 51000 | #Constraints: 9224
45.77/45.95 c INPROCESSING
45.77/45.95 c GARBAGE COLLECT
45.77/45.95 c #Conflicts: 52000 | #Constraints: 5622
45.77/45.95 c #Conflicts: 53000 | #Constraints: 6622
45.77/45.95 c #Conflicts: 54000 | #Constraints: 7622
45.77/45.95 c #Conflicts: 55000 | #Constraints: 8622
45.77/45.95 c #Conflicts: 56000 | #Constraints: 9622
45.77/45.95 c INPROCESSING
45.77/45.95 c GARBAGE COLLECT
45.77/45.95 c #Conflicts: 57000 | #Constraints: 5821
45.77/45.95 c #Conflicts: 58000 | #Constraints: 6821
45.77/45.95 c #Conflicts: 59000 | #Constraints: 7821
45.77/45.95 c #Conflicts: 60000 | #Constraints: 8821
45.77/45.95 c #Conflicts: 61000 | #Constraints: 9821
45.77/45.95 c INPROCESSING
45.77/45.95 c GARBAGE COLLECT
45.77/45.95 c #Conflicts: 62000 | #Constraints: 5823
45.77/45.95 c #Conflicts: 63000 | #Constraints: 6823
45.77/45.95 c #Conflicts: 64000 | #Constraints: 7823
45.77/45.95 c #Conflicts: 65000 | #Constraints: 8823
45.77/45.95 c #Conflicts: 66000 | #Constraints: 9823
45.77/45.95 c INPROCESSING
45.77/45.95 c GARBAGE COLLECT
45.77/45.95 c #Conflicts: 67000 | #Constraints: 5623
45.77/45.95 c #Conflicts: 68000 | #Constraints: 6623
45.77/45.95 c #Conflicts: 69000 | #Constraints: 7623
45.77/45.95 c #Conflicts: 70000 | #Constraints: 8623
45.77/45.95 c #Conflicts: 71000 | #Constraints: 9623
45.77/45.95 c #Conflicts: 72000 | #Constraints: 10623
45.77/45.95 c INPROCESSING
45.77/45.95 c GARBAGE COLLECT
45.77/45.95 c #Conflicts: 73000 | #Constraints: 6222
45.77/45.95 c #Conflicts: 74000 | #Constraints: 7222
45.77/45.95 c #Conflicts: 75000 | #Constraints: 8222
45.77/45.95 c #Conflicts: 76000 | #Constraints: 9222
45.77/45.95 c #Conflicts: 77000 | #Constraints: 10222
45.77/45.95 c #Conflicts: 78000 | #Constraints: 11222
45.77/45.95 c INPROCESSING
45.77/45.95 c GARBAGE COLLECT
45.77/45.95 c #Conflicts: 79000 | #Constraints: 6624
45.77/45.95 c #Conflicts: 80000 | #Constraints: 7624
45.77/45.95 c #Conflicts: 81000 | #Constraints: 8624
45.77/45.95 c #Conflicts: 82000 | #Constraints: 9624
45.77/45.95 c #Conflicts: 83000 | #Constraints: 10624
45.77/45.95 c #Conflicts: 84000 | #Constraints: 11624
45.77/45.95 c INPROCESSING
45.77/45.95 c GARBAGE COLLECT
45.77/45.95 c #Conflicts: 85000 | #Constraints: 6822
45.77/45.95 c #Conflicts: 86000 | #Constraints: 7822
45.77/45.95 c #Conflicts: 87000 | #Constraints: 8822
45.77/45.95 c #Conflicts: 88000 | #Constraints: 9822
45.77/45.95 c #Conflicts: 89000 | #Constraints: 10822
45.77/45.95 c #Conflicts: 90000 | #Constraints: 11822
45.77/45.95 c INPROCESSING
45.77/45.95 c GARBAGE COLLECT
45.77/45.95 c #Conflicts: 91000 | #Constraints: 6822
45.77/45.95 c #Conflicts: 92000 | #Constraints: 7822
45.77/45.95 c #Conflicts: 93000 | #Constraints: 8822
45.77/45.95 c #Conflicts: 94000 | #Constraints: 9822
45.77/45.95 c #Conflicts: 95000 | #Constraints: 10822
45.77/45.95 c #Conflicts: 96000 | #Constraints: 11822
45.77/45.95 c INPROCESSING
45.77/45.95 c GARBAGE COLLECT
99.21/99.55 c #Conflicts: 97000 | #Constraints: 6625
99.21/99.55 c #Conflicts: 98000 | #Constraints: 7625
99.21/99.55 c #Conflicts: 99000 | #Constraints: 8625
99.21/99.55 c #Conflicts: 100000 | #Constraints: 9625
99.21/99.55 c #Conflicts: 101000 | #Constraints: 10625
99.21/99.55 c #Conflicts: 102000 | #Constraints: 11625
99.21/99.55 c #Conflicts: 103000 | #Constraints: 12625
99.21/99.55 c INPROCESSING
99.21/99.55 c GARBAGE COLLECT
99.21/99.55 c #Conflicts: 104000 | #Constraints: 7223
99.21/99.55 c #Conflicts: 105000 | #Constraints: 8223
99.21/99.55 c #Conflicts: 106000 | #Constraints: 9223
99.21/99.55 c #Conflicts: 107000 | #Constraints: 10223
99.21/99.55 c #Conflicts: 108000 | #Constraints: 11223
99.21/99.55 c #Conflicts: 109000 | #Constraints: 12223
99.21/99.55 c #Conflicts: 110000 | #Constraints: 13223
99.21/99.55 c INPROCESSING
99.21/99.55 c GARBAGE COLLECT
99.21/99.55 c #Conflicts: 111000 | #Constraints: 7625
99.21/99.55 c #Conflicts: 112000 | #Constraints: 8625
99.21/99.55 c #Conflicts: 113000 | #Constraints: 9625
99.21/99.55 c #Conflicts: 114000 | #Constraints: 10625
99.21/99.55 c #Conflicts: 115000 | #Constraints: 11625
99.21/99.55 c #Conflicts: 116000 | #Constraints: 12625
99.21/99.55 c #Conflicts: 117000 | #Constraints: 13625
99.21/99.55 c INPROCESSING
99.21/99.55 c GARBAGE COLLECT
99.21/99.55 c #Conflicts: 118000 | #Constraints: 7825
99.21/99.55 c #Conflicts: 119000 | #Constraints: 8825
99.21/99.55 c #Conflicts: 120000 | #Constraints: 9825
99.21/99.55 c #Conflicts: 121000 | #Constraints: 10825
99.21/99.55 c #Conflicts: 122000 | #Constraints: 11825
99.21/99.55 c #Conflicts: 123000 | #Constraints: 12825
99.21/99.55 c #Conflicts: 124000 | #Constraints: 13825
99.21/99.55 c INPROCESSING
99.21/99.55 c GARBAGE COLLECT
99.21/99.55 c #Conflicts: 125000 | #Constraints: 7825
99.21/99.55 c #Conflicts: 126000 | #Constraints: 8825
99.21/99.55 c #Conflicts: 127000 | #Constraints: 9825
99.21/99.55 c #Conflicts: 128000 | #Constraints: 10825
99.21/99.55 c #Conflicts: 129000 | #Constraints: 11825
99.21/99.55 c #Conflicts: 130000 | #Constraints: 12825
99.21/99.55 c #Conflicts: 131000 | #Constraints: 13825
99.21/99.55 c INPROCESSING
99.21/99.55 c GARBAGE COLLECT
99.21/99.55 c #Conflicts: 132000 | #Constraints: 7623
99.21/99.55 c #Conflicts: 133000 | #Constraints: 8623
99.21/99.55 c #Conflicts: 134000 | #Constraints: 9623
99.21/99.55 c #Conflicts: 135000 | #Constraints: 10623
99.21/99.55 c #Conflicts: 136000 | #Constraints: 11623
99.21/99.55 c #Conflicts: 137000 | #Constraints: 12623
99.21/99.55 c #Conflicts: 138000 | #Constraints: 13623
99.21/99.55 c #Conflicts: 139000 | #Constraints: 14623
99.21/99.55 c INPROCESSING
99.21/99.55 c GARBAGE COLLECT
99.21/99.55 c #Conflicts: 140000 | #Constraints: 8221
99.21/99.55 c #Conflicts: 141000 | #Constraints: 9221
99.21/99.55 c #Conflicts: 142000 | #Constraints: 10221
99.21/99.55 c #Conflicts: 143000 | #Constraints: 11221
99.21/99.55 c #Conflicts: 144000 | #Constraints: 12221
99.21/99.55 c #Conflicts: 145000 | #Constraints: 13221
99.21/99.55 c #Conflicts: 146000 | #Constraints: 14221
99.21/99.55 c #Conflicts: 147000 | #Constraints: 15221
99.21/99.55 c INPROCESSING
99.21/99.55 c GARBAGE COLLECT
99.21/99.55 c #Conflicts: 148000 | #Constraints: 8625
99.21/99.55 c #Conflicts: 149000 | #Constraints: 9625
99.21/99.55 c #Conflicts: 150000 | #Constraints: 10625
99.21/99.55 c #Conflicts: 151000 | #Constraints: 11625
99.21/99.55 c #Conflicts: 152000 | #Constraints: 12625
99.21/99.55 c #Conflicts: 153000 | #Constraints: 13625
99.21/99.55 c #Conflicts: 154000 | #Constraints: 14625
99.21/99.55 c #Conflicts: 155000 | #Constraints: 15625
99.21/99.55 c INPROCESSING
99.21/99.55 c GARBAGE COLLECT
99.21/99.55 c #Conflicts: 156000 | #Constraints: 8822
99.21/99.55 c #Conflicts: 157000 | #Constraints: 9822
99.21/99.55 c #Conflicts: 158000 | #Constraints: 10822
99.21/99.55 c #Conflicts: 159000 | #Constraints: 11822
99.21/99.55 c #Conflicts: 160000 | #Constraints: 12822
99.21/99.55 c #Conflicts: 161000 | #Constraints: 13822
99.21/99.55 c #Conflicts: 162000 | #Constraints: 14822
99.21/99.55 c #Conflicts: 163000 | #Constraints: 15822
99.21/99.55 c INPROCESSING
99.21/99.55 c GARBAGE COLLECT
99.21/99.55 c #Conflicts: 164000 | #Constraints: 8825
99.21/99.55 c #Conflicts: 165000 | #Constraints: 9825
99.21/99.55 c #Conflicts: 166000 | #Constraints: 10825
99.21/99.55 c #Conflicts: 167000 | #Constraints: 11825
99.21/99.55 c #Conflicts: 168000 | #Constraints: 12825
99.21/99.55 c #Conflicts: 169000 | #Constraints: 13825
169.70/170.27 c #Conflicts: 170000 | #Constraints: 14825
169.70/170.27 c #Conflicts: 171000 | #Constraints: 15825
169.70/170.27 c INPROCESSING
169.70/170.27 c GARBAGE COLLECT
169.70/170.27 c #Conflicts: 172000 | #Constraints: 8624
169.70/170.27 c #Conflicts: 173000 | #Constraints: 9624
169.70/170.27 c #Conflicts: 174000 | #Constraints: 10624
169.70/170.27 c #Conflicts: 175000 | #Constraints: 11624
169.70/170.27 c #Conflicts: 176000 | #Constraints: 12624
169.70/170.27 c #Conflicts: 177000 | #Constraints: 13624
169.70/170.27 c #Conflicts: 178000 | #Constraints: 14624
169.70/170.27 c #Conflicts: 179000 | #Constraints: 15624
169.70/170.27 c #Conflicts: 180000 | #Constraints: 16624
169.70/170.27 c INPROCESSING
169.70/170.27 c GARBAGE COLLECT
169.70/170.27 c #Conflicts: 181000 | #Constraints: 9223
169.70/170.27 c #Conflicts: 182000 | #Constraints: 10223
169.70/170.27 c #Conflicts: 183000 | #Constraints: 11223
169.70/170.27 c #Conflicts: 184000 | #Constraints: 12223
169.70/170.27 c #Conflicts: 185000 | #Constraints: 13223
169.70/170.27 c #Conflicts: 186000 | #Constraints: 14223
169.70/170.27 c #Conflicts: 187000 | #Constraints: 15223
169.70/170.27 c #Conflicts: 188000 | #Constraints: 16223
169.70/170.27 c #Conflicts: 189000 | #Constraints: 17223
169.70/170.27 c INPROCESSING
169.70/170.27 c GARBAGE COLLECT
169.70/170.27 c #Conflicts: 190000 | #Constraints: 9624
169.70/170.27 c #Conflicts: 191000 | #Constraints: 10624
169.70/170.27 c #Conflicts: 192000 | #Constraints: 11624
169.70/170.27 c #Conflicts: 193000 | #Constraints: 12624
169.70/170.27 c #Conflicts: 194000 | #Constraints: 13624
169.70/170.27 c #Conflicts: 195000 | #Constraints: 14624
169.70/170.27 c #Conflicts: 196000 | #Constraints: 15624
169.70/170.27 c #Conflicts: 197000 | #Constraints: 16624
169.70/170.27 c #Conflicts: 198000 | #Constraints: 17624
169.70/170.27 c INPROCESSING
169.70/170.27 c GARBAGE COLLECT
169.70/170.27 c #Conflicts: 199000 | #Constraints: 9827
169.70/170.27 c #Conflicts: 200000 | #Constraints: 10827
169.70/170.27 c #Conflicts: 201000 | #Constraints: 11827
169.70/170.27 c #Conflicts: 202000 | #Constraints: 12827
169.70/170.27 c #Conflicts: 203000 | #Constraints: 13827
169.70/170.27 c #Conflicts: 204000 | #Constraints: 14827
169.70/170.27 c #Conflicts: 205000 | #Constraints: 15827
169.70/170.27 c #Conflicts: 206000 | #Constraints: 16827
169.70/170.27 c #Conflicts: 207000 | #Constraints: 17827
169.70/170.27 c INPROCESSING
169.70/170.27 c GARBAGE COLLECT
169.70/170.27 c #Conflicts: 208000 | #Constraints: 9826
169.70/170.27 c #Conflicts: 209000 | #Constraints: 10826
169.70/170.27 c #Conflicts: 210000 | #Constraints: 11826
169.70/170.27 c #Conflicts: 211000 | #Constraints: 12826
169.70/170.27 c #Conflicts: 212000 | #Constraints: 13826
169.70/170.27 c #Conflicts: 213000 | #Constraints: 14826
169.70/170.27 c #Conflicts: 214000 | #Constraints: 15826
169.70/170.27 c #Conflicts: 215000 | #Constraints: 16826
169.70/170.27 c #Conflicts: 216000 | #Constraints: 17826
169.70/170.27 c INPROCESSING
169.70/170.27 c GARBAGE COLLECT
169.70/170.27 c #Conflicts: 217000 | #Constraints: 9626
169.70/170.27 c #Conflicts: 218000 | #Constraints: 10626
169.70/170.27 c #Conflicts: 219000 | #Constraints: 11626
169.70/170.27 c #Conflicts: 220000 | #Constraints: 12626
169.70/170.27 c #Conflicts: 221000 | #Constraints: 13626
169.70/170.27 c #Conflicts: 222000 | #Constraints: 14626
169.70/170.27 c #Conflicts: 223000 | #Constraints: 15626
169.70/170.27 c #Conflicts: 224000 | #Constraints: 16626
169.70/170.27 c #Conflicts: 225000 | #Constraints: 17626
169.70/170.27 c #Conflicts: 226000 | #Constraints: 18626
169.70/170.27 c INPROCESSING
169.70/170.27 c GARBAGE COLLECT
169.70/170.27 c #Conflicts: 227000 | #Constraints: 10228
169.70/170.27 c #Conflicts: 228000 | #Constraints: 11228
169.70/170.27 c #Conflicts: 229000 | #Constraints: 12228
169.70/170.27 c #Conflicts: 230000 | #Constraints: 13228
169.70/170.27 c #Conflicts: 231000 | #Constraints: 14228
169.70/170.27 c #Conflicts: 232000 | #Constraints: 15228
169.70/170.27 c #Conflicts: 233000 | #Constraints: 16228
169.70/170.27 c #Conflicts: 234000 | #Constraints: 17228
169.70/170.27 c #Conflicts: 235000 | #Constraints: 18228
169.70/170.27 c #Conflicts: 236000 | #Constraints: 19228
169.70/170.27 c INPROCESSING
169.70/170.27 c GARBAGE COLLECT
169.70/170.27 c #Conflicts: 237000 | #Constraints: 10626
169.70/170.27 c #Conflicts: 238000 | #Constraints: 11626
169.70/170.27 c #Conflicts: 239000 | #Constraints: 12626
169.70/170.27 c #Conflicts: 240000 | #Constraints: 13626
169.70/170.27 c #Conflicts: 241000 | #Constraints: 14626
169.70/170.27 c #Conflicts: 242000 | #Constraints: 15626
169.70/170.27 c #Conflicts: 243000 | #Constraints: 16626
246.89/247.68 c #Conflicts: 244000 | #Constraints: 17626
246.89/247.68 c #Conflicts: 245000 | #Constraints: 18626
246.89/247.68 c #Conflicts: 246000 | #Constraints: 19626
246.89/247.68 c INPROCESSING
246.89/247.68 c GARBAGE COLLECT
246.89/247.68 c #Conflicts: 247000 | #Constraints: 10825
246.89/247.68 c #Conflicts: 248000 | #Constraints: 11825
246.89/247.68 c #Conflicts: 249000 | #Constraints: 12825
246.89/247.68 c #Conflicts: 250000 | #Constraints: 13825
246.89/247.68 c #Conflicts: 251000 | #Constraints: 14825
246.89/247.68 c #Conflicts: 252000 | #Constraints: 15825
246.89/247.68 c #Conflicts: 253000 | #Constraints: 16825
246.89/247.68 c #Conflicts: 254000 | #Constraints: 17825
246.89/247.68 c #Conflicts: 255000 | #Constraints: 18825
246.89/247.68 c #Conflicts: 256000 | #Constraints: 19825
246.89/247.68 c INPROCESSING
246.89/247.68 c GARBAGE COLLECT
246.89/247.68 c #Conflicts: 257000 | #Constraints: 10823
246.89/247.68 c #Conflicts: 258000 | #Constraints: 11823
246.89/247.68 c #Conflicts: 259000 | #Constraints: 12823
246.89/247.68 c #Conflicts: 260000 | #Constraints: 13823
246.89/247.68 c #Conflicts: 261000 | #Constraints: 14823
246.89/247.68 c #Conflicts: 262000 | #Constraints: 15823
246.89/247.68 c #Conflicts: 263000 | #Constraints: 16823
246.89/247.68 c #Conflicts: 264000 | #Constraints: 17823
246.89/247.68 c #Conflicts: 265000 | #Constraints: 18823
246.89/247.68 c #Conflicts: 266000 | #Constraints: 19823
246.89/247.68 c INPROCESSING
246.89/247.68 c GARBAGE COLLECT
246.89/247.68 c #Conflicts: 267000 | #Constraints: 10625
246.89/247.68 c #Conflicts: 268000 | #Constraints: 11625
246.89/247.68 c #Conflicts: 269000 | #Constraints: 12625
246.89/247.68 c #Conflicts: 270000 | #Constraints: 13625
246.89/247.68 c #Conflicts: 271000 | #Constraints: 14625
246.89/247.68 c #Conflicts: 272000 | #Constraints: 15625
246.89/247.68 c #Conflicts: 273000 | #Constraints: 16625
246.89/247.68 c #Conflicts: 274000 | #Constraints: 17625
246.89/247.68 c #Conflicts: 275000 | #Constraints: 18625
246.89/247.68 c #Conflicts: 276000 | #Constraints: 19625
246.89/247.68 c #Conflicts: 277000 | #Constraints: 20625
246.89/247.68 c INPROCESSING
246.89/247.68 c GARBAGE COLLECT
246.89/247.68 c #Conflicts: 278000 | #Constraints: 11224
246.89/247.68 c #Conflicts: 279000 | #Constraints: 12224
246.89/247.68 c #Conflicts: 280000 | #Constraints: 13224
246.89/247.68 c #Conflicts: 281000 | #Constraints: 14224
246.89/247.68 c #Conflicts: 282000 | #Constraints: 15224
246.89/247.68 c #Conflicts: 283000 | #Constraints: 16224
246.89/247.68 c #Conflicts: 284000 | #Constraints: 17224
246.89/247.68 c #Conflicts: 285000 | #Constraints: 18224
246.89/247.68 c #Conflicts: 286000 | #Constraints: 19224
246.89/247.68 c #Conflicts: 287000 | #Constraints: 20224
246.89/247.68 c #Conflicts: 288000 | #Constraints: 21224
246.89/247.68 c INPROCESSING
246.89/247.68 c GARBAGE COLLECT
246.89/247.68 c #Conflicts: 289000 | #Constraints: 11624
246.89/247.68 c #Conflicts: 290000 | #Constraints: 12624
246.89/247.68 c #Conflicts: 291000 | #Constraints: 13624
246.89/247.68 c #Conflicts: 292000 | #Constraints: 14624
246.89/247.68 c #Conflicts: 293000 | #Constraints: 15624
246.89/247.68 c #Conflicts: 294000 | #Constraints: 16624
246.89/247.68 c #Conflicts: 295000 | #Constraints: 17624
246.89/247.68 c #Conflicts: 296000 | #Constraints: 18624
246.89/247.68 c #Conflicts: 297000 | #Constraints: 19624
246.89/247.68 c #Conflicts: 298000 | #Constraints: 20624
246.89/247.68 c #Conflicts: 299000 | #Constraints: 21624
246.89/247.68 c INPROCESSING
246.89/247.68 c GARBAGE COLLECT
246.89/247.68 c #Conflicts: 300000 | #Constraints: 11824
246.89/247.68 c #Conflicts: 301000 | #Constraints: 12824
246.89/247.68 c #Conflicts: 302000 | #Constraints: 13824
246.89/247.68 c #Conflicts: 303000 | #Constraints: 14824
246.89/247.68 c #Conflicts: 304000 | #Constraints: 15824
246.89/247.68 c #Conflicts: 305000 | #Constraints: 16824
246.89/247.68 c #Conflicts: 306000 | #Constraints: 17824
246.89/247.68 c #Conflicts: 307000 | #Constraints: 18824
246.89/247.68 c #Conflicts: 308000 | #Constraints: 19824
246.89/247.68 c #Conflicts: 309000 | #Constraints: 20824
246.89/247.68 c #Conflicts: 310000 | #Constraints: 21824
246.89/247.68 c INPROCESSING
246.89/247.68 c GARBAGE COLLECT
246.89/247.68 c #Conflicts: 311000 | #Constraints: 11826
246.89/247.68 c #Conflicts: 312000 | #Constraints: 12826
246.89/247.68 c #Conflicts: 313000 | #Constraints: 13826
246.89/247.68 c #Conflicts: 314000 | #Constraints: 14826
246.89/247.68 c #Conflicts: 315000 | #Constraints: 15826
246.89/247.68 c #Conflicts: 316000 | #Constraints: 16826
246.89/247.68 c #Conflicts: 317000 | #Constraints: 17826
339.44/340.43 c #Conflicts: 318000 | #Constraints: 18826
339.44/340.43 c #Conflicts: 319000 | #Constraints: 19826
339.44/340.43 c #Conflicts: 320000 | #Constraints: 20826
339.44/340.43 c #Conflicts: 321000 | #Constraints: 21826
339.44/340.43 c INPROCESSING
339.44/340.43 c GARBAGE COLLECT
339.44/340.43 c #Conflicts: 322000 | #Constraints: 11624
339.44/340.43 c #Conflicts: 323000 | #Constraints: 12624
339.44/340.43 c #Conflicts: 324000 | #Constraints: 13624
339.44/340.43 c #Conflicts: 325000 | #Constraints: 14624
339.44/340.43 c #Conflicts: 326000 | #Constraints: 15624
339.44/340.43 c #Conflicts: 327000 | #Constraints: 16624
339.44/340.43 c #Conflicts: 328000 | #Constraints: 17624
339.44/340.43 c #Conflicts: 329000 | #Constraints: 18624
339.44/340.43 c #Conflicts: 330000 | #Constraints: 19624
339.44/340.43 c #Conflicts: 331000 | #Constraints: 20624
339.44/340.43 c #Conflicts: 332000 | #Constraints: 21624
339.44/340.43 c #Conflicts: 333000 | #Constraints: 22624
339.44/340.43 c INPROCESSING
339.44/340.43 c GARBAGE COLLECT
339.44/340.43 c #Conflicts: 334000 | #Constraints: 12223
339.44/340.43 c #Conflicts: 335000 | #Constraints: 13223
339.44/340.43 c #Conflicts: 336000 | #Constraints: 14223
339.44/340.43 c #Conflicts: 337000 | #Constraints: 15223
339.44/340.43 c #Conflicts: 338000 | #Constraints: 16223
339.44/340.43 c #Conflicts: 339000 | #Constraints: 17223
339.44/340.43 c #Conflicts: 340000 | #Constraints: 18223
339.44/340.43 c #Conflicts: 341000 | #Constraints: 19223
339.44/340.43 c #Conflicts: 342000 | #Constraints: 20223
339.44/340.43 c #Conflicts: 343000 | #Constraints: 21223
339.44/340.43 c #Conflicts: 344000 | #Constraints: 22223
339.44/340.43 c #Conflicts: 345000 | #Constraints: 23223
339.44/340.43 c INPROCESSING
339.44/340.43 c GARBAGE COLLECT
339.44/340.43 c #Conflicts: 346000 | #Constraints: 12623
339.44/340.43 c #Conflicts: 347000 | #Constraints: 13623
339.44/340.43 c #Conflicts: 348000 | #Constraints: 14623
339.44/340.43 c #Conflicts: 349000 | #Constraints: 15623
339.44/340.43 c #Conflicts: 350000 | #Constraints: 16623
339.44/340.43 c #Conflicts: 351000 | #Constraints: 17623
339.44/340.43 c #Conflicts: 352000 | #Constraints: 18623
339.44/340.43 c #Conflicts: 353000 | #Constraints: 19623
339.44/340.43 c #Conflicts: 354000 | #Constraints: 20623
339.44/340.43 c #Conflicts: 355000 | #Constraints: 21623
339.44/340.43 c #Conflicts: 356000 | #Constraints: 22623
339.44/340.43 c #Conflicts: 357000 | #Constraints: 23623
339.44/340.43 c INPROCESSING
339.44/340.43 c GARBAGE COLLECT
339.44/340.43 c #Conflicts: 358000 | #Constraints: 12825
339.44/340.43 c #Conflicts: 359000 | #Constraints: 13825
339.44/340.43 c #Conflicts: 360000 | #Constraints: 14825
339.44/340.43 c #Conflicts: 361000 | #Constraints: 15825
339.44/340.43 c #Conflicts: 362000 | #Constraints: 16825
339.44/340.43 c #Conflicts: 363000 | #Constraints: 17825
339.44/340.43 c #Conflicts: 364000 | #Constraints: 18825
339.44/340.43 c #Conflicts: 365000 | #Constraints: 19825
339.44/340.43 c #Conflicts: 366000 | #Constraints: 20825
339.44/340.43 c #Conflicts: 367000 | #Constraints: 21825
339.44/340.43 c #Conflicts: 368000 | #Constraints: 22825
339.44/340.43 c #Conflicts: 369000 | #Constraints: 23825
339.44/340.43 c INPROCESSING
339.44/340.43 c GARBAGE COLLECT
339.44/340.43 c #Conflicts: 370000 | #Constraints: 12825
339.44/340.43 c #Conflicts: 371000 | #Constraints: 13825
339.44/340.43 c #Conflicts: 372000 | #Constraints: 14825
339.44/340.43 c #Conflicts: 373000 | #Constraints: 15825
339.44/340.43 c #Conflicts: 374000 | #Constraints: 16825
339.44/340.43 c #Conflicts: 375000 | #Constraints: 17825
339.44/340.43 c #Conflicts: 376000 | #Constraints: 18825
339.44/340.43 c #Conflicts: 377000 | #Constraints: 19825
339.44/340.43 c #Conflicts: 378000 | #Constraints: 20825
339.44/340.43 c #Conflicts: 379000 | #Constraints: 21825
339.44/340.43 c #Conflicts: 380000 | #Constraints: 22825
339.44/340.43 c #Conflicts: 381000 | #Constraints: 23825
339.44/340.43 c INPROCESSING
339.44/340.43 c GARBAGE COLLECT
339.44/340.43 c #Conflicts: 382000 | #Constraints: 12625
339.44/340.43 c #Conflicts: 383000 | #Constraints: 13625
339.44/340.43 c #Conflicts: 384000 | #Constraints: 14625
339.44/340.43 c #Conflicts: 385000 | #Constraints: 15625
339.44/340.43 c #Conflicts: 386000 | #Constraints: 16625
339.44/340.43 c #Conflicts: 387000 | #Constraints: 17625
339.44/340.43 c #Conflicts: 388000 | #Constraints: 18625
339.44/340.43 c #Conflicts: 389000 | #Constraints: 19625
339.44/340.43 c #Conflicts: 390000 | #Constraints: 20625
339.44/340.43 c #Conflicts: 391000 | #Constraints: 21625
339.44/340.43 c #Conflicts: 392000 | #Constraints: 22625
441.14/442.47 c #Conflicts: 393000 | #Constraints: 23625
441.14/442.47 c #Conflicts: 394000 | #Constraints: 24625
441.14/442.47 c INPROCESSING
441.14/442.47 c GARBAGE COLLECT
441.14/442.47 c #Conflicts: 395000 | #Constraints: 13225
441.14/442.47 c #Conflicts: 396000 | #Constraints: 14225
441.14/442.47 c #Conflicts: 397000 | #Constraints: 15225
441.14/442.47 c #Conflicts: 398000 | #Constraints: 16225
441.14/442.47 c #Conflicts: 399000 | #Constraints: 17225
441.14/442.47 c #Conflicts: 400000 | #Constraints: 18225
441.14/442.47 c #Conflicts: 401000 | #Constraints: 19225
441.14/442.47 c #Conflicts: 402000 | #Constraints: 20225
441.14/442.47 c #Conflicts: 403000 | #Constraints: 21225
441.14/442.47 c #Conflicts: 404000 | #Constraints: 22225
441.14/442.47 c #Conflicts: 405000 | #Constraints: 23225
441.14/442.47 c #Conflicts: 406000 | #Constraints: 24225
441.14/442.47 c #Conflicts: 407000 | #Constraints: 25225
441.14/442.47 c INPROCESSING
441.14/442.47 c GARBAGE COLLECT
441.14/442.47 c #Conflicts: 408000 | #Constraints: 13623
441.14/442.47 c #Conflicts: 409000 | #Constraints: 14623
441.14/442.47 c #Conflicts: 410000 | #Constraints: 15623
441.14/442.47 c #Conflicts: 411000 | #Constraints: 16623
441.14/442.47 c #Conflicts: 412000 | #Constraints: 17623
441.14/442.47 c #Conflicts: 413000 | #Constraints: 18623
441.14/442.47 c #Conflicts: 414000 | #Constraints: 19623
441.14/442.47 c #Conflicts: 415000 | #Constraints: 20623
441.14/442.47 c #Conflicts: 416000 | #Constraints: 21623
441.14/442.47 c #Conflicts: 417000 | #Constraints: 22623
441.14/442.47 c #Conflicts: 418000 | #Constraints: 23623
441.14/442.47 c #Conflicts: 419000 | #Constraints: 24623
441.14/442.47 c #Conflicts: 420000 | #Constraints: 25623
441.14/442.47 c INPROCESSING
441.14/442.47 c GARBAGE COLLECT
441.14/442.47 c #Conflicts: 421000 | #Constraints: 13824
441.14/442.47 c #Conflicts: 422000 | #Constraints: 14824
441.14/442.47 c #Conflicts: 423000 | #Constraints: 15824
441.14/442.47 c #Conflicts: 424000 | #Constraints: 16824
441.14/442.47 c #Conflicts: 425000 | #Constraints: 17824
441.14/442.47 c #Conflicts: 426000 | #Constraints: 18824
441.14/442.47 c #Conflicts: 427000 | #Constraints: 19824
441.14/442.47 c #Conflicts: 428000 | #Constraints: 20824
441.14/442.47 c #Conflicts: 429000 | #Constraints: 21824
441.14/442.47 c #Conflicts: 430000 | #Constraints: 22824
441.14/442.47 c #Conflicts: 431000 | #Constraints: 23824
441.14/442.47 c #Conflicts: 432000 | #Constraints: 24824
441.14/442.47 c #Conflicts: 433000 | #Constraints: 25824
441.14/442.47 c INPROCESSING
441.14/442.47 c GARBAGE COLLECT
441.14/442.47 c #Conflicts: 434000 | #Constraints: 13826
441.14/442.47 c #Conflicts: 435000 | #Constraints: 14826
441.14/442.47 c #Conflicts: 436000 | #Constraints: 15826
441.14/442.47 c #Conflicts: 437000 | #Constraints: 16826
441.14/442.47 c #Conflicts: 438000 | #Constraints: 17826
441.14/442.47 c #Conflicts: 439000 | #Constraints: 18826
441.14/442.47 c #Conflicts: 440000 | #Constraints: 19826
441.14/442.47 c #Conflicts: 441000 | #Constraints: 20826
441.14/442.47 c #Conflicts: 442000 | #Constraints: 21826
441.14/442.47 c #Conflicts: 443000 | #Constraints: 22826
441.14/442.47 c #Conflicts: 444000 | #Constraints: 23826
441.14/442.47 c #Conflicts: 445000 | #Constraints: 24826
441.14/442.47 c #Conflicts: 446000 | #Constraints: 25826
441.14/442.47 c INPROCESSING
441.14/442.47 c GARBAGE COLLECT
441.14/442.47 c #Conflicts: 447000 | #Constraints: 13627
441.14/442.47 c #Conflicts: 448000 | #Constraints: 14627
441.14/442.47 c #Conflicts: 449000 | #Constraints: 15627
441.14/442.47 c #Conflicts: 450000 | #Constraints: 16627
441.14/442.47 c #Conflicts: 451000 | #Constraints: 17627
441.14/442.47 c #Conflicts: 452000 | #Constraints: 18627
441.14/442.47 c #Conflicts: 453000 | #Constraints: 19627
441.14/442.47 c #Conflicts: 454000 | #Constraints: 20627
441.14/442.47 c #Conflicts: 455000 | #Constraints: 21627
441.14/442.47 c #Conflicts: 456000 | #Constraints: 22627
441.14/442.47 c #Conflicts: 457000 | #Constraints: 23627
441.14/442.47 c #Conflicts: 458000 | #Constraints: 24627
441.14/442.47 c #Conflicts: 459000 | #Constraints: 25627
441.14/442.47 c #Conflicts: 460000 | #Constraints: 26627
441.14/442.47 c INPROCESSING
441.14/442.47 c GARBAGE COLLECT
441.14/442.47 c #Conflicts: 461000 | #Constraints: 14227
441.14/442.47 c #Conflicts: 462000 | #Constraints: 15227
441.14/442.47 c #Conflicts: 463000 | #Constraints: 16227
441.14/442.47 c #Conflicts: 464000 | #Constraints: 17227
441.14/442.47 c #Conflicts: 465000 | #Constraints: 18227
441.14/442.47 c #Conflicts: 466000 | #Constraints: 19227
441.14/442.47 c #Conflicts: 467000 | #Constraints: 20227
556.60/558.25 c #Conflicts: 468000 | #Constraints: 21227
556.60/558.25 c #Conflicts: 469000 | #Constraints: 22227
556.60/558.25 c #Conflicts: 470000 | #Constraints: 23227
556.60/558.25 c #Conflicts: 471000 | #Constraints: 24227
556.60/558.25 c #Conflicts: 472000 | #Constraints: 25227
556.60/558.25 c #Conflicts: 473000 | #Constraints: 26227
556.60/558.25 c #Conflicts: 474000 | #Constraints: 27227
556.60/558.25 c INPROCESSING
556.60/558.25 c GARBAGE COLLECT
556.60/558.25 c #Conflicts: 475000 | #Constraints: 14626
556.60/558.25 c #Conflicts: 476000 | #Constraints: 15626
556.60/558.25 c #Conflicts: 477000 | #Constraints: 16626
556.60/558.25 c #Conflicts: 478000 | #Constraints: 17626
556.60/558.25 c #Conflicts: 479000 | #Constraints: 18626
556.60/558.25 c #Conflicts: 480000 | #Constraints: 19626
556.60/558.25 c #Conflicts: 481000 | #Constraints: 20626
556.60/558.25 c #Conflicts: 482000 | #Constraints: 21626
556.60/558.25 c #Conflicts: 483000 | #Constraints: 22626
556.60/558.25 c #Conflicts: 484000 | #Constraints: 23626
556.60/558.25 c #Conflicts: 485000 | #Constraints: 24626
556.60/558.25 c #Conflicts: 486000 | #Constraints: 25626
556.60/558.25 c #Conflicts: 487000 | #Constraints: 26626
556.60/558.25 c #Conflicts: 488000 | #Constraints: 27626
556.60/558.25 c INPROCESSING
556.60/558.25 c GARBAGE COLLECT
556.60/558.25 c #Conflicts: 489000 | #Constraints: 14827
556.60/558.25 c #Conflicts: 490000 | #Constraints: 15827
556.60/558.25 c #Conflicts: 491000 | #Constraints: 16827
556.60/558.25 c #Conflicts: 492000 | #Constraints: 17827
556.60/558.25 c #Conflicts: 493000 | #Constraints: 18827
556.60/558.25 c #Conflicts: 494000 | #Constraints: 19827
556.60/558.25 c #Conflicts: 495000 | #Constraints: 20827
556.60/558.25 c #Conflicts: 496000 | #Constraints: 21827
556.60/558.25 c #Conflicts: 497000 | #Constraints: 22827
556.60/558.25 c #Conflicts: 498000 | #Constraints: 23827
556.60/558.25 c #Conflicts: 499000 | #Constraints: 24827
556.60/558.25 c #Conflicts: 500000 | #Constraints: 25827
556.60/558.25 c #Conflicts: 501000 | #Constraints: 26827
556.60/558.25 c #Conflicts: 502000 | #Constraints: 27827
556.60/558.25 c INPROCESSING
556.60/558.25 c GARBAGE COLLECT
556.60/558.25 c #Conflicts: 503000 | #Constraints: 14826
556.60/558.25 c #Conflicts: 504000 | #Constraints: 15826
556.60/558.25 c #Conflicts: 505000 | #Constraints: 16826
556.60/558.25 c #Conflicts: 506000 | #Constraints: 17826
556.60/558.25 c #Conflicts: 507000 | #Constraints: 18826
556.60/558.25 c #Conflicts: 508000 | #Constraints: 19826
556.60/558.25 c #Conflicts: 509000 | #Constraints: 20826
556.60/558.25 c #Conflicts: 510000 | #Constraints: 21826
556.60/558.25 c #Conflicts: 511000 | #Constraints: 22826
556.60/558.25 c #Conflicts: 512000 | #Constraints: 23826
556.60/558.25 c #Conflicts: 513000 | #Constraints: 24826
556.60/558.25 c #Conflicts: 514000 | #Constraints: 25826
556.60/558.25 c #Conflicts: 515000 | #Constraints: 26826
556.60/558.25 c #Conflicts: 516000 | #Constraints: 27826
556.60/558.25 c INPROCESSING
556.60/558.25 c GARBAGE COLLECT
556.60/558.25 c #Conflicts: 517000 | #Constraints: 14626
556.60/558.25 c #Conflicts: 518000 | #Constraints: 15626
556.60/558.25 c #Conflicts: 519000 | #Constraints: 16626
556.60/558.25 c #Conflicts: 520000 | #Constraints: 17626
556.60/558.25 c #Conflicts: 521000 | #Constraints: 18626
556.60/558.25 c #Conflicts: 522000 | #Constraints: 19626
556.60/558.25 c #Conflicts: 523000 | #Constraints: 20626
556.60/558.25 c #Conflicts: 524000 | #Constraints: 21626
556.60/558.25 c #Conflicts: 525000 | #Constraints: 22626
556.60/558.25 c #Conflicts: 526000 | #Constraints: 23626
556.60/558.25 c #Conflicts: 527000 | #Constraints: 24626
556.60/558.25 c #Conflicts: 528000 | #Constraints: 25626
556.60/558.25 c #Conflicts: 529000 | #Constraints: 26626
556.60/558.25 c #Conflicts: 530000 | #Constraints: 27626
556.60/558.25 c #Conflicts: 531000 | #Constraints: 28626
556.60/558.25 c INPROCESSING
556.60/558.25 c GARBAGE COLLECT
556.60/558.25 c #Conflicts: 532000 | #Constraints: 15229
556.60/558.25 c #Conflicts: 533000 | #Constraints: 16229
556.60/558.25 c #Conflicts: 534000 | #Constraints: 17229
556.60/558.25 c #Conflicts: 535000 | #Constraints: 18229
556.60/558.25 c #Conflicts: 536000 | #Constraints: 19229
556.60/558.25 c #Conflicts: 537000 | #Constraints: 20229
556.60/558.25 c #Conflicts: 538000 | #Constraints: 21229
556.60/558.25 c #Conflicts: 539000 | #Constraints: 22229
556.60/558.25 c #Conflicts: 540000 | #Constraints: 23229
556.60/558.25 c #Conflicts: 541000 | #Constraints: 24229
556.60/558.25 c #Conflicts: 542000 | #Constraints: 25229
556.60/558.25 c #Conflicts: 543000 | #Constraints: 26229
642.33/644.20 c #Conflicts: 544000 | #Constraints: 27229
642.33/644.20 c #Conflicts: 545000 | #Constraints: 28229
642.33/644.20 c #Conflicts: 546000 | #Constraints: 29229
642.33/644.20 c INPROCESSING
642.33/644.20 c GARBAGE COLLECT
642.33/644.20 c #Conflicts: 547000 | #Constraints: 15623
642.33/644.20 c #Conflicts: 548000 | #Constraints: 16623
642.33/644.20 c #Conflicts: 549000 | #Constraints: 17623
642.33/644.20 c #Conflicts: 550000 | #Constraints: 18623
642.33/644.20 c #Conflicts: 551000 | #Constraints: 19623
642.33/644.20 c #Conflicts: 552000 | #Constraints: 20623
642.33/644.20 c #Conflicts: 553000 | #Constraints: 21623
642.33/644.20 c #Conflicts: 554000 | #Constraints: 22623
642.33/644.20 c #Conflicts: 555000 | #Constraints: 23623
642.33/644.20 c #Conflicts: 556000 | #Constraints: 24623
642.33/644.20 c #Conflicts: 557000 | #Constraints: 25623
642.33/644.20 c #Conflicts: 558000 | #Constraints: 26623
642.33/644.20 c #Conflicts: 559000 | #Constraints: 27623
642.33/644.20 c #Conflicts: 560000 | #Constraints: 28623
642.33/644.20 c #Conflicts: 561000 | #Constraints: 29623
642.33/644.20 c INPROCESSING
642.33/644.20 c GARBAGE COLLECT
642.33/644.20 c #Conflicts: 562000 | #Constraints: 15824
642.33/644.20 c #Conflicts: 563000 | #Constraints: 16824
642.33/644.20 c #Conflicts: 564000 | #Constraints: 17824
642.33/644.20 c #Conflicts: 565000 | #Constraints: 18824
642.33/644.20 c #Conflicts: 566000 | #Constraints: 19824
642.33/644.20 c #Conflicts: 567000 | #Constraints: 20824
642.33/644.20 c #Conflicts: 568000 | #Constraints: 21824
642.33/644.20 c #Conflicts: 569000 | #Constraints: 22824
642.33/644.20 c #Conflicts: 570000 | #Constraints: 23824
642.33/644.20 c #Conflicts: 571000 | #Constraints: 24824
642.33/644.20 c #Conflicts: 572000 | #Constraints: 25824
642.33/644.20 c #Conflicts: 573000 | #Constraints: 26824
642.33/644.20 c #Conflicts: 574000 | #Constraints: 27824
642.33/644.20 c #Conflicts: 575000 | #Constraints: 28824
642.33/644.20 c #Conflicts: 576000 | #Constraints: 29824
642.33/644.20 c INPROCESSING
642.33/644.20 c GARBAGE COLLECT
642.33/644.20 c #Conflicts: 577000 | #Constraints: 15825
642.33/644.20 c #Conflicts: 578000 | #Constraints: 16825
642.33/644.20 c #Conflicts: 579000 | #Constraints: 17825
642.33/644.20 c #Conflicts: 580000 | #Constraints: 18825
642.33/644.20 c #Conflicts: 581000 | #Constraints: 19825
642.33/644.20 c #Conflicts: 582000 | #Constraints: 20825
642.33/644.20 c #Conflicts: 583000 | #Constraints: 21825
642.33/644.20 c #Conflicts: 584000 | #Constraints: 22825
642.33/644.20 c #Conflicts: 585000 | #Constraints: 23825
642.33/644.20 c #Conflicts: 586000 | #Constraints: 24825
642.33/644.20 c #Conflicts: 587000 | #Constraints: 25825
642.33/644.20 c #Conflicts: 588000 | #Constraints: 26825
642.33/644.20 c #Conflicts: 589000 | #Constraints: 27825
642.33/644.20 c #Conflicts: 590000 | #Constraints: 28825
642.33/644.20 c #Conflicts: 591000 | #Constraints: 29825
642.33/644.20 c INPROCESSING
642.33/644.20 c GARBAGE COLLECT
642.33/644.20 c #Conflicts: 592000 | #Constraints: 15626
642.33/644.20 c #Conflicts: 593000 | #Constraints: 16626
642.33/644.20 c #Conflicts: 594000 | #Constraints: 17626
642.33/644.20 c #Conflicts: 595000 | #Constraints: 18626
642.33/644.20 c #Conflicts: 596000 | #Constraints: 19626
642.33/644.20 c #Conflicts: 597000 | #Constraints: 20626
642.33/644.20 c #Conflicts: 598000 | #Constraints: 21626
642.33/644.20 c #Conflicts: 599000 | #Constraints: 22626
642.33/644.20 c #Conflicts: 600000 | #Constraints: 23626
642.33/644.20 c #Conflicts: 601000 | #Constraints: 24626
642.33/644.20 c bounds 6 >= 0 @ 639.913
642.33/644.20 c stratification level: 1
765.17/767.43 c #Conflicts: 602000 | #Constraints: 25627
765.17/767.43 c #Conflicts: 603000 | #Constraints: 26627
765.17/767.43 c #Conflicts: 604000 | #Constraints: 27627
765.17/767.43 c #Conflicts: 605000 | #Constraints: 28627
765.17/767.43 c #Conflicts: 606000 | #Constraints: 29627
765.17/767.43 c #Conflicts: 607000 | #Constraints: 30627
765.17/767.43 c INPROCESSING
765.17/767.43 c GARBAGE COLLECT
765.17/767.43 c #Conflicts: 608000 | #Constraints: 16222
765.17/767.43 c #Conflicts: 609000 | #Constraints: 17222
765.17/767.43 c #Conflicts: 610000 | #Constraints: 18222
765.17/767.43 c #Conflicts: 611000 | #Constraints: 19222
765.17/767.43 c #Conflicts: 612000 | #Constraints: 20222
765.17/767.43 c #Conflicts: 613000 | #Constraints: 21222
765.17/767.43 c #Conflicts: 614000 | #Constraints: 22222
765.17/767.43 c #Conflicts: 615000 | #Constraints: 23222
765.17/767.43 c #Conflicts: 616000 | #Constraints: 24222
765.17/767.43 c #Conflicts: 617000 | #Constraints: 25222
765.17/767.43 c #Conflicts: 618000 | #Constraints: 26222
765.17/767.43 c #Conflicts: 619000 | #Constraints: 27222
765.17/767.43 c #Conflicts: 620000 | #Constraints: 28222
765.17/767.43 c #Conflicts: 621000 | #Constraints: 29222
765.17/767.43 c #Conflicts: 622000 | #Constraints: 30222
765.17/767.43 c #Conflicts: 623000 | #Constraints: 31222
765.17/767.43 c INPROCESSING
765.17/767.43 c GARBAGE COLLECT
765.17/767.43 c #Conflicts: 624000 | #Constraints: 16622
765.17/767.43 c #Conflicts: 625000 | #Constraints: 17622
765.17/767.43 c #Conflicts: 626000 | #Constraints: 18622
765.17/767.43 c #Conflicts: 627000 | #Constraints: 19622
765.17/767.43 c #Conflicts: 628000 | #Constraints: 20622
765.17/767.43 c #Conflicts: 629000 | #Constraints: 21622
765.17/767.43 c #Conflicts: 630000 | #Constraints: 22622
765.17/767.43 c #Conflicts: 631000 | #Constraints: 23622
765.17/767.43 c #Conflicts: 632000 | #Constraints: 24622
765.17/767.43 c #Conflicts: 633000 | #Constraints: 25622
765.17/767.43 c #Conflicts: 634000 | #Constraints: 26622
765.17/767.43 c #Conflicts: 635000 | #Constraints: 27622
765.17/767.43 c #Conflicts: 636000 | #Constraints: 28622
765.17/767.43 c #Conflicts: 637000 | #Constraints: 29622
765.17/767.43 c #Conflicts: 638000 | #Constraints: 30622
765.17/767.43 c #Conflicts: 639000 | #Constraints: 31622
765.17/767.43 c INPROCESSING
765.17/767.43 c GARBAGE COLLECT
765.17/767.43 c #Conflicts: 640000 | #Constraints: 16822
765.17/767.43 c #Conflicts: 641000 | #Constraints: 17822
765.17/767.43 c #Conflicts: 642000 | #Constraints: 18822
765.17/767.43 c #Conflicts: 643000 | #Constraints: 19822
765.17/767.43 c #Conflicts: 644000 | #Constraints: 20822
765.17/767.43 c #Conflicts: 645000 | #Constraints: 21822
765.17/767.43 c #Conflicts: 646000 | #Constraints: 22822
765.17/767.43 c #Conflicts: 647000 | #Constraints: 23822
765.17/767.43 c #Conflicts: 648000 | #Constraints: 24822
765.17/767.43 c #Conflicts: 649000 | #Constraints: 25822
765.17/767.43 c #Conflicts: 650000 | #Constraints: 26822
765.17/767.43 c #Conflicts: 651000 | #Constraints: 27822
765.17/767.43 c #Conflicts: 652000 | #Constraints: 28822
765.17/767.43 c #Conflicts: 653000 | #Constraints: 29822
765.17/767.43 c #Conflicts: 654000 | #Constraints: 30822
765.17/767.43 c #Conflicts: 655000 | #Constraints: 31822
765.17/767.43 c INPROCESSING
765.17/767.43 c GARBAGE COLLECT
765.17/767.43 c #Conflicts: 656000 | #Constraints: 16824
765.17/767.43 c #Conflicts: 657000 | #Constraints: 17824
765.17/767.43 c #Conflicts: 658000 | #Constraints: 18824
765.17/767.43 c #Conflicts: 659000 | #Constraints: 19824
765.17/767.43 c #Conflicts: 660000 | #Constraints: 20824
765.17/767.43 c #Conflicts: 661000 | #Constraints: 21824
765.17/767.43 c #Conflicts: 662000 | #Constraints: 22824
765.17/767.43 c #Conflicts: 663000 | #Constraints: 23824
765.17/767.43 c #Conflicts: 664000 | #Constraints: 24824
765.17/767.43 c #Conflicts: 665000 | #Constraints: 25824
765.17/767.43 c #Conflicts: 666000 | #Constraints: 26824
765.17/767.43 c #Conflicts: 667000 | #Constraints: 27824
765.17/767.43 c #Conflicts: 668000 | #Constraints: 28824
765.17/767.43 c #Conflicts: 669000 | #Constraints: 29824
765.17/767.43 c #Conflicts: 670000 | #Constraints: 30824
765.17/767.43 c #Conflicts: 671000 | #Constraints: 31824
765.17/767.43 c INPROCESSING
765.17/767.43 c GARBAGE COLLECT
765.17/767.43 c #Conflicts: 672000 | #Constraints: 16625
765.17/767.43 c #Conflicts: 673000 | #Constraints: 17625
765.17/767.43 c #Conflicts: 674000 | #Constraints: 18625
765.17/767.43 c #Conflicts: 675000 | #Constraints: 19625
765.17/767.43 c #Conflicts: 676000 | #Constraints: 20625
765.17/767.43 c #Conflicts: 677000 | #Constraints: 21625
897.86/900.57 c #Conflicts: 678000 | #Constraints: 22625
897.86/900.57 c #Conflicts: 679000 | #Constraints: 23625
897.86/900.57 c #Conflicts: 680000 | #Constraints: 24625
897.86/900.57 c #Conflicts: 681000 | #Constraints: 25625
897.86/900.57 c #Conflicts: 682000 | #Constraints: 26625
897.86/900.57 c #Conflicts: 683000 | #Constraints: 27625
897.86/900.57 c #Conflicts: 684000 | #Constraints: 28625
897.86/900.57 c #Conflicts: 685000 | #Constraints: 29625
897.86/900.57 c #Conflicts: 686000 | #Constraints: 30625
897.86/900.57 c #Conflicts: 687000 | #Constraints: 31625
897.86/900.57 c #Conflicts: 688000 | #Constraints: 32625
897.86/900.57 c INPROCESSING
897.86/900.57 c GARBAGE COLLECT
897.86/900.57 c #Conflicts: 689000 | #Constraints: 17222
897.86/900.57 c #Conflicts: 690000 | #Constraints: 18222
897.86/900.57 c #Conflicts: 691000 | #Constraints: 19222
897.86/900.57 c #Conflicts: 692000 | #Constraints: 20222
897.86/900.57 c #Conflicts: 693000 | #Constraints: 21222
897.86/900.57 c #Conflicts: 694000 | #Constraints: 22222
897.86/900.57 c #Conflicts: 695000 | #Constraints: 23222
897.86/900.57 c #Conflicts: 696000 | #Constraints: 24222
897.86/900.57 c #Conflicts: 697000 | #Constraints: 25222
897.86/900.57 c #Conflicts: 698000 | #Constraints: 26222
897.86/900.57 c #Conflicts: 699000 | #Constraints: 27222
897.86/900.57 c #Conflicts: 700000 | #Constraints: 28222
897.86/900.57 c #Conflicts: 701000 | #Constraints: 29222
897.86/900.57 c #Conflicts: 702000 | #Constraints: 30222
897.86/900.57 c #Conflicts: 703000 | #Constraints: 31222
897.86/900.57 c #Conflicts: 704000 | #Constraints: 32222
897.86/900.57 c #Conflicts: 705000 | #Constraints: 33222
897.86/900.57 c INPROCESSING
897.86/900.57 c GARBAGE COLLECT
897.86/900.57 c #Conflicts: 706000 | #Constraints: 17622
897.86/900.57 c #Conflicts: 707000 | #Constraints: 18622
897.86/900.57 c #Conflicts: 708000 | #Constraints: 19622
897.86/900.57 c #Conflicts: 709000 | #Constraints: 20622
897.86/900.57 c #Conflicts: 710000 | #Constraints: 21622
897.86/900.57 c #Conflicts: 711000 | #Constraints: 22622
897.86/900.57 c #Conflicts: 712000 | #Constraints: 23622
897.86/900.57 c #Conflicts: 713000 | #Constraints: 24622
897.86/900.57 c #Conflicts: 714000 | #Constraints: 25622
897.86/900.57 c #Conflicts: 715000 | #Constraints: 26622
897.86/900.57 c #Conflicts: 716000 | #Constraints: 27622
897.86/900.57 c #Conflicts: 717000 | #Constraints: 28622
897.86/900.57 c #Conflicts: 718000 | #Constraints: 29622
897.86/900.57 c #Conflicts: 719000 | #Constraints: 30622
897.86/900.57 c #Conflicts: 720000 | #Constraints: 31622
897.86/900.57 c #Conflicts: 721000 | #Constraints: 32622
897.86/900.57 c #Conflicts: 722000 | #Constraints: 33622
897.86/900.57 c INPROCESSING
897.86/900.57 c GARBAGE COLLECT
897.86/900.57 c #Conflicts: 723000 | #Constraints: 17822
897.86/900.57 c #Conflicts: 724000 | #Constraints: 18822
897.86/900.57 c #Conflicts: 725000 | #Constraints: 19822
897.86/900.57 c #Conflicts: 726000 | #Constraints: 20822
897.86/900.57 c #Conflicts: 727000 | #Constraints: 21822
897.86/900.57 c #Conflicts: 728000 | #Constraints: 22822
897.86/900.57 c #Conflicts: 729000 | #Constraints: 23822
897.86/900.57 c #Conflicts: 730000 | #Constraints: 24822
897.86/900.57 c #Conflicts: 731000 | #Constraints: 25822
897.86/900.57 c #Conflicts: 732000 | #Constraints: 26822
897.86/900.57 c #Conflicts: 733000 | #Constraints: 27822
897.86/900.57 c #Conflicts: 734000 | #Constraints: 28822
897.86/900.57 c #Conflicts: 735000 | #Constraints: 29822
897.86/900.57 c #Conflicts: 736000 | #Constraints: 30822
897.86/900.57 c #Conflicts: 737000 | #Constraints: 31822
897.86/900.57 c #Conflicts: 738000 | #Constraints: 32822
897.86/900.57 c #Conflicts: 739000 | #Constraints: 33822
897.86/900.57 c INPROCESSING
897.86/900.57 c GARBAGE COLLECT
897.86/900.57 c #Conflicts: 740000 | #Constraints: 17826
897.86/900.57 c #Conflicts: 741000 | #Constraints: 18826
897.86/900.57 c #Conflicts: 742000 | #Constraints: 19826
897.86/900.57 c #Conflicts: 743000 | #Constraints: 20826
897.86/900.57 c #Conflicts: 744000 | #Constraints: 21826
897.86/900.57 c #Conflicts: 745000 | #Constraints: 22826
897.86/900.57 c #Conflicts: 746000 | #Constraints: 23826
897.86/900.57 c #Conflicts: 747000 | #Constraints: 24826
897.86/900.57 c #Conflicts: 748000 | #Constraints: 25826
897.86/900.57 c #Conflicts: 749000 | #Constraints: 26826
897.86/900.57 c #Conflicts: 750000 | #Constraints: 27826
897.86/900.57 c #Conflicts: 751000 | #Constraints: 28826
897.86/900.57 c #Conflicts: 752000 | #Constraints: 29826
897.86/900.57 c #Conflicts: 753000 | #Constraints: 30826
1037.85/1040.99 c #Conflicts: 754000 | #Constraints: 31826
1037.85/1040.99 c #Conflicts: 755000 | #Constraints: 32826
1037.85/1040.99 c #Conflicts: 756000 | #Constraints: 33826
1037.85/1040.99 c INPROCESSING
1037.85/1040.99 c GARBAGE COLLECT
1037.85/1040.99 c #Conflicts: 757000 | #Constraints: 17624
1037.85/1040.99 c #Conflicts: 758000 | #Constraints: 18624
1037.85/1040.99 c #Conflicts: 759000 | #Constraints: 19624
1037.85/1040.99 c #Conflicts: 760000 | #Constraints: 20624
1037.85/1040.99 c #Conflicts: 761000 | #Constraints: 21624
1037.85/1040.99 c #Conflicts: 762000 | #Constraints: 22624
1037.85/1040.99 c #Conflicts: 763000 | #Constraints: 23624
1037.85/1040.99 c #Conflicts: 764000 | #Constraints: 24624
1037.85/1040.99 c #Conflicts: 765000 | #Constraints: 25624
1037.85/1040.99 c #Conflicts: 766000 | #Constraints: 26624
1037.85/1040.99 c #Conflicts: 767000 | #Constraints: 27624
1037.85/1040.99 c #Conflicts: 768000 | #Constraints: 28624
1037.85/1040.99 c #Conflicts: 769000 | #Constraints: 29624
1037.85/1040.99 c #Conflicts: 770000 | #Constraints: 30624
1037.85/1040.99 c #Conflicts: 771000 | #Constraints: 31624
1037.85/1040.99 c #Conflicts: 772000 | #Constraints: 32624
1037.85/1040.99 c #Conflicts: 773000 | #Constraints: 33624
1037.85/1040.99 c #Conflicts: 774000 | #Constraints: 34624
1037.85/1040.99 c INPROCESSING
1037.85/1040.99 c GARBAGE COLLECT
1037.85/1040.99 c #Conflicts: 775000 | #Constraints: 18220
1037.85/1040.99 c #Conflicts: 776000 | #Constraints: 19220
1037.85/1040.99 c #Conflicts: 777000 | #Constraints: 20220
1037.85/1040.99 c #Conflicts: 778000 | #Constraints: 21220
1037.85/1040.99 c #Conflicts: 779000 | #Constraints: 22220
1037.85/1040.99 c #Conflicts: 780000 | #Constraints: 23220
1037.85/1040.99 c #Conflicts: 781000 | #Constraints: 24220
1037.85/1040.99 c #Conflicts: 782000 | #Constraints: 25220
1037.85/1040.99 c #Conflicts: 783000 | #Constraints: 26220
1037.85/1040.99 c #Conflicts: 784000 | #Constraints: 27220
1037.85/1040.99 c #Conflicts: 785000 | #Constraints: 28220
1037.85/1040.99 c #Conflicts: 786000 | #Constraints: 29220
1037.85/1040.99 c #Conflicts: 787000 | #Constraints: 30220
1037.85/1040.99 c #Conflicts: 788000 | #Constraints: 31220
1037.85/1040.99 c #Conflicts: 789000 | #Constraints: 32220
1037.85/1040.99 c #Conflicts: 790000 | #Constraints: 33220
1037.85/1040.99 c #Conflicts: 791000 | #Constraints: 34220
1037.85/1040.99 c #Conflicts: 792000 | #Constraints: 35220
1037.85/1040.99 c INPROCESSING
1037.85/1040.99 c GARBAGE COLLECT
1037.85/1040.99 c #Conflicts: 793000 | #Constraints: 18622
1037.85/1040.99 c #Conflicts: 794000 | #Constraints: 19622
1037.85/1040.99 c #Conflicts: 795000 | #Constraints: 20622
1037.85/1040.99 c #Conflicts: 796000 | #Constraints: 21622
1037.85/1040.99 c #Conflicts: 797000 | #Constraints: 22622
1037.85/1040.99 c #Conflicts: 798000 | #Constraints: 23622
1037.85/1040.99 c #Conflicts: 799000 | #Constraints: 24622
1037.85/1040.99 c #Conflicts: 800000 | #Constraints: 25622
1037.85/1040.99 c #Conflicts: 801000 | #Constraints: 26622
1037.85/1040.99 c #Conflicts: 802000 | #Constraints: 27622
1037.85/1040.99 c #Conflicts: 803000 | #Constraints: 28622
1037.85/1040.99 c #Conflicts: 804000 | #Constraints: 29622
1037.85/1040.99 c #Conflicts: 805000 | #Constraints: 30622
1037.85/1040.99 c #Conflicts: 806000 | #Constraints: 31622
1037.85/1040.99 c #Conflicts: 807000 | #Constraints: 32622
1037.85/1040.99 c #Conflicts: 808000 | #Constraints: 33622
1037.85/1040.99 c #Conflicts: 809000 | #Constraints: 34622
1037.85/1040.99 c #Conflicts: 810000 | #Constraints: 35622
1037.85/1040.99 c INPROCESSING
1037.85/1040.99 c GARBAGE COLLECT
1037.85/1040.99 c #Conflicts: 811000 | #Constraints: 18826
1037.85/1040.99 c #Conflicts: 812000 | #Constraints: 19826
1037.85/1040.99 c #Conflicts: 813000 | #Constraints: 20826
1037.85/1040.99 c #Conflicts: 814000 | #Constraints: 21826
1037.85/1040.99 c #Conflicts: 815000 | #Constraints: 22826
1037.85/1040.99 c #Conflicts: 816000 | #Constraints: 23826
1037.85/1040.99 c #Conflicts: 817000 | #Constraints: 24826
1037.85/1040.99 c #Conflicts: 818000 | #Constraints: 25826
1037.85/1040.99 c #Conflicts: 819000 | #Constraints: 26826
1037.85/1040.99 c #Conflicts: 820000 | #Constraints: 27826
1037.85/1040.99 c #Conflicts: 821000 | #Constraints: 28826
1037.85/1040.99 c #Conflicts: 822000 | #Constraints: 29826
1037.85/1040.99 c #Conflicts: 823000 | #Constraints: 30826
1037.85/1040.99 c #Conflicts: 824000 | #Constraints: 31826
1037.85/1040.99 c #Conflicts: 825000 | #Constraints: 32826
1037.85/1040.99 c #Conflicts: 826000 | #Constraints: 33826
1037.85/1040.99 c #Conflicts: 827000 | #Constraints: 34826
1037.85/1040.99 c #Conflicts: 828000 | #Constraints: 35826
1037.85/1040.99 c INPROCESSING
1037.85/1040.99 c GARBAGE COLLECT
1037.85/1040.99 c #Conflicts: 829000 | #Constraints: 18824
1187.50/1191.07 c #Conflicts: 830000 | #Constraints: 19824
1187.50/1191.07 c #Conflicts: 831000 | #Constraints: 20824
1187.50/1191.07 c #Conflicts: 832000 | #Constraints: 21824
1187.50/1191.07 c #Conflicts: 833000 | #Constraints: 22824
1187.50/1191.07 c #Conflicts: 834000 | #Constraints: 23824
1187.50/1191.07 c #Conflicts: 835000 | #Constraints: 24824
1187.50/1191.07 c #Conflicts: 836000 | #Constraints: 25824
1187.50/1191.07 c #Conflicts: 837000 | #Constraints: 26824
1187.50/1191.07 c #Conflicts: 838000 | #Constraints: 27824
1187.50/1191.07 c #Conflicts: 839000 | #Constraints: 28824
1187.50/1191.07 c #Conflicts: 840000 | #Constraints: 29824
1187.50/1191.07 c #Conflicts: 841000 | #Constraints: 30824
1187.50/1191.07 c #Conflicts: 842000 | #Constraints: 31824
1187.50/1191.07 c #Conflicts: 843000 | #Constraints: 32824
1187.50/1191.07 c #Conflicts: 844000 | #Constraints: 33824
1187.50/1191.07 c #Conflicts: 845000 | #Constraints: 34824
1187.50/1191.07 c #Conflicts: 846000 | #Constraints: 35824
1187.50/1191.07 c INPROCESSING
1187.50/1191.07 c GARBAGE COLLECT
1187.50/1191.07 c #Conflicts: 847000 | #Constraints: 18625
1187.50/1191.07 c #Conflicts: 848000 | #Constraints: 19625
1187.50/1191.07 c #Conflicts: 849000 | #Constraints: 20625
1187.50/1191.07 c #Conflicts: 850000 | #Constraints: 21625
1187.50/1191.07 c #Conflicts: 851000 | #Constraints: 22625
1187.50/1191.07 c #Conflicts: 852000 | #Constraints: 23625
1187.50/1191.07 c #Conflicts: 853000 | #Constraints: 24625
1187.50/1191.07 c #Conflicts: 854000 | #Constraints: 25625
1187.50/1191.07 c #Conflicts: 855000 | #Constraints: 26625
1187.50/1191.07 c #Conflicts: 856000 | #Constraints: 27625
1187.50/1191.07 c #Conflicts: 857000 | #Constraints: 28625
1187.50/1191.07 c #Conflicts: 858000 | #Constraints: 29625
1187.50/1191.07 c #Conflicts: 859000 | #Constraints: 30625
1187.50/1191.07 c #Conflicts: 860000 | #Constraints: 31625
1187.50/1191.07 c #Conflicts: 861000 | #Constraints: 32625
1187.50/1191.07 c #Conflicts: 862000 | #Constraints: 33625
1187.50/1191.07 c #Conflicts: 863000 | #Constraints: 34625
1187.50/1191.07 c #Conflicts: 864000 | #Constraints: 35625
1187.50/1191.07 c #Conflicts: 865000 | #Constraints: 36625
1187.50/1191.07 c INPROCESSING
1187.50/1191.07 c GARBAGE COLLECT
1187.50/1191.07 c #Conflicts: 866000 | #Constraints: 19222
1187.50/1191.07 c #Conflicts: 867000 | #Constraints: 20222
1187.50/1191.07 c #Conflicts: 868000 | #Constraints: 21222
1187.50/1191.07 c #Conflicts: 869000 | #Constraints: 22222
1187.50/1191.07 c #Conflicts: 870000 | #Constraints: 23222
1187.50/1191.07 c #Conflicts: 871000 | #Constraints: 24222
1187.50/1191.07 c #Conflicts: 872000 | #Constraints: 25222
1187.50/1191.07 c #Conflicts: 873000 | #Constraints: 26222
1187.50/1191.07 c #Conflicts: 874000 | #Constraints: 27222
1187.50/1191.07 c #Conflicts: 875000 | #Constraints: 28222
1187.50/1191.07 c #Conflicts: 876000 | #Constraints: 29222
1187.50/1191.07 c #Conflicts: 877000 | #Constraints: 30222
1187.50/1191.07 c #Conflicts: 878000 | #Constraints: 31222
1187.50/1191.07 c #Conflicts: 879000 | #Constraints: 32222
1187.50/1191.07 c #Conflicts: 880000 | #Constraints: 33222
1187.50/1191.07 c #Conflicts: 881000 | #Constraints: 34222
1187.50/1191.07 c #Conflicts: 882000 | #Constraints: 35222
1187.50/1191.07 c #Conflicts: 883000 | #Constraints: 36222
1187.50/1191.07 c #Conflicts: 884000 | #Constraints: 37222
1187.50/1191.07 c INPROCESSING
1187.50/1191.07 c GARBAGE COLLECT
1187.50/1191.07 c #Conflicts: 885000 | #Constraints: 19624
1187.50/1191.07 c #Conflicts: 886000 | #Constraints: 20624
1187.50/1191.07 c #Conflicts: 887000 | #Constraints: 21624
1187.50/1191.07 c #Conflicts: 888000 | #Constraints: 22624
1187.50/1191.07 c #Conflicts: 889000 | #Constraints: 23624
1187.50/1191.07 c #Conflicts: 890000 | #Constraints: 24624
1187.50/1191.07 c #Conflicts: 891000 | #Constraints: 25624
1187.50/1191.07 c #Conflicts: 892000 | #Constraints: 26624
1187.50/1191.07 c #Conflicts: 893000 | #Constraints: 27624
1187.50/1191.07 c #Conflicts: 894000 | #Constraints: 28624
1187.50/1191.07 c #Conflicts: 895000 | #Constraints: 29624
1187.50/1191.07 c #Conflicts: 896000 | #Constraints: 30624
1187.50/1191.07 c #Conflicts: 897000 | #Constraints: 31624
1187.50/1191.07 c #Conflicts: 898000 | #Constraints: 32624
1187.50/1191.07 c #Conflicts: 899000 | #Constraints: 33624
1187.50/1191.07 c #Conflicts: 900000 | #Constraints: 34624
1187.50/1191.07 c #Conflicts: 901000 | #Constraints: 35624
1187.50/1191.07 c #Conflicts: 902000 | #Constraints: 36624
1187.50/1191.07 c #Conflicts: 903000 | #Constraints: 37624
1187.50/1191.07 c INPROCESSING
1187.50/1191.07 c GARBAGE COLLECT
1187.50/1191.07 c #Conflicts: 904000 | #Constraints: 19824
1187.50/1191.07 c #Conflicts: 905000 | #Constraints: 20824
1357.78/1361.84 c #Conflicts: 906000 | #Constraints: 21824
1357.78/1361.84 c #Conflicts: 907000 | #Constraints: 22824
1357.78/1361.84 c #Conflicts: 908000 | #Constraints: 23824
1357.78/1361.84 c #Conflicts: 909000 | #Constraints: 24824
1357.78/1361.84 c #Conflicts: 910000 | #Constraints: 25824
1357.78/1361.84 c #Conflicts: 911000 | #Constraints: 26824
1357.78/1361.84 c #Conflicts: 912000 | #Constraints: 27824
1357.78/1361.84 c #Conflicts: 913000 | #Constraints: 28824
1357.78/1361.84 c #Conflicts: 914000 | #Constraints: 29824
1357.78/1361.84 c #Conflicts: 915000 | #Constraints: 30824
1357.78/1361.84 c #Conflicts: 916000 | #Constraints: 31824
1357.78/1361.84 c #Conflicts: 917000 | #Constraints: 32824
1357.78/1361.84 c #Conflicts: 918000 | #Constraints: 33824
1357.78/1361.84 c #Conflicts: 919000 | #Constraints: 34824
1357.78/1361.84 c #Conflicts: 920000 | #Constraints: 35824
1357.78/1361.84 c #Conflicts: 921000 | #Constraints: 36824
1357.78/1361.84 c #Conflicts: 922000 | #Constraints: 37824
1357.78/1361.84 c INPROCESSING
1357.78/1361.84 c GARBAGE COLLECT
1357.78/1361.84 c #Conflicts: 923000 | #Constraints: 19824
1357.78/1361.84 c #Conflicts: 924000 | #Constraints: 20824
1357.78/1361.84 c #Conflicts: 925000 | #Constraints: 21824
1357.78/1361.84 c #Conflicts: 926000 | #Constraints: 22824
1357.78/1361.84 c #Conflicts: 927000 | #Constraints: 23824
1357.78/1361.84 c #Conflicts: 928000 | #Constraints: 24824
1357.78/1361.84 c #Conflicts: 929000 | #Constraints: 25824
1357.78/1361.84 c #Conflicts: 930000 | #Constraints: 26824
1357.78/1361.84 c #Conflicts: 931000 | #Constraints: 27824
1357.78/1361.84 c #Conflicts: 932000 | #Constraints: 28824
1357.78/1361.84 c #Conflicts: 933000 | #Constraints: 29824
1357.78/1361.84 c #Conflicts: 934000 | #Constraints: 30824
1357.78/1361.84 c #Conflicts: 935000 | #Constraints: 31824
1357.78/1361.84 c #Conflicts: 936000 | #Constraints: 32824
1357.78/1361.84 c #Conflicts: 937000 | #Constraints: 33824
1357.78/1361.84 c #Conflicts: 938000 | #Constraints: 34824
1357.78/1361.84 c #Conflicts: 939000 | #Constraints: 35824
1357.78/1361.84 c #Conflicts: 940000 | #Constraints: 36824
1357.78/1361.84 c #Conflicts: 941000 | #Constraints: 37824
1357.78/1361.84 c INPROCESSING
1357.78/1361.84 c GARBAGE COLLECT
1357.78/1361.84 c #Conflicts: 942000 | #Constraints: 19623
1357.78/1361.84 c #Conflicts: 943000 | #Constraints: 20623
1357.78/1361.84 c #Conflicts: 944000 | #Constraints: 21623
1357.78/1361.84 c #Conflicts: 945000 | #Constraints: 22623
1357.78/1361.84 c #Conflicts: 946000 | #Constraints: 23623
1357.78/1361.84 c #Conflicts: 947000 | #Constraints: 24623
1357.78/1361.84 c #Conflicts: 948000 | #Constraints: 25623
1357.78/1361.84 c #Conflicts: 949000 | #Constraints: 26623
1357.78/1361.84 c #Conflicts: 950000 | #Constraints: 27623
1357.78/1361.84 c #Conflicts: 951000 | #Constraints: 28623
1357.78/1361.84 c #Conflicts: 952000 | #Constraints: 29623
1357.78/1361.84 c #Conflicts: 953000 | #Constraints: 30623
1357.78/1361.84 c #Conflicts: 954000 | #Constraints: 31623
1357.78/1361.84 c #Conflicts: 955000 | #Constraints: 32623
1357.78/1361.84 c #Conflicts: 956000 | #Constraints: 33623
1357.78/1361.84 c #Conflicts: 957000 | #Constraints: 34623
1357.78/1361.84 c #Conflicts: 958000 | #Constraints: 35623
1357.78/1361.84 c #Conflicts: 959000 | #Constraints: 36623
1357.78/1361.84 c #Conflicts: 960000 | #Constraints: 37623
1357.78/1361.84 c #Conflicts: 961000 | #Constraints: 38623
1357.78/1361.84 c INPROCESSING
1357.78/1361.84 c GARBAGE COLLECT
1357.78/1361.84 c #Conflicts: 962000 | #Constraints: 20225
1357.78/1361.84 c #Conflicts: 963000 | #Constraints: 21225
1357.78/1361.84 c #Conflicts: 964000 | #Constraints: 22225
1357.78/1361.84 c #Conflicts: 965000 | #Constraints: 23225
1357.78/1361.84 c #Conflicts: 966000 | #Constraints: 24225
1357.78/1361.84 c #Conflicts: 967000 | #Constraints: 25225
1357.78/1361.84 c #Conflicts: 968000 | #Constraints: 26225
1357.78/1361.84 c #Conflicts: 969000 | #Constraints: 27225
1357.78/1361.84 c #Conflicts: 970000 | #Constraints: 28225
1357.78/1361.84 c #Conflicts: 971000 | #Constraints: 29225
1357.78/1361.84 c #Conflicts: 972000 | #Constraints: 30225
1357.78/1361.84 c #Conflicts: 973000 | #Constraints: 31225
1357.78/1361.84 c #Conflicts: 974000 | #Constraints: 32225
1357.78/1361.84 c #Conflicts: 975000 | #Constraints: 33225
1357.78/1361.84 c #Conflicts: 976000 | #Constraints: 34225
1357.78/1361.84 c #Conflicts: 977000 | #Constraints: 35225
1357.78/1361.84 c #Conflicts: 978000 | #Constraints: 36225
1357.78/1361.84 c #Conflicts: 979000 | #Constraints: 37225
1357.78/1361.84 c #Conflicts: 980000 | #Constraints: 38225
1357.78/1361.84 c #Conflicts: 981000 | #Constraints: 39225
1357.78/1361.84 c INPROCESSING
1357.78/1361.84 c GARBAGE COLLECT
1545.80/1550.45 c #Conflicts: 982000 | #Constraints: 20626
1545.80/1550.45 c #Conflicts: 983000 | #Constraints: 21626
1545.80/1550.45 c #Conflicts: 984000 | #Constraints: 22626
1545.80/1550.45 c #Conflicts: 985000 | #Constraints: 23626
1545.80/1550.45 c #Conflicts: 986000 | #Constraints: 24626
1545.80/1550.45 c #Conflicts: 987000 | #Constraints: 25626
1545.80/1550.45 c #Conflicts: 988000 | #Constraints: 26626
1545.80/1550.45 c #Conflicts: 989000 | #Constraints: 27626
1545.80/1550.45 c #Conflicts: 990000 | #Constraints: 28626
1545.80/1550.45 c #Conflicts: 991000 | #Constraints: 29626
1545.80/1550.45 c #Conflicts: 992000 | #Constraints: 30626
1545.80/1550.45 c #Conflicts: 993000 | #Constraints: 31626
1545.80/1550.45 c #Conflicts: 994000 | #Constraints: 32626
1545.80/1550.45 c #Conflicts: 995000 | #Constraints: 33626
1545.80/1550.45 c #Conflicts: 996000 | #Constraints: 34626
1545.80/1550.45 c #Conflicts: 997000 | #Constraints: 35626
1545.80/1550.45 c #Conflicts: 998000 | #Constraints: 36626
1545.80/1550.45 c #Conflicts: 999000 | #Constraints: 37626
1545.80/1550.45 c #Conflicts: 1000000 | #Constraints: 38626
1545.80/1550.45 c #Conflicts: 1001000 | #Constraints: 39626
1545.80/1550.45 c INPROCESSING
1545.80/1550.45 c GARBAGE COLLECT
1545.80/1550.45 c #Conflicts: 1002000 | #Constraints: 20826
1545.80/1550.45 c #Conflicts: 1003000 | #Constraints: 21826
1545.80/1550.45 c #Conflicts: 1004000 | #Constraints: 22826
1545.80/1550.45 c #Conflicts: 1005000 | #Constraints: 23826
1545.80/1550.45 c #Conflicts: 1006000 | #Constraints: 24826
1545.80/1550.45 c #Conflicts: 1007000 | #Constraints: 25826
1545.80/1550.45 c #Conflicts: 1008000 | #Constraints: 26826
1545.80/1550.45 c #Conflicts: 1009000 | #Constraints: 27826
1545.80/1550.45 c #Conflicts: 1010000 | #Constraints: 28826
1545.80/1550.45 c #Conflicts: 1011000 | #Constraints: 29826
1545.80/1550.45 c #Conflicts: 1012000 | #Constraints: 30826
1545.80/1550.45 c #Conflicts: 1013000 | #Constraints: 31826
1545.80/1550.45 c #Conflicts: 1014000 | #Constraints: 32826
1545.80/1550.45 c #Conflicts: 1015000 | #Constraints: 33826
1545.80/1550.45 c #Conflicts: 1016000 | #Constraints: 34826
1545.80/1550.45 c #Conflicts: 1017000 | #Constraints: 35826
1545.80/1550.45 c #Conflicts: 1018000 | #Constraints: 36826
1545.80/1550.45 c #Conflicts: 1019000 | #Constraints: 37826
1545.80/1550.45 c #Conflicts: 1020000 | #Constraints: 38826
1545.80/1550.45 c #Conflicts: 1021000 | #Constraints: 39826
1545.80/1550.45 c INPROCESSING
1545.80/1550.45 c GARBAGE COLLECT
1545.80/1550.45 c #Conflicts: 1022000 | #Constraints: 20824
1545.80/1550.45 c #Conflicts: 1023000 | #Constraints: 21824
1545.80/1550.45 c #Conflicts: 1024000 | #Constraints: 22824
1545.80/1550.45 c #Conflicts: 1025000 | #Constraints: 23824
1545.80/1550.45 c #Conflicts: 1026000 | #Constraints: 24824
1545.80/1550.45 c #Conflicts: 1027000 | #Constraints: 25824
1545.80/1550.45 c #Conflicts: 1028000 | #Constraints: 26824
1545.80/1550.45 c #Conflicts: 1029000 | #Constraints: 27824
1545.80/1550.45 c #Conflicts: 1030000 | #Constraints: 28824
1545.80/1550.45 c #Conflicts: 1031000 | #Constraints: 29824
1545.80/1550.45 c #Conflicts: 1032000 | #Constraints: 30824
1545.80/1550.45 c #Conflicts: 1033000 | #Constraints: 31824
1545.80/1550.45 c #Conflicts: 1034000 | #Constraints: 32824
1545.80/1550.45 c #Conflicts: 1035000 | #Constraints: 33824
1545.80/1550.45 c #Conflicts: 1036000 | #Constraints: 34824
1545.80/1550.45 c #Conflicts: 1037000 | #Constraints: 35824
1545.80/1550.45 c #Conflicts: 1038000 | #Constraints: 36824
1545.80/1550.45 c #Conflicts: 1039000 | #Constraints: 37824
1545.80/1550.45 c #Conflicts: 1040000 | #Constraints: 38824
1545.80/1550.45 c #Conflicts: 1041000 | #Constraints: 39824
1545.80/1550.45 c INPROCESSING
1545.80/1550.45 c GARBAGE COLLECT
1545.80/1550.45 c #Conflicts: 1042000 | #Constraints: 20623
1545.80/1550.45 c #Conflicts: 1043000 | #Constraints: 21623
1545.80/1550.45 c #Conflicts: 1044000 | #Constraints: 22623
1545.80/1550.45 c #Conflicts: 1045000 | #Constraints: 23623
1545.80/1550.45 c #Conflicts: 1046000 | #Constraints: 24623
1545.80/1550.45 c #Conflicts: 1047000 | #Constraints: 25623
1545.80/1550.45 c #Conflicts: 1048000 | #Constraints: 26623
1545.80/1550.45 c #Conflicts: 1049000 | #Constraints: 27623
1545.80/1550.45 c #Conflicts: 1050000 | #Constraints: 28623
1545.80/1550.45 c #Conflicts: 1051000 | #Constraints: 29623
1545.80/1550.45 c #Conflicts: 1052000 | #Constraints: 30623
1545.80/1550.45 c #Conflicts: 1053000 | #Constraints: 31623
1545.80/1550.45 c #Conflicts: 1054000 | #Constraints: 32623
1545.80/1550.45 c #Conflicts: 1055000 | #Constraints: 33623
1545.80/1550.45 c #Conflicts: 1056000 | #Constraints: 34623
1545.80/1550.45 c #Conflicts: 1057000 | #Constraints: 35623
1545.80/1550.45 c #Conflicts: 1058000 | #Constraints: 36623
1741.92/1747.14 c #Conflicts: 1059000 | #Constraints: 37623
1741.92/1747.14 c #Conflicts: 1060000 | #Constraints: 38623
1741.92/1747.14 c #Conflicts: 1061000 | #Constraints: 39623
1741.92/1747.14 c #Conflicts: 1062000 | #Constraints: 40623
1741.92/1747.14 c INPROCESSING
1741.92/1747.14 c GARBAGE COLLECT
1741.92/1747.14 c #Conflicts: 1063000 | #Constraints: 21224
1741.92/1747.14 c #Conflicts: 1064000 | #Constraints: 22224
1741.92/1747.14 c #Conflicts: 1065000 | #Constraints: 23224
1741.92/1747.14 c #Conflicts: 1066000 | #Constraints: 24224
1741.92/1747.14 c #Conflicts: 1067000 | #Constraints: 25224
1741.92/1747.14 c #Conflicts: 1068000 | #Constraints: 26224
1741.92/1747.14 c #Conflicts: 1069000 | #Constraints: 27224
1741.92/1747.14 c #Conflicts: 1070000 | #Constraints: 28224
1741.92/1747.14 c #Conflicts: 1071000 | #Constraints: 29224
1741.92/1747.14 c #Conflicts: 1072000 | #Constraints: 30224
1741.92/1747.14 c #Conflicts: 1073000 | #Constraints: 31224
1741.92/1747.14 c #Conflicts: 1074000 | #Constraints: 32224
1741.92/1747.14 c #Conflicts: 1075000 | #Constraints: 33224
1741.92/1747.14 c #Conflicts: 1076000 | #Constraints: 34224
1741.92/1747.14 c #Conflicts: 1077000 | #Constraints: 35224
1741.92/1747.14 c #Conflicts: 1078000 | #Constraints: 36224
1741.92/1747.14 c #Conflicts: 1079000 | #Constraints: 37224
1741.92/1747.14 c #Conflicts: 1080000 | #Constraints: 38224
1741.92/1747.14 c #Conflicts: 1081000 | #Constraints: 39224
1741.92/1747.14 c #Conflicts: 1082000 | #Constraints: 40224
1741.92/1747.14 c #Conflicts: 1083000 | #Constraints: 41224
1741.92/1747.14 c INPROCESSING
1741.92/1747.14 c GARBAGE COLLECT
1741.92/1747.14 c #Conflicts: 1084000 | #Constraints: 21624
1741.92/1747.14 c #Conflicts: 1085000 | #Constraints: 22624
1741.92/1747.14 c #Conflicts: 1086000 | #Constraints: 23624
1741.92/1747.14 c #Conflicts: 1087000 | #Constraints: 24624
1741.92/1747.14 c #Conflicts: 1088000 | #Constraints: 25624
1741.92/1747.14 c #Conflicts: 1089000 | #Constraints: 26624
1741.92/1747.14 c #Conflicts: 1090000 | #Constraints: 27624
1741.92/1747.14 c #Conflicts: 1091000 | #Constraints: 28624
1741.92/1747.14 c #Conflicts: 1092000 | #Constraints: 29624
1741.92/1747.14 c #Conflicts: 1093000 | #Constraints: 30624
1741.92/1747.14 c #Conflicts: 1094000 | #Constraints: 31624
1741.92/1747.14 c #Conflicts: 1095000 | #Constraints: 32624
1741.92/1747.14 c #Conflicts: 1096000 | #Constraints: 33624
1741.92/1747.14 c #Conflicts: 1097000 | #Constraints: 34624
1741.92/1747.14 c #Conflicts: 1098000 | #Constraints: 35624
1741.92/1747.14 c #Conflicts: 1099000 | #Constraints: 36624
1741.92/1747.14 c #Conflicts: 1100000 | #Constraints: 37624
1741.92/1747.14 c #Conflicts: 1101000 | #Constraints: 38624
1741.92/1747.14 c #Conflicts: 1102000 | #Constraints: 39624
1741.92/1747.14 c #Conflicts: 1103000 | #Constraints: 40624
1741.92/1747.14 c #Conflicts: 1104000 | #Constraints: 41624
1741.92/1747.14 c INPROCESSING
1741.92/1747.14 c GARBAGE COLLECT
1741.92/1747.14 c #Conflicts: 1105000 | #Constraints: 21824
1741.92/1747.14 c #Conflicts: 1106000 | #Constraints: 22824
1741.92/1747.14 c #Conflicts: 1107000 | #Constraints: 23824
1741.92/1747.14 c #Conflicts: 1108000 | #Constraints: 24824
1741.92/1747.14 c #Conflicts: 1109000 | #Constraints: 25824
1741.92/1747.14 c #Conflicts: 1110000 | #Constraints: 26824
1741.92/1747.14 c #Conflicts: 1111000 | #Constraints: 27824
1741.92/1747.14 c #Conflicts: 1112000 | #Constraints: 28824
1741.92/1747.14 c #Conflicts: 1113000 | #Constraints: 29824
1741.92/1747.14 c #Conflicts: 1114000 | #Constraints: 30824
1741.92/1747.14 c #Conflicts: 1115000 | #Constraints: 31824
1741.92/1747.14 c #Conflicts: 1116000 | #Constraints: 32824
1741.92/1747.14 c #Conflicts: 1117000 | #Constraints: 33824
1741.92/1747.14 c #Conflicts: 1118000 | #Constraints: 34824
1741.92/1747.14 c #Conflicts: 1119000 | #Constraints: 35824
1741.92/1747.14 c #Conflicts: 1120000 | #Constraints: 36824
1741.92/1747.14 c #Conflicts: 1121000 | #Constraints: 37824
1741.92/1747.14 c #Conflicts: 1122000 | #Constraints: 38824
1741.92/1747.14 c #Conflicts: 1123000 | #Constraints: 39824
1741.92/1747.14 c #Conflicts: 1124000 | #Constraints: 40824
1741.92/1747.14 c #Conflicts: 1125000 | #Constraints: 41824
1741.92/1747.14 c INPROCESSING
1741.92/1747.14 c GARBAGE COLLECT
1741.92/1747.14 c #Conflicts: 1126000 | #Constraints: 21825
1741.92/1747.14 c #Conflicts: 1127000 | #Constraints: 22825
1741.92/1747.14 c #Conflicts: 1128000 | #Constraints: 23825
1741.92/1747.14 c #Conflicts: 1129000 | #Constraints: 24825
1741.92/1747.14 c #Conflicts: 1130000 | #Constraints: 25825
1741.92/1747.14 c #Conflicts: 1131000 | #Constraints: 26825
1741.92/1747.14 c #Conflicts: 1132000 | #Constraints: 27825
1741.92/1747.14 c #Conflicts: 1133000 | #Constraints: 28825
1741.92/1747.14 c #Conflicts: 1134000 | #Constraints: 29825
1932.80/1938.50 c #Conflicts: 1135000 | #Constraints: 30825
1932.80/1938.50 c #Conflicts: 1136000 | #Constraints: 31825
1932.80/1938.50 c #Conflicts: 1137000 | #Constraints: 32825
1932.80/1938.50 c #Conflicts: 1138000 | #Constraints: 33825
1932.80/1938.50 c #Conflicts: 1139000 | #Constraints: 34825
1932.80/1938.50 c #Conflicts: 1140000 | #Constraints: 35825
1932.80/1938.50 c #Conflicts: 1141000 | #Constraints: 36825
1932.80/1938.50 c #Conflicts: 1142000 | #Constraints: 37825
1932.80/1938.50 c #Conflicts: 1143000 | #Constraints: 38825
1932.80/1938.50 c #Conflicts: 1144000 | #Constraints: 39825
1932.80/1938.50 c #Conflicts: 1145000 | #Constraints: 40825
1932.80/1938.50 c #Conflicts: 1146000 | #Constraints: 41825
1932.80/1938.50 c INPROCESSING
1932.80/1938.50 c GARBAGE COLLECT
1932.80/1938.50 c #Conflicts: 1147000 | #Constraints: 21623
1932.80/1938.50 c #Conflicts: 1148000 | #Constraints: 22623
1932.80/1938.50 c #Conflicts: 1149000 | #Constraints: 23623
1932.80/1938.50 c #Conflicts: 1150000 | #Constraints: 24623
1932.80/1938.50 c #Conflicts: 1151000 | #Constraints: 25623
1932.80/1938.50 c #Conflicts: 1152000 | #Constraints: 26623
1932.80/1938.50 c #Conflicts: 1153000 | #Constraints: 27623
1932.80/1938.50 c #Conflicts: 1154000 | #Constraints: 28623
1932.80/1938.50 c #Conflicts: 1155000 | #Constraints: 29623
1932.80/1938.50 c #Conflicts: 1156000 | #Constraints: 30623
1932.80/1938.50 c #Conflicts: 1157000 | #Constraints: 31623
1932.80/1938.50 c #Conflicts: 1158000 | #Constraints: 32623
1932.80/1938.50 c #Conflicts: 1159000 | #Constraints: 33623
1932.80/1938.50 c #Conflicts: 1160000 | #Constraints: 34623
1932.80/1938.50 c #Conflicts: 1161000 | #Constraints: 35623
1932.80/1938.50 c #Conflicts: 1162000 | #Constraints: 36623
1932.80/1938.50 c #Conflicts: 1163000 | #Constraints: 37623
1932.80/1938.50 c #Conflicts: 1164000 | #Constraints: 38623
1932.80/1938.50 c #Conflicts: 1165000 | #Constraints: 39623
1932.80/1938.50 c #Conflicts: 1166000 | #Constraints: 40623
1932.80/1938.50 c #Conflicts: 1167000 | #Constraints: 41623
1932.80/1938.50 c #Conflicts: 1168000 | #Constraints: 42623
1932.80/1938.50 c INPROCESSING
1932.80/1938.50 c GARBAGE COLLECT
1932.80/1938.50 c #Conflicts: 1169000 | #Constraints: 22225
1932.80/1938.50 c #Conflicts: 1170000 | #Constraints: 23225
1932.80/1938.50 c #Conflicts: 1171000 | #Constraints: 24225
1932.80/1938.50 c #Conflicts: 1172000 | #Constraints: 25225
1932.80/1938.50 c #Conflicts: 1173000 | #Constraints: 26225
1932.80/1938.50 c #Conflicts: 1174000 | #Constraints: 27225
1932.80/1938.50 c #Conflicts: 1175000 | #Constraints: 28225
1932.80/1938.50 c #Conflicts: 1176000 | #Constraints: 29225
1932.80/1938.50 c #Conflicts: 1177000 | #Constraints: 30225
1932.80/1938.50 c #Conflicts: 1178000 | #Constraints: 31225
1932.80/1938.50 c #Conflicts: 1179000 | #Constraints: 32225
1932.80/1938.50 c #Conflicts: 1180000 | #Constraints: 33225
1932.80/1938.50 c #Conflicts: 1181000 | #Constraints: 34225
1932.80/1938.50 c #Conflicts: 1182000 | #Constraints: 35225
1932.80/1938.50 c #Conflicts: 1183000 | #Constraints: 36225
1932.80/1938.50 c #Conflicts: 1184000 | #Constraints: 37225
1932.80/1938.50 c #Conflicts: 1185000 | #Constraints: 38225
1932.80/1938.50 c #Conflicts: 1186000 | #Constraints: 39225
1932.80/1938.50 c #Conflicts: 1187000 | #Constraints: 40225
1932.80/1938.50 c #Conflicts: 1188000 | #Constraints: 41225
1932.80/1938.50 c #Conflicts: 1189000 | #Constraints: 42225
1932.80/1938.50 c #Conflicts: 1190000 | #Constraints: 43225
1932.80/1938.50 c INPROCESSING
1932.80/1938.50 c GARBAGE COLLECT
1932.80/1938.50 c #Conflicts: 1191000 | #Constraints: 22623
1932.80/1938.50 c #Conflicts: 1192000 | #Constraints: 23623
1932.80/1938.50 c #Conflicts: 1193000 | #Constraints: 24623
1932.80/1938.50 c #Conflicts: 1194000 | #Constraints: 25623
1932.80/1938.50 c #Conflicts: 1195000 | #Constraints: 26623
1932.80/1938.50 c #Conflicts: 1196000 | #Constraints: 27623
1932.80/1938.50 c #Conflicts: 1197000 | #Constraints: 28623
1932.80/1938.50 c #Conflicts: 1198000 | #Constraints: 29623
1932.80/1938.50 c #Conflicts: 1199000 | #Constraints: 30623
1932.80/1938.50 c #Conflicts: 1200000 | #Constraints: 31623
1932.80/1938.50 c #Conflicts: 1201000 | #Constraints: 32623
1932.80/1938.50 c #Conflicts: 1202000 | #Constraints: 33623
1932.80/1938.50 c #Conflicts: 1203000 | #Constraints: 34623
1932.80/1938.50 c #Conflicts: 1204000 | #Constraints: 35623
1932.80/1938.50 c #Conflicts: 1205000 | #Constraints: 36623
1932.80/1938.50 c #Conflicts: 1206000 | #Constraints: 37623
1932.80/1938.50 c #Conflicts: 1207000 | #Constraints: 38623
1932.80/1938.50 c #Conflicts: 1208000 | #Constraints: 39623
1932.80/1938.50 c #Conflicts: 1209000 | #Constraints: 40623
1932.80/1938.50 c #Conflicts: 1210000 | #Constraints: 41623
1932.80/1938.50 c #Conflicts: 1211000 | #Constraints: 42623
2130.89/2137.11 c #Conflicts: 1212000 | #Constraints: 43623
2130.89/2137.11 c INPROCESSING
2130.89/2137.11 c GARBAGE COLLECT
2130.89/2137.11 c #Conflicts: 1213000 | #Constraints: 22822
2130.89/2137.11 c #Conflicts: 1214000 | #Constraints: 23822
2130.89/2137.11 c #Conflicts: 1215000 | #Constraints: 24822
2130.89/2137.11 c #Conflicts: 1216000 | #Constraints: 25822
2130.89/2137.11 c #Conflicts: 1217000 | #Constraints: 26822
2130.89/2137.11 c #Conflicts: 1218000 | #Constraints: 27822
2130.89/2137.11 c #Conflicts: 1219000 | #Constraints: 28822
2130.89/2137.11 c #Conflicts: 1220000 | #Constraints: 29822
2130.89/2137.11 c #Conflicts: 1221000 | #Constraints: 30822
2130.89/2137.11 c #Conflicts: 1222000 | #Constraints: 31822
2130.89/2137.11 c #Conflicts: 1223000 | #Constraints: 32822
2130.89/2137.11 c #Conflicts: 1224000 | #Constraints: 33822
2130.89/2137.11 c #Conflicts: 1225000 | #Constraints: 34822
2130.89/2137.11 c #Conflicts: 1226000 | #Constraints: 35822
2130.89/2137.11 c #Conflicts: 1227000 | #Constraints: 36822
2130.89/2137.11 c #Conflicts: 1228000 | #Constraints: 37822
2130.89/2137.11 c #Conflicts: 1229000 | #Constraints: 38822
2130.89/2137.11 c #Conflicts: 1230000 | #Constraints: 39822
2130.89/2137.11 c #Conflicts: 1231000 | #Constraints: 40822
2130.89/2137.11 c #Conflicts: 1232000 | #Constraints: 41822
2130.89/2137.11 c #Conflicts: 1233000 | #Constraints: 42822
2130.89/2137.11 c #Conflicts: 1234000 | #Constraints: 43822
2130.89/2137.11 c INPROCESSING
2130.89/2137.11 c GARBAGE COLLECT
2130.89/2137.11 c #Conflicts: 1235000 | #Constraints: 22822
2130.89/2137.11 c #Conflicts: 1236000 | #Constraints: 23822
2130.89/2137.11 c #Conflicts: 1237000 | #Constraints: 24822
2130.89/2137.11 c #Conflicts: 1238000 | #Constraints: 25822
2130.89/2137.11 c #Conflicts: 1239000 | #Constraints: 26822
2130.89/2137.11 c #Conflicts: 1240000 | #Constraints: 27822
2130.89/2137.11 c #Conflicts: 1241000 | #Constraints: 28822
2130.89/2137.11 c #Conflicts: 1242000 | #Constraints: 29822
2130.89/2137.11 c #Conflicts: 1243000 | #Constraints: 30822
2130.89/2137.11 c #Conflicts: 1244000 | #Constraints: 31822
2130.89/2137.11 c #Conflicts: 1245000 | #Constraints: 32822
2130.89/2137.11 c #Conflicts: 1246000 | #Constraints: 33822
2130.89/2137.11 c #Conflicts: 1247000 | #Constraints: 34822
2130.89/2137.11 c #Conflicts: 1248000 | #Constraints: 35822
2130.89/2137.11 c #Conflicts: 1249000 | #Constraints: 36822
2130.89/2137.11 c #Conflicts: 1250000 | #Constraints: 37822
2130.89/2137.11 c #Conflicts: 1251000 | #Constraints: 38822
2130.89/2137.11 c #Conflicts: 1252000 | #Constraints: 39822
2130.89/2137.11 c #Conflicts: 1253000 | #Constraints: 40822
2130.89/2137.11 c #Conflicts: 1254000 | #Constraints: 41822
2130.89/2137.11 c #Conflicts: 1255000 | #Constraints: 42822
2130.89/2137.11 c #Conflicts: 1256000 | #Constraints: 43822
2130.89/2137.11 c INPROCESSING
2130.89/2137.11 c GARBAGE COLLECT
2130.89/2137.11 c #Conflicts: 1257000 | #Constraints: 22622
2130.89/2137.11 c #Conflicts: 1258000 | #Constraints: 23622
2130.89/2137.11 c #Conflicts: 1259000 | #Constraints: 24622
2130.89/2137.11 c #Conflicts: 1260000 | #Constraints: 25622
2130.89/2137.11 c #Conflicts: 1261000 | #Constraints: 26622
2130.89/2137.11 c #Conflicts: 1262000 | #Constraints: 27622
2130.89/2137.11 c #Conflicts: 1263000 | #Constraints: 28622
2130.89/2137.11 c #Conflicts: 1264000 | #Constraints: 29622
2130.89/2137.11 c #Conflicts: 1265000 | #Constraints: 30622
2130.89/2137.11 c #Conflicts: 1266000 | #Constraints: 31622
2130.89/2137.11 c #Conflicts: 1267000 | #Constraints: 32622
2130.89/2137.11 c #Conflicts: 1268000 | #Constraints: 33622
2130.89/2137.11 c #Conflicts: 1269000 | #Constraints: 34622
2130.89/2137.11 c #Conflicts: 1270000 | #Constraints: 35622
2130.89/2137.11 c #Conflicts: 1271000 | #Constraints: 36622
2130.89/2137.11 c #Conflicts: 1272000 | #Constraints: 37622
2130.89/2137.11 c #Conflicts: 1273000 | #Constraints: 38622
2130.89/2137.11 c #Conflicts: 1274000 | #Constraints: 39622
2130.89/2137.11 c #Conflicts: 1275000 | #Constraints: 40622
2130.89/2137.11 c #Conflicts: 1276000 | #Constraints: 41622
2130.89/2137.11 c #Conflicts: 1277000 | #Constraints: 42622
2130.89/2137.11 c #Conflicts: 1278000 | #Constraints: 43622
2130.89/2137.11 c #Conflicts: 1279000 | #Constraints: 44622
2130.89/2137.11 c INPROCESSING
2130.89/2137.11 c GARBAGE COLLECT
2130.89/2137.11 c #Conflicts: 1280000 | #Constraints: 23220
2130.89/2137.11 c #Conflicts: 1281000 | #Constraints: 24220
2130.89/2137.11 c #Conflicts: 1282000 | #Constraints: 25220
2130.89/2137.11 c #Conflicts: 1283000 | #Constraints: 26220
2130.89/2137.11 c #Conflicts: 1284000 | #Constraints: 27220
2130.89/2137.11 c #Conflicts: 1285000 | #Constraints: 28220
2130.89/2137.11 c #Conflicts: 1286000 | #Constraints: 29220
2130.89/2137.11 c #Conflicts: 1287000 | #Constraints: 30220
2130.89/2137.11 c #Conflicts: 1288000 | #Constraints: 31220
2340.23/2347.05 c #Conflicts: 1289000 | #Constraints: 32220
2340.23/2347.05 c #Conflicts: 1290000 | #Constraints: 33220
2340.23/2347.05 c #Conflicts: 1291000 | #Constraints: 34220
2340.23/2347.05 c #Conflicts: 1292000 | #Constraints: 35220
2340.23/2347.05 c #Conflicts: 1293000 | #Constraints: 36220
2340.23/2347.05 c #Conflicts: 1294000 | #Constraints: 37220
2340.23/2347.05 c #Conflicts: 1295000 | #Constraints: 38220
2340.23/2347.05 c #Conflicts: 1296000 | #Constraints: 39220
2340.23/2347.05 c #Conflicts: 1297000 | #Constraints: 40220
2340.23/2347.05 c #Conflicts: 1298000 | #Constraints: 41220
2340.23/2347.05 c #Conflicts: 1299000 | #Constraints: 42220
2340.23/2347.05 c #Conflicts: 1300000 | #Constraints: 43220
2340.23/2347.05 c #Conflicts: 1301000 | #Constraints: 44220
2340.23/2347.05 c #Conflicts: 1302000 | #Constraints: 45220
2340.23/2347.05 c INPROCESSING
2340.23/2347.05 c GARBAGE COLLECT
2340.23/2347.05 c #Conflicts: 1303000 | #Constraints: 23621
2340.23/2347.05 c #Conflicts: 1304000 | #Constraints: 24621
2340.23/2347.05 c #Conflicts: 1305000 | #Constraints: 25621
2340.23/2347.05 c #Conflicts: 1306000 | #Constraints: 26621
2340.23/2347.05 c #Conflicts: 1307000 | #Constraints: 27621
2340.23/2347.05 c #Conflicts: 1308000 | #Constraints: 28621
2340.23/2347.05 c #Conflicts: 1309000 | #Constraints: 29621
2340.23/2347.05 c #Conflicts: 1310000 | #Constraints: 30621
2340.23/2347.05 c #Conflicts: 1311000 | #Constraints: 31621
2340.23/2347.05 c #Conflicts: 1312000 | #Constraints: 32621
2340.23/2347.05 c #Conflicts: 1313000 | #Constraints: 33621
2340.23/2347.05 c #Conflicts: 1314000 | #Constraints: 34621
2340.23/2347.05 c #Conflicts: 1315000 | #Constraints: 35621
2340.23/2347.05 c #Conflicts: 1316000 | #Constraints: 36621
2340.23/2347.05 c #Conflicts: 1317000 | #Constraints: 37621
2340.23/2347.05 c #Conflicts: 1318000 | #Constraints: 38621
2340.23/2347.05 c #Conflicts: 1319000 | #Constraints: 39621
2340.23/2347.05 c #Conflicts: 1320000 | #Constraints: 40621
2340.23/2347.05 c #Conflicts: 1321000 | #Constraints: 41621
2340.23/2347.05 c #Conflicts: 1322000 | #Constraints: 42621
2340.23/2347.05 c #Conflicts: 1323000 | #Constraints: 43621
2340.23/2347.05 c #Conflicts: 1324000 | #Constraints: 44621
2340.23/2347.05 c #Conflicts: 1325000 | #Constraints: 45621
2340.23/2347.05 c INPROCESSING
2340.23/2347.05 c GARBAGE COLLECT
2340.23/2347.05 c #Conflicts: 1326000 | #Constraints: 23823
2340.23/2347.05 c #Conflicts: 1327000 | #Constraints: 24823
2340.23/2347.05 c #Conflicts: 1328000 | #Constraints: 25823
2340.23/2347.05 c #Conflicts: 1329000 | #Constraints: 26823
2340.23/2347.05 c #Conflicts: 1330000 | #Constraints: 27823
2340.23/2347.05 c #Conflicts: 1331000 | #Constraints: 28823
2340.23/2347.05 c #Conflicts: 1332000 | #Constraints: 29823
2340.23/2347.05 c #Conflicts: 1333000 | #Constraints: 30823
2340.23/2347.05 c #Conflicts: 1334000 | #Constraints: 31823
2340.23/2347.05 c #Conflicts: 1335000 | #Constraints: 32823
2340.23/2347.05 c #Conflicts: 1336000 | #Constraints: 33823
2340.23/2347.05 c #Conflicts: 1337000 | #Constraints: 34823
2340.23/2347.05 c #Conflicts: 1338000 | #Constraints: 35823
2340.23/2347.05 c #Conflicts: 1339000 | #Constraints: 36823
2340.23/2347.05 c #Conflicts: 1340000 | #Constraints: 37823
2340.23/2347.05 c #Conflicts: 1341000 | #Constraints: 38823
2340.23/2347.05 c #Conflicts: 1342000 | #Constraints: 39823
2340.23/2347.05 c #Conflicts: 1343000 | #Constraints: 40823
2340.23/2347.05 c #Conflicts: 1344000 | #Constraints: 41823
2340.23/2347.05 c #Conflicts: 1345000 | #Constraints: 42823
2340.23/2347.05 c #Conflicts: 1346000 | #Constraints: 43823
2340.23/2347.05 c #Conflicts: 1347000 | #Constraints: 44823
2340.23/2347.05 c #Conflicts: 1348000 | #Constraints: 45823
2340.23/2347.05 c INPROCESSING
2340.23/2347.05 c GARBAGE COLLECT
2340.23/2347.05 c #Conflicts: 1349000 | #Constraints: 23823
2340.23/2347.05 c #Conflicts: 1350000 | #Constraints: 24823
2340.23/2347.05 c #Conflicts: 1351000 | #Constraints: 25823
2340.23/2347.05 c #Conflicts: 1352000 | #Constraints: 26823
2340.23/2347.05 c #Conflicts: 1353000 | #Constraints: 27823
2340.23/2347.05 c #Conflicts: 1354000 | #Constraints: 28823
2340.23/2347.05 c #Conflicts: 1355000 | #Constraints: 29823
2340.23/2347.05 c #Conflicts: 1356000 | #Constraints: 30823
2340.23/2347.05 c #Conflicts: 1357000 | #Constraints: 31823
2340.23/2347.05 c #Conflicts: 1358000 | #Constraints: 32823
2340.23/2347.05 c #Conflicts: 1359000 | #Constraints: 33823
2340.23/2347.05 c #Conflicts: 1360000 | #Constraints: 34823
2340.23/2347.05 c #Conflicts: 1361000 | #Constraints: 35823
2340.23/2347.05 c #Conflicts: 1362000 | #Constraints: 36823
2340.23/2347.05 c #Conflicts: 1363000 | #Constraints: 37823
2340.23/2347.05 c #Conflicts: 1364000 | #Constraints: 38823
2553.66/2561.12 c #Conflicts: 1365000 | #Constraints: 39823
2553.66/2561.12 c #Conflicts: 1366000 | #Constraints: 40823
2553.66/2561.12 c #Conflicts: 1367000 | #Constraints: 41823
2553.66/2561.12 c #Conflicts: 1368000 | #Constraints: 42823
2553.66/2561.12 c #Conflicts: 1369000 | #Constraints: 43823
2553.66/2561.12 c #Conflicts: 1370000 | #Constraints: 44823
2553.66/2561.12 c #Conflicts: 1371000 | #Constraints: 45823
2553.66/2561.12 c INPROCESSING
2553.66/2561.12 c GARBAGE COLLECT
2553.66/2561.12 c #Conflicts: 1372000 | #Constraints: 23624
2553.66/2561.12 c #Conflicts: 1373000 | #Constraints: 24624
2553.66/2561.12 c #Conflicts: 1374000 | #Constraints: 25624
2553.66/2561.12 c #Conflicts: 1375000 | #Constraints: 26624
2553.66/2561.12 c #Conflicts: 1376000 | #Constraints: 27624
2553.66/2561.12 c #Conflicts: 1377000 | #Constraints: 28624
2553.66/2561.12 c #Conflicts: 1378000 | #Constraints: 29624
2553.66/2561.12 c #Conflicts: 1379000 | #Constraints: 30624
2553.66/2561.12 c #Conflicts: 1380000 | #Constraints: 31624
2553.66/2561.12 c #Conflicts: 1381000 | #Constraints: 32624
2553.66/2561.12 c #Conflicts: 1382000 | #Constraints: 33624
2553.66/2561.12 c #Conflicts: 1383000 | #Constraints: 34624
2553.66/2561.12 c #Conflicts: 1384000 | #Constraints: 35624
2553.66/2561.12 c #Conflicts: 1385000 | #Constraints: 36624
2553.66/2561.12 c #Conflicts: 1386000 | #Constraints: 37624
2553.66/2561.12 c #Conflicts: 1387000 | #Constraints: 38624
2553.66/2561.12 c #Conflicts: 1388000 | #Constraints: 39624
2553.66/2561.12 c #Conflicts: 1389000 | #Constraints: 40624
2553.66/2561.12 c #Conflicts: 1390000 | #Constraints: 41624
2553.66/2561.12 c #Conflicts: 1391000 | #Constraints: 42624
2553.66/2561.12 c #Conflicts: 1392000 | #Constraints: 43624
2553.66/2561.12 c #Conflicts: 1393000 | #Constraints: 44624
2553.66/2561.12 c #Conflicts: 1394000 | #Constraints: 45624
2553.66/2561.12 c #Conflicts: 1395000 | #Constraints: 46624
2553.66/2561.12 c INPROCESSING
2553.66/2561.12 c GARBAGE COLLECT
2553.66/2561.12 c #Conflicts: 1396000 | #Constraints: 24224
2553.66/2561.12 c #Conflicts: 1397000 | #Constraints: 25224
2553.66/2561.12 c #Conflicts: 1398000 | #Constraints: 26224
2553.66/2561.12 c #Conflicts: 1399000 | #Constraints: 27224
2553.66/2561.12 c #Conflicts: 1400000 | #Constraints: 28224
2553.66/2561.12 c #Conflicts: 1401000 | #Constraints: 29224
2553.66/2561.12 c #Conflicts: 1402000 | #Constraints: 30224
2553.66/2561.12 c #Conflicts: 1403000 | #Constraints: 31224
2553.66/2561.12 c #Conflicts: 1404000 | #Constraints: 32224
2553.66/2561.12 c #Conflicts: 1405000 | #Constraints: 33224
2553.66/2561.12 c #Conflicts: 1406000 | #Constraints: 34224
2553.66/2561.12 c #Conflicts: 1407000 | #Constraints: 35224
2553.66/2561.12 c #Conflicts: 1408000 | #Constraints: 36224
2553.66/2561.12 c #Conflicts: 1409000 | #Constraints: 37224
2553.66/2561.12 c #Conflicts: 1410000 | #Constraints: 38224
2553.66/2561.12 c #Conflicts: 1411000 | #Constraints: 39224
2553.66/2561.12 c #Conflicts: 1412000 | #Constraints: 40224
2553.66/2561.12 c #Conflicts: 1413000 | #Constraints: 41224
2553.66/2561.12 c #Conflicts: 1414000 | #Constraints: 42224
2553.66/2561.12 c #Conflicts: 1415000 | #Constraints: 43224
2553.66/2561.12 c #Conflicts: 1416000 | #Constraints: 44224
2553.66/2561.12 c #Conflicts: 1417000 | #Constraints: 45224
2553.66/2561.12 c #Conflicts: 1418000 | #Constraints: 46224
2553.66/2561.12 c #Conflicts: 1419000 | #Constraints: 47224
2553.66/2561.12 c INPROCESSING
2553.66/2561.12 c GARBAGE COLLECT
2553.66/2561.12 c #Conflicts: 1420000 | #Constraints: 24622
2553.66/2561.12 c #Conflicts: 1421000 | #Constraints: 25622
2553.66/2561.12 c #Conflicts: 1422000 | #Constraints: 26622
2553.66/2561.12 c #Conflicts: 1423000 | #Constraints: 27622
2553.66/2561.12 c #Conflicts: 1424000 | #Constraints: 28622
2553.66/2561.12 c #Conflicts: 1425000 | #Constraints: 29622
2553.66/2561.12 c #Conflicts: 1426000 | #Constraints: 30622
2553.66/2561.12 c #Conflicts: 1427000 | #Constraints: 31622
2553.66/2561.12 c #Conflicts: 1428000 | #Constraints: 32622
2553.66/2561.12 c #Conflicts: 1429000 | #Constraints: 33622
2553.66/2561.12 c #Conflicts: 1430000 | #Constraints: 34622
2553.66/2561.12 c #Conflicts: 1431000 | #Constraints: 35622
2553.66/2561.12 c #Conflicts: 1432000 | #Constraints: 36622
2553.66/2561.12 c #Conflicts: 1433000 | #Constraints: 37622
2553.66/2561.12 c #Conflicts: 1434000 | #Constraints: 38622
2553.66/2561.12 c #Conflicts: 1435000 | #Constraints: 39622
2553.66/2561.12 c #Conflicts: 1436000 | #Constraints: 40622
2553.66/2561.12 c #Conflicts: 1437000 | #Constraints: 41622
2553.66/2561.12 c #Conflicts: 1438000 | #Constraints: 42622
2553.66/2561.12 c #Conflicts: 1439000 | #Constraints: 43622
2553.66/2561.12 c #Conflicts: 1440000 | #Constraints: 44622
2553.66/2561.12 c #Conflicts: 1441000 | #Constraints: 45622
2776.70/2784.87 c #Conflicts: 1442000 | #Constraints: 46622
2776.70/2784.87 c #Conflicts: 1443000 | #Constraints: 47622
2776.70/2784.87 c INPROCESSING
2776.70/2784.87 c GARBAGE COLLECT
2776.70/2784.87 c #Conflicts: 1444000 | #Constraints: 24824
2776.70/2784.87 c #Conflicts: 1445000 | #Constraints: 25824
2776.70/2784.87 c #Conflicts: 1446000 | #Constraints: 26824
2776.70/2784.87 c #Conflicts: 1447000 | #Constraints: 27824
2776.70/2784.87 c #Conflicts: 1448000 | #Constraints: 28824
2776.70/2784.87 c #Conflicts: 1449000 | #Constraints: 29824
2776.70/2784.87 c #Conflicts: 1450000 | #Constraints: 30824
2776.70/2784.87 c #Conflicts: 1451000 | #Constraints: 31824
2776.70/2784.87 c #Conflicts: 1452000 | #Constraints: 32824
2776.70/2784.87 c #Conflicts: 1453000 | #Constraints: 33824
2776.70/2784.87 c #Conflicts: 1454000 | #Constraints: 34824
2776.70/2784.87 c #Conflicts: 1455000 | #Constraints: 35824
2776.70/2784.87 c #Conflicts: 1456000 | #Constraints: 36824
2776.70/2784.87 c #Conflicts: 1457000 | #Constraints: 37824
2776.70/2784.87 c #Conflicts: 1458000 | #Constraints: 38824
2776.70/2784.87 c #Conflicts: 1459000 | #Constraints: 39824
2776.70/2784.87 c #Conflicts: 1460000 | #Constraints: 40824
2776.70/2784.87 c #Conflicts: 1461000 | #Constraints: 41824
2776.70/2784.87 c #Conflicts: 1462000 | #Constraints: 42824
2776.70/2784.87 c #Conflicts: 1463000 | #Constraints: 43824
2776.70/2784.87 c #Conflicts: 1464000 | #Constraints: 44824
2776.70/2784.87 c #Conflicts: 1465000 | #Constraints: 45824
2776.70/2784.87 c #Conflicts: 1466000 | #Constraints: 46824
2776.70/2784.87 c #Conflicts: 1467000 | #Constraints: 47824
2776.70/2784.87 c INPROCESSING
2776.70/2784.87 c GARBAGE COLLECT
2776.70/2784.87 c #Conflicts: 1468000 | #Constraints: 24822
2776.70/2784.87 c #Conflicts: 1469000 | #Constraints: 25822
2776.70/2784.87 c #Conflicts: 1470000 | #Constraints: 26822
2776.70/2784.87 c #Conflicts: 1471000 | #Constraints: 27822
2776.70/2784.87 c #Conflicts: 1472000 | #Constraints: 28822
2776.70/2784.87 c #Conflicts: 1473000 | #Constraints: 29822
2776.70/2784.87 c #Conflicts: 1474000 | #Constraints: 30822
2776.70/2784.87 c #Conflicts: 1475000 | #Constraints: 31822
2776.70/2784.87 c #Conflicts: 1476000 | #Constraints: 32822
2776.70/2784.87 c #Conflicts: 1477000 | #Constraints: 33822
2776.70/2784.87 c #Conflicts: 1478000 | #Constraints: 34822
2776.70/2784.87 c #Conflicts: 1479000 | #Constraints: 35822
2776.70/2784.87 c #Conflicts: 1480000 | #Constraints: 36822
2776.70/2784.87 c #Conflicts: 1481000 | #Constraints: 37822
2776.70/2784.87 c #Conflicts: 1482000 | #Constraints: 38822
2776.70/2784.87 c #Conflicts: 1483000 | #Constraints: 39822
2776.70/2784.87 c #Conflicts: 1484000 | #Constraints: 40822
2776.70/2784.87 c #Conflicts: 1485000 | #Constraints: 41822
2776.70/2784.87 c #Conflicts: 1486000 | #Constraints: 42822
2776.70/2784.87 c #Conflicts: 1487000 | #Constraints: 43822
2776.70/2784.87 c #Conflicts: 1488000 | #Constraints: 44822
2776.70/2784.87 c #Conflicts: 1489000 | #Constraints: 45822
2776.70/2784.87 c #Conflicts: 1490000 | #Constraints: 46822
2776.70/2784.87 c #Conflicts: 1491000 | #Constraints: 47822
2776.70/2784.87 c INPROCESSING
2776.70/2784.87 c GARBAGE COLLECT
2776.70/2784.87 c #Conflicts: 1492000 | #Constraints: 24620
2776.70/2784.87 c #Conflicts: 1493000 | #Constraints: 25620
2776.70/2784.87 c #Conflicts: 1494000 | #Constraints: 26620
2776.70/2784.87 c #Conflicts: 1495000 | #Constraints: 27620
2776.70/2784.87 c #Conflicts: 1496000 | #Constraints: 28620
2776.70/2784.87 c #Conflicts: 1497000 | #Constraints: 29620
2776.70/2784.87 c #Conflicts: 1498000 | #Constraints: 30620
2776.70/2784.87 c #Conflicts: 1499000 | #Constraints: 31620
2776.70/2784.87 c #Conflicts: 1500000 | #Constraints: 32620
2776.70/2784.87 c #Conflicts: 1501000 | #Constraints: 33620
2776.70/2784.87 c #Conflicts: 1502000 | #Constraints: 34620
2776.70/2784.87 c #Conflicts: 1503000 | #Constraints: 35620
2776.70/2784.87 c #Conflicts: 1504000 | #Constraints: 36620
2776.70/2784.87 c #Conflicts: 1505000 | #Constraints: 37620
2776.70/2784.87 c #Conflicts: 1506000 | #Constraints: 38620
2776.70/2784.87 c #Conflicts: 1507000 | #Constraints: 39620
2776.70/2784.87 c #Conflicts: 1508000 | #Constraints: 40620
2776.70/2784.87 c #Conflicts: 1509000 | #Constraints: 41620
2776.70/2784.87 c #Conflicts: 1510000 | #Constraints: 42620
2776.70/2784.87 c #Conflicts: 1511000 | #Constraints: 43620
2776.70/2784.87 c #Conflicts: 1512000 | #Constraints: 44620
2776.70/2784.87 c #Conflicts: 1513000 | #Constraints: 45620
2776.70/2784.87 c #Conflicts: 1514000 | #Constraints: 46620
2776.70/2784.87 c #Conflicts: 1515000 | #Constraints: 47620
2776.70/2784.87 c #Conflicts: 1516000 | #Constraints: 48620
2776.70/2784.87 c INPROCESSING
2776.70/2784.87 c GARBAGE COLLECT
2776.70/2784.87 c #Conflicts: 1517000 | #Constraints: 25222
2776.70/2784.87 c #Conflicts: 1518000 | #Constraints: 26222
3014.16/3022.91 c #Conflicts: 1519000 | #Constraints: 27222
3014.16/3022.91 c #Conflicts: 1520000 | #Constraints: 28222
3014.16/3022.91 c #Conflicts: 1521000 | #Constraints: 29222
3014.16/3022.91 c #Conflicts: 1522000 | #Constraints: 30222
3014.16/3022.91 c #Conflicts: 1523000 | #Constraints: 31222
3014.16/3022.91 c #Conflicts: 1524000 | #Constraints: 32222
3014.16/3022.91 c #Conflicts: 1525000 | #Constraints: 33222
3014.16/3022.91 c #Conflicts: 1526000 | #Constraints: 34222
3014.16/3022.91 c #Conflicts: 1527000 | #Constraints: 35222
3014.16/3022.91 c #Conflicts: 1528000 | #Constraints: 36222
3014.16/3022.91 c #Conflicts: 1529000 | #Constraints: 37222
3014.16/3022.91 c #Conflicts: 1530000 | #Constraints: 38222
3014.16/3022.91 c #Conflicts: 1531000 | #Constraints: 39222
3014.16/3022.91 c #Conflicts: 1532000 | #Constraints: 40222
3014.16/3022.91 c #Conflicts: 1533000 | #Constraints: 41222
3014.16/3022.91 c #Conflicts: 1534000 | #Constraints: 42222
3014.16/3022.91 c #Conflicts: 1535000 | #Constraints: 43222
3014.16/3022.91 c #Conflicts: 1536000 | #Constraints: 44222
3014.16/3022.91 c #Conflicts: 1537000 | #Constraints: 45222
3014.16/3022.91 c #Conflicts: 1538000 | #Constraints: 46222
3014.16/3022.91 c #Conflicts: 1539000 | #Constraints: 47222
3014.16/3022.91 c #Conflicts: 1540000 | #Constraints: 48222
3014.16/3022.91 c #Conflicts: 1541000 | #Constraints: 49222
3014.16/3022.91 c INPROCESSING
3014.16/3022.91 c GARBAGE COLLECT
3014.16/3022.91 c #Conflicts: 1542000 | #Constraints: 25625
3014.16/3022.91 c #Conflicts: 1543000 | #Constraints: 26625
3014.16/3022.91 c #Conflicts: 1544000 | #Constraints: 27625
3014.16/3022.91 c #Conflicts: 1545000 | #Constraints: 28625
3014.16/3022.91 c #Conflicts: 1546000 | #Constraints: 29625
3014.16/3022.91 c #Conflicts: 1547000 | #Constraints: 30625
3014.16/3022.91 c #Conflicts: 1548000 | #Constraints: 31625
3014.16/3022.91 c #Conflicts: 1549000 | #Constraints: 32625
3014.16/3022.91 c #Conflicts: 1550000 | #Constraints: 33625
3014.16/3022.91 c #Conflicts: 1551000 | #Constraints: 34625
3014.16/3022.91 c #Conflicts: 1552000 | #Constraints: 35625
3014.16/3022.91 c #Conflicts: 1553000 | #Constraints: 36625
3014.16/3022.91 c #Conflicts: 1554000 | #Constraints: 37625
3014.16/3022.91 c #Conflicts: 1555000 | #Constraints: 38625
3014.16/3022.91 c #Conflicts: 1556000 | #Constraints: 39625
3014.16/3022.91 c #Conflicts: 1557000 | #Constraints: 40625
3014.16/3022.91 c #Conflicts: 1558000 | #Constraints: 41625
3014.16/3022.91 c #Conflicts: 1559000 | #Constraints: 42625
3014.16/3022.91 c #Conflicts: 1560000 | #Constraints: 43625
3014.16/3022.91 c #Conflicts: 1561000 | #Constraints: 44625
3014.16/3022.91 c #Conflicts: 1562000 | #Constraints: 45625
3014.16/3022.91 c #Conflicts: 1563000 | #Constraints: 46625
3014.16/3022.91 c #Conflicts: 1564000 | #Constraints: 47625
3014.16/3022.91 c #Conflicts: 1565000 | #Constraints: 48625
3014.16/3022.91 c #Conflicts: 1566000 | #Constraints: 49625
3014.16/3022.91 c INPROCESSING
3014.16/3022.91 c GARBAGE COLLECT
3014.16/3022.91 c #Conflicts: 1567000 | #Constraints: 25823
3014.16/3022.91 c #Conflicts: 1568000 | #Constraints: 26823
3014.16/3022.91 c #Conflicts: 1569000 | #Constraints: 27823
3014.16/3022.91 c #Conflicts: 1570000 | #Constraints: 28823
3014.16/3022.91 c #Conflicts: 1571000 | #Constraints: 29823
3014.16/3022.91 c #Conflicts: 1572000 | #Constraints: 30823
3014.16/3022.91 c #Conflicts: 1573000 | #Constraints: 31823
3014.16/3022.91 c #Conflicts: 1574000 | #Constraints: 32823
3014.16/3022.91 c #Conflicts: 1575000 | #Constraints: 33823
3014.16/3022.91 c #Conflicts: 1576000 | #Constraints: 34823
3014.16/3022.91 c #Conflicts: 1577000 | #Constraints: 35823
3014.16/3022.91 c #Conflicts: 1578000 | #Constraints: 36823
3014.16/3022.91 c #Conflicts: 1579000 | #Constraints: 37823
3014.16/3022.91 c #Conflicts: 1580000 | #Constraints: 38823
3014.16/3022.91 c #Conflicts: 1581000 | #Constraints: 39823
3014.16/3022.91 c #Conflicts: 1582000 | #Constraints: 40823
3014.16/3022.91 c #Conflicts: 1583000 | #Constraints: 41823
3014.16/3022.91 c #Conflicts: 1584000 | #Constraints: 42823
3014.16/3022.91 c #Conflicts: 1585000 | #Constraints: 43823
3014.16/3022.91 c #Conflicts: 1586000 | #Constraints: 44823
3014.16/3022.91 c #Conflicts: 1587000 | #Constraints: 45823
3014.16/3022.91 c #Conflicts: 1588000 | #Constraints: 46823
3014.16/3022.91 c #Conflicts: 1589000 | #Constraints: 47823
3014.16/3022.91 c #Conflicts: 1590000 | #Constraints: 48823
3014.16/3022.91 c #Conflicts: 1591000 | #Constraints: 49823
3014.16/3022.91 c INPROCESSING
3014.16/3022.91 c GARBAGE COLLECT
3014.16/3022.91 c #Conflicts: 1592000 | #Constraints: 25825
3014.16/3022.91 c #Conflicts: 1593000 | #Constraints: 26825
3014.16/3022.91 c #Conflicts: 1594000 | #Constraints: 27825
3256.00/3265.45 c #Conflicts: 1595000 | #Constraints: 28825
3256.00/3265.45 c #Conflicts: 1596000 | #Constraints: 29825
3256.00/3265.45 c #Conflicts: 1597000 | #Constraints: 30825
3256.00/3265.45 c #Conflicts: 1598000 | #Constraints: 31825
3256.00/3265.45 c #Conflicts: 1599000 | #Constraints: 32825
3256.00/3265.45 c #Conflicts: 1600000 | #Constraints: 33825
3256.00/3265.45 c #Conflicts: 1601000 | #Constraints: 34825
3256.00/3265.45 c #Conflicts: 1602000 | #Constraints: 35825
3256.00/3265.45 c #Conflicts: 1603000 | #Constraints: 36825
3256.00/3265.45 c #Conflicts: 1604000 | #Constraints: 37825
3256.00/3265.45 c #Conflicts: 1605000 | #Constraints: 38825
3256.00/3265.45 c #Conflicts: 1606000 | #Constraints: 39825
3256.00/3265.45 c #Conflicts: 1607000 | #Constraints: 40825
3256.00/3265.45 c #Conflicts: 1608000 | #Constraints: 41825
3256.00/3265.45 c #Conflicts: 1609000 | #Constraints: 42825
3256.00/3265.45 c #Conflicts: 1610000 | #Constraints: 43825
3256.00/3265.45 c #Conflicts: 1611000 | #Constraints: 44825
3256.00/3265.45 c #Conflicts: 1612000 | #Constraints: 45825
3256.00/3265.45 c #Conflicts: 1613000 | #Constraints: 46825
3256.00/3265.45 c #Conflicts: 1614000 | #Constraints: 47825
3256.00/3265.45 c #Conflicts: 1615000 | #Constraints: 48825
3256.00/3265.45 c #Conflicts: 1616000 | #Constraints: 49825
3256.00/3265.45 c INPROCESSING
3256.00/3265.45 c GARBAGE COLLECT
3256.00/3265.45 c #Conflicts: 1617000 | #Constraints: 25625
3256.00/3265.45 c #Conflicts: 1618000 | #Constraints: 26625
3256.00/3265.45 c #Conflicts: 1619000 | #Constraints: 27625
3256.00/3265.45 c #Conflicts: 1620000 | #Constraints: 28625
3256.00/3265.45 c #Conflicts: 1621000 | #Constraints: 29625
3256.00/3265.45 c #Conflicts: 1622000 | #Constraints: 30625
3256.00/3265.45 c #Conflicts: 1623000 | #Constraints: 31625
3256.00/3265.45 c #Conflicts: 1624000 | #Constraints: 32625
3256.00/3265.45 c #Conflicts: 1625000 | #Constraints: 33625
3256.00/3265.45 c #Conflicts: 1626000 | #Constraints: 34625
3256.00/3265.45 c #Conflicts: 1627000 | #Constraints: 35625
3256.00/3265.45 c #Conflicts: 1628000 | #Constraints: 36625
3256.00/3265.45 c #Conflicts: 1629000 | #Constraints: 37625
3256.00/3265.45 c #Conflicts: 1630000 | #Constraints: 38625
3256.00/3265.45 c #Conflicts: 1631000 | #Constraints: 39625
3256.00/3265.45 c #Conflicts: 1632000 | #Constraints: 40625
3256.00/3265.45 c #Conflicts: 1633000 | #Constraints: 41625
3256.00/3265.45 c #Conflicts: 1634000 | #Constraints: 42625
3256.00/3265.45 c #Conflicts: 1635000 | #Constraints: 43625
3256.00/3265.45 c #Conflicts: 1636000 | #Constraints: 44625
3256.00/3265.45 c #Conflicts: 1637000 | #Constraints: 45625
3256.00/3265.45 c #Conflicts: 1638000 | #Constraints: 46625
3256.00/3265.45 c #Conflicts: 1639000 | #Constraints: 47625
3256.00/3265.45 c #Conflicts: 1640000 | #Constraints: 48625
3256.00/3265.45 c #Conflicts: 1641000 | #Constraints: 49625
3256.00/3265.45 c #Conflicts: 1642000 | #Constraints: 50625
3256.00/3265.45 c INPROCESSING
3256.00/3265.45 c GARBAGE COLLECT
3256.00/3265.45 c #Conflicts: 1643000 | #Constraints: 26225
3256.00/3265.45 c #Conflicts: 1644000 | #Constraints: 27225
3256.00/3265.45 c #Conflicts: 1645000 | #Constraints: 28225
3256.00/3265.45 c #Conflicts: 1646000 | #Constraints: 29225
3256.00/3265.45 c #Conflicts: 1647000 | #Constraints: 30225
3256.00/3265.45 c #Conflicts: 1648000 | #Constraints: 31225
3256.00/3265.45 c #Conflicts: 1649000 | #Constraints: 32225
3256.00/3265.45 c #Conflicts: 1650000 | #Constraints: 33225
3256.00/3265.45 c #Conflicts: 1651000 | #Constraints: 34225
3256.00/3265.45 c #Conflicts: 1652000 | #Constraints: 35225
3256.00/3265.45 c #Conflicts: 1653000 | #Constraints: 36225
3256.00/3265.45 c #Conflicts: 1654000 | #Constraints: 37225
3256.00/3265.45 c #Conflicts: 1655000 | #Constraints: 38225
3256.00/3265.45 c #Conflicts: 1656000 | #Constraints: 39225
3256.00/3265.45 c #Conflicts: 1657000 | #Constraints: 40225
3256.00/3265.45 c #Conflicts: 1658000 | #Constraints: 41225
3256.00/3265.45 c #Conflicts: 1659000 | #Constraints: 42225
3256.00/3265.45 c #Conflicts: 1660000 | #Constraints: 43225
3256.00/3265.45 c #Conflicts: 1661000 | #Constraints: 44225
3256.00/3265.45 c #Conflicts: 1662000 | #Constraints: 45225
3256.00/3265.45 c #Conflicts: 1663000 | #Constraints: 46225
3256.00/3265.45 c #Conflicts: 1664000 | #Constraints: 47225
3256.00/3265.45 c #Conflicts: 1665000 | #Constraints: 48225
3256.00/3265.45 c #Conflicts: 1666000 | #Constraints: 49225
3256.00/3265.45 c #Conflicts: 1667000 | #Constraints: 50225
3256.00/3265.45 c #Conflicts: 1668000 | #Constraints: 51225
3256.00/3265.45 c INPROCESSING
3256.00/3265.45 c GARBAGE COLLECT
3256.00/3265.45 c #Conflicts: 1669000 | #Constraints: 26624
3256.00/3265.45 c #Conflicts: 1670000 | #Constraints: 27624
3256.00/3265.45 c #Conflicts: 1671000 | #Constraints: 28624
3509.33/3519.43 c #Conflicts: 1672000 | #Constraints: 29624
3509.33/3519.43 c #Conflicts: 1673000 | #Constraints: 30624
3509.33/3519.43 c #Conflicts: 1674000 | #Constraints: 31624
3509.33/3519.43 c #Conflicts: 1675000 | #Constraints: 32624
3509.33/3519.43 c #Conflicts: 1676000 | #Constraints: 33624
3509.33/3519.43 c #Conflicts: 1677000 | #Constraints: 34624
3509.33/3519.43 c #Conflicts: 1678000 | #Constraints: 35624
3509.33/3519.43 c #Conflicts: 1679000 | #Constraints: 36624
3509.33/3519.43 c #Conflicts: 1680000 | #Constraints: 37624
3509.33/3519.43 c #Conflicts: 1681000 | #Constraints: 38624
3509.33/3519.43 c #Conflicts: 1682000 | #Constraints: 39624
3509.33/3519.43 c #Conflicts: 1683000 | #Constraints: 40624
3509.33/3519.43 c #Conflicts: 1684000 | #Constraints: 41624
3509.33/3519.43 c #Conflicts: 1685000 | #Constraints: 42624
3509.33/3519.43 c #Conflicts: 1686000 | #Constraints: 43624
3509.33/3519.43 c #Conflicts: 1687000 | #Constraints: 44624
3509.33/3519.43 c #Conflicts: 1688000 | #Constraints: 45624
3509.33/3519.43 c #Conflicts: 1689000 | #Constraints: 46624
3509.33/3519.43 c #Conflicts: 1690000 | #Constraints: 47624
3509.33/3519.43 c #Conflicts: 1691000 | #Constraints: 48624
3509.33/3519.43 c #Conflicts: 1692000 | #Constraints: 49624
3509.33/3519.43 c #Conflicts: 1693000 | #Constraints: 50624
3509.33/3519.43 c #Conflicts: 1694000 | #Constraints: 51624
3509.33/3519.43 c INPROCESSING
3509.33/3519.43 c GARBAGE COLLECT
3509.33/3519.43 c #Conflicts: 1695000 | #Constraints: 26822
3509.33/3519.43 c #Conflicts: 1696000 | #Constraints: 27822
3509.33/3519.43 c #Conflicts: 1697000 | #Constraints: 28822
3509.33/3519.43 c #Conflicts: 1698000 | #Constraints: 29822
3509.33/3519.43 c #Conflicts: 1699000 | #Constraints: 30822
3509.33/3519.43 c #Conflicts: 1700000 | #Constraints: 31822
3509.33/3519.43 c #Conflicts: 1701000 | #Constraints: 32822
3509.33/3519.43 c #Conflicts: 1702000 | #Constraints: 33822
3509.33/3519.43 c #Conflicts: 1703000 | #Constraints: 34822
3509.33/3519.43 c #Conflicts: 1704000 | #Constraints: 35822
3509.33/3519.43 c #Conflicts: 1705000 | #Constraints: 36822
3509.33/3519.43 c #Conflicts: 1706000 | #Constraints: 37822
3509.33/3519.43 c #Conflicts: 1707000 | #Constraints: 38822
3509.33/3519.43 c #Conflicts: 1708000 | #Constraints: 39822
3509.33/3519.43 c #Conflicts: 1709000 | #Constraints: 40822
3509.33/3519.43 c #Conflicts: 1710000 | #Constraints: 41822
3509.33/3519.43 c #Conflicts: 1711000 | #Constraints: 42822
3509.33/3519.43 c #Conflicts: 1712000 | #Constraints: 43822
3509.33/3519.43 c #Conflicts: 1713000 | #Constraints: 44822
3509.33/3519.43 c #Conflicts: 1714000 | #Constraints: 45822
3509.33/3519.43 c #Conflicts: 1715000 | #Constraints: 46822
3509.33/3519.43 c #Conflicts: 1716000 | #Constraints: 47822
3509.33/3519.43 c #Conflicts: 1717000 | #Constraints: 48822
3509.33/3519.43 c #Conflicts: 1718000 | #Constraints: 49822
3509.33/3519.43 c #Conflicts: 1719000 | #Constraints: 50822
3509.33/3519.43 c #Conflicts: 1720000 | #Constraints: 51822
3509.33/3519.43 c INPROCESSING
3509.33/3519.43 c GARBAGE COLLECT
3509.33/3519.43 c #Conflicts: 1721000 | #Constraints: 26825
3509.33/3519.43 c #Conflicts: 1722000 | #Constraints: 27825
3509.33/3519.43 c #Conflicts: 1723000 | #Constraints: 28825
3509.33/3519.43 c #Conflicts: 1724000 | #Constraints: 29825
3509.33/3519.43 c #Conflicts: 1725000 | #Constraints: 30825
3509.33/3519.43 c #Conflicts: 1726000 | #Constraints: 31825
3509.33/3519.43 c #Conflicts: 1727000 | #Constraints: 32825
3509.33/3519.43 c #Conflicts: 1728000 | #Constraints: 33825
3509.33/3519.43 c #Conflicts: 1729000 | #Constraints: 34825
3509.33/3519.43 c #Conflicts: 1730000 | #Constraints: 35825
3509.33/3519.43 c #Conflicts: 1731000 | #Constraints: 36825
3509.33/3519.43 c #Conflicts: 1732000 | #Constraints: 37825
3509.33/3519.43 c #Conflicts: 1733000 | #Constraints: 38825
3509.33/3519.43 c #Conflicts: 1734000 | #Constraints: 39825
3509.33/3519.43 c #Conflicts: 1735000 | #Constraints: 40825
3509.33/3519.43 c #Conflicts: 1736000 | #Constraints: 41825
3509.33/3519.43 c #Conflicts: 1737000 | #Constraints: 42825
3509.33/3519.43 c #Conflicts: 1738000 | #Constraints: 43825
3509.33/3519.43 c #Conflicts: 1739000 | #Constraints: 44825
3509.33/3519.43 c #Conflicts: 1740000 | #Constraints: 45825
3509.33/3519.43 c #Conflicts: 1741000 | #Constraints: 46825
3509.33/3519.43 c #Conflicts: 1742000 | #Constraints: 47825
3509.33/3519.43 c #Conflicts: 1743000 | #Constraints: 48825
3509.33/3519.43 c #Conflicts: 1744000 | #Constraints: 49825
3509.33/3519.43 c #Conflicts: 1745000 | #Constraints: 50825
3509.33/3519.43 c #Conflicts: 1746000 | #Constraints: 51825
3509.33/3519.43 c INPROCESSING
3509.33/3519.43 c GARBAGE COLLECT
3509.33/3519.43 c #Conflicts: 1747000 | #Constraints: 26624
3509.33/3519.43 c #Conflicts: 1748000 | #Constraints: 27624
3600.07/3610.40 c #Conflicts: 1749000 | #Constraints: 28624
3600.07/3610.40 c #Conflicts: 1750000 | #Constraints: 29624
3600.07/3610.40 c #Conflicts: 1751000 | #Constraints: 30624
3600.07/3610.40 c #Conflicts: 1752000 | #Constraints: 31624
3600.07/3610.40 c #Conflicts: 1753000 | #Constraints: 32624
3600.07/3610.40 c #Conflicts: 1754000 | #Constraints: 33624
3600.07/3610.40 c #Conflicts: 1755000 | #Constraints: 34624
3600.07/3610.40 c #Conflicts: 1756000 | #Constraints: 35624
3600.07/3610.40 c #Conflicts: 1757000 | #Constraints: 36624
3600.07/3610.40 c #Conflicts: 1758000 | #Constraints: 37624
3600.07/3610.40 c #Conflicts: 1759000 | #Constraints: 38624
3600.07/3610.40 c #Conflicts: 1760000 | #Constraints: 39624
3600.07/3610.40 c #Conflicts: 1761000 | #Constraints: 40624
3600.07/3610.40 c #Conflicts: 1762000 | #Constraints: 41624
3600.07/3610.40 c #Conflicts: 1763000 | #Constraints: 42624
3600.07/3610.40 c #Conflicts: 1764000 | #Constraints: 43624
3600.07/3610.40 c #Conflicts: 1765000 | #Constraints: 44624
3600.07/3610.40 c #Conflicts: 1766000 | #Constraints: 45624
3600.07/3610.40 c #Conflicts: 1767000 | #Constraints: 46624
3600.07/3610.40 c #Conflicts: 1768000 | #Constraints: 47624
3600.07/3610.40 c #Conflicts: 1769000 | #Constraints: 48624
3600.07/3610.40 c #Conflicts: 1770000 | #Constraints: 49624
3600.07/3610.40 c #Conflicts: 1771000 | #Constraints: 50624
3600.07/3610.40 c #Conflicts: 1772000 | #Constraints: 51624
3600.07/3610.40 c #Conflicts: 1773000 | #Constraints: 52624
3600.07/3610.40 c INPROCESSING
3600.07/3610.40 c GARBAGE COLLECT
3600.07/3610.40 c #Conflicts: 1774000 | #Constraints: 27222
3600.07/3610.40 c #Conflicts: 1775000 | #Constraints: 28222
3600.07/3610.40 c #Conflicts: 1776000 | #Constraints: 29222
3600.07/3610.40 c #Conflicts: 1777000 | #Constraints: 30222
3600.07/3610.40 c Program interrupted by user.
3600.07/3610.40 c cpu time 3592.83 s
3600.07/3610.40 c deterministic time 581215330700 5.81e+11
3600.07/3610.40 c optimization time 9.2681 s
3600.07/3610.40 c total solve time 3583.56 s
3600.07/3610.40 c core-guided solve time 3583.56 s
3600.07/3610.40 c propagation time 3418.47 s
3600.07/3610.40 c conflict analysis time 161.687 s
3600.07/3610.40 c propagations 17640177
3600.07/3610.40 c resolve steps 7754518
3600.07/3610.40 c decisions 3276398
3600.07/3610.40 c conflicts 1777058
3600.07/3610.40 c restarts 3449
3600.07/3610.40 c inprocessing phases 124
3600.07/3610.40 c input clauses 0
3600.07/3610.40 c input cardinalities 0
3600.07/3610.40 c input general constraints 16
3600.07/3610.40 c input average constraint length 59.25
3600.07/3610.40 c input average constraint degree 1238.62
3600.07/3610.40 c learned clauses 780917
3600.07/3610.40 c learned cardinalities 0
3600.07/3610.40 c learned general constraints 996141
3600.07/3610.40 c learned average constraint length 46.30
3600.07/3610.40 c learned average constraint degree 23341.06
3600.07/3610.40 c watched constraints 988136
3600.07/3610.40 c counting constraints 8021
3600.07/3610.40 c gcd simplifications 699337
3600.07/3610.40 c detected cardinalities 0
3600.07/3610.40 c weakened non-implied lits 13265026
3600.07/3610.40 c weakened non-implying lits 1761530
3600.07/3610.40 c original variables 120
3600.07/3610.40 c clausal propagations 269016
3600.07/3610.40 c cardinality propagations 0
3600.07/3610.40 c watched propagations 8900321
3600.07/3610.40 c counting propagations 7213785
3600.07/3610.40 c watch lookups 41517449020
3600.07/3610.40 c watch backjump lookups 27536417326
3600.07/3610.40 c watch checks 357967085206
3600.07/3610.40 c propagation checks 153665599135
3600.07/3610.40 c constraint additions 485169912
3600.07/3610.40 c trail pops 22693525
3600.07/3610.40 c formula constraints 10
3600.07/3610.40 c learned constraints 1777058
3600.07/3610.40 c bound constraints 6
3600.07/3610.40 c core-guided constraints 0
3600.07/3610.40 c encountered formula constraints 3409961
3600.07/3610.40 c encountered learned constraints 6121613
3600.07/3610.40 c encountered bound constraints 2
3600.07/3610.40 c encountered core-guided constraints 0
3600.07/3610.40 c LP total time 0 s
3600.07/3610.40 c LP solve time 0 s
3600.07/3610.40 c LP constraints added 0
3600.07/3610.40 c LP constraints removed 0
3600.07/3610.40 c LP pivots internal 0
3600.07/3610.40 c LP pivots root 0
3600.07/3610.40 c LP calls 0
3600.07/3610.40 c LP optimalities 0
3600.07/3610.40 c LP no pivot count 0
3600.07/3610.40 c LP infeasibilities 0
3600.07/3610.40 c LP valid Farkas constraints 0
3600.07/3610.40 c LP learned Farkas constraints 0
3600.07/3610.40 c LP basis resets 0
3600.07/3610.40 c LP cycling count 0
3600.07/3610.40 c LP singular count 0
3600.07/3610.40 c LP no primal count 0
3600.07/3610.40 c LP no farkas count 0
3600.07/3610.40 c LP other issue count 0
3600.07/3610.40 c LP Gomory cuts 0
3600.07/3610.40 c LP learned cuts 0
3600.07/3610.40 c LP deleted cuts 0
3600.07/3610.40 c LP encountered Gomory constraints 0
3600.07/3610.40 c LP encountered Farkas constraints 0
3600.07/3610.40 c LP encountered learned Farkas constraints 0
3600.07/3610.40 c CG auxiliary variables introduced 0
3600.07/3610.40 c CG solutions found 6
3600.07/3610.40 c CG cores constructed 0
3600.07/3610.40 c CG core cardinality constraints returned 0
3600.07/3610.40 c CG unit cores 0
3600.07/3610.40 c CG single cores 0
3600.07/3610.40 c CG blocks removed during cardinality reduction 0
3600.07/3610.40 c CG first core best 0
3600.07/3610.40 c CG decision core best 0
3600.07/3610.40 c CG core reduction tie 0
3600.07/3610.40 c CG core degree average 0.00
3600.07/3610.40 c CG core slack average 0.00
3600.07/3610.40 c CG exhausted 0
3600.07/3610.40 c CG exhaust time 0 s
3600.07/3610.40 c CG trimmed 0
3600.07/3610.40 c CG trim time 0 s
3600.07/3610.40 c CG minimized 0
3600.07/3610.40 c CG minimize time 0 s
3600.07/3610.40 c CG am1 prop time 0.000453 s
3600.07/3610.40 c CG # am1s reformulated 0
3600.07/3610.40 c CG lower bound derived from am1s 0
3600.07/3610.40 c CG # clausal cores 0
3600.07/3610.40 c CG # cardinality cores 0
3600.07/3610.40 c CG # pb cores 0
3600.07/3610.40 c CG # pb reforms 0
3600.07/3610.40 c CG # cores discarded because of pb reform 0
3600.07/3610.40 d LOWERBOUND 0
3600.07/3610.40 d NCORES 0
3600.07/3610.40 d NPBCORES 0
3600.07/3610.40 d NPBREFORM 0
3600.07/3610.40 d NTRIMMED 0
3600.07/3610.40 d NEXHAUSTED 0
3600.07/3610.40 d NAM1S 0
3600.07/3610.40 d AM1LB 0
3600.07/3610.40 o 6
3600.07/3610.40 s SATISFIABLE
3600.07/3610.40 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 x82 x83 -x84 -x85 -x86 x87 x88 -x89 -x90 x91 x92 x93 -x94 -x95 x96 x97 -x98 x99 -x100 x101 -x102 -x103 x104 x105 -x106 x107 -x108 x109 -x110 -x111 x112 x113 -x114 x115 -x116 -x117 x118 -x119 -x120
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: 63837 MiB (62966 MiB free)
memory of node 1: 64465 MiB (63651 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490514-1751367510/watcher-4490514-1751367510 -o /tmp/evaluation-result-4490514-1751367510/solver-4490514-1751367510 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751360282-61295 --watchdog 3760 pb-oll-rs HOME/instance-4490514-1751367510.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=62343, runsolver pid=62340
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 4.31 4.28 4.17 6/248 62344
/proc/meminfo: memFree=129657392/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=20084 memory=6144 CPUtime=0.09 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 355 0 0 0 8 1 0 0 20 0 1 0 52430093 20566016 1536 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 5021 1536 1376 243 0 1270 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20084 KiB
Current children cumulated memory: 6144 KiB
[startup+0.212502 s]*
/proc/loadavg: 4.31 4.28 4.17 5/248 62344
/proc/meminfo: memFree=129657392/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=20216 memory=6400 CPUtime=0.21 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 431 0 0 0 19 2 0 0 20 0 1 0 52430093 20701184 1600 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 5054 1600 1376 243 0 1303 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 20216 KiB
Current children cumulated memory: 6400 KiB
[startup+0.31208 s]*
/proc/loadavg: 4.31 4.28 4.17 6/248 62344
/proc/meminfo: memFree=129657392/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=20216 memory=6656 CPUtime=0.3 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 488 0 0 0 28 2 0 0 20 0 1 0 52430093 20701184 1664 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 5054 1664 1376 243 0 1303 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 20216 KiB
Current children cumulated memory: 6656 KiB
[startup+0.700211 s]
/proc/loadavg: 4.31 4.28 4.17 6/248 62344
/proc/meminfo: memFree=129657392/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=20348 memory=7040 CPUtime=0.68 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 576 0 0 0 65 3 0 0 20 0 1 0 52430093 20836352 1760 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 5087 1760 1376 243 0 1336 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 20348 KiB
Current children cumulated memory: 7040 KiB
[startup+1.50023 s]
/proc/loadavg: 4.31 4.28 4.17 4/247 62344
/proc/meminfo: memFree=129657664/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=20748 memory=9840 CPUtime=1.48 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 766 0 0 0 143 5 0 0 20 0 1 0 52430093 21245952 2460 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 5187 2460 1376 243 0 1436 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 20748 KiB
Current children cumulated memory: 9840 KiB
[startup+3.11167 s]
/proc/loadavg: 4.31 4.28 4.17 5/250 62406
/proc/meminfo: memFree=129675848/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=21324 memory=10352 CPUtime=3.08 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 907 0 0 0 302 6 0 0 20 0 1 0 52430093 21835776 2588 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 5331 2588 1376 243 0 1580 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 21324 KiB
Current children cumulated memory: 10352 KiB
[startup+6.3002 s]
/proc/loadavg: 4.28 4.28 4.16 5/250 62406
/proc/meminfo: memFree=129676556/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=21780 memory=10864 CPUtime=6.26 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 1018 0 0 0 617 9 0 0 20 0 1 0 52430093 22302720 2716 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 5445 2716 1376 243 0 1694 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 21780 KiB
Current children cumulated memory: 10864 KiB
[startup+12.7002 s]
/proc/loadavg: 4.26 4.27 4.16 5/250 62406
/proc/meminfo: memFree=129673148/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=22232 memory=11248 CPUtime=12.65 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 1122 0 0 0 1250 15 0 0 20 0 1 0 52430093 22765568 2812 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 5558 2812 1376 243 0 1807 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 22232 KiB
Current children cumulated memory: 11248 KiB
[startup+25.5002 s]
/proc/loadavg: 4.20 4.26 4.16 5/250 62406
/proc/meminfo: memFree=129669336/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=22744 memory=11888 CPUtime=25.41 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 1271 0 0 0 2515 26 0 0 20 0 1 0 52430093 23289856 2972 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 5686 2972 1376 243 0 1935 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 22744 KiB
Current children cumulated memory: 11888 KiB
[startup+51.1123 s]
/proc/loadavg: 4.19 4.25 4.16 5/250 62406
/proc/meminfo: memFree=129667740/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=23944 memory=13808 CPUtime=50.96 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 1787 0 0 0 5057 39 0 0 20 0 1 0 52430093 24518656 3452 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 5986 3452 1376 243 0 2235 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 23944 KiB
Current children cumulated memory: 13808 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.24 4.16 5/249 62453
/proc/meminfo: memFree=129662952/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=27432 memory=15728 CPUtime=102 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 2286 0 0 0 10133 67 0 0 20 0 1 0 52430093 28090368 3932 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 6858 3932 1376 243 0 3107 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 15728 KiB
[startup+162.3 s]
/proc/loadavg: 4.75 4.40 4.22 5/249 62466
/proc/meminfo: memFree=129659648/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=28268 memory=17136 CPUtime=161.82 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 2694 0 0 0 16088 94 0 0 20 0 1 0 52430093 28946432 4284 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 7067 4284 1376 243 0 3316 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 28268 KiB
Current children cumulated memory: 17136 KiB
[startup+222.3 s]
/proc/loadavg: 4.37 4.35 4.22 5/250 62471
/proc/meminfo: memFree=129637992/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=29024 memory=18780 CPUtime=221.66 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 3181 0 0 0 22051 115 0 0 20 0 1 0 52430093 29720576 4695 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 7256 4695 1376 243 0 3505 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 29024 KiB
Current children cumulated memory: 18780 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.30 4.21 5/250 62473
/proc/meminfo: memFree=129627020/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=33876 memory=21872 CPUtime=281.5 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 3609 0 0 0 28013 137 0 0 20 0 1 0 52430093 34689024 5468 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 8469 5468 1376 243 0 4718 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 33876 KiB
Current children cumulated memory: 21872 KiB
[startup+342.3 s]
/proc/loadavg: 4.75 4.43 4.26 5/250 62475
/proc/meminfo: memFree=129628044/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=35188 memory=22640 CPUtime=341.33 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 3875 0 0 0 33972 161 0 0 20 0 1 0 52430093 36032512 5660 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 8797 5660 1376 243 0 5046 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 35188 KiB
Current children cumulated memory: 22640 KiB
[startup+402.3 s]
/proc/loadavg: 4.44 4.41 4.26 5/250 62481
/proc/meminfo: memFree=129616236/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=35572 memory=23536 CPUtime=401.16 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 3945 0 0 0 39938 178 0 0 20 0 1 0 52430093 36425728 5884 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 8893 5884 1376 243 0 5142 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 35572 KiB
Current children cumulated memory: 23536 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.33 4.25 5/250 62483
/proc/meminfo: memFree=129615440/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=35572 memory=23664 CPUtime=460.99 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 3966 0 0 0 45905 194 0 0 20 0 1 0 52430093 36425728 5916 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 8893 5916 1376 243 0 5142 0
Current children cumulated CPU time: 460.99 s
################
# More data... #
################
Current children cumulated memory: 38688 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/249 62596
/proc/meminfo: memFree=129612260/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=49996 memory=38688 CPUtime=2853.98 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 7495 0 0 0 284772 626 0 0 20 0 1 0 52430093 51195904 9672 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 12499 9672 1376 243 0 8748 0
Current children cumulated CPU time: 2853.98 s
Current children cumulated vsize: 49996 KiB
Current children cumulated memory: 38688 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/249 62598
/proc/meminfo: memFree=129610284/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=49996 memory=38688 CPUtime=2913.83 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 7495 0 0 0 290749 634 0 0 20 0 1 0 52430093 51195904 9672 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 12499 9672 1376 243 0 8748 0
Current children cumulated CPU time: 2913.83 s
Current children cumulated vsize: 49996 KiB
Current children cumulated memory: 38688 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/249 62600
/proc/meminfo: memFree=129610300/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=49996 memory=38688 CPUtime=2973.66 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 7495 0 0 0 296725 641 0 0 20 0 1 0 52430093 51195904 9672 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 12499 9672 1376 243 0 8748 0
Current children cumulated CPU time: 2973.66 s
Current children cumulated vsize: 49996 KiB
Current children cumulated memory: 38688 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/249 62602
/proc/meminfo: memFree=129608428/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=50252 memory=38944 CPUtime=3033.51 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 7562 0 0 0 302701 650 0 0 20 0 1 0 52430093 51458048 9736 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 12563 9736 1376 243 0 8812 0
Current children cumulated CPU time: 3033.51 s
Current children cumulated vsize: 50252 KiB
Current children cumulated memory: 38944 KiB
[startup+3102.3 s]
/proc/loadavg: 4.53 4.21 4.13 5/249 62604
/proc/meminfo: memFree=129608632/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=50252 memory=38944 CPUtime=3093.35 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 7563 0 0 0 308678 657 0 0 20 0 1 0 52430093 51458048 9736 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 12563 9736 1376 243 0 8812 0
Current children cumulated CPU time: 3093.35 s
Current children cumulated vsize: 50252 KiB
Current children cumulated memory: 38944 KiB
[startup+3162.3 s]
/proc/loadavg: 4.57 4.29 4.16 5/249 62606
/proc/meminfo: memFree=129607408/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=50252 memory=38944 CPUtime=3153.18 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 7563 0 0 0 314655 663 0 0 20 0 1 0 52430093 51458048 9736 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 12563 9736 1376 243 0 8812 0
Current children cumulated CPU time: 3153.18 s
Current children cumulated vsize: 50252 KiB
Current children cumulated memory: 38944 KiB
[startup+3222.3 s]
/proc/loadavg: 4.25 4.25 4.15 5/249 62610
/proc/meminfo: memFree=129601848/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=50252 memory=38944 CPUtime=3213.02 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 7563 0 0 0 320630 672 0 0 20 0 1 0 52430093 51458048 9736 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 12563 9736 1376 243 0 8812 0
Current children cumulated CPU time: 3213.02 s
Current children cumulated vsize: 50252 KiB
Current children cumulated memory: 38944 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.23 4.15 5/248 62612
/proc/meminfo: memFree=129602368/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=50252 memory=38944 CPUtime=3272.86 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 7564 0 0 0 326605 681 0 0 20 0 1 0 52430093 51458048 9736 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 12563 9736 1376 243 0 8812 0
Current children cumulated CPU time: 3272.86 s
Current children cumulated vsize: 50252 KiB
Current children cumulated memory: 38944 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.22 4.15 5/248 62614
/proc/meminfo: memFree=129604000/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=50252 memory=38944 CPUtime=3332.7 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 7564 0 0 0 332581 689 0 0 20 0 1 0 52430093 51458048 9736 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 12563 9736 1376 243 0 8812 0
Current children cumulated CPU time: 3332.7 s
Current children cumulated vsize: 50252 KiB
Current children cumulated memory: 38944 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.21 4.15 5/249 62621
/proc/meminfo: memFree=129601608/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=50252 memory=38944 CPUtime=3392.54 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 7564 0 0 0 338556 698 0 0 20 0 1 0 52430093 51458048 9736 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 12563 9736 1376 243 0 8812 0
Current children cumulated CPU time: 3392.54 s
Current children cumulated vsize: 50252 KiB
Current children cumulated memory: 38944 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.18 4.15 5/249 62623
/proc/meminfo: memFree=129602092/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=50252 memory=38944 CPUtime=3452.38 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 7564 0 0 0 344532 706 0 0 20 0 1 0 52430093 51458048 9736 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 12563 9736 1376 243 0 8812 0
Current children cumulated CPU time: 3452.38 s
Current children cumulated vsize: 50252 KiB
Current children cumulated memory: 38944 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.18 4.15 5/249 62625
/proc/meminfo: memFree=129600852/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=50508 memory=39200 CPUtime=3512.22 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 7635 0 0 0 350509 713 0 0 20 0 1 0 52430093 51720192 9800 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 12627 9800 1376 243 0 8876 0
Current children cumulated CPU time: 3512.22 s
Current children cumulated vsize: 50508 KiB
Current children cumulated memory: 39200 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.14 5/249 62627
/proc/meminfo: memFree=129599860/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=50508 memory=39200 CPUtime=3572.06 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 7635 0 0 0 356484 722 0 0 20 0 1 0 52430093 51720192 9800 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 12627 9800 1376 243 0 8876 0
Current children cumulated CPU time: 3572.06 s
Current children cumulated vsize: 50508 KiB
Current children cumulated memory: 39200 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.15 4.16 4.14 5/249 62627
/proc/meminfo: memFree=129599860/131382112 swapFree=33010684/33010684
[pid=62343] ppid=62340 vsize=50508 memory=39200 CPUtime=3600.07 cores=0,2
/proc/62343/stat : 62343 (pb-oll-rs) R 62340 62343 61285 0 -1 4194304 7635 0 0 0 359282 725 0 0 20 0 1 0 52430093 51720192 9800 18446744073709551615 4218880 5211445 140733705608240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 25321472 140733705611676 140733705611753 140733705611753 140733705617355 0
/proc/62343/statm: 12627 9800 1376 243 0 8876 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 50508 KiB
Current children cumulated memory: 39200 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 62343 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.83 s, system=7.26086 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.4
CPU time (s): 3600.09
CPU user time (s): 3592.83
CPU system time (s): 7.26086
CPU usage (%): 99.7144
Max. virtual memory (cumulated for all children) (KiB): 50508
Max. memory (cumulated for all children) (KiB): 39200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.83
system time used= 7.26086
maximum resident set size= 39584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7650
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93
involuntary context switches= 7870
# summary of solver processes directly reported to runsolver:
# pid: 62343
# total CPU time (s): 3600.09
# total CPU user time (s): 3592.83
# total CPU system time (s): 7.26086
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7625 second user time and 33.3852 second system time
The end
Begin job on nodeC007 at 2025-07-01 12:58:30
IDJOB=4490514
IDBENCH=147589
IDSOLVER=3345
FILE ID=nodeC007/4490514-1751367510
RUNJOBID= nodeC007-1751360282-61295
SLURM_JOB_ID= 9598160
Free space on /tmp= 432976 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_4.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490514-1751367510/watcher-4490514-1751367510 -o /tmp/evaluation-result-4490514-1751367510/solver-4490514-1751367510 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751360282-61295 --watchdog 3760 pb-oll-rs HOME/instance-4490514-1751367510.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8ec3b633bd42b6cf315d15d8b6de5e8f
RANDOM SEED=959876198
nodeC007 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 : 0xb00001f
cpu MHz : 3491.837
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 3660.769
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1196.613
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1198.004
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.295
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1695.426
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 2394.538
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.375
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129657056 kB
MemAvailable: 129895872 kB
Buffers: 3280 kB
Cached: 1045316 kB
SwapCached: 0 kB
Active: 354340 kB
Inactive: 798684 kB
Active(anon): 122388 kB
Inactive(anon): 0 kB
Active(file): 231952 kB
Inactive(file): 798684 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2040 kB
Writeback: 0 kB
AnonPages: 106748 kB
Mapped: 104512 kB
Shmem: 17960 kB
KReclaimable: 95612 kB
Slab: 179092 kB
SReclaimable: 95612 kB
SUnreclaim: 83480 kB
KernelStack: 4000 kB
PageTables: 3268 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 411848 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 36864 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC007 at 2025-07-01 13:58:40