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