0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 774 #constraints 1024
0.00/0.01 c SMALL=int, LARGE=long long
22.11/22.25 c bounds - >= 3 @ 0.002724
22.11/22.25 c #Conflicts: 1000 | #Constraints: 2023
22.11/22.25 c #Conflicts: 2000 | #Constraints: 3023
22.11/22.25 c INPROCESSING
22.11/22.25 c GARBAGE COLLECT
22.11/22.25 c #Conflicts: 3000 | #Constraints: 2259
22.11/22.25 c #Conflicts: 4000 | #Constraints: 3259
22.11/22.25 c INPROCESSING
22.11/22.25 c GARBAGE COLLECT
22.11/22.25 c #Conflicts: 5000 | #Constraints: 2665
22.11/22.25 c #Conflicts: 6000 | #Constraints: 3665
22.11/22.25 c INPROCESSING
22.11/22.25 c GARBAGE COLLECT
22.11/22.25 c #Conflicts: 7000 | #Constraints: 2668
22.11/22.25 c #Conflicts: 8000 | #Constraints: 3668
22.11/22.25 c #Conflicts: 9000 | #Constraints: 4668
22.11/22.25 c INPROCESSING
22.11/22.25 c GARBAGE COLLECT
22.11/22.25 c #Conflicts: 10000 | #Constraints: 3366
22.11/22.25 c #Conflicts: 11000 | #Constraints: 4366
22.11/22.25 c #Conflicts: 12000 | #Constraints: 5366
22.11/22.25 c INPROCESSING
22.11/22.25 c GARBAGE COLLECT
22.11/22.25 c #Conflicts: 13000 | #Constraints: 3813
22.11/22.25 c #Conflicts: 14000 | #Constraints: 4813
22.11/22.25 c #Conflicts: 15000 | #Constraints: 5813
22.11/22.25 c INPROCESSING
22.11/22.25 c GARBAGE COLLECT
22.11/22.25 c #Conflicts: 16000 | #Constraints: 4044
22.11/22.25 c #Conflicts: 17000 | #Constraints: 5044
22.11/22.25 c #Conflicts: 18000 | #Constraints: 6044
22.11/22.25 c INPROCESSING
22.11/22.25 c GARBAGE COLLECT
22.11/22.25 c #Conflicts: 19000 | #Constraints: 4059
22.11/22.25 c #Conflicts: 20000 | #Constraints: 5059
22.11/22.25 c #Conflicts: 21000 | #Constraints: 6059
22.11/22.25 c INPROCESSING
22.11/22.25 c GARBAGE COLLECT
22.11/22.25 c #Conflicts: 22000 | #Constraints: 3863
22.11/22.25 c #Conflicts: 23000 | #Constraints: 4863
22.11/22.25 c #Conflicts: 24000 | #Constraints: 5863
22.11/22.25 c #Conflicts: 25000 | #Constraints: 6863
22.11/22.25 c INPROCESSING
22.11/22.25 c GARBAGE COLLECT
22.11/22.25 c #Conflicts: 26000 | #Constraints: 4467
22.11/22.25 c #Conflicts: 27000 | #Constraints: 5467
22.11/22.25 c #Conflicts: 28000 | #Constraints: 6467
22.11/22.25 c #Conflicts: 29000 | #Constraints: 7467
22.11/22.25 c INPROCESSING
22.11/22.25 c GARBAGE COLLECT
22.11/22.25 c #Conflicts: 30000 | #Constraints: 4866
22.11/22.25 c #Conflicts: 31000 | #Constraints: 5866
22.11/22.25 c #Conflicts: 32000 | #Constraints: 6866
22.11/22.25 c #Conflicts: 33000 | #Constraints: 7866
22.11/22.25 c INPROCESSING
22.11/22.25 c GARBAGE COLLECT
22.11/22.25 c #Conflicts: 34000 | #Constraints: 5070
22.11/22.25 c #Conflicts: 35000 | #Constraints: 6070
22.11/22.25 c #Conflicts: 36000 | #Constraints: 7070
22.11/22.25 c #Conflicts: 37000 | #Constraints: 8070
22.11/22.25 c INPROCESSING
22.11/22.25 c GARBAGE COLLECT
22.11/22.25 c #Conflicts: 38000 | #Constraints: 5078
22.11/22.25 c #Conflicts: 39000 | #Constraints: 6078
22.11/22.25 c #Conflicts: 40000 | #Constraints: 7078
22.11/22.25 c #Conflicts: 41000 | #Constraints: 8078
22.11/22.25 c INPROCESSING
22.11/22.25 c GARBAGE COLLECT
22.11/22.25 c #Conflicts: 42000 | #Constraints: 4878
22.11/22.25 c #Conflicts: 43000 | #Constraints: 5878
22.11/22.25 c #Conflicts: 44000 | #Constraints: 6878
22.11/22.25 c #Conflicts: 45000 | #Constraints: 7878
22.11/22.25 c #Conflicts: 46000 | #Constraints: 8878
22.11/22.25 c INPROCESSING
22.11/22.25 c GARBAGE COLLECT
22.11/22.25 c #Conflicts: 47000 | #Constraints: 5470
22.11/22.25 c #Conflicts: 48000 | #Constraints: 6470
22.11/22.25 c #Conflicts: 49000 | #Constraints: 7470
22.11/22.25 c #Conflicts: 50000 | #Constraints: 8470
22.11/22.25 c #Conflicts: 51000 | #Constraints: 9470
22.11/22.25 c INPROCESSING
22.11/22.25 c GARBAGE COLLECT
22.11/22.25 c #Conflicts: 52000 | #Constraints: 5871
22.11/22.25 c #Conflicts: 53000 | #Constraints: 6871
22.11/22.25 c #Conflicts: 54000 | #Constraints: 7871
22.11/22.25 c #Conflicts: 55000 | #Constraints: 8871
22.11/22.25 c #Conflicts: 56000 | #Constraints: 9871
22.11/22.25 c INPROCESSING
22.11/22.25 c GARBAGE COLLECT
22.11/22.25 c #Conflicts: 57000 | #Constraints: 6072
22.11/22.25 c #Conflicts: 58000 | #Constraints: 7072
22.11/22.25 c #Conflicts: 59000 | #Constraints: 8072
22.11/22.25 c #Conflicts: 60000 | #Constraints: 9072
22.11/22.25 c #Conflicts: 61000 | #Constraints: 10072
22.11/22.25 c INPROCESSING
22.11/22.25 c GARBAGE COLLECT
22.11/22.25 c #Conflicts: 62000 | #Constraints: 6070
22.11/22.25 c #Conflicts: 63000 | #Constraints: 7070
22.11/22.25 c #Conflicts: 64000 | #Constraints: 8070
22.11/22.25 c #Conflicts: 65000 | #Constraints: 9070
22.11/22.25 c #Conflicts: 66000 | #Constraints: 10070
22.11/22.25 c INPROCESSING
22.11/22.25 c GARBAGE COLLECT
22.11/22.25 c #Conflicts: 67000 | #Constraints: 5882
57.59/57.84 c #Conflicts: 68000 | #Constraints: 6882
57.59/57.84 c #Conflicts: 69000 | #Constraints: 7882
57.59/57.84 c #Conflicts: 70000 | #Constraints: 8882
57.59/57.84 c #Conflicts: 71000 | #Constraints: 9882
57.59/57.84 c #Conflicts: 72000 | #Constraints: 10882
57.59/57.84 c INPROCESSING
57.59/57.84 c GARBAGE COLLECT
57.59/57.84 c #Conflicts: 73000 | #Constraints: 6484
57.59/57.84 c #Conflicts: 74000 | #Constraints: 7484
57.59/57.84 c #Conflicts: 75000 | #Constraints: 8484
57.59/57.84 c #Conflicts: 76000 | #Constraints: 9484
57.59/57.84 c #Conflicts: 77000 | #Constraints: 10484
57.59/57.84 c #Conflicts: 78000 | #Constraints: 11484
57.59/57.84 c INPROCESSING
57.59/57.84 c GARBAGE COLLECT
57.59/57.84 c #Conflicts: 79000 | #Constraints: 6883
57.59/57.84 c #Conflicts: 80000 | #Constraints: 7883
57.59/57.84 c #Conflicts: 81000 | #Constraints: 8883
57.59/57.84 c #Conflicts: 82000 | #Constraints: 9883
57.59/57.84 c #Conflicts: 83000 | #Constraints: 10883
57.59/57.84 c #Conflicts: 84000 | #Constraints: 11883
57.59/57.84 c INPROCESSING
57.59/57.84 c GARBAGE COLLECT
57.59/57.84 c #Conflicts: 85000 | #Constraints: 7079
57.59/57.84 c #Conflicts: 86000 | #Constraints: 8079
57.59/57.84 c #Conflicts: 87000 | #Constraints: 9079
57.59/57.84 c #Conflicts: 88000 | #Constraints: 10079
57.59/57.84 c #Conflicts: 89000 | #Constraints: 11079
57.59/57.84 c #Conflicts: 90000 | #Constraints: 12079
57.59/57.84 c INPROCESSING
57.59/57.84 c GARBAGE COLLECT
57.59/57.84 c #Conflicts: 91000 | #Constraints: 7076
57.59/57.84 c #Conflicts: 92000 | #Constraints: 8076
57.59/57.84 c #Conflicts: 93000 | #Constraints: 9076
57.59/57.84 c #Conflicts: 94000 | #Constraints: 10076
57.59/57.84 c #Conflicts: 95000 | #Constraints: 11076
57.59/57.84 c #Conflicts: 96000 | #Constraints: 12076
57.59/57.84 c INPROCESSING
57.59/57.84 c GARBAGE COLLECT
57.59/57.84 c #Conflicts: 97000 | #Constraints: 6880
57.59/57.84 c #Conflicts: 98000 | #Constraints: 7880
57.59/57.84 c #Conflicts: 99000 | #Constraints: 8880
57.59/57.84 c #Conflicts: 100000 | #Constraints: 9880
57.59/57.84 c #Conflicts: 101000 | #Constraints: 10880
57.59/57.84 c #Conflicts: 102000 | #Constraints: 11880
57.59/57.84 c #Conflicts: 103000 | #Constraints: 12880
57.59/57.84 c INPROCESSING
57.59/57.84 c GARBAGE COLLECT
57.59/57.84 c #Conflicts: 104000 | #Constraints: 7476
57.59/57.84 c #Conflicts: 105000 | #Constraints: 8476
57.59/57.84 c #Conflicts: 106000 | #Constraints: 9476
57.59/57.84 c #Conflicts: 107000 | #Constraints: 10476
57.59/57.84 c #Conflicts: 108000 | #Constraints: 11476
57.59/57.84 c #Conflicts: 109000 | #Constraints: 12476
57.59/57.84 c #Conflicts: 110000 | #Constraints: 13476
57.59/57.84 c INPROCESSING
57.59/57.84 c GARBAGE COLLECT
57.59/57.84 c #Conflicts: 111000 | #Constraints: 7880
57.59/57.84 c #Conflicts: 112000 | #Constraints: 8880
57.59/57.84 c #Conflicts: 113000 | #Constraints: 9880
57.59/57.84 c #Conflicts: 114000 | #Constraints: 10880
57.59/57.84 c #Conflicts: 115000 | #Constraints: 11880
57.59/57.84 c #Conflicts: 116000 | #Constraints: 12880
57.59/57.84 c #Conflicts: 117000 | #Constraints: 13880
57.59/57.84 c INPROCESSING
57.59/57.84 c GARBAGE COLLECT
57.59/57.84 c #Conflicts: 118000 | #Constraints: 8089
57.59/57.84 c #Conflicts: 119000 | #Constraints: 9089
57.59/57.84 c #Conflicts: 120000 | #Constraints: 10089
57.59/57.84 c #Conflicts: 121000 | #Constraints: 11089
57.59/57.84 c #Conflicts: 122000 | #Constraints: 12089
57.59/57.84 c #Conflicts: 123000 | #Constraints: 13089
57.59/57.84 c #Conflicts: 124000 | #Constraints: 14089
57.59/57.84 c INPROCESSING
57.59/57.84 c GARBAGE COLLECT
57.59/57.84 c #Conflicts: 125000 | #Constraints: 8085
57.59/57.84 c #Conflicts: 126000 | #Constraints: 9085
57.59/57.84 c #Conflicts: 127000 | #Constraints: 10085
57.59/57.84 c #Conflicts: 128000 | #Constraints: 11085
57.59/57.84 c #Conflicts: 129000 | #Constraints: 12085
57.59/57.84 c #Conflicts: 130000 | #Constraints: 13085
57.59/57.84 c #Conflicts: 131000 | #Constraints: 14085
57.59/57.84 c INPROCESSING
57.59/57.84 c GARBAGE COLLECT
57.59/57.84 c #Conflicts: 132000 | #Constraints: 7879
57.59/57.84 c #Conflicts: 133000 | #Constraints: 8879
57.59/57.84 c #Conflicts: 134000 | #Constraints: 9879
57.59/57.84 c #Conflicts: 135000 | #Constraints: 10879
57.59/57.84 c #Conflicts: 136000 | #Constraints: 11879
57.59/57.84 c #Conflicts: 137000 | #Constraints: 12879
57.59/57.84 c #Conflicts: 138000 | #Constraints: 13879
57.59/57.84 c #Conflicts: 139000 | #Constraints: 14879
57.59/57.84 c INPROCESSING
106.03/106.49 c GARBAGE COLLECT
106.03/106.49 c #Conflicts: 140000 | #Constraints: 8481
106.03/106.49 c #Conflicts: 141000 | #Constraints: 9481
106.03/106.49 c #Conflicts: 142000 | #Constraints: 10481
106.03/106.49 c #Conflicts: 143000 | #Constraints: 11481
106.03/106.49 c #Conflicts: 144000 | #Constraints: 12481
106.03/106.49 c #Conflicts: 145000 | #Constraints: 13481
106.03/106.49 c #Conflicts: 146000 | #Constraints: 14481
106.03/106.49 c #Conflicts: 147000 | #Constraints: 15481
106.03/106.49 c INPROCESSING
106.03/106.49 c GARBAGE COLLECT
106.03/106.49 c #Conflicts: 148000 | #Constraints: 8894
106.03/106.49 c #Conflicts: 149000 | #Constraints: 9894
106.03/106.49 c #Conflicts: 150000 | #Constraints: 10894
106.03/106.49 c #Conflicts: 151000 | #Constraints: 11894
106.03/106.49 c #Conflicts: 152000 | #Constraints: 12894
106.03/106.49 c #Conflicts: 153000 | #Constraints: 13894
106.03/106.49 c #Conflicts: 154000 | #Constraints: 14894
106.03/106.49 c #Conflicts: 155000 | #Constraints: 15894
106.03/106.49 c INPROCESSING
106.03/106.49 c GARBAGE COLLECT
106.03/106.49 c #Conflicts: 156000 | #Constraints: 9086
106.03/106.49 c #Conflicts: 157000 | #Constraints: 10086
106.03/106.49 c #Conflicts: 158000 | #Constraints: 11086
106.03/106.49 c #Conflicts: 159000 | #Constraints: 12086
106.03/106.49 c #Conflicts: 160000 | #Constraints: 13086
106.03/106.49 c #Conflicts: 161000 | #Constraints: 14086
106.03/106.49 c #Conflicts: 162000 | #Constraints: 15086
106.03/106.49 c #Conflicts: 163000 | #Constraints: 16086
106.03/106.49 c INPROCESSING
106.03/106.49 c GARBAGE COLLECT
106.03/106.49 c #Conflicts: 164000 | #Constraints: 9088
106.03/106.49 c #Conflicts: 165000 | #Constraints: 10088
106.03/106.49 c #Conflicts: 166000 | #Constraints: 11088
106.03/106.49 c #Conflicts: 167000 | #Constraints: 12088
106.03/106.49 c #Conflicts: 168000 | #Constraints: 13088
106.03/106.49 c #Conflicts: 169000 | #Constraints: 14088
106.03/106.49 c #Conflicts: 170000 | #Constraints: 15088
106.03/106.49 c #Conflicts: 171000 | #Constraints: 16088
106.03/106.49 c INPROCESSING
106.03/106.49 c GARBAGE COLLECT
106.03/106.49 c #Conflicts: 172000 | #Constraints: 8888
106.03/106.49 c #Conflicts: 173000 | #Constraints: 9888
106.03/106.49 c #Conflicts: 174000 | #Constraints: 10888
106.03/106.49 c #Conflicts: 175000 | #Constraints: 11888
106.03/106.49 c #Conflicts: 176000 | #Constraints: 12888
106.03/106.49 c #Conflicts: 177000 | #Constraints: 13888
106.03/106.49 c #Conflicts: 178000 | #Constraints: 14888
106.03/106.49 c #Conflicts: 179000 | #Constraints: 15888
106.03/106.49 c #Conflicts: 180000 | #Constraints: 16888
106.03/106.49 c INPROCESSING
106.03/106.49 c GARBAGE COLLECT
106.03/106.49 c #Conflicts: 181000 | #Constraints: 9482
106.03/106.49 c #Conflicts: 182000 | #Constraints: 10482
106.03/106.49 c #Conflicts: 183000 | #Constraints: 11482
106.03/106.49 c #Conflicts: 184000 | #Constraints: 12482
106.03/106.49 c #Conflicts: 185000 | #Constraints: 13482
106.03/106.49 c #Conflicts: 186000 | #Constraints: 14482
106.03/106.49 c #Conflicts: 187000 | #Constraints: 15482
106.03/106.49 c #Conflicts: 188000 | #Constraints: 16482
106.03/106.49 c #Conflicts: 189000 | #Constraints: 17482
106.03/106.49 c INPROCESSING
106.03/106.49 c GARBAGE COLLECT
106.03/106.49 c #Conflicts: 190000 | #Constraints: 9886
106.03/106.49 c #Conflicts: 191000 | #Constraints: 10886
106.03/106.49 c #Conflicts: 192000 | #Constraints: 11886
106.03/106.49 c #Conflicts: 193000 | #Constraints: 12886
106.03/106.49 c #Conflicts: 194000 | #Constraints: 13886
106.03/106.49 c #Conflicts: 195000 | #Constraints: 14886
106.03/106.49 c #Conflicts: 196000 | #Constraints: 15886
106.03/106.49 c #Conflicts: 197000 | #Constraints: 16886
106.03/106.49 c #Conflicts: 198000 | #Constraints: 17886
106.03/106.49 c INPROCESSING
106.03/106.49 c GARBAGE COLLECT
106.03/106.49 c #Conflicts: 199000 | #Constraints: 10095
106.03/106.49 c #Conflicts: 200000 | #Constraints: 11095
106.03/106.49 c #Conflicts: 201000 | #Constraints: 12095
106.03/106.49 c #Conflicts: 202000 | #Constraints: 13095
106.03/106.49 c #Conflicts: 203000 | #Constraints: 14095
106.03/106.49 c #Conflicts: 204000 | #Constraints: 15095
106.03/106.49 c #Conflicts: 205000 | #Constraints: 16095
106.03/106.49 c #Conflicts: 206000 | #Constraints: 17095
106.03/106.49 c #Conflicts: 207000 | #Constraints: 18095
106.03/106.49 c INPROCESSING
106.03/106.49 c GARBAGE COLLECT
106.03/106.49 c #Conflicts: 208000 | #Constraints: 10094
106.03/106.49 c #Conflicts: 209000 | #Constraints: 11094
106.03/106.49 c #Conflicts: 210000 | #Constraints: 12094
106.03/106.49 c #Conflicts: 211000 | #Constraints: 13094
106.03/106.49 c #Conflicts: 212000 | #Constraints: 14094
106.03/106.49 c #Conflicts: 213000 | #Constraints: 15094
162.05/162.60 c #Conflicts: 214000 | #Constraints: 16094
162.05/162.60 c #Conflicts: 215000 | #Constraints: 17094
162.05/162.60 c #Conflicts: 216000 | #Constraints: 18094
162.05/162.60 c INPROCESSING
162.05/162.60 c GARBAGE COLLECT
162.05/162.60 c #Conflicts: 217000 | #Constraints: 9894
162.05/162.60 c #Conflicts: 218000 | #Constraints: 10894
162.05/162.60 c #Conflicts: 219000 | #Constraints: 11894
162.05/162.60 c #Conflicts: 220000 | #Constraints: 12894
162.05/162.60 c #Conflicts: 221000 | #Constraints: 13894
162.05/162.60 c #Conflicts: 222000 | #Constraints: 14894
162.05/162.60 c #Conflicts: 223000 | #Constraints: 15894
162.05/162.60 c #Conflicts: 224000 | #Constraints: 16894
162.05/162.60 c #Conflicts: 225000 | #Constraints: 17894
162.05/162.60 c #Conflicts: 226000 | #Constraints: 18894
162.05/162.60 c INPROCESSING
162.05/162.60 c GARBAGE COLLECT
162.05/162.60 c #Conflicts: 227000 | #Constraints: 10489
162.05/162.60 c #Conflicts: 228000 | #Constraints: 11489
162.05/162.60 c #Conflicts: 229000 | #Constraints: 12489
162.05/162.60 c #Conflicts: 230000 | #Constraints: 13489
162.05/162.60 c #Conflicts: 231000 | #Constraints: 14489
162.05/162.60 c #Conflicts: 232000 | #Constraints: 15489
162.05/162.60 c #Conflicts: 233000 | #Constraints: 16489
162.05/162.60 c #Conflicts: 234000 | #Constraints: 17489
162.05/162.60 c #Conflicts: 235000 | #Constraints: 18489
162.05/162.60 c #Conflicts: 236000 | #Constraints: 19489
162.05/162.60 c INPROCESSING
162.05/162.60 c GARBAGE COLLECT
162.05/162.60 c #Conflicts: 237000 | #Constraints: 10888
162.05/162.60 c #Conflicts: 238000 | #Constraints: 11888
162.05/162.60 c #Conflicts: 239000 | #Constraints: 12888
162.05/162.60 c #Conflicts: 240000 | #Constraints: 13888
162.05/162.60 c #Conflicts: 241000 | #Constraints: 14888
162.05/162.60 c #Conflicts: 242000 | #Constraints: 15888
162.05/162.60 c #Conflicts: 243000 | #Constraints: 16888
162.05/162.60 c #Conflicts: 244000 | #Constraints: 17888
162.05/162.60 c #Conflicts: 245000 | #Constraints: 18888
162.05/162.60 c #Conflicts: 246000 | #Constraints: 19888
162.05/162.60 c INPROCESSING
162.05/162.60 c GARBAGE COLLECT
162.05/162.60 c #Conflicts: 247000 | #Constraints: 11094
162.05/162.60 c #Conflicts: 248000 | #Constraints: 12094
162.05/162.60 c #Conflicts: 249000 | #Constraints: 13094
162.05/162.60 c #Conflicts: 250000 | #Constraints: 14094
162.05/162.60 c #Conflicts: 251000 | #Constraints: 15094
162.05/162.60 c #Conflicts: 252000 | #Constraints: 16094
162.05/162.60 c #Conflicts: 253000 | #Constraints: 17094
162.05/162.60 c #Conflicts: 254000 | #Constraints: 18094
162.05/162.60 c #Conflicts: 255000 | #Constraints: 19094
162.05/162.60 c #Conflicts: 256000 | #Constraints: 20094
162.05/162.60 c INPROCESSING
162.05/162.60 c GARBAGE COLLECT
162.05/162.60 c #Conflicts: 257000 | #Constraints: 11089
162.05/162.60 c #Conflicts: 258000 | #Constraints: 12089
162.05/162.60 c #Conflicts: 259000 | #Constraints: 13089
162.05/162.60 c #Conflicts: 260000 | #Constraints: 14089
162.05/162.60 c #Conflicts: 261000 | #Constraints: 15089
162.05/162.60 c #Conflicts: 262000 | #Constraints: 16089
162.05/162.60 c #Conflicts: 263000 | #Constraints: 17089
162.05/162.60 c #Conflicts: 264000 | #Constraints: 18089
162.05/162.60 c #Conflicts: 265000 | #Constraints: 19089
162.05/162.60 c #Conflicts: 266000 | #Constraints: 20089
162.05/162.60 c INPROCESSING
162.05/162.60 c GARBAGE COLLECT
162.05/162.60 c #Conflicts: 267000 | #Constraints: 10888
162.05/162.60 c #Conflicts: 268000 | #Constraints: 11888
162.05/162.60 c #Conflicts: 269000 | #Constraints: 12888
162.05/162.60 c #Conflicts: 270000 | #Constraints: 13888
162.05/162.60 c #Conflicts: 271000 | #Constraints: 14888
162.05/162.60 c #Conflicts: 272000 | #Constraints: 15888
162.05/162.60 c #Conflicts: 273000 | #Constraints: 16888
162.05/162.60 c #Conflicts: 274000 | #Constraints: 17888
162.05/162.60 c #Conflicts: 275000 | #Constraints: 18888
162.05/162.60 c #Conflicts: 276000 | #Constraints: 19888
162.05/162.60 c #Conflicts: 277000 | #Constraints: 20888
162.05/162.60 c INPROCESSING
162.05/162.60 c GARBAGE COLLECT
162.05/162.60 c #Conflicts: 278000 | #Constraints: 11481
162.05/162.60 c #Conflicts: 279000 | #Constraints: 12481
162.05/162.60 c #Conflicts: 280000 | #Constraints: 13481
162.05/162.60 c #Conflicts: 281000 | #Constraints: 14481
162.05/162.60 c #Conflicts: 282000 | #Constraints: 15481
162.05/162.60 c #Conflicts: 283000 | #Constraints: 16481
162.05/162.60 c #Conflicts: 284000 | #Constraints: 17481
162.05/162.60 c #Conflicts: 285000 | #Constraints: 18481
162.05/162.60 c #Conflicts: 286000 | #Constraints: 19481
162.05/162.60 c #Conflicts: 287000 | #Constraints: 20481
224.93/225.76 c #Conflicts: 288000 | #Constraints: 21481
224.93/225.76 c INPROCESSING
224.93/225.76 c GARBAGE COLLECT
224.93/225.76 c #Conflicts: 289000 | #Constraints: 11886
224.93/225.76 c #Conflicts: 290000 | #Constraints: 12886
224.93/225.76 c #Conflicts: 291000 | #Constraints: 13886
224.93/225.76 c #Conflicts: 292000 | #Constraints: 14886
224.93/225.76 c #Conflicts: 293000 | #Constraints: 15886
224.93/225.76 c #Conflicts: 294000 | #Constraints: 16886
224.93/225.76 c #Conflicts: 295000 | #Constraints: 17886
224.93/225.76 c #Conflicts: 296000 | #Constraints: 18886
224.93/225.76 c #Conflicts: 297000 | #Constraints: 19886
224.93/225.76 c #Conflicts: 298000 | #Constraints: 20886
224.93/225.76 c #Conflicts: 299000 | #Constraints: 21886
224.93/225.76 c INPROCESSING
224.93/225.76 c GARBAGE COLLECT
224.93/225.76 c #Conflicts: 300000 | #Constraints: 12086
224.93/225.76 c #Conflicts: 301000 | #Constraints: 13086
224.93/225.76 c #Conflicts: 302000 | #Constraints: 14086
224.93/225.76 c #Conflicts: 303000 | #Constraints: 15086
224.93/225.76 c #Conflicts: 304000 | #Constraints: 16086
224.93/225.76 c #Conflicts: 305000 | #Constraints: 17086
224.93/225.76 c #Conflicts: 306000 | #Constraints: 18086
224.93/225.76 c #Conflicts: 307000 | #Constraints: 19086
224.93/225.76 c #Conflicts: 308000 | #Constraints: 20086
224.93/225.76 c #Conflicts: 309000 | #Constraints: 21086
224.93/225.76 c #Conflicts: 310000 | #Constraints: 22086
224.93/225.76 c INPROCESSING
224.93/225.76 c GARBAGE COLLECT
224.93/225.76 c #Conflicts: 311000 | #Constraints: 12095
224.93/225.76 c #Conflicts: 312000 | #Constraints: 13095
224.93/225.76 c #Conflicts: 313000 | #Constraints: 14095
224.93/225.76 c #Conflicts: 314000 | #Constraints: 15095
224.93/225.76 c #Conflicts: 315000 | #Constraints: 16095
224.93/225.76 c #Conflicts: 316000 | #Constraints: 17095
224.93/225.76 c #Conflicts: 317000 | #Constraints: 18095
224.93/225.76 c #Conflicts: 318000 | #Constraints: 19095
224.93/225.76 c #Conflicts: 319000 | #Constraints: 20095
224.93/225.76 c #Conflicts: 320000 | #Constraints: 21095
224.93/225.76 c #Conflicts: 321000 | #Constraints: 22095
224.93/225.76 c INPROCESSING
224.93/225.76 c GARBAGE COLLECT
224.93/225.76 c #Conflicts: 322000 | #Constraints: 11888
224.93/225.76 c #Conflicts: 323000 | #Constraints: 12888
224.93/225.76 c #Conflicts: 324000 | #Constraints: 13888
224.93/225.76 c #Conflicts: 325000 | #Constraints: 14888
224.93/225.76 c #Conflicts: 326000 | #Constraints: 15888
224.93/225.76 c #Conflicts: 327000 | #Constraints: 16888
224.93/225.76 c #Conflicts: 328000 | #Constraints: 17888
224.93/225.76 c #Conflicts: 329000 | #Constraints: 18888
224.93/225.76 c #Conflicts: 330000 | #Constraints: 19888
224.93/225.76 c #Conflicts: 331000 | #Constraints: 20888
224.93/225.76 c #Conflicts: 332000 | #Constraints: 21888
224.93/225.76 c #Conflicts: 333000 | #Constraints: 22888
224.93/225.76 c INPROCESSING
224.93/225.76 c GARBAGE COLLECT
224.93/225.76 c #Conflicts: 334000 | #Constraints: 12486
224.93/225.76 c #Conflicts: 335000 | #Constraints: 13486
224.93/225.76 c #Conflicts: 336000 | #Constraints: 14486
224.93/225.76 c #Conflicts: 337000 | #Constraints: 15486
224.93/225.76 c #Conflicts: 338000 | #Constraints: 16486
224.93/225.76 c #Conflicts: 339000 | #Constraints: 17486
224.93/225.76 c #Conflicts: 340000 | #Constraints: 18486
224.93/225.76 c #Conflicts: 341000 | #Constraints: 19486
224.93/225.76 c #Conflicts: 342000 | #Constraints: 20486
224.93/225.76 c #Conflicts: 343000 | #Constraints: 21486
224.93/225.76 c #Conflicts: 344000 | #Constraints: 22486
224.93/225.76 c #Conflicts: 345000 | #Constraints: 23486
224.93/225.76 c INPROCESSING
224.93/225.76 c GARBAGE COLLECT
224.93/225.76 c #Conflicts: 346000 | #Constraints: 12904
224.93/225.76 c #Conflicts: 347000 | #Constraints: 13904
224.93/225.76 c #Conflicts: 348000 | #Constraints: 14904
224.93/225.76 c #Conflicts: 349000 | #Constraints: 15904
224.93/225.76 c #Conflicts: 350000 | #Constraints: 16904
224.93/225.76 c #Conflicts: 351000 | #Constraints: 17904
224.93/225.76 c #Conflicts: 352000 | #Constraints: 18904
224.93/225.76 c #Conflicts: 353000 | #Constraints: 19904
224.93/225.76 c #Conflicts: 354000 | #Constraints: 20904
224.93/225.76 c #Conflicts: 355000 | #Constraints: 21904
224.93/225.76 c #Conflicts: 356000 | #Constraints: 22904
224.93/225.76 c #Conflicts: 357000 | #Constraints: 23904
224.93/225.76 c INPROCESSING
224.93/225.76 c GARBAGE COLLECT
224.93/225.76 c #Conflicts: 358000 | #Constraints: 13109
224.93/225.76 c #Conflicts: 359000 | #Constraints: 14109
224.93/225.76 c #Conflicts: 360000 | #Constraints: 15109
224.93/225.76 c #Conflicts: 361000 | #Constraints: 16109
312.24/313.34 c #Conflicts: 362000 | #Constraints: 17109
312.24/313.34 c #Conflicts: 363000 | #Constraints: 18109
312.24/313.34 c #Conflicts: 364000 | #Constraints: 19109
312.24/313.34 c #Conflicts: 365000 | #Constraints: 20109
312.24/313.34 c #Conflicts: 366000 | #Constraints: 21109
312.24/313.34 c #Conflicts: 367000 | #Constraints: 22109
312.24/313.34 c #Conflicts: 368000 | #Constraints: 23109
312.24/313.34 c #Conflicts: 369000 | #Constraints: 24109
312.24/313.34 c INPROCESSING
312.24/313.34 c GARBAGE COLLECT
312.24/313.34 c #Conflicts: 370000 | #Constraints: 13100
312.24/313.34 c #Conflicts: 371000 | #Constraints: 14100
312.24/313.34 c #Conflicts: 372000 | #Constraints: 15100
312.24/313.34 c #Conflicts: 373000 | #Constraints: 16100
312.24/313.34 c #Conflicts: 374000 | #Constraints: 17100
312.24/313.34 c #Conflicts: 375000 | #Constraints: 18100
312.24/313.34 c #Conflicts: 376000 | #Constraints: 19100
312.24/313.34 c #Conflicts: 377000 | #Constraints: 20100
312.24/313.34 c #Conflicts: 378000 | #Constraints: 21100
312.24/313.34 c #Conflicts: 379000 | #Constraints: 22100
312.24/313.34 c #Conflicts: 380000 | #Constraints: 23100
312.24/313.34 c #Conflicts: 381000 | #Constraints: 24100
312.24/313.34 c INPROCESSING
312.24/313.34 c GARBAGE COLLECT
312.24/313.34 c #Conflicts: 382000 | #Constraints: 12888
312.24/313.34 c #Conflicts: 383000 | #Constraints: 13888
312.24/313.34 c #Conflicts: 384000 | #Constraints: 14888
312.24/313.34 c #Conflicts: 385000 | #Constraints: 15888
312.24/313.34 c #Conflicts: 386000 | #Constraints: 16888
312.24/313.34 c #Conflicts: 387000 | #Constraints: 17888
312.24/313.34 c #Conflicts: 388000 | #Constraints: 18888
312.24/313.34 c #Conflicts: 389000 | #Constraints: 19888
312.24/313.34 c #Conflicts: 390000 | #Constraints: 20888
312.24/313.34 c #Conflicts: 391000 | #Constraints: 21888
312.24/313.34 c #Conflicts: 392000 | #Constraints: 22888
312.24/313.34 c #Conflicts: 393000 | #Constraints: 23888
312.24/313.34 c #Conflicts: 394000 | #Constraints: 24888
312.24/313.34 c INPROCESSING
312.24/313.34 c GARBAGE COLLECT
312.24/313.34 c #Conflicts: 395000 | #Constraints: 13491
312.24/313.34 c #Conflicts: 396000 | #Constraints: 14491
312.24/313.34 c #Conflicts: 397000 | #Constraints: 15491
312.24/313.34 c #Conflicts: 398000 | #Constraints: 16491
312.24/313.34 c #Conflicts: 399000 | #Constraints: 17491
312.24/313.34 c #Conflicts: 400000 | #Constraints: 18491
312.24/313.34 c #Conflicts: 401000 | #Constraints: 19491
312.24/313.34 c #Conflicts: 402000 | #Constraints: 20491
312.24/313.34 c #Conflicts: 403000 | #Constraints: 21491
312.24/313.34 c #Conflicts: 404000 | #Constraints: 22491
312.24/313.34 c #Conflicts: 405000 | #Constraints: 23491
312.24/313.34 c #Conflicts: 406000 | #Constraints: 24491
312.24/313.34 c #Conflicts: 407000 | #Constraints: 25491
312.24/313.34 c INPROCESSING
312.24/313.34 c GARBAGE COLLECT
312.24/313.34 c #Conflicts: 408000 | #Constraints: 13896
312.24/313.34 c #Conflicts: 409000 | #Constraints: 14896
312.24/313.34 c #Conflicts: 410000 | #Constraints: 15896
312.24/313.34 c #Conflicts: 411000 | #Constraints: 16896
312.24/313.34 c #Conflicts: 412000 | #Constraints: 17896
312.24/313.34 c #Conflicts: 413000 | #Constraints: 18896
312.24/313.34 c #Conflicts: 414000 | #Constraints: 19896
312.24/313.34 c #Conflicts: 415000 | #Constraints: 20896
312.24/313.34 c #Conflicts: 416000 | #Constraints: 21896
312.24/313.34 c #Conflicts: 417000 | #Constraints: 22896
312.24/313.34 c #Conflicts: 418000 | #Constraints: 23896
312.24/313.34 c #Conflicts: 419000 | #Constraints: 24896
312.24/313.34 c #Conflicts: 420000 | #Constraints: 25896
312.24/313.34 c INPROCESSING
312.24/313.34 c GARBAGE COLLECT
312.24/313.34 c #Conflicts: 421000 | #Constraints: 14092
312.24/313.34 c #Conflicts: 422000 | #Constraints: 15092
312.24/313.34 c #Conflicts: 423000 | #Constraints: 16092
312.24/313.34 c #Conflicts: 424000 | #Constraints: 17092
312.24/313.34 c #Conflicts: 425000 | #Constraints: 18092
312.24/313.34 c #Conflicts: 426000 | #Constraints: 19092
312.24/313.34 c #Conflicts: 427000 | #Constraints: 20092
312.24/313.34 c #Conflicts: 428000 | #Constraints: 21092
312.24/313.34 c #Conflicts: 429000 | #Constraints: 22092
312.24/313.34 c #Conflicts: 430000 | #Constraints: 23092
312.24/313.34 c #Conflicts: 431000 | #Constraints: 24092
312.24/313.34 c #Conflicts: 432000 | #Constraints: 25092
312.24/313.34 c #Conflicts: 433000 | #Constraints: 26092
312.24/313.34 c INPROCESSING
312.24/313.34 c GARBAGE COLLECT
312.24/313.34 c #Conflicts: 434000 | #Constraints: 14102
312.24/313.34 c #Conflicts: 435000 | #Constraints: 15102
312.24/313.34 c #Conflicts: 436000 | #Constraints: 16102
404.92/406.33 c #Conflicts: 437000 | #Constraints: 17102
404.92/406.33 c #Conflicts: 438000 | #Constraints: 18102
404.92/406.33 c #Conflicts: 439000 | #Constraints: 19102
404.92/406.33 c #Conflicts: 440000 | #Constraints: 20102
404.92/406.33 c #Conflicts: 441000 | #Constraints: 21102
404.92/406.33 c #Conflicts: 442000 | #Constraints: 22102
404.92/406.33 c #Conflicts: 443000 | #Constraints: 23102
404.92/406.33 c #Conflicts: 444000 | #Constraints: 24102
404.92/406.33 c #Conflicts: 445000 | #Constraints: 25102
404.92/406.33 c #Conflicts: 446000 | #Constraints: 26102
404.92/406.33 c INPROCESSING
404.92/406.33 c GARBAGE COLLECT
404.92/406.33 c #Conflicts: 447000 | #Constraints: 13901
404.92/406.33 c #Conflicts: 448000 | #Constraints: 14901
404.92/406.33 c #Conflicts: 449000 | #Constraints: 15901
404.92/406.33 c #Conflicts: 450000 | #Constraints: 16901
404.92/406.33 c #Conflicts: 451000 | #Constraints: 17901
404.92/406.33 c #Conflicts: 452000 | #Constraints: 18901
404.92/406.33 c #Conflicts: 453000 | #Constraints: 19901
404.92/406.33 c #Conflicts: 454000 | #Constraints: 20901
404.92/406.33 c #Conflicts: 455000 | #Constraints: 21901
404.92/406.33 c #Conflicts: 456000 | #Constraints: 22901
404.92/406.33 c #Conflicts: 457000 | #Constraints: 23901
404.92/406.33 c #Conflicts: 458000 | #Constraints: 24901
404.92/406.33 c #Conflicts: 459000 | #Constraints: 25901
404.92/406.33 c #Conflicts: 460000 | #Constraints: 26901
404.92/406.33 c INPROCESSING
404.92/406.33 c GARBAGE COLLECT
404.92/406.33 c #Conflicts: 461000 | #Constraints: 14513
404.92/406.33 c #Conflicts: 462000 | #Constraints: 15513
404.92/406.33 c #Conflicts: 463000 | #Constraints: 16513
404.92/406.33 c #Conflicts: 464000 | #Constraints: 17513
404.92/406.33 c #Conflicts: 465000 | #Constraints: 18513
404.92/406.33 c #Conflicts: 466000 | #Constraints: 19513
404.92/406.33 c #Conflicts: 467000 | #Constraints: 20513
404.92/406.33 c #Conflicts: 468000 | #Constraints: 21513
404.92/406.33 c #Conflicts: 469000 | #Constraints: 22513
404.92/406.33 c #Conflicts: 470000 | #Constraints: 23513
404.92/406.33 c #Conflicts: 471000 | #Constraints: 24513
404.92/406.33 c #Conflicts: 472000 | #Constraints: 25513
404.92/406.33 c #Conflicts: 473000 | #Constraints: 26513
404.92/406.33 c #Conflicts: 474000 | #Constraints: 27513
404.92/406.33 c INPROCESSING
404.92/406.33 c GARBAGE COLLECT
404.92/406.33 c #Conflicts: 475000 | #Constraints: 14929
404.92/406.33 c #Conflicts: 476000 | #Constraints: 15929
404.92/406.33 c #Conflicts: 477000 | #Constraints: 16929
404.92/406.33 c #Conflicts: 478000 | #Constraints: 17929
404.92/406.33 c #Conflicts: 479000 | #Constraints: 18929
404.92/406.33 c #Conflicts: 480000 | #Constraints: 19929
404.92/406.33 c #Conflicts: 481000 | #Constraints: 20929
404.92/406.33 c #Conflicts: 482000 | #Constraints: 21929
404.92/406.33 c #Conflicts: 483000 | #Constraints: 22929
404.92/406.33 c #Conflicts: 484000 | #Constraints: 23929
404.92/406.33 c #Conflicts: 485000 | #Constraints: 24929
404.92/406.33 c #Conflicts: 486000 | #Constraints: 25929
404.92/406.33 c #Conflicts: 487000 | #Constraints: 26929
404.92/406.33 c #Conflicts: 488000 | #Constraints: 27929
404.92/406.33 c INPROCESSING
404.92/406.33 c GARBAGE COLLECT
404.92/406.33 c #Conflicts: 489000 | #Constraints: 15127
404.92/406.33 c #Conflicts: 490000 | #Constraints: 16127
404.92/406.33 c #Conflicts: 491000 | #Constraints: 17127
404.92/406.33 c #Conflicts: 492000 | #Constraints: 18127
404.92/406.33 c #Conflicts: 493000 | #Constraints: 19127
404.92/406.33 c #Conflicts: 494000 | #Constraints: 20127
404.92/406.33 c #Conflicts: 495000 | #Constraints: 21127
404.92/406.33 c #Conflicts: 496000 | #Constraints: 22127
404.92/406.33 c #Conflicts: 497000 | #Constraints: 23127
404.92/406.33 c #Conflicts: 498000 | #Constraints: 24127
404.92/406.33 c #Conflicts: 499000 | #Constraints: 25127
404.92/406.33 c #Conflicts: 500000 | #Constraints: 26127
404.92/406.33 c #Conflicts: 501000 | #Constraints: 27127
404.92/406.33 c #Conflicts: 502000 | #Constraints: 28127
404.92/406.33 c INPROCESSING
404.92/406.33 c GARBAGE COLLECT
404.92/406.33 c #Conflicts: 503000 | #Constraints: 15125
404.92/406.33 c #Conflicts: 504000 | #Constraints: 16125
404.92/406.33 c #Conflicts: 505000 | #Constraints: 17125
404.92/406.33 c #Conflicts: 506000 | #Constraints: 18125
404.92/406.33 c #Conflicts: 507000 | #Constraints: 19125
404.92/406.33 c #Conflicts: 508000 | #Constraints: 20125
404.92/406.33 c #Conflicts: 509000 | #Constraints: 21125
404.92/406.33 c #Conflicts: 510000 | #Constraints: 22125
404.92/406.33 c #Conflicts: 511000 | #Constraints: 23125
404.92/406.33 c #Conflicts: 512000 | #Constraints: 24125
481.20/482.84 c #Conflicts: 513000 | #Constraints: 25125
481.20/482.84 c #Conflicts: 514000 | #Constraints: 26125
481.20/482.84 c #Conflicts: 515000 | #Constraints: 27125
481.20/482.84 c #Conflicts: 516000 | #Constraints: 28125
481.20/482.84 c INPROCESSING
481.20/482.84 c GARBAGE COLLECT
481.20/482.84 c #Conflicts: 517000 | #Constraints: 14907
481.20/482.84 c #Conflicts: 518000 | #Constraints: 15907
481.20/482.84 c #Conflicts: 519000 | #Constraints: 16907
481.20/482.84 c #Conflicts: 520000 | #Constraints: 17907
481.20/482.84 c #Conflicts: 521000 | #Constraints: 18907
481.20/482.84 c #Conflicts: 522000 | #Constraints: 19907
481.20/482.84 c #Conflicts: 523000 | #Constraints: 20907
481.20/482.84 c #Conflicts: 524000 | #Constraints: 21907
481.20/482.84 c #Conflicts: 525000 | #Constraints: 22907
481.20/482.84 c #Conflicts: 526000 | #Constraints: 23907
481.20/482.84 c #Conflicts: 527000 | #Constraints: 24907
481.20/482.84 c #Conflicts: 528000 | #Constraints: 25907
481.20/482.84 c #Conflicts: 529000 | #Constraints: 26907
481.20/482.84 c #Conflicts: 530000 | #Constraints: 27907
481.20/482.84 c #Conflicts: 531000 | #Constraints: 28907
481.20/482.84 c INPROCESSING
481.20/482.84 c GARBAGE COLLECT
481.20/482.84 c #Conflicts: 532000 | #Constraints: 15527
481.20/482.84 c #Conflicts: 533000 | #Constraints: 16527
481.20/482.84 c #Conflicts: 534000 | #Constraints: 17527
481.20/482.84 c #Conflicts: 535000 | #Constraints: 18527
481.20/482.84 c #Conflicts: 536000 | #Constraints: 19527
481.20/482.84 c #Conflicts: 537000 | #Constraints: 20527
481.20/482.84 c #Conflicts: 538000 | #Constraints: 21527
481.20/482.84 c #Conflicts: 539000 | #Constraints: 22527
481.20/482.84 c #Conflicts: 540000 | #Constraints: 23527
481.20/482.84 c #Conflicts: 541000 | #Constraints: 24527
481.20/482.84 c #Conflicts: 542000 | #Constraints: 25527
481.20/482.84 c #Conflicts: 543000 | #Constraints: 26527
481.20/482.84 c #Conflicts: 544000 | #Constraints: 27527
481.20/482.84 c #Conflicts: 545000 | #Constraints: 28527
481.20/482.84 c #Conflicts: 546000 | #Constraints: 29527
481.20/482.84 c INPROCESSING
481.20/482.84 c GARBAGE COLLECT
481.20/482.84 c #Conflicts: 547000 | #Constraints: 15918
481.20/482.84 c #Conflicts: 548000 | #Constraints: 16918
481.20/482.84 c #Conflicts: 549000 | #Constraints: 17918
481.20/482.84 c #Conflicts: 550000 | #Constraints: 18918
481.20/482.84 c #Conflicts: 551000 | #Constraints: 19918
481.20/482.84 c #Conflicts: 552000 | #Constraints: 20918
481.20/482.84 c #Conflicts: 553000 | #Constraints: 21918
481.20/482.84 c #Conflicts: 554000 | #Constraints: 22918
481.20/482.84 c #Conflicts: 555000 | #Constraints: 23918
481.20/482.84 c #Conflicts: 556000 | #Constraints: 24918
481.20/482.84 c #Conflicts: 557000 | #Constraints: 25918
481.20/482.84 c #Conflicts: 558000 | #Constraints: 26918
481.20/482.84 c #Conflicts: 559000 | #Constraints: 27918
481.20/482.84 c #Conflicts: 560000 | #Constraints: 28918
481.20/482.84 c #Conflicts: 561000 | #Constraints: 29918
481.20/482.84 c INPROCESSING
481.20/482.84 c GARBAGE COLLECT
481.20/482.84 c #Conflicts: 562000 | #Constraints: 16107
481.20/482.84 c #Conflicts: 563000 | #Constraints: 17107
481.20/482.84 c #Conflicts: 564000 | #Constraints: 18107
481.20/482.84 c #Conflicts: 565000 | #Constraints: 19107
481.20/482.84 c #Conflicts: 566000 | #Constraints: 20107
481.20/482.84 c #Conflicts: 567000 | #Constraints: 21107
481.20/482.84 c #Conflicts: 568000 | #Constraints: 22107
481.20/482.84 c #Conflicts: 569000 | #Constraints: 23107
481.20/482.84 c #Conflicts: 570000 | #Constraints: 24107
481.20/482.84 c #Conflicts: 571000 | #Constraints: 25107
481.20/482.84 c #Conflicts: 572000 | #Constraints: 26107
481.20/482.84 c #Conflicts: 573000 | #Constraints: 27107
481.20/482.84 c #Conflicts: 574000 | #Constraints: 28107
481.20/482.84 c #Conflicts: 575000 | #Constraints: 29107
481.20/482.84 c #Conflicts: 576000 | #Constraints: 30107
481.20/482.84 c INPROCESSING
481.20/482.84 c GARBAGE COLLECT
481.20/482.84 c #Conflicts: 577000 | #Constraints: 16119
481.20/482.84 c #Conflicts: 578000 | #Constraints: 17119
481.20/482.84 c #Conflicts: 579000 | #Constraints: 18119
481.20/482.84 c #Conflicts: 580000 | #Constraints: 19119
481.20/482.84 c #Conflicts: 581000 | #Constraints: 20119
481.20/482.84 c #Conflicts: 582000 | #Constraints: 21119
481.20/482.84 c #Conflicts: 583000 | #Constraints: 22119
481.20/482.84 c #Conflicts: 584000 | #Constraints: 23119
481.20/482.84 c #Conflicts: 585000 | #Constraints: 24119
481.20/482.84 c #Conflicts: 586000 | #Constraints: 25119
481.20/482.84 c #Conflicts: 587000 | #Constraints: 26119
481.20/482.84 c #Conflicts: 588000 | #Constraints: 27119
558.41/560.23 c #Conflicts: 589000 | #Constraints: 28119
558.41/560.23 c #Conflicts: 590000 | #Constraints: 29119
558.41/560.23 c #Conflicts: 591000 | #Constraints: 30119
558.41/560.23 c INPROCESSING
558.41/560.23 c GARBAGE COLLECT
558.41/560.23 c #Conflicts: 592000 | #Constraints: 15926
558.41/560.23 c #Conflicts: 593000 | #Constraints: 16926
558.41/560.23 c #Conflicts: 594000 | #Constraints: 17926
558.41/560.23 c #Conflicts: 595000 | #Constraints: 18926
558.41/560.23 c #Conflicts: 596000 | #Constraints: 19926
558.41/560.23 c #Conflicts: 597000 | #Constraints: 20926
558.41/560.23 c #Conflicts: 598000 | #Constraints: 21926
558.41/560.23 c #Conflicts: 599000 | #Constraints: 22926
558.41/560.23 c #Conflicts: 600000 | #Constraints: 23926
558.41/560.23 c #Conflicts: 601000 | #Constraints: 24926
558.41/560.23 c #Conflicts: 602000 | #Constraints: 25926
558.41/560.23 c #Conflicts: 603000 | #Constraints: 26926
558.41/560.23 c #Conflicts: 604000 | #Constraints: 27926
558.41/560.23 c #Conflicts: 605000 | #Constraints: 28926
558.41/560.23 c #Conflicts: 606000 | #Constraints: 29926
558.41/560.23 c #Conflicts: 607000 | #Constraints: 30926
558.41/560.23 c INPROCESSING
558.41/560.23 c GARBAGE COLLECT
558.41/560.23 c #Conflicts: 608000 | #Constraints: 16519
558.41/560.23 c #Conflicts: 609000 | #Constraints: 17519
558.41/560.23 c #Conflicts: 610000 | #Constraints: 18519
558.41/560.23 c #Conflicts: 611000 | #Constraints: 19519
558.41/560.23 c #Conflicts: 612000 | #Constraints: 20519
558.41/560.23 c #Conflicts: 613000 | #Constraints: 21519
558.41/560.23 c #Conflicts: 614000 | #Constraints: 22519
558.41/560.23 c #Conflicts: 615000 | #Constraints: 23519
558.41/560.23 c #Conflicts: 616000 | #Constraints: 24519
558.41/560.23 c #Conflicts: 617000 | #Constraints: 25519
558.41/560.23 c #Conflicts: 618000 | #Constraints: 26519
558.41/560.23 c #Conflicts: 619000 | #Constraints: 27519
558.41/560.23 c #Conflicts: 620000 | #Constraints: 28519
558.41/560.23 c #Conflicts: 621000 | #Constraints: 29519
558.41/560.23 c #Conflicts: 622000 | #Constraints: 30519
558.41/560.23 c #Conflicts: 623000 | #Constraints: 31519
558.41/560.23 c INPROCESSING
558.41/560.23 c GARBAGE COLLECT
558.41/560.23 c #Conflicts: 624000 | #Constraints: 16934
558.41/560.23 c #Conflicts: 625000 | #Constraints: 17934
558.41/560.23 c #Conflicts: 626000 | #Constraints: 18934
558.41/560.23 c #Conflicts: 627000 | #Constraints: 19934
558.41/560.23 c #Conflicts: 628000 | #Constraints: 20934
558.41/560.23 c #Conflicts: 629000 | #Constraints: 21934
558.41/560.23 c #Conflicts: 630000 | #Constraints: 22934
558.41/560.23 c #Conflicts: 631000 | #Constraints: 23934
558.41/560.23 c #Conflicts: 632000 | #Constraints: 24934
558.41/560.23 c #Conflicts: 633000 | #Constraints: 25934
558.41/560.23 c #Conflicts: 634000 | #Constraints: 26934
558.41/560.23 c #Conflicts: 635000 | #Constraints: 27934
558.41/560.23 c #Conflicts: 636000 | #Constraints: 28934
558.41/560.23 c #Conflicts: 637000 | #Constraints: 29934
558.41/560.23 c #Conflicts: 638000 | #Constraints: 30934
558.41/560.23 c #Conflicts: 639000 | #Constraints: 31934
558.41/560.23 c INPROCESSING
558.41/560.23 c GARBAGE COLLECT
558.41/560.23 c #Conflicts: 640000 | #Constraints: 17129
558.41/560.23 c #Conflicts: 641000 | #Constraints: 18129
558.41/560.23 c #Conflicts: 642000 | #Constraints: 19129
558.41/560.23 c #Conflicts: 643000 | #Constraints: 20129
558.41/560.23 c #Conflicts: 644000 | #Constraints: 21129
558.41/560.23 c #Conflicts: 645000 | #Constraints: 22129
558.41/560.23 c #Conflicts: 646000 | #Constraints: 23129
558.41/560.23 c #Conflicts: 647000 | #Constraints: 24129
558.41/560.23 c #Conflicts: 648000 | #Constraints: 25129
558.41/560.23 c #Conflicts: 649000 | #Constraints: 26129
558.41/560.23 c #Conflicts: 650000 | #Constraints: 27129
558.41/560.23 c #Conflicts: 651000 | #Constraints: 28129
558.41/560.23 c #Conflicts: 652000 | #Constraints: 29129
558.41/560.23 c #Conflicts: 653000 | #Constraints: 30129
558.41/560.23 c #Conflicts: 654000 | #Constraints: 31129
558.41/560.23 c #Conflicts: 655000 | #Constraints: 32129
558.41/560.23 c INPROCESSING
558.41/560.23 c GARBAGE COLLECT
558.41/560.23 c #Conflicts: 656000 | #Constraints: 17115
558.41/560.23 c #Conflicts: 657000 | #Constraints: 18115
558.41/560.23 c #Conflicts: 658000 | #Constraints: 19115
558.41/560.23 c #Conflicts: 659000 | #Constraints: 20115
558.41/560.23 c #Conflicts: 660000 | #Constraints: 21115
558.41/560.23 c #Conflicts: 661000 | #Constraints: 22115
558.41/560.23 c #Conflicts: 662000 | #Constraints: 23115
558.41/560.23 c #Conflicts: 663000 | #Constraints: 24115
670.73/672.82 c #Conflicts: 664000 | #Constraints: 25115
670.73/672.82 c #Conflicts: 665000 | #Constraints: 26115
670.73/672.82 c #Conflicts: 666000 | #Constraints: 27115
670.73/672.82 c #Conflicts: 667000 | #Constraints: 28115
670.73/672.82 c #Conflicts: 668000 | #Constraints: 29115
670.73/672.82 c #Conflicts: 669000 | #Constraints: 30115
670.73/672.82 c #Conflicts: 670000 | #Constraints: 31115
670.73/672.82 c #Conflicts: 671000 | #Constraints: 32115
670.73/672.82 c INPROCESSING
670.73/672.82 c GARBAGE COLLECT
670.73/672.82 c #Conflicts: 672000 | #Constraints: 16905
670.73/672.82 c #Conflicts: 673000 | #Constraints: 17905
670.73/672.82 c #Conflicts: 674000 | #Constraints: 18905
670.73/672.82 c #Conflicts: 675000 | #Constraints: 19905
670.73/672.82 c #Conflicts: 676000 | #Constraints: 20905
670.73/672.82 c #Conflicts: 677000 | #Constraints: 21905
670.73/672.82 c #Conflicts: 678000 | #Constraints: 22905
670.73/672.82 c #Conflicts: 679000 | #Constraints: 23905
670.73/672.82 c #Conflicts: 680000 | #Constraints: 24905
670.73/672.82 c #Conflicts: 681000 | #Constraints: 25905
670.73/672.82 c #Conflicts: 682000 | #Constraints: 26905
670.73/672.82 c #Conflicts: 683000 | #Constraints: 27905
670.73/672.82 c #Conflicts: 684000 | #Constraints: 28905
670.73/672.82 c #Conflicts: 685000 | #Constraints: 29905
670.73/672.82 c #Conflicts: 686000 | #Constraints: 30905
670.73/672.82 c #Conflicts: 687000 | #Constraints: 31905
670.73/672.82 c #Conflicts: 688000 | #Constraints: 32905
670.73/672.82 c INPROCESSING
670.73/672.82 c GARBAGE COLLECT
670.73/672.82 c #Conflicts: 689000 | #Constraints: 17525
670.73/672.82 c #Conflicts: 690000 | #Constraints: 18525
670.73/672.82 c #Conflicts: 691000 | #Constraints: 19525
670.73/672.82 c #Conflicts: 692000 | #Constraints: 20525
670.73/672.82 c #Conflicts: 693000 | #Constraints: 21525
670.73/672.82 c #Conflicts: 694000 | #Constraints: 22525
670.73/672.82 c #Conflicts: 695000 | #Constraints: 23525
670.73/672.82 c #Conflicts: 696000 | #Constraints: 24525
670.73/672.82 c #Conflicts: 697000 | #Constraints: 25525
670.73/672.82 c #Conflicts: 698000 | #Constraints: 26525
670.73/672.82 c #Conflicts: 699000 | #Constraints: 27525
670.73/672.82 c #Conflicts: 700000 | #Constraints: 28525
670.73/672.82 c #Conflicts: 701000 | #Constraints: 29525
670.73/672.82 c #Conflicts: 702000 | #Constraints: 30525
670.73/672.82 c #Conflicts: 703000 | #Constraints: 31525
670.73/672.82 c #Conflicts: 704000 | #Constraints: 32525
670.73/672.82 c #Conflicts: 705000 | #Constraints: 33525
670.73/672.82 c INPROCESSING
670.73/672.82 c GARBAGE COLLECT
670.73/672.82 c #Conflicts: 706000 | #Constraints: 17925
670.73/672.82 c #Conflicts: 707000 | #Constraints: 18925
670.73/672.82 c #Conflicts: 708000 | #Constraints: 19925
670.73/672.82 c #Conflicts: 709000 | #Constraints: 20925
670.73/672.82 c #Conflicts: 710000 | #Constraints: 21925
670.73/672.82 c #Conflicts: 711000 | #Constraints: 22925
670.73/672.82 c #Conflicts: 712000 | #Constraints: 23925
670.73/672.82 c #Conflicts: 713000 | #Constraints: 24925
670.73/672.82 c #Conflicts: 714000 | #Constraints: 25925
670.73/672.82 c #Conflicts: 715000 | #Constraints: 26925
670.73/672.82 c #Conflicts: 716000 | #Constraints: 27925
670.73/672.82 c #Conflicts: 717000 | #Constraints: 28925
670.73/672.82 c #Conflicts: 718000 | #Constraints: 29925
670.73/672.82 c #Conflicts: 719000 | #Constraints: 30925
670.73/672.82 c #Conflicts: 720000 | #Constraints: 31925
670.73/672.82 c #Conflicts: 721000 | #Constraints: 32925
670.73/672.82 c #Conflicts: 722000 | #Constraints: 33925
670.73/672.82 c INPROCESSING
670.73/672.82 c GARBAGE COLLECT
670.73/672.82 c #Conflicts: 723000 | #Constraints: 18137
670.73/672.82 c #Conflicts: 724000 | #Constraints: 19137
670.73/672.82 c #Conflicts: 725000 | #Constraints: 20137
670.73/672.82 c #Conflicts: 726000 | #Constraints: 21137
670.73/672.82 c #Conflicts: 727000 | #Constraints: 22137
670.73/672.82 c #Conflicts: 728000 | #Constraints: 23137
670.73/672.82 c #Conflicts: 729000 | #Constraints: 24137
670.73/672.82 c #Conflicts: 730000 | #Constraints: 25137
670.73/672.82 c #Conflicts: 731000 | #Constraints: 26137
670.73/672.82 c #Conflicts: 732000 | #Constraints: 27137
670.73/672.82 c #Conflicts: 733000 | #Constraints: 28137
670.73/672.82 c #Conflicts: 734000 | #Constraints: 29137
670.73/672.82 c #Conflicts: 735000 | #Constraints: 30137
670.73/672.82 c #Conflicts: 736000 | #Constraints: 31137
670.73/672.82 c #Conflicts: 737000 | #Constraints: 32137
670.73/672.82 c #Conflicts: 738000 | #Constraints: 33137
670.73/672.82 c #Conflicts: 739000 | #Constraints: 34137
766.59/768.99 c INPROCESSING
766.59/768.99 c GARBAGE COLLECT
766.59/768.99 c #Conflicts: 740000 | #Constraints: 18122
766.59/768.99 c #Conflicts: 741000 | #Constraints: 19122
766.59/768.99 c #Conflicts: 742000 | #Constraints: 20122
766.59/768.99 c #Conflicts: 743000 | #Constraints: 21122
766.59/768.99 c #Conflicts: 744000 | #Constraints: 22122
766.59/768.99 c #Conflicts: 745000 | #Constraints: 23122
766.59/768.99 c #Conflicts: 746000 | #Constraints: 24122
766.59/768.99 c #Conflicts: 747000 | #Constraints: 25122
766.59/768.99 c #Conflicts: 748000 | #Constraints: 26122
766.59/768.99 c #Conflicts: 749000 | #Constraints: 27122
766.59/768.99 c #Conflicts: 750000 | #Constraints: 28122
766.59/768.99 c #Conflicts: 751000 | #Constraints: 29122
766.59/768.99 c #Conflicts: 752000 | #Constraints: 30122
766.59/768.99 c #Conflicts: 753000 | #Constraints: 31122
766.59/768.99 c #Conflicts: 754000 | #Constraints: 32122
766.59/768.99 c #Conflicts: 755000 | #Constraints: 33122
766.59/768.99 c #Conflicts: 756000 | #Constraints: 34122
766.59/768.99 c INPROCESSING
766.59/768.99 c GARBAGE COLLECT
766.59/768.99 c #Conflicts: 757000 | #Constraints: 17915
766.59/768.99 c #Conflicts: 758000 | #Constraints: 18915
766.59/768.99 c #Conflicts: 759000 | #Constraints: 19915
766.59/768.99 c #Conflicts: 760000 | #Constraints: 20915
766.59/768.99 c #Conflicts: 761000 | #Constraints: 21915
766.59/768.99 c #Conflicts: 762000 | #Constraints: 22915
766.59/768.99 c #Conflicts: 763000 | #Constraints: 23915
766.59/768.99 c #Conflicts: 764000 | #Constraints: 24915
766.59/768.99 c #Conflicts: 765000 | #Constraints: 25915
766.59/768.99 c #Conflicts: 766000 | #Constraints: 26915
766.59/768.99 c #Conflicts: 767000 | #Constraints: 27915
766.59/768.99 c #Conflicts: 768000 | #Constraints: 28915
766.59/768.99 c #Conflicts: 769000 | #Constraints: 29915
766.59/768.99 c #Conflicts: 770000 | #Constraints: 30915
766.59/768.99 c #Conflicts: 771000 | #Constraints: 31915
766.59/768.99 c #Conflicts: 772000 | #Constraints: 32915
766.59/768.99 c #Conflicts: 773000 | #Constraints: 33915
766.59/768.99 c #Conflicts: 774000 | #Constraints: 34915
766.59/768.99 c INPROCESSING
766.59/768.99 c GARBAGE COLLECT
766.59/768.99 c #Conflicts: 775000 | #Constraints: 18522
766.59/768.99 c #Conflicts: 776000 | #Constraints: 19522
766.59/768.99 c #Conflicts: 777000 | #Constraints: 20522
766.59/768.99 c #Conflicts: 778000 | #Constraints: 21522
766.59/768.99 c #Conflicts: 779000 | #Constraints: 22522
766.59/768.99 c #Conflicts: 780000 | #Constraints: 23522
766.59/768.99 c #Conflicts: 781000 | #Constraints: 24522
766.59/768.99 c #Conflicts: 782000 | #Constraints: 25522
766.59/768.99 c #Conflicts: 783000 | #Constraints: 26522
766.59/768.99 c #Conflicts: 784000 | #Constraints: 27522
766.59/768.99 c #Conflicts: 785000 | #Constraints: 28522
766.59/768.99 c #Conflicts: 786000 | #Constraints: 29522
766.59/768.99 c #Conflicts: 787000 | #Constraints: 30522
766.59/768.99 c #Conflicts: 788000 | #Constraints: 31522
766.59/768.99 c #Conflicts: 789000 | #Constraints: 32522
766.59/768.99 c #Conflicts: 790000 | #Constraints: 33522
766.59/768.99 c #Conflicts: 791000 | #Constraints: 34522
766.59/768.99 c #Conflicts: 792000 | #Constraints: 35522
766.59/768.99 c INPROCESSING
766.59/768.99 c GARBAGE COLLECT
766.59/768.99 c #Conflicts: 793000 | #Constraints: 18928
766.59/768.99 c #Conflicts: 794000 | #Constraints: 19928
766.59/768.99 c #Conflicts: 795000 | #Constraints: 20928
766.59/768.99 c #Conflicts: 796000 | #Constraints: 21928
766.59/768.99 c #Conflicts: 797000 | #Constraints: 22928
766.59/768.99 c #Conflicts: 798000 | #Constraints: 23928
766.59/768.99 c #Conflicts: 799000 | #Constraints: 24928
766.59/768.99 c #Conflicts: 800000 | #Constraints: 25928
766.59/768.99 c #Conflicts: 801000 | #Constraints: 26928
766.59/768.99 c #Conflicts: 802000 | #Constraints: 27928
766.59/768.99 c #Conflicts: 803000 | #Constraints: 28928
766.59/768.99 c #Conflicts: 804000 | #Constraints: 29928
766.59/768.99 c #Conflicts: 805000 | #Constraints: 30928
766.59/768.99 c #Conflicts: 806000 | #Constraints: 31928
766.59/768.99 c #Conflicts: 807000 | #Constraints: 32928
766.59/768.99 c #Conflicts: 808000 | #Constraints: 33928
766.59/768.99 c #Conflicts: 809000 | #Constraints: 34928
766.59/768.99 c #Conflicts: 810000 | #Constraints: 35928
766.59/768.99 c INPROCESSING
766.59/768.99 c GARBAGE COLLECT
766.59/768.99 c #Conflicts: 811000 | #Constraints: 19132
766.59/768.99 c #Conflicts: 812000 | #Constraints: 20132
766.59/768.99 c #Conflicts: 813000 | #Constraints: 21132
766.59/768.99 c #Conflicts: 814000 | #Constraints: 22132
766.59/768.99 c #Conflicts: 815000 | #Constraints: 23132
864.35/866.92 c #Conflicts: 816000 | #Constraints: 24132
864.35/866.92 c #Conflicts: 817000 | #Constraints: 25132
864.35/866.92 c #Conflicts: 818000 | #Constraints: 26132
864.35/866.92 c #Conflicts: 819000 | #Constraints: 27132
864.35/866.92 c #Conflicts: 820000 | #Constraints: 28132
864.35/866.92 c #Conflicts: 821000 | #Constraints: 29132
864.35/866.92 c #Conflicts: 822000 | #Constraints: 30132
864.35/866.92 c #Conflicts: 823000 | #Constraints: 31132
864.35/866.92 c #Conflicts: 824000 | #Constraints: 32132
864.35/866.92 c #Conflicts: 825000 | #Constraints: 33132
864.35/866.92 c #Conflicts: 826000 | #Constraints: 34132
864.35/866.92 c #Conflicts: 827000 | #Constraints: 35132
864.35/866.92 c #Conflicts: 828000 | #Constraints: 36132
864.35/866.92 c INPROCESSING
864.35/866.92 c GARBAGE COLLECT
864.35/866.92 c #Conflicts: 829000 | #Constraints: 19138
864.35/866.92 c #Conflicts: 830000 | #Constraints: 20138
864.35/866.92 c #Conflicts: 831000 | #Constraints: 21138
864.35/866.92 c #Conflicts: 832000 | #Constraints: 22138
864.35/866.92 c #Conflicts: 833000 | #Constraints: 23138
864.35/866.92 c #Conflicts: 834000 | #Constraints: 24138
864.35/866.92 c #Conflicts: 835000 | #Constraints: 25138
864.35/866.92 c #Conflicts: 836000 | #Constraints: 26138
864.35/866.92 c #Conflicts: 837000 | #Constraints: 27138
864.35/866.92 c #Conflicts: 838000 | #Constraints: 28138
864.35/866.92 c #Conflicts: 839000 | #Constraints: 29138
864.35/866.92 c #Conflicts: 840000 | #Constraints: 30138
864.35/866.92 c #Conflicts: 841000 | #Constraints: 31138
864.35/866.92 c #Conflicts: 842000 | #Constraints: 32138
864.35/866.92 c #Conflicts: 843000 | #Constraints: 33138
864.35/866.92 c #Conflicts: 844000 | #Constraints: 34138
864.35/866.92 c #Conflicts: 845000 | #Constraints: 35138
864.35/866.92 c #Conflicts: 846000 | #Constraints: 36138
864.35/866.92 c INPROCESSING
864.35/866.92 c GARBAGE COLLECT
864.35/866.92 c #Conflicts: 847000 | #Constraints: 18935
864.35/866.92 c #Conflicts: 848000 | #Constraints: 19935
864.35/866.92 c #Conflicts: 849000 | #Constraints: 20935
864.35/866.92 c #Conflicts: 850000 | #Constraints: 21935
864.35/866.92 c #Conflicts: 851000 | #Constraints: 22935
864.35/866.92 c #Conflicts: 852000 | #Constraints: 23935
864.35/866.92 c #Conflicts: 853000 | #Constraints: 24935
864.35/866.92 c #Conflicts: 854000 | #Constraints: 25935
864.35/866.92 c #Conflicts: 855000 | #Constraints: 26935
864.35/866.92 c #Conflicts: 856000 | #Constraints: 27935
864.35/866.92 c #Conflicts: 857000 | #Constraints: 28935
864.35/866.92 c #Conflicts: 858000 | #Constraints: 29935
864.35/866.92 c #Conflicts: 859000 | #Constraints: 30935
864.35/866.92 c #Conflicts: 860000 | #Constraints: 31935
864.35/866.92 c #Conflicts: 861000 | #Constraints: 32935
864.35/866.92 c #Conflicts: 862000 | #Constraints: 33935
864.35/866.92 c #Conflicts: 863000 | #Constraints: 34935
864.35/866.92 c #Conflicts: 864000 | #Constraints: 35935
864.35/866.92 c #Conflicts: 865000 | #Constraints: 36935
864.35/866.92 c INPROCESSING
864.35/866.92 c GARBAGE COLLECT
864.35/866.92 c #Conflicts: 866000 | #Constraints: 19519
864.35/866.92 c #Conflicts: 867000 | #Constraints: 20519
864.35/866.92 c #Conflicts: 868000 | #Constraints: 21519
864.35/866.92 c #Conflicts: 869000 | #Constraints: 22519
864.35/866.92 c #Conflicts: 870000 | #Constraints: 23519
864.35/866.92 c #Conflicts: 871000 | #Constraints: 24519
864.35/866.92 c #Conflicts: 872000 | #Constraints: 25519
864.35/866.92 c #Conflicts: 873000 | #Constraints: 26519
864.35/866.92 c #Conflicts: 874000 | #Constraints: 27519
864.35/866.92 c #Conflicts: 875000 | #Constraints: 28519
864.35/866.92 c #Conflicts: 876000 | #Constraints: 29519
864.35/866.92 c #Conflicts: 877000 | #Constraints: 30519
864.35/866.92 c #Conflicts: 878000 | #Constraints: 31519
864.35/866.92 c #Conflicts: 879000 | #Constraints: 32519
864.35/866.92 c #Conflicts: 880000 | #Constraints: 33519
864.35/866.92 c #Conflicts: 881000 | #Constraints: 34519
864.35/866.92 c #Conflicts: 882000 | #Constraints: 35519
864.35/866.92 c #Conflicts: 883000 | #Constraints: 36519
864.35/866.92 c #Conflicts: 884000 | #Constraints: 37519
864.35/866.92 c INPROCESSING
864.35/866.92 c GARBAGE COLLECT
864.35/866.92 c #Conflicts: 885000 | #Constraints: 19914
864.35/866.92 c #Conflicts: 886000 | #Constraints: 20914
864.35/866.92 c #Conflicts: 887000 | #Constraints: 21914
864.35/866.92 c #Conflicts: 888000 | #Constraints: 22914
864.35/866.92 c #Conflicts: 889000 | #Constraints: 23914
864.35/866.92 c #Conflicts: 890000 | #Constraints: 24914
864.35/866.92 c #Conflicts: 891000 | #Constraints: 25914
993.22/996.11 c #Conflicts: 892000 | #Constraints: 26914
993.22/996.11 c #Conflicts: 893000 | #Constraints: 27914
993.22/996.11 c #Conflicts: 894000 | #Constraints: 28914
993.22/996.11 c #Conflicts: 895000 | #Constraints: 29914
993.22/996.11 c #Conflicts: 896000 | #Constraints: 30914
993.22/996.11 c #Conflicts: 897000 | #Constraints: 31914
993.22/996.11 c #Conflicts: 898000 | #Constraints: 32914
993.22/996.11 c #Conflicts: 899000 | #Constraints: 33914
993.22/996.11 c #Conflicts: 900000 | #Constraints: 34914
993.22/996.11 c #Conflicts: 901000 | #Constraints: 35914
993.22/996.11 c #Conflicts: 902000 | #Constraints: 36914
993.22/996.11 c #Conflicts: 903000 | #Constraints: 37914
993.22/996.11 c INPROCESSING
993.22/996.11 c GARBAGE COLLECT
993.22/996.11 c #Conflicts: 904000 | #Constraints: 20137
993.22/996.11 c #Conflicts: 905000 | #Constraints: 21137
993.22/996.11 c #Conflicts: 906000 | #Constraints: 22137
993.22/996.11 c #Conflicts: 907000 | #Constraints: 23137
993.22/996.11 c #Conflicts: 908000 | #Constraints: 24137
993.22/996.11 c #Conflicts: 909000 | #Constraints: 25137
993.22/996.11 c #Conflicts: 910000 | #Constraints: 26137
993.22/996.11 c #Conflicts: 911000 | #Constraints: 27137
993.22/996.11 c #Conflicts: 912000 | #Constraints: 28137
993.22/996.11 c #Conflicts: 913000 | #Constraints: 29137
993.22/996.11 c #Conflicts: 914000 | #Constraints: 30137
993.22/996.11 c #Conflicts: 915000 | #Constraints: 31137
993.22/996.11 c #Conflicts: 916000 | #Constraints: 32137
993.22/996.11 c #Conflicts: 917000 | #Constraints: 33137
993.22/996.11 c #Conflicts: 918000 | #Constraints: 34137
993.22/996.11 c #Conflicts: 919000 | #Constraints: 35137
993.22/996.11 c #Conflicts: 920000 | #Constraints: 36137
993.22/996.11 c #Conflicts: 921000 | #Constraints: 37137
993.22/996.11 c #Conflicts: 922000 | #Constraints: 38137
993.22/996.11 c INPROCESSING
993.22/996.11 c GARBAGE COLLECT
993.22/996.11 c #Conflicts: 923000 | #Constraints: 20125
993.22/996.11 c #Conflicts: 924000 | #Constraints: 21125
993.22/996.11 c #Conflicts: 925000 | #Constraints: 22125
993.22/996.11 c #Conflicts: 926000 | #Constraints: 23125
993.22/996.11 c #Conflicts: 927000 | #Constraints: 24125
993.22/996.11 c #Conflicts: 928000 | #Constraints: 25125
993.22/996.11 c #Conflicts: 929000 | #Constraints: 26125
993.22/996.11 c #Conflicts: 930000 | #Constraints: 27125
993.22/996.11 c #Conflicts: 931000 | #Constraints: 28125
993.22/996.11 c #Conflicts: 932000 | #Constraints: 29125
993.22/996.11 c #Conflicts: 933000 | #Constraints: 30125
993.22/996.11 c #Conflicts: 934000 | #Constraints: 31125
993.22/996.11 c #Conflicts: 935000 | #Constraints: 32125
993.22/996.11 c #Conflicts: 936000 | #Constraints: 33125
993.22/996.11 c #Conflicts: 937000 | #Constraints: 34125
993.22/996.11 c #Conflicts: 938000 | #Constraints: 35125
993.22/996.11 c #Conflicts: 939000 | #Constraints: 36125
993.22/996.11 c #Conflicts: 940000 | #Constraints: 37125
993.22/996.11 c #Conflicts: 941000 | #Constraints: 38125
993.22/996.11 c INPROCESSING
993.22/996.11 c GARBAGE COLLECT
993.22/996.11 c #Conflicts: 942000 | #Constraints: 19939
993.22/996.11 c #Conflicts: 943000 | #Constraints: 20939
993.22/996.11 c #Conflicts: 944000 | #Constraints: 21939
993.22/996.11 c #Conflicts: 945000 | #Constraints: 22939
993.22/996.11 c #Conflicts: 946000 | #Constraints: 23939
993.22/996.11 c #Conflicts: 947000 | #Constraints: 24939
993.22/996.11 c #Conflicts: 948000 | #Constraints: 25939
993.22/996.11 c #Conflicts: 949000 | #Constraints: 26939
993.22/996.11 c #Conflicts: 950000 | #Constraints: 27939
993.22/996.11 c #Conflicts: 951000 | #Constraints: 28939
993.22/996.11 c #Conflicts: 952000 | #Constraints: 29939
993.22/996.11 c #Conflicts: 953000 | #Constraints: 30939
993.22/996.11 c #Conflicts: 954000 | #Constraints: 31939
993.22/996.11 c #Conflicts: 955000 | #Constraints: 32939
993.22/996.11 c #Conflicts: 956000 | #Constraints: 33939
993.22/996.11 c #Conflicts: 957000 | #Constraints: 34939
993.22/996.11 c #Conflicts: 958000 | #Constraints: 35939
993.22/996.11 c #Conflicts: 959000 | #Constraints: 36939
993.22/996.11 c #Conflicts: 960000 | #Constraints: 37939
993.22/996.11 c #Conflicts: 961000 | #Constraints: 38939
993.22/996.11 c INPROCESSING
993.22/996.11 c GARBAGE COLLECT
993.22/996.11 c #Conflicts: 962000 | #Constraints: 20538
993.22/996.11 c #Conflicts: 963000 | #Constraints: 21538
993.22/996.11 c #Conflicts: 964000 | #Constraints: 22538
993.22/996.11 c #Conflicts: 965000 | #Constraints: 23538
993.22/996.11 c #Conflicts: 966000 | #Constraints: 24538
993.22/996.11 c #Conflicts: 967000 | #Constraints: 25538
1136.35/1139.68 c #Conflicts: 968000 | #Constraints: 26538
1136.35/1139.68 c #Conflicts: 969000 | #Constraints: 27538
1136.35/1139.68 c #Conflicts: 970000 | #Constraints: 28538
1136.35/1139.68 c #Conflicts: 971000 | #Constraints: 29538
1136.35/1139.68 c #Conflicts: 972000 | #Constraints: 30538
1136.35/1139.68 c #Conflicts: 973000 | #Constraints: 31538
1136.35/1139.68 c #Conflicts: 974000 | #Constraints: 32538
1136.35/1139.68 c #Conflicts: 975000 | #Constraints: 33538
1136.35/1139.68 c #Conflicts: 976000 | #Constraints: 34538
1136.35/1139.68 c #Conflicts: 977000 | #Constraints: 35538
1136.35/1139.68 c #Conflicts: 978000 | #Constraints: 36538
1136.35/1139.68 c #Conflicts: 979000 | #Constraints: 37538
1136.35/1139.68 c #Conflicts: 980000 | #Constraints: 38538
1136.35/1139.68 c #Conflicts: 981000 | #Constraints: 39538
1136.35/1139.68 c INPROCESSING
1136.35/1139.68 c GARBAGE COLLECT
1136.35/1139.68 c #Conflicts: 982000 | #Constraints: 20946
1136.35/1139.68 c #Conflicts: 983000 | #Constraints: 21946
1136.35/1139.68 c #Conflicts: 984000 | #Constraints: 22946
1136.35/1139.68 c #Conflicts: 985000 | #Constraints: 23946
1136.35/1139.68 c #Conflicts: 986000 | #Constraints: 24946
1136.35/1139.68 c #Conflicts: 987000 | #Constraints: 25946
1136.35/1139.68 c #Conflicts: 988000 | #Constraints: 26946
1136.35/1139.68 c #Conflicts: 989000 | #Constraints: 27946
1136.35/1139.68 c #Conflicts: 990000 | #Constraints: 28946
1136.35/1139.68 c #Conflicts: 991000 | #Constraints: 29946
1136.35/1139.68 c #Conflicts: 992000 | #Constraints: 30946
1136.35/1139.68 c #Conflicts: 993000 | #Constraints: 31946
1136.35/1139.68 c #Conflicts: 994000 | #Constraints: 32946
1136.35/1139.68 c #Conflicts: 995000 | #Constraints: 33946
1136.35/1139.68 c #Conflicts: 996000 | #Constraints: 34946
1136.35/1139.68 c #Conflicts: 997000 | #Constraints: 35946
1136.35/1139.68 c #Conflicts: 998000 | #Constraints: 36946
1136.35/1139.68 c #Conflicts: 999000 | #Constraints: 37946
1136.35/1139.68 c #Conflicts: 1000000 | #Constraints: 38946
1136.35/1139.68 c #Conflicts: 1001000 | #Constraints: 39946
1136.35/1139.68 c INPROCESSING
1136.35/1139.68 c GARBAGE COLLECT
1136.35/1139.68 c #Conflicts: 1002000 | #Constraints: 21163
1136.35/1139.68 c #Conflicts: 1003000 | #Constraints: 22163
1136.35/1139.68 c #Conflicts: 1004000 | #Constraints: 23163
1136.35/1139.68 c #Conflicts: 1005000 | #Constraints: 24163
1136.35/1139.68 c #Conflicts: 1006000 | #Constraints: 25163
1136.35/1139.68 c #Conflicts: 1007000 | #Constraints: 26163
1136.35/1139.68 c #Conflicts: 1008000 | #Constraints: 27163
1136.35/1139.68 c #Conflicts: 1009000 | #Constraints: 28163
1136.35/1139.68 c #Conflicts: 1010000 | #Constraints: 29163
1136.35/1139.68 c #Conflicts: 1011000 | #Constraints: 30163
1136.35/1139.68 c #Conflicts: 1012000 | #Constraints: 31163
1136.35/1139.68 c #Conflicts: 1013000 | #Constraints: 32163
1136.35/1139.68 c #Conflicts: 1014000 | #Constraints: 33163
1136.35/1139.68 c #Conflicts: 1015000 | #Constraints: 34163
1136.35/1139.68 c #Conflicts: 1016000 | #Constraints: 35163
1136.35/1139.68 c #Conflicts: 1017000 | #Constraints: 36163
1136.35/1139.68 c #Conflicts: 1018000 | #Constraints: 37163
1136.35/1139.68 c #Conflicts: 1019000 | #Constraints: 38163
1136.35/1139.68 c #Conflicts: 1020000 | #Constraints: 39163
1136.35/1139.68 c #Conflicts: 1021000 | #Constraints: 40163
1136.35/1139.68 c INPROCESSING
1136.35/1139.68 c GARBAGE COLLECT
1136.35/1139.68 c #Conflicts: 1022000 | #Constraints: 21178
1136.35/1139.68 c #Conflicts: 1023000 | #Constraints: 22178
1136.35/1139.68 c #Conflicts: 1024000 | #Constraints: 23178
1136.35/1139.68 c #Conflicts: 1025000 | #Constraints: 24178
1136.35/1139.68 c #Conflicts: 1026000 | #Constraints: 25178
1136.35/1139.68 c #Conflicts: 1027000 | #Constraints: 26178
1136.35/1139.68 c #Conflicts: 1028000 | #Constraints: 27178
1136.35/1139.68 c #Conflicts: 1029000 | #Constraints: 28178
1136.35/1139.68 c #Conflicts: 1030000 | #Constraints: 29178
1136.35/1139.68 c #Conflicts: 1031000 | #Constraints: 30178
1136.35/1139.68 c #Conflicts: 1032000 | #Constraints: 31178
1136.35/1139.68 c #Conflicts: 1033000 | #Constraints: 32178
1136.35/1139.68 c #Conflicts: 1034000 | #Constraints: 33178
1136.35/1139.68 c #Conflicts: 1035000 | #Constraints: 34178
1136.35/1139.68 c #Conflicts: 1036000 | #Constraints: 35178
1136.35/1139.68 c #Conflicts: 1037000 | #Constraints: 36178
1136.35/1139.68 c #Conflicts: 1038000 | #Constraints: 37178
1136.35/1139.68 c #Conflicts: 1039000 | #Constraints: 38178
1136.35/1139.68 c #Conflicts: 1040000 | #Constraints: 39178
1136.35/1139.68 c #Conflicts: 1041000 | #Constraints: 40178
1136.35/1139.68 c INPROCESSING
1136.35/1139.68 c GARBAGE COLLECT
1136.35/1139.68 c #Conflicts: 1042000 | #Constraints: 20972
1136.35/1139.68 c #Conflicts: 1043000 | #Constraints: 21972
1136.35/1139.68 c #Conflicts: 1044000 | #Constraints: 22972
1281.18/1284.80 c #Conflicts: 1045000 | #Constraints: 23972
1281.18/1284.80 c #Conflicts: 1046000 | #Constraints: 24972
1281.18/1284.80 c #Conflicts: 1047000 | #Constraints: 25972
1281.18/1284.80 c #Conflicts: 1048000 | #Constraints: 26972
1281.18/1284.80 c #Conflicts: 1049000 | #Constraints: 27972
1281.18/1284.80 c #Conflicts: 1050000 | #Constraints: 28972
1281.18/1284.80 c #Conflicts: 1051000 | #Constraints: 29972
1281.18/1284.80 c #Conflicts: 1052000 | #Constraints: 30972
1281.18/1284.80 c #Conflicts: 1053000 | #Constraints: 31972
1281.18/1284.80 c #Conflicts: 1054000 | #Constraints: 32972
1281.18/1284.80 c #Conflicts: 1055000 | #Constraints: 33972
1281.18/1284.80 c #Conflicts: 1056000 | #Constraints: 34972
1281.18/1284.80 c #Conflicts: 1057000 | #Constraints: 35972
1281.18/1284.80 c #Conflicts: 1058000 | #Constraints: 36972
1281.18/1284.80 c #Conflicts: 1059000 | #Constraints: 37972
1281.18/1284.80 c #Conflicts: 1060000 | #Constraints: 38972
1281.18/1284.80 c #Conflicts: 1061000 | #Constraints: 39972
1281.18/1284.80 c #Conflicts: 1062000 | #Constraints: 40972
1281.18/1284.80 c INPROCESSING
1281.18/1284.80 c GARBAGE COLLECT
1281.18/1284.80 c #Conflicts: 1063000 | #Constraints: 21577
1281.18/1284.80 c #Conflicts: 1064000 | #Constraints: 22577
1281.18/1284.80 c #Conflicts: 1065000 | #Constraints: 23577
1281.18/1284.80 c #Conflicts: 1066000 | #Constraints: 24577
1281.18/1284.80 c #Conflicts: 1067000 | #Constraints: 25577
1281.18/1284.80 c #Conflicts: 1068000 | #Constraints: 26577
1281.18/1284.80 c #Conflicts: 1069000 | #Constraints: 27577
1281.18/1284.80 c #Conflicts: 1070000 | #Constraints: 28577
1281.18/1284.80 c #Conflicts: 1071000 | #Constraints: 29577
1281.18/1284.80 c #Conflicts: 1072000 | #Constraints: 30577
1281.18/1284.80 c #Conflicts: 1073000 | #Constraints: 31577
1281.18/1284.80 c #Conflicts: 1074000 | #Constraints: 32577
1281.18/1284.80 c #Conflicts: 1075000 | #Constraints: 33577
1281.18/1284.80 c #Conflicts: 1076000 | #Constraints: 34577
1281.18/1284.80 c #Conflicts: 1077000 | #Constraints: 35577
1281.18/1284.80 c #Conflicts: 1078000 | #Constraints: 36577
1281.18/1284.80 c #Conflicts: 1079000 | #Constraints: 37577
1281.18/1284.80 c #Conflicts: 1080000 | #Constraints: 38577
1281.18/1284.80 c #Conflicts: 1081000 | #Constraints: 39577
1281.18/1284.80 c #Conflicts: 1082000 | #Constraints: 40577
1281.18/1284.80 c #Conflicts: 1083000 | #Constraints: 41577
1281.18/1284.80 c INPROCESSING
1281.18/1284.80 c GARBAGE COLLECT
1281.18/1284.80 c #Conflicts: 1084000 | #Constraints: 21973
1281.18/1284.80 c #Conflicts: 1085000 | #Constraints: 22973
1281.18/1284.80 c #Conflicts: 1086000 | #Constraints: 23973
1281.18/1284.80 c #Conflicts: 1087000 | #Constraints: 24973
1281.18/1284.80 c #Conflicts: 1088000 | #Constraints: 25973
1281.18/1284.80 c #Conflicts: 1089000 | #Constraints: 26973
1281.18/1284.80 c #Conflicts: 1090000 | #Constraints: 27973
1281.18/1284.80 c #Conflicts: 1091000 | #Constraints: 28973
1281.18/1284.80 c #Conflicts: 1092000 | #Constraints: 29973
1281.18/1284.80 c #Conflicts: 1093000 | #Constraints: 30973
1281.18/1284.80 c #Conflicts: 1094000 | #Constraints: 31973
1281.18/1284.80 c #Conflicts: 1095000 | #Constraints: 32973
1281.18/1284.80 c #Conflicts: 1096000 | #Constraints: 33973
1281.18/1284.80 c #Conflicts: 1097000 | #Constraints: 34973
1281.18/1284.80 c #Conflicts: 1098000 | #Constraints: 35973
1281.18/1284.80 c #Conflicts: 1099000 | #Constraints: 36973
1281.18/1284.80 c #Conflicts: 1100000 | #Constraints: 37973
1281.18/1284.80 c #Conflicts: 1101000 | #Constraints: 38973
1281.18/1284.80 c #Conflicts: 1102000 | #Constraints: 39973
1281.18/1284.80 c #Conflicts: 1103000 | #Constraints: 40973
1281.18/1284.80 c #Conflicts: 1104000 | #Constraints: 41973
1281.18/1284.80 c INPROCESSING
1281.18/1284.80 c GARBAGE COLLECT
1281.18/1284.80 c #Conflicts: 1105000 | #Constraints: 22173
1281.18/1284.80 c #Conflicts: 1106000 | #Constraints: 23173
1281.18/1284.80 c #Conflicts: 1107000 | #Constraints: 24173
1281.18/1284.80 c #Conflicts: 1108000 | #Constraints: 25173
1281.18/1284.80 c #Conflicts: 1109000 | #Constraints: 26173
1281.18/1284.80 c #Conflicts: 1110000 | #Constraints: 27173
1281.18/1284.80 c #Conflicts: 1111000 | #Constraints: 28173
1281.18/1284.80 c #Conflicts: 1112000 | #Constraints: 29173
1281.18/1284.80 c #Conflicts: 1113000 | #Constraints: 30173
1281.18/1284.80 c #Conflicts: 1114000 | #Constraints: 31173
1281.18/1284.80 c #Conflicts: 1115000 | #Constraints: 32173
1281.18/1284.80 c #Conflicts: 1116000 | #Constraints: 33173
1281.18/1284.80 c #Conflicts: 1117000 | #Constraints: 34173
1281.18/1284.80 c #Conflicts: 1118000 | #Constraints: 35173
1281.18/1284.80 c #Conflicts: 1119000 | #Constraints: 36173
1281.18/1284.80 c #Conflicts: 1120000 | #Constraints: 37173
1281.18/1284.80 c #Conflicts: 1121000 | #Constraints: 38173
1409.84/1413.88 c #Conflicts: 1122000 | #Constraints: 39173
1409.84/1413.88 c #Conflicts: 1123000 | #Constraints: 40173
1409.84/1413.88 c #Conflicts: 1124000 | #Constraints: 41173
1409.84/1413.88 c #Conflicts: 1125000 | #Constraints: 42173
1409.84/1413.88 c INPROCESSING
1409.84/1413.88 c GARBAGE COLLECT
1409.84/1413.88 c #Conflicts: 1126000 | #Constraints: 22171
1409.84/1413.88 c #Conflicts: 1127000 | #Constraints: 23171
1409.84/1413.88 c #Conflicts: 1128000 | #Constraints: 24171
1409.84/1413.88 c #Conflicts: 1129000 | #Constraints: 25171
1409.84/1413.88 c #Conflicts: 1130000 | #Constraints: 26171
1409.84/1413.88 c #Conflicts: 1131000 | #Constraints: 27171
1409.84/1413.88 c #Conflicts: 1132000 | #Constraints: 28171
1409.84/1413.88 c #Conflicts: 1133000 | #Constraints: 29171
1409.84/1413.88 c #Conflicts: 1134000 | #Constraints: 30171
1409.84/1413.88 c #Conflicts: 1135000 | #Constraints: 31171
1409.84/1413.88 c #Conflicts: 1136000 | #Constraints: 32171
1409.84/1413.88 c #Conflicts: 1137000 | #Constraints: 33171
1409.84/1413.88 c #Conflicts: 1138000 | #Constraints: 34171
1409.84/1413.88 c #Conflicts: 1139000 | #Constraints: 35171
1409.84/1413.88 c #Conflicts: 1140000 | #Constraints: 36171
1409.84/1413.88 c #Conflicts: 1141000 | #Constraints: 37171
1409.84/1413.88 c #Conflicts: 1142000 | #Constraints: 38171
1409.84/1413.88 c #Conflicts: 1143000 | #Constraints: 39171
1409.84/1413.88 c #Conflicts: 1144000 | #Constraints: 40171
1409.84/1413.88 c #Conflicts: 1145000 | #Constraints: 41171
1409.84/1413.88 c #Conflicts: 1146000 | #Constraints: 42171
1409.84/1413.88 c INPROCESSING
1409.84/1413.88 c GARBAGE COLLECT
1409.84/1413.88 c #Conflicts: 1147000 | #Constraints: 21954
1409.84/1413.88 c #Conflicts: 1148000 | #Constraints: 22954
1409.84/1413.88 c #Conflicts: 1149000 | #Constraints: 23954
1409.84/1413.88 c #Conflicts: 1150000 | #Constraints: 24954
1409.84/1413.88 c #Conflicts: 1151000 | #Constraints: 25954
1409.84/1413.88 c #Conflicts: 1152000 | #Constraints: 26954
1409.84/1413.88 c #Conflicts: 1153000 | #Constraints: 27954
1409.84/1413.88 c #Conflicts: 1154000 | #Constraints: 28954
1409.84/1413.88 c #Conflicts: 1155000 | #Constraints: 29954
1409.84/1413.88 c #Conflicts: 1156000 | #Constraints: 30954
1409.84/1413.88 c #Conflicts: 1157000 | #Constraints: 31954
1409.84/1413.88 c #Conflicts: 1158000 | #Constraints: 32954
1409.84/1413.88 c #Conflicts: 1159000 | #Constraints: 33954
1409.84/1413.88 c #Conflicts: 1160000 | #Constraints: 34954
1409.84/1413.88 c #Conflicts: 1161000 | #Constraints: 35954
1409.84/1413.88 c #Conflicts: 1162000 | #Constraints: 36954
1409.84/1413.88 c #Conflicts: 1163000 | #Constraints: 37954
1409.84/1413.88 c #Conflicts: 1164000 | #Constraints: 38954
1409.84/1413.88 c #Conflicts: 1165000 | #Constraints: 39954
1409.84/1413.88 c #Conflicts: 1166000 | #Constraints: 40954
1409.84/1413.88 c #Conflicts: 1167000 | #Constraints: 41954
1409.84/1413.88 c #Conflicts: 1168000 | #Constraints: 42954
1409.84/1413.88 c INPROCESSING
1409.84/1413.88 c GARBAGE COLLECT
1409.84/1413.88 c #Conflicts: 1169000 | #Constraints: 22551
1409.84/1413.88 c #Conflicts: 1170000 | #Constraints: 23551
1409.84/1413.88 c #Conflicts: 1171000 | #Constraints: 24551
1409.84/1413.88 c #Conflicts: 1172000 | #Constraints: 25551
1409.84/1413.88 c #Conflicts: 1173000 | #Constraints: 26551
1409.84/1413.88 c #Conflicts: 1174000 | #Constraints: 27551
1409.84/1413.88 c #Conflicts: 1175000 | #Constraints: 28551
1409.84/1413.88 c #Conflicts: 1176000 | #Constraints: 29551
1409.84/1413.88 c #Conflicts: 1177000 | #Constraints: 30551
1409.84/1413.88 c #Conflicts: 1178000 | #Constraints: 31551
1409.84/1413.88 c #Conflicts: 1179000 | #Constraints: 32551
1409.84/1413.88 c #Conflicts: 1180000 | #Constraints: 33551
1409.84/1413.88 c #Conflicts: 1181000 | #Constraints: 34551
1409.84/1413.88 c #Conflicts: 1182000 | #Constraints: 35551
1409.84/1413.88 c #Conflicts: 1183000 | #Constraints: 36551
1409.84/1413.88 c #Conflicts: 1184000 | #Constraints: 37551
1409.84/1413.88 c #Conflicts: 1185000 | #Constraints: 38551
1409.84/1413.88 c #Conflicts: 1186000 | #Constraints: 39551
1409.84/1413.88 c #Conflicts: 1187000 | #Constraints: 40551
1409.84/1413.88 c #Conflicts: 1188000 | #Constraints: 41551
1409.84/1413.88 c #Conflicts: 1189000 | #Constraints: 42551
1409.84/1413.88 c #Conflicts: 1190000 | #Constraints: 43551
1409.84/1413.88 c INPROCESSING
1409.84/1413.88 c GARBAGE COLLECT
1409.84/1413.88 c #Conflicts: 1191000 | #Constraints: 22954
1409.84/1413.88 c #Conflicts: 1192000 | #Constraints: 23954
1409.84/1413.88 c #Conflicts: 1193000 | #Constraints: 24954
1409.84/1413.88 c #Conflicts: 1194000 | #Constraints: 25954
1409.84/1413.88 c #Conflicts: 1195000 | #Constraints: 26954
1409.84/1413.88 c #Conflicts: 1196000 | #Constraints: 27954
1409.84/1413.88 c #Conflicts: 1197000 | #Constraints: 28954
1578.30/1582.72 c #Conflicts: 1198000 | #Constraints: 29954
1578.30/1582.72 c #Conflicts: 1199000 | #Constraints: 30954
1578.30/1582.72 c #Conflicts: 1200000 | #Constraints: 31954
1578.30/1582.72 c #Conflicts: 1201000 | #Constraints: 32954
1578.30/1582.72 c #Conflicts: 1202000 | #Constraints: 33954
1578.30/1582.72 c #Conflicts: 1203000 | #Constraints: 34954
1578.30/1582.72 c #Conflicts: 1204000 | #Constraints: 35954
1578.30/1582.72 c #Conflicts: 1205000 | #Constraints: 36954
1578.30/1582.72 c #Conflicts: 1206000 | #Constraints: 37954
1578.30/1582.72 c #Conflicts: 1207000 | #Constraints: 38954
1578.30/1582.72 c #Conflicts: 1208000 | #Constraints: 39954
1578.30/1582.72 c #Conflicts: 1209000 | #Constraints: 40954
1578.30/1582.72 c #Conflicts: 1210000 | #Constraints: 41954
1578.30/1582.72 c #Conflicts: 1211000 | #Constraints: 42954
1578.30/1582.72 c #Conflicts: 1212000 | #Constraints: 43954
1578.30/1582.72 c INPROCESSING
1578.30/1582.72 c GARBAGE COLLECT
1578.30/1582.72 c #Conflicts: 1213000 | #Constraints: 23161
1578.30/1582.72 c #Conflicts: 1214000 | #Constraints: 24161
1578.30/1582.72 c #Conflicts: 1215000 | #Constraints: 25161
1578.30/1582.72 c #Conflicts: 1216000 | #Constraints: 26161
1578.30/1582.72 c #Conflicts: 1217000 | #Constraints: 27161
1578.30/1582.72 c #Conflicts: 1218000 | #Constraints: 28161
1578.30/1582.72 c #Conflicts: 1219000 | #Constraints: 29161
1578.30/1582.72 c #Conflicts: 1220000 | #Constraints: 30161
1578.30/1582.72 c #Conflicts: 1221000 | #Constraints: 31161
1578.30/1582.72 c #Conflicts: 1222000 | #Constraints: 32161
1578.30/1582.72 c #Conflicts: 1223000 | #Constraints: 33161
1578.30/1582.72 c #Conflicts: 1224000 | #Constraints: 34161
1578.30/1582.72 c #Conflicts: 1225000 | #Constraints: 35161
1578.30/1582.72 c #Conflicts: 1226000 | #Constraints: 36161
1578.30/1582.72 c #Conflicts: 1227000 | #Constraints: 37161
1578.30/1582.72 c #Conflicts: 1228000 | #Constraints: 38161
1578.30/1582.72 c #Conflicts: 1229000 | #Constraints: 39161
1578.30/1582.72 c #Conflicts: 1230000 | #Constraints: 40161
1578.30/1582.72 c #Conflicts: 1231000 | #Constraints: 41161
1578.30/1582.72 c #Conflicts: 1232000 | #Constraints: 42161
1578.30/1582.72 c #Conflicts: 1233000 | #Constraints: 43161
1578.30/1582.72 c #Conflicts: 1234000 | #Constraints: 44161
1578.30/1582.72 c INPROCESSING
1578.30/1582.72 c GARBAGE COLLECT
1578.30/1582.72 c #Conflicts: 1235000 | #Constraints: 23150
1578.30/1582.72 c #Conflicts: 1236000 | #Constraints: 24150
1578.30/1582.72 c #Conflicts: 1237000 | #Constraints: 25150
1578.30/1582.72 c #Conflicts: 1238000 | #Constraints: 26150
1578.30/1582.72 c #Conflicts: 1239000 | #Constraints: 27150
1578.30/1582.72 c #Conflicts: 1240000 | #Constraints: 28150
1578.30/1582.72 c #Conflicts: 1241000 | #Constraints: 29150
1578.30/1582.72 c #Conflicts: 1242000 | #Constraints: 30150
1578.30/1582.72 c #Conflicts: 1243000 | #Constraints: 31150
1578.30/1582.72 c #Conflicts: 1244000 | #Constraints: 32150
1578.30/1582.72 c #Conflicts: 1245000 | #Constraints: 33150
1578.30/1582.72 c #Conflicts: 1246000 | #Constraints: 34150
1578.30/1582.72 c #Conflicts: 1247000 | #Constraints: 35150
1578.30/1582.72 c #Conflicts: 1248000 | #Constraints: 36150
1578.30/1582.72 c #Conflicts: 1249000 | #Constraints: 37150
1578.30/1582.72 c #Conflicts: 1250000 | #Constraints: 38150
1578.30/1582.72 c #Conflicts: 1251000 | #Constraints: 39150
1578.30/1582.72 c #Conflicts: 1252000 | #Constraints: 40150
1578.30/1582.72 c #Conflicts: 1253000 | #Constraints: 41150
1578.30/1582.72 c #Conflicts: 1254000 | #Constraints: 42150
1578.30/1582.72 c #Conflicts: 1255000 | #Constraints: 43150
1578.30/1582.72 c #Conflicts: 1256000 | #Constraints: 44150
1578.30/1582.72 c INPROCESSING
1578.30/1582.72 c GARBAGE COLLECT
1578.30/1582.72 c #Conflicts: 1257000 | #Constraints: 22967
1578.30/1582.72 c #Conflicts: 1258000 | #Constraints: 23967
1578.30/1582.72 c #Conflicts: 1259000 | #Constraints: 24967
1578.30/1582.72 c #Conflicts: 1260000 | #Constraints: 25967
1578.30/1582.72 c #Conflicts: 1261000 | #Constraints: 26967
1578.30/1582.72 c #Conflicts: 1262000 | #Constraints: 27967
1578.30/1582.72 c #Conflicts: 1263000 | #Constraints: 28967
1578.30/1582.72 c #Conflicts: 1264000 | #Constraints: 29967
1578.30/1582.72 c #Conflicts: 1265000 | #Constraints: 30967
1578.30/1582.72 c #Conflicts: 1266000 | #Constraints: 31967
1578.30/1582.72 c #Conflicts: 1267000 | #Constraints: 32967
1578.30/1582.72 c #Conflicts: 1268000 | #Constraints: 33967
1578.30/1582.72 c #Conflicts: 1269000 | #Constraints: 34967
1578.30/1582.72 c #Conflicts: 1270000 | #Constraints: 35967
1578.30/1582.72 c #Conflicts: 1271000 | #Constraints: 36967
1578.30/1582.72 c #Conflicts: 1272000 | #Constraints: 37967
1578.30/1582.72 c #Conflicts: 1273000 | #Constraints: 38967
1578.30/1582.72 c #Conflicts: 1274000 | #Constraints: 39967
1743.46/1748.36 c #Conflicts: 1275000 | #Constraints: 40967
1743.46/1748.36 c #Conflicts: 1276000 | #Constraints: 41967
1743.46/1748.36 c #Conflicts: 1277000 | #Constraints: 42967
1743.46/1748.36 c #Conflicts: 1278000 | #Constraints: 43967
1743.46/1748.36 c #Conflicts: 1279000 | #Constraints: 44967
1743.46/1748.36 c INPROCESSING
1743.46/1748.36 c GARBAGE COLLECT
1743.46/1748.36 c #Conflicts: 1280000 | #Constraints: 23546
1743.46/1748.36 c #Conflicts: 1281000 | #Constraints: 24546
1743.46/1748.36 c #Conflicts: 1282000 | #Constraints: 25546
1743.46/1748.36 c #Conflicts: 1283000 | #Constraints: 26546
1743.46/1748.36 c #Conflicts: 1284000 | #Constraints: 27546
1743.46/1748.36 c #Conflicts: 1285000 | #Constraints: 28546
1743.46/1748.36 c #Conflicts: 1286000 | #Constraints: 29546
1743.46/1748.36 c #Conflicts: 1287000 | #Constraints: 30546
1743.46/1748.36 c #Conflicts: 1288000 | #Constraints: 31546
1743.46/1748.36 c #Conflicts: 1289000 | #Constraints: 32546
1743.46/1748.36 c #Conflicts: 1290000 | #Constraints: 33546
1743.46/1748.36 c #Conflicts: 1291000 | #Constraints: 34546
1743.46/1748.36 c #Conflicts: 1292000 | #Constraints: 35546
1743.46/1748.36 c #Conflicts: 1293000 | #Constraints: 36546
1743.46/1748.36 c #Conflicts: 1294000 | #Constraints: 37546
1743.46/1748.36 c #Conflicts: 1295000 | #Constraints: 38546
1743.46/1748.36 c #Conflicts: 1296000 | #Constraints: 39546
1743.46/1748.36 c #Conflicts: 1297000 | #Constraints: 40546
1743.46/1748.36 c #Conflicts: 1298000 | #Constraints: 41546
1743.46/1748.36 c #Conflicts: 1299000 | #Constraints: 42546
1743.46/1748.36 c #Conflicts: 1300000 | #Constraints: 43546
1743.46/1748.36 c #Conflicts: 1301000 | #Constraints: 44546
1743.46/1748.36 c #Conflicts: 1302000 | #Constraints: 45546
1743.46/1748.36 c INPROCESSING
1743.46/1748.36 c GARBAGE COLLECT
1743.46/1748.36 c #Conflicts: 1303000 | #Constraints: 23923
1743.46/1748.36 c #Conflicts: 1304000 | #Constraints: 24923
1743.46/1748.36 c #Conflicts: 1305000 | #Constraints: 25923
1743.46/1748.36 c #Conflicts: 1306000 | #Constraints: 26923
1743.46/1748.36 c #Conflicts: 1307000 | #Constraints: 27923
1743.46/1748.36 c #Conflicts: 1308000 | #Constraints: 28923
1743.46/1748.36 c #Conflicts: 1309000 | #Constraints: 29923
1743.46/1748.36 c #Conflicts: 1310000 | #Constraints: 30923
1743.46/1748.36 c #Conflicts: 1311000 | #Constraints: 31923
1743.46/1748.36 c #Conflicts: 1312000 | #Constraints: 32923
1743.46/1748.36 c #Conflicts: 1313000 | #Constraints: 33923
1743.46/1748.36 c #Conflicts: 1314000 | #Constraints: 34923
1743.46/1748.36 c #Conflicts: 1315000 | #Constraints: 35923
1743.46/1748.36 c #Conflicts: 1316000 | #Constraints: 36923
1743.46/1748.36 c #Conflicts: 1317000 | #Constraints: 37923
1743.46/1748.36 c #Conflicts: 1318000 | #Constraints: 38923
1743.46/1748.36 c #Conflicts: 1319000 | #Constraints: 39923
1743.46/1748.36 c #Conflicts: 1320000 | #Constraints: 40923
1743.46/1748.36 c #Conflicts: 1321000 | #Constraints: 41923
1743.46/1748.36 c #Conflicts: 1322000 | #Constraints: 42923
1743.46/1748.36 c #Conflicts: 1323000 | #Constraints: 43923
1743.46/1748.36 c #Conflicts: 1324000 | #Constraints: 44923
1743.46/1748.36 c #Conflicts: 1325000 | #Constraints: 45923
1743.46/1748.36 c INPROCESSING
1743.46/1748.36 c GARBAGE COLLECT
1743.46/1748.36 c #Conflicts: 1326000 | #Constraints: 24130
1743.46/1748.36 c #Conflicts: 1327000 | #Constraints: 25130
1743.46/1748.36 c #Conflicts: 1328000 | #Constraints: 26130
1743.46/1748.36 c #Conflicts: 1329000 | #Constraints: 27130
1743.46/1748.36 c #Conflicts: 1330000 | #Constraints: 28130
1743.46/1748.36 c #Conflicts: 1331000 | #Constraints: 29130
1743.46/1748.36 c #Conflicts: 1332000 | #Constraints: 30130
1743.46/1748.36 c #Conflicts: 1333000 | #Constraints: 31130
1743.46/1748.36 c #Conflicts: 1334000 | #Constraints: 32130
1743.46/1748.36 c #Conflicts: 1335000 | #Constraints: 33130
1743.46/1748.36 c #Conflicts: 1336000 | #Constraints: 34130
1743.46/1748.36 c #Conflicts: 1337000 | #Constraints: 35130
1743.46/1748.36 c #Conflicts: 1338000 | #Constraints: 36130
1743.46/1748.36 c #Conflicts: 1339000 | #Constraints: 37130
1743.46/1748.36 c #Conflicts: 1340000 | #Constraints: 38130
1743.46/1748.36 c #Conflicts: 1341000 | #Constraints: 39130
1743.46/1748.36 c #Conflicts: 1342000 | #Constraints: 40130
1743.46/1748.36 c #Conflicts: 1343000 | #Constraints: 41130
1743.46/1748.36 c #Conflicts: 1344000 | #Constraints: 42130
1743.46/1748.36 c #Conflicts: 1345000 | #Constraints: 43130
1743.46/1748.36 c #Conflicts: 1346000 | #Constraints: 44130
1743.46/1748.36 c #Conflicts: 1347000 | #Constraints: 45130
1743.46/1748.36 c #Conflicts: 1348000 | #Constraints: 46130
1743.46/1748.36 c INPROCESSING
1743.46/1748.36 c GARBAGE COLLECT
1743.46/1748.36 c #Conflicts: 1349000 | #Constraints: 24143
1743.46/1748.36 c #Conflicts: 1350000 | #Constraints: 25143
1879.31/1884.50 c #Conflicts: 1351000 | #Constraints: 26143
1879.31/1884.50 c #Conflicts: 1352000 | #Constraints: 27143
1879.31/1884.50 c #Conflicts: 1353000 | #Constraints: 28143
1879.31/1884.50 c #Conflicts: 1354000 | #Constraints: 29143
1879.31/1884.50 c #Conflicts: 1355000 | #Constraints: 30143
1879.31/1884.50 c #Conflicts: 1356000 | #Constraints: 31143
1879.31/1884.50 c #Conflicts: 1357000 | #Constraints: 32143
1879.31/1884.50 c #Conflicts: 1358000 | #Constraints: 33143
1879.31/1884.50 c #Conflicts: 1359000 | #Constraints: 34143
1879.31/1884.50 c #Conflicts: 1360000 | #Constraints: 35143
1879.31/1884.50 c #Conflicts: 1361000 | #Constraints: 36143
1879.31/1884.50 c #Conflicts: 1362000 | #Constraints: 37143
1879.31/1884.50 c #Conflicts: 1363000 | #Constraints: 38143
1879.31/1884.50 c #Conflicts: 1364000 | #Constraints: 39143
1879.31/1884.50 c #Conflicts: 1365000 | #Constraints: 40143
1879.31/1884.50 c #Conflicts: 1366000 | #Constraints: 41143
1879.31/1884.50 c #Conflicts: 1367000 | #Constraints: 42143
1879.31/1884.50 c #Conflicts: 1368000 | #Constraints: 43143
1879.31/1884.50 c #Conflicts: 1369000 | #Constraints: 44143
1879.31/1884.50 c #Conflicts: 1370000 | #Constraints: 45143
1879.31/1884.50 c #Conflicts: 1371000 | #Constraints: 46143
1879.31/1884.50 c INPROCESSING
1879.31/1884.50 c GARBAGE COLLECT
1879.31/1884.50 c #Conflicts: 1372000 | #Constraints: 23941
1879.31/1884.50 c #Conflicts: 1373000 | #Constraints: 24941
1879.31/1884.50 c #Conflicts: 1374000 | #Constraints: 25941
1879.31/1884.50 c #Conflicts: 1375000 | #Constraints: 26941
1879.31/1884.50 c #Conflicts: 1376000 | #Constraints: 27941
1879.31/1884.50 c #Conflicts: 1377000 | #Constraints: 28941
1879.31/1884.50 c #Conflicts: 1378000 | #Constraints: 29941
1879.31/1884.50 c #Conflicts: 1379000 | #Constraints: 30941
1879.31/1884.50 c #Conflicts: 1380000 | #Constraints: 31941
1879.31/1884.50 c #Conflicts: 1381000 | #Constraints: 32941
1879.31/1884.50 c #Conflicts: 1382000 | #Constraints: 33941
1879.31/1884.50 c #Conflicts: 1383000 | #Constraints: 34941
1879.31/1884.50 c #Conflicts: 1384000 | #Constraints: 35941
1879.31/1884.50 c #Conflicts: 1385000 | #Constraints: 36941
1879.31/1884.50 c #Conflicts: 1386000 | #Constraints: 37941
1879.31/1884.50 c #Conflicts: 1387000 | #Constraints: 38941
1879.31/1884.50 c #Conflicts: 1388000 | #Constraints: 39941
1879.31/1884.50 c #Conflicts: 1389000 | #Constraints: 40941
1879.31/1884.50 c #Conflicts: 1390000 | #Constraints: 41941
1879.31/1884.50 c #Conflicts: 1391000 | #Constraints: 42941
1879.31/1884.50 c #Conflicts: 1392000 | #Constraints: 43941
1879.31/1884.50 c #Conflicts: 1393000 | #Constraints: 44941
1879.31/1884.50 c #Conflicts: 1394000 | #Constraints: 45941
1879.31/1884.50 c #Conflicts: 1395000 | #Constraints: 46941
1879.31/1884.50 c INPROCESSING
1879.31/1884.50 c GARBAGE COLLECT
1879.31/1884.50 c #Conflicts: 1396000 | #Constraints: 24540
1879.31/1884.50 c #Conflicts: 1397000 | #Constraints: 25540
1879.31/1884.50 c #Conflicts: 1398000 | #Constraints: 26540
1879.31/1884.50 c #Conflicts: 1399000 | #Constraints: 27540
1879.31/1884.50 c #Conflicts: 1400000 | #Constraints: 28540
1879.31/1884.50 c #Conflicts: 1401000 | #Constraints: 29540
1879.31/1884.50 c #Conflicts: 1402000 | #Constraints: 30540
1879.31/1884.50 c #Conflicts: 1403000 | #Constraints: 31540
1879.31/1884.50 c #Conflicts: 1404000 | #Constraints: 32540
1879.31/1884.50 c #Conflicts: 1405000 | #Constraints: 33540
1879.31/1884.50 c #Conflicts: 1406000 | #Constraints: 34540
1879.31/1884.50 c #Conflicts: 1407000 | #Constraints: 35540
1879.31/1884.50 c #Conflicts: 1408000 | #Constraints: 36540
1879.31/1884.50 c #Conflicts: 1409000 | #Constraints: 37540
1879.31/1884.50 c #Conflicts: 1410000 | #Constraints: 38540
1879.31/1884.50 c #Conflicts: 1411000 | #Constraints: 39540
1879.31/1884.50 c #Conflicts: 1412000 | #Constraints: 40540
1879.31/1884.50 c #Conflicts: 1413000 | #Constraints: 41540
1879.31/1884.50 c #Conflicts: 1414000 | #Constraints: 42540
1879.31/1884.50 c #Conflicts: 1415000 | #Constraints: 43540
1879.31/1884.50 c #Conflicts: 1416000 | #Constraints: 44540
1879.31/1884.50 c #Conflicts: 1417000 | #Constraints: 45540
1879.31/1884.50 c #Conflicts: 1418000 | #Constraints: 46540
1879.31/1884.50 c #Conflicts: 1419000 | #Constraints: 47540
1879.31/1884.50 c INPROCESSING
1879.31/1884.50 c GARBAGE COLLECT
1879.31/1884.50 c #Conflicts: 1420000 | #Constraints: 24957
1879.31/1884.50 c #Conflicts: 1421000 | #Constraints: 25957
1879.31/1884.50 c #Conflicts: 1422000 | #Constraints: 26957
1879.31/1884.50 c #Conflicts: 1423000 | #Constraints: 27957
1879.31/1884.50 c #Conflicts: 1424000 | #Constraints: 28957
1879.31/1884.50 c #Conflicts: 1425000 | #Constraints: 29957
1879.31/1884.50 c #Conflicts: 1426000 | #Constraints: 30957
1879.31/1884.50 c #Conflicts: 1427000 | #Constraints: 31957
2059.44/2065.12 c #Conflicts: 1428000 | #Constraints: 32957
2059.44/2065.12 c #Conflicts: 1429000 | #Constraints: 33957
2059.44/2065.12 c #Conflicts: 1430000 | #Constraints: 34957
2059.44/2065.12 c #Conflicts: 1431000 | #Constraints: 35957
2059.44/2065.12 c #Conflicts: 1432000 | #Constraints: 36957
2059.44/2065.12 c #Conflicts: 1433000 | #Constraints: 37957
2059.44/2065.12 c #Conflicts: 1434000 | #Constraints: 38957
2059.44/2065.12 c #Conflicts: 1435000 | #Constraints: 39957
2059.44/2065.12 c #Conflicts: 1436000 | #Constraints: 40957
2059.44/2065.12 c #Conflicts: 1437000 | #Constraints: 41957
2059.44/2065.12 c #Conflicts: 1438000 | #Constraints: 42957
2059.44/2065.12 c #Conflicts: 1439000 | #Constraints: 43957
2059.44/2065.12 c #Conflicts: 1440000 | #Constraints: 44957
2059.44/2065.12 c #Conflicts: 1441000 | #Constraints: 45957
2059.44/2065.12 c #Conflicts: 1442000 | #Constraints: 46957
2059.44/2065.12 c #Conflicts: 1443000 | #Constraints: 47957
2059.44/2065.12 c INPROCESSING
2059.44/2065.12 c GARBAGE COLLECT
2059.44/2065.12 c #Conflicts: 1444000 | #Constraints: 25130
2059.44/2065.12 c #Conflicts: 1445000 | #Constraints: 26130
2059.44/2065.12 c #Conflicts: 1446000 | #Constraints: 27130
2059.44/2065.12 c #Conflicts: 1447000 | #Constraints: 28130
2059.44/2065.12 c #Conflicts: 1448000 | #Constraints: 29130
2059.44/2065.12 c #Conflicts: 1449000 | #Constraints: 30130
2059.44/2065.12 c #Conflicts: 1450000 | #Constraints: 31130
2059.44/2065.12 c #Conflicts: 1451000 | #Constraints: 32130
2059.44/2065.12 c #Conflicts: 1452000 | #Constraints: 33130
2059.44/2065.12 c #Conflicts: 1453000 | #Constraints: 34130
2059.44/2065.12 c #Conflicts: 1454000 | #Constraints: 35130
2059.44/2065.12 c #Conflicts: 1455000 | #Constraints: 36130
2059.44/2065.12 c #Conflicts: 1456000 | #Constraints: 37130
2059.44/2065.12 c #Conflicts: 1457000 | #Constraints: 38130
2059.44/2065.12 c #Conflicts: 1458000 | #Constraints: 39130
2059.44/2065.12 c #Conflicts: 1459000 | #Constraints: 40130
2059.44/2065.12 c #Conflicts: 1460000 | #Constraints: 41130
2059.44/2065.12 c #Conflicts: 1461000 | #Constraints: 42130
2059.44/2065.12 c #Conflicts: 1462000 | #Constraints: 43130
2059.44/2065.12 c #Conflicts: 1463000 | #Constraints: 44130
2059.44/2065.12 c #Conflicts: 1464000 | #Constraints: 45130
2059.44/2065.12 c #Conflicts: 1465000 | #Constraints: 46130
2059.44/2065.12 c #Conflicts: 1466000 | #Constraints: 47130
2059.44/2065.12 c #Conflicts: 1467000 | #Constraints: 48130
2059.44/2065.12 c INPROCESSING
2059.44/2065.12 c GARBAGE COLLECT
2059.44/2065.12 c #Conflicts: 1468000 | #Constraints: 25132
2059.44/2065.12 c #Conflicts: 1469000 | #Constraints: 26132
2059.44/2065.12 c #Conflicts: 1470000 | #Constraints: 27132
2059.44/2065.12 c #Conflicts: 1471000 | #Constraints: 28132
2059.44/2065.12 c #Conflicts: 1472000 | #Constraints: 29132
2059.44/2065.12 c #Conflicts: 1473000 | #Constraints: 30132
2059.44/2065.12 c #Conflicts: 1474000 | #Constraints: 31132
2059.44/2065.12 c #Conflicts: 1475000 | #Constraints: 32132
2059.44/2065.12 c #Conflicts: 1476000 | #Constraints: 33132
2059.44/2065.12 c #Conflicts: 1477000 | #Constraints: 34132
2059.44/2065.12 c #Conflicts: 1478000 | #Constraints: 35132
2059.44/2065.12 c #Conflicts: 1479000 | #Constraints: 36132
2059.44/2065.12 c #Conflicts: 1480000 | #Constraints: 37132
2059.44/2065.12 c #Conflicts: 1481000 | #Constraints: 38132
2059.44/2065.12 c #Conflicts: 1482000 | #Constraints: 39132
2059.44/2065.12 c #Conflicts: 1483000 | #Constraints: 40132
2059.44/2065.12 c #Conflicts: 1484000 | #Constraints: 41132
2059.44/2065.12 c #Conflicts: 1485000 | #Constraints: 42132
2059.44/2065.12 c #Conflicts: 1486000 | #Constraints: 43132
2059.44/2065.12 c #Conflicts: 1487000 | #Constraints: 44132
2059.44/2065.12 c #Conflicts: 1488000 | #Constraints: 45132
2059.44/2065.12 c #Conflicts: 1489000 | #Constraints: 46132
2059.44/2065.12 c #Conflicts: 1490000 | #Constraints: 47132
2059.44/2065.12 c #Conflicts: 1491000 | #Constraints: 48132
2059.44/2065.12 c INPROCESSING
2059.44/2065.12 c GARBAGE COLLECT
2059.44/2065.12 c #Conflicts: 1492000 | #Constraints: 24933
2059.44/2065.12 c #Conflicts: 1493000 | #Constraints: 25933
2059.44/2065.12 c #Conflicts: 1494000 | #Constraints: 26933
2059.44/2065.12 c #Conflicts: 1495000 | #Constraints: 27933
2059.44/2065.12 c #Conflicts: 1496000 | #Constraints: 28933
2059.44/2065.12 c #Conflicts: 1497000 | #Constraints: 29933
2059.44/2065.12 c #Conflicts: 1498000 | #Constraints: 30933
2059.44/2065.12 c #Conflicts: 1499000 | #Constraints: 31933
2059.44/2065.12 c #Conflicts: 1500000 | #Constraints: 32933
2059.44/2065.12 c #Conflicts: 1501000 | #Constraints: 33933
2059.44/2065.12 c #Conflicts: 1502000 | #Constraints: 34933
2059.44/2065.12 c #Conflicts: 1503000 | #Constraints: 35933
2059.44/2065.12 c #Conflicts: 1504000 | #Constraints: 36933
2231.27/2237.46 c #Conflicts: 1505000 | #Constraints: 37933
2231.27/2237.46 c #Conflicts: 1506000 | #Constraints: 38933
2231.27/2237.46 c #Conflicts: 1507000 | #Constraints: 39933
2231.27/2237.46 c #Conflicts: 1508000 | #Constraints: 40933
2231.27/2237.46 c #Conflicts: 1509000 | #Constraints: 41933
2231.27/2237.46 c #Conflicts: 1510000 | #Constraints: 42933
2231.27/2237.46 c #Conflicts: 1511000 | #Constraints: 43933
2231.27/2237.46 c #Conflicts: 1512000 | #Constraints: 44933
2231.27/2237.46 c #Conflicts: 1513000 | #Constraints: 45933
2231.27/2237.46 c #Conflicts: 1514000 | #Constraints: 46933
2231.27/2237.46 c #Conflicts: 1515000 | #Constraints: 47933
2231.27/2237.46 c #Conflicts: 1516000 | #Constraints: 48933
2231.27/2237.46 c INPROCESSING
2231.27/2237.46 c GARBAGE COLLECT
2231.27/2237.46 c #Conflicts: 1517000 | #Constraints: 25556
2231.27/2237.46 c #Conflicts: 1518000 | #Constraints: 26556
2231.27/2237.46 c #Conflicts: 1519000 | #Constraints: 27556
2231.27/2237.46 c #Conflicts: 1520000 | #Constraints: 28556
2231.27/2237.46 c #Conflicts: 1521000 | #Constraints: 29556
2231.27/2237.46 c #Conflicts: 1522000 | #Constraints: 30556
2231.27/2237.46 c #Conflicts: 1523000 | #Constraints: 31556
2231.27/2237.46 c #Conflicts: 1524000 | #Constraints: 32556
2231.27/2237.46 c #Conflicts: 1525000 | #Constraints: 33556
2231.27/2237.46 c #Conflicts: 1526000 | #Constraints: 34556
2231.27/2237.46 c #Conflicts: 1527000 | #Constraints: 35556
2231.27/2237.46 c #Conflicts: 1528000 | #Constraints: 36556
2231.27/2237.46 c #Conflicts: 1529000 | #Constraints: 37556
2231.27/2237.46 c #Conflicts: 1530000 | #Constraints: 38556
2231.27/2237.46 c #Conflicts: 1531000 | #Constraints: 39556
2231.27/2237.46 c #Conflicts: 1532000 | #Constraints: 40556
2231.27/2237.46 c #Conflicts: 1533000 | #Constraints: 41556
2231.27/2237.46 c #Conflicts: 1534000 | #Constraints: 42556
2231.27/2237.46 c #Conflicts: 1535000 | #Constraints: 43556
2231.27/2237.46 c #Conflicts: 1536000 | #Constraints: 44556
2231.27/2237.46 c #Conflicts: 1537000 | #Constraints: 45556
2231.27/2237.46 c #Conflicts: 1538000 | #Constraints: 46556
2231.27/2237.46 c #Conflicts: 1539000 | #Constraints: 47556
2231.27/2237.46 c #Conflicts: 1540000 | #Constraints: 48556
2231.27/2237.46 c #Conflicts: 1541000 | #Constraints: 49556
2231.27/2237.46 c INPROCESSING
2231.27/2237.46 c GARBAGE COLLECT
2231.27/2237.46 c #Conflicts: 1542000 | #Constraints: 25950
2231.27/2237.46 c #Conflicts: 1543000 | #Constraints: 26950
2231.27/2237.46 c #Conflicts: 1544000 | #Constraints: 27950
2231.27/2237.46 c #Conflicts: 1545000 | #Constraints: 28950
2231.27/2237.46 c #Conflicts: 1546000 | #Constraints: 29950
2231.27/2237.46 c #Conflicts: 1547000 | #Constraints: 30950
2231.27/2237.46 c #Conflicts: 1548000 | #Constraints: 31950
2231.27/2237.46 c #Conflicts: 1549000 | #Constraints: 32950
2231.27/2237.46 c #Conflicts: 1550000 | #Constraints: 33950
2231.27/2237.46 c #Conflicts: 1551000 | #Constraints: 34950
2231.27/2237.46 c #Conflicts: 1552000 | #Constraints: 35950
2231.27/2237.46 c #Conflicts: 1553000 | #Constraints: 36950
2231.27/2237.46 c #Conflicts: 1554000 | #Constraints: 37950
2231.27/2237.46 c #Conflicts: 1555000 | #Constraints: 38950
2231.27/2237.46 c #Conflicts: 1556000 | #Constraints: 39950
2231.27/2237.46 c #Conflicts: 1557000 | #Constraints: 40950
2231.27/2237.46 c #Conflicts: 1558000 | #Constraints: 41950
2231.27/2237.46 c #Conflicts: 1559000 | #Constraints: 42950
2231.27/2237.46 c #Conflicts: 1560000 | #Constraints: 43950
2231.27/2237.46 c #Conflicts: 1561000 | #Constraints: 44950
2231.27/2237.46 c #Conflicts: 1562000 | #Constraints: 45950
2231.27/2237.46 c #Conflicts: 1563000 | #Constraints: 46950
2231.27/2237.46 c #Conflicts: 1564000 | #Constraints: 47950
2231.27/2237.46 c #Conflicts: 1565000 | #Constraints: 48950
2231.27/2237.46 c #Conflicts: 1566000 | #Constraints: 49950
2231.27/2237.46 c INPROCESSING
2231.27/2237.46 c GARBAGE COLLECT
2231.27/2237.46 c #Conflicts: 1567000 | #Constraints: 26146
2231.27/2237.46 c #Conflicts: 1568000 | #Constraints: 27146
2231.27/2237.46 c #Conflicts: 1569000 | #Constraints: 28146
2231.27/2237.46 c #Conflicts: 1570000 | #Constraints: 29146
2231.27/2237.46 c #Conflicts: 1571000 | #Constraints: 30146
2231.27/2237.46 c #Conflicts: 1572000 | #Constraints: 31146
2231.27/2237.46 c #Conflicts: 1573000 | #Constraints: 32146
2231.27/2237.46 c #Conflicts: 1574000 | #Constraints: 33146
2231.27/2237.46 c #Conflicts: 1575000 | #Constraints: 34146
2231.27/2237.46 c #Conflicts: 1576000 | #Constraints: 35146
2231.27/2237.46 c #Conflicts: 1577000 | #Constraints: 36146
2231.27/2237.46 c #Conflicts: 1578000 | #Constraints: 37146
2231.27/2237.46 c #Conflicts: 1579000 | #Constraints: 38146
2231.27/2237.46 c #Conflicts: 1580000 | #Constraints: 39146
2231.27/2237.46 c #Conflicts: 1581000 | #Constraints: 40146
2455.48/2462.29 c #Conflicts: 1582000 | #Constraints: 41146
2455.48/2462.29 c #Conflicts: 1583000 | #Constraints: 42146
2455.48/2462.29 c #Conflicts: 1584000 | #Constraints: 43146
2455.48/2462.29 c #Conflicts: 1585000 | #Constraints: 44146
2455.48/2462.29 c #Conflicts: 1586000 | #Constraints: 45146
2455.48/2462.29 c #Conflicts: 1587000 | #Constraints: 46146
2455.48/2462.29 c #Conflicts: 1588000 | #Constraints: 47146
2455.48/2462.29 c #Conflicts: 1589000 | #Constraints: 48146
2455.48/2462.29 c #Conflicts: 1590000 | #Constraints: 49146
2455.48/2462.29 c #Conflicts: 1591000 | #Constraints: 50146
2455.48/2462.29 c INPROCESSING
2455.48/2462.29 c GARBAGE COLLECT
2455.48/2462.29 c #Conflicts: 1592000 | #Constraints: 26149
2455.48/2462.29 c #Conflicts: 1593000 | #Constraints: 27149
2455.48/2462.29 c #Conflicts: 1594000 | #Constraints: 28149
2455.48/2462.29 c #Conflicts: 1595000 | #Constraints: 29149
2455.48/2462.29 c #Conflicts: 1596000 | #Constraints: 30149
2455.48/2462.29 c #Conflicts: 1597000 | #Constraints: 31149
2455.48/2462.29 c #Conflicts: 1598000 | #Constraints: 32149
2455.48/2462.29 c #Conflicts: 1599000 | #Constraints: 33149
2455.48/2462.29 c #Conflicts: 1600000 | #Constraints: 34149
2455.48/2462.29 c #Conflicts: 1601000 | #Constraints: 35149
2455.48/2462.29 c #Conflicts: 1602000 | #Constraints: 36149
2455.48/2462.29 c #Conflicts: 1603000 | #Constraints: 37149
2455.48/2462.29 c #Conflicts: 1604000 | #Constraints: 38149
2455.48/2462.29 c #Conflicts: 1605000 | #Constraints: 39149
2455.48/2462.29 c #Conflicts: 1606000 | #Constraints: 40149
2455.48/2462.29 c #Conflicts: 1607000 | #Constraints: 41149
2455.48/2462.29 c #Conflicts: 1608000 | #Constraints: 42149
2455.48/2462.29 c #Conflicts: 1609000 | #Constraints: 43149
2455.48/2462.29 c #Conflicts: 1610000 | #Constraints: 44149
2455.48/2462.29 c #Conflicts: 1611000 | #Constraints: 45149
2455.48/2462.29 c #Conflicts: 1612000 | #Constraints: 46149
2455.48/2462.29 c #Conflicts: 1613000 | #Constraints: 47149
2455.48/2462.29 c #Conflicts: 1614000 | #Constraints: 48149
2455.48/2462.29 c #Conflicts: 1615000 | #Constraints: 49149
2455.48/2462.29 c #Conflicts: 1616000 | #Constraints: 50149
2455.48/2462.29 c INPROCESSING
2455.48/2462.29 c GARBAGE COLLECT
2455.48/2462.29 c #Conflicts: 1617000 | #Constraints: 25946
2455.48/2462.29 c #Conflicts: 1618000 | #Constraints: 26946
2455.48/2462.29 c #Conflicts: 1619000 | #Constraints: 27946
2455.48/2462.29 c #Conflicts: 1620000 | #Constraints: 28946
2455.48/2462.29 c #Conflicts: 1621000 | #Constraints: 29946
2455.48/2462.29 c #Conflicts: 1622000 | #Constraints: 30946
2455.48/2462.29 c #Conflicts: 1623000 | #Constraints: 31946
2455.48/2462.29 c #Conflicts: 1624000 | #Constraints: 32946
2455.48/2462.29 c #Conflicts: 1625000 | #Constraints: 33946
2455.48/2462.29 c #Conflicts: 1626000 | #Constraints: 34946
2455.48/2462.29 c #Conflicts: 1627000 | #Constraints: 35946
2455.48/2462.29 c #Conflicts: 1628000 | #Constraints: 36946
2455.48/2462.29 c #Conflicts: 1629000 | #Constraints: 37946
2455.48/2462.29 c #Conflicts: 1630000 | #Constraints: 38946
2455.48/2462.29 c #Conflicts: 1631000 | #Constraints: 39946
2455.48/2462.29 c #Conflicts: 1632000 | #Constraints: 40946
2455.48/2462.29 c #Conflicts: 1633000 | #Constraints: 41946
2455.48/2462.29 c #Conflicts: 1634000 | #Constraints: 42946
2455.48/2462.29 c #Conflicts: 1635000 | #Constraints: 43946
2455.48/2462.29 c #Conflicts: 1636000 | #Constraints: 44946
2455.48/2462.29 c #Conflicts: 1637000 | #Constraints: 45946
2455.48/2462.29 c #Conflicts: 1638000 | #Constraints: 46946
2455.48/2462.29 c #Conflicts: 1639000 | #Constraints: 47946
2455.48/2462.29 c #Conflicts: 1640000 | #Constraints: 48946
2455.48/2462.29 c #Conflicts: 1641000 | #Constraints: 49946
2455.48/2462.29 c #Conflicts: 1642000 | #Constraints: 50946
2455.48/2462.29 c INPROCESSING
2455.48/2462.29 c GARBAGE COLLECT
2455.48/2462.29 c #Conflicts: 1643000 | #Constraints: 26545
2455.48/2462.29 c #Conflicts: 1644000 | #Constraints: 27545
2455.48/2462.29 c #Conflicts: 1645000 | #Constraints: 28545
2455.48/2462.29 c #Conflicts: 1646000 | #Constraints: 29545
2455.48/2462.29 c #Conflicts: 1647000 | #Constraints: 30545
2455.48/2462.29 c #Conflicts: 1648000 | #Constraints: 31545
2455.48/2462.29 c #Conflicts: 1649000 | #Constraints: 32545
2455.48/2462.29 c #Conflicts: 1650000 | #Constraints: 33545
2455.48/2462.29 c #Conflicts: 1651000 | #Constraints: 34545
2455.48/2462.29 c #Conflicts: 1652000 | #Constraints: 35545
2455.48/2462.29 c #Conflicts: 1653000 | #Constraints: 36545
2455.48/2462.29 c #Conflicts: 1654000 | #Constraints: 37545
2455.48/2462.29 c #Conflicts: 1655000 | #Constraints: 38545
2455.48/2462.29 c #Conflicts: 1656000 | #Constraints: 39545
2455.48/2462.29 c #Conflicts: 1657000 | #Constraints: 40545
2665.72/2673.06 c #Conflicts: 1658000 | #Constraints: 41545
2665.72/2673.06 c #Conflicts: 1659000 | #Constraints: 42545
2665.72/2673.06 c #Conflicts: 1660000 | #Constraints: 43545
2665.72/2673.06 c #Conflicts: 1661000 | #Constraints: 44545
2665.72/2673.06 c #Conflicts: 1662000 | #Constraints: 45545
2665.72/2673.06 c #Conflicts: 1663000 | #Constraints: 46545
2665.72/2673.06 c #Conflicts: 1664000 | #Constraints: 47545
2665.72/2673.06 c #Conflicts: 1665000 | #Constraints: 48545
2665.72/2673.06 c #Conflicts: 1666000 | #Constraints: 49545
2665.72/2673.06 c #Conflicts: 1667000 | #Constraints: 50545
2665.72/2673.06 c #Conflicts: 1668000 | #Constraints: 51545
2665.72/2673.06 c INPROCESSING
2665.72/2673.06 c GARBAGE COLLECT
2665.72/2673.06 c #Conflicts: 1669000 | #Constraints: 26945
2665.72/2673.06 c #Conflicts: 1670000 | #Constraints: 27945
2665.72/2673.06 c #Conflicts: 1671000 | #Constraints: 28945
2665.72/2673.06 c #Conflicts: 1672000 | #Constraints: 29945
2665.72/2673.06 c #Conflicts: 1673000 | #Constraints: 30945
2665.72/2673.06 c #Conflicts: 1674000 | #Constraints: 31945
2665.72/2673.06 c #Conflicts: 1675000 | #Constraints: 32945
2665.72/2673.06 c #Conflicts: 1676000 | #Constraints: 33945
2665.72/2673.06 c #Conflicts: 1677000 | #Constraints: 34945
2665.72/2673.06 c #Conflicts: 1678000 | #Constraints: 35945
2665.72/2673.06 c #Conflicts: 1679000 | #Constraints: 36945
2665.72/2673.06 c #Conflicts: 1680000 | #Constraints: 37945
2665.72/2673.06 c #Conflicts: 1681000 | #Constraints: 38945
2665.72/2673.06 c #Conflicts: 1682000 | #Constraints: 39945
2665.72/2673.06 c #Conflicts: 1683000 | #Constraints: 40945
2665.72/2673.06 c #Conflicts: 1684000 | #Constraints: 41945
2665.72/2673.06 c #Conflicts: 1685000 | #Constraints: 42945
2665.72/2673.06 c #Conflicts: 1686000 | #Constraints: 43945
2665.72/2673.06 c #Conflicts: 1687000 | #Constraints: 44945
2665.72/2673.06 c #Conflicts: 1688000 | #Constraints: 45945
2665.72/2673.06 c #Conflicts: 1689000 | #Constraints: 46945
2665.72/2673.06 c #Conflicts: 1690000 | #Constraints: 47945
2665.72/2673.06 c #Conflicts: 1691000 | #Constraints: 48945
2665.72/2673.06 c #Conflicts: 1692000 | #Constraints: 49945
2665.72/2673.06 c #Conflicts: 1693000 | #Constraints: 50945
2665.72/2673.06 c #Conflicts: 1694000 | #Constraints: 51945
2665.72/2673.06 c INPROCESSING
2665.72/2673.06 c GARBAGE COLLECT
2665.72/2673.06 c #Conflicts: 1695000 | #Constraints: 27168
2665.72/2673.06 c #Conflicts: 1696000 | #Constraints: 28168
2665.72/2673.06 c #Conflicts: 1697000 | #Constraints: 29168
2665.72/2673.06 c #Conflicts: 1698000 | #Constraints: 30168
2665.72/2673.06 c #Conflicts: 1699000 | #Constraints: 31168
2665.72/2673.06 c #Conflicts: 1700000 | #Constraints: 32168
2665.72/2673.06 c #Conflicts: 1701000 | #Constraints: 33168
2665.72/2673.06 c #Conflicts: 1702000 | #Constraints: 34168
2665.72/2673.06 c #Conflicts: 1703000 | #Constraints: 35168
2665.72/2673.06 c #Conflicts: 1704000 | #Constraints: 36168
2665.72/2673.06 c #Conflicts: 1705000 | #Constraints: 37168
2665.72/2673.06 c #Conflicts: 1706000 | #Constraints: 38168
2665.72/2673.06 c #Conflicts: 1707000 | #Constraints: 39168
2665.72/2673.06 c #Conflicts: 1708000 | #Constraints: 40168
2665.72/2673.06 c #Conflicts: 1709000 | #Constraints: 41168
2665.72/2673.06 c #Conflicts: 1710000 | #Constraints: 42168
2665.72/2673.06 c #Conflicts: 1711000 | #Constraints: 43168
2665.72/2673.06 c #Conflicts: 1712000 | #Constraints: 44168
2665.72/2673.06 c #Conflicts: 1713000 | #Constraints: 45168
2665.72/2673.06 c #Conflicts: 1714000 | #Constraints: 46168
2665.72/2673.06 c #Conflicts: 1715000 | #Constraints: 47168
2665.72/2673.06 c #Conflicts: 1716000 | #Constraints: 48168
2665.72/2673.06 c #Conflicts: 1717000 | #Constraints: 49168
2665.72/2673.06 c #Conflicts: 1718000 | #Constraints: 50168
2665.72/2673.06 c #Conflicts: 1719000 | #Constraints: 51168
2665.72/2673.06 c #Conflicts: 1720000 | #Constraints: 52168
2665.72/2673.06 c INPROCESSING
2665.72/2673.06 c GARBAGE COLLECT
2665.72/2673.06 c #Conflicts: 1721000 | #Constraints: 27162
2665.72/2673.06 c #Conflicts: 1722000 | #Constraints: 28162
2665.72/2673.06 c #Conflicts: 1723000 | #Constraints: 29162
2665.72/2673.06 c #Conflicts: 1724000 | #Constraints: 30162
2665.72/2673.06 c #Conflicts: 1725000 | #Constraints: 31162
2665.72/2673.06 c #Conflicts: 1726000 | #Constraints: 32162
2665.72/2673.06 c #Conflicts: 1727000 | #Constraints: 33162
2665.72/2673.06 c #Conflicts: 1728000 | #Constraints: 34162
2665.72/2673.06 c #Conflicts: 1729000 | #Constraints: 35162
2665.72/2673.06 c #Conflicts: 1730000 | #Constraints: 36162
2665.72/2673.06 c #Conflicts: 1731000 | #Constraints: 37162
2665.72/2673.06 c #Conflicts: 1732000 | #Constraints: 38162
2665.72/2673.06 c #Conflicts: 1733000 | #Constraints: 39162
2665.72/2673.06 c #Conflicts: 1734000 | #Constraints: 40162
2855.82/2863.67 c #Conflicts: 1735000 | #Constraints: 41162
2855.82/2863.67 c #Conflicts: 1736000 | #Constraints: 42162
2855.82/2863.67 c #Conflicts: 1737000 | #Constraints: 43162
2855.82/2863.67 c #Conflicts: 1738000 | #Constraints: 44162
2855.82/2863.67 c #Conflicts: 1739000 | #Constraints: 45162
2855.82/2863.67 c #Conflicts: 1740000 | #Constraints: 46162
2855.82/2863.67 c #Conflicts: 1741000 | #Constraints: 47162
2855.82/2863.67 c #Conflicts: 1742000 | #Constraints: 48162
2855.82/2863.67 c #Conflicts: 1743000 | #Constraints: 49162
2855.82/2863.67 c #Conflicts: 1744000 | #Constraints: 50162
2855.82/2863.67 c #Conflicts: 1745000 | #Constraints: 51162
2855.82/2863.67 c #Conflicts: 1746000 | #Constraints: 52162
2855.82/2863.67 c INPROCESSING
2855.82/2863.67 c GARBAGE COLLECT
2855.82/2863.67 c #Conflicts: 1747000 | #Constraints: 26929
2855.82/2863.67 c #Conflicts: 1748000 | #Constraints: 27929
2855.82/2863.67 c #Conflicts: 1749000 | #Constraints: 28929
2855.82/2863.67 c #Conflicts: 1750000 | #Constraints: 29929
2855.82/2863.67 c #Conflicts: 1751000 | #Constraints: 30929
2855.82/2863.67 c #Conflicts: 1752000 | #Constraints: 31929
2855.82/2863.67 c #Conflicts: 1753000 | #Constraints: 32929
2855.82/2863.67 c #Conflicts: 1754000 | #Constraints: 33929
2855.82/2863.67 c #Conflicts: 1755000 | #Constraints: 34929
2855.82/2863.67 c #Conflicts: 1756000 | #Constraints: 35929
2855.82/2863.67 c #Conflicts: 1757000 | #Constraints: 36929
2855.82/2863.67 c #Conflicts: 1758000 | #Constraints: 37929
2855.82/2863.67 c #Conflicts: 1759000 | #Constraints: 38929
2855.82/2863.67 c #Conflicts: 1760000 | #Constraints: 39929
2855.82/2863.67 c #Conflicts: 1761000 | #Constraints: 40929
2855.82/2863.67 c #Conflicts: 1762000 | #Constraints: 41929
2855.82/2863.67 c #Conflicts: 1763000 | #Constraints: 42929
2855.82/2863.67 c #Conflicts: 1764000 | #Constraints: 43929
2855.82/2863.67 c #Conflicts: 1765000 | #Constraints: 44929
2855.82/2863.67 c #Conflicts: 1766000 | #Constraints: 45929
2855.82/2863.67 c #Conflicts: 1767000 | #Constraints: 46929
2855.82/2863.67 c #Conflicts: 1768000 | #Constraints: 47929
2855.82/2863.67 c #Conflicts: 1769000 | #Constraints: 48929
2855.82/2863.67 c #Conflicts: 1770000 | #Constraints: 49929
2855.82/2863.67 c #Conflicts: 1771000 | #Constraints: 50929
2855.82/2863.67 c #Conflicts: 1772000 | #Constraints: 51929
2855.82/2863.67 c #Conflicts: 1773000 | #Constraints: 52929
2855.82/2863.67 c INPROCESSING
2855.82/2863.67 c GARBAGE COLLECT
2855.82/2863.67 c #Conflicts: 1774000 | #Constraints: 27548
2855.82/2863.67 c #Conflicts: 1775000 | #Constraints: 28548
2855.82/2863.67 c #Conflicts: 1776000 | #Constraints: 29548
2855.82/2863.67 c #Conflicts: 1777000 | #Constraints: 30548
2855.82/2863.67 c #Conflicts: 1778000 | #Constraints: 31548
2855.82/2863.67 c #Conflicts: 1779000 | #Constraints: 32548
2855.82/2863.67 c #Conflicts: 1780000 | #Constraints: 33548
2855.82/2863.67 c #Conflicts: 1781000 | #Constraints: 34548
2855.82/2863.67 c #Conflicts: 1782000 | #Constraints: 35548
2855.82/2863.67 c #Conflicts: 1783000 | #Constraints: 36548
2855.82/2863.67 c #Conflicts: 1784000 | #Constraints: 37548
2855.82/2863.67 c #Conflicts: 1785000 | #Constraints: 38548
2855.82/2863.67 c #Conflicts: 1786000 | #Constraints: 39548
2855.82/2863.67 c #Conflicts: 1787000 | #Constraints: 40548
2855.82/2863.67 c #Conflicts: 1788000 | #Constraints: 41548
2855.82/2863.67 c #Conflicts: 1789000 | #Constraints: 42548
2855.82/2863.67 c #Conflicts: 1790000 | #Constraints: 43548
2855.82/2863.67 c #Conflicts: 1791000 | #Constraints: 44548
2855.82/2863.67 c #Conflicts: 1792000 | #Constraints: 45548
2855.82/2863.67 c #Conflicts: 1793000 | #Constraints: 46548
2855.82/2863.67 c #Conflicts: 1794000 | #Constraints: 47548
2855.82/2863.67 c #Conflicts: 1795000 | #Constraints: 48548
2855.82/2863.67 c #Conflicts: 1796000 | #Constraints: 49548
2855.82/2863.67 c #Conflicts: 1797000 | #Constraints: 50548
2855.82/2863.67 c #Conflicts: 1798000 | #Constraints: 51548
2855.82/2863.67 c #Conflicts: 1799000 | #Constraints: 52548
2855.82/2863.67 c #Conflicts: 1800000 | #Constraints: 53548
2855.82/2863.67 c INPROCESSING
2855.82/2863.67 c GARBAGE COLLECT
2855.82/2863.67 c #Conflicts: 1801000 | #Constraints: 27949
2855.82/2863.67 c #Conflicts: 1802000 | #Constraints: 28949
2855.82/2863.67 c #Conflicts: 1803000 | #Constraints: 29949
2855.82/2863.67 c #Conflicts: 1804000 | #Constraints: 30949
2855.82/2863.67 c #Conflicts: 1805000 | #Constraints: 31949
2855.82/2863.67 c #Conflicts: 1806000 | #Constraints: 32949
2855.82/2863.67 c #Conflicts: 1807000 | #Constraints: 33949
2855.82/2863.67 c #Conflicts: 1808000 | #Constraints: 34949
2855.82/2863.67 c #Conflicts: 1809000 | #Constraints: 35949
2855.82/2863.67 c #Conflicts: 1810000 | #Constraints: 36949
2855.82/2863.67 c #Conflicts: 1811000 | #Constraints: 37949
3054.69/3063.06 c #Conflicts: 1812000 | #Constraints: 38949
3054.69/3063.06 c #Conflicts: 1813000 | #Constraints: 39949
3054.69/3063.06 c #Conflicts: 1814000 | #Constraints: 40949
3054.69/3063.06 c #Conflicts: 1815000 | #Constraints: 41949
3054.69/3063.06 c #Conflicts: 1816000 | #Constraints: 42949
3054.69/3063.06 c #Conflicts: 1817000 | #Constraints: 43949
3054.69/3063.06 c #Conflicts: 1818000 | #Constraints: 44949
3054.69/3063.06 c #Conflicts: 1819000 | #Constraints: 45949
3054.69/3063.06 c #Conflicts: 1820000 | #Constraints: 46949
3054.69/3063.06 c #Conflicts: 1821000 | #Constraints: 47949
3054.69/3063.06 c #Conflicts: 1822000 | #Constraints: 48949
3054.69/3063.06 c #Conflicts: 1823000 | #Constraints: 49949
3054.69/3063.06 c #Conflicts: 1824000 | #Constraints: 50949
3054.69/3063.06 c #Conflicts: 1825000 | #Constraints: 51949
3054.69/3063.06 c #Conflicts: 1826000 | #Constraints: 52949
3054.69/3063.06 c #Conflicts: 1827000 | #Constraints: 53949
3054.69/3063.06 c INPROCESSING
3054.69/3063.06 c GARBAGE COLLECT
3054.69/3063.06 c #Conflicts: 1828000 | #Constraints: 28135
3054.69/3063.06 c #Conflicts: 1829000 | #Constraints: 29135
3054.69/3063.06 c #Conflicts: 1830000 | #Constraints: 30135
3054.69/3063.06 c #Conflicts: 1831000 | #Constraints: 31135
3054.69/3063.06 c #Conflicts: 1832000 | #Constraints: 32135
3054.69/3063.06 c #Conflicts: 1833000 | #Constraints: 33135
3054.69/3063.06 c #Conflicts: 1834000 | #Constraints: 34135
3054.69/3063.06 c #Conflicts: 1835000 | #Constraints: 35135
3054.69/3063.06 c #Conflicts: 1836000 | #Constraints: 36135
3054.69/3063.06 c #Conflicts: 1837000 | #Constraints: 37135
3054.69/3063.06 c #Conflicts: 1838000 | #Constraints: 38135
3054.69/3063.06 c #Conflicts: 1839000 | #Constraints: 39135
3054.69/3063.06 c #Conflicts: 1840000 | #Constraints: 40135
3054.69/3063.06 c #Conflicts: 1841000 | #Constraints: 41135
3054.69/3063.06 c #Conflicts: 1842000 | #Constraints: 42135
3054.69/3063.06 c #Conflicts: 1843000 | #Constraints: 43135
3054.69/3063.06 c #Conflicts: 1844000 | #Constraints: 44135
3054.69/3063.06 c #Conflicts: 1845000 | #Constraints: 45135
3054.69/3063.06 c #Conflicts: 1846000 | #Constraints: 46135
3054.69/3063.06 c #Conflicts: 1847000 | #Constraints: 47135
3054.69/3063.06 c #Conflicts: 1848000 | #Constraints: 48135
3054.69/3063.06 c #Conflicts: 1849000 | #Constraints: 49135
3054.69/3063.06 c #Conflicts: 1850000 | #Constraints: 50135
3054.69/3063.06 c #Conflicts: 1851000 | #Constraints: 51135
3054.69/3063.06 c #Conflicts: 1852000 | #Constraints: 52135
3054.69/3063.06 c #Conflicts: 1853000 | #Constraints: 53135
3054.69/3063.06 c #Conflicts: 1854000 | #Constraints: 54135
3054.69/3063.06 c INPROCESSING
3054.69/3063.06 c GARBAGE COLLECT
3054.69/3063.06 c #Conflicts: 1855000 | #Constraints: 28135
3054.69/3063.06 c #Conflicts: 1856000 | #Constraints: 29135
3054.69/3063.06 c #Conflicts: 1857000 | #Constraints: 30135
3054.69/3063.06 c #Conflicts: 1858000 | #Constraints: 31135
3054.69/3063.06 c #Conflicts: 1859000 | #Constraints: 32135
3054.69/3063.06 c #Conflicts: 1860000 | #Constraints: 33135
3054.69/3063.06 c #Conflicts: 1861000 | #Constraints: 34135
3054.69/3063.06 c #Conflicts: 1862000 | #Constraints: 35135
3054.69/3063.06 c #Conflicts: 1863000 | #Constraints: 36135
3054.69/3063.06 c #Conflicts: 1864000 | #Constraints: 37135
3054.69/3063.06 c #Conflicts: 1865000 | #Constraints: 38135
3054.69/3063.06 c #Conflicts: 1866000 | #Constraints: 39135
3054.69/3063.06 c #Conflicts: 1867000 | #Constraints: 40135
3054.69/3063.06 c #Conflicts: 1868000 | #Constraints: 41135
3054.69/3063.06 c #Conflicts: 1869000 | #Constraints: 42135
3054.69/3063.06 c #Conflicts: 1870000 | #Constraints: 43135
3054.69/3063.06 c #Conflicts: 1871000 | #Constraints: 44135
3054.69/3063.06 c #Conflicts: 1872000 | #Constraints: 45135
3054.69/3063.06 c #Conflicts: 1873000 | #Constraints: 46135
3054.69/3063.06 c #Conflicts: 1874000 | #Constraints: 47135
3054.69/3063.06 c #Conflicts: 1875000 | #Constraints: 48135
3054.69/3063.06 c #Conflicts: 1876000 | #Constraints: 49135
3054.69/3063.06 c #Conflicts: 1877000 | #Constraints: 50135
3054.69/3063.06 c #Conflicts: 1878000 | #Constraints: 51135
3054.69/3063.06 c #Conflicts: 1879000 | #Constraints: 52135
3054.69/3063.06 c #Conflicts: 1880000 | #Constraints: 53135
3054.69/3063.06 c #Conflicts: 1881000 | #Constraints: 54135
3054.69/3063.06 c INPROCESSING
3054.69/3063.06 c GARBAGE COLLECT
3054.69/3063.06 c #Conflicts: 1882000 | #Constraints: 27944
3054.69/3063.06 c #Conflicts: 1883000 | #Constraints: 28944
3054.69/3063.06 c #Conflicts: 1884000 | #Constraints: 29944
3054.69/3063.06 c #Conflicts: 1885000 | #Constraints: 30944
3054.69/3063.06 c #Conflicts: 1886000 | #Constraints: 31944
3054.69/3063.06 c #Conflicts: 1887000 | #Constraints: 32944
3054.69/3063.06 c #Conflicts: 1888000 | #Constraints: 33944
3287.19/3296.15 c #Conflicts: 1889000 | #Constraints: 34944
3287.19/3296.15 c #Conflicts: 1890000 | #Constraints: 35944
3287.19/3296.15 c #Conflicts: 1891000 | #Constraints: 36944
3287.19/3296.15 c #Conflicts: 1892000 | #Constraints: 37944
3287.19/3296.15 c #Conflicts: 1893000 | #Constraints: 38944
3287.19/3296.15 c #Conflicts: 1894000 | #Constraints: 39944
3287.19/3296.15 c #Conflicts: 1895000 | #Constraints: 40944
3287.19/3296.15 c #Conflicts: 1896000 | #Constraints: 41944
3287.19/3296.15 c #Conflicts: 1897000 | #Constraints: 42944
3287.19/3296.15 c #Conflicts: 1898000 | #Constraints: 43944
3287.19/3296.15 c #Conflicts: 1899000 | #Constraints: 44944
3287.19/3296.15 c #Conflicts: 1900000 | #Constraints: 45944
3287.19/3296.15 c #Conflicts: 1901000 | #Constraints: 46944
3287.19/3296.15 c #Conflicts: 1902000 | #Constraints: 47944
3287.19/3296.15 c #Conflicts: 1903000 | #Constraints: 48944
3287.19/3296.15 c #Conflicts: 1904000 | #Constraints: 49944
3287.19/3296.15 c #Conflicts: 1905000 | #Constraints: 50944
3287.19/3296.15 c #Conflicts: 1906000 | #Constraints: 51944
3287.19/3296.15 c #Conflicts: 1907000 | #Constraints: 52944
3287.19/3296.15 c #Conflicts: 1908000 | #Constraints: 53944
3287.19/3296.15 c #Conflicts: 1909000 | #Constraints: 54944
3287.19/3296.15 c INPROCESSING
3287.19/3296.15 c GARBAGE COLLECT
3287.19/3296.15 c #Conflicts: 1910000 | #Constraints: 28542
3287.19/3296.15 c #Conflicts: 1911000 | #Constraints: 29542
3287.19/3296.15 c #Conflicts: 1912000 | #Constraints: 30542
3287.19/3296.15 c #Conflicts: 1913000 | #Constraints: 31542
3287.19/3296.15 c #Conflicts: 1914000 | #Constraints: 32542
3287.19/3296.15 c #Conflicts: 1915000 | #Constraints: 33542
3287.19/3296.15 c #Conflicts: 1916000 | #Constraints: 34542
3287.19/3296.15 c #Conflicts: 1917000 | #Constraints: 35542
3287.19/3296.15 c #Conflicts: 1918000 | #Constraints: 36542
3287.19/3296.15 c #Conflicts: 1919000 | #Constraints: 37542
3287.19/3296.15 c #Conflicts: 1920000 | #Constraints: 38542
3287.19/3296.15 c #Conflicts: 1921000 | #Constraints: 39542
3287.19/3296.15 c #Conflicts: 1922000 | #Constraints: 40542
3287.19/3296.15 c #Conflicts: 1923000 | #Constraints: 41542
3287.19/3296.15 c #Conflicts: 1924000 | #Constraints: 42542
3287.19/3296.15 c #Conflicts: 1925000 | #Constraints: 43542
3287.19/3296.15 c #Conflicts: 1926000 | #Constraints: 44542
3287.19/3296.15 c #Conflicts: 1927000 | #Constraints: 45542
3287.19/3296.15 c #Conflicts: 1928000 | #Constraints: 46542
3287.19/3296.15 c #Conflicts: 1929000 | #Constraints: 47542
3287.19/3296.15 c #Conflicts: 1930000 | #Constraints: 48542
3287.19/3296.15 c #Conflicts: 1931000 | #Constraints: 49542
3287.19/3296.15 c #Conflicts: 1932000 | #Constraints: 50542
3287.19/3296.15 c #Conflicts: 1933000 | #Constraints: 51542
3287.19/3296.15 c #Conflicts: 1934000 | #Constraints: 52542
3287.19/3296.15 c #Conflicts: 1935000 | #Constraints: 53542
3287.19/3296.15 c #Conflicts: 1936000 | #Constraints: 54542
3287.19/3296.15 c #Conflicts: 1937000 | #Constraints: 55542
3287.19/3296.15 c INPROCESSING
3287.19/3296.15 c GARBAGE COLLECT
3287.19/3296.15 c #Conflicts: 1938000 | #Constraints: 28925
3287.19/3296.15 c #Conflicts: 1939000 | #Constraints: 29925
3287.19/3296.15 c #Conflicts: 1940000 | #Constraints: 30925
3287.19/3296.15 c #Conflicts: 1941000 | #Constraints: 31925
3287.19/3296.15 c #Conflicts: 1942000 | #Constraints: 32925
3287.19/3296.15 c #Conflicts: 1943000 | #Constraints: 33925
3287.19/3296.15 c #Conflicts: 1944000 | #Constraints: 34925
3287.19/3296.15 c #Conflicts: 1945000 | #Constraints: 35925
3287.19/3296.15 c #Conflicts: 1946000 | #Constraints: 36925
3287.19/3296.15 c #Conflicts: 1947000 | #Constraints: 37925
3287.19/3296.15 c #Conflicts: 1948000 | #Constraints: 38925
3287.19/3296.15 c #Conflicts: 1949000 | #Constraints: 39925
3287.19/3296.15 c #Conflicts: 1950000 | #Constraints: 40925
3287.19/3296.15 c #Conflicts: 1951000 | #Constraints: 41925
3287.19/3296.15 c #Conflicts: 1952000 | #Constraints: 42925
3287.19/3296.15 c #Conflicts: 1953000 | #Constraints: 43925
3287.19/3296.15 c #Conflicts: 1954000 | #Constraints: 44925
3287.19/3296.15 c #Conflicts: 1955000 | #Constraints: 45925
3287.19/3296.15 c #Conflicts: 1956000 | #Constraints: 46925
3287.19/3296.15 c #Conflicts: 1957000 | #Constraints: 47925
3287.19/3296.15 c #Conflicts: 1958000 | #Constraints: 48925
3287.19/3296.15 c #Conflicts: 1959000 | #Constraints: 49925
3287.19/3296.15 c #Conflicts: 1960000 | #Constraints: 50925
3287.19/3296.15 c #Conflicts: 1961000 | #Constraints: 51925
3287.19/3296.15 c #Conflicts: 1962000 | #Constraints: 52925
3287.19/3296.15 c #Conflicts: 1963000 | #Constraints: 53925
3287.19/3296.15 c #Conflicts: 1964000 | #Constraints: 54925
3287.19/3296.15 c #Conflicts: 1965000 | #Constraints: 55925
3492.80/3502.39 c INPROCESSING
3492.80/3502.39 c GARBAGE COLLECT
3492.80/3502.39 c #Conflicts: 1966000 | #Constraints: 29159
3492.80/3502.39 c #Conflicts: 1967000 | #Constraints: 30159
3492.80/3502.39 c #Conflicts: 1968000 | #Constraints: 31159
3492.80/3502.39 c #Conflicts: 1969000 | #Constraints: 32159
3492.80/3502.39 c #Conflicts: 1970000 | #Constraints: 33159
3492.80/3502.39 c #Conflicts: 1971000 | #Constraints: 34159
3492.80/3502.39 c #Conflicts: 1972000 | #Constraints: 35159
3492.80/3502.39 c #Conflicts: 1973000 | #Constraints: 36159
3492.80/3502.39 c #Conflicts: 1974000 | #Constraints: 37159
3492.80/3502.39 c #Conflicts: 1975000 | #Constraints: 38159
3492.80/3502.39 c #Conflicts: 1976000 | #Constraints: 39159
3492.80/3502.39 c #Conflicts: 1977000 | #Constraints: 40159
3492.80/3502.39 c #Conflicts: 1978000 | #Constraints: 41159
3492.80/3502.39 c #Conflicts: 1979000 | #Constraints: 42159
3492.80/3502.39 c #Conflicts: 1980000 | #Constraints: 43159
3492.80/3502.39 c #Conflicts: 1981000 | #Constraints: 44159
3492.80/3502.39 c #Conflicts: 1982000 | #Constraints: 45159
3492.80/3502.39 c #Conflicts: 1983000 | #Constraints: 46159
3492.80/3502.39 c #Conflicts: 1984000 | #Constraints: 47159
3492.80/3502.39 c #Conflicts: 1985000 | #Constraints: 48159
3492.80/3502.39 c #Conflicts: 1986000 | #Constraints: 49159
3492.80/3502.39 c #Conflicts: 1987000 | #Constraints: 50159
3492.80/3502.39 c #Conflicts: 1988000 | #Constraints: 51159
3492.80/3502.39 c #Conflicts: 1989000 | #Constraints: 52159
3492.80/3502.39 c #Conflicts: 1990000 | #Constraints: 53159
3492.80/3502.39 c #Conflicts: 1991000 | #Constraints: 54159
3492.80/3502.39 c #Conflicts: 1992000 | #Constraints: 55159
3492.80/3502.39 c #Conflicts: 1993000 | #Constraints: 56159
3492.80/3502.39 c INPROCESSING
3492.80/3502.39 c GARBAGE COLLECT
3492.80/3502.39 c #Conflicts: 1994000 | #Constraints: 29158
3492.80/3502.39 c #Conflicts: 1995000 | #Constraints: 30158
3492.80/3502.39 c #Conflicts: 1996000 | #Constraints: 31158
3492.80/3502.39 c #Conflicts: 1997000 | #Constraints: 32158
3492.80/3502.39 c #Conflicts: 1998000 | #Constraints: 33158
3492.80/3502.39 c #Conflicts: 1999000 | #Constraints: 34158
3492.80/3502.39 c #Conflicts: 2000000 | #Constraints: 35158
3492.80/3502.39 c #Conflicts: 2001000 | #Constraints: 36158
3492.80/3502.39 c #Conflicts: 2002000 | #Constraints: 37158
3492.80/3502.39 c #Conflicts: 2003000 | #Constraints: 38158
3492.80/3502.39 c #Conflicts: 2004000 | #Constraints: 39158
3492.80/3502.39 c #Conflicts: 2005000 | #Constraints: 40158
3492.80/3502.39 c #Conflicts: 2006000 | #Constraints: 41158
3492.80/3502.39 c #Conflicts: 2007000 | #Constraints: 42158
3492.80/3502.39 c #Conflicts: 2008000 | #Constraints: 43158
3492.80/3502.39 c #Conflicts: 2009000 | #Constraints: 44158
3492.80/3502.39 c #Conflicts: 2010000 | #Constraints: 45158
3492.80/3502.39 c #Conflicts: 2011000 | #Constraints: 46158
3492.80/3502.39 c #Conflicts: 2012000 | #Constraints: 47158
3492.80/3502.39 c #Conflicts: 2013000 | #Constraints: 48158
3492.80/3502.39 c #Conflicts: 2014000 | #Constraints: 49158
3492.80/3502.39 c #Conflicts: 2015000 | #Constraints: 50158
3492.80/3502.39 c #Conflicts: 2016000 | #Constraints: 51158
3492.80/3502.39 c #Conflicts: 2017000 | #Constraints: 52158
3492.80/3502.39 c #Conflicts: 2018000 | #Constraints: 53158
3492.80/3502.39 c #Conflicts: 2019000 | #Constraints: 54158
3492.80/3502.39 c #Conflicts: 2020000 | #Constraints: 55158
3492.80/3502.39 c #Conflicts: 2021000 | #Constraints: 56158
3492.80/3502.39 c INPROCESSING
3492.80/3502.39 c GARBAGE COLLECT
3492.80/3502.39 c #Conflicts: 2022000 | #Constraints: 28965
3492.80/3502.39 c #Conflicts: 2023000 | #Constraints: 29965
3492.80/3502.39 c #Conflicts: 2024000 | #Constraints: 30965
3492.80/3502.39 c #Conflicts: 2025000 | #Constraints: 31965
3492.80/3502.39 c #Conflicts: 2026000 | #Constraints: 32965
3492.80/3502.39 c #Conflicts: 2027000 | #Constraints: 33965
3492.80/3502.39 c #Conflicts: 2028000 | #Constraints: 34965
3492.80/3502.39 c #Conflicts: 2029000 | #Constraints: 35965
3492.80/3502.39 c #Conflicts: 2030000 | #Constraints: 36965
3492.80/3502.39 c #Conflicts: 2031000 | #Constraints: 37965
3492.80/3502.39 c #Conflicts: 2032000 | #Constraints: 38965
3492.80/3502.39 c #Conflicts: 2033000 | #Constraints: 39965
3492.80/3502.39 c #Conflicts: 2034000 | #Constraints: 40965
3492.80/3502.39 c #Conflicts: 2035000 | #Constraints: 41965
3492.80/3502.39 c #Conflicts: 2036000 | #Constraints: 42965
3492.80/3502.39 c #Conflicts: 2037000 | #Constraints: 43965
3492.80/3502.39 c #Conflicts: 2038000 | #Constraints: 44965
3492.80/3502.39 c #Conflicts: 2039000 | #Constraints: 45965
3492.80/3502.39 c #Conflicts: 2040000 | #Constraints: 46965
3492.80/3502.39 c #Conflicts: 2041000 | #Constraints: 47965
3492.80/3502.39 c #Conflicts: 2042000 | #Constraints: 48965
3600.02/3609.80 c #Conflicts: 2043000 | #Constraints: 49965
3600.02/3609.80 c #Conflicts: 2044000 | #Constraints: 50965
3600.02/3609.80 c #Conflicts: 2045000 | #Constraints: 51965
3600.02/3609.80 c #Conflicts: 2046000 | #Constraints: 52965
3600.02/3609.80 c #Conflicts: 2047000 | #Constraints: 53965
3600.02/3609.80 c #Conflicts: 2048000 | #Constraints: 54965
3600.02/3609.80 c #Conflicts: 2049000 | #Constraints: 55965
3600.02/3609.80 c #Conflicts: 2050000 | #Constraints: 56965
3600.02/3609.80 c INPROCESSING
3600.02/3609.80 c GARBAGE COLLECT
3600.02/3609.80 c #Conflicts: 2051000 | #Constraints: 29578
3600.02/3609.80 c #Conflicts: 2052000 | #Constraints: 30578
3600.02/3609.80 c #Conflicts: 2053000 | #Constraints: 31578
3600.02/3609.80 c #Conflicts: 2054000 | #Constraints: 32578
3600.02/3609.80 c #Conflicts: 2055000 | #Constraints: 33578
3600.02/3609.80 c #Conflicts: 2056000 | #Constraints: 34578
3600.02/3609.80 c #Conflicts: 2057000 | #Constraints: 35578
3600.02/3609.80 c #Conflicts: 2058000 | #Constraints: 36578
3600.02/3609.80 c #Conflicts: 2059000 | #Constraints: 37578
3600.02/3609.80 c #Conflicts: 2060000 | #Constraints: 38578
3600.02/3609.80 c #Conflicts: 2061000 | #Constraints: 39578
3600.02/3609.80 c #Conflicts: 2062000 | #Constraints: 40578
3600.02/3609.80 c #Conflicts: 2063000 | #Constraints: 41578
3600.02/3609.80 c #Conflicts: 2064000 | #Constraints: 42578
3600.02/3609.80 c #Conflicts: 2065000 | #Constraints: 43578
3600.02/3609.80 c #Conflicts: 2066000 | #Constraints: 44578
3600.02/3609.80 c #Conflicts: 2067000 | #Constraints: 45578
3600.02/3609.80 c #Conflicts: 2068000 | #Constraints: 46578
3600.02/3609.80 c #Conflicts: 2069000 | #Constraints: 47578
3600.02/3609.80 c #Conflicts: 2070000 | #Constraints: 48578
3600.02/3609.80 c #Conflicts: 2071000 | #Constraints: 49578
3600.02/3609.80 c #Conflicts: 2072000 | #Constraints: 50578
3600.02/3609.80 c #Conflicts: 2073000 | #Constraints: 51578
3600.02/3609.80 c #Conflicts: 2074000 | #Constraints: 52578
3600.02/3609.80 c #Conflicts: 2075000 | #Constraints: 53578
3600.02/3609.80 c #Conflicts: 2076000 | #Constraints: 54578
3600.02/3609.80 c #Conflicts: 2077000 | #Constraints: 55578
3600.02/3609.80 c Program interrupted by user.
3600.02/3609.80 c cpu time 3589.09 s
3600.02/3609.80 c deterministic time 436128210126 4.36e+11
3600.02/3609.80 c optimization time 78.487 s
3600.02/3609.80 c total solve time 3510.6 s
3600.02/3609.80 c core-guided solve time 3510.6 s
3600.02/3609.80 c propagation time 2835.06 s
3600.02/3609.80 c conflict analysis time 719.782 s
3600.02/3609.80 c propagations 251649492
3600.02/3609.80 c resolve steps 26594973
3600.02/3609.80 c decisions 6036530
3600.02/3609.80 c conflicts 2077092
3600.02/3609.80 c restarts 4091
3600.02/3609.80 c inprocessing phases 134
3600.02/3609.80 c input clauses 801
3600.02/3609.80 c input cardinalities 31
3600.02/3609.80 c input general constraints 192
3600.02/3609.80 c input average constraint length 8.64
3600.02/3609.80 c input average constraint degree 57.01
3600.02/3609.80 c learned clauses 436594
3600.02/3609.80 c learned cardinalities 8246
3600.02/3609.80 c learned general constraints 1632252
3600.02/3609.80 c learned average constraint length 134.43
3600.02/3609.80 c learned average constraint degree 8400622.67
3600.02/3609.80 c watched constraints 1275342
3600.02/3609.80 c counting constraints 357102
3600.02/3609.80 c gcd simplifications 228351
3600.02/3609.80 c detected cardinalities 1399
3600.02/3609.80 c weakened non-implied lits 86900286
3600.02/3609.80 c weakened non-implying lits 254581
3600.02/3609.80 c original variables 774
3600.02/3609.80 c clausal propagations 4400608
3600.02/3609.80 c cardinality propagations 6394514
3600.02/3609.80 c watched propagations 12470771
3600.02/3609.80 c counting propagations 226619482
3600.02/3609.80 c watch lookups 92020833507
3600.02/3609.80 c watch backjump lookups 85107387197
3600.02/3609.80 c watch checks 187799797659
3600.02/3609.80 c propagation checks 69268365775
3600.02/3609.80 c constraint additions 1414377394
3600.02/3609.80 c trail pops 259762571
3600.02/3609.80 c formula constraints 1024
3600.02/3609.80 c learned constraints 2077092
3600.02/3609.80 c bound constraints 0
3600.02/3609.80 c core-guided constraints 0
3600.02/3609.80 c encountered formula constraints 13872130
3600.02/3609.80 c encountered learned constraints 14799935
3600.02/3609.80 c encountered bound constraints 0
3600.02/3609.80 c encountered core-guided constraints 0
3600.02/3609.80 c LP total time 0 s
3600.02/3609.80 c LP solve time 0 s
3600.02/3609.80 c LP constraints added 0
3600.02/3609.80 c LP constraints removed 0
3600.02/3609.80 c LP pivots internal 0
3600.02/3609.80 c LP pivots root 0
3600.02/3609.80 c LP calls 0
3600.02/3609.80 c LP optimalities 0
3600.02/3609.80 c LP no pivot count 0
3600.02/3609.80 c LP infeasibilities 0
3600.02/3609.80 c LP valid Farkas constraints 0
3600.02/3609.80 c LP learned Farkas constraints 0
3600.02/3609.80 c LP basis resets 0
3600.02/3609.80 c LP cycling count 0
3600.02/3609.80 c LP singular count 0
3600.02/3609.80 c LP no primal count 0
3600.02/3609.80 c LP no farkas count 0
3600.02/3609.80 c LP other issue count 0
3600.02/3609.80 c LP Gomory cuts 0
3600.02/3609.80 c LP learned cuts 0
3600.02/3609.80 c LP deleted cuts 0
3600.02/3609.80 c LP encountered Gomory constraints 0
3600.02/3609.80 c LP encountered Farkas constraints 0
3600.02/3609.80 c LP encountered learned Farkas constraints 0
3600.02/3609.80 c CG auxiliary variables introduced 0
3600.02/3609.80 c CG solutions found 0
3600.02/3609.80 c CG cores constructed 0
3600.02/3609.80 c CG core cardinality constraints returned 0
3600.02/3609.80 c CG unit cores 0
3600.02/3609.80 c CG single cores 0
3600.02/3609.80 c CG blocks removed during cardinality reduction 0
3600.02/3609.80 c CG first core best 0
3600.02/3609.80 c CG decision core best 0
3600.02/3609.80 c CG core reduction tie 0
3600.02/3609.80 c CG core degree average 0.00
3600.02/3609.80 c CG core slack average 0.00
3600.02/3609.80 c CG exhausted 0
3600.02/3609.80 c CG exhaust time 0 s
3600.02/3609.80 c CG trimmed 0
3600.02/3609.80 c CG trim time 0 s
3600.02/3609.80 c CG minimized 0
3600.02/3609.80 c CG minimize time 0 s
3600.02/3609.80 c CG am1 prop time 0 s
3600.02/3609.80 c CG # am1s reformulated 0
3600.02/3609.80 c CG lower bound derived from am1s 0
3600.02/3609.80 c CG # clausal cores 0
3600.02/3609.80 c CG # cardinality cores 0
3600.02/3609.80 c CG # pb cores 0
3600.02/3609.80 c CG # pb reforms 0
3600.02/3609.80 c CG # cores discarded because of pb reform 0
3600.02/3609.80 d LOWERBOUND 0
3600.02/3609.80 d NCORES 0
3600.02/3609.80 d NPBCORES 0
3600.02/3609.80 d NPBREFORM 0
3600.02/3609.80 d NTRIMMED 0
3600.02/3609.80 d NEXHAUSTED 0
3600.02/3609.80 d NAM1S 0
3600.02/3609.80 d AM1LB 0
3600.02/3609.80 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (45812 MiB free)
memory of node 1: 64465 MiB (64002 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499346-1751410898/watcher-4499346-1751410898 -o /tmp/evaluation-result-4499346-1751410898/solver-4499346-1751410898 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751407286-58221 --watchdog 3760 pb-oll-rs HOME/instance-4499346-1751410898.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=58721, runsolver pid=58716
[startup+0.100056 s]*
/proc/loadavg: 4.12 4.10 4.09 4/262 58722
/proc/meminfo: memFree=114251604/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=20636 memory=8592 CPUtime=0.08 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 514 0 0 0 8 0 0 0 20 0 1 0 56767339 21131264 2148 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 5159 2148 1312 243 0 1408 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 20636 KiB
Current children cumulated memory: 8592 KiB
[startup+0.204408 s]*
/proc/loadavg: 4.11 4.09 4.09 4/262 58734
/proc/meminfo: memFree=116013484/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=21028 memory=8976 CPUtime=0.18 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 618 0 0 0 17 1 0 0 20 0 1 0 56767339 21532672 2244 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 5257 2244 1312 243 0 1506 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 21028 KiB
Current children cumulated memory: 8976 KiB
[startup+0.304538 s]*
/proc/loadavg: 4.11 4.09 4.09 5/260 58740
/proc/meminfo: memFree=118263480/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=21164 memory=9104 CPUtime=0.28 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 642 0 0 0 27 1 0 0 20 0 1 0 56767339 21671936 2276 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 5291 2276 1312 243 0 1540 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 21164 KiB
Current children cumulated memory: 9104 KiB
[startup+0.70011 s]
/proc/loadavg: 4.11 4.09 4.09 4/262 58753
/proc/meminfo: memFree=129268856/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=21792 memory=9744 CPUtime=0.67 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 799 0 0 0 65 2 0 0 20 0 1 0 56767339 22315008 2436 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 5448 2436 1312 243 0 1697 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 21792 KiB
Current children cumulated memory: 9744 KiB
[startup+1.50012 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 58767
/proc/meminfo: memFree=129267612/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=23284 memory=13076 CPUtime=1.46 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 1131 0 0 0 143 3 0 0 20 0 1 0 56767339 23842816 3269 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 5821 3269 1312 243 0 2070 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 23284 KiB
Current children cumulated memory: 13076 KiB
[startup+3.10512 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 58798
/proc/meminfo: memFree=129272796/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=24072 memory=13844 CPUtime=3.06 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 1329 0 0 0 301 5 0 0 20 0 1 0 56767339 24649728 3461 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 6018 3461 1312 243 0 2267 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 24072 KiB
Current children cumulated memory: 13844 KiB
[startup+6.30013 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 58843
/proc/meminfo: memFree=129269808/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=28392 memory=16660 CPUtime=6.25 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 2046 0 0 0 616 9 0 0 20 0 1 0 56767339 29073408 4165 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 7098 4165 1312 243 0 3347 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 16660 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 58888
/proc/meminfo: memFree=129264396/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=35092 memory=20244 CPUtime=12.63 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 2922 0 0 0 1248 15 0 0 20 0 1 0 56767339 35934208 5061 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 8773 5061 1312 243 0 5022 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 35092 KiB
Current children cumulated memory: 20244 KiB
[startup+25.5001 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 58933
/proc/meminfo: memFree=129252804/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=35572 memory=21140 CPUtime=25.39 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 3162 0 0 0 2508 31 0 0 20 0 1 0 56767339 36425728 5285 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 8893 5285 1312 243 0 5142 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 35572 KiB
Current children cumulated memory: 21140 KiB
[startup+51.1053 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 58934
/proc/meminfo: memFree=129218780/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=40084 memory=28488 CPUtime=50.92 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 4623 0 0 0 5035 57 0 0 20 0 1 0 56767339 41046016 7122 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 10021 7122 1312 243 0 6270 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 28488 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 58936
/proc/meminfo: memFree=129191212/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=50324 memory=37096 CPUtime=101.95 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 5948 0 0 0 10096 99 0 0 20 0 1 0 56767339 51531776 9274 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 12581 9274 1312 243 0 8830 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 50324 KiB
Current children cumulated memory: 37096 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 58942
/proc/meminfo: memFree=129164904/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=53500 memory=40548 CPUtime=161.75 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 7015 0 0 0 16031 144 0 0 20 0 1 0 56767339 54784000 10137 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 13375 10137 1312 243 0 9624 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 53500 KiB
Current children cumulated memory: 40548 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 58988
/proc/meminfo: memFree=129163088/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=54964 memory=42980 CPUtime=221.55 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 7816 0 0 0 21972 183 0 0 20 0 1 0 56767339 56283136 10745 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 13741 10745 1312 243 0 9990 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 54964 KiB
Current children cumulated memory: 42980 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 58989
/proc/meminfo: memFree=129100200/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=67520 memory=45668 CPUtime=281.35 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 8666 0 0 0 27912 223 0 0 20 0 1 0 56767339 69140480 11417 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 16880 11417 1312 243 0 13129 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 67520 KiB
Current children cumulated memory: 45668 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 58991
/proc/meminfo: memFree=129079508/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=73688 memory=59028 CPUtime=341.14 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 10036 0 0 0 33868 246 0 0 20 0 1 0 56767339 75456512 14757 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 18422 14757 1312 243 0 14671 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 73688 KiB
Current children cumulated memory: 59028 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 58993
/proc/meminfo: memFree=129070684/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=74656 memory=59924 CPUtime=400.94 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 10354 0 0 0 39817 277 0 0 20 0 1 0 56767339 76447744 14981 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 18664 14981 1312 243 0 14913 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 74656 KiB
Current children cumulated memory: 59924 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 59000
/proc/meminfo: memFree=129049652/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=75168 memory=63508 CPUtime=460.76 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 10634 0 0 0 45766 310 0 0 20 0 1 0 56767339 76972032 15877 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 18792 15877 1312 243 0 15041 0
Current children cumulated CPU time: 460.76 s
################
# More data... #
################
Current children cumulated memory: 103600 KiB
[startup+2862.3 s]
/proc/loadavg: 2.07 2.09 2.38 3/253 59461
/proc/meminfo: memFree=129603552/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=118536 memory=103604 CPUtime=2854.52 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 21766 0 0 0 284519 933 0 0 20 0 1 0 56767339 121380864 25901 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 29634 25901 1312 243 0 25883 0
Current children cumulated CPU time: 2854.52 s
Current children cumulated vsize: 118536 KiB
Current children cumulated memory: 103604 KiB
[startup+2922.3 s]
/proc/loadavg: 2.06 2.08 2.36 3/254 59468
/proc/meminfo: memFree=129602832/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=118536 memory=103604 CPUtime=2914.36 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 21931 0 0 0 290489 947 0 0 20 0 1 0 56767339 121380864 25901 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 29634 25901 1312 243 0 25883 0
Current children cumulated CPU time: 2914.36 s
Current children cumulated vsize: 118536 KiB
Current children cumulated memory: 103604 KiB
[startup+2982.3 s]
/proc/loadavg: 2.06 2.08 2.34 3/253 59471
/proc/meminfo: memFree=129602152/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=118728 memory=103776 CPUtime=2974.2 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 22140 0 0 0 296461 959 0 0 20 0 1 0 56767339 121577472 25944 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 29682 25944 1312 243 0 25931 0
Current children cumulated CPU time: 2974.2 s
Current children cumulated vsize: 118728 KiB
Current children cumulated memory: 103776 KiB
[startup+3042.3 s]
/proc/loadavg: 2.13 2.09 2.33 3/253 59474
/proc/meminfo: memFree=129599048/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=118984 memory=103776 CPUtime=3034.05 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 22147 0 0 0 302433 972 0 0 20 0 1 0 56767339 121839616 25944 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 29746 25944 1312 243 0 25995 0
Current children cumulated CPU time: 3034.05 s
Current children cumulated vsize: 118984 KiB
Current children cumulated memory: 103776 KiB
[startup+3102.3 s]
/proc/loadavg: 2.10 2.09 2.31 3/252 59476
/proc/meminfo: memFree=129597644/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=119368 memory=104148 CPUtime=3093.89 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 22399 0 0 0 308405 984 0 0 20 0 1 0 56767339 122232832 26037 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 29842 26037 1312 243 0 26091 0
Current children cumulated CPU time: 3093.89 s
Current children cumulated vsize: 119368 KiB
Current children cumulated memory: 104148 KiB
[startup+3162.3 s]
/proc/loadavg: 2.16 2.10 2.30 3/253 59479
/proc/meminfo: memFree=129597584/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=119624 memory=104348 CPUtime=3153.73 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 22618 0 0 0 314377 996 0 0 20 0 1 0 56767339 122494976 26087 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 29906 26087 1312 243 0 26155 0
Current children cumulated CPU time: 3153.73 s
Current children cumulated vsize: 119624 KiB
Current children cumulated memory: 104348 KiB
[startup+3222.3 s]
/proc/loadavg: 2.12 2.10 2.28 3/253 59484
/proc/meminfo: memFree=129593936/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=119624 memory=104992 CPUtime=3213.57 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 22785 0 0 0 320349 1008 0 0 20 0 1 0 56767339 122494976 26248 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 29906 26248 1312 243 0 26155 0
Current children cumulated CPU time: 3213.57 s
Current children cumulated vsize: 119624 KiB
Current children cumulated memory: 104992 KiB
[startup+3282.3 s]
/proc/loadavg: 2.09 2.09 2.27 3/253 59486
/proc/meminfo: memFree=129593060/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=120360 memory=109440 CPUtime=3273.42 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 22876 0 0 0 326321 1021 0 0 20 0 1 0 56767339 123248640 27360 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 30090 27360 1312 243 0 26339 0
Current children cumulated CPU time: 3273.42 s
Current children cumulated vsize: 120360 KiB
Current children cumulated memory: 109440 KiB
[startup+3342.3 s]
/proc/loadavg: 2.15 2.10 2.26 3/253 59488
/proc/meminfo: memFree=129591108/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=151948 memory=112308 CPUtime=3333.25 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 23181 0 0 0 332288 1037 0 0 20 0 1 0 56767339 155594752 28077 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 37987 28077 1312 243 0 34236 0
Current children cumulated CPU time: 3333.25 s
Current children cumulated vsize: 151948 KiB
Current children cumulated memory: 112308 KiB
[startup+3402.3 s]
/proc/loadavg: 2.11 2.10 2.25 3/253 59490
/proc/meminfo: memFree=129590964/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=151948 memory=112312 CPUtime=3393.09 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 23323 0 0 0 338254 1055 0 0 20 0 1 0 56767339 155594752 28078 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 37987 28078 1312 243 0 34236 0
Current children cumulated CPU time: 3393.09 s
Current children cumulated vsize: 151948 KiB
Current children cumulated memory: 112312 KiB
[startup+3462.3 s]
/proc/loadavg: 2.08 2.09 2.24 3/253 59493
/proc/meminfo: memFree=129584416/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=151948 memory=112952 CPUtime=3452.91 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 23481 0 0 0 344224 1067 0 0 20 0 1 0 56767339 155594752 28238 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 37987 28238 1312 243 0 34236 0
Current children cumulated CPU time: 3452.91 s
Current children cumulated vsize: 151948 KiB
Current children cumulated memory: 112952 KiB
[startup+3522.3 s]
/proc/loadavg: 2.13 2.10 2.23 3/253 59499
/proc/meminfo: memFree=129580672/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=151948 memory=112952 CPUtime=3512.75 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 23481 0 0 0 350195 1080 0 0 20 0 1 0 56767339 155594752 28238 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 37987 28238 1312 243 0 34236 0
Current children cumulated CPU time: 3512.75 s
Current children cumulated vsize: 151948 KiB
Current children cumulated memory: 112952 KiB
[startup+3582.3 s]
/proc/loadavg: 2.10 2.09 2.22 3/253 59516
/proc/meminfo: memFree=129580184/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=151948 memory=112952 CPUtime=3572.59 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 23622 0 0 0 356169 1090 0 0 20 0 1 0 56767339 155594752 28238 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 37987 28238 1312 243 0 34236 0
Current children cumulated CPU time: 3572.59 s
Current children cumulated vsize: 151948 KiB
Current children cumulated memory: 112952 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 2.13 2.10 2.22 3/253 59517
/proc/meminfo: memFree=129580200/131249996 swapFree=33006296/33010684
[pid=58721] ppid=58716 vsize=152332 memory=113080 CPUtime=3600.02 cores=5,7
/proc/58721/stat : 58721 (pb-oll-rs) R 58716 58721 58208 0 -1 4194304 23656 0 0 0 358909 1093 0 0 20 0 1 0 56767339 155987968 28270 18446744073709551615 4218880 5211445 140721128978512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18690048 140721128987036 140721128987113 140721128987113 140721128992715 0
/proc/58721/statm: 38083 28270 1312 243 0 34332 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 152332 KiB
Current children cumulated memory: 113080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 58721 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.09 s, system=10.9366 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.8
CPU time (s): 3600.03
CPU user time (s): 3589.09
CPU system time (s): 10.9366
CPU usage (%): 99.7293
Max. virtual memory (cumulated for all children) (KiB): 152496
Max. memory (cumulated for all children) (KiB): 113080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.09
system time used= 10.9366
maximum resident set size= 113464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23672
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= 134
involuntary context switches= 1690
# summary of solver processes directly reported to runsolver:
# pid: 58721
# total CPU time (s): 3600.03
# total CPU user time (s): 3589.09
# total CPU system time (s): 10.9366
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.50801 second user time and 15.2229 second system time
The end
Begin job on nodeC015 at 2025-07-02 01:01:39
IDJOB=4499346
IDBENCH=148776
IDSOLVER=3345
FILE ID=nodeC015/4499346-1751410898
RUNJOBID= nodeC015-1751407286-58221
SLURM_JOB_ID= 9598303
Free space on /tmp= 432728 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx30.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499346-1751410898/watcher-4499346-1751410898 -o /tmp/evaluation-result-4499346-1751410898/solver-4499346-1751410898 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751407286-58221 --watchdog 3760 pb-oll-rs HOME/instance-4499346-1751410898.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef
RANDOM SEED=201664540
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.040
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2961.432
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.034
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.124
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.815
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.103
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.151
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.095
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 111122680 kB
MemAvailable: 111116788 kB
Buffers: 1508 kB
Cached: 779328 kB
SwapCached: 3880 kB
Active: 18872340 kB
Inactive: 542132 kB
Active(anon): 18598940 kB
Inactive(anon): 48868 kB
Active(file): 273400 kB
Inactive(file): 493264 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2440 kB
Writeback: 0 kB
AnonPages: 18614712 kB
Mapped: 102752 kB
Shmem: 14152 kB
KReclaimable: 133368 kB
Slab: 222192 kB
SReclaimable: 133368 kB
SUnreclaim: 88824 kB
KernelStack: 4204 kB
PageTables: 43052 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 21989576 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2936832 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432724 MiB
End job on nodeC015 at 2025-07-02 02:01:49