0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 774 #constraints 1024
0.00/0.00 c SMALL=int, LARGE=long long
21.54/21.63 c bounds - >= 3 @ 0.004674
21.54/21.63 c #Conflicts: 1000 | #Constraints: 2023
21.54/21.63 c #Conflicts: 2000 | #Constraints: 3023
21.54/21.63 c INPROCESSING
21.54/21.63 c GARBAGE COLLECT
21.54/21.63 c #Conflicts: 3000 | #Constraints: 2259
21.54/21.63 c #Conflicts: 4000 | #Constraints: 3259
21.54/21.63 c INPROCESSING
21.54/21.63 c GARBAGE COLLECT
21.54/21.63 c #Conflicts: 5000 | #Constraints: 2665
21.54/21.63 c #Conflicts: 6000 | #Constraints: 3665
21.54/21.63 c INPROCESSING
21.54/21.63 c GARBAGE COLLECT
21.54/21.63 c #Conflicts: 7000 | #Constraints: 2668
21.54/21.63 c #Conflicts: 8000 | #Constraints: 3668
21.54/21.63 c #Conflicts: 9000 | #Constraints: 4668
21.54/21.63 c INPROCESSING
21.54/21.63 c GARBAGE COLLECT
21.54/21.63 c #Conflicts: 10000 | #Constraints: 3366
21.54/21.63 c #Conflicts: 11000 | #Constraints: 4366
21.54/21.63 c #Conflicts: 12000 | #Constraints: 5366
21.54/21.63 c INPROCESSING
21.54/21.63 c GARBAGE COLLECT
21.54/21.63 c #Conflicts: 13000 | #Constraints: 3813
21.54/21.63 c #Conflicts: 14000 | #Constraints: 4813
21.54/21.63 c #Conflicts: 15000 | #Constraints: 5813
21.54/21.63 c INPROCESSING
21.54/21.63 c GARBAGE COLLECT
21.54/21.63 c #Conflicts: 16000 | #Constraints: 4044
21.54/21.63 c #Conflicts: 17000 | #Constraints: 5044
21.54/21.63 c #Conflicts: 18000 | #Constraints: 6044
21.54/21.63 c INPROCESSING
21.54/21.63 c GARBAGE COLLECT
21.54/21.63 c #Conflicts: 19000 | #Constraints: 4059
21.54/21.63 c #Conflicts: 20000 | #Constraints: 5059
21.54/21.63 c #Conflicts: 21000 | #Constraints: 6059
21.54/21.63 c INPROCESSING
21.54/21.63 c GARBAGE COLLECT
21.54/21.63 c #Conflicts: 22000 | #Constraints: 3863
21.54/21.63 c #Conflicts: 23000 | #Constraints: 4863
21.54/21.63 c #Conflicts: 24000 | #Constraints: 5863
21.54/21.63 c #Conflicts: 25000 | #Constraints: 6863
21.54/21.63 c INPROCESSING
21.54/21.63 c GARBAGE COLLECT
21.54/21.63 c #Conflicts: 26000 | #Constraints: 4467
21.54/21.63 c #Conflicts: 27000 | #Constraints: 5467
21.54/21.63 c #Conflicts: 28000 | #Constraints: 6467
21.54/21.63 c #Conflicts: 29000 | #Constraints: 7467
21.54/21.63 c INPROCESSING
21.54/21.63 c GARBAGE COLLECT
21.54/21.63 c #Conflicts: 30000 | #Constraints: 4866
21.54/21.63 c #Conflicts: 31000 | #Constraints: 5866
21.54/21.63 c #Conflicts: 32000 | #Constraints: 6866
21.54/21.63 c #Conflicts: 33000 | #Constraints: 7866
21.54/21.63 c INPROCESSING
21.54/21.63 c GARBAGE COLLECT
21.54/21.63 c #Conflicts: 34000 | #Constraints: 5070
21.54/21.63 c #Conflicts: 35000 | #Constraints: 6070
21.54/21.63 c #Conflicts: 36000 | #Constraints: 7070
21.54/21.63 c #Conflicts: 37000 | #Constraints: 8070
21.54/21.63 c INPROCESSING
21.54/21.63 c GARBAGE COLLECT
21.54/21.63 c #Conflicts: 38000 | #Constraints: 5078
21.54/21.63 c #Conflicts: 39000 | #Constraints: 6078
21.54/21.63 c #Conflicts: 40000 | #Constraints: 7078
21.54/21.63 c #Conflicts: 41000 | #Constraints: 8078
21.54/21.63 c INPROCESSING
21.54/21.63 c GARBAGE COLLECT
21.54/21.63 c #Conflicts: 42000 | #Constraints: 4878
21.54/21.63 c #Conflicts: 43000 | #Constraints: 5878
21.54/21.63 c #Conflicts: 44000 | #Constraints: 6878
21.54/21.63 c #Conflicts: 45000 | #Constraints: 7878
21.54/21.63 c #Conflicts: 46000 | #Constraints: 8878
21.54/21.63 c INPROCESSING
21.54/21.63 c GARBAGE COLLECT
21.54/21.63 c #Conflicts: 47000 | #Constraints: 5470
21.54/21.63 c #Conflicts: 48000 | #Constraints: 6470
21.54/21.63 c #Conflicts: 49000 | #Constraints: 7470
21.54/21.63 c #Conflicts: 50000 | #Constraints: 8470
21.54/21.63 c #Conflicts: 51000 | #Constraints: 9470
21.54/21.63 c INPROCESSING
21.54/21.63 c GARBAGE COLLECT
21.54/21.63 c #Conflicts: 52000 | #Constraints: 5871
21.54/21.63 c #Conflicts: 53000 | #Constraints: 6871
21.54/21.63 c #Conflicts: 54000 | #Constraints: 7871
21.54/21.63 c #Conflicts: 55000 | #Constraints: 8871
21.54/21.63 c #Conflicts: 56000 | #Constraints: 9871
21.54/21.63 c INPROCESSING
21.54/21.63 c GARBAGE COLLECT
21.54/21.63 c #Conflicts: 57000 | #Constraints: 6072
21.54/21.63 c #Conflicts: 58000 | #Constraints: 7072
21.54/21.63 c #Conflicts: 59000 | #Constraints: 8072
21.54/21.63 c #Conflicts: 60000 | #Constraints: 9072
21.54/21.63 c #Conflicts: 61000 | #Constraints: 10072
21.54/21.63 c INPROCESSING
21.54/21.63 c GARBAGE COLLECT
21.54/21.63 c #Conflicts: 62000 | #Constraints: 6070
21.54/21.63 c #Conflicts: 63000 | #Constraints: 7070
21.54/21.63 c #Conflicts: 64000 | #Constraints: 8070
21.54/21.63 c #Conflicts: 65000 | #Constraints: 9070
21.54/21.63 c #Conflicts: 66000 | #Constraints: 10070
21.54/21.63 c INPROCESSING
21.54/21.63 c GARBAGE COLLECT
21.54/21.63 c #Conflicts: 67000 | #Constraints: 5882
56.44/56.61 c #Conflicts: 68000 | #Constraints: 6882
56.44/56.61 c #Conflicts: 69000 | #Constraints: 7882
56.44/56.61 c #Conflicts: 70000 | #Constraints: 8882
56.44/56.61 c #Conflicts: 71000 | #Constraints: 9882
56.44/56.61 c #Conflicts: 72000 | #Constraints: 10882
56.44/56.61 c INPROCESSING
56.44/56.61 c GARBAGE COLLECT
56.44/56.61 c #Conflicts: 73000 | #Constraints: 6484
56.44/56.61 c #Conflicts: 74000 | #Constraints: 7484
56.44/56.61 c #Conflicts: 75000 | #Constraints: 8484
56.44/56.61 c #Conflicts: 76000 | #Constraints: 9484
56.44/56.61 c #Conflicts: 77000 | #Constraints: 10484
56.44/56.61 c #Conflicts: 78000 | #Constraints: 11484
56.44/56.61 c INPROCESSING
56.44/56.61 c GARBAGE COLLECT
56.44/56.61 c #Conflicts: 79000 | #Constraints: 6883
56.44/56.61 c #Conflicts: 80000 | #Constraints: 7883
56.44/56.61 c #Conflicts: 81000 | #Constraints: 8883
56.44/56.61 c #Conflicts: 82000 | #Constraints: 9883
56.44/56.61 c #Conflicts: 83000 | #Constraints: 10883
56.44/56.61 c #Conflicts: 84000 | #Constraints: 11883
56.44/56.61 c INPROCESSING
56.44/56.61 c GARBAGE COLLECT
56.44/56.61 c #Conflicts: 85000 | #Constraints: 7079
56.44/56.61 c #Conflicts: 86000 | #Constraints: 8079
56.44/56.61 c #Conflicts: 87000 | #Constraints: 9079
56.44/56.61 c #Conflicts: 88000 | #Constraints: 10079
56.44/56.61 c #Conflicts: 89000 | #Constraints: 11079
56.44/56.61 c #Conflicts: 90000 | #Constraints: 12079
56.44/56.61 c INPROCESSING
56.44/56.61 c GARBAGE COLLECT
56.44/56.61 c #Conflicts: 91000 | #Constraints: 7076
56.44/56.61 c #Conflicts: 92000 | #Constraints: 8076
56.44/56.61 c #Conflicts: 93000 | #Constraints: 9076
56.44/56.61 c #Conflicts: 94000 | #Constraints: 10076
56.44/56.61 c #Conflicts: 95000 | #Constraints: 11076
56.44/56.61 c #Conflicts: 96000 | #Constraints: 12076
56.44/56.61 c INPROCESSING
56.44/56.61 c GARBAGE COLLECT
56.44/56.61 c #Conflicts: 97000 | #Constraints: 6880
56.44/56.61 c #Conflicts: 98000 | #Constraints: 7880
56.44/56.61 c #Conflicts: 99000 | #Constraints: 8880
56.44/56.61 c #Conflicts: 100000 | #Constraints: 9880
56.44/56.61 c #Conflicts: 101000 | #Constraints: 10880
56.44/56.61 c #Conflicts: 102000 | #Constraints: 11880
56.44/56.61 c #Conflicts: 103000 | #Constraints: 12880
56.44/56.61 c INPROCESSING
56.44/56.61 c GARBAGE COLLECT
56.44/56.61 c #Conflicts: 104000 | #Constraints: 7476
56.44/56.61 c #Conflicts: 105000 | #Constraints: 8476
56.44/56.61 c #Conflicts: 106000 | #Constraints: 9476
56.44/56.61 c #Conflicts: 107000 | #Constraints: 10476
56.44/56.61 c #Conflicts: 108000 | #Constraints: 11476
56.44/56.61 c #Conflicts: 109000 | #Constraints: 12476
56.44/56.61 c #Conflicts: 110000 | #Constraints: 13476
56.44/56.61 c INPROCESSING
56.44/56.61 c GARBAGE COLLECT
56.44/56.61 c #Conflicts: 111000 | #Constraints: 7880
56.44/56.61 c #Conflicts: 112000 | #Constraints: 8880
56.44/56.61 c #Conflicts: 113000 | #Constraints: 9880
56.44/56.61 c #Conflicts: 114000 | #Constraints: 10880
56.44/56.61 c #Conflicts: 115000 | #Constraints: 11880
56.44/56.61 c #Conflicts: 116000 | #Constraints: 12880
56.44/56.61 c #Conflicts: 117000 | #Constraints: 13880
56.44/56.61 c INPROCESSING
56.44/56.61 c GARBAGE COLLECT
56.44/56.61 c #Conflicts: 118000 | #Constraints: 8089
56.44/56.61 c #Conflicts: 119000 | #Constraints: 9089
56.44/56.61 c #Conflicts: 120000 | #Constraints: 10089
56.44/56.61 c #Conflicts: 121000 | #Constraints: 11089
56.44/56.61 c #Conflicts: 122000 | #Constraints: 12089
56.44/56.61 c #Conflicts: 123000 | #Constraints: 13089
56.44/56.61 c #Conflicts: 124000 | #Constraints: 14089
56.44/56.61 c INPROCESSING
56.44/56.61 c GARBAGE COLLECT
56.44/56.61 c #Conflicts: 125000 | #Constraints: 8085
56.44/56.61 c #Conflicts: 126000 | #Constraints: 9085
56.44/56.61 c #Conflicts: 127000 | #Constraints: 10085
56.44/56.61 c #Conflicts: 128000 | #Constraints: 11085
56.44/56.61 c #Conflicts: 129000 | #Constraints: 12085
56.44/56.61 c #Conflicts: 130000 | #Constraints: 13085
56.44/56.61 c #Conflicts: 131000 | #Constraints: 14085
56.44/56.61 c INPROCESSING
56.44/56.61 c GARBAGE COLLECT
56.44/56.61 c #Conflicts: 132000 | #Constraints: 7879
56.44/56.61 c #Conflicts: 133000 | #Constraints: 8879
56.44/56.61 c #Conflicts: 134000 | #Constraints: 9879
56.44/56.61 c #Conflicts: 135000 | #Constraints: 10879
56.44/56.61 c #Conflicts: 136000 | #Constraints: 11879
56.44/56.61 c #Conflicts: 137000 | #Constraints: 12879
56.44/56.61 c #Conflicts: 138000 | #Constraints: 13879
56.44/56.61 c #Conflicts: 139000 | #Constraints: 14879
56.44/56.61 c INPROCESSING
104.42/104.77 c GARBAGE COLLECT
104.42/104.77 c #Conflicts: 140000 | #Constraints: 8481
104.42/104.77 c #Conflicts: 141000 | #Constraints: 9481
104.42/104.77 c #Conflicts: 142000 | #Constraints: 10481
104.42/104.77 c #Conflicts: 143000 | #Constraints: 11481
104.42/104.77 c #Conflicts: 144000 | #Constraints: 12481
104.42/104.77 c #Conflicts: 145000 | #Constraints: 13481
104.42/104.77 c #Conflicts: 146000 | #Constraints: 14481
104.42/104.77 c #Conflicts: 147000 | #Constraints: 15481
104.42/104.77 c INPROCESSING
104.42/104.77 c GARBAGE COLLECT
104.42/104.77 c #Conflicts: 148000 | #Constraints: 8894
104.42/104.77 c #Conflicts: 149000 | #Constraints: 9894
104.42/104.77 c #Conflicts: 150000 | #Constraints: 10894
104.42/104.77 c #Conflicts: 151000 | #Constraints: 11894
104.42/104.77 c #Conflicts: 152000 | #Constraints: 12894
104.42/104.77 c #Conflicts: 153000 | #Constraints: 13894
104.42/104.77 c #Conflicts: 154000 | #Constraints: 14894
104.42/104.77 c #Conflicts: 155000 | #Constraints: 15894
104.42/104.77 c INPROCESSING
104.42/104.77 c GARBAGE COLLECT
104.42/104.77 c #Conflicts: 156000 | #Constraints: 9086
104.42/104.77 c #Conflicts: 157000 | #Constraints: 10086
104.42/104.77 c #Conflicts: 158000 | #Constraints: 11086
104.42/104.77 c #Conflicts: 159000 | #Constraints: 12086
104.42/104.77 c #Conflicts: 160000 | #Constraints: 13086
104.42/104.77 c #Conflicts: 161000 | #Constraints: 14086
104.42/104.77 c #Conflicts: 162000 | #Constraints: 15086
104.42/104.77 c #Conflicts: 163000 | #Constraints: 16086
104.42/104.77 c INPROCESSING
104.42/104.77 c GARBAGE COLLECT
104.42/104.77 c #Conflicts: 164000 | #Constraints: 9088
104.42/104.77 c #Conflicts: 165000 | #Constraints: 10088
104.42/104.77 c #Conflicts: 166000 | #Constraints: 11088
104.42/104.77 c #Conflicts: 167000 | #Constraints: 12088
104.42/104.77 c #Conflicts: 168000 | #Constraints: 13088
104.42/104.77 c #Conflicts: 169000 | #Constraints: 14088
104.42/104.77 c #Conflicts: 170000 | #Constraints: 15088
104.42/104.77 c #Conflicts: 171000 | #Constraints: 16088
104.42/104.77 c INPROCESSING
104.42/104.77 c GARBAGE COLLECT
104.42/104.77 c #Conflicts: 172000 | #Constraints: 8888
104.42/104.77 c #Conflicts: 173000 | #Constraints: 9888
104.42/104.77 c #Conflicts: 174000 | #Constraints: 10888
104.42/104.77 c #Conflicts: 175000 | #Constraints: 11888
104.42/104.77 c #Conflicts: 176000 | #Constraints: 12888
104.42/104.77 c #Conflicts: 177000 | #Constraints: 13888
104.42/104.77 c #Conflicts: 178000 | #Constraints: 14888
104.42/104.77 c #Conflicts: 179000 | #Constraints: 15888
104.42/104.77 c #Conflicts: 180000 | #Constraints: 16888
104.42/104.77 c INPROCESSING
104.42/104.77 c GARBAGE COLLECT
104.42/104.77 c #Conflicts: 181000 | #Constraints: 9482
104.42/104.77 c #Conflicts: 182000 | #Constraints: 10482
104.42/104.77 c #Conflicts: 183000 | #Constraints: 11482
104.42/104.77 c #Conflicts: 184000 | #Constraints: 12482
104.42/104.77 c #Conflicts: 185000 | #Constraints: 13482
104.42/104.77 c #Conflicts: 186000 | #Constraints: 14482
104.42/104.77 c #Conflicts: 187000 | #Constraints: 15482
104.42/104.77 c #Conflicts: 188000 | #Constraints: 16482
104.42/104.77 c #Conflicts: 189000 | #Constraints: 17482
104.42/104.77 c INPROCESSING
104.42/104.77 c GARBAGE COLLECT
104.42/104.77 c #Conflicts: 190000 | #Constraints: 9886
104.42/104.77 c #Conflicts: 191000 | #Constraints: 10886
104.42/104.77 c #Conflicts: 192000 | #Constraints: 11886
104.42/104.77 c #Conflicts: 193000 | #Constraints: 12886
104.42/104.77 c #Conflicts: 194000 | #Constraints: 13886
104.42/104.77 c #Conflicts: 195000 | #Constraints: 14886
104.42/104.77 c #Conflicts: 196000 | #Constraints: 15886
104.42/104.77 c #Conflicts: 197000 | #Constraints: 16886
104.42/104.77 c #Conflicts: 198000 | #Constraints: 17886
104.42/104.77 c INPROCESSING
104.42/104.77 c GARBAGE COLLECT
104.42/104.77 c #Conflicts: 199000 | #Constraints: 10095
104.42/104.77 c #Conflicts: 200000 | #Constraints: 11095
104.42/104.77 c #Conflicts: 201000 | #Constraints: 12095
104.42/104.77 c #Conflicts: 202000 | #Constraints: 13095
104.42/104.77 c #Conflicts: 203000 | #Constraints: 14095
104.42/104.77 c #Conflicts: 204000 | #Constraints: 15095
104.42/104.77 c #Conflicts: 205000 | #Constraints: 16095
104.42/104.77 c #Conflicts: 206000 | #Constraints: 17095
104.42/104.77 c #Conflicts: 207000 | #Constraints: 18095
104.42/104.77 c INPROCESSING
104.42/104.77 c GARBAGE COLLECT
104.42/104.77 c #Conflicts: 208000 | #Constraints: 10094
104.42/104.77 c #Conflicts: 209000 | #Constraints: 11094
104.42/104.77 c #Conflicts: 210000 | #Constraints: 12094
104.42/104.77 c #Conflicts: 211000 | #Constraints: 13094
104.42/104.77 c #Conflicts: 212000 | #Constraints: 14094
104.42/104.77 c #Conflicts: 213000 | #Constraints: 15094
159.28/159.75 c #Conflicts: 214000 | #Constraints: 16094
159.28/159.75 c #Conflicts: 215000 | #Constraints: 17094
159.28/159.75 c #Conflicts: 216000 | #Constraints: 18094
159.28/159.75 c INPROCESSING
159.28/159.75 c GARBAGE COLLECT
159.28/159.75 c #Conflicts: 217000 | #Constraints: 9894
159.28/159.75 c #Conflicts: 218000 | #Constraints: 10894
159.28/159.75 c #Conflicts: 219000 | #Constraints: 11894
159.28/159.75 c #Conflicts: 220000 | #Constraints: 12894
159.28/159.75 c #Conflicts: 221000 | #Constraints: 13894
159.28/159.75 c #Conflicts: 222000 | #Constraints: 14894
159.28/159.75 c #Conflicts: 223000 | #Constraints: 15894
159.28/159.75 c #Conflicts: 224000 | #Constraints: 16894
159.28/159.75 c #Conflicts: 225000 | #Constraints: 17894
159.28/159.75 c #Conflicts: 226000 | #Constraints: 18894
159.28/159.75 c INPROCESSING
159.28/159.75 c GARBAGE COLLECT
159.28/159.75 c #Conflicts: 227000 | #Constraints: 10489
159.28/159.75 c #Conflicts: 228000 | #Constraints: 11489
159.28/159.75 c #Conflicts: 229000 | #Constraints: 12489
159.28/159.75 c #Conflicts: 230000 | #Constraints: 13489
159.28/159.75 c #Conflicts: 231000 | #Constraints: 14489
159.28/159.75 c #Conflicts: 232000 | #Constraints: 15489
159.28/159.75 c #Conflicts: 233000 | #Constraints: 16489
159.28/159.75 c #Conflicts: 234000 | #Constraints: 17489
159.28/159.75 c #Conflicts: 235000 | #Constraints: 18489
159.28/159.75 c #Conflicts: 236000 | #Constraints: 19489
159.28/159.75 c INPROCESSING
159.28/159.75 c GARBAGE COLLECT
159.28/159.75 c #Conflicts: 237000 | #Constraints: 10888
159.28/159.75 c #Conflicts: 238000 | #Constraints: 11888
159.28/159.75 c #Conflicts: 239000 | #Constraints: 12888
159.28/159.75 c #Conflicts: 240000 | #Constraints: 13888
159.28/159.75 c #Conflicts: 241000 | #Constraints: 14888
159.28/159.75 c #Conflicts: 242000 | #Constraints: 15888
159.28/159.75 c #Conflicts: 243000 | #Constraints: 16888
159.28/159.75 c #Conflicts: 244000 | #Constraints: 17888
159.28/159.75 c #Conflicts: 245000 | #Constraints: 18888
159.28/159.75 c #Conflicts: 246000 | #Constraints: 19888
159.28/159.75 c INPROCESSING
159.28/159.75 c GARBAGE COLLECT
159.28/159.75 c #Conflicts: 247000 | #Constraints: 11094
159.28/159.75 c #Conflicts: 248000 | #Constraints: 12094
159.28/159.75 c #Conflicts: 249000 | #Constraints: 13094
159.28/159.75 c #Conflicts: 250000 | #Constraints: 14094
159.28/159.75 c #Conflicts: 251000 | #Constraints: 15094
159.28/159.75 c #Conflicts: 252000 | #Constraints: 16094
159.28/159.75 c #Conflicts: 253000 | #Constraints: 17094
159.28/159.75 c #Conflicts: 254000 | #Constraints: 18094
159.28/159.75 c #Conflicts: 255000 | #Constraints: 19094
159.28/159.75 c #Conflicts: 256000 | #Constraints: 20094
159.28/159.75 c INPROCESSING
159.28/159.75 c GARBAGE COLLECT
159.28/159.75 c #Conflicts: 257000 | #Constraints: 11089
159.28/159.75 c #Conflicts: 258000 | #Constraints: 12089
159.28/159.75 c #Conflicts: 259000 | #Constraints: 13089
159.28/159.75 c #Conflicts: 260000 | #Constraints: 14089
159.28/159.75 c #Conflicts: 261000 | #Constraints: 15089
159.28/159.75 c #Conflicts: 262000 | #Constraints: 16089
159.28/159.75 c #Conflicts: 263000 | #Constraints: 17089
159.28/159.75 c #Conflicts: 264000 | #Constraints: 18089
159.28/159.75 c #Conflicts: 265000 | #Constraints: 19089
159.28/159.75 c #Conflicts: 266000 | #Constraints: 20089
159.28/159.75 c INPROCESSING
159.28/159.75 c GARBAGE COLLECT
159.28/159.75 c #Conflicts: 267000 | #Constraints: 10888
159.28/159.75 c #Conflicts: 268000 | #Constraints: 11888
159.28/159.75 c #Conflicts: 269000 | #Constraints: 12888
159.28/159.75 c #Conflicts: 270000 | #Constraints: 13888
159.28/159.75 c #Conflicts: 271000 | #Constraints: 14888
159.28/159.75 c #Conflicts: 272000 | #Constraints: 15888
159.28/159.75 c #Conflicts: 273000 | #Constraints: 16888
159.28/159.75 c #Conflicts: 274000 | #Constraints: 17888
159.28/159.75 c #Conflicts: 275000 | #Constraints: 18888
159.28/159.75 c #Conflicts: 276000 | #Constraints: 19888
159.28/159.75 c #Conflicts: 277000 | #Constraints: 20888
159.28/159.75 c INPROCESSING
159.28/159.75 c GARBAGE COLLECT
159.28/159.75 c #Conflicts: 278000 | #Constraints: 11481
159.28/159.75 c #Conflicts: 279000 | #Constraints: 12481
159.28/159.75 c #Conflicts: 280000 | #Constraints: 13481
159.28/159.75 c #Conflicts: 281000 | #Constraints: 14481
159.28/159.75 c #Conflicts: 282000 | #Constraints: 15481
159.28/159.75 c #Conflicts: 283000 | #Constraints: 16481
159.28/159.75 c #Conflicts: 284000 | #Constraints: 17481
159.28/159.75 c #Conflicts: 285000 | #Constraints: 18481
159.28/159.75 c #Conflicts: 286000 | #Constraints: 19481
159.28/159.75 c #Conflicts: 287000 | #Constraints: 20481
221.01/221.64 c #Conflicts: 288000 | #Constraints: 21481
221.01/221.64 c INPROCESSING
221.01/221.64 c GARBAGE COLLECT
221.01/221.64 c #Conflicts: 289000 | #Constraints: 11886
221.01/221.64 c #Conflicts: 290000 | #Constraints: 12886
221.01/221.64 c #Conflicts: 291000 | #Constraints: 13886
221.01/221.64 c #Conflicts: 292000 | #Constraints: 14886
221.01/221.64 c #Conflicts: 293000 | #Constraints: 15886
221.01/221.64 c #Conflicts: 294000 | #Constraints: 16886
221.01/221.64 c #Conflicts: 295000 | #Constraints: 17886
221.01/221.64 c #Conflicts: 296000 | #Constraints: 18886
221.01/221.64 c #Conflicts: 297000 | #Constraints: 19886
221.01/221.64 c #Conflicts: 298000 | #Constraints: 20886
221.01/221.64 c #Conflicts: 299000 | #Constraints: 21886
221.01/221.64 c INPROCESSING
221.01/221.64 c GARBAGE COLLECT
221.01/221.64 c #Conflicts: 300000 | #Constraints: 12086
221.01/221.64 c #Conflicts: 301000 | #Constraints: 13086
221.01/221.64 c #Conflicts: 302000 | #Constraints: 14086
221.01/221.64 c #Conflicts: 303000 | #Constraints: 15086
221.01/221.64 c #Conflicts: 304000 | #Constraints: 16086
221.01/221.64 c #Conflicts: 305000 | #Constraints: 17086
221.01/221.64 c #Conflicts: 306000 | #Constraints: 18086
221.01/221.64 c #Conflicts: 307000 | #Constraints: 19086
221.01/221.64 c #Conflicts: 308000 | #Constraints: 20086
221.01/221.64 c #Conflicts: 309000 | #Constraints: 21086
221.01/221.64 c #Conflicts: 310000 | #Constraints: 22086
221.01/221.64 c INPROCESSING
221.01/221.64 c GARBAGE COLLECT
221.01/221.64 c #Conflicts: 311000 | #Constraints: 12095
221.01/221.64 c #Conflicts: 312000 | #Constraints: 13095
221.01/221.64 c #Conflicts: 313000 | #Constraints: 14095
221.01/221.64 c #Conflicts: 314000 | #Constraints: 15095
221.01/221.64 c #Conflicts: 315000 | #Constraints: 16095
221.01/221.64 c #Conflicts: 316000 | #Constraints: 17095
221.01/221.64 c #Conflicts: 317000 | #Constraints: 18095
221.01/221.64 c #Conflicts: 318000 | #Constraints: 19095
221.01/221.64 c #Conflicts: 319000 | #Constraints: 20095
221.01/221.64 c #Conflicts: 320000 | #Constraints: 21095
221.01/221.64 c #Conflicts: 321000 | #Constraints: 22095
221.01/221.64 c INPROCESSING
221.01/221.64 c GARBAGE COLLECT
221.01/221.64 c #Conflicts: 322000 | #Constraints: 11888
221.01/221.64 c #Conflicts: 323000 | #Constraints: 12888
221.01/221.64 c #Conflicts: 324000 | #Constraints: 13888
221.01/221.64 c #Conflicts: 325000 | #Constraints: 14888
221.01/221.64 c #Conflicts: 326000 | #Constraints: 15888
221.01/221.64 c #Conflicts: 327000 | #Constraints: 16888
221.01/221.64 c #Conflicts: 328000 | #Constraints: 17888
221.01/221.64 c #Conflicts: 329000 | #Constraints: 18888
221.01/221.64 c #Conflicts: 330000 | #Constraints: 19888
221.01/221.64 c #Conflicts: 331000 | #Constraints: 20888
221.01/221.64 c #Conflicts: 332000 | #Constraints: 21888
221.01/221.64 c #Conflicts: 333000 | #Constraints: 22888
221.01/221.64 c INPROCESSING
221.01/221.64 c GARBAGE COLLECT
221.01/221.64 c #Conflicts: 334000 | #Constraints: 12486
221.01/221.64 c #Conflicts: 335000 | #Constraints: 13486
221.01/221.64 c #Conflicts: 336000 | #Constraints: 14486
221.01/221.64 c #Conflicts: 337000 | #Constraints: 15486
221.01/221.64 c #Conflicts: 338000 | #Constraints: 16486
221.01/221.64 c #Conflicts: 339000 | #Constraints: 17486
221.01/221.64 c #Conflicts: 340000 | #Constraints: 18486
221.01/221.64 c #Conflicts: 341000 | #Constraints: 19486
221.01/221.64 c #Conflicts: 342000 | #Constraints: 20486
221.01/221.64 c #Conflicts: 343000 | #Constraints: 21486
221.01/221.64 c #Conflicts: 344000 | #Constraints: 22486
221.01/221.64 c #Conflicts: 345000 | #Constraints: 23486
221.01/221.64 c INPROCESSING
221.01/221.64 c GARBAGE COLLECT
221.01/221.64 c #Conflicts: 346000 | #Constraints: 12904
221.01/221.64 c #Conflicts: 347000 | #Constraints: 13904
221.01/221.64 c #Conflicts: 348000 | #Constraints: 14904
221.01/221.64 c #Conflicts: 349000 | #Constraints: 15904
221.01/221.64 c #Conflicts: 350000 | #Constraints: 16904
221.01/221.64 c #Conflicts: 351000 | #Constraints: 17904
221.01/221.64 c #Conflicts: 352000 | #Constraints: 18904
221.01/221.64 c #Conflicts: 353000 | #Constraints: 19904
221.01/221.64 c #Conflicts: 354000 | #Constraints: 20904
221.01/221.64 c #Conflicts: 355000 | #Constraints: 21904
221.01/221.64 c #Conflicts: 356000 | #Constraints: 22904
221.01/221.64 c #Conflicts: 357000 | #Constraints: 23904
221.01/221.64 c INPROCESSING
221.01/221.64 c GARBAGE COLLECT
221.01/221.64 c #Conflicts: 358000 | #Constraints: 13109
221.01/221.64 c #Conflicts: 359000 | #Constraints: 14109
221.01/221.64 c #Conflicts: 360000 | #Constraints: 15109
221.01/221.64 c #Conflicts: 361000 | #Constraints: 16109
305.98/306.82 c #Conflicts: 362000 | #Constraints: 17109
305.98/306.82 c #Conflicts: 363000 | #Constraints: 18109
305.98/306.82 c #Conflicts: 364000 | #Constraints: 19109
305.98/306.82 c #Conflicts: 365000 | #Constraints: 20109
305.98/306.82 c #Conflicts: 366000 | #Constraints: 21109
305.98/306.82 c #Conflicts: 367000 | #Constraints: 22109
305.98/306.82 c #Conflicts: 368000 | #Constraints: 23109
305.98/306.82 c #Conflicts: 369000 | #Constraints: 24109
305.98/306.82 c INPROCESSING
305.98/306.82 c GARBAGE COLLECT
305.98/306.82 c #Conflicts: 370000 | #Constraints: 13100
305.98/306.82 c #Conflicts: 371000 | #Constraints: 14100
305.98/306.82 c #Conflicts: 372000 | #Constraints: 15100
305.98/306.82 c #Conflicts: 373000 | #Constraints: 16100
305.98/306.82 c #Conflicts: 374000 | #Constraints: 17100
305.98/306.82 c #Conflicts: 375000 | #Constraints: 18100
305.98/306.82 c #Conflicts: 376000 | #Constraints: 19100
305.98/306.82 c #Conflicts: 377000 | #Constraints: 20100
305.98/306.82 c #Conflicts: 378000 | #Constraints: 21100
305.98/306.82 c #Conflicts: 379000 | #Constraints: 22100
305.98/306.82 c #Conflicts: 380000 | #Constraints: 23100
305.98/306.82 c #Conflicts: 381000 | #Constraints: 24100
305.98/306.82 c INPROCESSING
305.98/306.82 c GARBAGE COLLECT
305.98/306.82 c #Conflicts: 382000 | #Constraints: 12888
305.98/306.82 c #Conflicts: 383000 | #Constraints: 13888
305.98/306.82 c #Conflicts: 384000 | #Constraints: 14888
305.98/306.82 c #Conflicts: 385000 | #Constraints: 15888
305.98/306.82 c #Conflicts: 386000 | #Constraints: 16888
305.98/306.82 c #Conflicts: 387000 | #Constraints: 17888
305.98/306.82 c #Conflicts: 388000 | #Constraints: 18888
305.98/306.82 c #Conflicts: 389000 | #Constraints: 19888
305.98/306.82 c #Conflicts: 390000 | #Constraints: 20888
305.98/306.82 c #Conflicts: 391000 | #Constraints: 21888
305.98/306.82 c #Conflicts: 392000 | #Constraints: 22888
305.98/306.82 c #Conflicts: 393000 | #Constraints: 23888
305.98/306.82 c #Conflicts: 394000 | #Constraints: 24888
305.98/306.82 c INPROCESSING
305.98/306.82 c GARBAGE COLLECT
305.98/306.82 c #Conflicts: 395000 | #Constraints: 13491
305.98/306.82 c #Conflicts: 396000 | #Constraints: 14491
305.98/306.82 c #Conflicts: 397000 | #Constraints: 15491
305.98/306.82 c #Conflicts: 398000 | #Constraints: 16491
305.98/306.82 c #Conflicts: 399000 | #Constraints: 17491
305.98/306.82 c #Conflicts: 400000 | #Constraints: 18491
305.98/306.82 c #Conflicts: 401000 | #Constraints: 19491
305.98/306.82 c #Conflicts: 402000 | #Constraints: 20491
305.98/306.82 c #Conflicts: 403000 | #Constraints: 21491
305.98/306.82 c #Conflicts: 404000 | #Constraints: 22491
305.98/306.82 c #Conflicts: 405000 | #Constraints: 23491
305.98/306.82 c #Conflicts: 406000 | #Constraints: 24491
305.98/306.82 c #Conflicts: 407000 | #Constraints: 25491
305.98/306.82 c INPROCESSING
305.98/306.82 c GARBAGE COLLECT
305.98/306.82 c #Conflicts: 408000 | #Constraints: 13896
305.98/306.82 c #Conflicts: 409000 | #Constraints: 14896
305.98/306.82 c #Conflicts: 410000 | #Constraints: 15896
305.98/306.82 c #Conflicts: 411000 | #Constraints: 16896
305.98/306.82 c #Conflicts: 412000 | #Constraints: 17896
305.98/306.82 c #Conflicts: 413000 | #Constraints: 18896
305.98/306.82 c #Conflicts: 414000 | #Constraints: 19896
305.98/306.82 c #Conflicts: 415000 | #Constraints: 20896
305.98/306.82 c #Conflicts: 416000 | #Constraints: 21896
305.98/306.82 c #Conflicts: 417000 | #Constraints: 22896
305.98/306.82 c #Conflicts: 418000 | #Constraints: 23896
305.98/306.82 c #Conflicts: 419000 | #Constraints: 24896
305.98/306.82 c #Conflicts: 420000 | #Constraints: 25896
305.98/306.82 c INPROCESSING
305.98/306.82 c GARBAGE COLLECT
305.98/306.82 c #Conflicts: 421000 | #Constraints: 14092
305.98/306.82 c #Conflicts: 422000 | #Constraints: 15092
305.98/306.82 c #Conflicts: 423000 | #Constraints: 16092
305.98/306.82 c #Conflicts: 424000 | #Constraints: 17092
305.98/306.82 c #Conflicts: 425000 | #Constraints: 18092
305.98/306.82 c #Conflicts: 426000 | #Constraints: 19092
305.98/306.82 c #Conflicts: 427000 | #Constraints: 20092
305.98/306.82 c #Conflicts: 428000 | #Constraints: 21092
305.98/306.82 c #Conflicts: 429000 | #Constraints: 22092
305.98/306.82 c #Conflicts: 430000 | #Constraints: 23092
305.98/306.82 c #Conflicts: 431000 | #Constraints: 24092
305.98/306.82 c #Conflicts: 432000 | #Constraints: 25092
305.98/306.82 c #Conflicts: 433000 | #Constraints: 26092
305.98/306.82 c INPROCESSING
305.98/306.82 c GARBAGE COLLECT
305.98/306.82 c #Conflicts: 434000 | #Constraints: 14102
305.98/306.82 c #Conflicts: 435000 | #Constraints: 15102
305.98/306.82 c #Conflicts: 436000 | #Constraints: 16102
391.05/392.19 c #Conflicts: 437000 | #Constraints: 17102
391.05/392.19 c #Conflicts: 438000 | #Constraints: 18102
391.05/392.19 c #Conflicts: 439000 | #Constraints: 19102
391.05/392.19 c #Conflicts: 440000 | #Constraints: 20102
391.05/392.19 c #Conflicts: 441000 | #Constraints: 21102
391.05/392.19 c #Conflicts: 442000 | #Constraints: 22102
391.05/392.19 c #Conflicts: 443000 | #Constraints: 23102
391.05/392.19 c #Conflicts: 444000 | #Constraints: 24102
391.05/392.19 c #Conflicts: 445000 | #Constraints: 25102
391.05/392.19 c #Conflicts: 446000 | #Constraints: 26102
391.05/392.19 c INPROCESSING
391.05/392.19 c GARBAGE COLLECT
391.05/392.19 c #Conflicts: 447000 | #Constraints: 13901
391.05/392.19 c #Conflicts: 448000 | #Constraints: 14901
391.05/392.19 c #Conflicts: 449000 | #Constraints: 15901
391.05/392.19 c #Conflicts: 450000 | #Constraints: 16901
391.05/392.19 c #Conflicts: 451000 | #Constraints: 17901
391.05/392.19 c #Conflicts: 452000 | #Constraints: 18901
391.05/392.19 c #Conflicts: 453000 | #Constraints: 19901
391.05/392.19 c #Conflicts: 454000 | #Constraints: 20901
391.05/392.19 c #Conflicts: 455000 | #Constraints: 21901
391.05/392.19 c #Conflicts: 456000 | #Constraints: 22901
391.05/392.19 c #Conflicts: 457000 | #Constraints: 23901
391.05/392.19 c #Conflicts: 458000 | #Constraints: 24901
391.05/392.19 c #Conflicts: 459000 | #Constraints: 25901
391.05/392.19 c #Conflicts: 460000 | #Constraints: 26901
391.05/392.19 c INPROCESSING
391.05/392.19 c GARBAGE COLLECT
391.05/392.19 c #Conflicts: 461000 | #Constraints: 14513
391.05/392.19 c #Conflicts: 462000 | #Constraints: 15513
391.05/392.19 c #Conflicts: 463000 | #Constraints: 16513
391.05/392.19 c #Conflicts: 464000 | #Constraints: 17513
391.05/392.19 c #Conflicts: 465000 | #Constraints: 18513
391.05/392.19 c #Conflicts: 466000 | #Constraints: 19513
391.05/392.19 c #Conflicts: 467000 | #Constraints: 20513
391.05/392.19 c #Conflicts: 468000 | #Constraints: 21513
391.05/392.19 c #Conflicts: 469000 | #Constraints: 22513
391.05/392.19 c #Conflicts: 470000 | #Constraints: 23513
391.05/392.19 c #Conflicts: 471000 | #Constraints: 24513
391.05/392.19 c #Conflicts: 472000 | #Constraints: 25513
391.05/392.19 c #Conflicts: 473000 | #Constraints: 26513
391.05/392.19 c #Conflicts: 474000 | #Constraints: 27513
391.05/392.19 c INPROCESSING
391.05/392.19 c GARBAGE COLLECT
391.05/392.19 c #Conflicts: 475000 | #Constraints: 14929
391.05/392.19 c #Conflicts: 476000 | #Constraints: 15929
391.05/392.19 c #Conflicts: 477000 | #Constraints: 16929
391.05/392.19 c #Conflicts: 478000 | #Constraints: 17929
391.05/392.19 c #Conflicts: 479000 | #Constraints: 18929
391.05/392.19 c #Conflicts: 480000 | #Constraints: 19929
391.05/392.19 c #Conflicts: 481000 | #Constraints: 20929
391.05/392.19 c #Conflicts: 482000 | #Constraints: 21929
391.05/392.19 c #Conflicts: 483000 | #Constraints: 22929
391.05/392.19 c #Conflicts: 484000 | #Constraints: 23929
391.05/392.19 c #Conflicts: 485000 | #Constraints: 24929
391.05/392.19 c #Conflicts: 486000 | #Constraints: 25929
391.05/392.19 c #Conflicts: 487000 | #Constraints: 26929
391.05/392.19 c #Conflicts: 488000 | #Constraints: 27929
391.05/392.19 c INPROCESSING
391.05/392.19 c GARBAGE COLLECT
391.05/392.19 c #Conflicts: 489000 | #Constraints: 15127
391.05/392.19 c #Conflicts: 490000 | #Constraints: 16127
391.05/392.19 c #Conflicts: 491000 | #Constraints: 17127
391.05/392.19 c #Conflicts: 492000 | #Constraints: 18127
391.05/392.19 c #Conflicts: 493000 | #Constraints: 19127
391.05/392.19 c #Conflicts: 494000 | #Constraints: 20127
391.05/392.19 c #Conflicts: 495000 | #Constraints: 21127
391.05/392.19 c #Conflicts: 496000 | #Constraints: 22127
391.05/392.19 c #Conflicts: 497000 | #Constraints: 23127
391.05/392.19 c #Conflicts: 498000 | #Constraints: 24127
391.05/392.19 c #Conflicts: 499000 | #Constraints: 25127
391.05/392.19 c #Conflicts: 500000 | #Constraints: 26127
391.05/392.19 c #Conflicts: 501000 | #Constraints: 27127
391.05/392.19 c #Conflicts: 502000 | #Constraints: 28127
391.05/392.19 c INPROCESSING
391.05/392.19 c GARBAGE COLLECT
391.05/392.19 c #Conflicts: 503000 | #Constraints: 15125
391.05/392.19 c #Conflicts: 504000 | #Constraints: 16125
391.05/392.19 c #Conflicts: 505000 | #Constraints: 17125
391.05/392.19 c #Conflicts: 506000 | #Constraints: 18125
391.05/392.19 c #Conflicts: 507000 | #Constraints: 19125
391.05/392.19 c #Conflicts: 508000 | #Constraints: 20125
391.05/392.19 c #Conflicts: 509000 | #Constraints: 21125
391.05/392.19 c #Conflicts: 510000 | #Constraints: 22125
391.05/392.19 c #Conflicts: 511000 | #Constraints: 23125
391.05/392.19 c #Conflicts: 512000 | #Constraints: 24125
464.67/465.98 c #Conflicts: 513000 | #Constraints: 25125
464.67/465.98 c #Conflicts: 514000 | #Constraints: 26125
464.67/465.98 c #Conflicts: 515000 | #Constraints: 27125
464.67/465.98 c #Conflicts: 516000 | #Constraints: 28125
464.67/465.98 c INPROCESSING
464.67/465.98 c GARBAGE COLLECT
464.67/465.98 c #Conflicts: 517000 | #Constraints: 14907
464.67/465.98 c #Conflicts: 518000 | #Constraints: 15907
464.67/465.98 c #Conflicts: 519000 | #Constraints: 16907
464.67/465.98 c #Conflicts: 520000 | #Constraints: 17907
464.67/465.98 c #Conflicts: 521000 | #Constraints: 18907
464.67/465.98 c #Conflicts: 522000 | #Constraints: 19907
464.67/465.98 c #Conflicts: 523000 | #Constraints: 20907
464.67/465.98 c #Conflicts: 524000 | #Constraints: 21907
464.67/465.98 c #Conflicts: 525000 | #Constraints: 22907
464.67/465.98 c #Conflicts: 526000 | #Constraints: 23907
464.67/465.98 c #Conflicts: 527000 | #Constraints: 24907
464.67/465.98 c #Conflicts: 528000 | #Constraints: 25907
464.67/465.98 c #Conflicts: 529000 | #Constraints: 26907
464.67/465.98 c #Conflicts: 530000 | #Constraints: 27907
464.67/465.98 c #Conflicts: 531000 | #Constraints: 28907
464.67/465.98 c INPROCESSING
464.67/465.98 c GARBAGE COLLECT
464.67/465.98 c #Conflicts: 532000 | #Constraints: 15527
464.67/465.98 c #Conflicts: 533000 | #Constraints: 16527
464.67/465.98 c #Conflicts: 534000 | #Constraints: 17527
464.67/465.98 c #Conflicts: 535000 | #Constraints: 18527
464.67/465.98 c #Conflicts: 536000 | #Constraints: 19527
464.67/465.98 c #Conflicts: 537000 | #Constraints: 20527
464.67/465.98 c #Conflicts: 538000 | #Constraints: 21527
464.67/465.98 c #Conflicts: 539000 | #Constraints: 22527
464.67/465.98 c #Conflicts: 540000 | #Constraints: 23527
464.67/465.98 c #Conflicts: 541000 | #Constraints: 24527
464.67/465.98 c #Conflicts: 542000 | #Constraints: 25527
464.67/465.98 c #Conflicts: 543000 | #Constraints: 26527
464.67/465.98 c #Conflicts: 544000 | #Constraints: 27527
464.67/465.98 c #Conflicts: 545000 | #Constraints: 28527
464.67/465.98 c #Conflicts: 546000 | #Constraints: 29527
464.67/465.98 c INPROCESSING
464.67/465.98 c GARBAGE COLLECT
464.67/465.98 c #Conflicts: 547000 | #Constraints: 15918
464.67/465.98 c #Conflicts: 548000 | #Constraints: 16918
464.67/465.98 c #Conflicts: 549000 | #Constraints: 17918
464.67/465.98 c #Conflicts: 550000 | #Constraints: 18918
464.67/465.98 c #Conflicts: 551000 | #Constraints: 19918
464.67/465.98 c #Conflicts: 552000 | #Constraints: 20918
464.67/465.98 c #Conflicts: 553000 | #Constraints: 21918
464.67/465.98 c #Conflicts: 554000 | #Constraints: 22918
464.67/465.98 c #Conflicts: 555000 | #Constraints: 23918
464.67/465.98 c #Conflicts: 556000 | #Constraints: 24918
464.67/465.98 c #Conflicts: 557000 | #Constraints: 25918
464.67/465.98 c #Conflicts: 558000 | #Constraints: 26918
464.67/465.98 c #Conflicts: 559000 | #Constraints: 27918
464.67/465.98 c #Conflicts: 560000 | #Constraints: 28918
464.67/465.98 c #Conflicts: 561000 | #Constraints: 29918
464.67/465.98 c INPROCESSING
464.67/465.98 c GARBAGE COLLECT
464.67/465.98 c #Conflicts: 562000 | #Constraints: 16107
464.67/465.98 c #Conflicts: 563000 | #Constraints: 17107
464.67/465.98 c #Conflicts: 564000 | #Constraints: 18107
464.67/465.98 c #Conflicts: 565000 | #Constraints: 19107
464.67/465.98 c #Conflicts: 566000 | #Constraints: 20107
464.67/465.98 c #Conflicts: 567000 | #Constraints: 21107
464.67/465.98 c #Conflicts: 568000 | #Constraints: 22107
464.67/465.98 c #Conflicts: 569000 | #Constraints: 23107
464.67/465.98 c #Conflicts: 570000 | #Constraints: 24107
464.67/465.98 c #Conflicts: 571000 | #Constraints: 25107
464.67/465.98 c #Conflicts: 572000 | #Constraints: 26107
464.67/465.98 c #Conflicts: 573000 | #Constraints: 27107
464.67/465.98 c #Conflicts: 574000 | #Constraints: 28107
464.67/465.98 c #Conflicts: 575000 | #Constraints: 29107
464.67/465.98 c #Conflicts: 576000 | #Constraints: 30107
464.67/465.98 c INPROCESSING
464.67/465.98 c GARBAGE COLLECT
464.67/465.98 c #Conflicts: 577000 | #Constraints: 16119
464.67/465.98 c #Conflicts: 578000 | #Constraints: 17119
464.67/465.98 c #Conflicts: 579000 | #Constraints: 18119
464.67/465.98 c #Conflicts: 580000 | #Constraints: 19119
464.67/465.98 c #Conflicts: 581000 | #Constraints: 20119
464.67/465.98 c #Conflicts: 582000 | #Constraints: 21119
464.67/465.98 c #Conflicts: 583000 | #Constraints: 22119
464.67/465.98 c #Conflicts: 584000 | #Constraints: 23119
464.67/465.98 c #Conflicts: 585000 | #Constraints: 24119
464.67/465.98 c #Conflicts: 586000 | #Constraints: 25119
464.67/465.98 c #Conflicts: 587000 | #Constraints: 26119
464.67/465.98 c #Conflicts: 588000 | #Constraints: 27119
539.88/541.33 c #Conflicts: 589000 | #Constraints: 28119
539.88/541.33 c #Conflicts: 590000 | #Constraints: 29119
539.88/541.33 c #Conflicts: 591000 | #Constraints: 30119
539.88/541.33 c INPROCESSING
539.88/541.33 c GARBAGE COLLECT
539.88/541.33 c #Conflicts: 592000 | #Constraints: 15926
539.88/541.33 c #Conflicts: 593000 | #Constraints: 16926
539.88/541.33 c #Conflicts: 594000 | #Constraints: 17926
539.88/541.33 c #Conflicts: 595000 | #Constraints: 18926
539.88/541.33 c #Conflicts: 596000 | #Constraints: 19926
539.88/541.33 c #Conflicts: 597000 | #Constraints: 20926
539.88/541.33 c #Conflicts: 598000 | #Constraints: 21926
539.88/541.33 c #Conflicts: 599000 | #Constraints: 22926
539.88/541.33 c #Conflicts: 600000 | #Constraints: 23926
539.88/541.33 c #Conflicts: 601000 | #Constraints: 24926
539.88/541.33 c #Conflicts: 602000 | #Constraints: 25926
539.88/541.33 c #Conflicts: 603000 | #Constraints: 26926
539.88/541.33 c #Conflicts: 604000 | #Constraints: 27926
539.88/541.33 c #Conflicts: 605000 | #Constraints: 28926
539.88/541.33 c #Conflicts: 606000 | #Constraints: 29926
539.88/541.33 c #Conflicts: 607000 | #Constraints: 30926
539.88/541.33 c INPROCESSING
539.88/541.33 c GARBAGE COLLECT
539.88/541.33 c #Conflicts: 608000 | #Constraints: 16519
539.88/541.33 c #Conflicts: 609000 | #Constraints: 17519
539.88/541.33 c #Conflicts: 610000 | #Constraints: 18519
539.88/541.33 c #Conflicts: 611000 | #Constraints: 19519
539.88/541.33 c #Conflicts: 612000 | #Constraints: 20519
539.88/541.33 c #Conflicts: 613000 | #Constraints: 21519
539.88/541.33 c #Conflicts: 614000 | #Constraints: 22519
539.88/541.33 c #Conflicts: 615000 | #Constraints: 23519
539.88/541.33 c #Conflicts: 616000 | #Constraints: 24519
539.88/541.33 c #Conflicts: 617000 | #Constraints: 25519
539.88/541.33 c #Conflicts: 618000 | #Constraints: 26519
539.88/541.33 c #Conflicts: 619000 | #Constraints: 27519
539.88/541.33 c #Conflicts: 620000 | #Constraints: 28519
539.88/541.33 c #Conflicts: 621000 | #Constraints: 29519
539.88/541.33 c #Conflicts: 622000 | #Constraints: 30519
539.88/541.33 c #Conflicts: 623000 | #Constraints: 31519
539.88/541.33 c INPROCESSING
539.88/541.33 c GARBAGE COLLECT
539.88/541.33 c #Conflicts: 624000 | #Constraints: 16934
539.88/541.33 c #Conflicts: 625000 | #Constraints: 17934
539.88/541.33 c #Conflicts: 626000 | #Constraints: 18934
539.88/541.33 c #Conflicts: 627000 | #Constraints: 19934
539.88/541.33 c #Conflicts: 628000 | #Constraints: 20934
539.88/541.33 c #Conflicts: 629000 | #Constraints: 21934
539.88/541.33 c #Conflicts: 630000 | #Constraints: 22934
539.88/541.33 c #Conflicts: 631000 | #Constraints: 23934
539.88/541.33 c #Conflicts: 632000 | #Constraints: 24934
539.88/541.33 c #Conflicts: 633000 | #Constraints: 25934
539.88/541.33 c #Conflicts: 634000 | #Constraints: 26934
539.88/541.33 c #Conflicts: 635000 | #Constraints: 27934
539.88/541.33 c #Conflicts: 636000 | #Constraints: 28934
539.88/541.33 c #Conflicts: 637000 | #Constraints: 29934
539.88/541.33 c #Conflicts: 638000 | #Constraints: 30934
539.88/541.33 c #Conflicts: 639000 | #Constraints: 31934
539.88/541.33 c INPROCESSING
539.88/541.33 c GARBAGE COLLECT
539.88/541.33 c #Conflicts: 640000 | #Constraints: 17129
539.88/541.33 c #Conflicts: 641000 | #Constraints: 18129
539.88/541.33 c #Conflicts: 642000 | #Constraints: 19129
539.88/541.33 c #Conflicts: 643000 | #Constraints: 20129
539.88/541.33 c #Conflicts: 644000 | #Constraints: 21129
539.88/541.33 c #Conflicts: 645000 | #Constraints: 22129
539.88/541.33 c #Conflicts: 646000 | #Constraints: 23129
539.88/541.33 c #Conflicts: 647000 | #Constraints: 24129
539.88/541.33 c #Conflicts: 648000 | #Constraints: 25129
539.88/541.33 c #Conflicts: 649000 | #Constraints: 26129
539.88/541.33 c #Conflicts: 650000 | #Constraints: 27129
539.88/541.33 c #Conflicts: 651000 | #Constraints: 28129
539.88/541.33 c #Conflicts: 652000 | #Constraints: 29129
539.88/541.33 c #Conflicts: 653000 | #Constraints: 30129
539.88/541.33 c #Conflicts: 654000 | #Constraints: 31129
539.88/541.33 c #Conflicts: 655000 | #Constraints: 32129
539.88/541.33 c INPROCESSING
539.88/541.33 c GARBAGE COLLECT
539.88/541.33 c #Conflicts: 656000 | #Constraints: 17115
539.88/541.33 c #Conflicts: 657000 | #Constraints: 18115
539.88/541.33 c #Conflicts: 658000 | #Constraints: 19115
539.88/541.33 c #Conflicts: 659000 | #Constraints: 20115
539.88/541.33 c #Conflicts: 660000 | #Constraints: 21115
539.88/541.33 c #Conflicts: 661000 | #Constraints: 22115
539.88/541.33 c #Conflicts: 662000 | #Constraints: 23115
539.88/541.33 c #Conflicts: 663000 | #Constraints: 24115
649.89/651.66 c #Conflicts: 664000 | #Constraints: 25115
649.89/651.66 c #Conflicts: 665000 | #Constraints: 26115
649.89/651.66 c #Conflicts: 666000 | #Constraints: 27115
649.89/651.66 c #Conflicts: 667000 | #Constraints: 28115
649.89/651.66 c #Conflicts: 668000 | #Constraints: 29115
649.89/651.66 c #Conflicts: 669000 | #Constraints: 30115
649.89/651.66 c #Conflicts: 670000 | #Constraints: 31115
649.89/651.66 c #Conflicts: 671000 | #Constraints: 32115
649.89/651.66 c INPROCESSING
649.89/651.66 c GARBAGE COLLECT
649.89/651.66 c #Conflicts: 672000 | #Constraints: 16905
649.89/651.66 c #Conflicts: 673000 | #Constraints: 17905
649.89/651.66 c #Conflicts: 674000 | #Constraints: 18905
649.89/651.66 c #Conflicts: 675000 | #Constraints: 19905
649.89/651.66 c #Conflicts: 676000 | #Constraints: 20905
649.89/651.66 c #Conflicts: 677000 | #Constraints: 21905
649.89/651.66 c #Conflicts: 678000 | #Constraints: 22905
649.89/651.66 c #Conflicts: 679000 | #Constraints: 23905
649.89/651.66 c #Conflicts: 680000 | #Constraints: 24905
649.89/651.66 c #Conflicts: 681000 | #Constraints: 25905
649.89/651.66 c #Conflicts: 682000 | #Constraints: 26905
649.89/651.66 c #Conflicts: 683000 | #Constraints: 27905
649.89/651.66 c #Conflicts: 684000 | #Constraints: 28905
649.89/651.66 c #Conflicts: 685000 | #Constraints: 29905
649.89/651.66 c #Conflicts: 686000 | #Constraints: 30905
649.89/651.66 c #Conflicts: 687000 | #Constraints: 31905
649.89/651.66 c #Conflicts: 688000 | #Constraints: 32905
649.89/651.66 c INPROCESSING
649.89/651.66 c GARBAGE COLLECT
649.89/651.66 c #Conflicts: 689000 | #Constraints: 17525
649.89/651.66 c #Conflicts: 690000 | #Constraints: 18525
649.89/651.66 c #Conflicts: 691000 | #Constraints: 19525
649.89/651.66 c #Conflicts: 692000 | #Constraints: 20525
649.89/651.66 c #Conflicts: 693000 | #Constraints: 21525
649.89/651.66 c #Conflicts: 694000 | #Constraints: 22525
649.89/651.66 c #Conflicts: 695000 | #Constraints: 23525
649.89/651.66 c #Conflicts: 696000 | #Constraints: 24525
649.89/651.66 c #Conflicts: 697000 | #Constraints: 25525
649.89/651.66 c #Conflicts: 698000 | #Constraints: 26525
649.89/651.66 c #Conflicts: 699000 | #Constraints: 27525
649.89/651.66 c #Conflicts: 700000 | #Constraints: 28525
649.89/651.66 c #Conflicts: 701000 | #Constraints: 29525
649.89/651.66 c #Conflicts: 702000 | #Constraints: 30525
649.89/651.66 c #Conflicts: 703000 | #Constraints: 31525
649.89/651.66 c #Conflicts: 704000 | #Constraints: 32525
649.89/651.66 c #Conflicts: 705000 | #Constraints: 33525
649.89/651.66 c INPROCESSING
649.89/651.66 c GARBAGE COLLECT
649.89/651.66 c #Conflicts: 706000 | #Constraints: 17925
649.89/651.66 c #Conflicts: 707000 | #Constraints: 18925
649.89/651.66 c #Conflicts: 708000 | #Constraints: 19925
649.89/651.66 c #Conflicts: 709000 | #Constraints: 20925
649.89/651.66 c #Conflicts: 710000 | #Constraints: 21925
649.89/651.66 c #Conflicts: 711000 | #Constraints: 22925
649.89/651.66 c #Conflicts: 712000 | #Constraints: 23925
649.89/651.66 c #Conflicts: 713000 | #Constraints: 24925
649.89/651.66 c #Conflicts: 714000 | #Constraints: 25925
649.89/651.66 c #Conflicts: 715000 | #Constraints: 26925
649.89/651.66 c #Conflicts: 716000 | #Constraints: 27925
649.89/651.66 c #Conflicts: 717000 | #Constraints: 28925
649.89/651.66 c #Conflicts: 718000 | #Constraints: 29925
649.89/651.66 c #Conflicts: 719000 | #Constraints: 30925
649.89/651.66 c #Conflicts: 720000 | #Constraints: 31925
649.89/651.66 c #Conflicts: 721000 | #Constraints: 32925
649.89/651.66 c #Conflicts: 722000 | #Constraints: 33925
649.89/651.66 c INPROCESSING
649.89/651.66 c GARBAGE COLLECT
649.89/651.66 c #Conflicts: 723000 | #Constraints: 18137
649.89/651.66 c #Conflicts: 724000 | #Constraints: 19137
649.89/651.66 c #Conflicts: 725000 | #Constraints: 20137
649.89/651.66 c #Conflicts: 726000 | #Constraints: 21137
649.89/651.66 c #Conflicts: 727000 | #Constraints: 22137
649.89/651.66 c #Conflicts: 728000 | #Constraints: 23137
649.89/651.66 c #Conflicts: 729000 | #Constraints: 24137
649.89/651.66 c #Conflicts: 730000 | #Constraints: 25137
649.89/651.66 c #Conflicts: 731000 | #Constraints: 26137
649.89/651.66 c #Conflicts: 732000 | #Constraints: 27137
649.89/651.66 c #Conflicts: 733000 | #Constraints: 28137
649.89/651.66 c #Conflicts: 734000 | #Constraints: 29137
649.89/651.66 c #Conflicts: 735000 | #Constraints: 30137
649.89/651.66 c #Conflicts: 736000 | #Constraints: 31137
649.89/651.66 c #Conflicts: 737000 | #Constraints: 32137
649.89/651.66 c #Conflicts: 738000 | #Constraints: 33137
649.89/651.66 c #Conflicts: 739000 | #Constraints: 34137
742.53/744.57 c INPROCESSING
742.53/744.57 c GARBAGE COLLECT
742.53/744.57 c #Conflicts: 740000 | #Constraints: 18122
742.53/744.57 c #Conflicts: 741000 | #Constraints: 19122
742.53/744.57 c #Conflicts: 742000 | #Constraints: 20122
742.53/744.57 c #Conflicts: 743000 | #Constraints: 21122
742.53/744.57 c #Conflicts: 744000 | #Constraints: 22122
742.53/744.57 c #Conflicts: 745000 | #Constraints: 23122
742.53/744.57 c #Conflicts: 746000 | #Constraints: 24122
742.53/744.57 c #Conflicts: 747000 | #Constraints: 25122
742.53/744.57 c #Conflicts: 748000 | #Constraints: 26122
742.53/744.57 c #Conflicts: 749000 | #Constraints: 27122
742.53/744.57 c #Conflicts: 750000 | #Constraints: 28122
742.53/744.57 c #Conflicts: 751000 | #Constraints: 29122
742.53/744.57 c #Conflicts: 752000 | #Constraints: 30122
742.53/744.57 c #Conflicts: 753000 | #Constraints: 31122
742.53/744.57 c #Conflicts: 754000 | #Constraints: 32122
742.53/744.57 c #Conflicts: 755000 | #Constraints: 33122
742.53/744.57 c #Conflicts: 756000 | #Constraints: 34122
742.53/744.57 c INPROCESSING
742.53/744.57 c GARBAGE COLLECT
742.53/744.57 c #Conflicts: 757000 | #Constraints: 17915
742.53/744.57 c #Conflicts: 758000 | #Constraints: 18915
742.53/744.57 c #Conflicts: 759000 | #Constraints: 19915
742.53/744.57 c #Conflicts: 760000 | #Constraints: 20915
742.53/744.57 c #Conflicts: 761000 | #Constraints: 21915
742.53/744.57 c #Conflicts: 762000 | #Constraints: 22915
742.53/744.57 c #Conflicts: 763000 | #Constraints: 23915
742.53/744.57 c #Conflicts: 764000 | #Constraints: 24915
742.53/744.57 c #Conflicts: 765000 | #Constraints: 25915
742.53/744.57 c #Conflicts: 766000 | #Constraints: 26915
742.53/744.57 c #Conflicts: 767000 | #Constraints: 27915
742.53/744.57 c #Conflicts: 768000 | #Constraints: 28915
742.53/744.57 c #Conflicts: 769000 | #Constraints: 29915
742.53/744.57 c #Conflicts: 770000 | #Constraints: 30915
742.53/744.57 c #Conflicts: 771000 | #Constraints: 31915
742.53/744.57 c #Conflicts: 772000 | #Constraints: 32915
742.53/744.57 c #Conflicts: 773000 | #Constraints: 33915
742.53/744.57 c #Conflicts: 774000 | #Constraints: 34915
742.53/744.57 c INPROCESSING
742.53/744.57 c GARBAGE COLLECT
742.53/744.57 c #Conflicts: 775000 | #Constraints: 18522
742.53/744.57 c #Conflicts: 776000 | #Constraints: 19522
742.53/744.57 c #Conflicts: 777000 | #Constraints: 20522
742.53/744.57 c #Conflicts: 778000 | #Constraints: 21522
742.53/744.57 c #Conflicts: 779000 | #Constraints: 22522
742.53/744.57 c #Conflicts: 780000 | #Constraints: 23522
742.53/744.57 c #Conflicts: 781000 | #Constraints: 24522
742.53/744.57 c #Conflicts: 782000 | #Constraints: 25522
742.53/744.57 c #Conflicts: 783000 | #Constraints: 26522
742.53/744.57 c #Conflicts: 784000 | #Constraints: 27522
742.53/744.57 c #Conflicts: 785000 | #Constraints: 28522
742.53/744.57 c #Conflicts: 786000 | #Constraints: 29522
742.53/744.57 c #Conflicts: 787000 | #Constraints: 30522
742.53/744.57 c #Conflicts: 788000 | #Constraints: 31522
742.53/744.57 c #Conflicts: 789000 | #Constraints: 32522
742.53/744.57 c #Conflicts: 790000 | #Constraints: 33522
742.53/744.57 c #Conflicts: 791000 | #Constraints: 34522
742.53/744.57 c #Conflicts: 792000 | #Constraints: 35522
742.53/744.57 c INPROCESSING
742.53/744.57 c GARBAGE COLLECT
742.53/744.57 c #Conflicts: 793000 | #Constraints: 18928
742.53/744.57 c #Conflicts: 794000 | #Constraints: 19928
742.53/744.57 c #Conflicts: 795000 | #Constraints: 20928
742.53/744.57 c #Conflicts: 796000 | #Constraints: 21928
742.53/744.57 c #Conflicts: 797000 | #Constraints: 22928
742.53/744.57 c #Conflicts: 798000 | #Constraints: 23928
742.53/744.57 c #Conflicts: 799000 | #Constraints: 24928
742.53/744.57 c #Conflicts: 800000 | #Constraints: 25928
742.53/744.57 c #Conflicts: 801000 | #Constraints: 26928
742.53/744.57 c #Conflicts: 802000 | #Constraints: 27928
742.53/744.57 c #Conflicts: 803000 | #Constraints: 28928
742.53/744.57 c #Conflicts: 804000 | #Constraints: 29928
742.53/744.57 c #Conflicts: 805000 | #Constraints: 30928
742.53/744.57 c #Conflicts: 806000 | #Constraints: 31928
742.53/744.57 c #Conflicts: 807000 | #Constraints: 32928
742.53/744.57 c #Conflicts: 808000 | #Constraints: 33928
742.53/744.57 c #Conflicts: 809000 | #Constraints: 34928
742.53/744.57 c #Conflicts: 810000 | #Constraints: 35928
742.53/744.57 c INPROCESSING
742.53/744.57 c GARBAGE COLLECT
742.53/744.57 c #Conflicts: 811000 | #Constraints: 19132
742.53/744.57 c #Conflicts: 812000 | #Constraints: 20132
742.53/744.57 c #Conflicts: 813000 | #Constraints: 21132
742.53/744.57 c #Conflicts: 814000 | #Constraints: 22132
742.53/744.57 c #Conflicts: 815000 | #Constraints: 23132
838.75/841.07 c #Conflicts: 816000 | #Constraints: 24132
838.75/841.07 c #Conflicts: 817000 | #Constraints: 25132
838.75/841.07 c #Conflicts: 818000 | #Constraints: 26132
838.75/841.07 c #Conflicts: 819000 | #Constraints: 27132
838.75/841.07 c #Conflicts: 820000 | #Constraints: 28132
838.75/841.07 c #Conflicts: 821000 | #Constraints: 29132
838.75/841.07 c #Conflicts: 822000 | #Constraints: 30132
838.75/841.07 c #Conflicts: 823000 | #Constraints: 31132
838.75/841.07 c #Conflicts: 824000 | #Constraints: 32132
838.75/841.07 c #Conflicts: 825000 | #Constraints: 33132
838.75/841.07 c #Conflicts: 826000 | #Constraints: 34132
838.75/841.07 c #Conflicts: 827000 | #Constraints: 35132
838.75/841.07 c #Conflicts: 828000 | #Constraints: 36132
838.75/841.07 c INPROCESSING
838.75/841.07 c GARBAGE COLLECT
838.75/841.07 c #Conflicts: 829000 | #Constraints: 19138
838.75/841.07 c #Conflicts: 830000 | #Constraints: 20138
838.75/841.07 c #Conflicts: 831000 | #Constraints: 21138
838.75/841.07 c #Conflicts: 832000 | #Constraints: 22138
838.75/841.07 c #Conflicts: 833000 | #Constraints: 23138
838.75/841.07 c #Conflicts: 834000 | #Constraints: 24138
838.75/841.07 c #Conflicts: 835000 | #Constraints: 25138
838.75/841.07 c #Conflicts: 836000 | #Constraints: 26138
838.75/841.07 c #Conflicts: 837000 | #Constraints: 27138
838.75/841.07 c #Conflicts: 838000 | #Constraints: 28138
838.75/841.07 c #Conflicts: 839000 | #Constraints: 29138
838.75/841.07 c #Conflicts: 840000 | #Constraints: 30138
838.75/841.07 c #Conflicts: 841000 | #Constraints: 31138
838.75/841.07 c #Conflicts: 842000 | #Constraints: 32138
838.75/841.07 c #Conflicts: 843000 | #Constraints: 33138
838.75/841.07 c #Conflicts: 844000 | #Constraints: 34138
838.75/841.07 c #Conflicts: 845000 | #Constraints: 35138
838.75/841.07 c #Conflicts: 846000 | #Constraints: 36138
838.75/841.07 c INPROCESSING
838.75/841.07 c GARBAGE COLLECT
838.75/841.07 c #Conflicts: 847000 | #Constraints: 18935
838.75/841.07 c #Conflicts: 848000 | #Constraints: 19935
838.75/841.07 c #Conflicts: 849000 | #Constraints: 20935
838.75/841.07 c #Conflicts: 850000 | #Constraints: 21935
838.75/841.07 c #Conflicts: 851000 | #Constraints: 22935
838.75/841.07 c #Conflicts: 852000 | #Constraints: 23935
838.75/841.07 c #Conflicts: 853000 | #Constraints: 24935
838.75/841.07 c #Conflicts: 854000 | #Constraints: 25935
838.75/841.07 c #Conflicts: 855000 | #Constraints: 26935
838.75/841.07 c #Conflicts: 856000 | #Constraints: 27935
838.75/841.07 c #Conflicts: 857000 | #Constraints: 28935
838.75/841.07 c #Conflicts: 858000 | #Constraints: 29935
838.75/841.07 c #Conflicts: 859000 | #Constraints: 30935
838.75/841.07 c #Conflicts: 860000 | #Constraints: 31935
838.75/841.07 c #Conflicts: 861000 | #Constraints: 32935
838.75/841.07 c #Conflicts: 862000 | #Constraints: 33935
838.75/841.07 c #Conflicts: 863000 | #Constraints: 34935
838.75/841.07 c #Conflicts: 864000 | #Constraints: 35935
838.75/841.07 c #Conflicts: 865000 | #Constraints: 36935
838.75/841.07 c INPROCESSING
838.75/841.07 c GARBAGE COLLECT
838.75/841.07 c #Conflicts: 866000 | #Constraints: 19519
838.75/841.07 c #Conflicts: 867000 | #Constraints: 20519
838.75/841.07 c #Conflicts: 868000 | #Constraints: 21519
838.75/841.07 c #Conflicts: 869000 | #Constraints: 22519
838.75/841.07 c #Conflicts: 870000 | #Constraints: 23519
838.75/841.07 c #Conflicts: 871000 | #Constraints: 24519
838.75/841.07 c #Conflicts: 872000 | #Constraints: 25519
838.75/841.07 c #Conflicts: 873000 | #Constraints: 26519
838.75/841.07 c #Conflicts: 874000 | #Constraints: 27519
838.75/841.07 c #Conflicts: 875000 | #Constraints: 28519
838.75/841.07 c #Conflicts: 876000 | #Constraints: 29519
838.75/841.07 c #Conflicts: 877000 | #Constraints: 30519
838.75/841.07 c #Conflicts: 878000 | #Constraints: 31519
838.75/841.07 c #Conflicts: 879000 | #Constraints: 32519
838.75/841.07 c #Conflicts: 880000 | #Constraints: 33519
838.75/841.07 c #Conflicts: 881000 | #Constraints: 34519
838.75/841.07 c #Conflicts: 882000 | #Constraints: 35519
838.75/841.07 c #Conflicts: 883000 | #Constraints: 36519
838.75/841.07 c #Conflicts: 884000 | #Constraints: 37519
838.75/841.07 c INPROCESSING
838.75/841.07 c GARBAGE COLLECT
838.75/841.07 c #Conflicts: 885000 | #Constraints: 19914
838.75/841.07 c #Conflicts: 886000 | #Constraints: 20914
838.75/841.07 c #Conflicts: 887000 | #Constraints: 21914
838.75/841.07 c #Conflicts: 888000 | #Constraints: 22914
838.75/841.07 c #Conflicts: 889000 | #Constraints: 23914
838.75/841.07 c #Conflicts: 890000 | #Constraints: 24914
838.75/841.07 c #Conflicts: 891000 | #Constraints: 25914
966.48/969.17 c #Conflicts: 892000 | #Constraints: 26914
966.48/969.17 c #Conflicts: 893000 | #Constraints: 27914
966.48/969.17 c #Conflicts: 894000 | #Constraints: 28914
966.48/969.17 c #Conflicts: 895000 | #Constraints: 29914
966.48/969.17 c #Conflicts: 896000 | #Constraints: 30914
966.48/969.17 c #Conflicts: 897000 | #Constraints: 31914
966.48/969.17 c #Conflicts: 898000 | #Constraints: 32914
966.48/969.17 c #Conflicts: 899000 | #Constraints: 33914
966.48/969.17 c #Conflicts: 900000 | #Constraints: 34914
966.48/969.17 c #Conflicts: 901000 | #Constraints: 35914
966.48/969.17 c #Conflicts: 902000 | #Constraints: 36914
966.48/969.17 c #Conflicts: 903000 | #Constraints: 37914
966.48/969.17 c INPROCESSING
966.48/969.17 c GARBAGE COLLECT
966.48/969.17 c #Conflicts: 904000 | #Constraints: 20137
966.48/969.17 c #Conflicts: 905000 | #Constraints: 21137
966.48/969.17 c #Conflicts: 906000 | #Constraints: 22137
966.48/969.17 c #Conflicts: 907000 | #Constraints: 23137
966.48/969.17 c #Conflicts: 908000 | #Constraints: 24137
966.48/969.17 c #Conflicts: 909000 | #Constraints: 25137
966.48/969.17 c #Conflicts: 910000 | #Constraints: 26137
966.48/969.17 c #Conflicts: 911000 | #Constraints: 27137
966.48/969.17 c #Conflicts: 912000 | #Constraints: 28137
966.48/969.17 c #Conflicts: 913000 | #Constraints: 29137
966.48/969.17 c #Conflicts: 914000 | #Constraints: 30137
966.48/969.17 c #Conflicts: 915000 | #Constraints: 31137
966.48/969.17 c #Conflicts: 916000 | #Constraints: 32137
966.48/969.17 c #Conflicts: 917000 | #Constraints: 33137
966.48/969.17 c #Conflicts: 918000 | #Constraints: 34137
966.48/969.17 c #Conflicts: 919000 | #Constraints: 35137
966.48/969.17 c #Conflicts: 920000 | #Constraints: 36137
966.48/969.17 c #Conflicts: 921000 | #Constraints: 37137
966.48/969.17 c #Conflicts: 922000 | #Constraints: 38137
966.48/969.17 c INPROCESSING
966.48/969.17 c GARBAGE COLLECT
966.48/969.17 c #Conflicts: 923000 | #Constraints: 20125
966.48/969.17 c #Conflicts: 924000 | #Constraints: 21125
966.48/969.17 c #Conflicts: 925000 | #Constraints: 22125
966.48/969.17 c #Conflicts: 926000 | #Constraints: 23125
966.48/969.17 c #Conflicts: 927000 | #Constraints: 24125
966.48/969.17 c #Conflicts: 928000 | #Constraints: 25125
966.48/969.17 c #Conflicts: 929000 | #Constraints: 26125
966.48/969.17 c #Conflicts: 930000 | #Constraints: 27125
966.48/969.17 c #Conflicts: 931000 | #Constraints: 28125
966.48/969.17 c #Conflicts: 932000 | #Constraints: 29125
966.48/969.17 c #Conflicts: 933000 | #Constraints: 30125
966.48/969.17 c #Conflicts: 934000 | #Constraints: 31125
966.48/969.17 c #Conflicts: 935000 | #Constraints: 32125
966.48/969.17 c #Conflicts: 936000 | #Constraints: 33125
966.48/969.17 c #Conflicts: 937000 | #Constraints: 34125
966.48/969.17 c #Conflicts: 938000 | #Constraints: 35125
966.48/969.17 c #Conflicts: 939000 | #Constraints: 36125
966.48/969.17 c #Conflicts: 940000 | #Constraints: 37125
966.48/969.17 c #Conflicts: 941000 | #Constraints: 38125
966.48/969.17 c INPROCESSING
966.48/969.17 c GARBAGE COLLECT
966.48/969.17 c #Conflicts: 942000 | #Constraints: 19939
966.48/969.17 c #Conflicts: 943000 | #Constraints: 20939
966.48/969.17 c #Conflicts: 944000 | #Constraints: 21939
966.48/969.17 c #Conflicts: 945000 | #Constraints: 22939
966.48/969.17 c #Conflicts: 946000 | #Constraints: 23939
966.48/969.17 c #Conflicts: 947000 | #Constraints: 24939
966.48/969.17 c #Conflicts: 948000 | #Constraints: 25939
966.48/969.17 c #Conflicts: 949000 | #Constraints: 26939
966.48/969.17 c #Conflicts: 950000 | #Constraints: 27939
966.48/969.17 c #Conflicts: 951000 | #Constraints: 28939
966.48/969.17 c #Conflicts: 952000 | #Constraints: 29939
966.48/969.17 c #Conflicts: 953000 | #Constraints: 30939
966.48/969.17 c #Conflicts: 954000 | #Constraints: 31939
966.48/969.17 c #Conflicts: 955000 | #Constraints: 32939
966.48/969.17 c #Conflicts: 956000 | #Constraints: 33939
966.48/969.17 c #Conflicts: 957000 | #Constraints: 34939
966.48/969.17 c #Conflicts: 958000 | #Constraints: 35939
966.48/969.17 c #Conflicts: 959000 | #Constraints: 36939
966.48/969.17 c #Conflicts: 960000 | #Constraints: 37939
966.48/969.17 c #Conflicts: 961000 | #Constraints: 38939
966.48/969.17 c INPROCESSING
966.48/969.17 c GARBAGE COLLECT
966.48/969.17 c #Conflicts: 962000 | #Constraints: 20538
966.48/969.17 c #Conflicts: 963000 | #Constraints: 21538
966.48/969.17 c #Conflicts: 964000 | #Constraints: 22538
966.48/969.17 c #Conflicts: 965000 | #Constraints: 23538
966.48/969.17 c #Conflicts: 966000 | #Constraints: 24538
966.48/969.17 c #Conflicts: 967000 | #Constraints: 25538
1107.02/1110.05 c #Conflicts: 968000 | #Constraints: 26538
1107.02/1110.05 c #Conflicts: 969000 | #Constraints: 27538
1107.02/1110.05 c #Conflicts: 970000 | #Constraints: 28538
1107.02/1110.05 c #Conflicts: 971000 | #Constraints: 29538
1107.02/1110.05 c #Conflicts: 972000 | #Constraints: 30538
1107.02/1110.05 c #Conflicts: 973000 | #Constraints: 31538
1107.02/1110.05 c #Conflicts: 974000 | #Constraints: 32538
1107.02/1110.05 c #Conflicts: 975000 | #Constraints: 33538
1107.02/1110.05 c #Conflicts: 976000 | #Constraints: 34538
1107.02/1110.05 c #Conflicts: 977000 | #Constraints: 35538
1107.02/1110.05 c #Conflicts: 978000 | #Constraints: 36538
1107.02/1110.05 c #Conflicts: 979000 | #Constraints: 37538
1107.02/1110.05 c #Conflicts: 980000 | #Constraints: 38538
1107.02/1110.05 c #Conflicts: 981000 | #Constraints: 39538
1107.02/1110.05 c INPROCESSING
1107.02/1110.05 c GARBAGE COLLECT
1107.02/1110.05 c #Conflicts: 982000 | #Constraints: 20946
1107.02/1110.05 c #Conflicts: 983000 | #Constraints: 21946
1107.02/1110.05 c #Conflicts: 984000 | #Constraints: 22946
1107.02/1110.05 c #Conflicts: 985000 | #Constraints: 23946
1107.02/1110.05 c #Conflicts: 986000 | #Constraints: 24946
1107.02/1110.05 c #Conflicts: 987000 | #Constraints: 25946
1107.02/1110.05 c #Conflicts: 988000 | #Constraints: 26946
1107.02/1110.05 c #Conflicts: 989000 | #Constraints: 27946
1107.02/1110.05 c #Conflicts: 990000 | #Constraints: 28946
1107.02/1110.05 c #Conflicts: 991000 | #Constraints: 29946
1107.02/1110.05 c #Conflicts: 992000 | #Constraints: 30946
1107.02/1110.05 c #Conflicts: 993000 | #Constraints: 31946
1107.02/1110.05 c #Conflicts: 994000 | #Constraints: 32946
1107.02/1110.05 c #Conflicts: 995000 | #Constraints: 33946
1107.02/1110.05 c #Conflicts: 996000 | #Constraints: 34946
1107.02/1110.05 c #Conflicts: 997000 | #Constraints: 35946
1107.02/1110.05 c #Conflicts: 998000 | #Constraints: 36946
1107.02/1110.05 c #Conflicts: 999000 | #Constraints: 37946
1107.02/1110.05 c #Conflicts: 1000000 | #Constraints: 38946
1107.02/1110.05 c #Conflicts: 1001000 | #Constraints: 39946
1107.02/1110.05 c INPROCESSING
1107.02/1110.05 c GARBAGE COLLECT
1107.02/1110.05 c #Conflicts: 1002000 | #Constraints: 21163
1107.02/1110.05 c #Conflicts: 1003000 | #Constraints: 22163
1107.02/1110.05 c #Conflicts: 1004000 | #Constraints: 23163
1107.02/1110.05 c #Conflicts: 1005000 | #Constraints: 24163
1107.02/1110.05 c #Conflicts: 1006000 | #Constraints: 25163
1107.02/1110.05 c #Conflicts: 1007000 | #Constraints: 26163
1107.02/1110.05 c #Conflicts: 1008000 | #Constraints: 27163
1107.02/1110.05 c #Conflicts: 1009000 | #Constraints: 28163
1107.02/1110.05 c #Conflicts: 1010000 | #Constraints: 29163
1107.02/1110.05 c #Conflicts: 1011000 | #Constraints: 30163
1107.02/1110.05 c #Conflicts: 1012000 | #Constraints: 31163
1107.02/1110.05 c #Conflicts: 1013000 | #Constraints: 32163
1107.02/1110.05 c #Conflicts: 1014000 | #Constraints: 33163
1107.02/1110.05 c #Conflicts: 1015000 | #Constraints: 34163
1107.02/1110.05 c #Conflicts: 1016000 | #Constraints: 35163
1107.02/1110.05 c #Conflicts: 1017000 | #Constraints: 36163
1107.02/1110.05 c #Conflicts: 1018000 | #Constraints: 37163
1107.02/1110.05 c #Conflicts: 1019000 | #Constraints: 38163
1107.02/1110.05 c #Conflicts: 1020000 | #Constraints: 39163
1107.02/1110.05 c #Conflicts: 1021000 | #Constraints: 40163
1107.02/1110.05 c INPROCESSING
1107.02/1110.05 c GARBAGE COLLECT
1107.02/1110.05 c #Conflicts: 1022000 | #Constraints: 21178
1107.02/1110.05 c #Conflicts: 1023000 | #Constraints: 22178
1107.02/1110.05 c #Conflicts: 1024000 | #Constraints: 23178
1107.02/1110.05 c #Conflicts: 1025000 | #Constraints: 24178
1107.02/1110.05 c #Conflicts: 1026000 | #Constraints: 25178
1107.02/1110.05 c #Conflicts: 1027000 | #Constraints: 26178
1107.02/1110.05 c #Conflicts: 1028000 | #Constraints: 27178
1107.02/1110.05 c #Conflicts: 1029000 | #Constraints: 28178
1107.02/1110.05 c #Conflicts: 1030000 | #Constraints: 29178
1107.02/1110.05 c #Conflicts: 1031000 | #Constraints: 30178
1107.02/1110.05 c #Conflicts: 1032000 | #Constraints: 31178
1107.02/1110.05 c #Conflicts: 1033000 | #Constraints: 32178
1107.02/1110.05 c #Conflicts: 1034000 | #Constraints: 33178
1107.02/1110.05 c #Conflicts: 1035000 | #Constraints: 34178
1107.02/1110.05 c #Conflicts: 1036000 | #Constraints: 35178
1107.02/1110.05 c #Conflicts: 1037000 | #Constraints: 36178
1107.02/1110.05 c #Conflicts: 1038000 | #Constraints: 37178
1107.02/1110.05 c #Conflicts: 1039000 | #Constraints: 38178
1107.02/1110.05 c #Conflicts: 1040000 | #Constraints: 39178
1107.02/1110.05 c #Conflicts: 1041000 | #Constraints: 40178
1107.02/1110.05 c INPROCESSING
1107.02/1110.05 c GARBAGE COLLECT
1107.02/1110.05 c #Conflicts: 1042000 | #Constraints: 20972
1107.02/1110.05 c #Conflicts: 1043000 | #Constraints: 21972
1107.02/1110.05 c #Conflicts: 1044000 | #Constraints: 22972
1248.26/1251.64 c #Conflicts: 1045000 | #Constraints: 23972
1248.26/1251.64 c #Conflicts: 1046000 | #Constraints: 24972
1248.26/1251.64 c #Conflicts: 1047000 | #Constraints: 25972
1248.26/1251.64 c #Conflicts: 1048000 | #Constraints: 26972
1248.26/1251.64 c #Conflicts: 1049000 | #Constraints: 27972
1248.26/1251.64 c #Conflicts: 1050000 | #Constraints: 28972
1248.26/1251.64 c #Conflicts: 1051000 | #Constraints: 29972
1248.26/1251.64 c #Conflicts: 1052000 | #Constraints: 30972
1248.26/1251.64 c #Conflicts: 1053000 | #Constraints: 31972
1248.26/1251.64 c #Conflicts: 1054000 | #Constraints: 32972
1248.26/1251.64 c #Conflicts: 1055000 | #Constraints: 33972
1248.26/1251.64 c #Conflicts: 1056000 | #Constraints: 34972
1248.26/1251.64 c #Conflicts: 1057000 | #Constraints: 35972
1248.26/1251.64 c #Conflicts: 1058000 | #Constraints: 36972
1248.26/1251.64 c #Conflicts: 1059000 | #Constraints: 37972
1248.26/1251.64 c #Conflicts: 1060000 | #Constraints: 38972
1248.26/1251.64 c #Conflicts: 1061000 | #Constraints: 39972
1248.26/1251.64 c #Conflicts: 1062000 | #Constraints: 40972
1248.26/1251.64 c INPROCESSING
1248.26/1251.64 c GARBAGE COLLECT
1248.26/1251.64 c #Conflicts: 1063000 | #Constraints: 21577
1248.26/1251.64 c #Conflicts: 1064000 | #Constraints: 22577
1248.26/1251.64 c #Conflicts: 1065000 | #Constraints: 23577
1248.26/1251.64 c #Conflicts: 1066000 | #Constraints: 24577
1248.26/1251.64 c #Conflicts: 1067000 | #Constraints: 25577
1248.26/1251.64 c #Conflicts: 1068000 | #Constraints: 26577
1248.26/1251.64 c #Conflicts: 1069000 | #Constraints: 27577
1248.26/1251.64 c #Conflicts: 1070000 | #Constraints: 28577
1248.26/1251.64 c #Conflicts: 1071000 | #Constraints: 29577
1248.26/1251.64 c #Conflicts: 1072000 | #Constraints: 30577
1248.26/1251.64 c #Conflicts: 1073000 | #Constraints: 31577
1248.26/1251.64 c #Conflicts: 1074000 | #Constraints: 32577
1248.26/1251.64 c #Conflicts: 1075000 | #Constraints: 33577
1248.26/1251.64 c #Conflicts: 1076000 | #Constraints: 34577
1248.26/1251.64 c #Conflicts: 1077000 | #Constraints: 35577
1248.26/1251.64 c #Conflicts: 1078000 | #Constraints: 36577
1248.26/1251.64 c #Conflicts: 1079000 | #Constraints: 37577
1248.26/1251.64 c #Conflicts: 1080000 | #Constraints: 38577
1248.26/1251.64 c #Conflicts: 1081000 | #Constraints: 39577
1248.26/1251.64 c #Conflicts: 1082000 | #Constraints: 40577
1248.26/1251.64 c #Conflicts: 1083000 | #Constraints: 41577
1248.26/1251.64 c INPROCESSING
1248.26/1251.64 c GARBAGE COLLECT
1248.26/1251.64 c #Conflicts: 1084000 | #Constraints: 21973
1248.26/1251.64 c #Conflicts: 1085000 | #Constraints: 22973
1248.26/1251.64 c #Conflicts: 1086000 | #Constraints: 23973
1248.26/1251.64 c #Conflicts: 1087000 | #Constraints: 24973
1248.26/1251.64 c #Conflicts: 1088000 | #Constraints: 25973
1248.26/1251.64 c #Conflicts: 1089000 | #Constraints: 26973
1248.26/1251.64 c #Conflicts: 1090000 | #Constraints: 27973
1248.26/1251.64 c #Conflicts: 1091000 | #Constraints: 28973
1248.26/1251.64 c #Conflicts: 1092000 | #Constraints: 29973
1248.26/1251.64 c #Conflicts: 1093000 | #Constraints: 30973
1248.26/1251.64 c #Conflicts: 1094000 | #Constraints: 31973
1248.26/1251.64 c #Conflicts: 1095000 | #Constraints: 32973
1248.26/1251.64 c #Conflicts: 1096000 | #Constraints: 33973
1248.26/1251.64 c #Conflicts: 1097000 | #Constraints: 34973
1248.26/1251.64 c #Conflicts: 1098000 | #Constraints: 35973
1248.26/1251.64 c #Conflicts: 1099000 | #Constraints: 36973
1248.26/1251.64 c #Conflicts: 1100000 | #Constraints: 37973
1248.26/1251.64 c #Conflicts: 1101000 | #Constraints: 38973
1248.26/1251.64 c #Conflicts: 1102000 | #Constraints: 39973
1248.26/1251.64 c #Conflicts: 1103000 | #Constraints: 40973
1248.26/1251.64 c #Conflicts: 1104000 | #Constraints: 41973
1248.26/1251.64 c INPROCESSING
1248.26/1251.64 c GARBAGE COLLECT
1248.26/1251.64 c #Conflicts: 1105000 | #Constraints: 22173
1248.26/1251.64 c #Conflicts: 1106000 | #Constraints: 23173
1248.26/1251.64 c #Conflicts: 1107000 | #Constraints: 24173
1248.26/1251.64 c #Conflicts: 1108000 | #Constraints: 25173
1248.26/1251.64 c #Conflicts: 1109000 | #Constraints: 26173
1248.26/1251.64 c #Conflicts: 1110000 | #Constraints: 27173
1248.26/1251.64 c #Conflicts: 1111000 | #Constraints: 28173
1248.26/1251.64 c #Conflicts: 1112000 | #Constraints: 29173
1248.26/1251.64 c #Conflicts: 1113000 | #Constraints: 30173
1248.26/1251.64 c #Conflicts: 1114000 | #Constraints: 31173
1248.26/1251.64 c #Conflicts: 1115000 | #Constraints: 32173
1248.26/1251.64 c #Conflicts: 1116000 | #Constraints: 33173
1248.26/1251.64 c #Conflicts: 1117000 | #Constraints: 34173
1248.26/1251.64 c #Conflicts: 1118000 | #Constraints: 35173
1248.26/1251.64 c #Conflicts: 1119000 | #Constraints: 36173
1248.26/1251.64 c #Conflicts: 1120000 | #Constraints: 37173
1248.26/1251.64 c #Conflicts: 1121000 | #Constraints: 38173
1372.25/1375.98 c #Conflicts: 1122000 | #Constraints: 39173
1372.25/1375.98 c #Conflicts: 1123000 | #Constraints: 40173
1372.25/1375.98 c #Conflicts: 1124000 | #Constraints: 41173
1372.25/1375.98 c #Conflicts: 1125000 | #Constraints: 42173
1372.25/1375.98 c INPROCESSING
1372.25/1375.98 c GARBAGE COLLECT
1372.25/1375.98 c #Conflicts: 1126000 | #Constraints: 22171
1372.25/1375.98 c #Conflicts: 1127000 | #Constraints: 23171
1372.25/1375.98 c #Conflicts: 1128000 | #Constraints: 24171
1372.25/1375.98 c #Conflicts: 1129000 | #Constraints: 25171
1372.25/1375.98 c #Conflicts: 1130000 | #Constraints: 26171
1372.25/1375.98 c #Conflicts: 1131000 | #Constraints: 27171
1372.25/1375.98 c #Conflicts: 1132000 | #Constraints: 28171
1372.25/1375.98 c #Conflicts: 1133000 | #Constraints: 29171
1372.25/1375.98 c #Conflicts: 1134000 | #Constraints: 30171
1372.25/1375.98 c #Conflicts: 1135000 | #Constraints: 31171
1372.25/1375.98 c #Conflicts: 1136000 | #Constraints: 32171
1372.25/1375.98 c #Conflicts: 1137000 | #Constraints: 33171
1372.25/1375.98 c #Conflicts: 1138000 | #Constraints: 34171
1372.25/1375.98 c #Conflicts: 1139000 | #Constraints: 35171
1372.25/1375.98 c #Conflicts: 1140000 | #Constraints: 36171
1372.25/1375.98 c #Conflicts: 1141000 | #Constraints: 37171
1372.25/1375.98 c #Conflicts: 1142000 | #Constraints: 38171
1372.25/1375.98 c #Conflicts: 1143000 | #Constraints: 39171
1372.25/1375.98 c #Conflicts: 1144000 | #Constraints: 40171
1372.25/1375.98 c #Conflicts: 1145000 | #Constraints: 41171
1372.25/1375.98 c #Conflicts: 1146000 | #Constraints: 42171
1372.25/1375.98 c INPROCESSING
1372.25/1375.98 c GARBAGE COLLECT
1372.25/1375.98 c #Conflicts: 1147000 | #Constraints: 21954
1372.25/1375.98 c #Conflicts: 1148000 | #Constraints: 22954
1372.25/1375.98 c #Conflicts: 1149000 | #Constraints: 23954
1372.25/1375.98 c #Conflicts: 1150000 | #Constraints: 24954
1372.25/1375.98 c #Conflicts: 1151000 | #Constraints: 25954
1372.25/1375.98 c #Conflicts: 1152000 | #Constraints: 26954
1372.25/1375.98 c #Conflicts: 1153000 | #Constraints: 27954
1372.25/1375.98 c #Conflicts: 1154000 | #Constraints: 28954
1372.25/1375.98 c #Conflicts: 1155000 | #Constraints: 29954
1372.25/1375.98 c #Conflicts: 1156000 | #Constraints: 30954
1372.25/1375.98 c #Conflicts: 1157000 | #Constraints: 31954
1372.25/1375.98 c #Conflicts: 1158000 | #Constraints: 32954
1372.25/1375.98 c #Conflicts: 1159000 | #Constraints: 33954
1372.25/1375.98 c #Conflicts: 1160000 | #Constraints: 34954
1372.25/1375.98 c #Conflicts: 1161000 | #Constraints: 35954
1372.25/1375.98 c #Conflicts: 1162000 | #Constraints: 36954
1372.25/1375.98 c #Conflicts: 1163000 | #Constraints: 37954
1372.25/1375.98 c #Conflicts: 1164000 | #Constraints: 38954
1372.25/1375.98 c #Conflicts: 1165000 | #Constraints: 39954
1372.25/1375.98 c #Conflicts: 1166000 | #Constraints: 40954
1372.25/1375.98 c #Conflicts: 1167000 | #Constraints: 41954
1372.25/1375.98 c #Conflicts: 1168000 | #Constraints: 42954
1372.25/1375.98 c INPROCESSING
1372.25/1375.98 c GARBAGE COLLECT
1372.25/1375.98 c #Conflicts: 1169000 | #Constraints: 22551
1372.25/1375.98 c #Conflicts: 1170000 | #Constraints: 23551
1372.25/1375.98 c #Conflicts: 1171000 | #Constraints: 24551
1372.25/1375.98 c #Conflicts: 1172000 | #Constraints: 25551
1372.25/1375.98 c #Conflicts: 1173000 | #Constraints: 26551
1372.25/1375.98 c #Conflicts: 1174000 | #Constraints: 27551
1372.25/1375.98 c #Conflicts: 1175000 | #Constraints: 28551
1372.25/1375.98 c #Conflicts: 1176000 | #Constraints: 29551
1372.25/1375.98 c #Conflicts: 1177000 | #Constraints: 30551
1372.25/1375.98 c #Conflicts: 1178000 | #Constraints: 31551
1372.25/1375.98 c #Conflicts: 1179000 | #Constraints: 32551
1372.25/1375.98 c #Conflicts: 1180000 | #Constraints: 33551
1372.25/1375.98 c #Conflicts: 1181000 | #Constraints: 34551
1372.25/1375.98 c #Conflicts: 1182000 | #Constraints: 35551
1372.25/1375.98 c #Conflicts: 1183000 | #Constraints: 36551
1372.25/1375.98 c #Conflicts: 1184000 | #Constraints: 37551
1372.25/1375.98 c #Conflicts: 1185000 | #Constraints: 38551
1372.25/1375.98 c #Conflicts: 1186000 | #Constraints: 39551
1372.25/1375.98 c #Conflicts: 1187000 | #Constraints: 40551
1372.25/1375.98 c #Conflicts: 1188000 | #Constraints: 41551
1372.25/1375.98 c #Conflicts: 1189000 | #Constraints: 42551
1372.25/1375.98 c #Conflicts: 1190000 | #Constraints: 43551
1372.25/1375.98 c INPROCESSING
1372.25/1375.98 c GARBAGE COLLECT
1372.25/1375.98 c #Conflicts: 1191000 | #Constraints: 22954
1372.25/1375.98 c #Conflicts: 1192000 | #Constraints: 23954
1372.25/1375.98 c #Conflicts: 1193000 | #Constraints: 24954
1372.25/1375.98 c #Conflicts: 1194000 | #Constraints: 25954
1372.25/1375.98 c #Conflicts: 1195000 | #Constraints: 26954
1372.25/1375.98 c #Conflicts: 1196000 | #Constraints: 27954
1372.25/1375.98 c #Conflicts: 1197000 | #Constraints: 28954
1536.08/1540.25 c #Conflicts: 1198000 | #Constraints: 29954
1536.08/1540.25 c #Conflicts: 1199000 | #Constraints: 30954
1536.08/1540.25 c #Conflicts: 1200000 | #Constraints: 31954
1536.08/1540.25 c #Conflicts: 1201000 | #Constraints: 32954
1536.08/1540.25 c #Conflicts: 1202000 | #Constraints: 33954
1536.08/1540.25 c #Conflicts: 1203000 | #Constraints: 34954
1536.08/1540.25 c #Conflicts: 1204000 | #Constraints: 35954
1536.08/1540.25 c #Conflicts: 1205000 | #Constraints: 36954
1536.08/1540.25 c #Conflicts: 1206000 | #Constraints: 37954
1536.08/1540.25 c #Conflicts: 1207000 | #Constraints: 38954
1536.08/1540.25 c #Conflicts: 1208000 | #Constraints: 39954
1536.08/1540.25 c #Conflicts: 1209000 | #Constraints: 40954
1536.08/1540.25 c #Conflicts: 1210000 | #Constraints: 41954
1536.08/1540.25 c #Conflicts: 1211000 | #Constraints: 42954
1536.08/1540.25 c #Conflicts: 1212000 | #Constraints: 43954
1536.08/1540.25 c INPROCESSING
1536.08/1540.25 c GARBAGE COLLECT
1536.08/1540.25 c #Conflicts: 1213000 | #Constraints: 23161
1536.08/1540.25 c #Conflicts: 1214000 | #Constraints: 24161
1536.08/1540.25 c #Conflicts: 1215000 | #Constraints: 25161
1536.08/1540.25 c #Conflicts: 1216000 | #Constraints: 26161
1536.08/1540.25 c #Conflicts: 1217000 | #Constraints: 27161
1536.08/1540.25 c #Conflicts: 1218000 | #Constraints: 28161
1536.08/1540.25 c #Conflicts: 1219000 | #Constraints: 29161
1536.08/1540.25 c #Conflicts: 1220000 | #Constraints: 30161
1536.08/1540.25 c #Conflicts: 1221000 | #Constraints: 31161
1536.08/1540.25 c #Conflicts: 1222000 | #Constraints: 32161
1536.08/1540.25 c #Conflicts: 1223000 | #Constraints: 33161
1536.08/1540.25 c #Conflicts: 1224000 | #Constraints: 34161
1536.08/1540.25 c #Conflicts: 1225000 | #Constraints: 35161
1536.08/1540.25 c #Conflicts: 1226000 | #Constraints: 36161
1536.08/1540.25 c #Conflicts: 1227000 | #Constraints: 37161
1536.08/1540.25 c #Conflicts: 1228000 | #Constraints: 38161
1536.08/1540.25 c #Conflicts: 1229000 | #Constraints: 39161
1536.08/1540.25 c #Conflicts: 1230000 | #Constraints: 40161
1536.08/1540.25 c #Conflicts: 1231000 | #Constraints: 41161
1536.08/1540.25 c #Conflicts: 1232000 | #Constraints: 42161
1536.08/1540.25 c #Conflicts: 1233000 | #Constraints: 43161
1536.08/1540.25 c #Conflicts: 1234000 | #Constraints: 44161
1536.08/1540.25 c INPROCESSING
1536.08/1540.25 c GARBAGE COLLECT
1536.08/1540.25 c #Conflicts: 1235000 | #Constraints: 23150
1536.08/1540.25 c #Conflicts: 1236000 | #Constraints: 24150
1536.08/1540.25 c #Conflicts: 1237000 | #Constraints: 25150
1536.08/1540.25 c #Conflicts: 1238000 | #Constraints: 26150
1536.08/1540.25 c #Conflicts: 1239000 | #Constraints: 27150
1536.08/1540.25 c #Conflicts: 1240000 | #Constraints: 28150
1536.08/1540.25 c #Conflicts: 1241000 | #Constraints: 29150
1536.08/1540.25 c #Conflicts: 1242000 | #Constraints: 30150
1536.08/1540.25 c #Conflicts: 1243000 | #Constraints: 31150
1536.08/1540.25 c #Conflicts: 1244000 | #Constraints: 32150
1536.08/1540.25 c #Conflicts: 1245000 | #Constraints: 33150
1536.08/1540.25 c #Conflicts: 1246000 | #Constraints: 34150
1536.08/1540.25 c #Conflicts: 1247000 | #Constraints: 35150
1536.08/1540.25 c #Conflicts: 1248000 | #Constraints: 36150
1536.08/1540.25 c #Conflicts: 1249000 | #Constraints: 37150
1536.08/1540.25 c #Conflicts: 1250000 | #Constraints: 38150
1536.08/1540.25 c #Conflicts: 1251000 | #Constraints: 39150
1536.08/1540.25 c #Conflicts: 1252000 | #Constraints: 40150
1536.08/1540.25 c #Conflicts: 1253000 | #Constraints: 41150
1536.08/1540.25 c #Conflicts: 1254000 | #Constraints: 42150
1536.08/1540.25 c #Conflicts: 1255000 | #Constraints: 43150
1536.08/1540.25 c #Conflicts: 1256000 | #Constraints: 44150
1536.08/1540.25 c INPROCESSING
1536.08/1540.25 c GARBAGE COLLECT
1536.08/1540.25 c #Conflicts: 1257000 | #Constraints: 22967
1536.08/1540.25 c #Conflicts: 1258000 | #Constraints: 23967
1536.08/1540.25 c #Conflicts: 1259000 | #Constraints: 24967
1536.08/1540.25 c #Conflicts: 1260000 | #Constraints: 25967
1536.08/1540.25 c #Conflicts: 1261000 | #Constraints: 26967
1536.08/1540.25 c #Conflicts: 1262000 | #Constraints: 27967
1536.08/1540.25 c #Conflicts: 1263000 | #Constraints: 28967
1536.08/1540.25 c #Conflicts: 1264000 | #Constraints: 29967
1536.08/1540.25 c #Conflicts: 1265000 | #Constraints: 30967
1536.08/1540.25 c #Conflicts: 1266000 | #Constraints: 31967
1536.08/1540.25 c #Conflicts: 1267000 | #Constraints: 32967
1536.08/1540.25 c #Conflicts: 1268000 | #Constraints: 33967
1536.08/1540.25 c #Conflicts: 1269000 | #Constraints: 34967
1536.08/1540.25 c #Conflicts: 1270000 | #Constraints: 35967
1536.08/1540.25 c #Conflicts: 1271000 | #Constraints: 36967
1536.08/1540.25 c #Conflicts: 1272000 | #Constraints: 37967
1536.08/1540.25 c #Conflicts: 1273000 | #Constraints: 38967
1536.08/1540.25 c #Conflicts: 1274000 | #Constraints: 39967
1697.22/1701.89 c #Conflicts: 1275000 | #Constraints: 40967
1697.22/1701.89 c #Conflicts: 1276000 | #Constraints: 41967
1697.22/1701.89 c #Conflicts: 1277000 | #Constraints: 42967
1697.22/1701.89 c #Conflicts: 1278000 | #Constraints: 43967
1697.22/1701.89 c #Conflicts: 1279000 | #Constraints: 44967
1697.22/1701.89 c INPROCESSING
1697.22/1701.89 c GARBAGE COLLECT
1697.22/1701.89 c #Conflicts: 1280000 | #Constraints: 23546
1697.22/1701.89 c #Conflicts: 1281000 | #Constraints: 24546
1697.22/1701.89 c #Conflicts: 1282000 | #Constraints: 25546
1697.22/1701.89 c #Conflicts: 1283000 | #Constraints: 26546
1697.22/1701.89 c #Conflicts: 1284000 | #Constraints: 27546
1697.22/1701.89 c #Conflicts: 1285000 | #Constraints: 28546
1697.22/1701.89 c #Conflicts: 1286000 | #Constraints: 29546
1697.22/1701.89 c #Conflicts: 1287000 | #Constraints: 30546
1697.22/1701.89 c #Conflicts: 1288000 | #Constraints: 31546
1697.22/1701.89 c #Conflicts: 1289000 | #Constraints: 32546
1697.22/1701.89 c #Conflicts: 1290000 | #Constraints: 33546
1697.22/1701.89 c #Conflicts: 1291000 | #Constraints: 34546
1697.22/1701.89 c #Conflicts: 1292000 | #Constraints: 35546
1697.22/1701.89 c #Conflicts: 1293000 | #Constraints: 36546
1697.22/1701.89 c #Conflicts: 1294000 | #Constraints: 37546
1697.22/1701.89 c #Conflicts: 1295000 | #Constraints: 38546
1697.22/1701.89 c #Conflicts: 1296000 | #Constraints: 39546
1697.22/1701.89 c #Conflicts: 1297000 | #Constraints: 40546
1697.22/1701.89 c #Conflicts: 1298000 | #Constraints: 41546
1697.22/1701.89 c #Conflicts: 1299000 | #Constraints: 42546
1697.22/1701.89 c #Conflicts: 1300000 | #Constraints: 43546
1697.22/1701.89 c #Conflicts: 1301000 | #Constraints: 44546
1697.22/1701.89 c #Conflicts: 1302000 | #Constraints: 45546
1697.22/1701.89 c INPROCESSING
1697.22/1701.89 c GARBAGE COLLECT
1697.22/1701.89 c #Conflicts: 1303000 | #Constraints: 23923
1697.22/1701.89 c #Conflicts: 1304000 | #Constraints: 24923
1697.22/1701.89 c #Conflicts: 1305000 | #Constraints: 25923
1697.22/1701.89 c #Conflicts: 1306000 | #Constraints: 26923
1697.22/1701.89 c #Conflicts: 1307000 | #Constraints: 27923
1697.22/1701.89 c #Conflicts: 1308000 | #Constraints: 28923
1697.22/1701.89 c #Conflicts: 1309000 | #Constraints: 29923
1697.22/1701.89 c #Conflicts: 1310000 | #Constraints: 30923
1697.22/1701.89 c #Conflicts: 1311000 | #Constraints: 31923
1697.22/1701.89 c #Conflicts: 1312000 | #Constraints: 32923
1697.22/1701.89 c #Conflicts: 1313000 | #Constraints: 33923
1697.22/1701.89 c #Conflicts: 1314000 | #Constraints: 34923
1697.22/1701.89 c #Conflicts: 1315000 | #Constraints: 35923
1697.22/1701.89 c #Conflicts: 1316000 | #Constraints: 36923
1697.22/1701.89 c #Conflicts: 1317000 | #Constraints: 37923
1697.22/1701.89 c #Conflicts: 1318000 | #Constraints: 38923
1697.22/1701.89 c #Conflicts: 1319000 | #Constraints: 39923
1697.22/1701.89 c #Conflicts: 1320000 | #Constraints: 40923
1697.22/1701.89 c #Conflicts: 1321000 | #Constraints: 41923
1697.22/1701.89 c #Conflicts: 1322000 | #Constraints: 42923
1697.22/1701.89 c #Conflicts: 1323000 | #Constraints: 43923
1697.22/1701.89 c #Conflicts: 1324000 | #Constraints: 44923
1697.22/1701.89 c #Conflicts: 1325000 | #Constraints: 45923
1697.22/1701.89 c INPROCESSING
1697.22/1701.89 c GARBAGE COLLECT
1697.22/1701.89 c #Conflicts: 1326000 | #Constraints: 24130
1697.22/1701.89 c #Conflicts: 1327000 | #Constraints: 25130
1697.22/1701.89 c #Conflicts: 1328000 | #Constraints: 26130
1697.22/1701.89 c #Conflicts: 1329000 | #Constraints: 27130
1697.22/1701.89 c #Conflicts: 1330000 | #Constraints: 28130
1697.22/1701.89 c #Conflicts: 1331000 | #Constraints: 29130
1697.22/1701.89 c #Conflicts: 1332000 | #Constraints: 30130
1697.22/1701.89 c #Conflicts: 1333000 | #Constraints: 31130
1697.22/1701.89 c #Conflicts: 1334000 | #Constraints: 32130
1697.22/1701.89 c #Conflicts: 1335000 | #Constraints: 33130
1697.22/1701.89 c #Conflicts: 1336000 | #Constraints: 34130
1697.22/1701.89 c #Conflicts: 1337000 | #Constraints: 35130
1697.22/1701.89 c #Conflicts: 1338000 | #Constraints: 36130
1697.22/1701.89 c #Conflicts: 1339000 | #Constraints: 37130
1697.22/1701.89 c #Conflicts: 1340000 | #Constraints: 38130
1697.22/1701.89 c #Conflicts: 1341000 | #Constraints: 39130
1697.22/1701.89 c #Conflicts: 1342000 | #Constraints: 40130
1697.22/1701.89 c #Conflicts: 1343000 | #Constraints: 41130
1697.22/1701.89 c #Conflicts: 1344000 | #Constraints: 42130
1697.22/1701.89 c #Conflicts: 1345000 | #Constraints: 43130
1697.22/1701.89 c #Conflicts: 1346000 | #Constraints: 44130
1697.22/1701.89 c #Conflicts: 1347000 | #Constraints: 45130
1697.22/1701.89 c #Conflicts: 1348000 | #Constraints: 46130
1697.22/1701.89 c INPROCESSING
1697.22/1701.89 c GARBAGE COLLECT
1697.22/1701.89 c #Conflicts: 1349000 | #Constraints: 24143
1697.22/1701.89 c #Conflicts: 1350000 | #Constraints: 25143
1830.45/1835.47 c #Conflicts: 1351000 | #Constraints: 26143
1830.45/1835.47 c #Conflicts: 1352000 | #Constraints: 27143
1830.45/1835.47 c #Conflicts: 1353000 | #Constraints: 28143
1830.45/1835.47 c #Conflicts: 1354000 | #Constraints: 29143
1830.45/1835.47 c #Conflicts: 1355000 | #Constraints: 30143
1830.45/1835.47 c #Conflicts: 1356000 | #Constraints: 31143
1830.45/1835.47 c #Conflicts: 1357000 | #Constraints: 32143
1830.45/1835.47 c #Conflicts: 1358000 | #Constraints: 33143
1830.45/1835.47 c #Conflicts: 1359000 | #Constraints: 34143
1830.45/1835.47 c #Conflicts: 1360000 | #Constraints: 35143
1830.45/1835.47 c #Conflicts: 1361000 | #Constraints: 36143
1830.45/1835.47 c #Conflicts: 1362000 | #Constraints: 37143
1830.45/1835.47 c #Conflicts: 1363000 | #Constraints: 38143
1830.45/1835.47 c #Conflicts: 1364000 | #Constraints: 39143
1830.45/1835.47 c #Conflicts: 1365000 | #Constraints: 40143
1830.45/1835.47 c #Conflicts: 1366000 | #Constraints: 41143
1830.45/1835.47 c #Conflicts: 1367000 | #Constraints: 42143
1830.45/1835.47 c #Conflicts: 1368000 | #Constraints: 43143
1830.45/1835.47 c #Conflicts: 1369000 | #Constraints: 44143
1830.45/1835.47 c #Conflicts: 1370000 | #Constraints: 45143
1830.45/1835.47 c #Conflicts: 1371000 | #Constraints: 46143
1830.45/1835.47 c INPROCESSING
1830.45/1835.47 c GARBAGE COLLECT
1830.45/1835.47 c #Conflicts: 1372000 | #Constraints: 23941
1830.45/1835.47 c #Conflicts: 1373000 | #Constraints: 24941
1830.45/1835.47 c #Conflicts: 1374000 | #Constraints: 25941
1830.45/1835.47 c #Conflicts: 1375000 | #Constraints: 26941
1830.45/1835.47 c #Conflicts: 1376000 | #Constraints: 27941
1830.45/1835.47 c #Conflicts: 1377000 | #Constraints: 28941
1830.45/1835.47 c #Conflicts: 1378000 | #Constraints: 29941
1830.45/1835.47 c #Conflicts: 1379000 | #Constraints: 30941
1830.45/1835.47 c #Conflicts: 1380000 | #Constraints: 31941
1830.45/1835.47 c #Conflicts: 1381000 | #Constraints: 32941
1830.45/1835.47 c #Conflicts: 1382000 | #Constraints: 33941
1830.45/1835.47 c #Conflicts: 1383000 | #Constraints: 34941
1830.45/1835.47 c #Conflicts: 1384000 | #Constraints: 35941
1830.45/1835.47 c #Conflicts: 1385000 | #Constraints: 36941
1830.45/1835.47 c #Conflicts: 1386000 | #Constraints: 37941
1830.45/1835.47 c #Conflicts: 1387000 | #Constraints: 38941
1830.45/1835.47 c #Conflicts: 1388000 | #Constraints: 39941
1830.45/1835.47 c #Conflicts: 1389000 | #Constraints: 40941
1830.45/1835.47 c #Conflicts: 1390000 | #Constraints: 41941
1830.45/1835.47 c #Conflicts: 1391000 | #Constraints: 42941
1830.45/1835.47 c #Conflicts: 1392000 | #Constraints: 43941
1830.45/1835.47 c #Conflicts: 1393000 | #Constraints: 44941
1830.45/1835.47 c #Conflicts: 1394000 | #Constraints: 45941
1830.45/1835.47 c #Conflicts: 1395000 | #Constraints: 46941
1830.45/1835.47 c INPROCESSING
1830.45/1835.47 c GARBAGE COLLECT
1830.45/1835.47 c #Conflicts: 1396000 | #Constraints: 24540
1830.45/1835.47 c #Conflicts: 1397000 | #Constraints: 25540
1830.45/1835.47 c #Conflicts: 1398000 | #Constraints: 26540
1830.45/1835.47 c #Conflicts: 1399000 | #Constraints: 27540
1830.45/1835.47 c #Conflicts: 1400000 | #Constraints: 28540
1830.45/1835.47 c #Conflicts: 1401000 | #Constraints: 29540
1830.45/1835.47 c #Conflicts: 1402000 | #Constraints: 30540
1830.45/1835.47 c #Conflicts: 1403000 | #Constraints: 31540
1830.45/1835.47 c #Conflicts: 1404000 | #Constraints: 32540
1830.45/1835.47 c #Conflicts: 1405000 | #Constraints: 33540
1830.45/1835.47 c #Conflicts: 1406000 | #Constraints: 34540
1830.45/1835.47 c #Conflicts: 1407000 | #Constraints: 35540
1830.45/1835.47 c #Conflicts: 1408000 | #Constraints: 36540
1830.45/1835.47 c #Conflicts: 1409000 | #Constraints: 37540
1830.45/1835.47 c #Conflicts: 1410000 | #Constraints: 38540
1830.45/1835.47 c #Conflicts: 1411000 | #Constraints: 39540
1830.45/1835.47 c #Conflicts: 1412000 | #Constraints: 40540
1830.45/1835.47 c #Conflicts: 1413000 | #Constraints: 41540
1830.45/1835.47 c #Conflicts: 1414000 | #Constraints: 42540
1830.45/1835.47 c #Conflicts: 1415000 | #Constraints: 43540
1830.45/1835.47 c #Conflicts: 1416000 | #Constraints: 44540
1830.45/1835.47 c #Conflicts: 1417000 | #Constraints: 45540
1830.45/1835.47 c #Conflicts: 1418000 | #Constraints: 46540
1830.45/1835.47 c #Conflicts: 1419000 | #Constraints: 47540
1830.45/1835.47 c INPROCESSING
1830.45/1835.47 c GARBAGE COLLECT
1830.45/1835.47 c #Conflicts: 1420000 | #Constraints: 24957
1830.45/1835.47 c #Conflicts: 1421000 | #Constraints: 25957
1830.45/1835.47 c #Conflicts: 1422000 | #Constraints: 26957
1830.45/1835.47 c #Conflicts: 1423000 | #Constraints: 27957
1830.45/1835.47 c #Conflicts: 1424000 | #Constraints: 28957
1830.45/1835.47 c #Conflicts: 1425000 | #Constraints: 29957
1830.45/1835.47 c #Conflicts: 1426000 | #Constraints: 30957
1830.45/1835.47 c #Conflicts: 1427000 | #Constraints: 31957
2001.33/2006.75 c #Conflicts: 1428000 | #Constraints: 32957
2001.33/2006.75 c #Conflicts: 1429000 | #Constraints: 33957
2001.33/2006.75 c #Conflicts: 1430000 | #Constraints: 34957
2001.33/2006.75 c #Conflicts: 1431000 | #Constraints: 35957
2001.33/2006.75 c #Conflicts: 1432000 | #Constraints: 36957
2001.33/2006.75 c #Conflicts: 1433000 | #Constraints: 37957
2001.33/2006.75 c #Conflicts: 1434000 | #Constraints: 38957
2001.33/2006.75 c #Conflicts: 1435000 | #Constraints: 39957
2001.33/2006.75 c #Conflicts: 1436000 | #Constraints: 40957
2001.33/2006.75 c #Conflicts: 1437000 | #Constraints: 41957
2001.33/2006.75 c #Conflicts: 1438000 | #Constraints: 42957
2001.33/2006.75 c #Conflicts: 1439000 | #Constraints: 43957
2001.33/2006.75 c #Conflicts: 1440000 | #Constraints: 44957
2001.33/2006.75 c #Conflicts: 1441000 | #Constraints: 45957
2001.33/2006.75 c #Conflicts: 1442000 | #Constraints: 46957
2001.33/2006.75 c #Conflicts: 1443000 | #Constraints: 47957
2001.33/2006.75 c INPROCESSING
2001.33/2006.75 c GARBAGE COLLECT
2001.33/2006.75 c #Conflicts: 1444000 | #Constraints: 25130
2001.33/2006.75 c #Conflicts: 1445000 | #Constraints: 26130
2001.33/2006.75 c #Conflicts: 1446000 | #Constraints: 27130
2001.33/2006.75 c #Conflicts: 1447000 | #Constraints: 28130
2001.33/2006.75 c #Conflicts: 1448000 | #Constraints: 29130
2001.33/2006.75 c #Conflicts: 1449000 | #Constraints: 30130
2001.33/2006.75 c #Conflicts: 1450000 | #Constraints: 31130
2001.33/2006.75 c #Conflicts: 1451000 | #Constraints: 32130
2001.33/2006.75 c #Conflicts: 1452000 | #Constraints: 33130
2001.33/2006.75 c #Conflicts: 1453000 | #Constraints: 34130
2001.33/2006.75 c #Conflicts: 1454000 | #Constraints: 35130
2001.33/2006.75 c #Conflicts: 1455000 | #Constraints: 36130
2001.33/2006.75 c #Conflicts: 1456000 | #Constraints: 37130
2001.33/2006.75 c #Conflicts: 1457000 | #Constraints: 38130
2001.33/2006.75 c #Conflicts: 1458000 | #Constraints: 39130
2001.33/2006.75 c #Conflicts: 1459000 | #Constraints: 40130
2001.33/2006.75 c #Conflicts: 1460000 | #Constraints: 41130
2001.33/2006.75 c #Conflicts: 1461000 | #Constraints: 42130
2001.33/2006.75 c #Conflicts: 1462000 | #Constraints: 43130
2001.33/2006.75 c #Conflicts: 1463000 | #Constraints: 44130
2001.33/2006.75 c #Conflicts: 1464000 | #Constraints: 45130
2001.33/2006.75 c #Conflicts: 1465000 | #Constraints: 46130
2001.33/2006.75 c #Conflicts: 1466000 | #Constraints: 47130
2001.33/2006.75 c #Conflicts: 1467000 | #Constraints: 48130
2001.33/2006.75 c INPROCESSING
2001.33/2006.75 c GARBAGE COLLECT
2001.33/2006.75 c #Conflicts: 1468000 | #Constraints: 25132
2001.33/2006.75 c #Conflicts: 1469000 | #Constraints: 26132
2001.33/2006.75 c #Conflicts: 1470000 | #Constraints: 27132
2001.33/2006.75 c #Conflicts: 1471000 | #Constraints: 28132
2001.33/2006.75 c #Conflicts: 1472000 | #Constraints: 29132
2001.33/2006.75 c #Conflicts: 1473000 | #Constraints: 30132
2001.33/2006.75 c #Conflicts: 1474000 | #Constraints: 31132
2001.33/2006.75 c #Conflicts: 1475000 | #Constraints: 32132
2001.33/2006.75 c #Conflicts: 1476000 | #Constraints: 33132
2001.33/2006.75 c #Conflicts: 1477000 | #Constraints: 34132
2001.33/2006.75 c #Conflicts: 1478000 | #Constraints: 35132
2001.33/2006.75 c #Conflicts: 1479000 | #Constraints: 36132
2001.33/2006.75 c #Conflicts: 1480000 | #Constraints: 37132
2001.33/2006.75 c #Conflicts: 1481000 | #Constraints: 38132
2001.33/2006.75 c #Conflicts: 1482000 | #Constraints: 39132
2001.33/2006.75 c #Conflicts: 1483000 | #Constraints: 40132
2001.33/2006.75 c #Conflicts: 1484000 | #Constraints: 41132
2001.33/2006.75 c #Conflicts: 1485000 | #Constraints: 42132
2001.33/2006.75 c #Conflicts: 1486000 | #Constraints: 43132
2001.33/2006.75 c #Conflicts: 1487000 | #Constraints: 44132
2001.33/2006.75 c #Conflicts: 1488000 | #Constraints: 45132
2001.33/2006.75 c #Conflicts: 1489000 | #Constraints: 46132
2001.33/2006.75 c #Conflicts: 1490000 | #Constraints: 47132
2001.33/2006.75 c #Conflicts: 1491000 | #Constraints: 48132
2001.33/2006.75 c INPROCESSING
2001.33/2006.75 c GARBAGE COLLECT
2001.33/2006.75 c #Conflicts: 1492000 | #Constraints: 24933
2001.33/2006.75 c #Conflicts: 1493000 | #Constraints: 25933
2001.33/2006.75 c #Conflicts: 1494000 | #Constraints: 26933
2001.33/2006.75 c #Conflicts: 1495000 | #Constraints: 27933
2001.33/2006.75 c #Conflicts: 1496000 | #Constraints: 28933
2001.33/2006.75 c #Conflicts: 1497000 | #Constraints: 29933
2001.33/2006.75 c #Conflicts: 1498000 | #Constraints: 30933
2001.33/2006.75 c #Conflicts: 1499000 | #Constraints: 31933
2001.33/2006.75 c #Conflicts: 1500000 | #Constraints: 32933
2001.33/2006.75 c #Conflicts: 1501000 | #Constraints: 33933
2001.33/2006.75 c #Conflicts: 1502000 | #Constraints: 34933
2001.33/2006.75 c #Conflicts: 1503000 | #Constraints: 35933
2001.33/2006.75 c #Conflicts: 1504000 | #Constraints: 36933
2166.42/2172.28 c #Conflicts: 1505000 | #Constraints: 37933
2166.42/2172.28 c #Conflicts: 1506000 | #Constraints: 38933
2166.42/2172.28 c #Conflicts: 1507000 | #Constraints: 39933
2166.42/2172.28 c #Conflicts: 1508000 | #Constraints: 40933
2166.42/2172.28 c #Conflicts: 1509000 | #Constraints: 41933
2166.42/2172.28 c #Conflicts: 1510000 | #Constraints: 42933
2166.42/2172.28 c #Conflicts: 1511000 | #Constraints: 43933
2166.42/2172.28 c #Conflicts: 1512000 | #Constraints: 44933
2166.42/2172.28 c #Conflicts: 1513000 | #Constraints: 45933
2166.42/2172.28 c #Conflicts: 1514000 | #Constraints: 46933
2166.42/2172.28 c #Conflicts: 1515000 | #Constraints: 47933
2166.42/2172.28 c #Conflicts: 1516000 | #Constraints: 48933
2166.42/2172.28 c INPROCESSING
2166.42/2172.28 c GARBAGE COLLECT
2166.42/2172.28 c #Conflicts: 1517000 | #Constraints: 25556
2166.42/2172.28 c #Conflicts: 1518000 | #Constraints: 26556
2166.42/2172.28 c #Conflicts: 1519000 | #Constraints: 27556
2166.42/2172.28 c #Conflicts: 1520000 | #Constraints: 28556
2166.42/2172.28 c #Conflicts: 1521000 | #Constraints: 29556
2166.42/2172.28 c #Conflicts: 1522000 | #Constraints: 30556
2166.42/2172.28 c #Conflicts: 1523000 | #Constraints: 31556
2166.42/2172.28 c #Conflicts: 1524000 | #Constraints: 32556
2166.42/2172.28 c #Conflicts: 1525000 | #Constraints: 33556
2166.42/2172.28 c #Conflicts: 1526000 | #Constraints: 34556
2166.42/2172.28 c #Conflicts: 1527000 | #Constraints: 35556
2166.42/2172.28 c #Conflicts: 1528000 | #Constraints: 36556
2166.42/2172.28 c #Conflicts: 1529000 | #Constraints: 37556
2166.42/2172.28 c #Conflicts: 1530000 | #Constraints: 38556
2166.42/2172.28 c #Conflicts: 1531000 | #Constraints: 39556
2166.42/2172.28 c #Conflicts: 1532000 | #Constraints: 40556
2166.42/2172.28 c #Conflicts: 1533000 | #Constraints: 41556
2166.42/2172.28 c #Conflicts: 1534000 | #Constraints: 42556
2166.42/2172.28 c #Conflicts: 1535000 | #Constraints: 43556
2166.42/2172.28 c #Conflicts: 1536000 | #Constraints: 44556
2166.42/2172.28 c #Conflicts: 1537000 | #Constraints: 45556
2166.42/2172.28 c #Conflicts: 1538000 | #Constraints: 46556
2166.42/2172.28 c #Conflicts: 1539000 | #Constraints: 47556
2166.42/2172.28 c #Conflicts: 1540000 | #Constraints: 48556
2166.42/2172.28 c #Conflicts: 1541000 | #Constraints: 49556
2166.42/2172.28 c INPROCESSING
2166.42/2172.28 c GARBAGE COLLECT
2166.42/2172.28 c #Conflicts: 1542000 | #Constraints: 25950
2166.42/2172.28 c #Conflicts: 1543000 | #Constraints: 26950
2166.42/2172.28 c #Conflicts: 1544000 | #Constraints: 27950
2166.42/2172.28 c #Conflicts: 1545000 | #Constraints: 28950
2166.42/2172.28 c #Conflicts: 1546000 | #Constraints: 29950
2166.42/2172.28 c #Conflicts: 1547000 | #Constraints: 30950
2166.42/2172.28 c #Conflicts: 1548000 | #Constraints: 31950
2166.42/2172.28 c #Conflicts: 1549000 | #Constraints: 32950
2166.42/2172.28 c #Conflicts: 1550000 | #Constraints: 33950
2166.42/2172.28 c #Conflicts: 1551000 | #Constraints: 34950
2166.42/2172.28 c #Conflicts: 1552000 | #Constraints: 35950
2166.42/2172.28 c #Conflicts: 1553000 | #Constraints: 36950
2166.42/2172.28 c #Conflicts: 1554000 | #Constraints: 37950
2166.42/2172.28 c #Conflicts: 1555000 | #Constraints: 38950
2166.42/2172.28 c #Conflicts: 1556000 | #Constraints: 39950
2166.42/2172.28 c #Conflicts: 1557000 | #Constraints: 40950
2166.42/2172.28 c #Conflicts: 1558000 | #Constraints: 41950
2166.42/2172.28 c #Conflicts: 1559000 | #Constraints: 42950
2166.42/2172.28 c #Conflicts: 1560000 | #Constraints: 43950
2166.42/2172.28 c #Conflicts: 1561000 | #Constraints: 44950
2166.42/2172.28 c #Conflicts: 1562000 | #Constraints: 45950
2166.42/2172.28 c #Conflicts: 1563000 | #Constraints: 46950
2166.42/2172.28 c #Conflicts: 1564000 | #Constraints: 47950
2166.42/2172.28 c #Conflicts: 1565000 | #Constraints: 48950
2166.42/2172.28 c #Conflicts: 1566000 | #Constraints: 49950
2166.42/2172.28 c INPROCESSING
2166.42/2172.28 c GARBAGE COLLECT
2166.42/2172.28 c #Conflicts: 1567000 | #Constraints: 26146
2166.42/2172.28 c #Conflicts: 1568000 | #Constraints: 27146
2166.42/2172.28 c #Conflicts: 1569000 | #Constraints: 28146
2166.42/2172.28 c #Conflicts: 1570000 | #Constraints: 29146
2166.42/2172.28 c #Conflicts: 1571000 | #Constraints: 30146
2166.42/2172.28 c #Conflicts: 1572000 | #Constraints: 31146
2166.42/2172.28 c #Conflicts: 1573000 | #Constraints: 32146
2166.42/2172.28 c #Conflicts: 1574000 | #Constraints: 33146
2166.42/2172.28 c #Conflicts: 1575000 | #Constraints: 34146
2166.42/2172.28 c #Conflicts: 1576000 | #Constraints: 35146
2166.42/2172.28 c #Conflicts: 1577000 | #Constraints: 36146
2166.42/2172.28 c #Conflicts: 1578000 | #Constraints: 37146
2166.42/2172.28 c #Conflicts: 1579000 | #Constraints: 38146
2166.42/2172.28 c #Conflicts: 1580000 | #Constraints: 39146
2166.42/2172.28 c #Conflicts: 1581000 | #Constraints: 40146
2381.38/2387.77 c #Conflicts: 1582000 | #Constraints: 41146
2381.38/2387.77 c #Conflicts: 1583000 | #Constraints: 42146
2381.38/2387.77 c #Conflicts: 1584000 | #Constraints: 43146
2381.38/2387.77 c #Conflicts: 1585000 | #Constraints: 44146
2381.38/2387.77 c #Conflicts: 1586000 | #Constraints: 45146
2381.38/2387.77 c #Conflicts: 1587000 | #Constraints: 46146
2381.38/2387.77 c #Conflicts: 1588000 | #Constraints: 47146
2381.38/2387.77 c #Conflicts: 1589000 | #Constraints: 48146
2381.38/2387.77 c #Conflicts: 1590000 | #Constraints: 49146
2381.38/2387.77 c #Conflicts: 1591000 | #Constraints: 50146
2381.38/2387.77 c INPROCESSING
2381.38/2387.77 c GARBAGE COLLECT
2381.38/2387.77 c #Conflicts: 1592000 | #Constraints: 26149
2381.38/2387.77 c #Conflicts: 1593000 | #Constraints: 27149
2381.38/2387.77 c #Conflicts: 1594000 | #Constraints: 28149
2381.38/2387.77 c #Conflicts: 1595000 | #Constraints: 29149
2381.38/2387.77 c #Conflicts: 1596000 | #Constraints: 30149
2381.38/2387.77 c #Conflicts: 1597000 | #Constraints: 31149
2381.38/2387.77 c #Conflicts: 1598000 | #Constraints: 32149
2381.38/2387.77 c #Conflicts: 1599000 | #Constraints: 33149
2381.38/2387.77 c #Conflicts: 1600000 | #Constraints: 34149
2381.38/2387.77 c #Conflicts: 1601000 | #Constraints: 35149
2381.38/2387.77 c #Conflicts: 1602000 | #Constraints: 36149
2381.38/2387.77 c #Conflicts: 1603000 | #Constraints: 37149
2381.38/2387.77 c #Conflicts: 1604000 | #Constraints: 38149
2381.38/2387.77 c #Conflicts: 1605000 | #Constraints: 39149
2381.38/2387.77 c #Conflicts: 1606000 | #Constraints: 40149
2381.38/2387.77 c #Conflicts: 1607000 | #Constraints: 41149
2381.38/2387.77 c #Conflicts: 1608000 | #Constraints: 42149
2381.38/2387.77 c #Conflicts: 1609000 | #Constraints: 43149
2381.38/2387.77 c #Conflicts: 1610000 | #Constraints: 44149
2381.38/2387.77 c #Conflicts: 1611000 | #Constraints: 45149
2381.38/2387.77 c #Conflicts: 1612000 | #Constraints: 46149
2381.38/2387.77 c #Conflicts: 1613000 | #Constraints: 47149
2381.38/2387.77 c #Conflicts: 1614000 | #Constraints: 48149
2381.38/2387.77 c #Conflicts: 1615000 | #Constraints: 49149
2381.38/2387.77 c #Conflicts: 1616000 | #Constraints: 50149
2381.38/2387.77 c INPROCESSING
2381.38/2387.77 c GARBAGE COLLECT
2381.38/2387.77 c #Conflicts: 1617000 | #Constraints: 25946
2381.38/2387.77 c #Conflicts: 1618000 | #Constraints: 26946
2381.38/2387.77 c #Conflicts: 1619000 | #Constraints: 27946
2381.38/2387.77 c #Conflicts: 1620000 | #Constraints: 28946
2381.38/2387.77 c #Conflicts: 1621000 | #Constraints: 29946
2381.38/2387.77 c #Conflicts: 1622000 | #Constraints: 30946
2381.38/2387.77 c #Conflicts: 1623000 | #Constraints: 31946
2381.38/2387.77 c #Conflicts: 1624000 | #Constraints: 32946
2381.38/2387.77 c #Conflicts: 1625000 | #Constraints: 33946
2381.38/2387.77 c #Conflicts: 1626000 | #Constraints: 34946
2381.38/2387.77 c #Conflicts: 1627000 | #Constraints: 35946
2381.38/2387.77 c #Conflicts: 1628000 | #Constraints: 36946
2381.38/2387.77 c #Conflicts: 1629000 | #Constraints: 37946
2381.38/2387.77 c #Conflicts: 1630000 | #Constraints: 38946
2381.38/2387.77 c #Conflicts: 1631000 | #Constraints: 39946
2381.38/2387.77 c #Conflicts: 1632000 | #Constraints: 40946
2381.38/2387.77 c #Conflicts: 1633000 | #Constraints: 41946
2381.38/2387.77 c #Conflicts: 1634000 | #Constraints: 42946
2381.38/2387.77 c #Conflicts: 1635000 | #Constraints: 43946
2381.38/2387.77 c #Conflicts: 1636000 | #Constraints: 44946
2381.38/2387.77 c #Conflicts: 1637000 | #Constraints: 45946
2381.38/2387.77 c #Conflicts: 1638000 | #Constraints: 46946
2381.38/2387.77 c #Conflicts: 1639000 | #Constraints: 47946
2381.38/2387.77 c #Conflicts: 1640000 | #Constraints: 48946
2381.38/2387.77 c #Conflicts: 1641000 | #Constraints: 49946
2381.38/2387.77 c #Conflicts: 1642000 | #Constraints: 50946
2381.38/2387.77 c INPROCESSING
2381.38/2387.77 c GARBAGE COLLECT
2381.38/2387.77 c #Conflicts: 1643000 | #Constraints: 26545
2381.38/2387.77 c #Conflicts: 1644000 | #Constraints: 27545
2381.38/2387.77 c #Conflicts: 1645000 | #Constraints: 28545
2381.38/2387.77 c #Conflicts: 1646000 | #Constraints: 29545
2381.38/2387.77 c #Conflicts: 1647000 | #Constraints: 30545
2381.38/2387.77 c #Conflicts: 1648000 | #Constraints: 31545
2381.38/2387.77 c #Conflicts: 1649000 | #Constraints: 32545
2381.38/2387.77 c #Conflicts: 1650000 | #Constraints: 33545
2381.38/2387.77 c #Conflicts: 1651000 | #Constraints: 34545
2381.38/2387.77 c #Conflicts: 1652000 | #Constraints: 35545
2381.38/2387.77 c #Conflicts: 1653000 | #Constraints: 36545
2381.38/2387.77 c #Conflicts: 1654000 | #Constraints: 37545
2381.38/2387.77 c #Conflicts: 1655000 | #Constraints: 38545
2381.38/2387.77 c #Conflicts: 1656000 | #Constraints: 39545
2381.38/2387.77 c #Conflicts: 1657000 | #Constraints: 40545
2577.26/2584.18 c #Conflicts: 1658000 | #Constraints: 41545
2577.26/2584.18 c #Conflicts: 1659000 | #Constraints: 42545
2577.26/2584.18 c #Conflicts: 1660000 | #Constraints: 43545
2577.26/2584.18 c #Conflicts: 1661000 | #Constraints: 44545
2577.26/2584.18 c #Conflicts: 1662000 | #Constraints: 45545
2577.26/2584.18 c #Conflicts: 1663000 | #Constraints: 46545
2577.26/2584.18 c #Conflicts: 1664000 | #Constraints: 47545
2577.26/2584.18 c #Conflicts: 1665000 | #Constraints: 48545
2577.26/2584.18 c #Conflicts: 1666000 | #Constraints: 49545
2577.26/2584.18 c #Conflicts: 1667000 | #Constraints: 50545
2577.26/2584.18 c #Conflicts: 1668000 | #Constraints: 51545
2577.26/2584.18 c INPROCESSING
2577.26/2584.18 c GARBAGE COLLECT
2577.26/2584.18 c #Conflicts: 1669000 | #Constraints: 26945
2577.26/2584.18 c #Conflicts: 1670000 | #Constraints: 27945
2577.26/2584.18 c #Conflicts: 1671000 | #Constraints: 28945
2577.26/2584.18 c #Conflicts: 1672000 | #Constraints: 29945
2577.26/2584.18 c #Conflicts: 1673000 | #Constraints: 30945
2577.26/2584.18 c #Conflicts: 1674000 | #Constraints: 31945
2577.26/2584.18 c #Conflicts: 1675000 | #Constraints: 32945
2577.26/2584.18 c #Conflicts: 1676000 | #Constraints: 33945
2577.26/2584.18 c #Conflicts: 1677000 | #Constraints: 34945
2577.26/2584.18 c #Conflicts: 1678000 | #Constraints: 35945
2577.26/2584.18 c #Conflicts: 1679000 | #Constraints: 36945
2577.26/2584.18 c #Conflicts: 1680000 | #Constraints: 37945
2577.26/2584.18 c #Conflicts: 1681000 | #Constraints: 38945
2577.26/2584.18 c #Conflicts: 1682000 | #Constraints: 39945
2577.26/2584.18 c #Conflicts: 1683000 | #Constraints: 40945
2577.26/2584.18 c #Conflicts: 1684000 | #Constraints: 41945
2577.26/2584.18 c #Conflicts: 1685000 | #Constraints: 42945
2577.26/2584.18 c #Conflicts: 1686000 | #Constraints: 43945
2577.26/2584.18 c #Conflicts: 1687000 | #Constraints: 44945
2577.26/2584.18 c #Conflicts: 1688000 | #Constraints: 45945
2577.26/2584.18 c #Conflicts: 1689000 | #Constraints: 46945
2577.26/2584.18 c #Conflicts: 1690000 | #Constraints: 47945
2577.26/2584.18 c #Conflicts: 1691000 | #Constraints: 48945
2577.26/2584.18 c #Conflicts: 1692000 | #Constraints: 49945
2577.26/2584.18 c #Conflicts: 1693000 | #Constraints: 50945
2577.26/2584.18 c #Conflicts: 1694000 | #Constraints: 51945
2577.26/2584.18 c INPROCESSING
2577.26/2584.18 c GARBAGE COLLECT
2577.26/2584.18 c #Conflicts: 1695000 | #Constraints: 27168
2577.26/2584.18 c #Conflicts: 1696000 | #Constraints: 28168
2577.26/2584.18 c #Conflicts: 1697000 | #Constraints: 29168
2577.26/2584.18 c #Conflicts: 1698000 | #Constraints: 30168
2577.26/2584.18 c #Conflicts: 1699000 | #Constraints: 31168
2577.26/2584.18 c #Conflicts: 1700000 | #Constraints: 32168
2577.26/2584.18 c #Conflicts: 1701000 | #Constraints: 33168
2577.26/2584.18 c #Conflicts: 1702000 | #Constraints: 34168
2577.26/2584.18 c #Conflicts: 1703000 | #Constraints: 35168
2577.26/2584.18 c #Conflicts: 1704000 | #Constraints: 36168
2577.26/2584.18 c #Conflicts: 1705000 | #Constraints: 37168
2577.26/2584.18 c #Conflicts: 1706000 | #Constraints: 38168
2577.26/2584.18 c #Conflicts: 1707000 | #Constraints: 39168
2577.26/2584.18 c #Conflicts: 1708000 | #Constraints: 40168
2577.26/2584.18 c #Conflicts: 1709000 | #Constraints: 41168
2577.26/2584.18 c #Conflicts: 1710000 | #Constraints: 42168
2577.26/2584.18 c #Conflicts: 1711000 | #Constraints: 43168
2577.26/2584.18 c #Conflicts: 1712000 | #Constraints: 44168
2577.26/2584.18 c #Conflicts: 1713000 | #Constraints: 45168
2577.26/2584.18 c #Conflicts: 1714000 | #Constraints: 46168
2577.26/2584.18 c #Conflicts: 1715000 | #Constraints: 47168
2577.26/2584.18 c #Conflicts: 1716000 | #Constraints: 48168
2577.26/2584.18 c #Conflicts: 1717000 | #Constraints: 49168
2577.26/2584.18 c #Conflicts: 1718000 | #Constraints: 50168
2577.26/2584.18 c #Conflicts: 1719000 | #Constraints: 51168
2577.26/2584.18 c #Conflicts: 1720000 | #Constraints: 52168
2577.26/2584.18 c INPROCESSING
2577.26/2584.18 c GARBAGE COLLECT
2577.26/2584.18 c #Conflicts: 1721000 | #Constraints: 27162
2577.26/2584.18 c #Conflicts: 1722000 | #Constraints: 28162
2577.26/2584.18 c #Conflicts: 1723000 | #Constraints: 29162
2577.26/2584.18 c #Conflicts: 1724000 | #Constraints: 30162
2577.26/2584.18 c #Conflicts: 1725000 | #Constraints: 31162
2577.26/2584.18 c #Conflicts: 1726000 | #Constraints: 32162
2577.26/2584.18 c #Conflicts: 1727000 | #Constraints: 33162
2577.26/2584.18 c #Conflicts: 1728000 | #Constraints: 34162
2577.26/2584.18 c #Conflicts: 1729000 | #Constraints: 35162
2577.26/2584.18 c #Conflicts: 1730000 | #Constraints: 36162
2577.26/2584.18 c #Conflicts: 1731000 | #Constraints: 37162
2577.26/2584.18 c #Conflicts: 1732000 | #Constraints: 38162
2577.26/2584.18 c #Conflicts: 1733000 | #Constraints: 39162
2577.26/2584.18 c #Conflicts: 1734000 | #Constraints: 40162
2756.32/2763.70 c #Conflicts: 1735000 | #Constraints: 41162
2756.32/2763.70 c #Conflicts: 1736000 | #Constraints: 42162
2756.32/2763.70 c #Conflicts: 1737000 | #Constraints: 43162
2756.32/2763.70 c #Conflicts: 1738000 | #Constraints: 44162
2756.32/2763.70 c #Conflicts: 1739000 | #Constraints: 45162
2756.32/2763.70 c #Conflicts: 1740000 | #Constraints: 46162
2756.32/2763.70 c #Conflicts: 1741000 | #Constraints: 47162
2756.32/2763.70 c #Conflicts: 1742000 | #Constraints: 48162
2756.32/2763.70 c #Conflicts: 1743000 | #Constraints: 49162
2756.32/2763.70 c #Conflicts: 1744000 | #Constraints: 50162
2756.32/2763.70 c #Conflicts: 1745000 | #Constraints: 51162
2756.32/2763.70 c #Conflicts: 1746000 | #Constraints: 52162
2756.32/2763.70 c INPROCESSING
2756.32/2763.70 c GARBAGE COLLECT
2756.32/2763.70 c #Conflicts: 1747000 | #Constraints: 26929
2756.32/2763.70 c #Conflicts: 1748000 | #Constraints: 27929
2756.32/2763.70 c #Conflicts: 1749000 | #Constraints: 28929
2756.32/2763.70 c #Conflicts: 1750000 | #Constraints: 29929
2756.32/2763.70 c #Conflicts: 1751000 | #Constraints: 30929
2756.32/2763.70 c #Conflicts: 1752000 | #Constraints: 31929
2756.32/2763.70 c #Conflicts: 1753000 | #Constraints: 32929
2756.32/2763.70 c #Conflicts: 1754000 | #Constraints: 33929
2756.32/2763.70 c #Conflicts: 1755000 | #Constraints: 34929
2756.32/2763.70 c #Conflicts: 1756000 | #Constraints: 35929
2756.32/2763.70 c #Conflicts: 1757000 | #Constraints: 36929
2756.32/2763.70 c #Conflicts: 1758000 | #Constraints: 37929
2756.32/2763.70 c #Conflicts: 1759000 | #Constraints: 38929
2756.32/2763.70 c #Conflicts: 1760000 | #Constraints: 39929
2756.32/2763.70 c #Conflicts: 1761000 | #Constraints: 40929
2756.32/2763.70 c #Conflicts: 1762000 | #Constraints: 41929
2756.32/2763.70 c #Conflicts: 1763000 | #Constraints: 42929
2756.32/2763.70 c #Conflicts: 1764000 | #Constraints: 43929
2756.32/2763.70 c #Conflicts: 1765000 | #Constraints: 44929
2756.32/2763.70 c #Conflicts: 1766000 | #Constraints: 45929
2756.32/2763.70 c #Conflicts: 1767000 | #Constraints: 46929
2756.32/2763.70 c #Conflicts: 1768000 | #Constraints: 47929
2756.32/2763.70 c #Conflicts: 1769000 | #Constraints: 48929
2756.32/2763.70 c #Conflicts: 1770000 | #Constraints: 49929
2756.32/2763.70 c #Conflicts: 1771000 | #Constraints: 50929
2756.32/2763.70 c #Conflicts: 1772000 | #Constraints: 51929
2756.32/2763.70 c #Conflicts: 1773000 | #Constraints: 52929
2756.32/2763.70 c INPROCESSING
2756.32/2763.70 c GARBAGE COLLECT
2756.32/2763.70 c #Conflicts: 1774000 | #Constraints: 27548
2756.32/2763.70 c #Conflicts: 1775000 | #Constraints: 28548
2756.32/2763.70 c #Conflicts: 1776000 | #Constraints: 29548
2756.32/2763.70 c #Conflicts: 1777000 | #Constraints: 30548
2756.32/2763.70 c #Conflicts: 1778000 | #Constraints: 31548
2756.32/2763.70 c #Conflicts: 1779000 | #Constraints: 32548
2756.32/2763.70 c #Conflicts: 1780000 | #Constraints: 33548
2756.32/2763.70 c #Conflicts: 1781000 | #Constraints: 34548
2756.32/2763.70 c #Conflicts: 1782000 | #Constraints: 35548
2756.32/2763.70 c #Conflicts: 1783000 | #Constraints: 36548
2756.32/2763.70 c #Conflicts: 1784000 | #Constraints: 37548
2756.32/2763.70 c #Conflicts: 1785000 | #Constraints: 38548
2756.32/2763.70 c #Conflicts: 1786000 | #Constraints: 39548
2756.32/2763.70 c #Conflicts: 1787000 | #Constraints: 40548
2756.32/2763.70 c #Conflicts: 1788000 | #Constraints: 41548
2756.32/2763.70 c #Conflicts: 1789000 | #Constraints: 42548
2756.32/2763.70 c #Conflicts: 1790000 | #Constraints: 43548
2756.32/2763.70 c #Conflicts: 1791000 | #Constraints: 44548
2756.32/2763.70 c #Conflicts: 1792000 | #Constraints: 45548
2756.32/2763.70 c #Conflicts: 1793000 | #Constraints: 46548
2756.32/2763.70 c #Conflicts: 1794000 | #Constraints: 47548
2756.32/2763.70 c #Conflicts: 1795000 | #Constraints: 48548
2756.32/2763.70 c #Conflicts: 1796000 | #Constraints: 49548
2756.32/2763.70 c #Conflicts: 1797000 | #Constraints: 50548
2756.32/2763.70 c #Conflicts: 1798000 | #Constraints: 51548
2756.32/2763.70 c #Conflicts: 1799000 | #Constraints: 52548
2756.32/2763.70 c #Conflicts: 1800000 | #Constraints: 53548
2756.32/2763.70 c INPROCESSING
2756.32/2763.70 c GARBAGE COLLECT
2756.32/2763.70 c #Conflicts: 1801000 | #Constraints: 27949
2756.32/2763.70 c #Conflicts: 1802000 | #Constraints: 28949
2756.32/2763.70 c #Conflicts: 1803000 | #Constraints: 29949
2756.32/2763.70 c #Conflicts: 1804000 | #Constraints: 30949
2756.32/2763.70 c #Conflicts: 1805000 | #Constraints: 31949
2756.32/2763.70 c #Conflicts: 1806000 | #Constraints: 32949
2756.32/2763.70 c #Conflicts: 1807000 | #Constraints: 33949
2756.32/2763.70 c #Conflicts: 1808000 | #Constraints: 34949
2756.32/2763.70 c #Conflicts: 1809000 | #Constraints: 35949
2756.32/2763.70 c #Conflicts: 1810000 | #Constraints: 36949
2756.32/2763.70 c #Conflicts: 1811000 | #Constraints: 37949
2952.13/2960.04 c #Conflicts: 1812000 | #Constraints: 38949
2952.13/2960.04 c #Conflicts: 1813000 | #Constraints: 39949
2952.13/2960.04 c #Conflicts: 1814000 | #Constraints: 40949
2952.13/2960.04 c #Conflicts: 1815000 | #Constraints: 41949
2952.13/2960.04 c #Conflicts: 1816000 | #Constraints: 42949
2952.13/2960.04 c #Conflicts: 1817000 | #Constraints: 43949
2952.13/2960.04 c #Conflicts: 1818000 | #Constraints: 44949
2952.13/2960.04 c #Conflicts: 1819000 | #Constraints: 45949
2952.13/2960.04 c #Conflicts: 1820000 | #Constraints: 46949
2952.13/2960.04 c #Conflicts: 1821000 | #Constraints: 47949
2952.13/2960.04 c #Conflicts: 1822000 | #Constraints: 48949
2952.13/2960.04 c #Conflicts: 1823000 | #Constraints: 49949
2952.13/2960.04 c #Conflicts: 1824000 | #Constraints: 50949
2952.13/2960.04 c #Conflicts: 1825000 | #Constraints: 51949
2952.13/2960.04 c #Conflicts: 1826000 | #Constraints: 52949
2952.13/2960.04 c #Conflicts: 1827000 | #Constraints: 53949
2952.13/2960.04 c INPROCESSING
2952.13/2960.04 c GARBAGE COLLECT
2952.13/2960.04 c #Conflicts: 1828000 | #Constraints: 28135
2952.13/2960.04 c #Conflicts: 1829000 | #Constraints: 29135
2952.13/2960.04 c #Conflicts: 1830000 | #Constraints: 30135
2952.13/2960.04 c #Conflicts: 1831000 | #Constraints: 31135
2952.13/2960.04 c #Conflicts: 1832000 | #Constraints: 32135
2952.13/2960.04 c #Conflicts: 1833000 | #Constraints: 33135
2952.13/2960.04 c #Conflicts: 1834000 | #Constraints: 34135
2952.13/2960.04 c #Conflicts: 1835000 | #Constraints: 35135
2952.13/2960.04 c #Conflicts: 1836000 | #Constraints: 36135
2952.13/2960.04 c #Conflicts: 1837000 | #Constraints: 37135
2952.13/2960.04 c #Conflicts: 1838000 | #Constraints: 38135
2952.13/2960.04 c #Conflicts: 1839000 | #Constraints: 39135
2952.13/2960.04 c #Conflicts: 1840000 | #Constraints: 40135
2952.13/2960.04 c #Conflicts: 1841000 | #Constraints: 41135
2952.13/2960.04 c #Conflicts: 1842000 | #Constraints: 42135
2952.13/2960.04 c #Conflicts: 1843000 | #Constraints: 43135
2952.13/2960.04 c #Conflicts: 1844000 | #Constraints: 44135
2952.13/2960.04 c #Conflicts: 1845000 | #Constraints: 45135
2952.13/2960.04 c #Conflicts: 1846000 | #Constraints: 46135
2952.13/2960.04 c #Conflicts: 1847000 | #Constraints: 47135
2952.13/2960.04 c #Conflicts: 1848000 | #Constraints: 48135
2952.13/2960.04 c #Conflicts: 1849000 | #Constraints: 49135
2952.13/2960.04 c #Conflicts: 1850000 | #Constraints: 50135
2952.13/2960.04 c #Conflicts: 1851000 | #Constraints: 51135
2952.13/2960.04 c #Conflicts: 1852000 | #Constraints: 52135
2952.13/2960.04 c #Conflicts: 1853000 | #Constraints: 53135
2952.13/2960.04 c #Conflicts: 1854000 | #Constraints: 54135
2952.13/2960.04 c INPROCESSING
2952.13/2960.04 c GARBAGE COLLECT
2952.13/2960.04 c #Conflicts: 1855000 | #Constraints: 28135
2952.13/2960.04 c #Conflicts: 1856000 | #Constraints: 29135
2952.13/2960.04 c #Conflicts: 1857000 | #Constraints: 30135
2952.13/2960.04 c #Conflicts: 1858000 | #Constraints: 31135
2952.13/2960.04 c #Conflicts: 1859000 | #Constraints: 32135
2952.13/2960.04 c #Conflicts: 1860000 | #Constraints: 33135
2952.13/2960.04 c #Conflicts: 1861000 | #Constraints: 34135
2952.13/2960.04 c #Conflicts: 1862000 | #Constraints: 35135
2952.13/2960.04 c #Conflicts: 1863000 | #Constraints: 36135
2952.13/2960.04 c #Conflicts: 1864000 | #Constraints: 37135
2952.13/2960.04 c #Conflicts: 1865000 | #Constraints: 38135
2952.13/2960.04 c #Conflicts: 1866000 | #Constraints: 39135
2952.13/2960.04 c #Conflicts: 1867000 | #Constraints: 40135
2952.13/2960.04 c #Conflicts: 1868000 | #Constraints: 41135
2952.13/2960.04 c #Conflicts: 1869000 | #Constraints: 42135
2952.13/2960.04 c #Conflicts: 1870000 | #Constraints: 43135
2952.13/2960.04 c #Conflicts: 1871000 | #Constraints: 44135
2952.13/2960.04 c #Conflicts: 1872000 | #Constraints: 45135
2952.13/2960.04 c #Conflicts: 1873000 | #Constraints: 46135
2952.13/2960.04 c #Conflicts: 1874000 | #Constraints: 47135
2952.13/2960.04 c #Conflicts: 1875000 | #Constraints: 48135
2952.13/2960.04 c #Conflicts: 1876000 | #Constraints: 49135
2952.13/2960.04 c #Conflicts: 1877000 | #Constraints: 50135
2952.13/2960.04 c #Conflicts: 1878000 | #Constraints: 51135
2952.13/2960.04 c #Conflicts: 1879000 | #Constraints: 52135
2952.13/2960.04 c #Conflicts: 1880000 | #Constraints: 53135
2952.13/2960.04 c #Conflicts: 1881000 | #Constraints: 54135
2952.13/2960.04 c INPROCESSING
2952.13/2960.04 c GARBAGE COLLECT
2952.13/2960.04 c #Conflicts: 1882000 | #Constraints: 27944
2952.13/2960.04 c #Conflicts: 1883000 | #Constraints: 28944
2952.13/2960.04 c #Conflicts: 1884000 | #Constraints: 29944
2952.13/2960.04 c #Conflicts: 1885000 | #Constraints: 30944
2952.13/2960.04 c #Conflicts: 1886000 | #Constraints: 31944
2952.13/2960.04 c #Conflicts: 1887000 | #Constraints: 32944
2952.13/2960.04 c #Conflicts: 1888000 | #Constraints: 33944
3181.83/3190.33 c #Conflicts: 1889000 | #Constraints: 34944
3181.83/3190.33 c #Conflicts: 1890000 | #Constraints: 35944
3181.83/3190.33 c #Conflicts: 1891000 | #Constraints: 36944
3181.83/3190.33 c #Conflicts: 1892000 | #Constraints: 37944
3181.83/3190.33 c #Conflicts: 1893000 | #Constraints: 38944
3181.83/3190.33 c #Conflicts: 1894000 | #Constraints: 39944
3181.83/3190.33 c #Conflicts: 1895000 | #Constraints: 40944
3181.83/3190.33 c #Conflicts: 1896000 | #Constraints: 41944
3181.83/3190.33 c #Conflicts: 1897000 | #Constraints: 42944
3181.83/3190.33 c #Conflicts: 1898000 | #Constraints: 43944
3181.83/3190.33 c #Conflicts: 1899000 | #Constraints: 44944
3181.83/3190.33 c #Conflicts: 1900000 | #Constraints: 45944
3181.83/3190.33 c #Conflicts: 1901000 | #Constraints: 46944
3181.83/3190.33 c #Conflicts: 1902000 | #Constraints: 47944
3181.83/3190.33 c #Conflicts: 1903000 | #Constraints: 48944
3181.83/3190.33 c #Conflicts: 1904000 | #Constraints: 49944
3181.83/3190.33 c #Conflicts: 1905000 | #Constraints: 50944
3181.83/3190.33 c #Conflicts: 1906000 | #Constraints: 51944
3181.83/3190.33 c #Conflicts: 1907000 | #Constraints: 52944
3181.83/3190.33 c #Conflicts: 1908000 | #Constraints: 53944
3181.83/3190.33 c #Conflicts: 1909000 | #Constraints: 54944
3181.83/3190.33 c INPROCESSING
3181.83/3190.33 c GARBAGE COLLECT
3181.83/3190.33 c #Conflicts: 1910000 | #Constraints: 28542
3181.83/3190.33 c #Conflicts: 1911000 | #Constraints: 29542
3181.83/3190.33 c #Conflicts: 1912000 | #Constraints: 30542
3181.83/3190.33 c #Conflicts: 1913000 | #Constraints: 31542
3181.83/3190.33 c #Conflicts: 1914000 | #Constraints: 32542
3181.83/3190.33 c #Conflicts: 1915000 | #Constraints: 33542
3181.83/3190.33 c #Conflicts: 1916000 | #Constraints: 34542
3181.83/3190.33 c #Conflicts: 1917000 | #Constraints: 35542
3181.83/3190.33 c #Conflicts: 1918000 | #Constraints: 36542
3181.83/3190.33 c #Conflicts: 1919000 | #Constraints: 37542
3181.83/3190.33 c #Conflicts: 1920000 | #Constraints: 38542
3181.83/3190.33 c #Conflicts: 1921000 | #Constraints: 39542
3181.83/3190.33 c #Conflicts: 1922000 | #Constraints: 40542
3181.83/3190.33 c #Conflicts: 1923000 | #Constraints: 41542
3181.83/3190.33 c #Conflicts: 1924000 | #Constraints: 42542
3181.83/3190.33 c #Conflicts: 1925000 | #Constraints: 43542
3181.83/3190.33 c #Conflicts: 1926000 | #Constraints: 44542
3181.83/3190.33 c #Conflicts: 1927000 | #Constraints: 45542
3181.83/3190.33 c #Conflicts: 1928000 | #Constraints: 46542
3181.83/3190.33 c #Conflicts: 1929000 | #Constraints: 47542
3181.83/3190.33 c #Conflicts: 1930000 | #Constraints: 48542
3181.83/3190.33 c #Conflicts: 1931000 | #Constraints: 49542
3181.83/3190.33 c #Conflicts: 1932000 | #Constraints: 50542
3181.83/3190.33 c #Conflicts: 1933000 | #Constraints: 51542
3181.83/3190.33 c #Conflicts: 1934000 | #Constraints: 52542
3181.83/3190.33 c #Conflicts: 1935000 | #Constraints: 53542
3181.83/3190.33 c #Conflicts: 1936000 | #Constraints: 54542
3181.83/3190.33 c #Conflicts: 1937000 | #Constraints: 55542
3181.83/3190.33 c INPROCESSING
3181.83/3190.33 c GARBAGE COLLECT
3181.83/3190.33 c #Conflicts: 1938000 | #Constraints: 28925
3181.83/3190.33 c #Conflicts: 1939000 | #Constraints: 29925
3181.83/3190.33 c #Conflicts: 1940000 | #Constraints: 30925
3181.83/3190.33 c #Conflicts: 1941000 | #Constraints: 31925
3181.83/3190.33 c #Conflicts: 1942000 | #Constraints: 32925
3181.83/3190.33 c #Conflicts: 1943000 | #Constraints: 33925
3181.83/3190.33 c #Conflicts: 1944000 | #Constraints: 34925
3181.83/3190.33 c #Conflicts: 1945000 | #Constraints: 35925
3181.83/3190.33 c #Conflicts: 1946000 | #Constraints: 36925
3181.83/3190.33 c #Conflicts: 1947000 | #Constraints: 37925
3181.83/3190.33 c #Conflicts: 1948000 | #Constraints: 38925
3181.83/3190.33 c #Conflicts: 1949000 | #Constraints: 39925
3181.83/3190.33 c #Conflicts: 1950000 | #Constraints: 40925
3181.83/3190.33 c #Conflicts: 1951000 | #Constraints: 41925
3181.83/3190.33 c #Conflicts: 1952000 | #Constraints: 42925
3181.83/3190.33 c #Conflicts: 1953000 | #Constraints: 43925
3181.83/3190.33 c #Conflicts: 1954000 | #Constraints: 44925
3181.83/3190.33 c #Conflicts: 1955000 | #Constraints: 45925
3181.83/3190.33 c #Conflicts: 1956000 | #Constraints: 46925
3181.83/3190.33 c #Conflicts: 1957000 | #Constraints: 47925
3181.83/3190.33 c #Conflicts: 1958000 | #Constraints: 48925
3181.83/3190.33 c #Conflicts: 1959000 | #Constraints: 49925
3181.83/3190.33 c #Conflicts: 1960000 | #Constraints: 50925
3181.83/3190.33 c #Conflicts: 1961000 | #Constraints: 51925
3181.83/3190.33 c #Conflicts: 1962000 | #Constraints: 52925
3181.83/3190.33 c #Conflicts: 1963000 | #Constraints: 53925
3181.83/3190.33 c #Conflicts: 1964000 | #Constraints: 54925
3181.83/3190.33 c #Conflicts: 1965000 | #Constraints: 55925
3392.14/3401.22 c INPROCESSING
3392.14/3401.22 c GARBAGE COLLECT
3392.14/3401.22 c #Conflicts: 1966000 | #Constraints: 29159
3392.14/3401.22 c #Conflicts: 1967000 | #Constraints: 30159
3392.14/3401.22 c #Conflicts: 1968000 | #Constraints: 31159
3392.14/3401.22 c #Conflicts: 1969000 | #Constraints: 32159
3392.14/3401.22 c #Conflicts: 1970000 | #Constraints: 33159
3392.14/3401.22 c #Conflicts: 1971000 | #Constraints: 34159
3392.14/3401.22 c #Conflicts: 1972000 | #Constraints: 35159
3392.14/3401.22 c #Conflicts: 1973000 | #Constraints: 36159
3392.14/3401.22 c #Conflicts: 1974000 | #Constraints: 37159
3392.14/3401.22 c #Conflicts: 1975000 | #Constraints: 38159
3392.14/3401.22 c #Conflicts: 1976000 | #Constraints: 39159
3392.14/3401.22 c #Conflicts: 1977000 | #Constraints: 40159
3392.14/3401.22 c #Conflicts: 1978000 | #Constraints: 41159
3392.14/3401.22 c #Conflicts: 1979000 | #Constraints: 42159
3392.14/3401.22 c #Conflicts: 1980000 | #Constraints: 43159
3392.14/3401.22 c #Conflicts: 1981000 | #Constraints: 44159
3392.14/3401.22 c #Conflicts: 1982000 | #Constraints: 45159
3392.14/3401.22 c #Conflicts: 1983000 | #Constraints: 46159
3392.14/3401.22 c #Conflicts: 1984000 | #Constraints: 47159
3392.14/3401.22 c #Conflicts: 1985000 | #Constraints: 48159
3392.14/3401.22 c #Conflicts: 1986000 | #Constraints: 49159
3392.14/3401.22 c #Conflicts: 1987000 | #Constraints: 50159
3392.14/3401.22 c #Conflicts: 1988000 | #Constraints: 51159
3392.14/3401.22 c #Conflicts: 1989000 | #Constraints: 52159
3392.14/3401.22 c #Conflicts: 1990000 | #Constraints: 53159
3392.14/3401.22 c #Conflicts: 1991000 | #Constraints: 54159
3392.14/3401.22 c #Conflicts: 1992000 | #Constraints: 55159
3392.14/3401.22 c #Conflicts: 1993000 | #Constraints: 56159
3392.14/3401.22 c INPROCESSING
3392.14/3401.22 c GARBAGE COLLECT
3392.14/3401.22 c #Conflicts: 1994000 | #Constraints: 29158
3392.14/3401.22 c #Conflicts: 1995000 | #Constraints: 30158
3392.14/3401.22 c #Conflicts: 1996000 | #Constraints: 31158
3392.14/3401.22 c #Conflicts: 1997000 | #Constraints: 32158
3392.14/3401.22 c #Conflicts: 1998000 | #Constraints: 33158
3392.14/3401.22 c #Conflicts: 1999000 | #Constraints: 34158
3392.14/3401.22 c #Conflicts: 2000000 | #Constraints: 35158
3392.14/3401.22 c #Conflicts: 2001000 | #Constraints: 36158
3392.14/3401.22 c #Conflicts: 2002000 | #Constraints: 37158
3392.14/3401.22 c #Conflicts: 2003000 | #Constraints: 38158
3392.14/3401.22 c #Conflicts: 2004000 | #Constraints: 39158
3392.14/3401.22 c #Conflicts: 2005000 | #Constraints: 40158
3392.14/3401.22 c #Conflicts: 2006000 | #Constraints: 41158
3392.14/3401.22 c #Conflicts: 2007000 | #Constraints: 42158
3392.14/3401.22 c #Conflicts: 2008000 | #Constraints: 43158
3392.14/3401.22 c #Conflicts: 2009000 | #Constraints: 44158
3392.14/3401.22 c #Conflicts: 2010000 | #Constraints: 45158
3392.14/3401.22 c #Conflicts: 2011000 | #Constraints: 46158
3392.14/3401.22 c #Conflicts: 2012000 | #Constraints: 47158
3392.14/3401.22 c #Conflicts: 2013000 | #Constraints: 48158
3392.14/3401.22 c #Conflicts: 2014000 | #Constraints: 49158
3392.14/3401.22 c #Conflicts: 2015000 | #Constraints: 50158
3392.14/3401.22 c #Conflicts: 2016000 | #Constraints: 51158
3392.14/3401.22 c #Conflicts: 2017000 | #Constraints: 52158
3392.14/3401.22 c #Conflicts: 2018000 | #Constraints: 53158
3392.14/3401.22 c #Conflicts: 2019000 | #Constraints: 54158
3392.14/3401.22 c #Conflicts: 2020000 | #Constraints: 55158
3392.14/3401.22 c #Conflicts: 2021000 | #Constraints: 56158
3392.14/3401.22 c INPROCESSING
3392.14/3401.22 c GARBAGE COLLECT
3392.14/3401.22 c #Conflicts: 2022000 | #Constraints: 28965
3392.14/3401.22 c #Conflicts: 2023000 | #Constraints: 29965
3392.14/3401.22 c #Conflicts: 2024000 | #Constraints: 30965
3392.14/3401.22 c #Conflicts: 2025000 | #Constraints: 31965
3392.14/3401.22 c #Conflicts: 2026000 | #Constraints: 32965
3392.14/3401.22 c #Conflicts: 2027000 | #Constraints: 33965
3392.14/3401.22 c #Conflicts: 2028000 | #Constraints: 34965
3392.14/3401.22 c #Conflicts: 2029000 | #Constraints: 35965
3392.14/3401.22 c #Conflicts: 2030000 | #Constraints: 36965
3392.14/3401.22 c #Conflicts: 2031000 | #Constraints: 37965
3392.14/3401.22 c #Conflicts: 2032000 | #Constraints: 38965
3392.14/3401.22 c #Conflicts: 2033000 | #Constraints: 39965
3392.14/3401.22 c #Conflicts: 2034000 | #Constraints: 40965
3392.14/3401.22 c #Conflicts: 2035000 | #Constraints: 41965
3392.14/3401.22 c #Conflicts: 2036000 | #Constraints: 42965
3392.14/3401.22 c #Conflicts: 2037000 | #Constraints: 43965
3392.14/3401.22 c #Conflicts: 2038000 | #Constraints: 44965
3392.14/3401.22 c #Conflicts: 2039000 | #Constraints: 45965
3392.14/3401.22 c #Conflicts: 2040000 | #Constraints: 46965
3392.14/3401.22 c #Conflicts: 2041000 | #Constraints: 47965
3392.14/3401.22 c #Conflicts: 2042000 | #Constraints: 48965
3600.07/3609.70 c #Conflicts: 2043000 | #Constraints: 49965
3600.07/3609.70 c #Conflicts: 2044000 | #Constraints: 50965
3600.07/3609.70 c #Conflicts: 2045000 | #Constraints: 51965
3600.07/3609.70 c #Conflicts: 2046000 | #Constraints: 52965
3600.07/3609.70 c #Conflicts: 2047000 | #Constraints: 53965
3600.07/3609.70 c #Conflicts: 2048000 | #Constraints: 54965
3600.07/3609.70 c #Conflicts: 2049000 | #Constraints: 55965
3600.07/3609.70 c #Conflicts: 2050000 | #Constraints: 56965
3600.07/3609.70 c INPROCESSING
3600.07/3609.70 c GARBAGE COLLECT
3600.07/3609.70 c #Conflicts: 2051000 | #Constraints: 29578
3600.07/3609.70 c #Conflicts: 2052000 | #Constraints: 30578
3600.07/3609.70 c #Conflicts: 2053000 | #Constraints: 31578
3600.07/3609.70 c #Conflicts: 2054000 | #Constraints: 32578
3600.07/3609.70 c #Conflicts: 2055000 | #Constraints: 33578
3600.07/3609.70 c #Conflicts: 2056000 | #Constraints: 34578
3600.07/3609.70 c #Conflicts: 2057000 | #Constraints: 35578
3600.07/3609.70 c #Conflicts: 2058000 | #Constraints: 36578
3600.07/3609.70 c #Conflicts: 2059000 | #Constraints: 37578
3600.07/3609.70 c #Conflicts: 2060000 | #Constraints: 38578
3600.07/3609.70 c #Conflicts: 2061000 | #Constraints: 39578
3600.07/3609.70 c #Conflicts: 2062000 | #Constraints: 40578
3600.07/3609.70 c #Conflicts: 2063000 | #Constraints: 41578
3600.07/3609.70 c #Conflicts: 2064000 | #Constraints: 42578
3600.07/3609.70 c #Conflicts: 2065000 | #Constraints: 43578
3600.07/3609.70 c #Conflicts: 2066000 | #Constraints: 44578
3600.07/3609.70 c #Conflicts: 2067000 | #Constraints: 45578
3600.07/3609.70 c #Conflicts: 2068000 | #Constraints: 46578
3600.07/3609.70 c #Conflicts: 2069000 | #Constraints: 47578
3600.07/3609.70 c #Conflicts: 2070000 | #Constraints: 48578
3600.07/3609.70 c #Conflicts: 2071000 | #Constraints: 49578
3600.07/3609.70 c #Conflicts: 2072000 | #Constraints: 50578
3600.07/3609.70 c #Conflicts: 2073000 | #Constraints: 51578
3600.07/3609.70 c #Conflicts: 2074000 | #Constraints: 52578
3600.07/3609.70 c #Conflicts: 2075000 | #Constraints: 53578
3600.07/3609.70 c #Conflicts: 2076000 | #Constraints: 54578
3600.07/3609.70 c #Conflicts: 2077000 | #Constraints: 55578
3600.07/3609.70 c #Conflicts: 2078000 | #Constraints: 56578
3600.07/3609.70 c #Conflicts: 2079000 | #Constraints: 57578
3600.07/3609.70 c INPROCESSING
3600.07/3609.70 c GARBAGE COLLECT
3600.07/3609.70 c #Conflicts: 2080000 | #Constraints: 29963
3600.07/3609.70 c #Conflicts: 2081000 | #Constraints: 30963
3600.07/3609.70 c #Conflicts: 2082000 | #Constraints: 31963
3600.07/3609.70 c #Conflicts: 2083000 | #Constraints: 32963
3600.07/3609.70 c #Conflicts: 2084000 | #Constraints: 33963
3600.07/3609.70 c #Conflicts: 2085000 | #Constraints: 34963
3600.07/3609.70 c #Conflicts: 2086000 | #Constraints: 35963
3600.07/3609.70 c #Conflicts: 2087000 | #Constraints: 36963
3600.07/3609.70 c #Conflicts: 2088000 | #Constraints: 37963
3600.07/3609.70 c #Conflicts: 2089000 | #Constraints: 38963
3600.07/3609.70 c #Conflicts: 2090000 | #Constraints: 39963
3600.07/3609.70 c #Conflicts: 2091000 | #Constraints: 40963
3600.07/3609.70 c #Conflicts: 2092000 | #Constraints: 41963
3600.07/3609.70 c #Conflicts: 2093000 | #Constraints: 42963
3600.07/3609.70 c #Conflicts: 2094000 | #Constraints: 43963
3600.07/3609.70 c #Conflicts: 2095000 | #Constraints: 44963
3600.07/3609.70 c #Conflicts: 2096000 | #Constraints: 45963
3600.07/3609.70 c #Conflicts: 2097000 | #Constraints: 46963
3600.07/3609.70 c #Conflicts: 2098000 | #Constraints: 47963
3600.07/3609.70 c #Conflicts: 2099000 | #Constraints: 48963
3600.07/3609.70 c #Conflicts: 2100000 | #Constraints: 49963
3600.07/3609.70 c #Conflicts: 2101000 | #Constraints: 50963
3600.07/3609.70 c #Conflicts: 2102000 | #Constraints: 51963
3600.07/3609.70 c #Conflicts: 2103000 | #Constraints: 52963
3600.07/3609.70 c #Conflicts: 2104000 | #Constraints: 53963
3600.07/3609.70 c #Conflicts: 2105000 | #Constraints: 54963
3600.07/3609.70 c #Conflicts: 2106000 | #Constraints: 55963
3600.07/3609.70 c #Conflicts: 2107000 | #Constraints: 56963
3600.07/3609.70 c Program interrupted by user.
3600.07/3609.70 c cpu time 3587.45 s
3600.07/3609.70 c deterministic time 445006746936 4.45e+11
3600.07/3609.70 c optimization time 82.289 s
3600.07/3609.70 c total solve time 3505.15 s
3600.07/3609.70 c core-guided solve time 3505.15 s
3600.07/3609.70 c propagation time 2867.31 s
3600.07/3609.70 c conflict analysis time 686.968 s
3600.07/3609.70 c propagations 254716005
3600.07/3609.70 c resolve steps 27037196
3600.07/3609.70 c decisions 6103280
3600.07/3609.70 c conflicts 2107085
3600.07/3609.70 c restarts 4092
3600.07/3609.70 c inprocessing phases 135
3600.07/3609.70 c input clauses 801
3600.07/3609.70 c input cardinalities 31
3600.07/3609.70 c input general constraints 192
3600.07/3609.70 c input average constraint length 8.64
3600.07/3609.70 c input average constraint degree 57.01
3600.07/3609.70 c learned clauses 444717
3600.07/3609.70 c learned cardinalities 8363
3600.07/3609.70 c learned general constraints 1654004
3600.07/3609.70 c learned average constraint length 134.38
3600.07/3609.70 c learned average constraint degree 8411085.93
3600.07/3609.70 c watched constraints 1292713
3600.07/3609.70 c counting constraints 361483
3600.07/3609.70 c gcd simplifications 232295
3600.07/3609.70 c detected cardinalities 1410
3600.07/3609.70 c weakened non-implied lits 88335719
3600.07/3609.70 c weakened non-implying lits 259432
3600.07/3609.70 c original variables 774
3600.07/3609.70 c clausal propagations 4469404
3600.07/3609.70 c cardinality propagations 6497574
3600.07/3609.70 c watched propagations 12691662
3600.07/3609.70 c counting propagations 229267754
3600.07/3609.70 c watch lookups 93959823207
3600.07/3609.70 c watch backjump lookups 86907235358
3600.07/3609.70 c watch checks 191572853986
3600.07/3609.70 c propagation checks 70604334924
3600.07/3609.70 c constraint additions 1438754220
3600.07/3609.70 c trail pops 262925955
3600.07/3609.70 c formula constraints 1024
3600.07/3609.70 c learned constraints 2107084
3600.07/3609.70 c bound constraints 0
3600.07/3609.70 c core-guided constraints 0
3600.07/3609.70 c encountered formula constraints 13969266
3600.07/3609.70 c encountered learned constraints 15175015
3600.07/3609.70 c encountered bound constraints 0
3600.07/3609.70 c encountered core-guided constraints 0
3600.07/3609.70 c LP total time 0 s
3600.07/3609.70 c LP solve time 0 s
3600.07/3609.70 c LP constraints added 0
3600.07/3609.70 c LP constraints removed 0
3600.07/3609.70 c LP pivots internal 0
3600.07/3609.70 c LP pivots root 0
3600.07/3609.70 c LP calls 0
3600.07/3609.70 c LP optimalities 0
3600.07/3609.70 c LP no pivot count 0
3600.07/3609.70 c LP infeasibilities 0
3600.07/3609.70 c LP valid Farkas constraints 0
3600.07/3609.70 c LP learned Farkas constraints 0
3600.07/3609.70 c LP basis resets 0
3600.07/3609.70 c LP cycling count 0
3600.07/3609.70 c LP singular count 0
3600.07/3609.70 c LP no primal count 0
3600.07/3609.70 c LP no farkas count 0
3600.07/3609.70 c LP other issue count 0
3600.07/3609.70 c LP Gomory cuts 0
3600.07/3609.70 c LP learned cuts 0
3600.07/3609.70 c LP deleted cuts 0
3600.07/3609.70 c LP encountered Gomory constraints 0
3600.07/3609.70 c LP encountered Farkas constraints 0
3600.07/3609.70 c LP encountered learned Farkas constraints 0
3600.07/3609.70 c CG auxiliary variables introduced 0
3600.07/3609.70 c CG solutions found 0
3600.07/3609.70 c CG cores constructed 0
3600.07/3609.70 c CG core cardinality constraints returned 0
3600.07/3609.70 c CG unit cores 0
3600.07/3609.70 c CG single cores 0
3600.07/3609.70 c CG blocks removed during cardinality reduction 0
3600.07/3609.70 c CG first core best 0
3600.07/3609.70 c CG decision core best 0
3600.07/3609.70 c CG core reduction tie 0
3600.07/3609.70 c CG core degree average 0.00
3600.07/3609.70 c CG core slack average 0.00
3600.07/3609.70 c CG exhausted 0
3600.07/3609.70 c CG exhaust time 0 s
3600.07/3609.70 c CG trimmed 0
3600.07/3609.70 c CG trim time 0 s
3600.07/3609.70 c CG minimized 0
3600.07/3609.70 c CG minimize time 0 s
3600.07/3609.70 c CG am1 prop time 0 s
3600.07/3609.70 c CG # am1s reformulated 0
3600.07/3609.70 c CG lower bound derived from am1s 0
3600.07/3609.70 c CG # clausal cores 0
3600.07/3609.70 c CG # cardinality cores 0
3600.07/3609.70 c CG # pb cores 0
3600.07/3609.70 c CG # pb reforms 0
3600.07/3609.70 c CG # cores discarded because of pb reform 0
3600.07/3609.70 d LOWERBOUND 0
3600.07/3609.70 d NCORES 0
3600.07/3609.70 d NPBCORES 0
3600.07/3609.70 d NPBREFORM 0
3600.07/3609.70 d NTRIMMED 0
3600.07/3609.70 d NEXHAUSTED 0
3600.07/3609.70 d NAM1S 0
3600.07/3609.70 d AM1LB 0
3600.07/3609.70 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (58937 MiB free)
memory of node 1: 64510 MiB (61782 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436000-1721119549/watcher-4436000-1721119549 -o /tmp/evaluation-result-4436000-1721119549/solver-4436000-1721119549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721119560-865522 --watchdog 3760 pb-oll-rs HOME/instance-4436000-1721119549.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=865677, runsolver pid=865674
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 1.25 1.13 1.34 5/257 865678
/proc/meminfo: memFree=123613956/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=39596 memory=7372 CPUtime=0.09 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 656 0 0 0 9 0 0 0 20 0 1 0 164122324 40546304 1843 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 9899 1843 1379 291 0 1433 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39596 KiB
Current children cumulated memory: 7372 KiB
[startup+0.205318 s]*
/proc/loadavg: 1.25 1.13 1.34 5/257 865678
/proc/meminfo: memFree=123613284/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=39992 memory=8164 CPUtime=0.2 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 882 0 0 0 20 0 0 0 20 0 1 0 164122324 40951808 2041 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 9998 2041 1379 291 0 1532 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39992 KiB
Current children cumulated memory: 8164 KiB
[startup+0.304589 s]*
/proc/loadavg: 1.25 1.13 1.34 5/257 865678
/proc/meminfo: memFree=123612264/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=40124 memory=8628 CPUtime=0.3 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 920 0 0 0 29 1 0 0 20 0 1 0 164122324 41086976 2157 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 10031 2157 1433 291 0 1565 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40124 KiB
Current children cumulated memory: 8628 KiB
[startup+0.700165 s]
/proc/loadavg: 1.25 1.13 1.34 5/257 865678
/proc/meminfo: memFree=123607328/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=40760 memory=11344 CPUtime=0.69 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 1101 0 0 0 67 2 0 0 20 0 1 0 164122324 41738240 2836 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 10190 2836 1433 291 0 1724 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40760 KiB
Current children cumulated memory: 11344 KiB
[startup+1.50017 s]
/proc/loadavg: 1.25 1.13 1.34 5/257 865678
/proc/meminfo: memFree=123602260/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=42120 memory=12660 CPUtime=1.49 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 1416 0 0 0 145 4 0 0 20 0 1 0 164122324 43130880 3165 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 10530 3165 1433 291 0 2064 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 12660 KiB
[startup+3.1054 s]
/proc/loadavg: 1.25 1.13 1.34 5/257 865680
/proc/meminfo: memFree=123575184/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=43184 memory=14540 CPUtime=3.09 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 1858 0 0 0 301 8 0 0 20 0 1 0 164122324 44220416 3635 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 10796 3635 1433 291 0 2330 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43184 KiB
Current children cumulated memory: 14540 KiB
[startup+6.30021 s]
/proc/loadavg: 1.47 1.18 1.35 5/257 865680
/proc/meminfo: memFree=123559808/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=47224 memory=17380 CPUtime=6.27 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 2565 0 0 0 613 14 0 0 20 0 1 0 164122324 48357376 4345 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 11806 4345 1433 291 0 3340 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47224 KiB
Current children cumulated memory: 17380 KiB
[startup+12.7002 s]
/proc/loadavg: 1.67 1.23 1.37 5/257 865681
/proc/meminfo: memFree=123527984/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=54020 memory=21224 CPUtime=12.66 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 3526 0 0 0 1244 22 0 0 20 0 1 0 164122324 55316480 5306 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 13505 5306 1433 291 0 5039 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 54020 KiB
Current children cumulated memory: 21224 KiB
[startup+25.5002 s]
/proc/loadavg: 2.26 1.38 1.42 5/257 865683
/proc/meminfo: memFree=123465596/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=54404 memory=21688 CPUtime=25.43 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 3679 0 0 0 2504 39 0 0 20 0 1 0 164122324 55709696 5422 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 13601 5422 1433 291 0 5135 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 54404 KiB
Current children cumulated memory: 21688 KiB
[startup+51.1055 s]
/proc/loadavg: 3.00 1.63 1.50 5/257 865824
/proc/meminfo: memFree=123476820/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=58920 memory=29052 CPUtime=50.97 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 5130 0 0 0 5028 69 0 0 20 0 1 0 164122324 60334080 7263 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 14730 7263 1433 291 0 6264 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 58920 KiB
Current children cumulated memory: 29052 KiB
[startup+102.3 s]
/proc/loadavg: 3.69 2.03 1.64 5/257 865833
/proc/meminfo: memFree=123399308/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=69160 memory=36484 CPUtime=102.03 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 6179 0 0 0 10083 120 0 0 20 0 1 0 164122324 70819840 9121 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 17290 9121 1433 291 0 8824 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 69160 KiB
Current children cumulated memory: 36484 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 2.42 1.80 5/257 865843
/proc/meminfo: memFree=123353884/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=72336 memory=41356 CPUtime=161.86 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 7116 0 0 0 16016 170 0 0 20 0 1 0 164122324 74072064 10339 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 18084 10339 1433 291 0 9618 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 72336 KiB
Current children cumulated memory: 41356 KiB
[startup+222.3 s]
/proc/loadavg: 3.96 2.71 1.94 5/257 865900
/proc/meminfo: memFree=123326028/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=74060 memory=43676 CPUtime=221.71 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 7891 0 0 0 21952 219 0 0 20 0 1 0 164122324 75837440 10919 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 18515 10919 1433 291 0 10049 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 43676 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.97 2.08 5/259 865959
/proc/meminfo: memFree=123262804/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=86356 memory=47612 CPUtime=281.54 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 8526 0 0 0 27888 266 0 0 20 0 1 0 164122324 88428544 11903 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 21589 11903 1433 291 0 13123 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 86356 KiB
Current children cumulated memory: 47612 KiB
[startup+342.3 s]
/proc/loadavg: 4.36 3.24 2.23 5/256 865969
/proc/meminfo: memFree=123221680/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=92580 memory=63740 CPUtime=341.38 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 9836 0 0 0 33842 296 0 0 20 0 1 0 164122324 94801920 15935 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 23145 15935 1433 291 0 14679 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 92580 KiB
Current children cumulated memory: 63740 KiB
[startup+402.3 s]
/proc/loadavg: 4.32 3.44 2.37 5/256 865980
/proc/meminfo: memFree=123197924/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=93868 memory=64716 CPUtime=401.23 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 10219 0 0 0 39799 324 0 0 20 0 1 0 164122324 96120832 16179 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 23467 16179 1433 291 0 15001 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 93868 KiB
Current children cumulated memory: 64716 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 3.56 2.48 5/257 865992
/proc/meminfo: memFree=123123328/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=94008 memory=64860 CPUtime=461.08 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 10393 0 0 0 45749 359 0 0 20 0 1 0 164122324 96264192 16215 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 23502 16215 1433 291 0 15036 0
################
# More data... #
################
Current children cumulated memory: 105520 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.14 4.04 5/255 867936
/proc/meminfo: memFree=122320572/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=137564 memory=105692 CPUtime=2914.53 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 23170 0 0 0 290377 1076 0 0 20 0 1 0 164122324 140865536 26423 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 34391 26423 1433 291 0 25925 0
Current children cumulated CPU time: 2914.53 s
Current children cumulated vsize: 137564 KiB
Current children cumulated memory: 105692 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.14 4.05 5/255 867946
/proc/meminfo: memFree=122316052/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=138204 memory=106060 CPUtime=2974.37 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 23476 0 0 0 296344 1093 0 0 20 0 1 0 164122324 141520896 26515 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 34551 26515 1433 291 0 26085 0
Current children cumulated CPU time: 2974.37 s
Current children cumulated vsize: 138204 KiB
Current children cumulated memory: 106060 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.05 5/255 867956
/proc/meminfo: memFree=122309544/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=138460 memory=106260 CPUtime=3034.22 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 23738 0 0 0 302317 1105 0 0 20 0 1 0 164122324 141783040 26565 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 34615 26565 1433 291 0 26149 0
Current children cumulated CPU time: 3034.22 s
Current children cumulated vsize: 138460 KiB
Current children cumulated memory: 106260 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.05 5/255 867967
/proc/meminfo: memFree=122284376/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=138460 memory=106272 CPUtime=3094.06 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 23953 0 0 0 308287 1119 0 0 20 0 1 0 164122324 141783040 26568 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 34615 26568 1433 291 0 26149 0
Current children cumulated CPU time: 3094.06 s
Current children cumulated vsize: 138460 KiB
Current children cumulated memory: 106272 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.05 5/255 867977
/proc/meminfo: memFree=122281204/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=138460 memory=106272 CPUtime=3153.9 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 23999 0 0 0 314254 1136 0 0 20 0 1 0 164122324 141783040 26568 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 34615 26568 1433 291 0 26149 0
Current children cumulated CPU time: 3153.9 s
Current children cumulated vsize: 138460 KiB
Current children cumulated memory: 106272 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/255 867987
/proc/meminfo: memFree=122269800/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=170784 memory=113592 CPUtime=3213.74 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 24955 0 0 0 320220 1154 0 0 20 0 1 0 164122324 174882816 28398 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 42696 28398 1433 291 0 34230 0
Current children cumulated CPU time: 3213.74 s
Current children cumulated vsize: 170784 KiB
Current children cumulated memory: 113592 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.05 5/257 868002
/proc/meminfo: memFree=122248532/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=170784 memory=113596 CPUtime=3273.57 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 25122 0 0 0 326188 1169 0 0 20 0 1 0 164122324 174882816 28399 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 42696 28399 1433 291 0 34230 0
Current children cumulated CPU time: 3273.57 s
Current children cumulated vsize: 170784 KiB
Current children cumulated memory: 113596 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/257 868013
/proc/meminfo: memFree=122247572/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=170784 memory=113596 CPUtime=3333.41 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 25147 0 0 0 332156 1185 0 0 20 0 1 0 164122324 174882816 28399 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 42696 28399 1433 291 0 34230 0
Current children cumulated CPU time: 3333.41 s
Current children cumulated vsize: 170784 KiB
Current children cumulated memory: 113596 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.06 5/257 868023
/proc/meminfo: memFree=122247216/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=170784 memory=113596 CPUtime=3393.24 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 25312 0 0 0 338119 1205 0 0 20 0 1 0 164122324 174882816 28399 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 42696 28399 1433 291 0 34230 0
Current children cumulated CPU time: 3393.24 s
Current children cumulated vsize: 170784 KiB
Current children cumulated memory: 113596 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/257 868034
/proc/meminfo: memFree=122240912/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=170784 memory=113596 CPUtime=3453.08 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 25478 0 0 0 344082 1226 0 0 20 0 1 0 164122324 174882816 28399 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 42696 28399 1433 291 0 34230 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 170784 KiB
Current children cumulated memory: 113596 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/257 868045
/proc/meminfo: memFree=122233672/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=171168 memory=113596 CPUtime=3512.92 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 25537 0 0 0 350053 1239 0 0 20 0 1 0 164122324 175276032 28399 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 42792 28399 1433 291 0 34326 0
Current children cumulated CPU time: 3512.92 s
Current children cumulated vsize: 171168 KiB
Current children cumulated memory: 113596 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.07 5/254 868055
/proc/meminfo: memFree=122232956/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=171168 memory=113868 CPUtime=3572.75 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 25737 0 0 0 356019 1256 0 0 20 0 1 0 164122324 175276032 28467 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 42792 28467 1433 291 0 34326 0
Current children cumulated CPU time: 3572.75 s
Current children cumulated vsize: 171168 KiB
Current children cumulated memory: 113868 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.10 4.11 4.07 4/249 868098
/proc/meminfo: memFree=123293540/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=171680 memory=114004 CPUtime=3600.07 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 25816 0 0 0 358743 1264 0 0 20 0 1 0 164122324 175800320 28501 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 42920 28501 1433 291 0 34454 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 171680 KiB
Current children cumulated memory: 114004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 865677 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.45 s, system=12.6505 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.10 4.11 4.07 4/249 868098
/proc/meminfo: memFree=123293540/131524600 swapFree=131071996/131071996
[pid=865677] ppid=865674 vsize=171680 memory=114004 CPUtime=3600.07 cores=1,3
/proc/865677/stat : 865677 (pb-oll-rs) R 865674 865677 865510 0 -1 4194304 25816 0 0 0 358743 1264 0 0 20 0 1 0 164122324 175800320 28501 134679101440 4194304 5384005 140728649351968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34586624 140728649356311 140728649356388 140728649356388 140728649363403 0
/proc/865677/statm: 42920 28501 1433 291 0 34454 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 171680 KiB
Current children cumulated memory: 114004 KiB
Child status: 0
Real time (s): 3609.71
CPU time (s): 3600.1
CPU user time (s): 3587.45
CPU system time (s): 12.6505
CPU usage (%): 99.7337
Max. virtual memory (cumulated for all children) (KiB): 171680
Max. memory (cumulated for all children) (KiB): 114020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.45
system time used= 12.6505
maximum resident set size= 114284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25832
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38
involuntary context switches= 1735
# summary of solver processes directly reported to runsolver:
# pid: 865677
# total CPU time (s): 3600.1
# total CPU user time (s): 3587.45
# total CPU system time (s): 12.6505
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.45467 second user time and 18.3566 second system time
The end
Begin job on nodeC029 at 2024-07-16 10:46:02
IDJOB=4436000
IDBENCH=148776
IDSOLVER=3067
FILE ID=nodeC029/4436000-1721119549
RUNJOBID= nodeC029-1721119560-865522
SLURM_JOB_ID= 7505669
Free space on /tmp= 890060 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx30.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436000-1721119549/watcher-4436000-1721119549 -o /tmp/evaluation-result-4436000-1721119549/solver-4436000-1721119549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721119560-865522 --watchdog 3760 pb-oll-rs HOME/instance-4436000-1721119549.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef
RANDOM SEED=919791155
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3674.101
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.875
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.226
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3648.059
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3674.085
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.335
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.517
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3617.255
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123617948 kB
MemAvailable: 129617628 kB
Buffers: 400436 kB
Cached: 6362932 kB
SwapCached: 0 kB
Active: 721096 kB
Inactive: 6430936 kB
Active(anon): 1488 kB
Inactive(anon): 424884 kB
Active(file): 719608 kB
Inactive(file): 6006052 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 9152 kB
Writeback: 0 kB
AnonPages: 388788 kB
Mapped: 108132 kB
Shmem: 37720 kB
KReclaimable: 227332 kB
Slab: 348868 kB
SReclaimable: 227332 kB
SUnreclaim: 121536 kB
KernelStack: 4144 kB
PageTables: 9972 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 743620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61504 kB
HardwareCorrupted: 0 kB
AnonHugePages: 223232 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 279252 kB
DirectMap2M: 36194304 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890036 MiB
End job on nodeC029 at 2024-07-16 11:46:12