0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.03 c [STEP] solving
0.00/0.03 c #variables 1343 #constraints 2405
0.00/0.03 c SMALL=int, LARGE=long long
0.00/0.03 c bounds - >= 4412 @ 0.012563
0.00/0.03 c stratification level: 2008
0.00/0.04 c bounds 24447 >= 4412 @ 0.013327
0.00/0.04 c stratification level: 1961
22.32/22.43 c #Conflicts: 1000 | #Constraints: 3405
22.32/22.43 c #Conflicts: 2000 | #Constraints: 4405
22.32/22.43 c INPROCESSING
22.32/22.43 c GARBAGE COLLECT
22.32/22.43 c #Conflicts: 3000 | #Constraints: 4406
22.32/22.43 c #Conflicts: 4000 | #Constraints: 5406
22.32/22.43 c INPROCESSING
22.32/22.43 c GARBAGE COLLECT
22.32/22.43 c #Conflicts: 5000 | #Constraints: 4813
22.32/22.43 c #Conflicts: 6000 | #Constraints: 5813
22.32/22.43 c INPROCESSING
22.32/22.43 c GARBAGE COLLECT
22.32/22.43 c #Conflicts: 7000 | #Constraints: 4831
22.32/22.43 c #Conflicts: 8000 | #Constraints: 5831
22.32/22.43 c #Conflicts: 9000 | #Constraints: 6831
22.32/22.43 c INPROCESSING
22.32/22.43 c GARBAGE COLLECT
22.32/22.43 c #Conflicts: 10000 | #Constraints: 5539
22.32/22.43 c #Conflicts: 11000 | #Constraints: 6539
22.32/22.43 c #Conflicts: 12000 | #Constraints: 7539
22.32/22.43 c INPROCESSING
22.32/22.43 c GARBAGE COLLECT
22.32/22.43 c #Conflicts: 13000 | #Constraints: 5977
22.32/22.43 c #Conflicts: 14000 | #Constraints: 6977
22.32/22.43 c #Conflicts: 15000 | #Constraints: 7977
22.32/22.43 c INPROCESSING
22.32/22.43 c GARBAGE COLLECT
22.32/22.43 c #Conflicts: 16000 | #Constraints: 6221
22.32/22.43 c #Conflicts: 17000 | #Constraints: 7221
22.32/22.43 c #Conflicts: 18000 | #Constraints: 8221
22.32/22.43 c INPROCESSING
22.32/22.43 c GARBAGE COLLECT
22.32/22.43 c #Conflicts: 19000 | #Constraints: 6227
22.32/22.43 c #Conflicts: 20000 | #Constraints: 7227
22.32/22.43 c #Conflicts: 21000 | #Constraints: 8227
22.32/22.43 c INPROCESSING
22.32/22.43 c GARBAGE COLLECT
22.32/22.43 c #Conflicts: 22000 | #Constraints: 6029
22.32/22.43 c #Conflicts: 23000 | #Constraints: 7029
22.32/22.43 c #Conflicts: 24000 | #Constraints: 8029
22.32/22.43 c #Conflicts: 25000 | #Constraints: 9029
22.32/22.43 c INPROCESSING
22.32/22.43 c GARBAGE COLLECT
22.32/22.43 c #Conflicts: 26000 | #Constraints: 6625
22.32/22.43 c #Conflicts: 27000 | #Constraints: 7625
22.32/22.43 c #Conflicts: 28000 | #Constraints: 8625
22.32/22.43 c #Conflicts: 29000 | #Constraints: 9625
22.32/22.43 c INPROCESSING
22.32/22.43 c GARBAGE COLLECT
22.32/22.43 c #Conflicts: 30000 | #Constraints: 7022
22.32/22.43 c #Conflicts: 31000 | #Constraints: 8022
22.32/22.43 c #Conflicts: 32000 | #Constraints: 9022
22.32/22.43 c #Conflicts: 33000 | #Constraints: 10022
22.32/22.43 c INPROCESSING
22.32/22.43 c GARBAGE COLLECT
22.32/22.43 c #Conflicts: 34000 | #Constraints: 7220
22.32/22.43 c #Conflicts: 35000 | #Constraints: 8220
22.32/22.43 c #Conflicts: 36000 | #Constraints: 9220
22.32/22.43 c #Conflicts: 37000 | #Constraints: 10220
22.32/22.43 c INPROCESSING
22.32/22.43 c GARBAGE COLLECT
22.32/22.43 c #Conflicts: 38000 | #Constraints: 7226
22.32/22.43 c #Conflicts: 39000 | #Constraints: 8226
22.32/22.43 c #Conflicts: 40000 | #Constraints: 9226
22.32/22.43 c #Conflicts: 41000 | #Constraints: 10226
22.32/22.43 c INPROCESSING
22.32/22.43 c GARBAGE COLLECT
22.32/22.43 c #Conflicts: 42000 | #Constraints: 7031
22.32/22.43 c #Conflicts: 43000 | #Constraints: 8031
22.32/22.43 c #Conflicts: 44000 | #Constraints: 9031
22.32/22.43 c #Conflicts: 45000 | #Constraints: 10031
22.32/22.43 c #Conflicts: 46000 | #Constraints: 11031
22.32/22.43 c INPROCESSING
22.32/22.43 c GARBAGE COLLECT
22.32/22.43 c #Conflicts: 47000 | #Constraints: 7626
22.32/22.43 c #Conflicts: 48000 | #Constraints: 8626
22.32/22.43 c #Conflicts: 49000 | #Constraints: 9626
22.32/22.43 c #Conflicts: 50000 | #Constraints: 10626
22.32/22.43 c #Conflicts: 51000 | #Constraints: 11626
22.32/22.43 c INPROCESSING
22.32/22.43 c GARBAGE COLLECT
22.32/22.43 c #Conflicts: 52000 | #Constraints: 8026
22.32/22.43 c #Conflicts: 53000 | #Constraints: 9026
22.32/22.43 c #Conflicts: 54000 | #Constraints: 10026
22.32/22.43 c #Conflicts: 55000 | #Constraints: 11026
22.32/22.43 c #Conflicts: 56000 | #Constraints: 12026
22.32/22.43 c INPROCESSING
22.32/22.43 c GARBAGE COLLECT
22.32/22.43 c #Conflicts: 57000 | #Constraints: 8225
22.32/22.43 c #Conflicts: 58000 | #Constraints: 9225
22.32/22.43 c #Conflicts: 59000 | #Constraints: 10225
22.32/22.43 c #Conflicts: 60000 | #Constraints: 11225
22.32/22.43 c #Conflicts: 61000 | #Constraints: 12225
22.32/22.43 c INPROCESSING
22.32/22.43 c GARBAGE COLLECT
22.32/22.43 c #Conflicts: 62000 | #Constraints: 8233
22.32/22.43 c #Conflicts: 63000 | #Constraints: 9233
22.32/22.43 c #Conflicts: 64000 | #Constraints: 10233
22.32/22.43 c #Conflicts: 65000 | #Constraints: 11233
22.32/22.43 c #Conflicts: 66000 | #Constraints: 12233
22.32/22.43 c INPROCESSING
22.32/22.43 c GARBAGE COLLECT
22.32/22.43 c #Conflicts: 67000 | #Constraints: 8035
22.32/22.43 c #Conflicts: 68000 | #Constraints: 9035
51.74/51.99 c #Conflicts: 69000 | #Constraints: 10035
51.74/51.99 c #Conflicts: 70000 | #Constraints: 11035
51.74/51.99 c #Conflicts: 71000 | #Constraints: 12035
51.74/51.99 c #Conflicts: 72000 | #Constraints: 13035
51.74/51.99 c INPROCESSING
51.74/51.99 c GARBAGE COLLECT
51.74/51.99 c #Conflicts: 73000 | #Constraints: 8632
51.74/51.99 c #Conflicts: 74000 | #Constraints: 9632
51.74/51.99 c #Conflicts: 75000 | #Constraints: 10632
51.74/51.99 c #Conflicts: 76000 | #Constraints: 11632
51.74/51.99 c #Conflicts: 77000 | #Constraints: 12632
51.74/51.99 c #Conflicts: 78000 | #Constraints: 13632
51.74/51.99 c INPROCESSING
51.74/51.99 c GARBAGE COLLECT
51.74/51.99 c #Conflicts: 79000 | #Constraints: 9027
51.74/51.99 c #Conflicts: 80000 | #Constraints: 10027
51.74/51.99 c #Conflicts: 81000 | #Constraints: 11027
51.74/51.99 c #Conflicts: 82000 | #Constraints: 12027
51.74/51.99 c #Conflicts: 83000 | #Constraints: 13027
51.74/51.99 c #Conflicts: 84000 | #Constraints: 14027
51.74/51.99 c INPROCESSING
51.74/51.99 c GARBAGE COLLECT
51.74/51.99 c #Conflicts: 85000 | #Constraints: 9230
51.74/51.99 c #Conflicts: 86000 | #Constraints: 10230
51.74/51.99 c #Conflicts: 87000 | #Constraints: 11230
51.74/51.99 c #Conflicts: 88000 | #Constraints: 12230
51.74/51.99 c #Conflicts: 89000 | #Constraints: 13230
51.74/51.99 c #Conflicts: 90000 | #Constraints: 14230
51.74/51.99 c INPROCESSING
51.74/51.99 c GARBAGE COLLECT
51.74/51.99 c #Conflicts: 91000 | #Constraints: 9248
51.74/51.99 c #Conflicts: 92000 | #Constraints: 10248
51.74/51.99 c #Conflicts: 93000 | #Constraints: 11248
51.74/51.99 c #Conflicts: 94000 | #Constraints: 12248
51.74/51.99 c #Conflicts: 95000 | #Constraints: 13248
51.74/51.99 c #Conflicts: 96000 | #Constraints: 14248
51.74/51.99 c INPROCESSING
51.74/51.99 c GARBAGE COLLECT
51.74/51.99 c #Conflicts: 97000 | #Constraints: 9057
51.74/51.99 c #Conflicts: 98000 | #Constraints: 10057
51.74/51.99 c #Conflicts: 99000 | #Constraints: 11057
51.74/51.99 c #Conflicts: 100000 | #Constraints: 12057
51.74/51.99 c #Conflicts: 101000 | #Constraints: 13057
51.74/51.99 c #Conflicts: 102000 | #Constraints: 14057
51.74/51.99 c #Conflicts: 103000 | #Constraints: 15057
51.74/51.99 c INPROCESSING
51.74/51.99 c GARBAGE COLLECT
51.74/51.99 c #Conflicts: 104000 | #Constraints: 9646
51.74/51.99 c #Conflicts: 105000 | #Constraints: 10646
51.74/51.99 c #Conflicts: 106000 | #Constraints: 11646
51.74/51.99 c #Conflicts: 107000 | #Constraints: 12646
51.74/51.99 c #Conflicts: 108000 | #Constraints: 13646
51.74/51.99 c #Conflicts: 109000 | #Constraints: 14646
51.74/51.99 c #Conflicts: 110000 | #Constraints: 15646
51.74/51.99 c INPROCESSING
51.74/51.99 c GARBAGE COLLECT
51.74/51.99 c #Conflicts: 111000 | #Constraints: 10047
51.74/51.99 c #Conflicts: 112000 | #Constraints: 11047
51.74/51.99 c #Conflicts: 113000 | #Constraints: 12047
51.74/51.99 c #Conflicts: 114000 | #Constraints: 13047
51.74/51.99 c #Conflicts: 115000 | #Constraints: 14047
51.74/51.99 c #Conflicts: 116000 | #Constraints: 15047
51.74/51.99 c #Conflicts: 117000 | #Constraints: 16047
51.74/51.99 c INPROCESSING
51.74/51.99 c GARBAGE COLLECT
51.74/51.99 c #Conflicts: 118000 | #Constraints: 10239
51.74/51.99 c #Conflicts: 119000 | #Constraints: 11239
51.74/51.99 c #Conflicts: 120000 | #Constraints: 12239
51.74/51.99 c #Conflicts: 121000 | #Constraints: 13239
51.74/51.99 c #Conflicts: 122000 | #Constraints: 14239
51.74/51.99 c #Conflicts: 123000 | #Constraints: 15239
51.74/51.99 c #Conflicts: 124000 | #Constraints: 16239
51.74/51.99 c INPROCESSING
51.74/51.99 c GARBAGE COLLECT
51.74/51.99 c #Conflicts: 125000 | #Constraints: 10235
51.74/51.99 c #Conflicts: 126000 | #Constraints: 11235
51.74/51.99 c #Conflicts: 127000 | #Constraints: 12235
51.74/51.99 c #Conflicts: 128000 | #Constraints: 13235
51.74/51.99 c #Conflicts: 129000 | #Constraints: 14235
51.74/51.99 c #Conflicts: 130000 | #Constraints: 15235
51.74/51.99 c #Conflicts: 131000 | #Constraints: 16235
51.74/51.99 c INPROCESSING
51.74/51.99 c GARBAGE COLLECT
51.74/51.99 c #Conflicts: 132000 | #Constraints: 10040
51.74/51.99 c #Conflicts: 133000 | #Constraints: 11040
51.74/51.99 c #Conflicts: 134000 | #Constraints: 12040
51.74/51.99 c #Conflicts: 135000 | #Constraints: 13040
51.74/51.99 c #Conflicts: 136000 | #Constraints: 14040
51.74/51.99 c #Conflicts: 137000 | #Constraints: 15040
51.74/51.99 c #Conflicts: 138000 | #Constraints: 16040
51.74/51.99 c #Conflicts: 139000 | #Constraints: 17040
51.74/51.99 c INPROCESSING
51.74/51.99 c GARBAGE COLLECT
51.74/51.99 c #Conflicts: 140000 | #Constraints: 10654
78.88/79.11 c #Conflicts: 141000 | #Constraints: 11654
78.88/79.11 c #Conflicts: 142000 | #Constraints: 12654
78.88/79.11 c #Conflicts: 143000 | #Constraints: 13654
78.88/79.11 c #Conflicts: 144000 | #Constraints: 14654
78.88/79.11 c #Conflicts: 145000 | #Constraints: 15654
78.88/79.11 c #Conflicts: 146000 | #Constraints: 16654
78.88/79.11 c #Conflicts: 147000 | #Constraints: 17654
78.88/79.11 c INPROCESSING
78.88/79.11 c GARBAGE COLLECT
78.88/79.11 c #Conflicts: 148000 | #Constraints: 11040
78.88/79.11 c #Conflicts: 149000 | #Constraints: 12040
78.88/79.11 c #Conflicts: 150000 | #Constraints: 13040
78.88/79.11 c #Conflicts: 151000 | #Constraints: 14040
78.88/79.11 c #Conflicts: 152000 | #Constraints: 15040
78.88/79.11 c #Conflicts: 153000 | #Constraints: 16040
78.88/79.11 c #Conflicts: 154000 | #Constraints: 17040
78.88/79.11 c #Conflicts: 155000 | #Constraints: 18040
78.88/79.11 c INPROCESSING
78.88/79.11 c GARBAGE COLLECT
78.88/79.11 c #Conflicts: 156000 | #Constraints: 11280
78.88/79.11 c #Conflicts: 157000 | #Constraints: 12280
78.88/79.11 c #Conflicts: 158000 | #Constraints: 13280
78.88/79.11 c #Conflicts: 159000 | #Constraints: 14280
78.88/79.11 c #Conflicts: 160000 | #Constraints: 15280
78.88/79.11 c #Conflicts: 161000 | #Constraints: 16280
78.88/79.11 c #Conflicts: 162000 | #Constraints: 17280
78.88/79.11 c #Conflicts: 163000 | #Constraints: 18280
78.88/79.11 c INPROCESSING
78.88/79.11 c GARBAGE COLLECT
78.88/79.11 c #Conflicts: 164000 | #Constraints: 11252
78.88/79.11 c #Conflicts: 165000 | #Constraints: 12252
78.88/79.11 c #Conflicts: 166000 | #Constraints: 13252
78.88/79.11 c #Conflicts: 167000 | #Constraints: 14252
78.88/79.11 c #Conflicts: 168000 | #Constraints: 15252
78.88/79.11 c #Conflicts: 169000 | #Constraints: 16252
78.88/79.11 c #Conflicts: 170000 | #Constraints: 17252
78.88/79.11 c #Conflicts: 171000 | #Constraints: 18252
78.88/79.11 c INPROCESSING
78.88/79.11 c GARBAGE COLLECT
78.88/79.11 c #Conflicts: 172000 | #Constraints: 11064
78.88/79.11 c #Conflicts: 173000 | #Constraints: 12064
78.88/79.11 c #Conflicts: 174000 | #Constraints: 13064
78.88/79.11 c #Conflicts: 175000 | #Constraints: 14064
78.88/79.11 c #Conflicts: 176000 | #Constraints: 15064
78.88/79.11 c #Conflicts: 177000 | #Constraints: 16064
78.88/79.11 c #Conflicts: 178000 | #Constraints: 17064
78.88/79.11 c #Conflicts: 179000 | #Constraints: 18064
78.88/79.11 c #Conflicts: 180000 | #Constraints: 19064
78.88/79.11 c INPROCESSING
78.88/79.11 c GARBAGE COLLECT
78.88/79.11 c #Conflicts: 181000 | #Constraints: 11650
78.88/79.11 c #Conflicts: 182000 | #Constraints: 12650
78.88/79.11 c #Conflicts: 183000 | #Constraints: 13650
78.88/79.11 c #Conflicts: 184000 | #Constraints: 14650
78.88/79.11 c #Conflicts: 185000 | #Constraints: 15650
78.88/79.11 c bounds 24352 >= 4412 @ 76.2556
78.88/79.11 c stratification level: 1956
78.88/79.12 c bounds 24288 >= 4412 @ 76.2631
78.88/79.12 c stratification level: 1953
78.88/79.12 c bounds 24230 >= 4412 @ 76.2689
78.88/79.12 c stratification level: 1944
154.36/154.83 c #Conflicts: 186000 | #Constraints: 16653
154.36/154.83 c #Conflicts: 187000 | #Constraints: 17653
154.36/154.83 c #Conflicts: 188000 | #Constraints: 18653
154.36/154.83 c #Conflicts: 189000 | #Constraints: 19653
154.36/154.83 c INPROCESSING
154.36/154.83 c GARBAGE COLLECT
154.36/154.83 c #Conflicts: 190000 | #Constraints: 12055
154.36/154.83 c #Conflicts: 191000 | #Constraints: 13055
154.36/154.83 c #Conflicts: 192000 | #Constraints: 14055
154.36/154.83 c #Conflicts: 193000 | #Constraints: 15055
154.36/154.83 c #Conflicts: 194000 | #Constraints: 16055
154.36/154.83 c #Conflicts: 195000 | #Constraints: 17055
154.36/154.83 c #Conflicts: 196000 | #Constraints: 18055
154.36/154.83 c #Conflicts: 197000 | #Constraints: 19055
154.36/154.83 c #Conflicts: 198000 | #Constraints: 20055
154.36/154.83 c INPROCESSING
154.36/154.83 c GARBAGE COLLECT
154.36/154.83 c #Conflicts: 199000 | #Constraints: 12259
154.36/154.83 c #Conflicts: 200000 | #Constraints: 13259
154.36/154.83 c #Conflicts: 201000 | #Constraints: 14259
154.36/154.83 c #Conflicts: 202000 | #Constraints: 15259
154.36/154.83 c #Conflicts: 203000 | #Constraints: 16259
154.36/154.83 c #Conflicts: 204000 | #Constraints: 17259
154.36/154.83 c #Conflicts: 205000 | #Constraints: 18259
154.36/154.83 c #Conflicts: 206000 | #Constraints: 19259
154.36/154.83 c #Conflicts: 207000 | #Constraints: 20259
154.36/154.83 c INPROCESSING
154.36/154.83 c GARBAGE COLLECT
154.36/154.83 c #Conflicts: 208000 | #Constraints: 12266
154.36/154.83 c #Conflicts: 209000 | #Constraints: 13266
154.36/154.83 c #Conflicts: 210000 | #Constraints: 14266
154.36/154.83 c #Conflicts: 211000 | #Constraints: 15266
154.36/154.83 c #Conflicts: 212000 | #Constraints: 16266
154.36/154.83 c #Conflicts: 213000 | #Constraints: 17266
154.36/154.83 c #Conflicts: 214000 | #Constraints: 18266
154.36/154.83 c #Conflicts: 215000 | #Constraints: 19266
154.36/154.83 c #Conflicts: 216000 | #Constraints: 20266
154.36/154.83 c INPROCESSING
154.36/154.83 c GARBAGE COLLECT
154.36/154.83 c #Conflicts: 217000 | #Constraints: 12067
154.36/154.83 c #Conflicts: 218000 | #Constraints: 13067
154.36/154.83 c #Conflicts: 219000 | #Constraints: 14067
154.36/154.83 c #Conflicts: 220000 | #Constraints: 15067
154.36/154.83 c #Conflicts: 221000 | #Constraints: 16067
154.36/154.83 c #Conflicts: 222000 | #Constraints: 17067
154.36/154.83 c #Conflicts: 223000 | #Constraints: 18067
154.36/154.83 c #Conflicts: 224000 | #Constraints: 19067
154.36/154.83 c #Conflicts: 225000 | #Constraints: 20067
154.36/154.83 c #Conflicts: 226000 | #Constraints: 21067
154.36/154.83 c INPROCESSING
154.36/154.83 c GARBAGE COLLECT
154.36/154.83 c #Conflicts: 227000 | #Constraints: 12672
154.36/154.83 c #Conflicts: 228000 | #Constraints: 13672
154.36/154.83 c #Conflicts: 229000 | #Constraints: 14672
154.36/154.83 c #Conflicts: 230000 | #Constraints: 15672
154.36/154.83 c #Conflicts: 231000 | #Constraints: 16672
154.36/154.83 c #Conflicts: 232000 | #Constraints: 17672
154.36/154.83 c #Conflicts: 233000 | #Constraints: 18672
154.36/154.83 c #Conflicts: 234000 | #Constraints: 19672
154.36/154.83 c #Conflicts: 235000 | #Constraints: 20672
154.36/154.83 c #Conflicts: 236000 | #Constraints: 21672
154.36/154.83 c INPROCESSING
154.36/154.83 c GARBAGE COLLECT
154.36/154.83 c #Conflicts: 237000 | #Constraints: 13074
154.36/154.83 c #Conflicts: 238000 | #Constraints: 14074
154.36/154.83 c #Conflicts: 239000 | #Constraints: 15074
154.36/154.83 c #Conflicts: 240000 | #Constraints: 16074
154.36/154.83 c #Conflicts: 241000 | #Constraints: 17074
154.36/154.83 c #Conflicts: 242000 | #Constraints: 18074
154.36/154.83 c #Conflicts: 243000 | #Constraints: 19074
154.36/154.83 c #Conflicts: 244000 | #Constraints: 20074
154.36/154.83 c #Conflicts: 245000 | #Constraints: 21074
154.36/154.83 c #Conflicts: 246000 | #Constraints: 22074
154.36/154.83 c INPROCESSING
154.36/154.83 c GARBAGE COLLECT
154.36/154.83 c #Conflicts: 247000 | #Constraints: 13261
154.36/154.83 c #Conflicts: 248000 | #Constraints: 14261
154.36/154.83 c #Conflicts: 249000 | #Constraints: 15261
154.36/154.83 c #Conflicts: 250000 | #Constraints: 16261
154.36/154.83 c #Conflicts: 251000 | #Constraints: 17261
154.36/154.83 c #Conflicts: 252000 | #Constraints: 18261
154.36/154.83 c #Conflicts: 253000 | #Constraints: 19261
154.36/154.83 c #Conflicts: 254000 | #Constraints: 20261
154.36/154.83 c #Conflicts: 255000 | #Constraints: 21261
154.36/154.83 c #Conflicts: 256000 | #Constraints: 22261
154.36/154.83 c INPROCESSING
154.36/154.83 c GARBAGE COLLECT
154.36/154.83 c #Conflicts: 257000 | #Constraints: 13256
154.36/154.83 c #Conflicts: 258000 | #Constraints: 14256
154.36/154.83 c #Conflicts: 259000 | #Constraints: 15256
213.46/214.11 c #Conflicts: 260000 | #Constraints: 16256
213.46/214.11 c #Conflicts: 261000 | #Constraints: 17256
213.46/214.11 c #Conflicts: 262000 | #Constraints: 18256
213.46/214.11 c #Conflicts: 263000 | #Constraints: 19256
213.46/214.11 c #Conflicts: 264000 | #Constraints: 20256
213.46/214.11 c #Conflicts: 265000 | #Constraints: 21256
213.46/214.11 c #Conflicts: 266000 | #Constraints: 22256
213.46/214.11 c INPROCESSING
213.46/214.11 c GARBAGE COLLECT
213.46/214.11 c #Conflicts: 267000 | #Constraints: 13072
213.46/214.11 c #Conflicts: 268000 | #Constraints: 14072
213.46/214.11 c #Conflicts: 269000 | #Constraints: 15072
213.46/214.11 c #Conflicts: 270000 | #Constraints: 16072
213.46/214.11 c #Conflicts: 271000 | #Constraints: 17072
213.46/214.11 c #Conflicts: 272000 | #Constraints: 18072
213.46/214.11 c #Conflicts: 273000 | #Constraints: 19072
213.46/214.11 c #Conflicts: 274000 | #Constraints: 20072
213.46/214.11 c #Conflicts: 275000 | #Constraints: 21072
213.46/214.11 c #Conflicts: 276000 | #Constraints: 22072
213.46/214.11 c #Conflicts: 277000 | #Constraints: 23072
213.46/214.11 c INPROCESSING
213.46/214.11 c GARBAGE COLLECT
213.46/214.11 c #Conflicts: 278000 | #Constraints: 13677
213.46/214.11 c #Conflicts: 279000 | #Constraints: 14677
213.46/214.11 c #Conflicts: 280000 | #Constraints: 15677
213.46/214.11 c #Conflicts: 281000 | #Constraints: 16677
213.46/214.11 c #Conflicts: 282000 | #Constraints: 17677
213.46/214.11 c #Conflicts: 283000 | #Constraints: 18677
213.46/214.11 c #Conflicts: 284000 | #Constraints: 19677
213.46/214.11 c #Conflicts: 285000 | #Constraints: 20677
213.46/214.11 c #Conflicts: 286000 | #Constraints: 21677
213.46/214.11 c #Conflicts: 287000 | #Constraints: 22677
213.46/214.11 c #Conflicts: 288000 | #Constraints: 23677
213.46/214.11 c INPROCESSING
213.46/214.11 c GARBAGE COLLECT
213.46/214.11 c #Conflicts: 289000 | #Constraints: 14061
213.46/214.11 c #Conflicts: 290000 | #Constraints: 15061
213.46/214.11 c #Conflicts: 291000 | #Constraints: 16061
213.46/214.11 c #Conflicts: 292000 | #Constraints: 17061
213.46/214.11 c #Conflicts: 293000 | #Constraints: 18061
213.46/214.11 c #Conflicts: 294000 | #Constraints: 19061
213.46/214.11 c #Conflicts: 295000 | #Constraints: 20061
213.46/214.11 c #Conflicts: 296000 | #Constraints: 21061
213.46/214.11 c #Conflicts: 297000 | #Constraints: 22061
213.46/214.11 c #Conflicts: 298000 | #Constraints: 23061
213.46/214.11 c #Conflicts: 299000 | #Constraints: 24061
213.46/214.11 c INPROCESSING
213.46/214.11 c GARBAGE COLLECT
213.46/214.11 c #Conflicts: 300000 | #Constraints: 14284
213.46/214.11 c #Conflicts: 301000 | #Constraints: 15284
213.46/214.11 c #Conflicts: 302000 | #Constraints: 16284
213.46/214.11 c #Conflicts: 303000 | #Constraints: 17284
213.46/214.11 c #Conflicts: 304000 | #Constraints: 18284
213.46/214.11 c #Conflicts: 305000 | #Constraints: 19284
213.46/214.11 c #Conflicts: 306000 | #Constraints: 20284
213.46/214.11 c #Conflicts: 307000 | #Constraints: 21284
213.46/214.11 c #Conflicts: 308000 | #Constraints: 22284
213.46/214.11 c #Conflicts: 309000 | #Constraints: 23284
213.46/214.11 c #Conflicts: 310000 | #Constraints: 24284
213.46/214.11 c INPROCESSING
213.46/214.11 c GARBAGE COLLECT
213.46/214.11 c #Conflicts: 311000 | #Constraints: 14290
213.46/214.11 c #Conflicts: 312000 | #Constraints: 15290
213.46/214.11 c #Conflicts: 313000 | #Constraints: 16290
213.46/214.11 c #Conflicts: 314000 | #Constraints: 17290
213.46/214.11 c #Conflicts: 315000 | #Constraints: 18290
213.46/214.11 c #Conflicts: 316000 | #Constraints: 19290
213.46/214.11 c #Conflicts: 317000 | #Constraints: 20290
213.46/214.11 c #Conflicts: 318000 | #Constraints: 21290
213.46/214.11 c #Conflicts: 319000 | #Constraints: 22290
213.46/214.11 c #Conflicts: 320000 | #Constraints: 23290
213.46/214.11 c #Conflicts: 321000 | #Constraints: 24290
213.46/214.11 c INPROCESSING
213.46/214.11 c GARBAGE COLLECT
213.46/214.11 c #Conflicts: 322000 | #Constraints: 14075
213.46/214.11 c #Conflicts: 323000 | #Constraints: 15075
213.46/214.11 c #Conflicts: 324000 | #Constraints: 16075
213.46/214.11 c #Conflicts: 325000 | #Constraints: 17075
213.46/214.11 c #Conflicts: 326000 | #Constraints: 18075
213.46/214.11 c #Conflicts: 327000 | #Constraints: 19075
213.46/214.11 c #Conflicts: 328000 | #Constraints: 20075
213.46/214.11 c #Conflicts: 329000 | #Constraints: 21075
213.46/214.11 c #Conflicts: 330000 | #Constraints: 22075
213.46/214.11 c #Conflicts: 331000 | #Constraints: 23075
213.46/214.11 c #Conflicts: 332000 | #Constraints: 24075
213.46/214.11 c #Conflicts: 333000 | #Constraints: 25075
213.46/214.11 c INPROCESSING
213.46/214.11 c GARBAGE COLLECT
213.46/214.11 c #Conflicts: 334000 | #Constraints: 14672
244.04/244.84 c #Conflicts: 335000 | #Constraints: 15672
244.04/244.84 c #Conflicts: 336000 | #Constraints: 16672
244.04/244.84 c #Conflicts: 337000 | #Constraints: 17672
244.04/244.84 c #Conflicts: 338000 | #Constraints: 18672
244.04/244.84 c #Conflicts: 339000 | #Constraints: 19672
244.04/244.84 c #Conflicts: 340000 | #Constraints: 20672
244.04/244.84 c #Conflicts: 341000 | #Constraints: 21672
244.04/244.84 c #Conflicts: 342000 | #Constraints: 22672
244.04/244.84 c #Conflicts: 343000 | #Constraints: 23672
244.04/244.84 c #Conflicts: 344000 | #Constraints: 24672
244.04/244.84 c #Conflicts: 345000 | #Constraints: 25672
244.04/244.84 c INPROCESSING
244.04/244.84 c GARBAGE COLLECT
244.04/244.84 c #Conflicts: 346000 | #Constraints: 15098
244.04/244.84 c #Conflicts: 347000 | #Constraints: 16098
244.04/244.84 c #Conflicts: 348000 | #Constraints: 17098
244.04/244.84 c #Conflicts: 349000 | #Constraints: 18098
244.04/244.84 c #Conflicts: 350000 | #Constraints: 19098
244.04/244.84 c #Conflicts: 351000 | #Constraints: 20098
244.04/244.84 c #Conflicts: 352000 | #Constraints: 21098
244.04/244.84 c #Conflicts: 353000 | #Constraints: 22098
244.04/244.84 c #Conflicts: 354000 | #Constraints: 23098
244.04/244.84 c #Conflicts: 355000 | #Constraints: 24098
244.04/244.84 c #Conflicts: 356000 | #Constraints: 25098
244.04/244.84 c #Conflicts: 357000 | #Constraints: 26098
244.04/244.84 c INPROCESSING
244.04/244.84 c GARBAGE COLLECT
244.04/244.84 c #Conflicts: 358000 | #Constraints: 15283
244.04/244.84 c #Conflicts: 359000 | #Constraints: 16283
244.04/244.84 c #Conflicts: 360000 | #Constraints: 17283
244.04/244.84 c #Conflicts: 361000 | #Constraints: 18283
244.04/244.84 c #Conflicts: 362000 | #Constraints: 19283
244.04/244.84 c #Conflicts: 363000 | #Constraints: 20283
244.04/244.84 c #Conflicts: 364000 | #Constraints: 21283
244.04/244.84 c #Conflicts: 365000 | #Constraints: 22283
244.04/244.84 c #Conflicts: 366000 | #Constraints: 23283
244.04/244.84 c #Conflicts: 367000 | #Constraints: 24283
244.04/244.84 c #Conflicts: 368000 | #Constraints: 25283
244.04/244.84 c #Conflicts: 369000 | #Constraints: 26283
244.04/244.84 c INPROCESSING
244.04/244.84 c GARBAGE COLLECT
244.04/244.84 c #Conflicts: 370000 | #Constraints: 15294
244.04/244.84 c bounds 24100 >= 4412 @ 238.446
244.04/244.84 c stratification level: 1935
244.04/244.85 c bounds 24036 >= 4412 @ 238.45
244.04/244.85 c stratification level: 1932
244.04/244.85 c bounds 23990 >= 4412 @ 238.453
244.04/244.85 c stratification level: 1915
244.04/244.86 c bounds 23978 >= 4412 @ 238.459
244.04/244.86 c stratification level: 1906
305.73/306.71 c #Conflicts: 371000 | #Constraints: 16298
305.73/306.71 c #Conflicts: 372000 | #Constraints: 17298
305.73/306.71 c #Conflicts: 373000 | #Constraints: 18298
305.73/306.71 c #Conflicts: 374000 | #Constraints: 19298
305.73/306.71 c #Conflicts: 375000 | #Constraints: 20298
305.73/306.71 c #Conflicts: 376000 | #Constraints: 21298
305.73/306.71 c #Conflicts: 377000 | #Constraints: 22298
305.73/306.71 c #Conflicts: 378000 | #Constraints: 23298
305.73/306.71 c #Conflicts: 379000 | #Constraints: 24298
305.73/306.71 c #Conflicts: 380000 | #Constraints: 25298
305.73/306.71 c #Conflicts: 381000 | #Constraints: 26298
305.73/306.71 c INPROCESSING
305.73/306.71 c GARBAGE COLLECT
305.73/306.71 c #Conflicts: 382000 | #Constraints: 15102
305.73/306.71 c #Conflicts: 383000 | #Constraints: 16102
305.73/306.71 c #Conflicts: 384000 | #Constraints: 17102
305.73/306.71 c #Conflicts: 385000 | #Constraints: 18102
305.73/306.71 c #Conflicts: 386000 | #Constraints: 19102
305.73/306.71 c #Conflicts: 387000 | #Constraints: 20102
305.73/306.71 c #Conflicts: 388000 | #Constraints: 21102
305.73/306.71 c #Conflicts: 389000 | #Constraints: 22102
305.73/306.71 c #Conflicts: 390000 | #Constraints: 23102
305.73/306.71 c #Conflicts: 391000 | #Constraints: 24102
305.73/306.71 c #Conflicts: 392000 | #Constraints: 25102
305.73/306.71 c #Conflicts: 393000 | #Constraints: 26102
305.73/306.71 c #Conflicts: 394000 | #Constraints: 27102
305.73/306.71 c INPROCESSING
305.73/306.71 c GARBAGE COLLECT
305.73/306.71 c #Conflicts: 395000 | #Constraints: 15698
305.73/306.71 c #Conflicts: 396000 | #Constraints: 16698
305.73/306.71 c #Conflicts: 397000 | #Constraints: 17698
305.73/306.71 c #Conflicts: 398000 | #Constraints: 18698
305.73/306.71 c #Conflicts: 399000 | #Constraints: 19698
305.73/306.71 c #Conflicts: 400000 | #Constraints: 20698
305.73/306.71 c #Conflicts: 401000 | #Constraints: 21698
305.73/306.71 c #Conflicts: 402000 | #Constraints: 22698
305.73/306.71 c #Conflicts: 403000 | #Constraints: 23698
305.73/306.71 c #Conflicts: 404000 | #Constraints: 24698
305.73/306.71 c #Conflicts: 405000 | #Constraints: 25698
305.73/306.71 c #Conflicts: 406000 | #Constraints: 26698
305.73/306.71 c #Conflicts: 407000 | #Constraints: 27698
305.73/306.71 c INPROCESSING
305.73/306.71 c GARBAGE COLLECT
305.73/306.71 c #Conflicts: 408000 | #Constraints: 16102
305.73/306.71 c #Conflicts: 409000 | #Constraints: 17102
305.73/306.71 c #Conflicts: 410000 | #Constraints: 18102
305.73/306.71 c #Conflicts: 411000 | #Constraints: 19102
305.73/306.71 c #Conflicts: 412000 | #Constraints: 20102
305.73/306.71 c #Conflicts: 413000 | #Constraints: 21102
305.73/306.71 c #Conflicts: 414000 | #Constraints: 22102
305.73/306.71 c #Conflicts: 415000 | #Constraints: 23102
305.73/306.71 c #Conflicts: 416000 | #Constraints: 24102
305.73/306.71 c #Conflicts: 417000 | #Constraints: 25102
305.73/306.71 c #Conflicts: 418000 | #Constraints: 26102
305.73/306.71 c #Conflicts: 419000 | #Constraints: 27102
305.73/306.71 c #Conflicts: 420000 | #Constraints: 28102
305.73/306.71 c INPROCESSING
305.73/306.71 c GARBAGE COLLECT
305.73/306.71 c #Conflicts: 421000 | #Constraints: 16314
305.73/306.71 c #Conflicts: 422000 | #Constraints: 17314
305.73/306.71 c #Conflicts: 423000 | #Constraints: 18314
305.73/306.71 c #Conflicts: 424000 | #Constraints: 19314
305.73/306.71 c #Conflicts: 425000 | #Constraints: 20314
305.73/306.71 c #Conflicts: 426000 | #Constraints: 21314
305.73/306.71 c #Conflicts: 427000 | #Constraints: 22314
305.73/306.71 c #Conflicts: 428000 | #Constraints: 23314
305.73/306.71 c #Conflicts: 429000 | #Constraints: 24314
305.73/306.71 c #Conflicts: 430000 | #Constraints: 25314
305.73/306.71 c #Conflicts: 431000 | #Constraints: 26314
305.73/306.71 c #Conflicts: 432000 | #Constraints: 27314
305.73/306.71 c #Conflicts: 433000 | #Constraints: 28314
305.73/306.71 c INPROCESSING
305.73/306.71 c GARBAGE COLLECT
305.73/306.71 c #Conflicts: 434000 | #Constraints: 16309
305.73/306.71 c #Conflicts: 435000 | #Constraints: 17309
305.73/306.71 c #Conflicts: 436000 | #Constraints: 18309
305.73/306.71 c #Conflicts: 437000 | #Constraints: 19309
305.73/306.71 c #Conflicts: 438000 | #Constraints: 20309
305.73/306.71 c #Conflicts: 439000 | #Constraints: 21309
305.73/306.71 c #Conflicts: 440000 | #Constraints: 22309
305.73/306.71 c #Conflicts: 441000 | #Constraints: 23309
305.73/306.71 c #Conflicts: 442000 | #Constraints: 24309
305.73/306.71 c #Conflicts: 443000 | #Constraints: 25309
305.73/306.71 c #Conflicts: 444000 | #Constraints: 26309
305.73/306.71 c #Conflicts: 445000 | #Constraints: 27309
305.73/306.71 c #Conflicts: 446000 | #Constraints: 28309
406.88/408.23 c INPROCESSING
406.88/408.23 c GARBAGE COLLECT
406.88/408.23 c #Conflicts: 447000 | #Constraints: 16098
406.88/408.23 c #Conflicts: 448000 | #Constraints: 17098
406.88/408.23 c #Conflicts: 449000 | #Constraints: 18098
406.88/408.23 c #Conflicts: 450000 | #Constraints: 19098
406.88/408.23 c #Conflicts: 451000 | #Constraints: 20098
406.88/408.23 c #Conflicts: 452000 | #Constraints: 21098
406.88/408.23 c #Conflicts: 453000 | #Constraints: 22098
406.88/408.23 c #Conflicts: 454000 | #Constraints: 23098
406.88/408.23 c #Conflicts: 455000 | #Constraints: 24098
406.88/408.23 c #Conflicts: 456000 | #Constraints: 25098
406.88/408.23 c #Conflicts: 457000 | #Constraints: 26098
406.88/408.23 c #Conflicts: 458000 | #Constraints: 27098
406.88/408.23 c #Conflicts: 459000 | #Constraints: 28098
406.88/408.23 c #Conflicts: 460000 | #Constraints: 29098
406.88/408.23 c INPROCESSING
406.88/408.23 c GARBAGE COLLECT
406.88/408.23 c #Conflicts: 461000 | #Constraints: 16710
406.88/408.23 c #Conflicts: 462000 | #Constraints: 17710
406.88/408.23 c #Conflicts: 463000 | #Constraints: 18710
406.88/408.23 c #Conflicts: 464000 | #Constraints: 19710
406.88/408.23 c #Conflicts: 465000 | #Constraints: 20710
406.88/408.23 c #Conflicts: 466000 | #Constraints: 21710
406.88/408.23 c #Conflicts: 467000 | #Constraints: 22710
406.88/408.23 c #Conflicts: 468000 | #Constraints: 23710
406.88/408.23 c #Conflicts: 469000 | #Constraints: 24710
406.88/408.23 c #Conflicts: 470000 | #Constraints: 25710
406.88/408.23 c #Conflicts: 471000 | #Constraints: 26710
406.88/408.23 c #Conflicts: 472000 | #Constraints: 27710
406.88/408.23 c #Conflicts: 473000 | #Constraints: 28710
406.88/408.23 c #Conflicts: 474000 | #Constraints: 29710
406.88/408.23 c INPROCESSING
406.88/408.23 c GARBAGE COLLECT
406.88/408.23 c #Conflicts: 475000 | #Constraints: 17117
406.88/408.23 c #Conflicts: 476000 | #Constraints: 18117
406.88/408.23 c #Conflicts: 477000 | #Constraints: 19117
406.88/408.23 c #Conflicts: 478000 | #Constraints: 20117
406.88/408.23 c #Conflicts: 479000 | #Constraints: 21117
406.88/408.23 c #Conflicts: 480000 | #Constraints: 22117
406.88/408.23 c #Conflicts: 481000 | #Constraints: 23117
406.88/408.23 c #Conflicts: 482000 | #Constraints: 24117
406.88/408.23 c #Conflicts: 483000 | #Constraints: 25117
406.88/408.23 c #Conflicts: 484000 | #Constraints: 26117
406.88/408.23 c #Conflicts: 485000 | #Constraints: 27117
406.88/408.23 c #Conflicts: 486000 | #Constraints: 28117
406.88/408.23 c #Conflicts: 487000 | #Constraints: 29117
406.88/408.23 c #Conflicts: 488000 | #Constraints: 30117
406.88/408.23 c INPROCESSING
406.88/408.23 c GARBAGE COLLECT
406.88/408.23 c #Conflicts: 489000 | #Constraints: 17305
406.88/408.23 c #Conflicts: 490000 | #Constraints: 18305
406.88/408.23 c #Conflicts: 491000 | #Constraints: 19305
406.88/408.23 c #Conflicts: 492000 | #Constraints: 20305
406.88/408.23 c #Conflicts: 493000 | #Constraints: 21305
406.88/408.23 c #Conflicts: 494000 | #Constraints: 22305
406.88/408.23 c #Conflicts: 495000 | #Constraints: 23305
406.88/408.23 c #Conflicts: 496000 | #Constraints: 24305
406.88/408.23 c #Conflicts: 497000 | #Constraints: 25305
406.88/408.23 c #Conflicts: 498000 | #Constraints: 26305
406.88/408.23 c #Conflicts: 499000 | #Constraints: 27305
406.88/408.23 c #Conflicts: 500000 | #Constraints: 28305
406.88/408.23 c #Conflicts: 501000 | #Constraints: 29305
406.88/408.23 c #Conflicts: 502000 | #Constraints: 30305
406.88/408.23 c INPROCESSING
406.88/408.23 c GARBAGE COLLECT
406.88/408.23 c #Conflicts: 503000 | #Constraints: 17387
406.88/408.23 c #Conflicts: 504000 | #Constraints: 18387
406.88/408.23 c #Conflicts: 505000 | #Constraints: 19387
406.88/408.23 c #Conflicts: 506000 | #Constraints: 20387
406.88/408.23 c #Conflicts: 507000 | #Constraints: 21387
406.88/408.23 c #Conflicts: 508000 | #Constraints: 22387
406.88/408.23 c #Conflicts: 509000 | #Constraints: 23387
406.88/408.23 c #Conflicts: 510000 | #Constraints: 24387
406.88/408.23 c #Conflicts: 511000 | #Constraints: 25387
406.88/408.23 c #Conflicts: 512000 | #Constraints: 26387
406.88/408.23 c #Conflicts: 513000 | #Constraints: 27387
406.88/408.23 c #Conflicts: 514000 | #Constraints: 28387
406.88/408.23 c #Conflicts: 515000 | #Constraints: 29387
406.88/408.23 c #Conflicts: 516000 | #Constraints: 30387
406.88/408.23 c INPROCESSING
406.88/408.23 c GARBAGE COLLECT
406.88/408.23 c #Conflicts: 517000 | #Constraints: 17157
406.88/408.23 c #Conflicts: 518000 | #Constraints: 18157
406.88/408.23 c #Conflicts: 519000 | #Constraints: 19157
406.88/408.23 c #Conflicts: 520000 | #Constraints: 20157
406.88/408.23 c #Conflicts: 521000 | #Constraints: 21157
496.97/498.66 c #Conflicts: 522000 | #Constraints: 22157
496.97/498.66 c #Conflicts: 523000 | #Constraints: 23157
496.97/498.66 c #Conflicts: 524000 | #Constraints: 24157
496.97/498.66 c #Conflicts: 525000 | #Constraints: 25157
496.97/498.66 c #Conflicts: 526000 | #Constraints: 26157
496.97/498.66 c #Conflicts: 527000 | #Constraints: 27157
496.97/498.66 c #Conflicts: 528000 | #Constraints: 28157
496.97/498.66 c #Conflicts: 529000 | #Constraints: 29157
496.97/498.66 c #Conflicts: 530000 | #Constraints: 30157
496.97/498.66 c #Conflicts: 531000 | #Constraints: 31157
496.97/498.66 c INPROCESSING
496.97/498.66 c GARBAGE COLLECT
496.97/498.66 c #Conflicts: 532000 | #Constraints: 17715
496.97/498.66 c #Conflicts: 533000 | #Constraints: 18715
496.97/498.66 c #Conflicts: 534000 | #Constraints: 19715
496.97/498.66 c #Conflicts: 535000 | #Constraints: 20715
496.97/498.66 c #Conflicts: 536000 | #Constraints: 21715
496.97/498.66 c #Conflicts: 537000 | #Constraints: 22715
496.97/498.66 c #Conflicts: 538000 | #Constraints: 23715
496.97/498.66 c #Conflicts: 539000 | #Constraints: 24715
496.97/498.66 c #Conflicts: 540000 | #Constraints: 25715
496.97/498.66 c #Conflicts: 541000 | #Constraints: 26715
496.97/498.66 c #Conflicts: 542000 | #Constraints: 27715
496.97/498.66 c #Conflicts: 543000 | #Constraints: 28715
496.97/498.66 c #Conflicts: 544000 | #Constraints: 29715
496.97/498.66 c #Conflicts: 545000 | #Constraints: 30715
496.97/498.66 c #Conflicts: 546000 | #Constraints: 31715
496.97/498.66 c INPROCESSING
496.97/498.66 c GARBAGE COLLECT
496.97/498.66 c #Conflicts: 547000 | #Constraints: 18118
496.97/498.66 c #Conflicts: 548000 | #Constraints: 19118
496.97/498.66 c #Conflicts: 549000 | #Constraints: 20118
496.97/498.66 c #Conflicts: 550000 | #Constraints: 21118
496.97/498.66 c #Conflicts: 551000 | #Constraints: 22118
496.97/498.66 c #Conflicts: 552000 | #Constraints: 23118
496.97/498.66 c #Conflicts: 553000 | #Constraints: 24118
496.97/498.66 c #Conflicts: 554000 | #Constraints: 25118
496.97/498.66 c #Conflicts: 555000 | #Constraints: 26118
496.97/498.66 c #Conflicts: 556000 | #Constraints: 27118
496.97/498.66 c #Conflicts: 557000 | #Constraints: 28118
496.97/498.66 c #Conflicts: 558000 | #Constraints: 29118
496.97/498.66 c #Conflicts: 559000 | #Constraints: 30118
496.97/498.66 c #Conflicts: 560000 | #Constraints: 31118
496.97/498.66 c #Conflicts: 561000 | #Constraints: 32118
496.97/498.66 c INPROCESSING
496.97/498.66 c GARBAGE COLLECT
496.97/498.66 c #Conflicts: 562000 | #Constraints: 18321
496.97/498.66 c #Conflicts: 563000 | #Constraints: 19321
496.97/498.66 c #Conflicts: 564000 | #Constraints: 20321
496.97/498.66 c #Conflicts: 565000 | #Constraints: 21321
496.97/498.66 c #Conflicts: 566000 | #Constraints: 22321
496.97/498.66 c #Conflicts: 567000 | #Constraints: 23321
496.97/498.66 c #Conflicts: 568000 | #Constraints: 24321
496.97/498.66 c #Conflicts: 569000 | #Constraints: 25321
496.97/498.66 c #Conflicts: 570000 | #Constraints: 26321
496.97/498.66 c #Conflicts: 571000 | #Constraints: 27321
496.97/498.66 c #Conflicts: 572000 | #Constraints: 28321
496.97/498.66 c #Conflicts: 573000 | #Constraints: 29321
496.97/498.66 c #Conflicts: 574000 | #Constraints: 30321
496.97/498.66 c #Conflicts: 575000 | #Constraints: 31321
496.97/498.66 c #Conflicts: 576000 | #Constraints: 32321
496.97/498.66 c INPROCESSING
496.97/498.66 c GARBAGE COLLECT
496.97/498.66 c #Conflicts: 577000 | #Constraints: 18309
496.97/498.66 c #Conflicts: 578000 | #Constraints: 19309
496.97/498.66 c #Conflicts: 579000 | #Constraints: 20309
496.97/498.66 c #Conflicts: 580000 | #Constraints: 21309
496.97/498.66 c #Conflicts: 581000 | #Constraints: 22309
496.97/498.66 c #Conflicts: 582000 | #Constraints: 23309
496.97/498.66 c #Conflicts: 583000 | #Constraints: 24309
496.97/498.66 c #Conflicts: 584000 | #Constraints: 25309
496.97/498.66 c #Conflicts: 585000 | #Constraints: 26309
496.97/498.66 c #Conflicts: 586000 | #Constraints: 27309
496.97/498.66 c #Conflicts: 587000 | #Constraints: 28309
496.97/498.66 c #Conflicts: 588000 | #Constraints: 29309
496.97/498.66 c #Conflicts: 589000 | #Constraints: 30309
496.97/498.66 c #Conflicts: 590000 | #Constraints: 31309
496.97/498.66 c #Conflicts: 591000 | #Constraints: 32309
496.97/498.66 c INPROCESSING
496.97/498.66 c GARBAGE COLLECT
496.97/498.66 c #Conflicts: 592000 | #Constraints: 18111
496.97/498.66 c #Conflicts: 593000 | #Constraints: 19111
496.97/498.66 c #Conflicts: 594000 | #Constraints: 20111
496.97/498.66 c #Conflicts: 595000 | #Constraints: 21111
496.97/498.66 c #Conflicts: 596000 | #Constraints: 22111
496.97/498.66 c #Conflicts: 597000 | #Constraints: 23111
606.11/608.19 c #Conflicts: 598000 | #Constraints: 24111
606.11/608.19 c #Conflicts: 599000 | #Constraints: 25111
606.11/608.19 c #Conflicts: 600000 | #Constraints: 26111
606.11/608.19 c #Conflicts: 601000 | #Constraints: 27111
606.11/608.19 c #Conflicts: 602000 | #Constraints: 28111
606.11/608.19 c #Conflicts: 603000 | #Constraints: 29111
606.11/608.19 c #Conflicts: 604000 | #Constraints: 30111
606.11/608.19 c #Conflicts: 605000 | #Constraints: 31111
606.11/608.19 c #Conflicts: 606000 | #Constraints: 32111
606.11/608.19 c #Conflicts: 607000 | #Constraints: 33111
606.11/608.19 c INPROCESSING
606.11/608.19 c GARBAGE COLLECT
606.11/608.19 c #Conflicts: 608000 | #Constraints: 18740
606.11/608.19 c #Conflicts: 609000 | #Constraints: 19740
606.11/608.19 c #Conflicts: 610000 | #Constraints: 20740
606.11/608.19 c #Conflicts: 611000 | #Constraints: 21740
606.11/608.19 c #Conflicts: 612000 | #Constraints: 22740
606.11/608.19 c #Conflicts: 613000 | #Constraints: 23740
606.11/608.19 c #Conflicts: 614000 | #Constraints: 24740
606.11/608.19 c #Conflicts: 615000 | #Constraints: 25740
606.11/608.19 c #Conflicts: 616000 | #Constraints: 26740
606.11/608.19 c #Conflicts: 617000 | #Constraints: 27740
606.11/608.19 c #Conflicts: 618000 | #Constraints: 28740
606.11/608.19 c #Conflicts: 619000 | #Constraints: 29740
606.11/608.19 c #Conflicts: 620000 | #Constraints: 30740
606.11/608.19 c #Conflicts: 621000 | #Constraints: 31740
606.11/608.19 c #Conflicts: 622000 | #Constraints: 32740
606.11/608.19 c #Conflicts: 623000 | #Constraints: 33740
606.11/608.19 c INPROCESSING
606.11/608.19 c GARBAGE COLLECT
606.11/608.19 c #Conflicts: 624000 | #Constraints: 19134
606.11/608.19 c #Conflicts: 625000 | #Constraints: 20134
606.11/608.19 c #Conflicts: 626000 | #Constraints: 21134
606.11/608.19 c #Conflicts: 627000 | #Constraints: 22134
606.11/608.19 c #Conflicts: 628000 | #Constraints: 23134
606.11/608.19 c #Conflicts: 629000 | #Constraints: 24134
606.11/608.19 c #Conflicts: 630000 | #Constraints: 25134
606.11/608.19 c #Conflicts: 631000 | #Constraints: 26134
606.11/608.19 c #Conflicts: 632000 | #Constraints: 27134
606.11/608.19 c #Conflicts: 633000 | #Constraints: 28134
606.11/608.19 c #Conflicts: 634000 | #Constraints: 29134
606.11/608.19 c #Conflicts: 635000 | #Constraints: 30134
606.11/608.19 c #Conflicts: 636000 | #Constraints: 31134
606.11/608.19 c #Conflicts: 637000 | #Constraints: 32134
606.11/608.19 c #Conflicts: 638000 | #Constraints: 33134
606.11/608.19 c #Conflicts: 639000 | #Constraints: 34134
606.11/608.19 c INPROCESSING
606.11/608.19 c GARBAGE COLLECT
606.11/608.19 c #Conflicts: 640000 | #Constraints: 19348
606.11/608.19 c #Conflicts: 641000 | #Constraints: 20348
606.11/608.19 c #Conflicts: 642000 | #Constraints: 21348
606.11/608.19 c #Conflicts: 643000 | #Constraints: 22348
606.11/608.19 c #Conflicts: 644000 | #Constraints: 23348
606.11/608.19 c #Conflicts: 645000 | #Constraints: 24348
606.11/608.19 c #Conflicts: 646000 | #Constraints: 25348
606.11/608.19 c #Conflicts: 647000 | #Constraints: 26348
606.11/608.19 c #Conflicts: 648000 | #Constraints: 27348
606.11/608.19 c #Conflicts: 649000 | #Constraints: 28348
606.11/608.19 c #Conflicts: 650000 | #Constraints: 29348
606.11/608.19 c #Conflicts: 651000 | #Constraints: 30348
606.11/608.19 c #Conflicts: 652000 | #Constraints: 31348
606.11/608.19 c #Conflicts: 653000 | #Constraints: 32348
606.11/608.19 c #Conflicts: 654000 | #Constraints: 33348
606.11/608.19 c #Conflicts: 655000 | #Constraints: 34348
606.11/608.19 c INPROCESSING
606.11/608.19 c GARBAGE COLLECT
606.11/608.19 c #Conflicts: 656000 | #Constraints: 19322
606.11/608.19 c #Conflicts: 657000 | #Constraints: 20322
606.11/608.19 c #Conflicts: 658000 | #Constraints: 21322
606.11/608.19 c #Conflicts: 659000 | #Constraints: 22322
606.11/608.19 c #Conflicts: 660000 | #Constraints: 23322
606.11/608.19 c #Conflicts: 661000 | #Constraints: 24322
606.11/608.19 c #Conflicts: 662000 | #Constraints: 25322
606.11/608.19 c #Conflicts: 663000 | #Constraints: 26322
606.11/608.19 c #Conflicts: 664000 | #Constraints: 27322
606.11/608.19 c #Conflicts: 665000 | #Constraints: 28322
606.11/608.19 c #Conflicts: 666000 | #Constraints: 29322
606.11/608.19 c #Conflicts: 667000 | #Constraints: 30322
606.11/608.19 c #Conflicts: 668000 | #Constraints: 31322
606.11/608.19 c #Conflicts: 669000 | #Constraints: 32322
606.11/608.19 c #Conflicts: 670000 | #Constraints: 33322
606.11/608.19 c #Conflicts: 671000 | #Constraints: 34322
606.11/608.19 c INPROCESSING
606.11/608.19 c GARBAGE COLLECT
606.11/608.19 c #Conflicts: 672000 | #Constraints: 19132
711.54/713.97 c #Conflicts: 673000 | #Constraints: 20132
711.54/713.97 c #Conflicts: 674000 | #Constraints: 21132
711.54/713.97 c #Conflicts: 675000 | #Constraints: 22132
711.54/713.97 c #Conflicts: 676000 | #Constraints: 23132
711.54/713.97 c #Conflicts: 677000 | #Constraints: 24132
711.54/713.97 c #Conflicts: 678000 | #Constraints: 25132
711.54/713.97 c #Conflicts: 679000 | #Constraints: 26132
711.54/713.97 c #Conflicts: 680000 | #Constraints: 27132
711.54/713.97 c #Conflicts: 681000 | #Constraints: 28132
711.54/713.97 c #Conflicts: 682000 | #Constraints: 29132
711.54/713.97 c #Conflicts: 683000 | #Constraints: 30132
711.54/713.97 c #Conflicts: 684000 | #Constraints: 31132
711.54/713.97 c #Conflicts: 685000 | #Constraints: 32132
711.54/713.97 c #Conflicts: 686000 | #Constraints: 33132
711.54/713.97 c #Conflicts: 687000 | #Constraints: 34132
711.54/713.97 c #Conflicts: 688000 | #Constraints: 35132
711.54/713.97 c INPROCESSING
711.54/713.97 c GARBAGE COLLECT
711.54/713.97 c #Conflicts: 689000 | #Constraints: 19719
711.54/713.97 c #Conflicts: 690000 | #Constraints: 20719
711.54/713.97 c #Conflicts: 691000 | #Constraints: 21719
711.54/713.97 c #Conflicts: 692000 | #Constraints: 22719
711.54/713.97 c #Conflicts: 693000 | #Constraints: 23719
711.54/713.97 c #Conflicts: 694000 | #Constraints: 24719
711.54/713.97 c #Conflicts: 695000 | #Constraints: 25719
711.54/713.97 c #Conflicts: 696000 | #Constraints: 26719
711.54/713.97 c #Conflicts: 697000 | #Constraints: 27719
711.54/713.97 c #Conflicts: 698000 | #Constraints: 28719
711.54/713.97 c #Conflicts: 699000 | #Constraints: 29719
711.54/713.97 c #Conflicts: 700000 | #Constraints: 30719
711.54/713.97 c #Conflicts: 701000 | #Constraints: 31719
711.54/713.97 c #Conflicts: 702000 | #Constraints: 32719
711.54/713.97 c #Conflicts: 703000 | #Constraints: 33719
711.54/713.97 c #Conflicts: 704000 | #Constraints: 34719
711.54/713.97 c #Conflicts: 705000 | #Constraints: 35719
711.54/713.97 c INPROCESSING
711.54/713.97 c GARBAGE COLLECT
711.54/713.97 c #Conflicts: 706000 | #Constraints: 20112
711.54/713.97 c #Conflicts: 707000 | #Constraints: 21112
711.54/713.97 c #Conflicts: 708000 | #Constraints: 22112
711.54/713.97 c #Conflicts: 709000 | #Constraints: 23112
711.54/713.97 c #Conflicts: 710000 | #Constraints: 24112
711.54/713.97 c #Conflicts: 711000 | #Constraints: 25112
711.54/713.97 c #Conflicts: 712000 | #Constraints: 26112
711.54/713.97 c #Conflicts: 713000 | #Constraints: 27112
711.54/713.97 c #Conflicts: 714000 | #Constraints: 28112
711.54/713.97 c #Conflicts: 715000 | #Constraints: 29112
711.54/713.97 c #Conflicts: 716000 | #Constraints: 30112
711.54/713.97 c #Conflicts: 717000 | #Constraints: 31112
711.54/713.97 c #Conflicts: 718000 | #Constraints: 32112
711.54/713.97 c #Conflicts: 719000 | #Constraints: 33112
711.54/713.97 c #Conflicts: 720000 | #Constraints: 34112
711.54/713.97 c #Conflicts: 721000 | #Constraints: 35112
711.54/713.97 c #Conflicts: 722000 | #Constraints: 36112
711.54/713.97 c INPROCESSING
711.54/713.97 c GARBAGE COLLECT
711.54/713.97 c #Conflicts: 723000 | #Constraints: 20319
711.54/713.97 c #Conflicts: 724000 | #Constraints: 21319
711.54/713.97 c #Conflicts: 725000 | #Constraints: 22319
711.54/713.97 c #Conflicts: 726000 | #Constraints: 23319
711.54/713.97 c #Conflicts: 727000 | #Constraints: 24319
711.54/713.97 c #Conflicts: 728000 | #Constraints: 25319
711.54/713.97 c #Conflicts: 729000 | #Constraints: 26319
711.54/713.97 c #Conflicts: 730000 | #Constraints: 27319
711.54/713.97 c #Conflicts: 731000 | #Constraints: 28319
711.54/713.97 c #Conflicts: 732000 | #Constraints: 29319
711.54/713.97 c #Conflicts: 733000 | #Constraints: 30319
711.54/713.97 c #Conflicts: 734000 | #Constraints: 31319
711.54/713.97 c #Conflicts: 735000 | #Constraints: 32319
711.54/713.97 c #Conflicts: 736000 | #Constraints: 33319
711.54/713.97 c #Conflicts: 737000 | #Constraints: 34319
711.54/713.97 c #Conflicts: 738000 | #Constraints: 35319
711.54/713.97 c #Conflicts: 739000 | #Constraints: 36319
711.54/713.97 c INPROCESSING
711.54/713.97 c GARBAGE COLLECT
711.54/713.97 c #Conflicts: 740000 | #Constraints: 20338
711.54/713.97 c #Conflicts: 741000 | #Constraints: 21338
711.54/713.97 c #Conflicts: 742000 | #Constraints: 22338
711.54/713.97 c #Conflicts: 743000 | #Constraints: 23338
711.54/713.97 c #Conflicts: 744000 | #Constraints: 24338
711.54/713.97 c #Conflicts: 745000 | #Constraints: 25338
711.54/713.97 c #Conflicts: 746000 | #Constraints: 26338
711.54/713.97 c #Conflicts: 747000 | #Constraints: 27338
711.54/713.97 c #Conflicts: 748000 | #Constraints: 28338
826.77/829.54 c #Conflicts: 749000 | #Constraints: 29338
826.77/829.54 c #Conflicts: 750000 | #Constraints: 30338
826.77/829.54 c #Conflicts: 751000 | #Constraints: 31338
826.77/829.54 c #Conflicts: 752000 | #Constraints: 32338
826.77/829.54 c #Conflicts: 753000 | #Constraints: 33338
826.77/829.54 c #Conflicts: 754000 | #Constraints: 34338
826.77/829.54 c #Conflicts: 755000 | #Constraints: 35338
826.77/829.54 c #Conflicts: 756000 | #Constraints: 36338
826.77/829.54 c INPROCESSING
826.77/829.54 c GARBAGE COLLECT
826.77/829.54 c #Conflicts: 757000 | #Constraints: 20116
826.77/829.54 c #Conflicts: 758000 | #Constraints: 21116
826.77/829.54 c #Conflicts: 759000 | #Constraints: 22116
826.77/829.54 c #Conflicts: 760000 | #Constraints: 23116
826.77/829.54 c #Conflicts: 761000 | #Constraints: 24116
826.77/829.54 c #Conflicts: 762000 | #Constraints: 25116
826.77/829.54 c #Conflicts: 763000 | #Constraints: 26116
826.77/829.54 c #Conflicts: 764000 | #Constraints: 27116
826.77/829.54 c #Conflicts: 765000 | #Constraints: 28116
826.77/829.54 c #Conflicts: 766000 | #Constraints: 29116
826.77/829.54 c #Conflicts: 767000 | #Constraints: 30116
826.77/829.54 c #Conflicts: 768000 | #Constraints: 31116
826.77/829.54 c #Conflicts: 769000 | #Constraints: 32116
826.77/829.54 c #Conflicts: 770000 | #Constraints: 33116
826.77/829.54 c #Conflicts: 771000 | #Constraints: 34116
826.77/829.54 c #Conflicts: 772000 | #Constraints: 35116
826.77/829.54 c #Conflicts: 773000 | #Constraints: 36116
826.77/829.54 c #Conflicts: 774000 | #Constraints: 37116
826.77/829.54 c INPROCESSING
826.77/829.54 c GARBAGE COLLECT
826.77/829.54 c #Conflicts: 775000 | #Constraints: 20714
826.77/829.54 c #Conflicts: 776000 | #Constraints: 21714
826.77/829.54 c #Conflicts: 777000 | #Constraints: 22714
826.77/829.54 c #Conflicts: 778000 | #Constraints: 23714
826.77/829.54 c #Conflicts: 779000 | #Constraints: 24714
826.77/829.54 c #Conflicts: 780000 | #Constraints: 25714
826.77/829.54 c #Conflicts: 781000 | #Constraints: 26714
826.77/829.54 c #Conflicts: 782000 | #Constraints: 27714
826.77/829.54 c #Conflicts: 783000 | #Constraints: 28714
826.77/829.54 c #Conflicts: 784000 | #Constraints: 29714
826.77/829.54 c #Conflicts: 785000 | #Constraints: 30714
826.77/829.54 c #Conflicts: 786000 | #Constraints: 31714
826.77/829.54 c #Conflicts: 787000 | #Constraints: 32714
826.77/829.54 c #Conflicts: 788000 | #Constraints: 33714
826.77/829.54 c #Conflicts: 789000 | #Constraints: 34714
826.77/829.54 c #Conflicts: 790000 | #Constraints: 35714
826.77/829.54 c #Conflicts: 791000 | #Constraints: 36714
826.77/829.54 c #Conflicts: 792000 | #Constraints: 37714
826.77/829.54 c INPROCESSING
826.77/829.54 c GARBAGE COLLECT
826.77/829.54 c #Conflicts: 793000 | #Constraints: 21149
826.77/829.54 c #Conflicts: 794000 | #Constraints: 22149
826.77/829.54 c #Conflicts: 795000 | #Constraints: 23149
826.77/829.54 c #Conflicts: 796000 | #Constraints: 24149
826.77/829.54 c #Conflicts: 797000 | #Constraints: 25149
826.77/829.54 c #Conflicts: 798000 | #Constraints: 26149
826.77/829.54 c #Conflicts: 799000 | #Constraints: 27149
826.77/829.54 c #Conflicts: 800000 | #Constraints: 28149
826.77/829.54 c #Conflicts: 801000 | #Constraints: 29149
826.77/829.54 c #Conflicts: 802000 | #Constraints: 30149
826.77/829.54 c #Conflicts: 803000 | #Constraints: 31149
826.77/829.54 c #Conflicts: 804000 | #Constraints: 32149
826.77/829.54 c #Conflicts: 805000 | #Constraints: 33149
826.77/829.54 c #Conflicts: 806000 | #Constraints: 34149
826.77/829.54 c #Conflicts: 807000 | #Constraints: 35149
826.77/829.54 c #Conflicts: 808000 | #Constraints: 36149
826.77/829.54 c #Conflicts: 809000 | #Constraints: 37149
826.77/829.54 c #Conflicts: 810000 | #Constraints: 38149
826.77/829.54 c INPROCESSING
826.77/829.54 c GARBAGE COLLECT
826.77/829.54 c #Conflicts: 811000 | #Constraints: 21327
826.77/829.54 c #Conflicts: 812000 | #Constraints: 22327
826.77/829.54 c #Conflicts: 813000 | #Constraints: 23327
826.77/829.54 c #Conflicts: 814000 | #Constraints: 24327
826.77/829.54 c #Conflicts: 815000 | #Constraints: 25327
826.77/829.54 c #Conflicts: 816000 | #Constraints: 26327
826.77/829.54 c #Conflicts: 817000 | #Constraints: 27327
826.77/829.54 c #Conflicts: 818000 | #Constraints: 28327
826.77/829.54 c #Conflicts: 819000 | #Constraints: 29327
826.77/829.54 c #Conflicts: 820000 | #Constraints: 30327
826.77/829.54 c #Conflicts: 821000 | #Constraints: 31327
826.77/829.54 c #Conflicts: 822000 | #Constraints: 32327
826.77/829.54 c #Conflicts: 823000 | #Constraints: 33327
826.77/829.54 c #Conflicts: 824000 | #Constraints: 34327
826.77/829.54 c #Conflicts: 825000 | #Constraints: 35327
950.56/953.73 c #Conflicts: 826000 | #Constraints: 36327
950.56/953.73 c #Conflicts: 827000 | #Constraints: 37327
950.56/953.73 c #Conflicts: 828000 | #Constraints: 38327
950.56/953.73 c INPROCESSING
950.56/953.73 c GARBAGE COLLECT
950.56/953.73 c #Conflicts: 829000 | #Constraints: 21313
950.56/953.73 c #Conflicts: 830000 | #Constraints: 22313
950.56/953.73 c #Conflicts: 831000 | #Constraints: 23313
950.56/953.73 c #Conflicts: 832000 | #Constraints: 24313
950.56/953.73 c #Conflicts: 833000 | #Constraints: 25313
950.56/953.73 c #Conflicts: 834000 | #Constraints: 26313
950.56/953.73 c #Conflicts: 835000 | #Constraints: 27313
950.56/953.73 c #Conflicts: 836000 | #Constraints: 28313
950.56/953.73 c #Conflicts: 837000 | #Constraints: 29313
950.56/953.73 c #Conflicts: 838000 | #Constraints: 30313
950.56/953.73 c #Conflicts: 839000 | #Constraints: 31313
950.56/953.73 c #Conflicts: 840000 | #Constraints: 32313
950.56/953.73 c #Conflicts: 841000 | #Constraints: 33313
950.56/953.73 c #Conflicts: 842000 | #Constraints: 34313
950.56/953.73 c #Conflicts: 843000 | #Constraints: 35313
950.56/953.73 c #Conflicts: 844000 | #Constraints: 36313
950.56/953.73 c #Conflicts: 845000 | #Constraints: 37313
950.56/953.73 c #Conflicts: 846000 | #Constraints: 38313
950.56/953.73 c INPROCESSING
950.56/953.73 c GARBAGE COLLECT
950.56/953.73 c #Conflicts: 847000 | #Constraints: 21122
950.56/953.73 c #Conflicts: 848000 | #Constraints: 22122
950.56/953.73 c #Conflicts: 849000 | #Constraints: 23122
950.56/953.73 c #Conflicts: 850000 | #Constraints: 24122
950.56/953.73 c #Conflicts: 851000 | #Constraints: 25122
950.56/953.73 c #Conflicts: 852000 | #Constraints: 26122
950.56/953.73 c #Conflicts: 853000 | #Constraints: 27122
950.56/953.73 c #Conflicts: 854000 | #Constraints: 28122
950.56/953.73 c #Conflicts: 855000 | #Constraints: 29122
950.56/953.73 c #Conflicts: 856000 | #Constraints: 30122
950.56/953.73 c #Conflicts: 857000 | #Constraints: 31122
950.56/953.73 c #Conflicts: 858000 | #Constraints: 32122
950.56/953.73 c #Conflicts: 859000 | #Constraints: 33122
950.56/953.73 c #Conflicts: 860000 | #Constraints: 34122
950.56/953.73 c #Conflicts: 861000 | #Constraints: 35122
950.56/953.73 c #Conflicts: 862000 | #Constraints: 36122
950.56/953.73 c #Conflicts: 863000 | #Constraints: 37122
950.56/953.73 c #Conflicts: 864000 | #Constraints: 38122
950.56/953.73 c #Conflicts: 865000 | #Constraints: 39122
950.56/953.73 c INPROCESSING
950.56/953.73 c GARBAGE COLLECT
950.56/953.73 c #Conflicts: 866000 | #Constraints: 21734
950.56/953.73 c #Conflicts: 867000 | #Constraints: 22734
950.56/953.73 c #Conflicts: 868000 | #Constraints: 23734
950.56/953.73 c #Conflicts: 869000 | #Constraints: 24734
950.56/953.73 c #Conflicts: 870000 | #Constraints: 25734
950.56/953.73 c #Conflicts: 871000 | #Constraints: 26734
950.56/953.73 c #Conflicts: 872000 | #Constraints: 27734
950.56/953.73 c #Conflicts: 873000 | #Constraints: 28734
950.56/953.73 c #Conflicts: 874000 | #Constraints: 29734
950.56/953.73 c #Conflicts: 875000 | #Constraints: 30734
950.56/953.73 c #Conflicts: 876000 | #Constraints: 31734
950.56/953.73 c #Conflicts: 877000 | #Constraints: 32734
950.56/953.73 c #Conflicts: 878000 | #Constraints: 33734
950.56/953.73 c #Conflicts: 879000 | #Constraints: 34734
950.56/953.73 c #Conflicts: 880000 | #Constraints: 35734
950.56/953.73 c #Conflicts: 881000 | #Constraints: 36734
950.56/953.73 c #Conflicts: 882000 | #Constraints: 37734
950.56/953.73 c #Conflicts: 883000 | #Constraints: 38734
950.56/953.73 c #Conflicts: 884000 | #Constraints: 39734
950.56/953.73 c INPROCESSING
950.56/953.73 c GARBAGE COLLECT
950.56/953.73 c #Conflicts: 885000 | #Constraints: 22149
950.56/953.73 c #Conflicts: 886000 | #Constraints: 23149
950.56/953.73 c #Conflicts: 887000 | #Constraints: 24149
950.56/953.73 c #Conflicts: 888000 | #Constraints: 25149
950.56/953.73 c #Conflicts: 889000 | #Constraints: 26149
950.56/953.73 c #Conflicts: 890000 | #Constraints: 27149
950.56/953.73 c #Conflicts: 891000 | #Constraints: 28149
950.56/953.73 c #Conflicts: 892000 | #Constraints: 29149
950.56/953.73 c #Conflicts: 893000 | #Constraints: 30149
950.56/953.73 c #Conflicts: 894000 | #Constraints: 31149
950.56/953.73 c #Conflicts: 895000 | #Constraints: 32149
950.56/953.73 c #Conflicts: 896000 | #Constraints: 33149
950.56/953.73 c #Conflicts: 897000 | #Constraints: 34149
950.56/953.73 c #Conflicts: 898000 | #Constraints: 35149
950.56/953.73 c #Conflicts: 899000 | #Constraints: 36149
950.56/953.73 c #Conflicts: 900000 | #Constraints: 37149
950.56/953.73 c #Conflicts: 901000 | #Constraints: 38149
1087.60/1091.21 c #Conflicts: 902000 | #Constraints: 39149
1087.60/1091.21 c #Conflicts: 903000 | #Constraints: 40149
1087.60/1091.21 c INPROCESSING
1087.60/1091.21 c GARBAGE COLLECT
1087.60/1091.21 c #Conflicts: 904000 | #Constraints: 22354
1087.60/1091.21 c #Conflicts: 905000 | #Constraints: 23354
1087.60/1091.21 c #Conflicts: 906000 | #Constraints: 24354
1087.60/1091.21 c #Conflicts: 907000 | #Constraints: 25354
1087.60/1091.21 c #Conflicts: 908000 | #Constraints: 26354
1087.60/1091.21 c #Conflicts: 909000 | #Constraints: 27354
1087.60/1091.21 c #Conflicts: 910000 | #Constraints: 28354
1087.60/1091.21 c #Conflicts: 911000 | #Constraints: 29354
1087.60/1091.21 c #Conflicts: 912000 | #Constraints: 30354
1087.60/1091.21 c #Conflicts: 913000 | #Constraints: 31354
1087.60/1091.21 c #Conflicts: 914000 | #Constraints: 32354
1087.60/1091.21 c #Conflicts: 915000 | #Constraints: 33354
1087.60/1091.21 c #Conflicts: 916000 | #Constraints: 34354
1087.60/1091.21 c #Conflicts: 917000 | #Constraints: 35354
1087.60/1091.21 c #Conflicts: 918000 | #Constraints: 36354
1087.60/1091.21 c #Conflicts: 919000 | #Constraints: 37354
1087.60/1091.21 c #Conflicts: 920000 | #Constraints: 38354
1087.60/1091.21 c #Conflicts: 921000 | #Constraints: 39354
1087.60/1091.21 c #Conflicts: 922000 | #Constraints: 40354
1087.60/1091.21 c INPROCESSING
1087.60/1091.21 c GARBAGE COLLECT
1087.60/1091.21 c #Conflicts: 923000 | #Constraints: 22335
1087.60/1091.21 c #Conflicts: 924000 | #Constraints: 23335
1087.60/1091.21 c #Conflicts: 925000 | #Constraints: 24335
1087.60/1091.21 c #Conflicts: 926000 | #Constraints: 25335
1087.60/1091.21 c #Conflicts: 927000 | #Constraints: 26335
1087.60/1091.21 c #Conflicts: 928000 | #Constraints: 27335
1087.60/1091.21 c #Conflicts: 929000 | #Constraints: 28335
1087.60/1091.21 c #Conflicts: 930000 | #Constraints: 29335
1087.60/1091.21 c #Conflicts: 931000 | #Constraints: 30335
1087.60/1091.21 c #Conflicts: 932000 | #Constraints: 31335
1087.60/1091.21 c #Conflicts: 933000 | #Constraints: 32335
1087.60/1091.21 c #Conflicts: 934000 | #Constraints: 33335
1087.60/1091.21 c #Conflicts: 935000 | #Constraints: 34335
1087.60/1091.21 c #Conflicts: 936000 | #Constraints: 35335
1087.60/1091.21 c #Conflicts: 937000 | #Constraints: 36335
1087.60/1091.21 c #Conflicts: 938000 | #Constraints: 37335
1087.60/1091.21 c #Conflicts: 939000 | #Constraints: 38335
1087.60/1091.21 c #Conflicts: 940000 | #Constraints: 39335
1087.60/1091.21 c #Conflicts: 941000 | #Constraints: 40335
1087.60/1091.21 c INPROCESSING
1087.60/1091.21 c GARBAGE COLLECT
1087.60/1091.21 c #Conflicts: 942000 | #Constraints: 22135
1087.60/1091.21 c #Conflicts: 943000 | #Constraints: 23135
1087.60/1091.21 c #Conflicts: 944000 | #Constraints: 24135
1087.60/1091.21 c #Conflicts: 945000 | #Constraints: 25135
1087.60/1091.21 c #Conflicts: 946000 | #Constraints: 26135
1087.60/1091.21 c #Conflicts: 947000 | #Constraints: 27135
1087.60/1091.21 c #Conflicts: 948000 | #Constraints: 28135
1087.60/1091.21 c #Conflicts: 949000 | #Constraints: 29135
1087.60/1091.21 c #Conflicts: 950000 | #Constraints: 30135
1087.60/1091.21 c #Conflicts: 951000 | #Constraints: 31135
1087.60/1091.21 c #Conflicts: 952000 | #Constraints: 32135
1087.60/1091.21 c #Conflicts: 953000 | #Constraints: 33135
1087.60/1091.21 c #Conflicts: 954000 | #Constraints: 34135
1087.60/1091.21 c #Conflicts: 955000 | #Constraints: 35135
1087.60/1091.21 c #Conflicts: 956000 | #Constraints: 36135
1087.60/1091.21 c #Conflicts: 957000 | #Constraints: 37135
1087.60/1091.21 c #Conflicts: 958000 | #Constraints: 38135
1087.60/1091.21 c #Conflicts: 959000 | #Constraints: 39135
1087.60/1091.21 c #Conflicts: 960000 | #Constraints: 40135
1087.60/1091.21 c #Conflicts: 961000 | #Constraints: 41135
1087.60/1091.21 c INPROCESSING
1087.60/1091.21 c GARBAGE COLLECT
1087.60/1091.21 c #Conflicts: 962000 | #Constraints: 22738
1087.60/1091.21 c #Conflicts: 963000 | #Constraints: 23738
1087.60/1091.21 c #Conflicts: 964000 | #Constraints: 24738
1087.60/1091.21 c #Conflicts: 965000 | #Constraints: 25738
1087.60/1091.21 c #Conflicts: 966000 | #Constraints: 26738
1087.60/1091.21 c #Conflicts: 967000 | #Constraints: 27738
1087.60/1091.21 c #Conflicts: 968000 | #Constraints: 28738
1087.60/1091.21 c #Conflicts: 969000 | #Constraints: 29738
1087.60/1091.21 c #Conflicts: 970000 | #Constraints: 30738
1087.60/1091.21 c #Conflicts: 971000 | #Constraints: 31738
1087.60/1091.21 c #Conflicts: 972000 | #Constraints: 32738
1087.60/1091.21 c #Conflicts: 973000 | #Constraints: 33738
1087.60/1091.21 c #Conflicts: 974000 | #Constraints: 34738
1087.60/1091.21 c #Conflicts: 975000 | #Constraints: 35738
1087.60/1091.21 c #Conflicts: 976000 | #Constraints: 36738
1087.60/1091.21 c #Conflicts: 977000 | #Constraints: 37738
1244.28/1248.45 c #Conflicts: 978000 | #Constraints: 38738
1244.28/1248.45 c #Conflicts: 979000 | #Constraints: 39738
1244.28/1248.45 c #Conflicts: 980000 | #Constraints: 40738
1244.28/1248.45 c #Conflicts: 981000 | #Constraints: 41738
1244.28/1248.45 c INPROCESSING
1244.28/1248.45 c GARBAGE COLLECT
1244.28/1248.45 c #Conflicts: 982000 | #Constraints: 23162
1244.28/1248.45 c #Conflicts: 983000 | #Constraints: 24162
1244.28/1248.45 c #Conflicts: 984000 | #Constraints: 25162
1244.28/1248.45 c #Conflicts: 985000 | #Constraints: 26162
1244.28/1248.45 c #Conflicts: 986000 | #Constraints: 27162
1244.28/1248.45 c #Conflicts: 987000 | #Constraints: 28162
1244.28/1248.45 c #Conflicts: 988000 | #Constraints: 29162
1244.28/1248.45 c #Conflicts: 989000 | #Constraints: 30162
1244.28/1248.45 c #Conflicts: 990000 | #Constraints: 31162
1244.28/1248.45 c #Conflicts: 991000 | #Constraints: 32162
1244.28/1248.45 c #Conflicts: 992000 | #Constraints: 33162
1244.28/1248.45 c #Conflicts: 993000 | #Constraints: 34162
1244.28/1248.45 c #Conflicts: 994000 | #Constraints: 35162
1244.28/1248.45 c #Conflicts: 995000 | #Constraints: 36162
1244.28/1248.45 c #Conflicts: 996000 | #Constraints: 37162
1244.28/1248.45 c #Conflicts: 997000 | #Constraints: 38162
1244.28/1248.45 c #Conflicts: 998000 | #Constraints: 39162
1244.28/1248.45 c #Conflicts: 999000 | #Constraints: 40162
1244.28/1248.45 c #Conflicts: 1000000 | #Constraints: 41162
1244.28/1248.45 c #Conflicts: 1001000 | #Constraints: 42162
1244.28/1248.45 c INPROCESSING
1244.28/1248.45 c GARBAGE COLLECT
1244.28/1248.45 c #Conflicts: 1002000 | #Constraints: 23368
1244.28/1248.45 c #Conflicts: 1003000 | #Constraints: 24368
1244.28/1248.45 c #Conflicts: 1004000 | #Constraints: 25368
1244.28/1248.45 c #Conflicts: 1005000 | #Constraints: 26368
1244.28/1248.45 c #Conflicts: 1006000 | #Constraints: 27368
1244.28/1248.45 c #Conflicts: 1007000 | #Constraints: 28368
1244.28/1248.45 c #Conflicts: 1008000 | #Constraints: 29368
1244.28/1248.45 c #Conflicts: 1009000 | #Constraints: 30368
1244.28/1248.45 c #Conflicts: 1010000 | #Constraints: 31368
1244.28/1248.45 c #Conflicts: 1011000 | #Constraints: 32368
1244.28/1248.45 c #Conflicts: 1012000 | #Constraints: 33368
1244.28/1248.45 c #Conflicts: 1013000 | #Constraints: 34368
1244.28/1248.45 c #Conflicts: 1014000 | #Constraints: 35368
1244.28/1248.45 c #Conflicts: 1015000 | #Constraints: 36368
1244.28/1248.45 c #Conflicts: 1016000 | #Constraints: 37368
1244.28/1248.45 c #Conflicts: 1017000 | #Constraints: 38368
1244.28/1248.45 c #Conflicts: 1018000 | #Constraints: 39368
1244.28/1248.45 c #Conflicts: 1019000 | #Constraints: 40368
1244.28/1248.45 c #Conflicts: 1020000 | #Constraints: 41368
1244.28/1248.45 c #Conflicts: 1021000 | #Constraints: 42368
1244.28/1248.45 c INPROCESSING
1244.28/1248.45 c GARBAGE COLLECT
1244.28/1248.45 c #Conflicts: 1022000 | #Constraints: 23393
1244.28/1248.45 c #Conflicts: 1023000 | #Constraints: 24393
1244.28/1248.45 c #Conflicts: 1024000 | #Constraints: 25393
1244.28/1248.45 c #Conflicts: 1025000 | #Constraints: 26393
1244.28/1248.45 c #Conflicts: 1026000 | #Constraints: 27393
1244.28/1248.45 c #Conflicts: 1027000 | #Constraints: 28393
1244.28/1248.45 c #Conflicts: 1028000 | #Constraints: 29393
1244.28/1248.45 c #Conflicts: 1029000 | #Constraints: 30393
1244.28/1248.45 c #Conflicts: 1030000 | #Constraints: 31393
1244.28/1248.45 c #Conflicts: 1031000 | #Constraints: 32393
1244.28/1248.45 c #Conflicts: 1032000 | #Constraints: 33393
1244.28/1248.45 c #Conflicts: 1033000 | #Constraints: 34393
1244.28/1248.45 c #Conflicts: 1034000 | #Constraints: 35393
1244.28/1248.45 c #Conflicts: 1035000 | #Constraints: 36393
1244.28/1248.45 c #Conflicts: 1036000 | #Constraints: 37393
1244.28/1248.45 c #Conflicts: 1037000 | #Constraints: 38393
1244.28/1248.45 c #Conflicts: 1038000 | #Constraints: 39393
1244.28/1248.45 c #Conflicts: 1039000 | #Constraints: 40393
1244.28/1248.45 c #Conflicts: 1040000 | #Constraints: 41393
1244.28/1248.45 c #Conflicts: 1041000 | #Constraints: 42393
1244.28/1248.45 c INPROCESSING
1244.28/1248.45 c GARBAGE COLLECT
1244.28/1248.45 c #Conflicts: 1042000 | #Constraints: 23206
1244.28/1248.45 c #Conflicts: 1043000 | #Constraints: 24206
1244.28/1248.45 c #Conflicts: 1044000 | #Constraints: 25206
1244.28/1248.45 c #Conflicts: 1045000 | #Constraints: 26206
1244.28/1248.45 c #Conflicts: 1046000 | #Constraints: 27206
1244.28/1248.45 c #Conflicts: 1047000 | #Constraints: 28206
1244.28/1248.45 c #Conflicts: 1048000 | #Constraints: 29206
1244.28/1248.45 c #Conflicts: 1049000 | #Constraints: 30206
1244.28/1248.45 c #Conflicts: 1050000 | #Constraints: 31206
1244.28/1248.45 c #Conflicts: 1051000 | #Constraints: 32206
1244.28/1248.45 c #Conflicts: 1052000 | #Constraints: 33206
1244.28/1248.45 c #Conflicts: 1053000 | #Constraints: 34206
1396.67/1401.35 c #Conflicts: 1054000 | #Constraints: 35206
1396.67/1401.35 c #Conflicts: 1055000 | #Constraints: 36206
1396.67/1401.35 c #Conflicts: 1056000 | #Constraints: 37206
1396.67/1401.35 c #Conflicts: 1057000 | #Constraints: 38206
1396.67/1401.35 c #Conflicts: 1058000 | #Constraints: 39206
1396.67/1401.35 c #Conflicts: 1059000 | #Constraints: 40206
1396.67/1401.35 c #Conflicts: 1060000 | #Constraints: 41206
1396.67/1401.35 c #Conflicts: 1061000 | #Constraints: 42206
1396.67/1401.35 c #Conflicts: 1062000 | #Constraints: 43206
1396.67/1401.35 c INPROCESSING
1396.67/1401.35 c GARBAGE COLLECT
1396.67/1401.35 c #Conflicts: 1063000 | #Constraints: 23793
1396.67/1401.35 c #Conflicts: 1064000 | #Constraints: 24793
1396.67/1401.35 c #Conflicts: 1065000 | #Constraints: 25793
1396.67/1401.35 c #Conflicts: 1066000 | #Constraints: 26793
1396.67/1401.35 c #Conflicts: 1067000 | #Constraints: 27793
1396.67/1401.35 c #Conflicts: 1068000 | #Constraints: 28793
1396.67/1401.35 c #Conflicts: 1069000 | #Constraints: 29793
1396.67/1401.35 c #Conflicts: 1070000 | #Constraints: 30793
1396.67/1401.35 c #Conflicts: 1071000 | #Constraints: 31793
1396.67/1401.35 c #Conflicts: 1072000 | #Constraints: 32793
1396.67/1401.35 c #Conflicts: 1073000 | #Constraints: 33793
1396.67/1401.35 c #Conflicts: 1074000 | #Constraints: 34793
1396.67/1401.35 c #Conflicts: 1075000 | #Constraints: 35793
1396.67/1401.35 c #Conflicts: 1076000 | #Constraints: 36793
1396.67/1401.35 c #Conflicts: 1077000 | #Constraints: 37793
1396.67/1401.35 c #Conflicts: 1078000 | #Constraints: 38793
1396.67/1401.35 c #Conflicts: 1079000 | #Constraints: 39793
1396.67/1401.35 c #Conflicts: 1080000 | #Constraints: 40793
1396.67/1401.35 c #Conflicts: 1081000 | #Constraints: 41793
1396.67/1401.35 c #Conflicts: 1082000 | #Constraints: 42793
1396.67/1401.35 c #Conflicts: 1083000 | #Constraints: 43793
1396.67/1401.35 c INPROCESSING
1396.67/1401.35 c GARBAGE COLLECT
1396.67/1401.35 c #Conflicts: 1084000 | #Constraints: 24220
1396.67/1401.35 c #Conflicts: 1085000 | #Constraints: 25220
1396.67/1401.35 c #Conflicts: 1086000 | #Constraints: 26220
1396.67/1401.35 c #Conflicts: 1087000 | #Constraints: 27220
1396.67/1401.35 c #Conflicts: 1088000 | #Constraints: 28220
1396.67/1401.35 c #Conflicts: 1089000 | #Constraints: 29220
1396.67/1401.35 c #Conflicts: 1090000 | #Constraints: 30220
1396.67/1401.35 c #Conflicts: 1091000 | #Constraints: 31220
1396.67/1401.35 c #Conflicts: 1092000 | #Constraints: 32220
1396.67/1401.35 c #Conflicts: 1093000 | #Constraints: 33220
1396.67/1401.35 c #Conflicts: 1094000 | #Constraints: 34220
1396.67/1401.35 c #Conflicts: 1095000 | #Constraints: 35220
1396.67/1401.35 c #Conflicts: 1096000 | #Constraints: 36220
1396.67/1401.35 c #Conflicts: 1097000 | #Constraints: 37220
1396.67/1401.35 c #Conflicts: 1098000 | #Constraints: 38220
1396.67/1401.35 c #Conflicts: 1099000 | #Constraints: 39220
1396.67/1401.35 c #Conflicts: 1100000 | #Constraints: 40220
1396.67/1401.35 c #Conflicts: 1101000 | #Constraints: 41220
1396.67/1401.35 c #Conflicts: 1102000 | #Constraints: 42220
1396.67/1401.35 c #Conflicts: 1103000 | #Constraints: 43220
1396.67/1401.35 c #Conflicts: 1104000 | #Constraints: 44220
1396.67/1401.35 c INPROCESSING
1396.67/1401.35 c GARBAGE COLLECT
1396.67/1401.35 c #Conflicts: 1105000 | #Constraints: 24383
1396.67/1401.35 c #Conflicts: 1106000 | #Constraints: 25383
1396.67/1401.35 c #Conflicts: 1107000 | #Constraints: 26383
1396.67/1401.35 c #Conflicts: 1108000 | #Constraints: 27383
1396.67/1401.35 c #Conflicts: 1109000 | #Constraints: 28383
1396.67/1401.35 c #Conflicts: 1110000 | #Constraints: 29383
1396.67/1401.35 c #Conflicts: 1111000 | #Constraints: 30383
1396.67/1401.35 c #Conflicts: 1112000 | #Constraints: 31383
1396.67/1401.35 c #Conflicts: 1113000 | #Constraints: 32383
1396.67/1401.35 c #Conflicts: 1114000 | #Constraints: 33383
1396.67/1401.35 c #Conflicts: 1115000 | #Constraints: 34383
1396.67/1401.35 c #Conflicts: 1116000 | #Constraints: 35383
1396.67/1401.35 c #Conflicts: 1117000 | #Constraints: 36383
1396.67/1401.35 c #Conflicts: 1118000 | #Constraints: 37383
1396.67/1401.35 c #Conflicts: 1119000 | #Constraints: 38383
1396.67/1401.35 c #Conflicts: 1120000 | #Constraints: 39383
1396.67/1401.35 c #Conflicts: 1121000 | #Constraints: 40383
1396.67/1401.35 c #Conflicts: 1122000 | #Constraints: 41383
1396.67/1401.35 c #Conflicts: 1123000 | #Constraints: 42383
1396.67/1401.35 c #Conflicts: 1124000 | #Constraints: 43383
1396.67/1401.35 c #Conflicts: 1125000 | #Constraints: 44383
1396.67/1401.35 c INPROCESSING
1396.67/1401.35 c GARBAGE COLLECT
1396.67/1401.35 c #Conflicts: 1126000 | #Constraints: 24374
1396.67/1401.35 c #Conflicts: 1127000 | #Constraints: 25374
1396.67/1401.35 c #Conflicts: 1128000 | #Constraints: 26374
1396.67/1401.35 c #Conflicts: 1129000 | #Constraints: 27374
1396.67/1401.35 c #Conflicts: 1130000 | #Constraints: 28374
1520.26/1525.35 c #Conflicts: 1131000 | #Constraints: 29374
1520.26/1525.35 c #Conflicts: 1132000 | #Constraints: 30374
1520.26/1525.35 c #Conflicts: 1133000 | #Constraints: 31374
1520.26/1525.35 c #Conflicts: 1134000 | #Constraints: 32374
1520.26/1525.35 c #Conflicts: 1135000 | #Constraints: 33374
1520.26/1525.35 c #Conflicts: 1136000 | #Constraints: 34374
1520.26/1525.35 c #Conflicts: 1137000 | #Constraints: 35374
1520.26/1525.35 c #Conflicts: 1138000 | #Constraints: 36374
1520.26/1525.35 c #Conflicts: 1139000 | #Constraints: 37374
1520.26/1525.35 c #Conflicts: 1140000 | #Constraints: 38374
1520.26/1525.35 c #Conflicts: 1141000 | #Constraints: 39374
1520.26/1525.35 c #Conflicts: 1142000 | #Constraints: 40374
1520.26/1525.35 c #Conflicts: 1143000 | #Constraints: 41374
1520.26/1525.35 c #Conflicts: 1144000 | #Constraints: 42374
1520.26/1525.35 c #Conflicts: 1145000 | #Constraints: 43374
1520.26/1525.35 c #Conflicts: 1146000 | #Constraints: 44374
1520.26/1525.35 c INPROCESSING
1520.26/1525.35 c GARBAGE COLLECT
1520.26/1525.35 c #Conflicts: 1147000 | #Constraints: 24182
1520.26/1525.35 c #Conflicts: 1148000 | #Constraints: 25182
1520.26/1525.35 c #Conflicts: 1149000 | #Constraints: 26182
1520.26/1525.35 c #Conflicts: 1150000 | #Constraints: 27182
1520.26/1525.35 c #Conflicts: 1151000 | #Constraints: 28182
1520.26/1525.35 c #Conflicts: 1152000 | #Constraints: 29182
1520.26/1525.35 c #Conflicts: 1153000 | #Constraints: 30182
1520.26/1525.35 c #Conflicts: 1154000 | #Constraints: 31182
1520.26/1525.35 c #Conflicts: 1155000 | #Constraints: 32182
1520.26/1525.35 c #Conflicts: 1156000 | #Constraints: 33182
1520.26/1525.35 c #Conflicts: 1157000 | #Constraints: 34182
1520.26/1525.35 c #Conflicts: 1158000 | #Constraints: 35182
1520.26/1525.35 c #Conflicts: 1159000 | #Constraints: 36182
1520.26/1525.35 c #Conflicts: 1160000 | #Constraints: 37182
1520.26/1525.35 c #Conflicts: 1161000 | #Constraints: 38182
1520.26/1525.35 c #Conflicts: 1162000 | #Constraints: 39182
1520.26/1525.35 c #Conflicts: 1163000 | #Constraints: 40182
1520.26/1525.35 c #Conflicts: 1164000 | #Constraints: 41182
1520.26/1525.35 c #Conflicts: 1165000 | #Constraints: 42182
1520.26/1525.35 c #Conflicts: 1166000 | #Constraints: 43182
1520.26/1525.35 c #Conflicts: 1167000 | #Constraints: 44182
1520.26/1525.35 c #Conflicts: 1168000 | #Constraints: 45182
1520.26/1525.35 c INPROCESSING
1520.26/1525.35 c GARBAGE COLLECT
1520.26/1525.35 c #Conflicts: 1169000 | #Constraints: 24742
1520.26/1525.35 c #Conflicts: 1170000 | #Constraints: 25742
1520.26/1525.35 c #Conflicts: 1171000 | #Constraints: 26742
1520.26/1525.35 c #Conflicts: 1172000 | #Constraints: 27742
1520.26/1525.35 c #Conflicts: 1173000 | #Constraints: 28742
1520.26/1525.35 c #Conflicts: 1174000 | #Constraints: 29742
1520.26/1525.35 c #Conflicts: 1175000 | #Constraints: 30742
1520.26/1525.35 c #Conflicts: 1176000 | #Constraints: 31742
1520.26/1525.35 c #Conflicts: 1177000 | #Constraints: 32742
1520.26/1525.35 c #Conflicts: 1178000 | #Constraints: 33742
1520.26/1525.35 c #Conflicts: 1179000 | #Constraints: 34742
1520.26/1525.35 c #Conflicts: 1180000 | #Constraints: 35742
1520.26/1525.35 c #Conflicts: 1181000 | #Constraints: 36742
1520.26/1525.35 c #Conflicts: 1182000 | #Constraints: 37742
1520.26/1525.35 c #Conflicts: 1183000 | #Constraints: 38742
1520.26/1525.35 c #Conflicts: 1184000 | #Constraints: 39742
1520.26/1525.35 c #Conflicts: 1185000 | #Constraints: 40742
1520.26/1525.35 c #Conflicts: 1186000 | #Constraints: 41742
1520.26/1525.35 c #Conflicts: 1187000 | #Constraints: 42742
1520.26/1525.35 c #Conflicts: 1188000 | #Constraints: 43742
1520.26/1525.35 c #Conflicts: 1189000 | #Constraints: 44742
1520.26/1525.35 c #Conflicts: 1190000 | #Constraints: 45742
1520.26/1525.35 c INPROCESSING
1520.26/1525.35 c GARBAGE COLLECT
1520.26/1525.35 c #Conflicts: 1191000 | #Constraints: 25129
1520.26/1525.35 c #Conflicts: 1192000 | #Constraints: 26129
1520.26/1525.35 c #Conflicts: 1193000 | #Constraints: 27129
1520.26/1525.35 c #Conflicts: 1194000 | #Constraints: 28129
1520.26/1525.35 c #Conflicts: 1195000 | #Constraints: 29129
1520.26/1525.35 c #Conflicts: 1196000 | #Constraints: 30129
1520.26/1525.35 c #Conflicts: 1197000 | #Constraints: 31129
1520.26/1525.35 c #Conflicts: 1198000 | #Constraints: 32129
1520.26/1525.35 c #Conflicts: 1199000 | #Constraints: 33129
1520.26/1525.35 c #Conflicts: 1200000 | #Constraints: 34129
1520.26/1525.35 c #Conflicts: 1201000 | #Constraints: 35129
1520.26/1525.35 c #Conflicts: 1202000 | #Constraints: 36129
1520.26/1525.35 c #Conflicts: 1203000 | #Constraints: 37129
1520.26/1525.35 c #Conflicts: 1204000 | #Constraints: 38129
1520.26/1525.35 c #Conflicts: 1205000 | #Constraints: 39129
1520.26/1525.35 c #Conflicts: 1206000 | #Constraints: 40129
1679.92/1685.50 c #Conflicts: 1207000 | #Constraints: 41129
1679.92/1685.50 c #Conflicts: 1208000 | #Constraints: 42129
1679.92/1685.50 c #Conflicts: 1209000 | #Constraints: 43129
1679.92/1685.50 c #Conflicts: 1210000 | #Constraints: 44129
1679.92/1685.50 c #Conflicts: 1211000 | #Constraints: 45129
1679.92/1685.50 c #Conflicts: 1212000 | #Constraints: 46129
1679.92/1685.50 c INPROCESSING
1679.92/1685.50 c GARBAGE COLLECT
1679.92/1685.50 c #Conflicts: 1213000 | #Constraints: 25377
1679.92/1685.50 c #Conflicts: 1214000 | #Constraints: 26377
1679.92/1685.50 c #Conflicts: 1215000 | #Constraints: 27377
1679.92/1685.50 c #Conflicts: 1216000 | #Constraints: 28377
1679.92/1685.50 c #Conflicts: 1217000 | #Constraints: 29377
1679.92/1685.50 c #Conflicts: 1218000 | #Constraints: 30377
1679.92/1685.50 c #Conflicts: 1219000 | #Constraints: 31377
1679.92/1685.50 c #Conflicts: 1220000 | #Constraints: 32377
1679.92/1685.50 c #Conflicts: 1221000 | #Constraints: 33377
1679.92/1685.50 c #Conflicts: 1222000 | #Constraints: 34377
1679.92/1685.50 c #Conflicts: 1223000 | #Constraints: 35377
1679.92/1685.50 c #Conflicts: 1224000 | #Constraints: 36377
1679.92/1685.50 c #Conflicts: 1225000 | #Constraints: 37377
1679.92/1685.50 c #Conflicts: 1226000 | #Constraints: 38377
1679.92/1685.50 c #Conflicts: 1227000 | #Constraints: 39377
1679.92/1685.50 c #Conflicts: 1228000 | #Constraints: 40377
1679.92/1685.50 c #Conflicts: 1229000 | #Constraints: 41377
1679.92/1685.50 c #Conflicts: 1230000 | #Constraints: 42377
1679.92/1685.50 c #Conflicts: 1231000 | #Constraints: 43377
1679.92/1685.50 c #Conflicts: 1232000 | #Constraints: 44377
1679.92/1685.50 c #Conflicts: 1233000 | #Constraints: 45377
1679.92/1685.50 c #Conflicts: 1234000 | #Constraints: 46377
1679.92/1685.50 c INPROCESSING
1679.92/1685.50 c GARBAGE COLLECT
1679.92/1685.50 c #Conflicts: 1235000 | #Constraints: 25379
1679.92/1685.50 c #Conflicts: 1236000 | #Constraints: 26379
1679.92/1685.50 c #Conflicts: 1237000 | #Constraints: 27379
1679.92/1685.50 c #Conflicts: 1238000 | #Constraints: 28379
1679.92/1685.50 c #Conflicts: 1239000 | #Constraints: 29379
1679.92/1685.50 c #Conflicts: 1240000 | #Constraints: 30379
1679.92/1685.50 c #Conflicts: 1241000 | #Constraints: 31379
1679.92/1685.50 c #Conflicts: 1242000 | #Constraints: 32379
1679.92/1685.50 c #Conflicts: 1243000 | #Constraints: 33379
1679.92/1685.50 c #Conflicts: 1244000 | #Constraints: 34379
1679.92/1685.50 c #Conflicts: 1245000 | #Constraints: 35379
1679.92/1685.50 c #Conflicts: 1246000 | #Constraints: 36379
1679.92/1685.50 c #Conflicts: 1247000 | #Constraints: 37379
1679.92/1685.50 c #Conflicts: 1248000 | #Constraints: 38379
1679.92/1685.50 c #Conflicts: 1249000 | #Constraints: 39379
1679.92/1685.50 c #Conflicts: 1250000 | #Constraints: 40379
1679.92/1685.50 c #Conflicts: 1251000 | #Constraints: 41379
1679.92/1685.50 c #Conflicts: 1252000 | #Constraints: 42379
1679.92/1685.50 c #Conflicts: 1253000 | #Constraints: 43379
1679.92/1685.50 c #Conflicts: 1254000 | #Constraints: 44379
1679.92/1685.50 c #Conflicts: 1255000 | #Constraints: 45379
1679.92/1685.50 c #Conflicts: 1256000 | #Constraints: 46379
1679.92/1685.50 c INPROCESSING
1679.92/1685.50 c GARBAGE COLLECT
1679.92/1685.50 c #Conflicts: 1257000 | #Constraints: 25218
1679.92/1685.50 c #Conflicts: 1258000 | #Constraints: 26218
1679.92/1685.50 c #Conflicts: 1259000 | #Constraints: 27218
1679.92/1685.50 c #Conflicts: 1260000 | #Constraints: 28218
1679.92/1685.50 c #Conflicts: 1261000 | #Constraints: 29218
1679.92/1685.50 c #Conflicts: 1262000 | #Constraints: 30218
1679.92/1685.50 c #Conflicts: 1263000 | #Constraints: 31218
1679.92/1685.50 c #Conflicts: 1264000 | #Constraints: 32218
1679.92/1685.50 c #Conflicts: 1265000 | #Constraints: 33218
1679.92/1685.50 c #Conflicts: 1266000 | #Constraints: 34218
1679.92/1685.50 c #Conflicts: 1267000 | #Constraints: 35218
1679.92/1685.50 c #Conflicts: 1268000 | #Constraints: 36218
1679.92/1685.50 c #Conflicts: 1269000 | #Constraints: 37218
1679.92/1685.50 c #Conflicts: 1270000 | #Constraints: 38218
1679.92/1685.50 c #Conflicts: 1271000 | #Constraints: 39218
1679.92/1685.50 c #Conflicts: 1272000 | #Constraints: 40218
1679.92/1685.50 c #Conflicts: 1273000 | #Constraints: 41218
1679.92/1685.50 c #Conflicts: 1274000 | #Constraints: 42218
1679.92/1685.50 c #Conflicts: 1275000 | #Constraints: 43218
1679.92/1685.50 c #Conflicts: 1276000 | #Constraints: 44218
1679.92/1685.50 c #Conflicts: 1277000 | #Constraints: 45218
1679.92/1685.50 c #Conflicts: 1278000 | #Constraints: 46218
1679.92/1685.50 c #Conflicts: 1279000 | #Constraints: 47218
1679.92/1685.50 c INPROCESSING
1679.92/1685.50 c GARBAGE COLLECT
1679.92/1685.50 c #Conflicts: 1280000 | #Constraints: 25814
1679.92/1685.50 c #Conflicts: 1281000 | #Constraints: 26814
1679.92/1685.50 c #Conflicts: 1282000 | #Constraints: 27814
1679.92/1685.50 c #Conflicts: 1283000 | #Constraints: 28814
1839.99/1846.15 c #Conflicts: 1284000 | #Constraints: 29814
1839.99/1846.15 c #Conflicts: 1285000 | #Constraints: 30814
1839.99/1846.15 c #Conflicts: 1286000 | #Constraints: 31814
1839.99/1846.15 c #Conflicts: 1287000 | #Constraints: 32814
1839.99/1846.15 c #Conflicts: 1288000 | #Constraints: 33814
1839.99/1846.15 c #Conflicts: 1289000 | #Constraints: 34814
1839.99/1846.15 c #Conflicts: 1290000 | #Constraints: 35814
1839.99/1846.15 c #Conflicts: 1291000 | #Constraints: 36814
1839.99/1846.15 c #Conflicts: 1292000 | #Constraints: 37814
1839.99/1846.15 c #Conflicts: 1293000 | #Constraints: 38814
1839.99/1846.15 c #Conflicts: 1294000 | #Constraints: 39814
1839.99/1846.15 c #Conflicts: 1295000 | #Constraints: 40814
1839.99/1846.15 c #Conflicts: 1296000 | #Constraints: 41814
1839.99/1846.15 c #Conflicts: 1297000 | #Constraints: 42814
1839.99/1846.15 c #Conflicts: 1298000 | #Constraints: 43814
1839.99/1846.15 c #Conflicts: 1299000 | #Constraints: 44814
1839.99/1846.15 c #Conflicts: 1300000 | #Constraints: 45814
1839.99/1846.15 c #Conflicts: 1301000 | #Constraints: 46814
1839.99/1846.15 c #Conflicts: 1302000 | #Constraints: 47814
1839.99/1846.15 c INPROCESSING
1839.99/1846.15 c GARBAGE COLLECT
1839.99/1846.15 c #Conflicts: 1303000 | #Constraints: 26199
1839.99/1846.15 c #Conflicts: 1304000 | #Constraints: 27199
1839.99/1846.15 c #Conflicts: 1305000 | #Constraints: 28199
1839.99/1846.15 c #Conflicts: 1306000 | #Constraints: 29199
1839.99/1846.15 c #Conflicts: 1307000 | #Constraints: 30199
1839.99/1846.15 c #Conflicts: 1308000 | #Constraints: 31199
1839.99/1846.15 c #Conflicts: 1309000 | #Constraints: 32199
1839.99/1846.15 c #Conflicts: 1310000 | #Constraints: 33199
1839.99/1846.15 c #Conflicts: 1311000 | #Constraints: 34199
1839.99/1846.15 c #Conflicts: 1312000 | #Constraints: 35199
1839.99/1846.15 c #Conflicts: 1313000 | #Constraints: 36199
1839.99/1846.15 c #Conflicts: 1314000 | #Constraints: 37199
1839.99/1846.15 c #Conflicts: 1315000 | #Constraints: 38199
1839.99/1846.15 c #Conflicts: 1316000 | #Constraints: 39199
1839.99/1846.15 c #Conflicts: 1317000 | #Constraints: 40199
1839.99/1846.15 c #Conflicts: 1318000 | #Constraints: 41199
1839.99/1846.15 c #Conflicts: 1319000 | #Constraints: 42199
1839.99/1846.15 c #Conflicts: 1320000 | #Constraints: 43199
1839.99/1846.15 c #Conflicts: 1321000 | #Constraints: 44199
1839.99/1846.15 c #Conflicts: 1322000 | #Constraints: 45199
1839.99/1846.15 c #Conflicts: 1323000 | #Constraints: 46199
1839.99/1846.15 c #Conflicts: 1324000 | #Constraints: 47199
1839.99/1846.15 c #Conflicts: 1325000 | #Constraints: 48199
1839.99/1846.15 c INPROCESSING
1839.99/1846.15 c GARBAGE COLLECT
1839.99/1846.15 c #Conflicts: 1326000 | #Constraints: 26394
1839.99/1846.15 c #Conflicts: 1327000 | #Constraints: 27394
1839.99/1846.15 c #Conflicts: 1328000 | #Constraints: 28394
1839.99/1846.15 c #Conflicts: 1329000 | #Constraints: 29394
1839.99/1846.15 c #Conflicts: 1330000 | #Constraints: 30394
1839.99/1846.15 c #Conflicts: 1331000 | #Constraints: 31394
1839.99/1846.15 c #Conflicts: 1332000 | #Constraints: 32394
1839.99/1846.15 c #Conflicts: 1333000 | #Constraints: 33394
1839.99/1846.15 c #Conflicts: 1334000 | #Constraints: 34394
1839.99/1846.15 c #Conflicts: 1335000 | #Constraints: 35394
1839.99/1846.15 c #Conflicts: 1336000 | #Constraints: 36394
1839.99/1846.15 c #Conflicts: 1337000 | #Constraints: 37394
1839.99/1846.15 c #Conflicts: 1338000 | #Constraints: 38394
1839.99/1846.15 c #Conflicts: 1339000 | #Constraints: 39394
1839.99/1846.15 c #Conflicts: 1340000 | #Constraints: 40394
1839.99/1846.15 c #Conflicts: 1341000 | #Constraints: 41394
1839.99/1846.15 c #Conflicts: 1342000 | #Constraints: 42394
1839.99/1846.15 c #Conflicts: 1343000 | #Constraints: 43394
1839.99/1846.15 c #Conflicts: 1344000 | #Constraints: 44394
1839.99/1846.15 c #Conflicts: 1345000 | #Constraints: 45394
1839.99/1846.15 c #Conflicts: 1346000 | #Constraints: 46394
1839.99/1846.15 c #Conflicts: 1347000 | #Constraints: 47394
1839.99/1846.15 c #Conflicts: 1348000 | #Constraints: 48394
1839.99/1846.15 c INPROCESSING
1839.99/1846.15 c GARBAGE COLLECT
1839.99/1846.15 c #Conflicts: 1349000 | #Constraints: 26442
1839.99/1846.15 c #Conflicts: 1350000 | #Constraints: 27442
1839.99/1846.15 c #Conflicts: 1351000 | #Constraints: 28442
1839.99/1846.15 c #Conflicts: 1352000 | #Constraints: 29442
1839.99/1846.15 c #Conflicts: 1353000 | #Constraints: 30442
1839.99/1846.15 c #Conflicts: 1354000 | #Constraints: 31442
1839.99/1846.15 c #Conflicts: 1355000 | #Constraints: 32442
1839.99/1846.15 c #Conflicts: 1356000 | #Constraints: 33442
1839.99/1846.15 c #Conflicts: 1357000 | #Constraints: 34442
1839.99/1846.15 c #Conflicts: 1358000 | #Constraints: 35442
1839.99/1846.15 c #Conflicts: 1359000 | #Constraints: 36442
1839.99/1846.15 c #Conflicts: 1360000 | #Constraints: 37442
1987.74/1994.38 c #Conflicts: 1361000 | #Constraints: 38442
1987.74/1994.38 c #Conflicts: 1362000 | #Constraints: 39442
1987.74/1994.38 c #Conflicts: 1363000 | #Constraints: 40442
1987.74/1994.38 c #Conflicts: 1364000 | #Constraints: 41442
1987.74/1994.38 c #Conflicts: 1365000 | #Constraints: 42442
1987.74/1994.38 c #Conflicts: 1366000 | #Constraints: 43442
1987.74/1994.38 c #Conflicts: 1367000 | #Constraints: 44442
1987.74/1994.38 c #Conflicts: 1368000 | #Constraints: 45442
1987.74/1994.38 c #Conflicts: 1369000 | #Constraints: 46442
1987.74/1994.38 c #Conflicts: 1370000 | #Constraints: 47442
1987.74/1994.38 c #Conflicts: 1371000 | #Constraints: 48442
1987.74/1994.38 c INPROCESSING
1987.74/1994.38 c GARBAGE COLLECT
1987.74/1994.38 c #Conflicts: 1372000 | #Constraints: 26237
1987.74/1994.38 c #Conflicts: 1373000 | #Constraints: 27237
1987.74/1994.38 c #Conflicts: 1374000 | #Constraints: 28237
1987.74/1994.38 c #Conflicts: 1375000 | #Constraints: 29237
1987.74/1994.38 c #Conflicts: 1376000 | #Constraints: 30237
1987.74/1994.38 c #Conflicts: 1377000 | #Constraints: 31237
1987.74/1994.38 c #Conflicts: 1378000 | #Constraints: 32237
1987.74/1994.38 c #Conflicts: 1379000 | #Constraints: 33237
1987.74/1994.38 c #Conflicts: 1380000 | #Constraints: 34237
1987.74/1994.38 c #Conflicts: 1381000 | #Constraints: 35237
1987.74/1994.38 c #Conflicts: 1382000 | #Constraints: 36237
1987.74/1994.38 c #Conflicts: 1383000 | #Constraints: 37237
1987.74/1994.38 c #Conflicts: 1384000 | #Constraints: 38237
1987.74/1994.38 c #Conflicts: 1385000 | #Constraints: 39237
1987.74/1994.38 c #Conflicts: 1386000 | #Constraints: 40237
1987.74/1994.38 c #Conflicts: 1387000 | #Constraints: 41237
1987.74/1994.38 c #Conflicts: 1388000 | #Constraints: 42237
1987.74/1994.38 c #Conflicts: 1389000 | #Constraints: 43237
1987.74/1994.38 c #Conflicts: 1390000 | #Constraints: 44237
1987.74/1994.38 c #Conflicts: 1391000 | #Constraints: 45237
1987.74/1994.38 c #Conflicts: 1392000 | #Constraints: 46237
1987.74/1994.38 c #Conflicts: 1393000 | #Constraints: 47237
1987.74/1994.38 c #Conflicts: 1394000 | #Constraints: 48237
1987.74/1994.38 c #Conflicts: 1395000 | #Constraints: 49237
1987.74/1994.38 c INPROCESSING
1987.74/1994.38 c GARBAGE COLLECT
1987.74/1994.38 c #Conflicts: 1396000 | #Constraints: 26786
1987.74/1994.38 c #Conflicts: 1397000 | #Constraints: 27786
1987.74/1994.38 c #Conflicts: 1398000 | #Constraints: 28786
1987.74/1994.38 c #Conflicts: 1399000 | #Constraints: 29786
1987.74/1994.38 c #Conflicts: 1400000 | #Constraints: 30786
1987.74/1994.38 c #Conflicts: 1401000 | #Constraints: 31786
1987.74/1994.38 c #Conflicts: 1402000 | #Constraints: 32786
1987.74/1994.38 c #Conflicts: 1403000 | #Constraints: 33786
1987.74/1994.38 c #Conflicts: 1404000 | #Constraints: 34786
1987.74/1994.38 c #Conflicts: 1405000 | #Constraints: 35786
1987.74/1994.38 c #Conflicts: 1406000 | #Constraints: 36786
1987.74/1994.38 c #Conflicts: 1407000 | #Constraints: 37786
1987.74/1994.38 c #Conflicts: 1408000 | #Constraints: 38786
1987.74/1994.38 c #Conflicts: 1409000 | #Constraints: 39786
1987.74/1994.38 c #Conflicts: 1410000 | #Constraints: 40786
1987.74/1994.38 c #Conflicts: 1411000 | #Constraints: 41786
1987.74/1994.38 c #Conflicts: 1412000 | #Constraints: 42786
1987.74/1994.38 c #Conflicts: 1413000 | #Constraints: 43786
1987.74/1994.38 c #Conflicts: 1414000 | #Constraints: 44786
1987.74/1994.38 c #Conflicts: 1415000 | #Constraints: 45786
1987.74/1994.38 c #Conflicts: 1416000 | #Constraints: 46786
1987.74/1994.38 c #Conflicts: 1417000 | #Constraints: 47786
1987.74/1994.38 c #Conflicts: 1418000 | #Constraints: 48786
1987.74/1994.38 c #Conflicts: 1419000 | #Constraints: 49786
1987.74/1994.38 c INPROCESSING
1987.74/1994.38 c GARBAGE COLLECT
1987.74/1994.38 c #Conflicts: 1420000 | #Constraints: 27218
1987.74/1994.38 c #Conflicts: 1421000 | #Constraints: 28218
1987.74/1994.38 c #Conflicts: 1422000 | #Constraints: 29218
1987.74/1994.38 c #Conflicts: 1423000 | #Constraints: 30218
1987.74/1994.38 c #Conflicts: 1424000 | #Constraints: 31218
1987.74/1994.38 c #Conflicts: 1425000 | #Constraints: 32218
1987.74/1994.38 c #Conflicts: 1426000 | #Constraints: 33218
1987.74/1994.38 c #Conflicts: 1427000 | #Constraints: 34218
1987.74/1994.38 c #Conflicts: 1428000 | #Constraints: 35218
1987.74/1994.38 c #Conflicts: 1429000 | #Constraints: 36218
1987.74/1994.38 c #Conflicts: 1430000 | #Constraints: 37218
1987.74/1994.38 c #Conflicts: 1431000 | #Constraints: 38218
1987.74/1994.38 c #Conflicts: 1432000 | #Constraints: 39218
1987.74/1994.38 c #Conflicts: 1433000 | #Constraints: 40218
1987.74/1994.38 c #Conflicts: 1434000 | #Constraints: 41218
1987.74/1994.38 c #Conflicts: 1435000 | #Constraints: 42218
1987.74/1994.38 c #Conflicts: 1436000 | #Constraints: 43218
2136.98/2144.10 c #Conflicts: 1437000 | #Constraints: 44218
2136.98/2144.10 c #Conflicts: 1438000 | #Constraints: 45218
2136.98/2144.10 c #Conflicts: 1439000 | #Constraints: 46218
2136.98/2144.10 c #Conflicts: 1440000 | #Constraints: 47218
2136.98/2144.10 c #Conflicts: 1441000 | #Constraints: 48218
2136.98/2144.10 c #Conflicts: 1442000 | #Constraints: 49218
2136.98/2144.10 c #Conflicts: 1443000 | #Constraints: 50218
2136.98/2144.10 c INPROCESSING
2136.98/2144.10 c GARBAGE COLLECT
2136.98/2144.10 c #Conflicts: 1444000 | #Constraints: 27365
2136.98/2144.10 c #Conflicts: 1445000 | #Constraints: 28365
2136.98/2144.10 c #Conflicts: 1446000 | #Constraints: 29365
2136.98/2144.10 c #Conflicts: 1447000 | #Constraints: 30365
2136.98/2144.10 c #Conflicts: 1448000 | #Constraints: 31365
2136.98/2144.10 c #Conflicts: 1449000 | #Constraints: 32365
2136.98/2144.10 c #Conflicts: 1450000 | #Constraints: 33365
2136.98/2144.10 c #Conflicts: 1451000 | #Constraints: 34365
2136.98/2144.10 c #Conflicts: 1452000 | #Constraints: 35365
2136.98/2144.10 c #Conflicts: 1453000 | #Constraints: 36365
2136.98/2144.10 c #Conflicts: 1454000 | #Constraints: 37365
2136.98/2144.10 c #Conflicts: 1455000 | #Constraints: 38365
2136.98/2144.10 c #Conflicts: 1456000 | #Constraints: 39365
2136.98/2144.10 c #Conflicts: 1457000 | #Constraints: 40365
2136.98/2144.10 c #Conflicts: 1458000 | #Constraints: 41365
2136.98/2144.10 c #Conflicts: 1459000 | #Constraints: 42365
2136.98/2144.10 c #Conflicts: 1460000 | #Constraints: 43365
2136.98/2144.10 c #Conflicts: 1461000 | #Constraints: 44365
2136.98/2144.10 c #Conflicts: 1462000 | #Constraints: 45365
2136.98/2144.10 c #Conflicts: 1463000 | #Constraints: 46365
2136.98/2144.10 c #Conflicts: 1464000 | #Constraints: 47365
2136.98/2144.10 c #Conflicts: 1465000 | #Constraints: 48365
2136.98/2144.10 c #Conflicts: 1466000 | #Constraints: 49365
2136.98/2144.10 c #Conflicts: 1467000 | #Constraints: 50365
2136.98/2144.10 c INPROCESSING
2136.98/2144.10 c GARBAGE COLLECT
2136.98/2144.10 c #Conflicts: 1468000 | #Constraints: 27341
2136.98/2144.10 c #Conflicts: 1469000 | #Constraints: 28341
2136.98/2144.10 c #Conflicts: 1470000 | #Constraints: 29341
2136.98/2144.10 c #Conflicts: 1471000 | #Constraints: 30341
2136.98/2144.10 c #Conflicts: 1472000 | #Constraints: 31341
2136.98/2144.10 c #Conflicts: 1473000 | #Constraints: 32341
2136.98/2144.10 c #Conflicts: 1474000 | #Constraints: 33341
2136.98/2144.10 c #Conflicts: 1475000 | #Constraints: 34341
2136.98/2144.10 c #Conflicts: 1476000 | #Constraints: 35341
2136.98/2144.10 c #Conflicts: 1477000 | #Constraints: 36341
2136.98/2144.10 c #Conflicts: 1478000 | #Constraints: 37341
2136.98/2144.10 c #Conflicts: 1479000 | #Constraints: 38341
2136.98/2144.10 c #Conflicts: 1480000 | #Constraints: 39341
2136.98/2144.10 c #Conflicts: 1481000 | #Constraints: 40341
2136.98/2144.10 c #Conflicts: 1482000 | #Constraints: 41341
2136.98/2144.10 c #Conflicts: 1483000 | #Constraints: 42341
2136.98/2144.10 c #Conflicts: 1484000 | #Constraints: 43341
2136.98/2144.10 c #Conflicts: 1485000 | #Constraints: 44341
2136.98/2144.10 c #Conflicts: 1486000 | #Constraints: 45341
2136.98/2144.10 c #Conflicts: 1487000 | #Constraints: 46341
2136.98/2144.10 c #Conflicts: 1488000 | #Constraints: 47341
2136.98/2144.10 c #Conflicts: 1489000 | #Constraints: 48341
2136.98/2144.10 c #Conflicts: 1490000 | #Constraints: 49341
2136.98/2144.10 c #Conflicts: 1491000 | #Constraints: 50341
2136.98/2144.10 c INPROCESSING
2136.98/2144.10 c GARBAGE COLLECT
2136.98/2144.10 c #Conflicts: 1492000 | #Constraints: 27135
2136.98/2144.10 c #Conflicts: 1493000 | #Constraints: 28135
2136.98/2144.10 c #Conflicts: 1494000 | #Constraints: 29135
2136.98/2144.10 c #Conflicts: 1495000 | #Constraints: 30135
2136.98/2144.10 c #Conflicts: 1496000 | #Constraints: 31135
2136.98/2144.10 c #Conflicts: 1497000 | #Constraints: 32135
2136.98/2144.10 c #Conflicts: 1498000 | #Constraints: 33135
2136.98/2144.10 c #Conflicts: 1499000 | #Constraints: 34135
2136.98/2144.10 c #Conflicts: 1500000 | #Constraints: 35135
2136.98/2144.10 c #Conflicts: 1501000 | #Constraints: 36135
2136.98/2144.10 c #Conflicts: 1502000 | #Constraints: 37135
2136.98/2144.10 c #Conflicts: 1503000 | #Constraints: 38135
2136.98/2144.10 c #Conflicts: 1504000 | #Constraints: 39135
2136.98/2144.10 c #Conflicts: 1505000 | #Constraints: 40135
2136.98/2144.10 c #Conflicts: 1506000 | #Constraints: 41135
2136.98/2144.10 c #Conflicts: 1507000 | #Constraints: 42135
2136.98/2144.10 c #Conflicts: 1508000 | #Constraints: 43135
2136.98/2144.10 c #Conflicts: 1509000 | #Constraints: 44135
2136.98/2144.10 c #Conflicts: 1510000 | #Constraints: 45135
2136.98/2144.10 c #Conflicts: 1511000 | #Constraints: 46135
2136.98/2144.10 c #Conflicts: 1512000 | #Constraints: 47135
2136.98/2144.10 c #Conflicts: 1513000 | #Constraints: 48135
2297.17/2304.78 c #Conflicts: 1514000 | #Constraints: 49135
2297.17/2304.78 c #Conflicts: 1515000 | #Constraints: 50135
2297.17/2304.78 c #Conflicts: 1516000 | #Constraints: 51135
2297.17/2304.78 c INPROCESSING
2297.17/2304.78 c GARBAGE COLLECT
2297.17/2304.78 c #Conflicts: 1517000 | #Constraints: 27742
2297.17/2304.78 c #Conflicts: 1518000 | #Constraints: 28742
2297.17/2304.78 c #Conflicts: 1519000 | #Constraints: 29742
2297.17/2304.78 c #Conflicts: 1520000 | #Constraints: 30742
2297.17/2304.78 c #Conflicts: 1521000 | #Constraints: 31742
2297.17/2304.78 c #Conflicts: 1522000 | #Constraints: 32742
2297.17/2304.78 c #Conflicts: 1523000 | #Constraints: 33742
2297.17/2304.78 c #Conflicts: 1524000 | #Constraints: 34742
2297.17/2304.78 c #Conflicts: 1525000 | #Constraints: 35742
2297.17/2304.78 c #Conflicts: 1526000 | #Constraints: 36742
2297.17/2304.78 c #Conflicts: 1527000 | #Constraints: 37742
2297.17/2304.78 c #Conflicts: 1528000 | #Constraints: 38742
2297.17/2304.78 c #Conflicts: 1529000 | #Constraints: 39742
2297.17/2304.78 c #Conflicts: 1530000 | #Constraints: 40742
2297.17/2304.78 c #Conflicts: 1531000 | #Constraints: 41742
2297.17/2304.78 c #Conflicts: 1532000 | #Constraints: 42742
2297.17/2304.78 c #Conflicts: 1533000 | #Constraints: 43742
2297.17/2304.78 c #Conflicts: 1534000 | #Constraints: 44742
2297.17/2304.78 c #Conflicts: 1535000 | #Constraints: 45742
2297.17/2304.78 c #Conflicts: 1536000 | #Constraints: 46742
2297.17/2304.78 c #Conflicts: 1537000 | #Constraints: 47742
2297.17/2304.78 c #Conflicts: 1538000 | #Constraints: 48742
2297.17/2304.78 c #Conflicts: 1539000 | #Constraints: 49742
2297.17/2304.78 c #Conflicts: 1540000 | #Constraints: 50742
2297.17/2304.78 c #Conflicts: 1541000 | #Constraints: 51742
2297.17/2304.78 c INPROCESSING
2297.17/2304.78 c GARBAGE COLLECT
2297.17/2304.78 c #Conflicts: 1542000 | #Constraints: 28213
2297.17/2304.78 c #Conflicts: 1543000 | #Constraints: 29213
2297.17/2304.78 c #Conflicts: 1544000 | #Constraints: 30213
2297.17/2304.78 c #Conflicts: 1545000 | #Constraints: 31213
2297.17/2304.78 c #Conflicts: 1546000 | #Constraints: 32213
2297.17/2304.78 c #Conflicts: 1547000 | #Constraints: 33213
2297.17/2304.78 c #Conflicts: 1548000 | #Constraints: 34213
2297.17/2304.78 c #Conflicts: 1549000 | #Constraints: 35213
2297.17/2304.78 c #Conflicts: 1550000 | #Constraints: 36213
2297.17/2304.78 c #Conflicts: 1551000 | #Constraints: 37213
2297.17/2304.78 c #Conflicts: 1552000 | #Constraints: 38213
2297.17/2304.78 c #Conflicts: 1553000 | #Constraints: 39213
2297.17/2304.78 c #Conflicts: 1554000 | #Constraints: 40213
2297.17/2304.78 c #Conflicts: 1555000 | #Constraints: 41213
2297.17/2304.78 c #Conflicts: 1556000 | #Constraints: 42213
2297.17/2304.78 c #Conflicts: 1557000 | #Constraints: 43213
2297.17/2304.78 c #Conflicts: 1558000 | #Constraints: 44213
2297.17/2304.78 c #Conflicts: 1559000 | #Constraints: 45213
2297.17/2304.78 c #Conflicts: 1560000 | #Constraints: 46213
2297.17/2304.78 c #Conflicts: 1561000 | #Constraints: 47213
2297.17/2304.78 c #Conflicts: 1562000 | #Constraints: 48213
2297.17/2304.78 c #Conflicts: 1563000 | #Constraints: 49213
2297.17/2304.78 c #Conflicts: 1564000 | #Constraints: 50213
2297.17/2304.78 c #Conflicts: 1565000 | #Constraints: 51213
2297.17/2304.78 c #Conflicts: 1566000 | #Constraints: 52213
2297.17/2304.78 c INPROCESSING
2297.17/2304.78 c GARBAGE COLLECT
2297.17/2304.78 c #Conflicts: 1567000 | #Constraints: 28433
2297.17/2304.78 c #Conflicts: 1568000 | #Constraints: 29433
2297.17/2304.78 c #Conflicts: 1569000 | #Constraints: 30433
2297.17/2304.78 c #Conflicts: 1570000 | #Constraints: 31433
2297.17/2304.78 c #Conflicts: 1571000 | #Constraints: 32433
2297.17/2304.78 c #Conflicts: 1572000 | #Constraints: 33433
2297.17/2304.78 c #Conflicts: 1573000 | #Constraints: 34433
2297.17/2304.78 c #Conflicts: 1574000 | #Constraints: 35433
2297.17/2304.78 c #Conflicts: 1575000 | #Constraints: 36433
2297.17/2304.78 c #Conflicts: 1576000 | #Constraints: 37433
2297.17/2304.78 c #Conflicts: 1577000 | #Constraints: 38433
2297.17/2304.78 c #Conflicts: 1578000 | #Constraints: 39433
2297.17/2304.78 c #Conflicts: 1579000 | #Constraints: 40433
2297.17/2304.78 c #Conflicts: 1580000 | #Constraints: 41433
2297.17/2304.78 c #Conflicts: 1581000 | #Constraints: 42433
2297.17/2304.78 c #Conflicts: 1582000 | #Constraints: 43433
2297.17/2304.78 c #Conflicts: 1583000 | #Constraints: 44433
2297.17/2304.78 c #Conflicts: 1584000 | #Constraints: 45433
2297.17/2304.78 c #Conflicts: 1585000 | #Constraints: 46433
2297.17/2304.78 c #Conflicts: 1586000 | #Constraints: 47433
2297.17/2304.78 c #Conflicts: 1587000 | #Constraints: 48433
2297.17/2304.78 c #Conflicts: 1588000 | #Constraints: 49433
2297.17/2304.78 c #Conflicts: 1589000 | #Constraints: 50433
2297.17/2304.78 c #Conflicts: 1590000 | #Constraints: 51433
2468.61/2476.76 c #Conflicts: 1591000 | #Constraints: 52433
2468.61/2476.76 c INPROCESSING
2468.61/2476.76 c GARBAGE COLLECT
2468.61/2476.76 c #Conflicts: 1592000 | #Constraints: 28415
2468.61/2476.76 c #Conflicts: 1593000 | #Constraints: 29415
2468.61/2476.76 c #Conflicts: 1594000 | #Constraints: 30415
2468.61/2476.76 c #Conflicts: 1595000 | #Constraints: 31415
2468.61/2476.76 c #Conflicts: 1596000 | #Constraints: 32415
2468.61/2476.76 c #Conflicts: 1597000 | #Constraints: 33415
2468.61/2476.76 c #Conflicts: 1598000 | #Constraints: 34415
2468.61/2476.76 c #Conflicts: 1599000 | #Constraints: 35415
2468.61/2476.76 c #Conflicts: 1600000 | #Constraints: 36415
2468.61/2476.76 c #Conflicts: 1601000 | #Constraints: 37415
2468.61/2476.76 c #Conflicts: 1602000 | #Constraints: 38415
2468.61/2476.76 c #Conflicts: 1603000 | #Constraints: 39415
2468.61/2476.76 c #Conflicts: 1604000 | #Constraints: 40415
2468.61/2476.76 c #Conflicts: 1605000 | #Constraints: 41415
2468.61/2476.76 c #Conflicts: 1606000 | #Constraints: 42415
2468.61/2476.76 c #Conflicts: 1607000 | #Constraints: 43415
2468.61/2476.76 c #Conflicts: 1608000 | #Constraints: 44415
2468.61/2476.76 c #Conflicts: 1609000 | #Constraints: 45415
2468.61/2476.76 c #Conflicts: 1610000 | #Constraints: 46415
2468.61/2476.76 c #Conflicts: 1611000 | #Constraints: 47415
2468.61/2476.76 c #Conflicts: 1612000 | #Constraints: 48415
2468.61/2476.76 c #Conflicts: 1613000 | #Constraints: 49415
2468.61/2476.76 c #Conflicts: 1614000 | #Constraints: 50415
2468.61/2476.76 c #Conflicts: 1615000 | #Constraints: 51415
2468.61/2476.76 c #Conflicts: 1616000 | #Constraints: 52415
2468.61/2476.76 c INPROCESSING
2468.61/2476.76 c GARBAGE COLLECT
2468.61/2476.76 c #Conflicts: 1617000 | #Constraints: 28264
2468.61/2476.76 c #Conflicts: 1618000 | #Constraints: 29264
2468.61/2476.76 c #Conflicts: 1619000 | #Constraints: 30264
2468.61/2476.76 c #Conflicts: 1620000 | #Constraints: 31264
2468.61/2476.76 c #Conflicts: 1621000 | #Constraints: 32264
2468.61/2476.76 c #Conflicts: 1622000 | #Constraints: 33264
2468.61/2476.76 c #Conflicts: 1623000 | #Constraints: 34264
2468.61/2476.76 c #Conflicts: 1624000 | #Constraints: 35264
2468.61/2476.76 c #Conflicts: 1625000 | #Constraints: 36264
2468.61/2476.76 c #Conflicts: 1626000 | #Constraints: 37264
2468.61/2476.76 c #Conflicts: 1627000 | #Constraints: 38264
2468.61/2476.76 c #Conflicts: 1628000 | #Constraints: 39264
2468.61/2476.76 c #Conflicts: 1629000 | #Constraints: 40264
2468.61/2476.76 c #Conflicts: 1630000 | #Constraints: 41264
2468.61/2476.76 c #Conflicts: 1631000 | #Constraints: 42264
2468.61/2476.76 c #Conflicts: 1632000 | #Constraints: 43264
2468.61/2476.76 c #Conflicts: 1633000 | #Constraints: 44264
2468.61/2476.76 c #Conflicts: 1634000 | #Constraints: 45264
2468.61/2476.76 c #Conflicts: 1635000 | #Constraints: 46264
2468.61/2476.76 c #Conflicts: 1636000 | #Constraints: 47264
2468.61/2476.76 c #Conflicts: 1637000 | #Constraints: 48264
2468.61/2476.76 c #Conflicts: 1638000 | #Constraints: 49264
2468.61/2476.76 c #Conflicts: 1639000 | #Constraints: 50264
2468.61/2476.76 c #Conflicts: 1640000 | #Constraints: 51264
2468.61/2476.76 c #Conflicts: 1641000 | #Constraints: 52264
2468.61/2476.76 c #Conflicts: 1642000 | #Constraints: 53264
2468.61/2476.76 c INPROCESSING
2468.61/2476.76 c GARBAGE COLLECT
2468.61/2476.76 c #Conflicts: 1643000 | #Constraints: 28857
2468.61/2476.76 c #Conflicts: 1644000 | #Constraints: 29857
2468.61/2476.76 c #Conflicts: 1645000 | #Constraints: 30857
2468.61/2476.76 c #Conflicts: 1646000 | #Constraints: 31857
2468.61/2476.76 c #Conflicts: 1647000 | #Constraints: 32857
2468.61/2476.76 c #Conflicts: 1648000 | #Constraints: 33857
2468.61/2476.76 c #Conflicts: 1649000 | #Constraints: 34857
2468.61/2476.76 c #Conflicts: 1650000 | #Constraints: 35857
2468.61/2476.76 c #Conflicts: 1651000 | #Constraints: 36857
2468.61/2476.76 c #Conflicts: 1652000 | #Constraints: 37857
2468.61/2476.76 c #Conflicts: 1653000 | #Constraints: 38857
2468.61/2476.76 c #Conflicts: 1654000 | #Constraints: 39857
2468.61/2476.76 c #Conflicts: 1655000 | #Constraints: 40857
2468.61/2476.76 c #Conflicts: 1656000 | #Constraints: 41857
2468.61/2476.76 c #Conflicts: 1657000 | #Constraints: 42857
2468.61/2476.76 c #Conflicts: 1658000 | #Constraints: 43857
2468.61/2476.76 c #Conflicts: 1659000 | #Constraints: 44857
2468.61/2476.76 c #Conflicts: 1660000 | #Constraints: 45857
2468.61/2476.76 c #Conflicts: 1661000 | #Constraints: 46857
2468.61/2476.76 c #Conflicts: 1662000 | #Constraints: 47857
2468.61/2476.76 c #Conflicts: 1663000 | #Constraints: 48857
2468.61/2476.76 c #Conflicts: 1664000 | #Constraints: 49857
2468.61/2476.76 c #Conflicts: 1665000 | #Constraints: 50857
2468.61/2476.76 c #Conflicts: 1666000 | #Constraints: 51857
2468.61/2476.76 c #Conflicts: 1667000 | #Constraints: 52857
2665.89/2674.64 c #Conflicts: 1668000 | #Constraints: 53857
2665.89/2674.64 c INPROCESSING
2665.89/2674.64 c GARBAGE COLLECT
2665.89/2674.64 c #Conflicts: 1669000 | #Constraints: 29273
2665.89/2674.64 c #Conflicts: 1670000 | #Constraints: 30273
2665.89/2674.64 c #Conflicts: 1671000 | #Constraints: 31273
2665.89/2674.64 c #Conflicts: 1672000 | #Constraints: 32273
2665.89/2674.64 c #Conflicts: 1673000 | #Constraints: 33273
2665.89/2674.64 c #Conflicts: 1674000 | #Constraints: 34273
2665.89/2674.64 c #Conflicts: 1675000 | #Constraints: 35273
2665.89/2674.64 c #Conflicts: 1676000 | #Constraints: 36273
2665.89/2674.64 c #Conflicts: 1677000 | #Constraints: 37273
2665.89/2674.64 c #Conflicts: 1678000 | #Constraints: 38273
2665.89/2674.64 c #Conflicts: 1679000 | #Constraints: 39273
2665.89/2674.64 c #Conflicts: 1680000 | #Constraints: 40273
2665.89/2674.64 c #Conflicts: 1681000 | #Constraints: 41273
2665.89/2674.64 c #Conflicts: 1682000 | #Constraints: 42273
2665.89/2674.64 c #Conflicts: 1683000 | #Constraints: 43273
2665.89/2674.64 c #Conflicts: 1684000 | #Constraints: 44273
2665.89/2674.64 c #Conflicts: 1685000 | #Constraints: 45273
2665.89/2674.64 c #Conflicts: 1686000 | #Constraints: 46273
2665.89/2674.64 c #Conflicts: 1687000 | #Constraints: 47273
2665.89/2674.64 c #Conflicts: 1688000 | #Constraints: 48273
2665.89/2674.64 c #Conflicts: 1689000 | #Constraints: 49273
2665.89/2674.64 c #Conflicts: 1690000 | #Constraints: 50273
2665.89/2674.64 c #Conflicts: 1691000 | #Constraints: 51273
2665.89/2674.64 c #Conflicts: 1692000 | #Constraints: 52273
2665.89/2674.64 c #Conflicts: 1693000 | #Constraints: 53273
2665.89/2674.64 c #Conflicts: 1694000 | #Constraints: 54273
2665.89/2674.64 c INPROCESSING
2665.89/2674.64 c GARBAGE COLLECT
2665.89/2674.64 c #Conflicts: 1695000 | #Constraints: 29464
2665.89/2674.64 c #Conflicts: 1696000 | #Constraints: 30464
2665.89/2674.64 c #Conflicts: 1697000 | #Constraints: 31464
2665.89/2674.64 c #Conflicts: 1698000 | #Constraints: 32464
2665.89/2674.64 c #Conflicts: 1699000 | #Constraints: 33464
2665.89/2674.64 c #Conflicts: 1700000 | #Constraints: 34464
2665.89/2674.64 c #Conflicts: 1701000 | #Constraints: 35464
2665.89/2674.64 c #Conflicts: 1702000 | #Constraints: 36464
2665.89/2674.64 c #Conflicts: 1703000 | #Constraints: 37464
2665.89/2674.64 c #Conflicts: 1704000 | #Constraints: 38464
2665.89/2674.64 c #Conflicts: 1705000 | #Constraints: 39464
2665.89/2674.64 c #Conflicts: 1706000 | #Constraints: 40464
2665.89/2674.64 c #Conflicts: 1707000 | #Constraints: 41464
2665.89/2674.64 c #Conflicts: 1708000 | #Constraints: 42464
2665.89/2674.64 c #Conflicts: 1709000 | #Constraints: 43464
2665.89/2674.64 c #Conflicts: 1710000 | #Constraints: 44464
2665.89/2674.64 c #Conflicts: 1711000 | #Constraints: 45464
2665.89/2674.64 c #Conflicts: 1712000 | #Constraints: 46464
2665.89/2674.64 c #Conflicts: 1713000 | #Constraints: 47464
2665.89/2674.64 c #Conflicts: 1714000 | #Constraints: 48464
2665.89/2674.64 c #Conflicts: 1715000 | #Constraints: 49464
2665.89/2674.64 c #Conflicts: 1716000 | #Constraints: 50464
2665.89/2674.64 c #Conflicts: 1717000 | #Constraints: 51464
2665.89/2674.64 c #Conflicts: 1718000 | #Constraints: 52464
2665.89/2674.64 c #Conflicts: 1719000 | #Constraints: 53464
2665.89/2674.64 c #Conflicts: 1720000 | #Constraints: 54464
2665.89/2674.64 c INPROCESSING
2665.89/2674.64 c GARBAGE COLLECT
2665.89/2674.64 c #Conflicts: 1721000 | #Constraints: 29474
2665.89/2674.64 c #Conflicts: 1722000 | #Constraints: 30474
2665.89/2674.64 c #Conflicts: 1723000 | #Constraints: 31474
2665.89/2674.64 c #Conflicts: 1724000 | #Constraints: 32474
2665.89/2674.64 c #Conflicts: 1725000 | #Constraints: 33474
2665.89/2674.64 c #Conflicts: 1726000 | #Constraints: 34474
2665.89/2674.64 c #Conflicts: 1727000 | #Constraints: 35474
2665.89/2674.64 c #Conflicts: 1728000 | #Constraints: 36474
2665.89/2674.64 c #Conflicts: 1729000 | #Constraints: 37474
2665.89/2674.64 c #Conflicts: 1730000 | #Constraints: 38474
2665.89/2674.64 c #Conflicts: 1731000 | #Constraints: 39474
2665.89/2674.64 c #Conflicts: 1732000 | #Constraints: 40474
2665.89/2674.64 c #Conflicts: 1733000 | #Constraints: 41474
2665.89/2674.64 c #Conflicts: 1734000 | #Constraints: 42474
2665.89/2674.64 c #Conflicts: 1735000 | #Constraints: 43474
2665.89/2674.64 c #Conflicts: 1736000 | #Constraints: 44474
2665.89/2674.64 c #Conflicts: 1737000 | #Constraints: 45474
2665.89/2674.64 c #Conflicts: 1738000 | #Constraints: 46474
2665.89/2674.64 c #Conflicts: 1739000 | #Constraints: 47474
2665.89/2674.64 c #Conflicts: 1740000 | #Constraints: 48474
2665.89/2674.64 c #Conflicts: 1741000 | #Constraints: 49474
2665.89/2674.64 c #Conflicts: 1742000 | #Constraints: 50474
2665.89/2674.64 c #Conflicts: 1743000 | #Constraints: 51474
2665.89/2674.64 c #Conflicts: 1744000 | #Constraints: 52474
2858.48/2867.83 c #Conflicts: 1745000 | #Constraints: 53474
2858.48/2867.83 c #Conflicts: 1746000 | #Constraints: 54474
2858.48/2867.83 c INPROCESSING
2858.48/2867.83 c GARBAGE COLLECT
2858.48/2867.83 c #Conflicts: 1747000 | #Constraints: 29268
2858.48/2867.83 c #Conflicts: 1748000 | #Constraints: 30268
2858.48/2867.83 c #Conflicts: 1749000 | #Constraints: 31268
2858.48/2867.83 c #Conflicts: 1750000 | #Constraints: 32268
2858.48/2867.83 c #Conflicts: 1751000 | #Constraints: 33268
2858.48/2867.83 c #Conflicts: 1752000 | #Constraints: 34268
2858.48/2867.83 c #Conflicts: 1753000 | #Constraints: 35268
2858.48/2867.83 c #Conflicts: 1754000 | #Constraints: 36268
2858.48/2867.83 c #Conflicts: 1755000 | #Constraints: 37268
2858.48/2867.83 c #Conflicts: 1756000 | #Constraints: 38268
2858.48/2867.83 c #Conflicts: 1757000 | #Constraints: 39268
2858.48/2867.83 c #Conflicts: 1758000 | #Constraints: 40268
2858.48/2867.83 c #Conflicts: 1759000 | #Constraints: 41268
2858.48/2867.83 c #Conflicts: 1760000 | #Constraints: 42268
2858.48/2867.83 c #Conflicts: 1761000 | #Constraints: 43268
2858.48/2867.83 c #Conflicts: 1762000 | #Constraints: 44268
2858.48/2867.83 c #Conflicts: 1763000 | #Constraints: 45268
2858.48/2867.83 c #Conflicts: 1764000 | #Constraints: 46268
2858.48/2867.83 c #Conflicts: 1765000 | #Constraints: 47268
2858.48/2867.83 c #Conflicts: 1766000 | #Constraints: 48268
2858.48/2867.83 c #Conflicts: 1767000 | #Constraints: 49268
2858.48/2867.83 c #Conflicts: 1768000 | #Constraints: 50268
2858.48/2867.83 c #Conflicts: 1769000 | #Constraints: 51268
2858.48/2867.83 c #Conflicts: 1770000 | #Constraints: 52268
2858.48/2867.83 c #Conflicts: 1771000 | #Constraints: 53268
2858.48/2867.83 c #Conflicts: 1772000 | #Constraints: 54268
2858.48/2867.83 c #Conflicts: 1773000 | #Constraints: 55268
2858.48/2867.83 c INPROCESSING
2858.48/2867.83 c GARBAGE COLLECT
2858.48/2867.83 c #Conflicts: 1774000 | #Constraints: 29902
2858.48/2867.83 c #Conflicts: 1775000 | #Constraints: 30902
2858.48/2867.83 c #Conflicts: 1776000 | #Constraints: 31902
2858.48/2867.83 c #Conflicts: 1777000 | #Constraints: 32902
2858.48/2867.83 c #Conflicts: 1778000 | #Constraints: 33902
2858.48/2867.83 c #Conflicts: 1779000 | #Constraints: 34902
2858.48/2867.83 c #Conflicts: 1780000 | #Constraints: 35902
2858.48/2867.83 c #Conflicts: 1781000 | #Constraints: 36902
2858.48/2867.83 c #Conflicts: 1782000 | #Constraints: 37902
2858.48/2867.83 c #Conflicts: 1783000 | #Constraints: 38902
2858.48/2867.83 c #Conflicts: 1784000 | #Constraints: 39902
2858.48/2867.83 c #Conflicts: 1785000 | #Constraints: 40902
2858.48/2867.83 c #Conflicts: 1786000 | #Constraints: 41902
2858.48/2867.83 c bounds 23978 >= 6318 @ 2740.29
2858.48/2867.83 c #Conflicts: 1787000 | #Constraints: 42903
2858.48/2867.83 c #Conflicts: 1788000 | #Constraints: 43903
2858.48/2867.83 c #Conflicts: 1789000 | #Constraints: 44903
2858.48/2867.83 c #Conflicts: 1790000 | #Constraints: 45903
2858.48/2867.83 c #Conflicts: 1791000 | #Constraints: 46903
2858.48/2867.83 c #Conflicts: 1792000 | #Constraints: 47903
2858.48/2867.83 c #Conflicts: 1793000 | #Constraints: 48903
2858.48/2867.83 c #Conflicts: 1794000 | #Constraints: 49903
2858.48/2867.83 c #Conflicts: 1795000 | #Constraints: 50903
2858.48/2867.83 c #Conflicts: 1796000 | #Constraints: 51903
2858.48/2867.83 c #Conflicts: 1797000 | #Constraints: 52903
2858.48/2867.83 c #Conflicts: 1798000 | #Constraints: 53903
2858.48/2867.83 c #Conflicts: 1799000 | #Constraints: 54903
2858.48/2867.83 c #Conflicts: 1800000 | #Constraints: 55903
2858.48/2867.83 c INPROCESSING
2858.48/2867.83 c GARBAGE COLLECT
2858.48/2867.83 c #Conflicts: 1801000 | #Constraints: 30252
2858.48/2867.83 c #Conflicts: 1802000 | #Constraints: 31252
2858.48/2867.83 c #Conflicts: 1803000 | #Constraints: 32252
2858.48/2867.83 c #Conflicts: 1804000 | #Constraints: 33252
2858.48/2867.83 c #Conflicts: 1805000 | #Constraints: 34252
2858.48/2867.83 c #Conflicts: 1806000 | #Constraints: 35252
2858.48/2867.83 c #Conflicts: 1807000 | #Constraints: 36252
2858.48/2867.83 c #Conflicts: 1808000 | #Constraints: 37252
2858.48/2867.83 c #Conflicts: 1809000 | #Constraints: 38252
2858.48/2867.83 c #Conflicts: 1810000 | #Constraints: 39252
2858.48/2867.83 c #Conflicts: 1811000 | #Constraints: 40252
2858.48/2867.83 c #Conflicts: 1812000 | #Constraints: 41252
2858.48/2867.83 c #Conflicts: 1813000 | #Constraints: 42252
2858.48/2867.83 c #Conflicts: 1814000 | #Constraints: 43252
2858.48/2867.83 c #Conflicts: 1815000 | #Constraints: 44252
2858.48/2867.83 c #Conflicts: 1816000 | #Constraints: 45252
2858.48/2867.83 c #Conflicts: 1817000 | #Constraints: 46252
2858.48/2867.83 c #Conflicts: 1818000 | #Constraints: 47252
2858.48/2867.83 c #Conflicts: 1819000 | #Constraints: 48252
2858.48/2867.83 c #Conflicts: 1820000 | #Constraints: 49252
3022.71/3032.52 c #Conflicts: 1821000 | #Constraints: 50252
3022.71/3032.52 c #Conflicts: 1822000 | #Constraints: 51252
3022.71/3032.52 c #Conflicts: 1823000 | #Constraints: 52252
3022.71/3032.52 c #Conflicts: 1824000 | #Constraints: 53252
3022.71/3032.52 c #Conflicts: 1825000 | #Constraints: 54252
3022.71/3032.52 c #Conflicts: 1826000 | #Constraints: 55252
3022.71/3032.52 c #Conflicts: 1827000 | #Constraints: 56252
3022.71/3032.52 c INPROCESSING
3022.71/3032.52 c GARBAGE COLLECT
3022.71/3032.52 c #Conflicts: 1828000 | #Constraints: 30402
3022.71/3032.52 c #Conflicts: 1829000 | #Constraints: 31402
3022.71/3032.52 c #Conflicts: 1830000 | #Constraints: 32402
3022.71/3032.52 c #Conflicts: 1831000 | #Constraints: 33402
3022.71/3032.52 c #Conflicts: 1832000 | #Constraints: 34402
3022.71/3032.52 c #Conflicts: 1833000 | #Constraints: 35402
3022.71/3032.52 c #Conflicts: 1834000 | #Constraints: 36402
3022.71/3032.52 c #Conflicts: 1835000 | #Constraints: 37402
3022.71/3032.52 c #Conflicts: 1836000 | #Constraints: 38402
3022.71/3032.52 c #Conflicts: 1837000 | #Constraints: 39402
3022.71/3032.52 c #Conflicts: 1838000 | #Constraints: 40402
3022.71/3032.52 c #Conflicts: 1839000 | #Constraints: 41402
3022.71/3032.52 c #Conflicts: 1840000 | #Constraints: 42402
3022.71/3032.52 c #Conflicts: 1841000 | #Constraints: 43402
3022.71/3032.52 c #Conflicts: 1842000 | #Constraints: 44402
3022.71/3032.52 c #Conflicts: 1843000 | #Constraints: 45402
3022.71/3032.52 c #Conflicts: 1844000 | #Constraints: 46402
3022.71/3032.52 c #Conflicts: 1845000 | #Constraints: 47402
3022.71/3032.52 c #Conflicts: 1846000 | #Constraints: 48402
3022.71/3032.52 c #Conflicts: 1847000 | #Constraints: 49402
3022.71/3032.52 c #Conflicts: 1848000 | #Constraints: 50402
3022.71/3032.52 c #Conflicts: 1849000 | #Constraints: 51402
3022.71/3032.52 c #Conflicts: 1850000 | #Constraints: 52402
3022.71/3032.52 c #Conflicts: 1851000 | #Constraints: 53402
3022.71/3032.52 c #Conflicts: 1852000 | #Constraints: 54402
3022.71/3032.52 c #Conflicts: 1853000 | #Constraints: 55402
3022.71/3032.52 c #Conflicts: 1854000 | #Constraints: 56402
3022.71/3032.52 c INPROCESSING
3022.71/3032.52 c GARBAGE COLLECT
3022.71/3032.52 c #Conflicts: 1855000 | #Constraints: 30444
3022.71/3032.52 c #Conflicts: 1856000 | #Constraints: 31444
3022.71/3032.52 c #Conflicts: 1857000 | #Constraints: 32444
3022.71/3032.52 c #Conflicts: 1858000 | #Constraints: 33444
3022.71/3032.52 c #Conflicts: 1859000 | #Constraints: 34444
3022.71/3032.52 c #Conflicts: 1860000 | #Constraints: 35444
3022.71/3032.52 c #Conflicts: 1861000 | #Constraints: 36444
3022.71/3032.52 c #Conflicts: 1862000 | #Constraints: 37444
3022.71/3032.52 c #Conflicts: 1863000 | #Constraints: 38444
3022.71/3032.52 c #Conflicts: 1864000 | #Constraints: 39444
3022.71/3032.52 c #Conflicts: 1865000 | #Constraints: 40444
3022.71/3032.52 c #Conflicts: 1866000 | #Constraints: 41444
3022.71/3032.52 c #Conflicts: 1867000 | #Constraints: 42444
3022.71/3032.52 c #Conflicts: 1868000 | #Constraints: 43444
3022.71/3032.52 c #Conflicts: 1869000 | #Constraints: 44444
3022.71/3032.52 c #Conflicts: 1870000 | #Constraints: 45444
3022.71/3032.52 c #Conflicts: 1871000 | #Constraints: 46444
3022.71/3032.52 c #Conflicts: 1872000 | #Constraints: 47444
3022.71/3032.52 c #Conflicts: 1873000 | #Constraints: 48444
3022.71/3032.52 c #Conflicts: 1874000 | #Constraints: 49444
3022.71/3032.52 c #Conflicts: 1875000 | #Constraints: 50444
3022.71/3032.52 c #Conflicts: 1876000 | #Constraints: 51444
3022.71/3032.52 c #Conflicts: 1877000 | #Constraints: 52444
3022.71/3032.52 c #Conflicts: 1878000 | #Constraints: 53444
3022.71/3032.52 c #Conflicts: 1879000 | #Constraints: 54444
3022.71/3032.52 c #Conflicts: 1880000 | #Constraints: 55444
3022.71/3032.52 c #Conflicts: 1881000 | #Constraints: 56444
3022.71/3032.52 c INPROCESSING
3022.71/3032.52 c GARBAGE COLLECT
3022.71/3032.52 c #Conflicts: 1882000 | #Constraints: 30208
3022.71/3032.52 c #Conflicts: 1883000 | #Constraints: 31208
3022.71/3032.52 c #Conflicts: 1884000 | #Constraints: 32208
3022.71/3032.52 c #Conflicts: 1885000 | #Constraints: 33208
3022.71/3032.52 c #Conflicts: 1886000 | #Constraints: 34208
3022.71/3032.52 c #Conflicts: 1887000 | #Constraints: 35208
3022.71/3032.52 c #Conflicts: 1888000 | #Constraints: 36208
3022.71/3032.52 c #Conflicts: 1889000 | #Constraints: 37208
3022.71/3032.52 c #Conflicts: 1890000 | #Constraints: 38208
3022.71/3032.52 c #Conflicts: 1891000 | #Constraints: 39208
3022.71/3032.52 c #Conflicts: 1892000 | #Constraints: 40208
3022.71/3032.52 c #Conflicts: 1893000 | #Constraints: 41208
3022.71/3032.52 c #Conflicts: 1894000 | #Constraints: 42208
3022.71/3032.52 c #Conflicts: 1895000 | #Constraints: 43208
3022.71/3032.52 c #Conflicts: 1896000 | #Constraints: 44208
3022.71/3032.52 c #Conflicts: 1897000 | #Constraints: 45208
3263.40/3273.81 c #Conflicts: 1898000 | #Constraints: 46208
3263.40/3273.81 c #Conflicts: 1899000 | #Constraints: 47208
3263.40/3273.81 c #Conflicts: 1900000 | #Constraints: 48208
3263.40/3273.81 c #Conflicts: 1901000 | #Constraints: 49208
3263.40/3273.81 c #Conflicts: 1902000 | #Constraints: 50208
3263.40/3273.81 c #Conflicts: 1903000 | #Constraints: 51208
3263.40/3273.81 c #Conflicts: 1904000 | #Constraints: 52208
3263.40/3273.81 c #Conflicts: 1905000 | #Constraints: 53208
3263.40/3273.81 c #Conflicts: 1906000 | #Constraints: 54208
3263.40/3273.81 c #Conflicts: 1907000 | #Constraints: 55208
3263.40/3273.81 c #Conflicts: 1908000 | #Constraints: 56208
3263.40/3273.81 c #Conflicts: 1909000 | #Constraints: 57208
3263.40/3273.81 c INPROCESSING
3263.40/3273.81 c GARBAGE COLLECT
3263.40/3273.81 c #Conflicts: 1910000 | #Constraints: 30816
3263.40/3273.81 c #Conflicts: 1911000 | #Constraints: 31816
3263.40/3273.81 c #Conflicts: 1912000 | #Constraints: 32816
3263.40/3273.81 c #Conflicts: 1913000 | #Constraints: 33816
3263.40/3273.81 c #Conflicts: 1914000 | #Constraints: 34816
3263.40/3273.81 c #Conflicts: 1915000 | #Constraints: 35816
3263.40/3273.81 c #Conflicts: 1916000 | #Constraints: 36816
3263.40/3273.81 c #Conflicts: 1917000 | #Constraints: 37816
3263.40/3273.81 c #Conflicts: 1918000 | #Constraints: 38816
3263.40/3273.81 c #Conflicts: 1919000 | #Constraints: 39816
3263.40/3273.81 c #Conflicts: 1920000 | #Constraints: 40816
3263.40/3273.81 c #Conflicts: 1921000 | #Constraints: 41816
3263.40/3273.81 c #Conflicts: 1922000 | #Constraints: 42816
3263.40/3273.81 c #Conflicts: 1923000 | #Constraints: 43816
3263.40/3273.81 c #Conflicts: 1924000 | #Constraints: 44816
3263.40/3273.81 c #Conflicts: 1925000 | #Constraints: 45816
3263.40/3273.81 c #Conflicts: 1926000 | #Constraints: 46816
3263.40/3273.81 c #Conflicts: 1927000 | #Constraints: 47816
3263.40/3273.81 c #Conflicts: 1928000 | #Constraints: 48816
3263.40/3273.81 c #Conflicts: 1929000 | #Constraints: 49816
3263.40/3273.81 c #Conflicts: 1930000 | #Constraints: 50816
3263.40/3273.81 c #Conflicts: 1931000 | #Constraints: 51816
3263.40/3273.81 c #Conflicts: 1932000 | #Constraints: 52816
3263.40/3273.81 c #Conflicts: 1933000 | #Constraints: 53816
3263.40/3273.81 c #Conflicts: 1934000 | #Constraints: 54816
3263.40/3273.81 c #Conflicts: 1935000 | #Constraints: 55816
3263.40/3273.81 c #Conflicts: 1936000 | #Constraints: 56816
3263.40/3273.81 c #Conflicts: 1937000 | #Constraints: 57816
3263.40/3273.81 c INPROCESSING
3263.40/3273.81 c GARBAGE COLLECT
3263.40/3273.81 c #Conflicts: 1938000 | #Constraints: 31216
3263.40/3273.81 c #Conflicts: 1939000 | #Constraints: 32216
3263.40/3273.81 c #Conflicts: 1940000 | #Constraints: 33216
3263.40/3273.81 c #Conflicts: 1941000 | #Constraints: 34216
3263.40/3273.81 c #Conflicts: 1942000 | #Constraints: 35216
3263.40/3273.81 c #Conflicts: 1943000 | #Constraints: 36216
3263.40/3273.81 c #Conflicts: 1944000 | #Constraints: 37216
3263.40/3273.81 c #Conflicts: 1945000 | #Constraints: 38216
3263.40/3273.81 c #Conflicts: 1946000 | #Constraints: 39216
3263.40/3273.81 c #Conflicts: 1947000 | #Constraints: 40216
3263.40/3273.81 c #Conflicts: 1948000 | #Constraints: 41216
3263.40/3273.81 c #Conflicts: 1949000 | #Constraints: 42216
3263.40/3273.81 c #Conflicts: 1950000 | #Constraints: 43216
3263.40/3273.81 c #Conflicts: 1951000 | #Constraints: 44216
3263.40/3273.81 c #Conflicts: 1952000 | #Constraints: 45216
3263.40/3273.81 c #Conflicts: 1953000 | #Constraints: 46216
3263.40/3273.81 c #Conflicts: 1954000 | #Constraints: 47216
3263.40/3273.81 c #Conflicts: 1955000 | #Constraints: 48216
3263.40/3273.81 c #Conflicts: 1956000 | #Constraints: 49216
3263.40/3273.81 c #Conflicts: 1957000 | #Constraints: 50216
3263.40/3273.81 c #Conflicts: 1958000 | #Constraints: 51216
3263.40/3273.81 c #Conflicts: 1959000 | #Constraints: 52216
3263.40/3273.81 c #Conflicts: 1960000 | #Constraints: 53216
3263.40/3273.81 c #Conflicts: 1961000 | #Constraints: 54216
3263.40/3273.81 c #Conflicts: 1962000 | #Constraints: 55216
3263.40/3273.81 c #Conflicts: 1963000 | #Constraints: 56216
3263.40/3273.81 c #Conflicts: 1964000 | #Constraints: 57216
3263.40/3273.81 c #Conflicts: 1965000 | #Constraints: 58216
3263.40/3273.81 c INPROCESSING
3263.40/3273.81 c GARBAGE COLLECT
3263.40/3273.81 c #Conflicts: 1966000 | #Constraints: 31424
3263.40/3273.81 c #Conflicts: 1967000 | #Constraints: 32424
3263.40/3273.81 c #Conflicts: 1968000 | #Constraints: 33424
3263.40/3273.81 c #Conflicts: 1969000 | #Constraints: 34424
3263.40/3273.81 c #Conflicts: 1970000 | #Constraints: 35424
3263.40/3273.81 c #Conflicts: 1971000 | #Constraints: 36424
3263.40/3273.81 c #Conflicts: 1972000 | #Constraints: 37424
3263.40/3273.81 c #Conflicts: 1973000 | #Constraints: 38424
3263.40/3273.81 c #Conflicts: 1974000 | #Constraints: 39424
3447.05/3457.97 c #Conflicts: 1975000 | #Constraints: 40424
3447.05/3457.97 c #Conflicts: 1976000 | #Constraints: 41424
3447.05/3457.97 c #Conflicts: 1977000 | #Constraints: 42424
3447.05/3457.97 c #Conflicts: 1978000 | #Constraints: 43424
3447.05/3457.97 c #Conflicts: 1979000 | #Constraints: 44424
3447.05/3457.97 c #Conflicts: 1980000 | #Constraints: 45424
3447.05/3457.97 c #Conflicts: 1981000 | #Constraints: 46424
3447.05/3457.97 c #Conflicts: 1982000 | #Constraints: 47424
3447.05/3457.97 c #Conflicts: 1983000 | #Constraints: 48424
3447.05/3457.97 c #Conflicts: 1984000 | #Constraints: 49424
3447.05/3457.97 c #Conflicts: 1985000 | #Constraints: 50424
3447.05/3457.97 c #Conflicts: 1986000 | #Constraints: 51424
3447.05/3457.97 c #Conflicts: 1987000 | #Constraints: 52424
3447.05/3457.97 c #Conflicts: 1988000 | #Constraints: 53424
3447.05/3457.97 c #Conflicts: 1989000 | #Constraints: 54424
3447.05/3457.97 c #Conflicts: 1990000 | #Constraints: 55424
3447.05/3457.97 c #Conflicts: 1991000 | #Constraints: 56424
3447.05/3457.97 c #Conflicts: 1992000 | #Constraints: 57424
3447.05/3457.97 c #Conflicts: 1993000 | #Constraints: 58424
3447.05/3457.97 c INPROCESSING
3447.05/3457.97 c GARBAGE COLLECT
3447.05/3457.97 c #Conflicts: 1994000 | #Constraints: 31424
3447.05/3457.97 c #Conflicts: 1995000 | #Constraints: 32424
3447.05/3457.97 c #Conflicts: 1996000 | #Constraints: 33424
3447.05/3457.97 c #Conflicts: 1997000 | #Constraints: 34424
3447.05/3457.97 c #Conflicts: 1998000 | #Constraints: 35424
3447.05/3457.97 c #Conflicts: 1999000 | #Constraints: 36424
3447.05/3457.97 c #Conflicts: 2000000 | #Constraints: 37424
3447.05/3457.97 c #Conflicts: 2001000 | #Constraints: 38424
3447.05/3457.97 c #Conflicts: 2002000 | #Constraints: 39424
3447.05/3457.97 c #Conflicts: 2003000 | #Constraints: 40424
3447.05/3457.97 c #Conflicts: 2004000 | #Constraints: 41424
3447.05/3457.97 c #Conflicts: 2005000 | #Constraints: 42424
3447.05/3457.97 c #Conflicts: 2006000 | #Constraints: 43424
3447.05/3457.97 c #Conflicts: 2007000 | #Constraints: 44424
3447.05/3457.97 c #Conflicts: 2008000 | #Constraints: 45424
3447.05/3457.97 c #Conflicts: 2009000 | #Constraints: 46424
3447.05/3457.97 c #Conflicts: 2010000 | #Constraints: 47424
3447.05/3457.97 c #Conflicts: 2011000 | #Constraints: 48424
3447.05/3457.97 c #Conflicts: 2012000 | #Constraints: 49424
3447.05/3457.97 c #Conflicts: 2013000 | #Constraints: 50424
3447.05/3457.97 c #Conflicts: 2014000 | #Constraints: 51424
3447.05/3457.97 c #Conflicts: 2015000 | #Constraints: 52424
3447.05/3457.97 c #Conflicts: 2016000 | #Constraints: 53424
3447.05/3457.97 c #Conflicts: 2017000 | #Constraints: 54424
3447.05/3457.97 c #Conflicts: 2018000 | #Constraints: 55424
3447.05/3457.97 c #Conflicts: 2019000 | #Constraints: 56424
3447.05/3457.97 c #Conflicts: 2020000 | #Constraints: 57424
3447.05/3457.97 c #Conflicts: 2021000 | #Constraints: 58424
3447.05/3457.97 c INPROCESSING
3447.05/3457.97 c GARBAGE COLLECT
3447.05/3457.97 c #Conflicts: 2022000 | #Constraints: 31249
3447.05/3457.97 c #Conflicts: 2023000 | #Constraints: 32249
3447.05/3457.97 c #Conflicts: 2024000 | #Constraints: 33249
3447.05/3457.97 c #Conflicts: 2025000 | #Constraints: 34249
3447.05/3457.97 c #Conflicts: 2026000 | #Constraints: 35249
3447.05/3457.97 c #Conflicts: 2027000 | #Constraints: 36249
3447.05/3457.97 c #Conflicts: 2028000 | #Constraints: 37249
3447.05/3457.97 c #Conflicts: 2029000 | #Constraints: 38249
3447.05/3457.97 c #Conflicts: 2030000 | #Constraints: 39249
3447.05/3457.97 c #Conflicts: 2031000 | #Constraints: 40249
3447.05/3457.97 c #Conflicts: 2032000 | #Constraints: 41249
3447.05/3457.97 c #Conflicts: 2033000 | #Constraints: 42249
3447.05/3457.97 c #Conflicts: 2034000 | #Constraints: 43249
3447.05/3457.97 c #Conflicts: 2035000 | #Constraints: 44249
3447.05/3457.97 c #Conflicts: 2036000 | #Constraints: 45249
3447.05/3457.97 c #Conflicts: 2037000 | #Constraints: 46249
3447.05/3457.97 c #Conflicts: 2038000 | #Constraints: 47249
3447.05/3457.97 c #Conflicts: 2039000 | #Constraints: 48249
3447.05/3457.97 c #Conflicts: 2040000 | #Constraints: 49249
3447.05/3457.97 c #Conflicts: 2041000 | #Constraints: 50249
3447.05/3457.97 c #Conflicts: 2042000 | #Constraints: 51249
3447.05/3457.97 c #Conflicts: 2043000 | #Constraints: 52249
3447.05/3457.97 c #Conflicts: 2044000 | #Constraints: 53249
3447.05/3457.97 c #Conflicts: 2045000 | #Constraints: 54249
3447.05/3457.97 c #Conflicts: 2046000 | #Constraints: 55249
3447.05/3457.97 c #Conflicts: 2047000 | #Constraints: 56249
3447.05/3457.97 c #Conflicts: 2048000 | #Constraints: 57249
3447.05/3457.97 c #Conflicts: 2049000 | #Constraints: 58249
3447.05/3457.97 c #Conflicts: 2050000 | #Constraints: 59249
3447.05/3457.97 c INPROCESSING
3447.05/3457.97 c GARBAGE COLLECT
3447.05/3457.97 c #Conflicts: 2051000 | #Constraints: 31846
3561.16/3572.33 c #Conflicts: 2052000 | #Constraints: 32846
3561.16/3572.33 c #Conflicts: 2053000 | #Constraints: 33846
3561.16/3572.33 c #Conflicts: 2054000 | #Constraints: 34846
3561.16/3572.33 c #Conflicts: 2055000 | #Constraints: 35846
3561.16/3572.33 c #Conflicts: 2056000 | #Constraints: 36846
3561.16/3572.33 c #Conflicts: 2057000 | #Constraints: 37846
3561.16/3572.33 c #Conflicts: 2058000 | #Constraints: 38846
3561.16/3572.33 c #Conflicts: 2059000 | #Constraints: 39846
3561.16/3572.33 c #Conflicts: 2060000 | #Constraints: 40846
3561.16/3572.33 c #Conflicts: 2061000 | #Constraints: 41846
3561.16/3572.33 c #Conflicts: 2062000 | #Constraints: 42846
3561.16/3572.33 c #Conflicts: 2063000 | #Constraints: 43846
3561.16/3572.33 c #Conflicts: 2064000 | #Constraints: 44846
3561.16/3572.33 c #Conflicts: 2065000 | #Constraints: 45846
3561.16/3572.33 c #Conflicts: 2066000 | #Constraints: 46846
3561.16/3572.33 c #Conflicts: 2067000 | #Constraints: 47846
3561.16/3572.33 c #Conflicts: 2068000 | #Constraints: 48846
3561.16/3572.33 c #Conflicts: 2069000 | #Constraints: 49846
3561.16/3572.33 c #Conflicts: 2070000 | #Constraints: 50846
3561.16/3572.33 c #Conflicts: 2071000 | #Constraints: 51846
3561.16/3572.33 c #Conflicts: 2072000 | #Constraints: 52846
3561.16/3572.33 c #Conflicts: 2073000 | #Constraints: 53846
3561.16/3572.33 c #Conflicts: 2074000 | #Constraints: 54846
3561.16/3572.33 c #Conflicts: 2075000 | #Constraints: 55846
3561.16/3572.33 c #Conflicts: 2076000 | #Constraints: 56846
3561.16/3572.33 c #Conflicts: 2077000 | #Constraints: 57846
3561.16/3572.33 c #Conflicts: 2078000 | #Constraints: 58846
3561.16/3572.33 c #Conflicts: 2079000 | #Constraints: 59846
3561.16/3572.33 c INPROCESSING
3561.16/3572.33 c GARBAGE COLLECT
3561.16/3572.33 c #Conflicts: 2080000 | #Constraints: 32157
3561.16/3572.33 c #Conflicts: 2081000 | #Constraints: 33157
3561.16/3572.33 c #Conflicts: 2082000 | #Constraints: 34157
3561.16/3572.33 c #Conflicts: 2083000 | #Constraints: 35157
3561.16/3572.33 c #Conflicts: 2084000 | #Constraints: 36157
3561.16/3572.33 c #Conflicts: 2085000 | #Constraints: 37157
3561.16/3572.33 c #Conflicts: 2086000 | #Constraints: 38157
3561.16/3572.33 c #Conflicts: 2087000 | #Constraints: 39157
3561.16/3572.33 c #Conflicts: 2088000 | #Constraints: 40157
3561.16/3572.33 c #Conflicts: 2089000 | #Constraints: 41157
3561.16/3572.33 c #Conflicts: 2090000 | #Constraints: 42157
3561.16/3572.33 c #Conflicts: 2091000 | #Constraints: 43157
3561.16/3572.33 c #Conflicts: 2092000 | #Constraints: 44157
3561.16/3572.33 c #Conflicts: 2093000 | #Constraints: 45157
3561.16/3572.33 c #Conflicts: 2094000 | #Constraints: 46157
3561.16/3572.33 c #Conflicts: 2095000 | #Constraints: 47157
3561.16/3572.33 c #Conflicts: 2096000 | #Constraints: 48157
3561.16/3572.33 c #Conflicts: 2097000 | #Constraints: 49157
3561.16/3572.33 c #Conflicts: 2098000 | #Constraints: 50157
3561.16/3572.33 c #Conflicts: 2099000 | #Constraints: 51157
3561.16/3572.33 c #Conflicts: 2100000 | #Constraints: 52157
3561.16/3572.33 c #Conflicts: 2101000 | #Constraints: 53157
3561.16/3572.33 c #Conflicts: 2102000 | #Constraints: 54157
3561.16/3572.33 c #Conflicts: 2103000 | #Constraints: 55157
3561.16/3572.33 c #Conflicts: 2104000 | #Constraints: 56157
3561.16/3572.33 c #Conflicts: 2105000 | #Constraints: 57157
3561.16/3572.33 c #Conflicts: 2106000 | #Constraints: 58157
3561.16/3572.33 c #Conflicts: 2107000 | #Constraints: 59157
3561.16/3572.33 c #Conflicts: 2108000 | #Constraints: 60157
3561.16/3572.33 c INPROCESSING
3561.16/3572.33 c GARBAGE COLLECT
3561.16/3572.33 c #Conflicts: 2109000 | #Constraints: 32337
3561.16/3572.33 c #Conflicts: 2110000 | #Constraints: 33337
3561.16/3572.33 c #Conflicts: 2111000 | #Constraints: 34337
3561.16/3572.33 c #Conflicts: 2112000 | #Constraints: 35337
3561.16/3572.33 c #Conflicts: 2113000 | #Constraints: 36337
3561.16/3572.33 c #Conflicts: 2114000 | #Constraints: 37337
3561.16/3572.33 c #Conflicts: 2115000 | #Constraints: 38337
3561.16/3572.33 c #Conflicts: 2116000 | #Constraints: 39337
3561.16/3572.33 c #Conflicts: 2117000 | #Constraints: 40337
3561.16/3572.33 c #Conflicts: 2118000 | #Constraints: 41337
3561.16/3572.33 c #Conflicts: 2119000 | #Constraints: 42337
3561.16/3572.33 c #Conflicts: 2120000 | #Constraints: 43337
3561.16/3572.33 c #Conflicts: 2121000 | #Constraints: 44337
3561.16/3572.33 c #Conflicts: 2122000 | #Constraints: 45337
3561.16/3572.33 c #Conflicts: 2123000 | #Constraints: 46337
3561.16/3572.33 c #Conflicts: 2124000 | #Constraints: 47337
3561.16/3572.33 c #Conflicts: 2125000 | #Constraints: 48337
3561.16/3572.33 c #Conflicts: 2126000 | #Constraints: 49337
3561.16/3572.33 c #Conflicts: 2127000 | #Constraints: 50337
3561.16/3572.33 c #Conflicts: 2128000 | #Constraints: 51337
3600.06/3611.30 c #Conflicts: 2129000 | #Constraints: 52337
3600.06/3611.30 c #Conflicts: 2130000 | #Constraints: 53337
3600.06/3611.30 c #Conflicts: 2131000 | #Constraints: 54337
3600.06/3611.30 c #Conflicts: 2132000 | #Constraints: 55337
3600.06/3611.30 c #Conflicts: 2133000 | #Constraints: 56337
3600.06/3611.30 c #Conflicts: 2134000 | #Constraints: 57337
3600.06/3611.30 c #Conflicts: 2135000 | #Constraints: 58337
3600.06/3611.30 c #Conflicts: 2136000 | #Constraints: 59337
3600.06/3611.30 c #Conflicts: 2137000 | #Constraints: 60337
3600.06/3611.30 c INPROCESSING
3600.06/3611.30 c GARBAGE COLLECT
3600.06/3611.30 c #Conflicts: 2138000 | #Constraints: 32304
3600.06/3611.30 c #Conflicts: 2139000 | #Constraints: 33304
3600.06/3611.30 c #Conflicts: 2140000 | #Constraints: 34304
3600.06/3611.30 c #Conflicts: 2141000 | #Constraints: 35304
3600.06/3611.30 c #Conflicts: 2142000 | #Constraints: 36304
3600.06/3611.30 c #Conflicts: 2143000 | #Constraints: 37304
3600.06/3611.30 c #Conflicts: 2144000 | #Constraints: 38304
3600.06/3611.30 c #Conflicts: 2145000 | #Constraints: 39304
3600.06/3611.30 c #Conflicts: 2146000 | #Constraints: 40304
3600.06/3611.30 c #Conflicts: 2147000 | #Constraints: 41304
3600.06/3611.30 c #Conflicts: 2148000 | #Constraints: 42304
3600.06/3611.30 c #Conflicts: 2149000 | #Constraints: 43304
3600.06/3611.30 c #Conflicts: 2150000 | #Constraints: 44304
3600.06/3611.30 c #Conflicts: 2151000 | #Constraints: 45304
3600.06/3611.30 c #Conflicts: 2152000 | #Constraints: 46304
3600.06/3611.30 c #Conflicts: 2153000 | #Constraints: 47304
3600.06/3611.30 c #Conflicts: 2154000 | #Constraints: 48304
3600.06/3611.30 c #Conflicts: 2155000 | #Constraints: 49304
3600.06/3611.30 c #Conflicts: 2156000 | #Constraints: 50304
3600.06/3611.30 c #Conflicts: 2157000 | #Constraints: 51304
3600.06/3611.30 c #Conflicts: 2158000 | #Constraints: 52304
3600.06/3611.30 c #Conflicts: 2159000 | #Constraints: 53304
3600.06/3611.30 c #Conflicts: 2160000 | #Constraints: 54304
3600.06/3611.30 c Program interrupted by user.
3600.06/3611.30 c cpu time 3567.67 s
3600.06/3611.30 c deterministic time 479959768488 4.80e+11
3600.06/3611.30 c optimization time 26.1089 s
3600.06/3611.30 c total solve time 3541.55 s
3600.06/3611.30 c core-guided solve time 3541.55 s
3600.06/3611.30 c propagation time 2703.61 s
3600.06/3611.30 c conflict analysis time 785.211 s
3600.06/3611.30 c propagations 870936041
3600.06/3611.30 c resolve steps 26202791
3600.06/3611.30 c decisions 31213552
3600.06/3611.30 c conflicts 2160235
3600.06/3611.30 c restarts 4093
3600.06/3611.30 c inprocessing phases 137
3600.06/3611.30 c input clauses 2405
3600.06/3611.30 c input cardinalities 0
3600.06/3611.30 c input general constraints 9
3600.06/3611.30 c input average constraint length 5.06
3600.06/3611.30 c input average constraint degree 3562.03
3600.06/3611.30 c learned clauses 969480
3600.06/3611.30 c learned cardinalities 68
3600.06/3611.30 c learned general constraints 1190686
3600.06/3611.30 c learned average constraint length 374.57
3600.06/3611.30 c learned average constraint degree 8403222.13
3600.06/3611.30 c watched constraints 469412
3600.06/3611.30 c counting constraints 721283
3600.06/3611.30 c gcd simplifications 102625
3600.06/3611.30 c detected cardinalities 16
3600.06/3611.30 c weakened non-implied lits 372397050
3600.06/3611.30 c weakened non-implying lits 37106
3600.06/3611.30 c original variables 1343
3600.06/3611.30 c clausal propagations 281798419
3600.06/3611.30 c cardinality propagations 416856
3600.06/3611.30 c watched propagations 14357990
3600.06/3611.30 c counting propagations 570560258
3600.06/3611.30 c watch lookups 80640500340
3600.06/3611.30 c watch backjump lookups 76588501721
3600.06/3611.30 c watch checks 266814278596
3600.06/3611.30 c propagation checks 50529340457
3600.06/3611.30 c constraint additions 3580688911
3600.06/3611.30 c trail pops 904308869
3600.06/3611.30 c formula constraints 2405
3600.06/3611.30 c learned constraints 2160234
3600.06/3611.30 c bound constraints 9
3600.06/3611.30 c core-guided constraints 0
3600.06/3611.30 c encountered formula constraints 17877712
3600.06/3611.30 c encountered learned constraints 10484265
3600.06/3611.30 c encountered bound constraints 1049
3600.06/3611.30 c encountered core-guided constraints 0
3600.06/3611.30 c LP total time 0 s
3600.06/3611.30 c LP solve time 0 s
3600.06/3611.30 c LP constraints added 0
3600.06/3611.30 c LP constraints removed 0
3600.06/3611.30 c LP pivots internal 0
3600.06/3611.30 c LP pivots root 0
3600.06/3611.30 c LP calls 0
3600.06/3611.30 c LP optimalities 0
3600.06/3611.30 c LP no pivot count 0
3600.06/3611.30 c LP infeasibilities 0
3600.06/3611.30 c LP valid Farkas constraints 0
3600.06/3611.30 c LP learned Farkas constraints 0
3600.06/3611.30 c LP basis resets 0
3600.06/3611.30 c LP cycling count 0
3600.06/3611.30 c LP singular count 0
3600.06/3611.30 c LP no primal count 0
3600.06/3611.30 c LP no farkas count 0
3600.06/3611.30 c LP other issue count 0
3600.06/3611.30 c LP Gomory cuts 0
3600.06/3611.30 c LP learned cuts 0
3600.06/3611.30 c LP deleted cuts 0
3600.06/3611.30 c LP encountered Gomory constraints 0
3600.06/3611.30 c LP encountered Farkas constraints 0
3600.06/3611.30 c LP encountered learned Farkas constraints 0
3600.06/3611.30 c CG auxiliary variables introduced 0
3600.06/3611.30 c CG solutions found 8
3600.06/3611.30 c CG cores constructed 1
3600.06/3611.30 c CG core cardinality constraints returned 0
3600.06/3611.30 c CG unit cores 0
3600.06/3611.30 c CG single cores 1
3600.06/3611.30 c CG blocks removed during cardinality reduction 0
3600.06/3611.30 c CG first core best 0
3600.06/3611.30 c CG decision core best 0
3600.06/3611.30 c CG core reduction tie 0
3600.06/3611.30 c CG core degree average 1.00
3600.06/3611.30 c CG core slack average 23.00
3600.06/3611.30 c CG exhausted 0
3600.06/3611.30 c CG exhaust time 0 s
3600.06/3611.30 c CG trimmed 0
3600.06/3611.30 c CG trim time 0.002742 s
3600.06/3611.30 c CG minimized 0
3600.06/3611.30 c CG minimize time 0 s
3600.06/3611.30 c CG am1 prop time 0.000166 s
3600.06/3611.30 c CG # am1s reformulated 0
3600.06/3611.30 c CG lower bound derived from am1s 0
3600.06/3611.30 c CG # clausal cores 1
3600.06/3611.30 c CG # cardinality cores 0
3600.06/3611.30 c CG # pb cores 0
3600.06/3611.30 c CG # pb reforms 0
3600.06/3611.30 c CG # cores discarded because of pb reform 0
3600.06/3611.30 d LOWERBOUND 6318
3600.06/3611.30 d NCORES 1
3600.06/3611.30 d NPBCORES 0
3600.06/3611.30 d NPBREFORM 0
3600.06/3611.30 d NTRIMMED 0
3600.06/3611.30 d NEXHAUSTED 0
3600.06/3611.30 d NAM1S 0
3600.06/3611.30 d AM1LB 0
3600.06/3611.30 o 23978
3600.06/3611.30 s SATISFIABLE
3600.06/3611.30 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 x1339 x1340 x1341 x1342 -x1343
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (60686 MiB free)
memory of node 1: 64465 MiB (63634 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497004-1751390783/watcher-4497004-1751390783 -o /tmp/evaluation-result-4497004-1751390783/solver-4497004-1751390783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751383217-48629 --watchdog 3760 pb-oll-rs HOME/instance-4497004-1751390783.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=50140, runsolver pid=50137
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 4.25 4.14 4.14 5/250 50141
/proc/meminfo: memFree=127304192/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=21036 memory=7168 CPUtime=0.09 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 657 0 0 0 7 2 0 0 20 0 1 0 54757107 21540864 1792 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 5259 1792 1344 243 0 1508 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21036 KiB
Current children cumulated memory: 7168 KiB
[startup+0.213194 s]*
/proc/loadavg: 4.25 4.14 4.14 5/250 50141
/proc/meminfo: memFree=127302428/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=21688 memory=8320 CPUtime=0.21 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 937 0 0 0 18 3 0 0 20 0 1 0 54757107 22208512 2080 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 5422 2080 1344 243 0 1671 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 21688 KiB
Current children cumulated memory: 8320 KiB
[startup+0.313047 s]*
/proc/loadavg: 4.25 4.14 4.14 5/250 50141
/proc/meminfo: memFree=127302428/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=21820 memory=8704 CPUtime=0.3 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 1033 0 0 0 27 3 0 0 20 0 1 0 54757107 22343680 2176 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 5455 2176 1344 243 0 1704 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21820 KiB
Current children cumulated memory: 8704 KiB
[startup+0.700339 s]
/proc/loadavg: 4.25 4.14 4.14 5/250 50141
/proc/meminfo: memFree=127296316/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=23492 memory=12432 CPUtime=0.68 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 1468 0 0 0 62 6 0 0 20 0 1 0 54757107 24055808 3108 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 5873 3108 1344 243 0 2122 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 23492 KiB
Current children cumulated memory: 12432 KiB
[startup+1.50032 s]
/proc/loadavg: 4.25 4.14 4.14 5/250 50141
/proc/meminfo: memFree=127288188/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=29172 memory=16656 CPUtime=1.48 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 2522 0 0 0 138 10 0 0 20 0 1 0 54757107 29872128 4164 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 7293 4164 1344 243 0 3542 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 29172 KiB
Current children cumulated memory: 16656 KiB
[startup+3.1128 s]
/proc/loadavg: 4.25 4.14 4.14 5/250 50141
/proc/meminfo: memFree=127275524/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=39404 memory=27136 CPUtime=3.08 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 4620 0 0 0 290 18 0 0 20 0 1 0 54757107 40349696 6784 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 9851 6784 1344 243 0 6100 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39404 KiB
Current children cumulated memory: 27136 KiB
[startup+6.3003 s]
/proc/loadavg: 4.23 4.14 4.14 5/250 50141
/proc/meminfo: memFree=127271996/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=54456 memory=37776 CPUtime=6.26 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 6789 0 0 0 594 32 0 0 20 0 1 0 54757107 55762944 9444 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 13614 9444 1344 243 0 9863 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 54456 KiB
Current children cumulated memory: 37776 KiB
[startup+12.7003 s]
/proc/loadavg: 4.29 4.15 4.14 5/250 50142
/proc/meminfo: memFree=127250212/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=58788 memory=41104 CPUtime=12.65 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 7653 0 0 0 1207 58 0 0 20 0 1 0 54757107 60198912 10276 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 14697 10276 1344 243 0 10946 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 58788 KiB
Current children cumulated memory: 41104 KiB
[startup+25.5003 s]
/proc/loadavg: 4.22 4.14 4.14 5/250 50142
/proc/meminfo: memFree=127239184/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=59396 memory=42128 CPUtime=25.42 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 7965 0 0 0 2435 107 0 0 20 0 1 0 54757107 60821504 10532 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 14849 10532 1344 243 0 11098 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 59396 KiB
Current children cumulated memory: 42128 KiB
[startup+51.1128 s]
/proc/loadavg: 4.15 4.13 4.13 5/250 50142
/proc/meminfo: memFree=126870316/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=82628 memory=59460 CPUtime=50.96 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 10812 0 0 0 4907 189 0 0 20 0 1 0 54757107 84611072 14865 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 20657 14865 1344 243 0 16906 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 82628 KiB
Current children cumulated memory: 59460 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.14 4.14 5/250 50148
/proc/meminfo: memFree=126713632/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=114900 memory=83784 CPUtime=102.01 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 14558 0 0 0 9897 304 0 0 20 0 1 0 54757107 117657600 20946 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 28725 20946 1344 243 0 24974 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 114900 KiB
Current children cumulated memory: 83784 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.15 4.14 5/250 50195
/proc/meminfo: memFree=127303588/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=122352 memory=97584 CPUtime=161.82 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 16617 0 0 0 15784 398 0 0 20 0 1 0 54757107 125288448 24396 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 30588 24396 1344 243 0 26837 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 122352 KiB
Current children cumulated memory: 97584 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.15 4.14 5/250 50241
/proc/meminfo: memFree=127277792/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=123900 memory=99376 CPUtime=221.61 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 17256 0 0 0 21643 518 0 0 20 0 1 0 54757107 126873600 24844 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 30975 24844 1344 243 0 27224 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 123900 KiB
Current children cumulated memory: 99376 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.16 4.14 5/251 50244
/proc/meminfo: memFree=127271672/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=123908 memory=99504 CPUtime=281.41 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 17453 0 0 0 27508 633 0 0 20 0 1 0 54757107 126881792 24876 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 30977 24876 1344 243 0 27226 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 123908 KiB
Current children cumulated memory: 99504 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.16 4.14 5/250 50246
/proc/meminfo: memFree=127255168/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=124824 memory=102940 CPUtime=341.21 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 17972 0 0 0 33398 723 0 0 20 0 1 0 54757107 127819776 25735 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 31206 25735 1344 243 0 27455 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 124824 KiB
Current children cumulated memory: 102940 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/250 50248
/proc/meminfo: memFree=127180096/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=199012 memory=154624 CPUtime=401 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 26298 0 0 0 39319 781 0 0 20 0 1 0 54757107 203788288 38656 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 49753 38656 1344 243 0 46002 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 199012 KiB
Current children cumulated memory: 154624 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.15 4.14 5/250 50250
/proc/meminfo: memFree=127135772/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=198976 memory=154880 CPUtime=460.79 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 26420 0 0 0 45209 870 0 0 20 0 1 0 54757107 203751424 38720 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 49744 38720 1344 243 0 45993 0
Current children cumulated CPU time: 460.79 s
################
# More data... #
################
Current children cumulated memory: 266044 KiB
[startup+2922.3 s]
/proc/loadavg: 3.21 3.82 4.05 4/244 50677
/proc/meminfo: memFree=129163052/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=335724 memory=267068 CPUtime=2912.81 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 48360 0 0 0 288372 2909 0 0 20 0 1 0 54757107 343781376 66767 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 83931 66767 1344 243 0 80180 0
Current children cumulated CPU time: 2912.81 s
Current children cumulated vsize: 335724 KiB
Current children cumulated memory: 267068 KiB
[startup+2982.3 s]
/proc/loadavg: 3.12 3.68 3.98 4/243 50679
/proc/meminfo: memFree=129103508/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=335724 memory=294588 CPUtime=2972.63 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 48379 0 0 0 294329 2934 0 0 20 0 1 0 54757107 343781376 73647 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 83931 73647 1344 243 0 80180 0
Current children cumulated CPU time: 2972.63 s
Current children cumulated vsize: 335724 KiB
Current children cumulated memory: 294588 KiB
[startup+3042.3 s]
/proc/loadavg: 3.14 3.59 3.93 4/243 50681
/proc/meminfo: memFree=129099232/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=335888 memory=294716 CPUtime=3032.49 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 48420 0 0 0 300285 2964 0 0 20 0 1 0 54757107 343949312 73679 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 83972 73679 1344 243 0 80221 0
Current children cumulated CPU time: 3032.49 s
Current children cumulated vsize: 335888 KiB
Current children cumulated memory: 294716 KiB
[startup+3102.3 s]
/proc/loadavg: 3.10 3.49 3.87 4/243 50683
/proc/meminfo: memFree=129086708/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=342308 memory=310988 CPUtime=3092.33 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 49517 0 0 0 306251 2982 0 0 20 0 1 0 54757107 350523392 77747 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 85577 77747 1344 243 0 81826 0
Current children cumulated CPU time: 3092.33 s
Current children cumulated vsize: 342308 KiB
Current children cumulated memory: 310988 KiB
[startup+3162.3 s]
/proc/loadavg: 3.14 3.43 3.83 4/244 50688
/proc/meminfo: memFree=129081928/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=349476 memory=314956 CPUtime=3152.18 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 50525 0 0 0 312225 2993 0 0 20 0 1 0 54757107 357863424 78739 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 87369 78739 1344 243 0 83618 0
Current children cumulated CPU time: 3152.18 s
Current children cumulated vsize: 349476 KiB
Current children cumulated memory: 314956 KiB
[startup+3222.3 s]
/proc/loadavg: 3.11 3.37 3.78 4/244 50690
/proc/meminfo: memFree=129046644/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=352036 memory=320784 CPUtime=3212.03 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 51049 0 0 0 318188 3015 0 0 20 0 1 0 54757107 360484864 80196 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 88009 80196 1344 243 0 84258 0
Current children cumulated CPU time: 3212.03 s
Current children cumulated vsize: 352036 KiB
Current children cumulated memory: 320784 KiB
[startup+3282.3 s]
/proc/loadavg: 3.16 3.33 3.74 4/244 50696
/proc/meminfo: memFree=129050856/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=357232 memory=323856 CPUtime=3271.88 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 51837 0 0 0 324158 3030 0 0 20 0 1 0 54757107 365805568 80964 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 89308 80964 1344 243 0 85557 0
Current children cumulated CPU time: 3271.88 s
Current children cumulated vsize: 357232 KiB
Current children cumulated memory: 323856 KiB
[startup+3342.3 s]
/proc/loadavg: 3.12 3.28 3.70 4/245 50699
/proc/meminfo: memFree=129047864/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=357232 memory=323856 CPUtime=3331.73 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 51842 0 0 0 330126 3047 0 0 20 0 1 0 54757107 365805568 80964 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 89308 80964 1344 243 0 85557 0
Current children cumulated CPU time: 3331.73 s
Current children cumulated vsize: 357232 KiB
Current children cumulated memory: 323856 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.25 3.66 4/245 50701
/proc/meminfo: memFree=129045108/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=361512 memory=326188 CPUtime=3391.58 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 52521 0 0 0 336073 3085 0 0 20 0 1 0 54757107 370188288 81547 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 90378 81547 1344 243 0 86627 0
Current children cumulated CPU time: 3391.58 s
Current children cumulated vsize: 361512 KiB
Current children cumulated memory: 326188 KiB
[startup+3462.3 s]
/proc/loadavg: 3.23 3.25 3.63 4/245 50703
/proc/meminfo: memFree=129043092/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=361768 memory=326572 CPUtime=3451.43 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 52814 0 0 0 342014 3129 0 0 20 0 1 0 54757107 370450432 81643 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 90442 81643 1344 243 0 86691 0
Current children cumulated CPU time: 3451.43 s
Current children cumulated vsize: 361768 KiB
Current children cumulated memory: 326572 KiB
[startup+3522.3 s]
/proc/loadavg: 3.14 3.21 3.59 4/245 50705
/proc/meminfo: memFree=129008084/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=361768 memory=326572 CPUtime=3511.29 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 52963 0 0 0 347963 3166 0 0 20 0 1 0 54757107 370450432 81643 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 90442 81643 1344 243 0 86691 0
Current children cumulated CPU time: 3511.29 s
Current children cumulated vsize: 361768 KiB
Current children cumulated memory: 326572 KiB
[startup+3582.3 s]
/proc/loadavg: 3.09 3.19 3.56 4/245 50707
/proc/meminfo: memFree=129004940/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=361768 memory=326572 CPUtime=3571.13 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 53070 0 0 0 353899 3214 0 0 20 0 1 0 54757107 370450432 81643 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 90442 81643 1344 243 0 86691 0
Current children cumulated CPU time: 3571.13 s
Current children cumulated vsize: 361768 KiB
Current children cumulated memory: 326572 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 3.11 3.18 3.54 4/245 50707
/proc/meminfo: memFree=129006180/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=361768 memory=326576 CPUtime=3600.06 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 53178 0 0 0 356767 3239 0 0 20 0 1 0 54757107 370450432 81644 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 90442 81644 1344 243 0 86691 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 361768 KiB
Current children cumulated memory: 326576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.3 s]
# the end of solver process 50140 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3567.68 s, system=32.3979 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.3 s]
/proc/loadavg: 3.11 3.18 3.54 4/245 50707
/proc/meminfo: memFree=129006180/131382120 swapFree=33010416/33010684
[pid=50140] ppid=50137 vsize=361768 memory=326576 CPUtime=3600.06 cores=1,3
/proc/50140/stat : 50140 (pb-oll-rs) R 50137 50140 48617 0 -1 4194304 53178 0 0 0 356767 3239 0 0 20 0 1 0 54757107 370450432 81644 18446744073709551615 4218880 5211445 140732307082736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 10166272 140732307085724 140732307085801 140732307085801 140732307091403 0
/proc/50140/statm: 90442 81644 1344 243 0 86691 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 361768 KiB
Current children cumulated memory: 326576 KiB
Child status: 0
Real time (s): 3611.3
CPU time (s): 3600.07
CPU user time (s): 3567.68
CPU system time (s): 32.3979
CPU usage (%): 99.689
Max. virtual memory (cumulated for all children) (KiB): 362332
Max. memory (cumulated for all children) (KiB): 326956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.68
system time used= 32.3979
maximum resident set size= 326956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53193
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= 160
involuntary context switches= 2083
# summary of solver processes directly reported to runsolver:
# pid: 50140
# total CPU time (s): 3600.07
# total CPU user time (s): 3567.68
# total CPU system time (s): 32.3979
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0632 second user time and 34.2689 second system time
The end
Begin job on nodeC002 at 2025-07-01 19:26:23
IDJOB=4497004
IDBENCH=148151
IDSOLVER=3345
FILE ID=nodeC002/4497004-1751390783
RUNJOBID= nodeC002-1751383217-48629
SLURM_JOB_ID= 9598229
Free space on /tmp= 433052 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497004-1751390783/watcher-4497004-1751390783 -o /tmp/evaluation-result-4497004-1751390783/solver-4497004-1751390783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751383217-48629 --watchdog 3760 pb-oll-rs HOME/instance-4497004-1751390783.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 941241e1c409728c60fc0eaa98d1a86b
RANDOM SEED=331934168
nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.905
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.226
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.306
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.297
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.901
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.429
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.369
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.483
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127304676 kB
MemAvailable: 127098268 kB
Buffers: 2128 kB
Cached: 602528 kB
SwapCached: 28 kB
Active: 3244544 kB
Inactive: 299948 kB
Active(anon): 2951364 kB
Inactive(anon): 6404 kB
Active(file): 293180 kB
Inactive(file): 293544 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1588 kB
Writeback: 0 kB
AnonPages: 2941176 kB
Mapped: 106780 kB
Shmem: 17932 kB
KReclaimable: 92988 kB
Slab: 176040 kB
SReclaimable: 92988 kB
SUnreclaim: 83052 kB
KernelStack: 3996 kB
PageTables: 8872 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 3554820 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1114112 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433056 MiB
End job on nodeC002 at 2025-07-01 20:26:35