0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 1343 #constraints 2405
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 4412 @ 0.004891
0.00/0.00 c stratification level: 2008
0.00/0.01 c bounds 24447 >= 4412 @ 0.005792
0.00/0.01 c stratification level: 1961
20.13/20.28 c #Conflicts: 1000 | #Constraints: 3405
20.13/20.28 c #Conflicts: 2000 | #Constraints: 4405
20.13/20.28 c INPROCESSING
20.13/20.28 c GARBAGE COLLECT
20.13/20.28 c #Conflicts: 3000 | #Constraints: 4406
20.13/20.28 c #Conflicts: 4000 | #Constraints: 5406
20.13/20.28 c INPROCESSING
20.13/20.28 c GARBAGE COLLECT
20.13/20.28 c #Conflicts: 5000 | #Constraints: 4813
20.13/20.28 c #Conflicts: 6000 | #Constraints: 5813
20.13/20.28 c INPROCESSING
20.13/20.28 c GARBAGE COLLECT
20.13/20.28 c #Conflicts: 7000 | #Constraints: 4831
20.13/20.28 c #Conflicts: 8000 | #Constraints: 5831
20.13/20.28 c #Conflicts: 9000 | #Constraints: 6831
20.13/20.28 c INPROCESSING
20.13/20.28 c GARBAGE COLLECT
20.13/20.28 c #Conflicts: 10000 | #Constraints: 5539
20.13/20.28 c #Conflicts: 11000 | #Constraints: 6539
20.13/20.28 c #Conflicts: 12000 | #Constraints: 7539
20.13/20.28 c INPROCESSING
20.13/20.28 c GARBAGE COLLECT
20.13/20.28 c #Conflicts: 13000 | #Constraints: 5977
20.13/20.28 c #Conflicts: 14000 | #Constraints: 6977
20.13/20.28 c #Conflicts: 15000 | #Constraints: 7977
20.13/20.28 c INPROCESSING
20.13/20.28 c GARBAGE COLLECT
20.13/20.28 c #Conflicts: 16000 | #Constraints: 6221
20.13/20.28 c #Conflicts: 17000 | #Constraints: 7221
20.13/20.28 c #Conflicts: 18000 | #Constraints: 8221
20.13/20.28 c INPROCESSING
20.13/20.28 c GARBAGE COLLECT
20.13/20.28 c #Conflicts: 19000 | #Constraints: 6227
20.13/20.28 c #Conflicts: 20000 | #Constraints: 7227
20.13/20.28 c #Conflicts: 21000 | #Constraints: 8227
20.13/20.28 c INPROCESSING
20.13/20.28 c GARBAGE COLLECT
20.13/20.28 c #Conflicts: 22000 | #Constraints: 6029
20.13/20.28 c #Conflicts: 23000 | #Constraints: 7029
20.13/20.28 c #Conflicts: 24000 | #Constraints: 8029
20.13/20.28 c #Conflicts: 25000 | #Constraints: 9029
20.13/20.28 c INPROCESSING
20.13/20.28 c GARBAGE COLLECT
20.13/20.28 c #Conflicts: 26000 | #Constraints: 6625
20.13/20.28 c #Conflicts: 27000 | #Constraints: 7625
20.13/20.28 c #Conflicts: 28000 | #Constraints: 8625
20.13/20.28 c #Conflicts: 29000 | #Constraints: 9625
20.13/20.28 c INPROCESSING
20.13/20.28 c GARBAGE COLLECT
20.13/20.28 c #Conflicts: 30000 | #Constraints: 7022
20.13/20.28 c #Conflicts: 31000 | #Constraints: 8022
20.13/20.28 c #Conflicts: 32000 | #Constraints: 9022
20.13/20.28 c #Conflicts: 33000 | #Constraints: 10022
20.13/20.28 c INPROCESSING
20.13/20.28 c GARBAGE COLLECT
20.13/20.28 c #Conflicts: 34000 | #Constraints: 7220
20.13/20.28 c #Conflicts: 35000 | #Constraints: 8220
20.13/20.28 c #Conflicts: 36000 | #Constraints: 9220
20.13/20.28 c #Conflicts: 37000 | #Constraints: 10220
20.13/20.28 c INPROCESSING
20.13/20.28 c GARBAGE COLLECT
20.13/20.28 c #Conflicts: 38000 | #Constraints: 7226
20.13/20.28 c #Conflicts: 39000 | #Constraints: 8226
20.13/20.28 c #Conflicts: 40000 | #Constraints: 9226
20.13/20.28 c #Conflicts: 41000 | #Constraints: 10226
20.13/20.28 c INPROCESSING
20.13/20.28 c GARBAGE COLLECT
20.13/20.28 c #Conflicts: 42000 | #Constraints: 7031
20.13/20.28 c #Conflicts: 43000 | #Constraints: 8031
20.13/20.28 c #Conflicts: 44000 | #Constraints: 9031
20.13/20.28 c #Conflicts: 45000 | #Constraints: 10031
20.13/20.28 c #Conflicts: 46000 | #Constraints: 11031
20.13/20.28 c INPROCESSING
20.13/20.28 c GARBAGE COLLECT
20.13/20.28 c #Conflicts: 47000 | #Constraints: 7626
20.13/20.28 c #Conflicts: 48000 | #Constraints: 8626
20.13/20.28 c #Conflicts: 49000 | #Constraints: 9626
20.13/20.28 c #Conflicts: 50000 | #Constraints: 10626
20.13/20.28 c #Conflicts: 51000 | #Constraints: 11626
20.13/20.28 c INPROCESSING
20.13/20.28 c GARBAGE COLLECT
20.13/20.28 c #Conflicts: 52000 | #Constraints: 8026
20.13/20.28 c #Conflicts: 53000 | #Constraints: 9026
20.13/20.28 c #Conflicts: 54000 | #Constraints: 10026
20.13/20.28 c #Conflicts: 55000 | #Constraints: 11026
20.13/20.28 c #Conflicts: 56000 | #Constraints: 12026
20.13/20.28 c INPROCESSING
20.13/20.28 c GARBAGE COLLECT
20.13/20.28 c #Conflicts: 57000 | #Constraints: 8225
20.13/20.28 c #Conflicts: 58000 | #Constraints: 9225
20.13/20.28 c #Conflicts: 59000 | #Constraints: 10225
20.13/20.28 c #Conflicts: 60000 | #Constraints: 11225
20.13/20.28 c #Conflicts: 61000 | #Constraints: 12225
20.13/20.28 c INPROCESSING
20.13/20.28 c GARBAGE COLLECT
20.13/20.28 c #Conflicts: 62000 | #Constraints: 8233
20.13/20.28 c #Conflicts: 63000 | #Constraints: 9233
20.13/20.28 c #Conflicts: 64000 | #Constraints: 10233
20.13/20.28 c #Conflicts: 65000 | #Constraints: 11233
20.13/20.28 c #Conflicts: 66000 | #Constraints: 12233
20.13/20.28 c INPROCESSING
20.13/20.28 c GARBAGE COLLECT
20.13/20.28 c #Conflicts: 67000 | #Constraints: 8035
20.13/20.28 c #Conflicts: 68000 | #Constraints: 9035
46.95/47.19 c #Conflicts: 69000 | #Constraints: 10035
46.95/47.19 c #Conflicts: 70000 | #Constraints: 11035
46.95/47.19 c #Conflicts: 71000 | #Constraints: 12035
46.95/47.19 c #Conflicts: 72000 | #Constraints: 13035
46.95/47.19 c INPROCESSING
46.95/47.19 c GARBAGE COLLECT
46.95/47.19 c #Conflicts: 73000 | #Constraints: 8632
46.95/47.19 c #Conflicts: 74000 | #Constraints: 9632
46.95/47.19 c #Conflicts: 75000 | #Constraints: 10632
46.95/47.19 c #Conflicts: 76000 | #Constraints: 11632
46.95/47.19 c #Conflicts: 77000 | #Constraints: 12632
46.95/47.19 c #Conflicts: 78000 | #Constraints: 13632
46.95/47.19 c INPROCESSING
46.95/47.19 c GARBAGE COLLECT
46.95/47.19 c #Conflicts: 79000 | #Constraints: 9027
46.95/47.19 c #Conflicts: 80000 | #Constraints: 10027
46.95/47.19 c #Conflicts: 81000 | #Constraints: 11027
46.95/47.19 c #Conflicts: 82000 | #Constraints: 12027
46.95/47.19 c #Conflicts: 83000 | #Constraints: 13027
46.95/47.19 c #Conflicts: 84000 | #Constraints: 14027
46.95/47.19 c INPROCESSING
46.95/47.19 c GARBAGE COLLECT
46.95/47.19 c #Conflicts: 85000 | #Constraints: 9230
46.95/47.19 c #Conflicts: 86000 | #Constraints: 10230
46.95/47.19 c #Conflicts: 87000 | #Constraints: 11230
46.95/47.19 c #Conflicts: 88000 | #Constraints: 12230
46.95/47.19 c #Conflicts: 89000 | #Constraints: 13230
46.95/47.19 c #Conflicts: 90000 | #Constraints: 14230
46.95/47.19 c INPROCESSING
46.95/47.19 c GARBAGE COLLECT
46.95/47.19 c #Conflicts: 91000 | #Constraints: 9248
46.95/47.19 c #Conflicts: 92000 | #Constraints: 10248
46.95/47.19 c #Conflicts: 93000 | #Constraints: 11248
46.95/47.19 c #Conflicts: 94000 | #Constraints: 12248
46.95/47.19 c #Conflicts: 95000 | #Constraints: 13248
46.95/47.19 c #Conflicts: 96000 | #Constraints: 14248
46.95/47.19 c INPROCESSING
46.95/47.19 c GARBAGE COLLECT
46.95/47.19 c #Conflicts: 97000 | #Constraints: 9057
46.95/47.19 c #Conflicts: 98000 | #Constraints: 10057
46.95/47.19 c #Conflicts: 99000 | #Constraints: 11057
46.95/47.19 c #Conflicts: 100000 | #Constraints: 12057
46.95/47.19 c #Conflicts: 101000 | #Constraints: 13057
46.95/47.19 c #Conflicts: 102000 | #Constraints: 14057
46.95/47.19 c #Conflicts: 103000 | #Constraints: 15057
46.95/47.19 c INPROCESSING
46.95/47.19 c GARBAGE COLLECT
46.95/47.19 c #Conflicts: 104000 | #Constraints: 9646
46.95/47.19 c #Conflicts: 105000 | #Constraints: 10646
46.95/47.19 c #Conflicts: 106000 | #Constraints: 11646
46.95/47.19 c #Conflicts: 107000 | #Constraints: 12646
46.95/47.19 c #Conflicts: 108000 | #Constraints: 13646
46.95/47.19 c #Conflicts: 109000 | #Constraints: 14646
46.95/47.19 c #Conflicts: 110000 | #Constraints: 15646
46.95/47.19 c INPROCESSING
46.95/47.19 c GARBAGE COLLECT
46.95/47.19 c #Conflicts: 111000 | #Constraints: 10047
46.95/47.19 c #Conflicts: 112000 | #Constraints: 11047
46.95/47.19 c #Conflicts: 113000 | #Constraints: 12047
46.95/47.19 c #Conflicts: 114000 | #Constraints: 13047
46.95/47.19 c #Conflicts: 115000 | #Constraints: 14047
46.95/47.19 c #Conflicts: 116000 | #Constraints: 15047
46.95/47.19 c #Conflicts: 117000 | #Constraints: 16047
46.95/47.19 c INPROCESSING
46.95/47.19 c GARBAGE COLLECT
46.95/47.19 c #Conflicts: 118000 | #Constraints: 10239
46.95/47.19 c #Conflicts: 119000 | #Constraints: 11239
46.95/47.19 c #Conflicts: 120000 | #Constraints: 12239
46.95/47.19 c #Conflicts: 121000 | #Constraints: 13239
46.95/47.19 c #Conflicts: 122000 | #Constraints: 14239
46.95/47.19 c #Conflicts: 123000 | #Constraints: 15239
46.95/47.19 c #Conflicts: 124000 | #Constraints: 16239
46.95/47.19 c INPROCESSING
46.95/47.19 c GARBAGE COLLECT
46.95/47.19 c #Conflicts: 125000 | #Constraints: 10235
46.95/47.19 c #Conflicts: 126000 | #Constraints: 11235
46.95/47.19 c #Conflicts: 127000 | #Constraints: 12235
46.95/47.19 c #Conflicts: 128000 | #Constraints: 13235
46.95/47.19 c #Conflicts: 129000 | #Constraints: 14235
46.95/47.19 c #Conflicts: 130000 | #Constraints: 15235
46.95/47.19 c #Conflicts: 131000 | #Constraints: 16235
46.95/47.19 c INPROCESSING
46.95/47.19 c GARBAGE COLLECT
46.95/47.19 c #Conflicts: 132000 | #Constraints: 10040
46.95/47.19 c #Conflicts: 133000 | #Constraints: 11040
46.95/47.19 c #Conflicts: 134000 | #Constraints: 12040
46.95/47.19 c #Conflicts: 135000 | #Constraints: 13040
46.95/47.19 c #Conflicts: 136000 | #Constraints: 14040
46.95/47.19 c #Conflicts: 137000 | #Constraints: 15040
46.95/47.19 c #Conflicts: 138000 | #Constraints: 16040
46.95/47.19 c #Conflicts: 139000 | #Constraints: 17040
46.95/47.19 c INPROCESSING
46.95/47.19 c GARBAGE COLLECT
46.95/47.19 c #Conflicts: 140000 | #Constraints: 10654
71.66/71.97 c #Conflicts: 141000 | #Constraints: 11654
71.66/71.97 c #Conflicts: 142000 | #Constraints: 12654
71.66/71.97 c #Conflicts: 143000 | #Constraints: 13654
71.66/71.97 c #Conflicts: 144000 | #Constraints: 14654
71.66/71.97 c #Conflicts: 145000 | #Constraints: 15654
71.66/71.97 c #Conflicts: 146000 | #Constraints: 16654
71.66/71.97 c #Conflicts: 147000 | #Constraints: 17654
71.66/71.97 c INPROCESSING
71.66/71.97 c GARBAGE COLLECT
71.66/71.97 c #Conflicts: 148000 | #Constraints: 11040
71.66/71.97 c #Conflicts: 149000 | #Constraints: 12040
71.66/71.97 c #Conflicts: 150000 | #Constraints: 13040
71.66/71.97 c #Conflicts: 151000 | #Constraints: 14040
71.66/71.97 c #Conflicts: 152000 | #Constraints: 15040
71.66/71.97 c #Conflicts: 153000 | #Constraints: 16040
71.66/71.97 c #Conflicts: 154000 | #Constraints: 17040
71.66/71.97 c #Conflicts: 155000 | #Constraints: 18040
71.66/71.97 c INPROCESSING
71.66/71.97 c GARBAGE COLLECT
71.66/71.97 c #Conflicts: 156000 | #Constraints: 11280
71.66/71.97 c #Conflicts: 157000 | #Constraints: 12280
71.66/71.97 c #Conflicts: 158000 | #Constraints: 13280
71.66/71.97 c #Conflicts: 159000 | #Constraints: 14280
71.66/71.97 c #Conflicts: 160000 | #Constraints: 15280
71.66/71.97 c #Conflicts: 161000 | #Constraints: 16280
71.66/71.97 c #Conflicts: 162000 | #Constraints: 17280
71.66/71.97 c #Conflicts: 163000 | #Constraints: 18280
71.66/71.97 c INPROCESSING
71.66/71.97 c GARBAGE COLLECT
71.66/71.97 c #Conflicts: 164000 | #Constraints: 11252
71.66/71.97 c #Conflicts: 165000 | #Constraints: 12252
71.66/71.97 c #Conflicts: 166000 | #Constraints: 13252
71.66/71.97 c #Conflicts: 167000 | #Constraints: 14252
71.66/71.97 c #Conflicts: 168000 | #Constraints: 15252
71.66/71.97 c #Conflicts: 169000 | #Constraints: 16252
71.66/71.97 c #Conflicts: 170000 | #Constraints: 17252
71.66/71.97 c #Conflicts: 171000 | #Constraints: 18252
71.66/71.97 c INPROCESSING
71.66/71.97 c GARBAGE COLLECT
71.66/71.97 c #Conflicts: 172000 | #Constraints: 11064
71.66/71.97 c #Conflicts: 173000 | #Constraints: 12064
71.66/71.97 c #Conflicts: 174000 | #Constraints: 13064
71.66/71.97 c #Conflicts: 175000 | #Constraints: 14064
71.66/71.97 c #Conflicts: 176000 | #Constraints: 15064
71.66/71.97 c #Conflicts: 177000 | #Constraints: 16064
71.66/71.97 c #Conflicts: 178000 | #Constraints: 17064
71.66/71.97 c #Conflicts: 179000 | #Constraints: 18064
71.66/71.97 c #Conflicts: 180000 | #Constraints: 19064
71.66/71.97 c INPROCESSING
71.66/71.97 c GARBAGE COLLECT
71.66/71.97 c #Conflicts: 181000 | #Constraints: 11650
71.66/71.97 c #Conflicts: 182000 | #Constraints: 12650
71.66/71.97 c #Conflicts: 183000 | #Constraints: 13650
71.66/71.97 c #Conflicts: 184000 | #Constraints: 14650
71.66/71.97 c #Conflicts: 185000 | #Constraints: 15650
71.66/71.97 c bounds 24352 >= 4412 @ 68.873
71.66/71.97 c stratification level: 1956
71.66/71.98 c bounds 24288 >= 4412 @ 68.8789
71.66/71.98 c stratification level: 1953
71.66/71.98 c bounds 24230 >= 4412 @ 68.8834
71.66/71.98 c stratification level: 1944
138.81/139.31 c #Conflicts: 186000 | #Constraints: 16653
138.81/139.31 c #Conflicts: 187000 | #Constraints: 17653
138.81/139.31 c #Conflicts: 188000 | #Constraints: 18653
138.81/139.31 c #Conflicts: 189000 | #Constraints: 19653
138.81/139.31 c INPROCESSING
138.81/139.31 c GARBAGE COLLECT
138.81/139.31 c #Conflicts: 190000 | #Constraints: 12055
138.81/139.31 c #Conflicts: 191000 | #Constraints: 13055
138.81/139.31 c #Conflicts: 192000 | #Constraints: 14055
138.81/139.31 c #Conflicts: 193000 | #Constraints: 15055
138.81/139.31 c #Conflicts: 194000 | #Constraints: 16055
138.81/139.31 c #Conflicts: 195000 | #Constraints: 17055
138.81/139.31 c #Conflicts: 196000 | #Constraints: 18055
138.81/139.31 c #Conflicts: 197000 | #Constraints: 19055
138.81/139.31 c #Conflicts: 198000 | #Constraints: 20055
138.81/139.31 c INPROCESSING
138.81/139.31 c GARBAGE COLLECT
138.81/139.31 c #Conflicts: 199000 | #Constraints: 12259
138.81/139.31 c #Conflicts: 200000 | #Constraints: 13259
138.81/139.31 c #Conflicts: 201000 | #Constraints: 14259
138.81/139.31 c #Conflicts: 202000 | #Constraints: 15259
138.81/139.31 c #Conflicts: 203000 | #Constraints: 16259
138.81/139.31 c #Conflicts: 204000 | #Constraints: 17259
138.81/139.32 c #Conflicts: 205000 | #Constraints: 18259
138.81/139.32 c #Conflicts: 206000 | #Constraints: 19259
138.81/139.32 c #Conflicts: 207000 | #Constraints: 20259
138.81/139.32 c INPROCESSING
138.81/139.32 c GARBAGE COLLECT
138.81/139.32 c #Conflicts: 208000 | #Constraints: 12266
138.81/139.32 c #Conflicts: 209000 | #Constraints: 13266
138.81/139.32 c #Conflicts: 210000 | #Constraints: 14266
138.81/139.32 c #Conflicts: 211000 | #Constraints: 15266
138.81/139.32 c #Conflicts: 212000 | #Constraints: 16266
138.81/139.32 c #Conflicts: 213000 | #Constraints: 17266
138.81/139.32 c #Conflicts: 214000 | #Constraints: 18266
138.81/139.32 c #Conflicts: 215000 | #Constraints: 19266
138.81/139.32 c #Conflicts: 216000 | #Constraints: 20266
138.81/139.32 c INPROCESSING
138.81/139.32 c GARBAGE COLLECT
138.81/139.32 c #Conflicts: 217000 | #Constraints: 12067
138.81/139.32 c #Conflicts: 218000 | #Constraints: 13067
138.81/139.32 c #Conflicts: 219000 | #Constraints: 14067
138.81/139.32 c #Conflicts: 220000 | #Constraints: 15067
138.81/139.32 c #Conflicts: 221000 | #Constraints: 16067
138.81/139.32 c #Conflicts: 222000 | #Constraints: 17067
138.81/139.32 c #Conflicts: 223000 | #Constraints: 18067
138.81/139.32 c #Conflicts: 224000 | #Constraints: 19067
138.81/139.32 c #Conflicts: 225000 | #Constraints: 20067
138.81/139.32 c #Conflicts: 226000 | #Constraints: 21067
138.81/139.32 c INPROCESSING
138.81/139.32 c GARBAGE COLLECT
138.81/139.32 c #Conflicts: 227000 | #Constraints: 12672
138.81/139.32 c #Conflicts: 228000 | #Constraints: 13672
138.81/139.32 c #Conflicts: 229000 | #Constraints: 14672
138.81/139.32 c #Conflicts: 230000 | #Constraints: 15672
138.81/139.32 c #Conflicts: 231000 | #Constraints: 16672
138.81/139.32 c #Conflicts: 232000 | #Constraints: 17672
138.81/139.32 c #Conflicts: 233000 | #Constraints: 18672
138.81/139.32 c #Conflicts: 234000 | #Constraints: 19672
138.81/139.32 c #Conflicts: 235000 | #Constraints: 20672
138.81/139.32 c #Conflicts: 236000 | #Constraints: 21672
138.81/139.32 c INPROCESSING
138.81/139.32 c GARBAGE COLLECT
138.81/139.32 c #Conflicts: 237000 | #Constraints: 13074
138.81/139.32 c #Conflicts: 238000 | #Constraints: 14074
138.81/139.32 c #Conflicts: 239000 | #Constraints: 15074
138.81/139.32 c #Conflicts: 240000 | #Constraints: 16074
138.81/139.32 c #Conflicts: 241000 | #Constraints: 17074
138.81/139.32 c #Conflicts: 242000 | #Constraints: 18074
138.81/139.32 c #Conflicts: 243000 | #Constraints: 19074
138.81/139.32 c #Conflicts: 244000 | #Constraints: 20074
138.81/139.32 c #Conflicts: 245000 | #Constraints: 21074
138.81/139.32 c #Conflicts: 246000 | #Constraints: 22074
138.81/139.32 c INPROCESSING
138.81/139.32 c GARBAGE COLLECT
138.81/139.32 c #Conflicts: 247000 | #Constraints: 13261
138.81/139.32 c #Conflicts: 248000 | #Constraints: 14261
138.81/139.32 c #Conflicts: 249000 | #Constraints: 15261
138.81/139.32 c #Conflicts: 250000 | #Constraints: 16261
138.81/139.32 c #Conflicts: 251000 | #Constraints: 17261
138.81/139.32 c #Conflicts: 252000 | #Constraints: 18261
138.81/139.32 c #Conflicts: 253000 | #Constraints: 19261
138.81/139.32 c #Conflicts: 254000 | #Constraints: 20261
138.81/139.32 c #Conflicts: 255000 | #Constraints: 21261
138.81/139.32 c #Conflicts: 256000 | #Constraints: 22261
138.81/139.32 c INPROCESSING
138.81/139.32 c GARBAGE COLLECT
138.81/139.32 c #Conflicts: 257000 | #Constraints: 13256
138.81/139.32 c #Conflicts: 258000 | #Constraints: 14256
138.81/139.32 c #Conflicts: 259000 | #Constraints: 15256
192.82/193.50 c #Conflicts: 260000 | #Constraints: 16256
192.82/193.50 c #Conflicts: 261000 | #Constraints: 17256
192.82/193.50 c #Conflicts: 262000 | #Constraints: 18256
192.82/193.50 c #Conflicts: 263000 | #Constraints: 19256
192.82/193.50 c #Conflicts: 264000 | #Constraints: 20256
192.82/193.50 c #Conflicts: 265000 | #Constraints: 21256
192.82/193.50 c #Conflicts: 266000 | #Constraints: 22256
192.82/193.50 c INPROCESSING
192.82/193.50 c GARBAGE COLLECT
192.82/193.50 c #Conflicts: 267000 | #Constraints: 13072
192.82/193.50 c #Conflicts: 268000 | #Constraints: 14072
192.82/193.50 c #Conflicts: 269000 | #Constraints: 15072
192.82/193.50 c #Conflicts: 270000 | #Constraints: 16072
192.82/193.50 c #Conflicts: 271000 | #Constraints: 17072
192.82/193.50 c #Conflicts: 272000 | #Constraints: 18072
192.82/193.50 c #Conflicts: 273000 | #Constraints: 19072
192.82/193.50 c #Conflicts: 274000 | #Constraints: 20072
192.82/193.50 c #Conflicts: 275000 | #Constraints: 21072
192.82/193.50 c #Conflicts: 276000 | #Constraints: 22072
192.82/193.50 c #Conflicts: 277000 | #Constraints: 23072
192.82/193.50 c INPROCESSING
192.82/193.50 c GARBAGE COLLECT
192.82/193.50 c #Conflicts: 278000 | #Constraints: 13677
192.82/193.50 c #Conflicts: 279000 | #Constraints: 14677
192.82/193.50 c #Conflicts: 280000 | #Constraints: 15677
192.82/193.50 c #Conflicts: 281000 | #Constraints: 16677
192.82/193.50 c #Conflicts: 282000 | #Constraints: 17677
192.82/193.50 c #Conflicts: 283000 | #Constraints: 18677
192.82/193.50 c #Conflicts: 284000 | #Constraints: 19677
192.82/193.50 c #Conflicts: 285000 | #Constraints: 20677
192.82/193.50 c #Conflicts: 286000 | #Constraints: 21677
192.82/193.50 c #Conflicts: 287000 | #Constraints: 22677
192.82/193.50 c #Conflicts: 288000 | #Constraints: 23677
192.82/193.50 c INPROCESSING
192.82/193.50 c GARBAGE COLLECT
192.82/193.50 c #Conflicts: 289000 | #Constraints: 14061
192.82/193.50 c #Conflicts: 290000 | #Constraints: 15061
192.82/193.50 c #Conflicts: 291000 | #Constraints: 16061
192.82/193.50 c #Conflicts: 292000 | #Constraints: 17061
192.82/193.50 c #Conflicts: 293000 | #Constraints: 18061
192.82/193.50 c #Conflicts: 294000 | #Constraints: 19061
192.82/193.50 c #Conflicts: 295000 | #Constraints: 20061
192.82/193.50 c #Conflicts: 296000 | #Constraints: 21061
192.82/193.50 c #Conflicts: 297000 | #Constraints: 22061
192.82/193.50 c #Conflicts: 298000 | #Constraints: 23061
192.82/193.50 c #Conflicts: 299000 | #Constraints: 24061
192.82/193.50 c INPROCESSING
192.82/193.50 c GARBAGE COLLECT
192.82/193.50 c #Conflicts: 300000 | #Constraints: 14284
192.82/193.50 c #Conflicts: 301000 | #Constraints: 15284
192.82/193.50 c #Conflicts: 302000 | #Constraints: 16284
192.82/193.50 c #Conflicts: 303000 | #Constraints: 17284
192.82/193.50 c #Conflicts: 304000 | #Constraints: 18284
192.82/193.50 c #Conflicts: 305000 | #Constraints: 19284
192.82/193.50 c #Conflicts: 306000 | #Constraints: 20284
192.82/193.50 c #Conflicts: 307000 | #Constraints: 21284
192.82/193.50 c #Conflicts: 308000 | #Constraints: 22284
192.82/193.50 c #Conflicts: 309000 | #Constraints: 23284
192.82/193.50 c #Conflicts: 310000 | #Constraints: 24284
192.82/193.50 c INPROCESSING
192.82/193.50 c GARBAGE COLLECT
192.82/193.50 c #Conflicts: 311000 | #Constraints: 14290
192.82/193.50 c #Conflicts: 312000 | #Constraints: 15290
192.82/193.50 c #Conflicts: 313000 | #Constraints: 16290
192.82/193.50 c #Conflicts: 314000 | #Constraints: 17290
192.82/193.50 c #Conflicts: 315000 | #Constraints: 18290
192.82/193.50 c #Conflicts: 316000 | #Constraints: 19290
192.82/193.50 c #Conflicts: 317000 | #Constraints: 20290
192.82/193.50 c #Conflicts: 318000 | #Constraints: 21290
192.82/193.50 c #Conflicts: 319000 | #Constraints: 22290
192.82/193.50 c #Conflicts: 320000 | #Constraints: 23290
192.82/193.50 c #Conflicts: 321000 | #Constraints: 24290
192.82/193.50 c INPROCESSING
192.82/193.50 c GARBAGE COLLECT
192.82/193.50 c #Conflicts: 322000 | #Constraints: 14075
192.82/193.50 c #Conflicts: 323000 | #Constraints: 15075
192.82/193.50 c #Conflicts: 324000 | #Constraints: 16075
192.82/193.50 c #Conflicts: 325000 | #Constraints: 17075
192.82/193.50 c #Conflicts: 326000 | #Constraints: 18075
192.82/193.50 c #Conflicts: 327000 | #Constraints: 19075
192.82/193.50 c #Conflicts: 328000 | #Constraints: 20075
192.82/193.50 c #Conflicts: 329000 | #Constraints: 21075
192.82/193.50 c #Conflicts: 330000 | #Constraints: 22075
192.82/193.50 c #Conflicts: 331000 | #Constraints: 23075
192.82/193.50 c #Conflicts: 332000 | #Constraints: 24075
192.82/193.50 c #Conflicts: 333000 | #Constraints: 25075
192.82/193.50 c INPROCESSING
192.82/193.50 c GARBAGE COLLECT
192.82/193.50 c #Conflicts: 334000 | #Constraints: 14672
220.81/221.62 c #Conflicts: 335000 | #Constraints: 15672
220.81/221.62 c #Conflicts: 336000 | #Constraints: 16672
220.81/221.62 c #Conflicts: 337000 | #Constraints: 17672
220.81/221.62 c #Conflicts: 338000 | #Constraints: 18672
220.81/221.62 c #Conflicts: 339000 | #Constraints: 19672
220.81/221.62 c #Conflicts: 340000 | #Constraints: 20672
220.81/221.62 c #Conflicts: 341000 | #Constraints: 21672
220.81/221.62 c #Conflicts: 342000 | #Constraints: 22672
220.81/221.62 c #Conflicts: 343000 | #Constraints: 23672
220.81/221.62 c #Conflicts: 344000 | #Constraints: 24672
220.81/221.62 c #Conflicts: 345000 | #Constraints: 25672
220.81/221.62 c INPROCESSING
220.81/221.62 c GARBAGE COLLECT
220.81/221.62 c #Conflicts: 346000 | #Constraints: 15098
220.81/221.62 c #Conflicts: 347000 | #Constraints: 16098
220.81/221.62 c #Conflicts: 348000 | #Constraints: 17098
220.81/221.62 c #Conflicts: 349000 | #Constraints: 18098
220.81/221.62 c #Conflicts: 350000 | #Constraints: 19098
220.81/221.62 c #Conflicts: 351000 | #Constraints: 20098
220.81/221.62 c #Conflicts: 352000 | #Constraints: 21098
220.81/221.62 c #Conflicts: 353000 | #Constraints: 22098
220.81/221.62 c #Conflicts: 354000 | #Constraints: 23098
220.81/221.62 c #Conflicts: 355000 | #Constraints: 24098
220.81/221.62 c #Conflicts: 356000 | #Constraints: 25098
220.81/221.62 c #Conflicts: 357000 | #Constraints: 26098
220.81/221.62 c INPROCESSING
220.81/221.62 c GARBAGE COLLECT
220.81/221.62 c #Conflicts: 358000 | #Constraints: 15283
220.81/221.62 c #Conflicts: 359000 | #Constraints: 16283
220.81/221.62 c #Conflicts: 360000 | #Constraints: 17283
220.81/221.62 c #Conflicts: 361000 | #Constraints: 18283
220.81/221.62 c #Conflicts: 362000 | #Constraints: 19283
220.81/221.62 c #Conflicts: 363000 | #Constraints: 20283
220.81/221.62 c #Conflicts: 364000 | #Constraints: 21283
220.81/221.62 c #Conflicts: 365000 | #Constraints: 22283
220.81/221.62 c #Conflicts: 366000 | #Constraints: 23283
220.81/221.62 c #Conflicts: 367000 | #Constraints: 24283
220.81/221.62 c #Conflicts: 368000 | #Constraints: 25283
220.81/221.62 c #Conflicts: 369000 | #Constraints: 26283
220.81/221.62 c INPROCESSING
220.81/221.62 c GARBAGE COLLECT
220.81/221.62 c #Conflicts: 370000 | #Constraints: 15294
220.81/221.62 c bounds 24100 >= 4412 @ 214.773
220.81/221.62 c stratification level: 1935
220.81/221.63 c bounds 24036 >= 4412 @ 214.777
220.81/221.63 c stratification level: 1932
220.81/221.63 c bounds 23990 >= 4412 @ 214.78
220.81/221.63 c stratification level: 1915
220.81/221.64 c bounds 23978 >= 4412 @ 214.786
220.81/221.64 c stratification level: 1906
277.59/278.65 c #Conflicts: 371000 | #Constraints: 16298
277.59/278.65 c #Conflicts: 372000 | #Constraints: 17298
277.59/278.65 c #Conflicts: 373000 | #Constraints: 18298
277.59/278.65 c #Conflicts: 374000 | #Constraints: 19298
277.59/278.65 c #Conflicts: 375000 | #Constraints: 20298
277.59/278.65 c #Conflicts: 376000 | #Constraints: 21298
277.59/278.65 c #Conflicts: 377000 | #Constraints: 22298
277.59/278.65 c #Conflicts: 378000 | #Constraints: 23298
277.59/278.65 c #Conflicts: 379000 | #Constraints: 24298
277.59/278.65 c #Conflicts: 380000 | #Constraints: 25298
277.59/278.65 c #Conflicts: 381000 | #Constraints: 26298
277.59/278.65 c INPROCESSING
277.59/278.65 c GARBAGE COLLECT
277.59/278.65 c #Conflicts: 382000 | #Constraints: 15102
277.59/278.65 c #Conflicts: 383000 | #Constraints: 16102
277.59/278.65 c #Conflicts: 384000 | #Constraints: 17102
277.59/278.65 c #Conflicts: 385000 | #Constraints: 18102
277.59/278.65 c #Conflicts: 386000 | #Constraints: 19102
277.59/278.65 c #Conflicts: 387000 | #Constraints: 20102
277.59/278.65 c #Conflicts: 388000 | #Constraints: 21102
277.59/278.65 c #Conflicts: 389000 | #Constraints: 22102
277.59/278.65 c #Conflicts: 390000 | #Constraints: 23102
277.59/278.65 c #Conflicts: 391000 | #Constraints: 24102
277.59/278.65 c #Conflicts: 392000 | #Constraints: 25102
277.59/278.65 c #Conflicts: 393000 | #Constraints: 26102
277.59/278.65 c #Conflicts: 394000 | #Constraints: 27102
277.59/278.65 c INPROCESSING
277.59/278.65 c GARBAGE COLLECT
277.59/278.65 c #Conflicts: 395000 | #Constraints: 15698
277.59/278.65 c #Conflicts: 396000 | #Constraints: 16698
277.59/278.65 c #Conflicts: 397000 | #Constraints: 17698
277.59/278.65 c #Conflicts: 398000 | #Constraints: 18698
277.59/278.65 c #Conflicts: 399000 | #Constraints: 19698
277.59/278.65 c #Conflicts: 400000 | #Constraints: 20698
277.59/278.65 c #Conflicts: 401000 | #Constraints: 21698
277.59/278.65 c #Conflicts: 402000 | #Constraints: 22698
277.59/278.65 c #Conflicts: 403000 | #Constraints: 23698
277.59/278.65 c #Conflicts: 404000 | #Constraints: 24698
277.59/278.65 c #Conflicts: 405000 | #Constraints: 25698
277.59/278.65 c #Conflicts: 406000 | #Constraints: 26698
277.59/278.65 c #Conflicts: 407000 | #Constraints: 27698
277.59/278.65 c INPROCESSING
277.59/278.65 c GARBAGE COLLECT
277.59/278.65 c #Conflicts: 408000 | #Constraints: 16102
277.59/278.65 c #Conflicts: 409000 | #Constraints: 17102
277.59/278.65 c #Conflicts: 410000 | #Constraints: 18102
277.59/278.65 c #Conflicts: 411000 | #Constraints: 19102
277.59/278.65 c #Conflicts: 412000 | #Constraints: 20102
277.59/278.65 c #Conflicts: 413000 | #Constraints: 21102
277.59/278.65 c #Conflicts: 414000 | #Constraints: 22102
277.59/278.65 c #Conflicts: 415000 | #Constraints: 23102
277.59/278.65 c #Conflicts: 416000 | #Constraints: 24102
277.59/278.65 c #Conflicts: 417000 | #Constraints: 25102
277.59/278.65 c #Conflicts: 418000 | #Constraints: 26102
277.59/278.65 c #Conflicts: 419000 | #Constraints: 27102
277.59/278.65 c #Conflicts: 420000 | #Constraints: 28102
277.59/278.65 c INPROCESSING
277.59/278.65 c GARBAGE COLLECT
277.59/278.65 c #Conflicts: 421000 | #Constraints: 16314
277.59/278.65 c #Conflicts: 422000 | #Constraints: 17314
277.59/278.65 c #Conflicts: 423000 | #Constraints: 18314
277.59/278.65 c #Conflicts: 424000 | #Constraints: 19314
277.59/278.65 c #Conflicts: 425000 | #Constraints: 20314
277.59/278.65 c #Conflicts: 426000 | #Constraints: 21314
277.59/278.65 c #Conflicts: 427000 | #Constraints: 22314
277.59/278.65 c #Conflicts: 428000 | #Constraints: 23314
277.59/278.65 c #Conflicts: 429000 | #Constraints: 24314
277.59/278.65 c #Conflicts: 430000 | #Constraints: 25314
277.59/278.65 c #Conflicts: 431000 | #Constraints: 26314
277.59/278.65 c #Conflicts: 432000 | #Constraints: 27314
277.59/278.65 c #Conflicts: 433000 | #Constraints: 28314
277.59/278.65 c INPROCESSING
277.59/278.65 c GARBAGE COLLECT
277.59/278.65 c #Conflicts: 434000 | #Constraints: 16309
277.59/278.65 c #Conflicts: 435000 | #Constraints: 17309
277.59/278.65 c #Conflicts: 436000 | #Constraints: 18309
277.59/278.65 c #Conflicts: 437000 | #Constraints: 19309
277.59/278.65 c #Conflicts: 438000 | #Constraints: 20309
277.59/278.65 c #Conflicts: 439000 | #Constraints: 21309
277.59/278.65 c #Conflicts: 440000 | #Constraints: 22309
277.59/278.65 c #Conflicts: 441000 | #Constraints: 23309
277.59/278.65 c #Conflicts: 442000 | #Constraints: 24309
277.59/278.65 c #Conflicts: 443000 | #Constraints: 25309
277.59/278.65 c #Conflicts: 444000 | #Constraints: 26309
277.59/278.65 c #Conflicts: 445000 | #Constraints: 27309
277.59/278.65 c #Conflicts: 446000 | #Constraints: 28309
373.75/375.12 c INPROCESSING
373.75/375.12 c GARBAGE COLLECT
373.75/375.12 c #Conflicts: 447000 | #Constraints: 16098
373.75/375.12 c #Conflicts: 448000 | #Constraints: 17098
373.75/375.12 c #Conflicts: 449000 | #Constraints: 18098
373.75/375.12 c #Conflicts: 450000 | #Constraints: 19098
373.75/375.12 c #Conflicts: 451000 | #Constraints: 20098
373.75/375.12 c #Conflicts: 452000 | #Constraints: 21098
373.75/375.12 c #Conflicts: 453000 | #Constraints: 22098
373.75/375.12 c #Conflicts: 454000 | #Constraints: 23098
373.75/375.12 c #Conflicts: 455000 | #Constraints: 24098
373.75/375.12 c #Conflicts: 456000 | #Constraints: 25098
373.75/375.12 c #Conflicts: 457000 | #Constraints: 26098
373.75/375.12 c #Conflicts: 458000 | #Constraints: 27098
373.75/375.12 c #Conflicts: 459000 | #Constraints: 28098
373.75/375.12 c #Conflicts: 460000 | #Constraints: 29098
373.75/375.12 c INPROCESSING
373.75/375.12 c GARBAGE COLLECT
373.75/375.12 c #Conflicts: 461000 | #Constraints: 16710
373.75/375.12 c #Conflicts: 462000 | #Constraints: 17710
373.75/375.12 c #Conflicts: 463000 | #Constraints: 18710
373.75/375.12 c #Conflicts: 464000 | #Constraints: 19710
373.75/375.12 c #Conflicts: 465000 | #Constraints: 20710
373.75/375.12 c #Conflicts: 466000 | #Constraints: 21710
373.75/375.12 c #Conflicts: 467000 | #Constraints: 22710
373.75/375.12 c #Conflicts: 468000 | #Constraints: 23710
373.75/375.12 c #Conflicts: 469000 | #Constraints: 24710
373.75/375.12 c #Conflicts: 470000 | #Constraints: 25710
373.75/375.12 c #Conflicts: 471000 | #Constraints: 26710
373.75/375.12 c #Conflicts: 472000 | #Constraints: 27710
373.75/375.12 c #Conflicts: 473000 | #Constraints: 28710
373.75/375.12 c #Conflicts: 474000 | #Constraints: 29710
373.75/375.12 c INPROCESSING
373.75/375.12 c GARBAGE COLLECT
373.75/375.12 c #Conflicts: 475000 | #Constraints: 17117
373.75/375.12 c #Conflicts: 476000 | #Constraints: 18117
373.75/375.12 c #Conflicts: 477000 | #Constraints: 19117
373.75/375.12 c #Conflicts: 478000 | #Constraints: 20117
373.75/375.12 c #Conflicts: 479000 | #Constraints: 21117
373.75/375.12 c #Conflicts: 480000 | #Constraints: 22117
373.75/375.12 c #Conflicts: 481000 | #Constraints: 23117
373.75/375.12 c #Conflicts: 482000 | #Constraints: 24117
373.75/375.12 c #Conflicts: 483000 | #Constraints: 25117
373.75/375.12 c #Conflicts: 484000 | #Constraints: 26117
373.75/375.12 c #Conflicts: 485000 | #Constraints: 27117
373.75/375.12 c #Conflicts: 486000 | #Constraints: 28117
373.75/375.12 c #Conflicts: 487000 | #Constraints: 29117
373.75/375.12 c #Conflicts: 488000 | #Constraints: 30117
373.75/375.12 c INPROCESSING
373.75/375.12 c GARBAGE COLLECT
373.75/375.12 c #Conflicts: 489000 | #Constraints: 17305
373.75/375.12 c #Conflicts: 490000 | #Constraints: 18305
373.75/375.12 c #Conflicts: 491000 | #Constraints: 19305
373.75/375.12 c #Conflicts: 492000 | #Constraints: 20305
373.75/375.12 c #Conflicts: 493000 | #Constraints: 21305
373.75/375.12 c #Conflicts: 494000 | #Constraints: 22305
373.75/375.12 c #Conflicts: 495000 | #Constraints: 23305
373.75/375.12 c #Conflicts: 496000 | #Constraints: 24305
373.75/375.12 c #Conflicts: 497000 | #Constraints: 25305
373.75/375.12 c #Conflicts: 498000 | #Constraints: 26305
373.75/375.12 c #Conflicts: 499000 | #Constraints: 27305
373.75/375.12 c #Conflicts: 500000 | #Constraints: 28305
373.75/375.12 c #Conflicts: 501000 | #Constraints: 29305
373.75/375.12 c #Conflicts: 502000 | #Constraints: 30305
373.75/375.12 c INPROCESSING
373.75/375.12 c GARBAGE COLLECT
373.75/375.12 c #Conflicts: 503000 | #Constraints: 17387
373.75/375.12 c #Conflicts: 504000 | #Constraints: 18387
373.75/375.12 c #Conflicts: 505000 | #Constraints: 19387
373.75/375.12 c #Conflicts: 506000 | #Constraints: 20387
373.75/375.12 c #Conflicts: 507000 | #Constraints: 21387
373.75/375.12 c #Conflicts: 508000 | #Constraints: 22387
373.75/375.12 c #Conflicts: 509000 | #Constraints: 23387
373.75/375.12 c #Conflicts: 510000 | #Constraints: 24387
373.75/375.12 c #Conflicts: 511000 | #Constraints: 25387
373.75/375.12 c #Conflicts: 512000 | #Constraints: 26387
373.75/375.12 c #Conflicts: 513000 | #Constraints: 27387
373.75/375.12 c #Conflicts: 514000 | #Constraints: 28387
373.75/375.12 c #Conflicts: 515000 | #Constraints: 29387
373.75/375.12 c #Conflicts: 516000 | #Constraints: 30387
373.75/375.12 c INPROCESSING
373.75/375.12 c GARBAGE COLLECT
373.75/375.12 c #Conflicts: 517000 | #Constraints: 17157
373.75/375.12 c #Conflicts: 518000 | #Constraints: 18157
373.75/375.12 c #Conflicts: 519000 | #Constraints: 19157
373.75/375.12 c #Conflicts: 520000 | #Constraints: 20157
373.75/375.12 c #Conflicts: 521000 | #Constraints: 21157
458.32/460.08 c #Conflicts: 522000 | #Constraints: 22157
458.32/460.08 c #Conflicts: 523000 | #Constraints: 23157
458.32/460.08 c #Conflicts: 524000 | #Constraints: 24157
458.32/460.08 c #Conflicts: 525000 | #Constraints: 25157
458.32/460.08 c #Conflicts: 526000 | #Constraints: 26157
458.32/460.08 c #Conflicts: 527000 | #Constraints: 27157
458.32/460.08 c #Conflicts: 528000 | #Constraints: 28157
458.32/460.08 c #Conflicts: 529000 | #Constraints: 29157
458.32/460.08 c #Conflicts: 530000 | #Constraints: 30157
458.32/460.08 c #Conflicts: 531000 | #Constraints: 31157
458.32/460.08 c INPROCESSING
458.32/460.08 c GARBAGE COLLECT
458.32/460.08 c #Conflicts: 532000 | #Constraints: 17715
458.32/460.08 c #Conflicts: 533000 | #Constraints: 18715
458.32/460.08 c #Conflicts: 534000 | #Constraints: 19715
458.32/460.08 c #Conflicts: 535000 | #Constraints: 20715
458.32/460.08 c #Conflicts: 536000 | #Constraints: 21715
458.32/460.08 c #Conflicts: 537000 | #Constraints: 22715
458.32/460.08 c #Conflicts: 538000 | #Constraints: 23715
458.32/460.08 c #Conflicts: 539000 | #Constraints: 24715
458.32/460.08 c #Conflicts: 540000 | #Constraints: 25715
458.32/460.08 c #Conflicts: 541000 | #Constraints: 26715
458.32/460.08 c #Conflicts: 542000 | #Constraints: 27715
458.32/460.08 c #Conflicts: 543000 | #Constraints: 28715
458.32/460.08 c #Conflicts: 544000 | #Constraints: 29715
458.32/460.08 c #Conflicts: 545000 | #Constraints: 30715
458.32/460.08 c #Conflicts: 546000 | #Constraints: 31715
458.32/460.08 c INPROCESSING
458.32/460.08 c GARBAGE COLLECT
458.32/460.08 c #Conflicts: 547000 | #Constraints: 18118
458.32/460.08 c #Conflicts: 548000 | #Constraints: 19118
458.32/460.08 c #Conflicts: 549000 | #Constraints: 20118
458.32/460.08 c #Conflicts: 550000 | #Constraints: 21118
458.32/460.08 c #Conflicts: 551000 | #Constraints: 22118
458.32/460.08 c #Conflicts: 552000 | #Constraints: 23118
458.32/460.08 c #Conflicts: 553000 | #Constraints: 24118
458.32/460.08 c #Conflicts: 554000 | #Constraints: 25118
458.32/460.08 c #Conflicts: 555000 | #Constraints: 26118
458.32/460.08 c #Conflicts: 556000 | #Constraints: 27118
458.32/460.08 c #Conflicts: 557000 | #Constraints: 28118
458.32/460.08 c #Conflicts: 558000 | #Constraints: 29118
458.32/460.08 c #Conflicts: 559000 | #Constraints: 30118
458.32/460.08 c #Conflicts: 560000 | #Constraints: 31118
458.32/460.08 c #Conflicts: 561000 | #Constraints: 32118
458.32/460.08 c INPROCESSING
458.32/460.08 c GARBAGE COLLECT
458.32/460.08 c #Conflicts: 562000 | #Constraints: 18321
458.32/460.08 c #Conflicts: 563000 | #Constraints: 19321
458.32/460.08 c #Conflicts: 564000 | #Constraints: 20321
458.32/460.08 c #Conflicts: 565000 | #Constraints: 21321
458.32/460.08 c #Conflicts: 566000 | #Constraints: 22321
458.32/460.08 c #Conflicts: 567000 | #Constraints: 23321
458.32/460.08 c #Conflicts: 568000 | #Constraints: 24321
458.32/460.08 c #Conflicts: 569000 | #Constraints: 25321
458.32/460.08 c #Conflicts: 570000 | #Constraints: 26321
458.32/460.08 c #Conflicts: 571000 | #Constraints: 27321
458.32/460.08 c #Conflicts: 572000 | #Constraints: 28321
458.32/460.08 c #Conflicts: 573000 | #Constraints: 29321
458.32/460.08 c #Conflicts: 574000 | #Constraints: 30321
458.32/460.08 c #Conflicts: 575000 | #Constraints: 31321
458.32/460.08 c #Conflicts: 576000 | #Constraints: 32321
458.32/460.08 c INPROCESSING
458.32/460.08 c GARBAGE COLLECT
458.32/460.08 c #Conflicts: 577000 | #Constraints: 18309
458.32/460.08 c #Conflicts: 578000 | #Constraints: 19309
458.32/460.08 c #Conflicts: 579000 | #Constraints: 20309
458.32/460.08 c #Conflicts: 580000 | #Constraints: 21309
458.32/460.08 c #Conflicts: 581000 | #Constraints: 22309
458.32/460.08 c #Conflicts: 582000 | #Constraints: 23309
458.32/460.08 c #Conflicts: 583000 | #Constraints: 24309
458.32/460.08 c #Conflicts: 584000 | #Constraints: 25309
458.32/460.08 c #Conflicts: 585000 | #Constraints: 26309
458.32/460.08 c #Conflicts: 586000 | #Constraints: 27309
458.32/460.08 c #Conflicts: 587000 | #Constraints: 28309
458.32/460.08 c #Conflicts: 588000 | #Constraints: 29309
458.32/460.08 c #Conflicts: 589000 | #Constraints: 30309
458.32/460.08 c #Conflicts: 590000 | #Constraints: 31309
458.32/460.08 c #Conflicts: 591000 | #Constraints: 32309
458.32/460.08 c INPROCESSING
458.32/460.08 c GARBAGE COLLECT
458.32/460.08 c #Conflicts: 592000 | #Constraints: 18111
458.32/460.08 c #Conflicts: 593000 | #Constraints: 19111
458.32/460.08 c #Conflicts: 594000 | #Constraints: 20111
458.32/460.08 c #Conflicts: 595000 | #Constraints: 21111
458.32/460.08 c #Conflicts: 596000 | #Constraints: 22111
458.32/460.08 c #Conflicts: 597000 | #Constraints: 23111
559.82/561.91 c #Conflicts: 598000 | #Constraints: 24111
559.82/561.91 c #Conflicts: 599000 | #Constraints: 25111
559.82/561.91 c #Conflicts: 600000 | #Constraints: 26111
559.82/561.91 c #Conflicts: 601000 | #Constraints: 27111
559.82/561.91 c #Conflicts: 602000 | #Constraints: 28111
559.82/561.91 c #Conflicts: 603000 | #Constraints: 29111
559.82/561.91 c #Conflicts: 604000 | #Constraints: 30111
559.82/561.91 c #Conflicts: 605000 | #Constraints: 31111
559.82/561.91 c #Conflicts: 606000 | #Constraints: 32111
559.82/561.91 c #Conflicts: 607000 | #Constraints: 33111
559.82/561.91 c INPROCESSING
559.82/561.91 c GARBAGE COLLECT
559.82/561.91 c #Conflicts: 608000 | #Constraints: 18740
559.82/561.91 c #Conflicts: 609000 | #Constraints: 19740
559.82/561.91 c #Conflicts: 610000 | #Constraints: 20740
559.82/561.91 c #Conflicts: 611000 | #Constraints: 21740
559.82/561.91 c #Conflicts: 612000 | #Constraints: 22740
559.82/561.91 c #Conflicts: 613000 | #Constraints: 23740
559.82/561.91 c #Conflicts: 614000 | #Constraints: 24740
559.82/561.91 c #Conflicts: 615000 | #Constraints: 25740
559.82/561.91 c #Conflicts: 616000 | #Constraints: 26740
559.82/561.91 c #Conflicts: 617000 | #Constraints: 27740
559.82/561.91 c #Conflicts: 618000 | #Constraints: 28740
559.82/561.91 c #Conflicts: 619000 | #Constraints: 29740
559.82/561.91 c #Conflicts: 620000 | #Constraints: 30740
559.82/561.91 c #Conflicts: 621000 | #Constraints: 31740
559.82/561.91 c #Conflicts: 622000 | #Constraints: 32740
559.82/561.91 c #Conflicts: 623000 | #Constraints: 33740
559.82/561.91 c INPROCESSING
559.82/561.91 c GARBAGE COLLECT
559.82/561.91 c #Conflicts: 624000 | #Constraints: 19134
559.82/561.91 c #Conflicts: 625000 | #Constraints: 20134
559.82/561.91 c #Conflicts: 626000 | #Constraints: 21134
559.82/561.91 c #Conflicts: 627000 | #Constraints: 22134
559.82/561.91 c #Conflicts: 628000 | #Constraints: 23134
559.82/561.91 c #Conflicts: 629000 | #Constraints: 24134
559.82/561.91 c #Conflicts: 630000 | #Constraints: 25134
559.82/561.91 c #Conflicts: 631000 | #Constraints: 26134
559.82/561.91 c #Conflicts: 632000 | #Constraints: 27134
559.82/561.91 c #Conflicts: 633000 | #Constraints: 28134
559.82/561.91 c #Conflicts: 634000 | #Constraints: 29134
559.82/561.91 c #Conflicts: 635000 | #Constraints: 30134
559.82/561.91 c #Conflicts: 636000 | #Constraints: 31134
559.82/561.91 c #Conflicts: 637000 | #Constraints: 32134
559.82/561.91 c #Conflicts: 638000 | #Constraints: 33134
559.82/561.91 c #Conflicts: 639000 | #Constraints: 34134
559.82/561.91 c INPROCESSING
559.82/561.91 c GARBAGE COLLECT
559.82/561.91 c #Conflicts: 640000 | #Constraints: 19348
559.82/561.91 c #Conflicts: 641000 | #Constraints: 20348
559.82/561.91 c #Conflicts: 642000 | #Constraints: 21348
559.82/561.91 c #Conflicts: 643000 | #Constraints: 22348
559.82/561.91 c #Conflicts: 644000 | #Constraints: 23348
559.82/561.91 c #Conflicts: 645000 | #Constraints: 24348
559.82/561.91 c #Conflicts: 646000 | #Constraints: 25348
559.82/561.91 c #Conflicts: 647000 | #Constraints: 26348
559.82/561.91 c #Conflicts: 648000 | #Constraints: 27348
559.82/561.91 c #Conflicts: 649000 | #Constraints: 28348
559.82/561.91 c #Conflicts: 650000 | #Constraints: 29348
559.82/561.91 c #Conflicts: 651000 | #Constraints: 30348
559.82/561.91 c #Conflicts: 652000 | #Constraints: 31348
559.82/561.91 c #Conflicts: 653000 | #Constraints: 32348
559.82/561.91 c #Conflicts: 654000 | #Constraints: 33348
559.82/561.91 c #Conflicts: 655000 | #Constraints: 34348
559.82/561.91 c INPROCESSING
559.82/561.91 c GARBAGE COLLECT
559.82/561.91 c #Conflicts: 656000 | #Constraints: 19322
559.82/561.91 c #Conflicts: 657000 | #Constraints: 20322
559.82/561.91 c #Conflicts: 658000 | #Constraints: 21322
559.82/561.91 c #Conflicts: 659000 | #Constraints: 22322
559.82/561.91 c #Conflicts: 660000 | #Constraints: 23322
559.82/561.91 c #Conflicts: 661000 | #Constraints: 24322
559.82/561.91 c #Conflicts: 662000 | #Constraints: 25322
559.82/561.91 c #Conflicts: 663000 | #Constraints: 26322
559.82/561.91 c #Conflicts: 664000 | #Constraints: 27322
559.82/561.91 c #Conflicts: 665000 | #Constraints: 28322
559.82/561.91 c #Conflicts: 666000 | #Constraints: 29322
559.82/561.91 c #Conflicts: 667000 | #Constraints: 30322
559.82/561.91 c #Conflicts: 668000 | #Constraints: 31322
559.82/561.91 c #Conflicts: 669000 | #Constraints: 32322
559.82/561.91 c #Conflicts: 670000 | #Constraints: 33322
559.82/561.91 c #Conflicts: 671000 | #Constraints: 34322
559.82/561.91 c INPROCESSING
559.82/561.91 c GARBAGE COLLECT
559.82/561.91 c #Conflicts: 672000 | #Constraints: 19132
659.55/662.07 c #Conflicts: 673000 | #Constraints: 20132
659.55/662.07 c #Conflicts: 674000 | #Constraints: 21132
659.55/662.07 c #Conflicts: 675000 | #Constraints: 22132
659.55/662.07 c #Conflicts: 676000 | #Constraints: 23132
659.55/662.07 c #Conflicts: 677000 | #Constraints: 24132
659.55/662.07 c #Conflicts: 678000 | #Constraints: 25132
659.55/662.07 c #Conflicts: 679000 | #Constraints: 26132
659.55/662.07 c #Conflicts: 680000 | #Constraints: 27132
659.55/662.07 c #Conflicts: 681000 | #Constraints: 28132
659.55/662.07 c #Conflicts: 682000 | #Constraints: 29132
659.55/662.07 c #Conflicts: 683000 | #Constraints: 30132
659.55/662.07 c #Conflicts: 684000 | #Constraints: 31132
659.55/662.07 c #Conflicts: 685000 | #Constraints: 32132
659.55/662.07 c #Conflicts: 686000 | #Constraints: 33132
659.55/662.07 c #Conflicts: 687000 | #Constraints: 34132
659.55/662.07 c #Conflicts: 688000 | #Constraints: 35132
659.55/662.07 c INPROCESSING
659.55/662.07 c GARBAGE COLLECT
659.55/662.07 c #Conflicts: 689000 | #Constraints: 19719
659.55/662.07 c #Conflicts: 690000 | #Constraints: 20719
659.55/662.07 c #Conflicts: 691000 | #Constraints: 21719
659.55/662.07 c #Conflicts: 692000 | #Constraints: 22719
659.55/662.07 c #Conflicts: 693000 | #Constraints: 23719
659.55/662.07 c #Conflicts: 694000 | #Constraints: 24719
659.55/662.07 c #Conflicts: 695000 | #Constraints: 25719
659.55/662.07 c #Conflicts: 696000 | #Constraints: 26719
659.55/662.07 c #Conflicts: 697000 | #Constraints: 27719
659.55/662.07 c #Conflicts: 698000 | #Constraints: 28719
659.55/662.07 c #Conflicts: 699000 | #Constraints: 29719
659.55/662.07 c #Conflicts: 700000 | #Constraints: 30719
659.55/662.07 c #Conflicts: 701000 | #Constraints: 31719
659.55/662.07 c #Conflicts: 702000 | #Constraints: 32719
659.55/662.07 c #Conflicts: 703000 | #Constraints: 33719
659.55/662.07 c #Conflicts: 704000 | #Constraints: 34719
659.55/662.07 c #Conflicts: 705000 | #Constraints: 35719
659.55/662.07 c INPROCESSING
659.55/662.07 c GARBAGE COLLECT
659.55/662.07 c #Conflicts: 706000 | #Constraints: 20112
659.55/662.07 c #Conflicts: 707000 | #Constraints: 21112
659.55/662.07 c #Conflicts: 708000 | #Constraints: 22112
659.55/662.07 c #Conflicts: 709000 | #Constraints: 23112
659.55/662.07 c #Conflicts: 710000 | #Constraints: 24112
659.55/662.07 c #Conflicts: 711000 | #Constraints: 25112
659.55/662.07 c #Conflicts: 712000 | #Constraints: 26112
659.55/662.07 c #Conflicts: 713000 | #Constraints: 27112
659.55/662.07 c #Conflicts: 714000 | #Constraints: 28112
659.55/662.07 c #Conflicts: 715000 | #Constraints: 29112
659.55/662.07 c #Conflicts: 716000 | #Constraints: 30112
659.55/662.07 c #Conflicts: 717000 | #Constraints: 31112
659.55/662.07 c #Conflicts: 718000 | #Constraints: 32112
659.55/662.07 c #Conflicts: 719000 | #Constraints: 33112
659.55/662.07 c #Conflicts: 720000 | #Constraints: 34112
659.55/662.07 c #Conflicts: 721000 | #Constraints: 35112
659.55/662.07 c #Conflicts: 722000 | #Constraints: 36112
659.55/662.07 c INPROCESSING
659.55/662.07 c GARBAGE COLLECT
659.55/662.07 c #Conflicts: 723000 | #Constraints: 20319
659.55/662.07 c #Conflicts: 724000 | #Constraints: 21319
659.55/662.07 c #Conflicts: 725000 | #Constraints: 22319
659.55/662.07 c #Conflicts: 726000 | #Constraints: 23319
659.55/662.07 c #Conflicts: 727000 | #Constraints: 24319
659.55/662.07 c #Conflicts: 728000 | #Constraints: 25319
659.55/662.07 c #Conflicts: 729000 | #Constraints: 26319
659.55/662.07 c #Conflicts: 730000 | #Constraints: 27319
659.55/662.07 c #Conflicts: 731000 | #Constraints: 28319
659.55/662.07 c #Conflicts: 732000 | #Constraints: 29319
659.55/662.07 c #Conflicts: 733000 | #Constraints: 30319
659.55/662.07 c #Conflicts: 734000 | #Constraints: 31319
659.55/662.07 c #Conflicts: 735000 | #Constraints: 32319
659.55/662.07 c #Conflicts: 736000 | #Constraints: 33319
659.55/662.07 c #Conflicts: 737000 | #Constraints: 34319
659.55/662.07 c #Conflicts: 738000 | #Constraints: 35319
659.55/662.07 c #Conflicts: 739000 | #Constraints: 36319
659.55/662.07 c INPROCESSING
659.55/662.07 c GARBAGE COLLECT
659.55/662.07 c #Conflicts: 740000 | #Constraints: 20338
659.55/662.07 c #Conflicts: 741000 | #Constraints: 21338
659.55/662.07 c #Conflicts: 742000 | #Constraints: 22338
659.55/662.07 c #Conflicts: 743000 | #Constraints: 23338
659.55/662.07 c #Conflicts: 744000 | #Constraints: 24338
659.55/662.07 c #Conflicts: 745000 | #Constraints: 25338
659.55/662.07 c #Conflicts: 746000 | #Constraints: 26338
659.55/662.07 c #Conflicts: 747000 | #Constraints: 27338
659.55/662.07 c #Conflicts: 748000 | #Constraints: 28338
777.90/780.82 c #Conflicts: 749000 | #Constraints: 29338
777.90/780.82 c #Conflicts: 750000 | #Constraints: 30338
777.90/780.82 c #Conflicts: 751000 | #Constraints: 31338
777.90/780.82 c #Conflicts: 752000 | #Constraints: 32338
777.90/780.82 c #Conflicts: 753000 | #Constraints: 33338
777.90/780.82 c #Conflicts: 754000 | #Constraints: 34338
777.90/780.82 c #Conflicts: 755000 | #Constraints: 35338
777.90/780.82 c #Conflicts: 756000 | #Constraints: 36338
777.90/780.82 c INPROCESSING
777.90/780.82 c GARBAGE COLLECT
777.90/780.82 c #Conflicts: 757000 | #Constraints: 20116
777.90/780.82 c #Conflicts: 758000 | #Constraints: 21116
777.90/780.82 c #Conflicts: 759000 | #Constraints: 22116
777.90/780.82 c #Conflicts: 760000 | #Constraints: 23116
777.90/780.82 c #Conflicts: 761000 | #Constraints: 24116
777.90/780.82 c #Conflicts: 762000 | #Constraints: 25116
777.90/780.82 c #Conflicts: 763000 | #Constraints: 26116
777.90/780.82 c #Conflicts: 764000 | #Constraints: 27116
777.90/780.82 c #Conflicts: 765000 | #Constraints: 28116
777.90/780.82 c #Conflicts: 766000 | #Constraints: 29116
777.90/780.82 c #Conflicts: 767000 | #Constraints: 30116
777.90/780.82 c #Conflicts: 768000 | #Constraints: 31116
777.90/780.82 c #Conflicts: 769000 | #Constraints: 32116
777.90/780.82 c #Conflicts: 770000 | #Constraints: 33116
777.90/780.82 c #Conflicts: 771000 | #Constraints: 34116
777.90/780.82 c #Conflicts: 772000 | #Constraints: 35116
777.90/780.82 c #Conflicts: 773000 | #Constraints: 36116
777.90/780.82 c #Conflicts: 774000 | #Constraints: 37116
777.90/780.82 c INPROCESSING
777.90/780.82 c GARBAGE COLLECT
777.90/780.82 c #Conflicts: 775000 | #Constraints: 20714
777.90/780.82 c #Conflicts: 776000 | #Constraints: 21714
777.90/780.82 c #Conflicts: 777000 | #Constraints: 22714
777.90/780.82 c #Conflicts: 778000 | #Constraints: 23714
777.90/780.82 c #Conflicts: 779000 | #Constraints: 24714
777.90/780.82 c #Conflicts: 780000 | #Constraints: 25714
777.90/780.82 c #Conflicts: 781000 | #Constraints: 26714
777.90/780.82 c #Conflicts: 782000 | #Constraints: 27714
777.90/780.82 c #Conflicts: 783000 | #Constraints: 28714
777.90/780.82 c #Conflicts: 784000 | #Constraints: 29714
777.90/780.82 c #Conflicts: 785000 | #Constraints: 30714
777.90/780.82 c #Conflicts: 786000 | #Constraints: 31714
777.90/780.82 c #Conflicts: 787000 | #Constraints: 32714
777.90/780.82 c #Conflicts: 788000 | #Constraints: 33714
777.90/780.82 c #Conflicts: 789000 | #Constraints: 34714
777.90/780.82 c #Conflicts: 790000 | #Constraints: 35714
777.90/780.82 c #Conflicts: 791000 | #Constraints: 36714
777.90/780.82 c #Conflicts: 792000 | #Constraints: 37714
777.90/780.82 c INPROCESSING
777.90/780.82 c GARBAGE COLLECT
777.90/780.82 c #Conflicts: 793000 | #Constraints: 21149
777.90/780.82 c #Conflicts: 794000 | #Constraints: 22149
777.90/780.82 c #Conflicts: 795000 | #Constraints: 23149
777.90/780.82 c #Conflicts: 796000 | #Constraints: 24149
777.90/780.82 c #Conflicts: 797000 | #Constraints: 25149
777.90/780.82 c #Conflicts: 798000 | #Constraints: 26149
777.90/780.82 c #Conflicts: 799000 | #Constraints: 27149
777.90/780.82 c #Conflicts: 800000 | #Constraints: 28149
777.90/780.82 c #Conflicts: 801000 | #Constraints: 29149
777.90/780.82 c #Conflicts: 802000 | #Constraints: 30149
777.90/780.82 c #Conflicts: 803000 | #Constraints: 31149
777.90/780.82 c #Conflicts: 804000 | #Constraints: 32149
777.90/780.82 c #Conflicts: 805000 | #Constraints: 33149
777.90/780.82 c #Conflicts: 806000 | #Constraints: 34149
777.90/780.82 c #Conflicts: 807000 | #Constraints: 35149
777.90/780.82 c #Conflicts: 808000 | #Constraints: 36149
777.90/780.82 c #Conflicts: 809000 | #Constraints: 37149
777.90/780.82 c #Conflicts: 810000 | #Constraints: 38149
777.90/780.82 c INPROCESSING
777.90/780.82 c GARBAGE COLLECT
777.90/780.82 c #Conflicts: 811000 | #Constraints: 21327
777.90/780.82 c #Conflicts: 812000 | #Constraints: 22327
777.90/780.82 c #Conflicts: 813000 | #Constraints: 23327
777.90/780.82 c #Conflicts: 814000 | #Constraints: 24327
777.90/780.82 c #Conflicts: 815000 | #Constraints: 25327
777.90/780.82 c #Conflicts: 816000 | #Constraints: 26327
777.90/780.82 c #Conflicts: 817000 | #Constraints: 27327
777.90/780.82 c #Conflicts: 818000 | #Constraints: 28327
777.90/780.82 c #Conflicts: 819000 | #Constraints: 29327
777.90/780.82 c #Conflicts: 820000 | #Constraints: 30327
777.90/780.82 c #Conflicts: 821000 | #Constraints: 31327
777.90/780.82 c #Conflicts: 822000 | #Constraints: 32327
777.90/780.82 c #Conflicts: 823000 | #Constraints: 33327
777.90/780.82 c #Conflicts: 824000 | #Constraints: 34327
777.90/780.82 c #Conflicts: 825000 | #Constraints: 35327
896.35/899.78 c #Conflicts: 826000 | #Constraints: 36327
896.35/899.78 c #Conflicts: 827000 | #Constraints: 37327
896.35/899.78 c #Conflicts: 828000 | #Constraints: 38327
896.35/899.78 c INPROCESSING
896.35/899.78 c GARBAGE COLLECT
896.35/899.78 c #Conflicts: 829000 | #Constraints: 21313
896.35/899.78 c #Conflicts: 830000 | #Constraints: 22313
896.35/899.78 c #Conflicts: 831000 | #Constraints: 23313
896.35/899.78 c #Conflicts: 832000 | #Constraints: 24313
896.35/899.78 c #Conflicts: 833000 | #Constraints: 25313
896.35/899.78 c #Conflicts: 834000 | #Constraints: 26313
896.35/899.78 c #Conflicts: 835000 | #Constraints: 27313
896.35/899.78 c #Conflicts: 836000 | #Constraints: 28313
896.35/899.78 c #Conflicts: 837000 | #Constraints: 29313
896.35/899.78 c #Conflicts: 838000 | #Constraints: 30313
896.35/899.78 c #Conflicts: 839000 | #Constraints: 31313
896.35/899.78 c #Conflicts: 840000 | #Constraints: 32313
896.35/899.78 c #Conflicts: 841000 | #Constraints: 33313
896.35/899.78 c #Conflicts: 842000 | #Constraints: 34313
896.35/899.78 c #Conflicts: 843000 | #Constraints: 35313
896.35/899.78 c #Conflicts: 844000 | #Constraints: 36313
896.35/899.78 c #Conflicts: 845000 | #Constraints: 37313
896.35/899.78 c #Conflicts: 846000 | #Constraints: 38313
896.35/899.78 c INPROCESSING
896.35/899.78 c GARBAGE COLLECT
896.35/899.78 c #Conflicts: 847000 | #Constraints: 21122
896.35/899.78 c #Conflicts: 848000 | #Constraints: 22122
896.35/899.78 c #Conflicts: 849000 | #Constraints: 23122
896.35/899.78 c #Conflicts: 850000 | #Constraints: 24122
896.35/899.78 c #Conflicts: 851000 | #Constraints: 25122
896.35/899.78 c #Conflicts: 852000 | #Constraints: 26122
896.35/899.78 c #Conflicts: 853000 | #Constraints: 27122
896.35/899.78 c #Conflicts: 854000 | #Constraints: 28122
896.35/899.78 c #Conflicts: 855000 | #Constraints: 29122
896.35/899.78 c #Conflicts: 856000 | #Constraints: 30122
896.35/899.78 c #Conflicts: 857000 | #Constraints: 31122
896.35/899.78 c #Conflicts: 858000 | #Constraints: 32122
896.35/899.78 c #Conflicts: 859000 | #Constraints: 33122
896.35/899.78 c #Conflicts: 860000 | #Constraints: 34122
896.35/899.78 c #Conflicts: 861000 | #Constraints: 35122
896.35/899.78 c #Conflicts: 862000 | #Constraints: 36122
896.35/899.78 c #Conflicts: 863000 | #Constraints: 37122
896.35/899.78 c #Conflicts: 864000 | #Constraints: 38122
896.35/899.78 c #Conflicts: 865000 | #Constraints: 39122
896.35/899.78 c INPROCESSING
896.35/899.78 c GARBAGE COLLECT
896.35/899.78 c #Conflicts: 866000 | #Constraints: 21734
896.35/899.78 c #Conflicts: 867000 | #Constraints: 22734
896.35/899.78 c #Conflicts: 868000 | #Constraints: 23734
896.35/899.78 c #Conflicts: 869000 | #Constraints: 24734
896.35/899.78 c #Conflicts: 870000 | #Constraints: 25734
896.35/899.78 c #Conflicts: 871000 | #Constraints: 26734
896.35/899.78 c #Conflicts: 872000 | #Constraints: 27734
896.35/899.78 c #Conflicts: 873000 | #Constraints: 28734
896.35/899.78 c #Conflicts: 874000 | #Constraints: 29734
896.35/899.78 c #Conflicts: 875000 | #Constraints: 30734
896.35/899.78 c #Conflicts: 876000 | #Constraints: 31734
896.35/899.78 c #Conflicts: 877000 | #Constraints: 32734
896.35/899.78 c #Conflicts: 878000 | #Constraints: 33734
896.35/899.78 c #Conflicts: 879000 | #Constraints: 34734
896.35/899.78 c #Conflicts: 880000 | #Constraints: 35734
896.35/899.78 c #Conflicts: 881000 | #Constraints: 36734
896.35/899.78 c #Conflicts: 882000 | #Constraints: 37734
896.35/899.78 c #Conflicts: 883000 | #Constraints: 38734
896.35/899.78 c #Conflicts: 884000 | #Constraints: 39734
896.35/899.78 c INPROCESSING
896.35/899.78 c GARBAGE COLLECT
896.35/899.78 c #Conflicts: 885000 | #Constraints: 22149
896.35/899.78 c #Conflicts: 886000 | #Constraints: 23149
896.35/899.78 c #Conflicts: 887000 | #Constraints: 24149
896.35/899.78 c #Conflicts: 888000 | #Constraints: 25149
896.35/899.78 c #Conflicts: 889000 | #Constraints: 26149
896.35/899.78 c #Conflicts: 890000 | #Constraints: 27149
896.35/899.78 c #Conflicts: 891000 | #Constraints: 28149
896.35/899.78 c #Conflicts: 892000 | #Constraints: 29149
896.35/899.78 c #Conflicts: 893000 | #Constraints: 30149
896.35/899.78 c #Conflicts: 894000 | #Constraints: 31149
896.35/899.78 c #Conflicts: 895000 | #Constraints: 32149
896.35/899.78 c #Conflicts: 896000 | #Constraints: 33149
896.35/899.78 c #Conflicts: 897000 | #Constraints: 34149
896.35/899.78 c #Conflicts: 898000 | #Constraints: 35149
896.35/899.78 c #Conflicts: 899000 | #Constraints: 36149
896.35/899.78 c #Conflicts: 900000 | #Constraints: 37149
896.35/899.78 c #Conflicts: 901000 | #Constraints: 38149
1005.31/1009.08 c #Conflicts: 902000 | #Constraints: 39149
1005.31/1009.08 c #Conflicts: 903000 | #Constraints: 40149
1005.31/1009.08 c INPROCESSING
1005.31/1009.08 c GARBAGE COLLECT
1005.31/1009.08 c #Conflicts: 904000 | #Constraints: 22354
1005.31/1009.08 c #Conflicts: 905000 | #Constraints: 23354
1005.31/1009.08 c #Conflicts: 906000 | #Constraints: 24354
1005.31/1009.08 c #Conflicts: 907000 | #Constraints: 25354
1005.31/1009.08 c #Conflicts: 908000 | #Constraints: 26354
1005.31/1009.08 c #Conflicts: 909000 | #Constraints: 27354
1005.31/1009.08 c #Conflicts: 910000 | #Constraints: 28354
1005.31/1009.08 c #Conflicts: 911000 | #Constraints: 29354
1005.31/1009.08 c #Conflicts: 912000 | #Constraints: 30354
1005.31/1009.08 c #Conflicts: 913000 | #Constraints: 31354
1005.31/1009.08 c #Conflicts: 914000 | #Constraints: 32354
1005.31/1009.08 c #Conflicts: 915000 | #Constraints: 33354
1005.31/1009.08 c #Conflicts: 916000 | #Constraints: 34354
1005.31/1009.08 c #Conflicts: 917000 | #Constraints: 35354
1005.31/1009.08 c #Conflicts: 918000 | #Constraints: 36354
1005.31/1009.08 c #Conflicts: 919000 | #Constraints: 37354
1005.31/1009.08 c #Conflicts: 920000 | #Constraints: 38354
1005.31/1009.08 c #Conflicts: 921000 | #Constraints: 39354
1005.31/1009.08 c #Conflicts: 922000 | #Constraints: 40354
1005.31/1009.08 c INPROCESSING
1005.31/1009.08 c GARBAGE COLLECT
1005.31/1009.08 c #Conflicts: 923000 | #Constraints: 22335
1005.31/1009.08 c #Conflicts: 924000 | #Constraints: 23335
1005.31/1009.08 c #Conflicts: 925000 | #Constraints: 24335
1005.31/1009.08 c #Conflicts: 926000 | #Constraints: 25335
1005.31/1009.08 c #Conflicts: 927000 | #Constraints: 26335
1005.31/1009.08 c #Conflicts: 928000 | #Constraints: 27335
1005.31/1009.08 c #Conflicts: 929000 | #Constraints: 28335
1005.31/1009.08 c #Conflicts: 930000 | #Constraints: 29335
1005.31/1009.08 c #Conflicts: 931000 | #Constraints: 30335
1005.31/1009.08 c #Conflicts: 932000 | #Constraints: 31335
1005.31/1009.08 c #Conflicts: 933000 | #Constraints: 32335
1005.31/1009.08 c #Conflicts: 934000 | #Constraints: 33335
1005.31/1009.08 c #Conflicts: 935000 | #Constraints: 34335
1005.31/1009.08 c #Conflicts: 936000 | #Constraints: 35335
1005.31/1009.08 c #Conflicts: 937000 | #Constraints: 36335
1005.31/1009.08 c #Conflicts: 938000 | #Constraints: 37335
1005.31/1009.08 c #Conflicts: 939000 | #Constraints: 38335
1005.31/1009.08 c #Conflicts: 940000 | #Constraints: 39335
1005.31/1009.08 c #Conflicts: 941000 | #Constraints: 40335
1005.31/1009.08 c INPROCESSING
1005.31/1009.08 c GARBAGE COLLECT
1005.31/1009.08 c #Conflicts: 942000 | #Constraints: 22135
1005.31/1009.08 c #Conflicts: 943000 | #Constraints: 23135
1005.31/1009.08 c #Conflicts: 944000 | #Constraints: 24135
1005.31/1009.08 c #Conflicts: 945000 | #Constraints: 25135
1005.31/1009.08 c #Conflicts: 946000 | #Constraints: 26135
1005.31/1009.08 c #Conflicts: 947000 | #Constraints: 27135
1005.31/1009.08 c #Conflicts: 948000 | #Constraints: 28135
1005.31/1009.08 c #Conflicts: 949000 | #Constraints: 29135
1005.31/1009.08 c #Conflicts: 950000 | #Constraints: 30135
1005.31/1009.08 c #Conflicts: 951000 | #Constraints: 31135
1005.31/1009.08 c #Conflicts: 952000 | #Constraints: 32135
1005.31/1009.08 c #Conflicts: 953000 | #Constraints: 33135
1005.31/1009.08 c #Conflicts: 954000 | #Constraints: 34135
1005.31/1009.08 c #Conflicts: 955000 | #Constraints: 35135
1005.31/1009.08 c #Conflicts: 956000 | #Constraints: 36135
1005.31/1009.08 c #Conflicts: 957000 | #Constraints: 37135
1005.31/1009.08 c #Conflicts: 958000 | #Constraints: 38135
1005.31/1009.08 c #Conflicts: 959000 | #Constraints: 39135
1005.31/1009.08 c #Conflicts: 960000 | #Constraints: 40135
1005.31/1009.08 c #Conflicts: 961000 | #Constraints: 41135
1005.31/1009.08 c INPROCESSING
1005.31/1009.08 c GARBAGE COLLECT
1005.31/1009.08 c #Conflicts: 962000 | #Constraints: 22738
1005.31/1009.08 c #Conflicts: 963000 | #Constraints: 23738
1005.31/1009.08 c #Conflicts: 964000 | #Constraints: 24738
1005.31/1009.08 c #Conflicts: 965000 | #Constraints: 25738
1005.31/1009.08 c #Conflicts: 966000 | #Constraints: 26738
1005.31/1009.08 c #Conflicts: 967000 | #Constraints: 27738
1005.31/1009.08 c #Conflicts: 968000 | #Constraints: 28738
1005.31/1009.08 c #Conflicts: 969000 | #Constraints: 29738
1005.31/1009.08 c #Conflicts: 970000 | #Constraints: 30738
1005.31/1009.08 c #Conflicts: 971000 | #Constraints: 31738
1005.31/1009.08 c #Conflicts: 972000 | #Constraints: 32738
1005.31/1009.08 c #Conflicts: 973000 | #Constraints: 33738
1005.31/1009.08 c #Conflicts: 974000 | #Constraints: 34738
1005.31/1009.08 c #Conflicts: 975000 | #Constraints: 35738
1005.31/1009.08 c #Conflicts: 976000 | #Constraints: 36738
1005.31/1009.08 c #Conflicts: 977000 | #Constraints: 37738
1132.90/1137.02 c #Conflicts: 978000 | #Constraints: 38738
1132.90/1137.02 c #Conflicts: 979000 | #Constraints: 39738
1132.90/1137.02 c #Conflicts: 980000 | #Constraints: 40738
1132.90/1137.02 c #Conflicts: 981000 | #Constraints: 41738
1132.90/1137.02 c INPROCESSING
1132.90/1137.02 c GARBAGE COLLECT
1132.90/1137.02 c #Conflicts: 982000 | #Constraints: 23162
1132.90/1137.02 c #Conflicts: 983000 | #Constraints: 24162
1132.90/1137.02 c #Conflicts: 984000 | #Constraints: 25162
1132.90/1137.02 c #Conflicts: 985000 | #Constraints: 26162
1132.90/1137.02 c #Conflicts: 986000 | #Constraints: 27162
1132.90/1137.02 c #Conflicts: 987000 | #Constraints: 28162
1132.90/1137.02 c #Conflicts: 988000 | #Constraints: 29162
1132.90/1137.02 c #Conflicts: 989000 | #Constraints: 30162
1132.90/1137.02 c #Conflicts: 990000 | #Constraints: 31162
1132.90/1137.02 c #Conflicts: 991000 | #Constraints: 32162
1132.90/1137.02 c #Conflicts: 992000 | #Constraints: 33162
1132.90/1137.02 c #Conflicts: 993000 | #Constraints: 34162
1132.90/1137.02 c #Conflicts: 994000 | #Constraints: 35162
1132.90/1137.02 c #Conflicts: 995000 | #Constraints: 36162
1132.90/1137.02 c #Conflicts: 996000 | #Constraints: 37162
1132.90/1137.02 c #Conflicts: 997000 | #Constraints: 38162
1132.90/1137.02 c #Conflicts: 998000 | #Constraints: 39162
1132.90/1137.02 c #Conflicts: 999000 | #Constraints: 40162
1132.90/1137.02 c #Conflicts: 1000000 | #Constraints: 41162
1132.90/1137.02 c #Conflicts: 1001000 | #Constraints: 42162
1132.90/1137.02 c INPROCESSING
1132.90/1137.02 c GARBAGE COLLECT
1132.90/1137.02 c #Conflicts: 1002000 | #Constraints: 23368
1132.90/1137.02 c #Conflicts: 1003000 | #Constraints: 24368
1132.90/1137.02 c #Conflicts: 1004000 | #Constraints: 25368
1132.90/1137.02 c #Conflicts: 1005000 | #Constraints: 26368
1132.90/1137.02 c #Conflicts: 1006000 | #Constraints: 27368
1132.90/1137.02 c #Conflicts: 1007000 | #Constraints: 28368
1132.90/1137.02 c #Conflicts: 1008000 | #Constraints: 29368
1132.90/1137.02 c #Conflicts: 1009000 | #Constraints: 30368
1132.90/1137.02 c #Conflicts: 1010000 | #Constraints: 31368
1132.90/1137.02 c #Conflicts: 1011000 | #Constraints: 32368
1132.90/1137.02 c #Conflicts: 1012000 | #Constraints: 33368
1132.90/1137.02 c #Conflicts: 1013000 | #Constraints: 34368
1132.90/1137.02 c #Conflicts: 1014000 | #Constraints: 35368
1132.90/1137.02 c #Conflicts: 1015000 | #Constraints: 36368
1132.90/1137.02 c #Conflicts: 1016000 | #Constraints: 37368
1132.90/1137.02 c #Conflicts: 1017000 | #Constraints: 38368
1132.90/1137.02 c #Conflicts: 1018000 | #Constraints: 39368
1132.90/1137.02 c #Conflicts: 1019000 | #Constraints: 40368
1132.90/1137.02 c #Conflicts: 1020000 | #Constraints: 41368
1132.90/1137.02 c #Conflicts: 1021000 | #Constraints: 42368
1132.90/1137.02 c INPROCESSING
1132.90/1137.02 c GARBAGE COLLECT
1132.90/1137.02 c #Conflicts: 1022000 | #Constraints: 23393
1132.90/1137.02 c #Conflicts: 1023000 | #Constraints: 24393
1132.90/1137.02 c #Conflicts: 1024000 | #Constraints: 25393
1132.90/1137.02 c #Conflicts: 1025000 | #Constraints: 26393
1132.90/1137.02 c #Conflicts: 1026000 | #Constraints: 27393
1132.90/1137.02 c #Conflicts: 1027000 | #Constraints: 28393
1132.90/1137.02 c #Conflicts: 1028000 | #Constraints: 29393
1132.90/1137.02 c #Conflicts: 1029000 | #Constraints: 30393
1132.90/1137.02 c #Conflicts: 1030000 | #Constraints: 31393
1132.90/1137.02 c #Conflicts: 1031000 | #Constraints: 32393
1132.90/1137.02 c #Conflicts: 1032000 | #Constraints: 33393
1132.90/1137.02 c #Conflicts: 1033000 | #Constraints: 34393
1132.90/1137.02 c #Conflicts: 1034000 | #Constraints: 35393
1132.90/1137.02 c #Conflicts: 1035000 | #Constraints: 36393
1132.90/1137.02 c #Conflicts: 1036000 | #Constraints: 37393
1132.90/1137.02 c #Conflicts: 1037000 | #Constraints: 38393
1132.90/1137.02 c #Conflicts: 1038000 | #Constraints: 39393
1132.90/1137.02 c #Conflicts: 1039000 | #Constraints: 40393
1132.90/1137.02 c #Conflicts: 1040000 | #Constraints: 41393
1132.90/1137.02 c #Conflicts: 1041000 | #Constraints: 42393
1132.90/1137.02 c INPROCESSING
1132.90/1137.02 c GARBAGE COLLECT
1132.90/1137.02 c #Conflicts: 1042000 | #Constraints: 23206
1132.90/1137.02 c #Conflicts: 1043000 | #Constraints: 24206
1132.90/1137.02 c #Conflicts: 1044000 | #Constraints: 25206
1132.90/1137.02 c #Conflicts: 1045000 | #Constraints: 26206
1132.90/1137.02 c #Conflicts: 1046000 | #Constraints: 27206
1132.90/1137.02 c #Conflicts: 1047000 | #Constraints: 28206
1132.90/1137.02 c #Conflicts: 1048000 | #Constraints: 29206
1132.90/1137.02 c #Conflicts: 1049000 | #Constraints: 30206
1132.90/1137.02 c #Conflicts: 1050000 | #Constraints: 31206
1132.90/1137.02 c #Conflicts: 1051000 | #Constraints: 32206
1132.90/1137.02 c #Conflicts: 1052000 | #Constraints: 33206
1132.90/1137.02 c #Conflicts: 1053000 | #Constraints: 34206
1256.80/1261.40 c #Conflicts: 1054000 | #Constraints: 35206
1256.80/1261.40 c #Conflicts: 1055000 | #Constraints: 36206
1256.80/1261.40 c #Conflicts: 1056000 | #Constraints: 37206
1256.80/1261.40 c #Conflicts: 1057000 | #Constraints: 38206
1256.80/1261.40 c #Conflicts: 1058000 | #Constraints: 39206
1256.80/1261.40 c #Conflicts: 1059000 | #Constraints: 40206
1256.80/1261.40 c #Conflicts: 1060000 | #Constraints: 41206
1256.80/1261.40 c #Conflicts: 1061000 | #Constraints: 42206
1256.80/1261.40 c #Conflicts: 1062000 | #Constraints: 43206
1256.80/1261.40 c INPROCESSING
1256.80/1261.40 c GARBAGE COLLECT
1256.80/1261.40 c #Conflicts: 1063000 | #Constraints: 23793
1256.80/1261.40 c #Conflicts: 1064000 | #Constraints: 24793
1256.80/1261.40 c #Conflicts: 1065000 | #Constraints: 25793
1256.80/1261.40 c #Conflicts: 1066000 | #Constraints: 26793
1256.80/1261.40 c #Conflicts: 1067000 | #Constraints: 27793
1256.80/1261.40 c #Conflicts: 1068000 | #Constraints: 28793
1256.80/1261.40 c #Conflicts: 1069000 | #Constraints: 29793
1256.80/1261.40 c #Conflicts: 1070000 | #Constraints: 30793
1256.80/1261.40 c #Conflicts: 1071000 | #Constraints: 31793
1256.80/1261.40 c #Conflicts: 1072000 | #Constraints: 32793
1256.80/1261.40 c #Conflicts: 1073000 | #Constraints: 33793
1256.80/1261.40 c #Conflicts: 1074000 | #Constraints: 34793
1256.80/1261.40 c #Conflicts: 1075000 | #Constraints: 35793
1256.80/1261.40 c #Conflicts: 1076000 | #Constraints: 36793
1256.80/1261.40 c #Conflicts: 1077000 | #Constraints: 37793
1256.80/1261.40 c #Conflicts: 1078000 | #Constraints: 38793
1256.80/1261.40 c #Conflicts: 1079000 | #Constraints: 39793
1256.80/1261.40 c #Conflicts: 1080000 | #Constraints: 40793
1256.80/1261.40 c #Conflicts: 1081000 | #Constraints: 41793
1256.80/1261.40 c #Conflicts: 1082000 | #Constraints: 42793
1256.80/1261.40 c #Conflicts: 1083000 | #Constraints: 43793
1256.80/1261.40 c INPROCESSING
1256.80/1261.40 c GARBAGE COLLECT
1256.80/1261.40 c #Conflicts: 1084000 | #Constraints: 24220
1256.80/1261.40 c #Conflicts: 1085000 | #Constraints: 25220
1256.80/1261.40 c #Conflicts: 1086000 | #Constraints: 26220
1256.80/1261.40 c #Conflicts: 1087000 | #Constraints: 27220
1256.80/1261.40 c #Conflicts: 1088000 | #Constraints: 28220
1256.80/1261.40 c #Conflicts: 1089000 | #Constraints: 29220
1256.80/1261.40 c #Conflicts: 1090000 | #Constraints: 30220
1256.80/1261.40 c #Conflicts: 1091000 | #Constraints: 31220
1256.80/1261.40 c #Conflicts: 1092000 | #Constraints: 32220
1256.80/1261.40 c #Conflicts: 1093000 | #Constraints: 33220
1256.80/1261.40 c #Conflicts: 1094000 | #Constraints: 34220
1256.80/1261.40 c #Conflicts: 1095000 | #Constraints: 35220
1256.80/1261.40 c #Conflicts: 1096000 | #Constraints: 36220
1256.80/1261.40 c #Conflicts: 1097000 | #Constraints: 37220
1256.80/1261.40 c #Conflicts: 1098000 | #Constraints: 38220
1256.80/1261.40 c #Conflicts: 1099000 | #Constraints: 39220
1256.80/1261.40 c #Conflicts: 1100000 | #Constraints: 40220
1256.80/1261.40 c #Conflicts: 1101000 | #Constraints: 41220
1256.80/1261.40 c #Conflicts: 1102000 | #Constraints: 42220
1256.80/1261.40 c #Conflicts: 1103000 | #Constraints: 43220
1256.80/1261.40 c #Conflicts: 1104000 | #Constraints: 44220
1256.80/1261.40 c INPROCESSING
1256.80/1261.40 c GARBAGE COLLECT
1256.80/1261.40 c #Conflicts: 1105000 | #Constraints: 24383
1256.80/1261.40 c #Conflicts: 1106000 | #Constraints: 25383
1256.80/1261.40 c #Conflicts: 1107000 | #Constraints: 26383
1256.80/1261.40 c #Conflicts: 1108000 | #Constraints: 27383
1256.80/1261.40 c #Conflicts: 1109000 | #Constraints: 28383
1256.80/1261.40 c #Conflicts: 1110000 | #Constraints: 29383
1256.80/1261.40 c #Conflicts: 1111000 | #Constraints: 30383
1256.80/1261.40 c #Conflicts: 1112000 | #Constraints: 31383
1256.80/1261.40 c #Conflicts: 1113000 | #Constraints: 32383
1256.80/1261.40 c #Conflicts: 1114000 | #Constraints: 33383
1256.80/1261.40 c #Conflicts: 1115000 | #Constraints: 34383
1256.80/1261.40 c #Conflicts: 1116000 | #Constraints: 35383
1256.80/1261.40 c #Conflicts: 1117000 | #Constraints: 36383
1256.80/1261.40 c #Conflicts: 1118000 | #Constraints: 37383
1256.80/1261.40 c #Conflicts: 1119000 | #Constraints: 38383
1256.80/1261.40 c #Conflicts: 1120000 | #Constraints: 39383
1256.80/1261.40 c #Conflicts: 1121000 | #Constraints: 40383
1256.80/1261.40 c #Conflicts: 1122000 | #Constraints: 41383
1256.80/1261.40 c #Conflicts: 1123000 | #Constraints: 42383
1256.80/1261.40 c #Conflicts: 1124000 | #Constraints: 43383
1256.80/1261.40 c #Conflicts: 1125000 | #Constraints: 44383
1256.80/1261.40 c INPROCESSING
1256.80/1261.40 c GARBAGE COLLECT
1256.80/1261.40 c #Conflicts: 1126000 | #Constraints: 24374
1256.80/1261.40 c #Conflicts: 1127000 | #Constraints: 25374
1256.80/1261.40 c #Conflicts: 1128000 | #Constraints: 26374
1256.80/1261.40 c #Conflicts: 1129000 | #Constraints: 27374
1256.80/1261.40 c #Conflicts: 1130000 | #Constraints: 28374
1358.29/1363.11 c #Conflicts: 1131000 | #Constraints: 29374
1358.29/1363.11 c #Conflicts: 1132000 | #Constraints: 30374
1358.29/1363.11 c #Conflicts: 1133000 | #Constraints: 31374
1358.29/1363.11 c #Conflicts: 1134000 | #Constraints: 32374
1358.29/1363.11 c #Conflicts: 1135000 | #Constraints: 33374
1358.29/1363.11 c #Conflicts: 1136000 | #Constraints: 34374
1358.29/1363.11 c #Conflicts: 1137000 | #Constraints: 35374
1358.29/1363.11 c #Conflicts: 1138000 | #Constraints: 36374
1358.29/1363.11 c #Conflicts: 1139000 | #Constraints: 37374
1358.29/1363.11 c #Conflicts: 1140000 | #Constraints: 38374
1358.29/1363.11 c #Conflicts: 1141000 | #Constraints: 39374
1358.29/1363.11 c #Conflicts: 1142000 | #Constraints: 40374
1358.29/1363.11 c #Conflicts: 1143000 | #Constraints: 41374
1358.29/1363.11 c #Conflicts: 1144000 | #Constraints: 42374
1358.29/1363.11 c #Conflicts: 1145000 | #Constraints: 43374
1358.29/1363.11 c #Conflicts: 1146000 | #Constraints: 44374
1358.29/1363.11 c INPROCESSING
1358.29/1363.11 c GARBAGE COLLECT
1358.29/1363.11 c #Conflicts: 1147000 | #Constraints: 24182
1358.29/1363.11 c #Conflicts: 1148000 | #Constraints: 25182
1358.29/1363.11 c #Conflicts: 1149000 | #Constraints: 26182
1358.29/1363.11 c #Conflicts: 1150000 | #Constraints: 27182
1358.29/1363.11 c #Conflicts: 1151000 | #Constraints: 28182
1358.29/1363.11 c #Conflicts: 1152000 | #Constraints: 29182
1358.29/1363.11 c #Conflicts: 1153000 | #Constraints: 30182
1358.29/1363.11 c #Conflicts: 1154000 | #Constraints: 31182
1358.29/1363.11 c #Conflicts: 1155000 | #Constraints: 32182
1358.29/1363.11 c #Conflicts: 1156000 | #Constraints: 33182
1358.29/1363.11 c #Conflicts: 1157000 | #Constraints: 34182
1358.29/1363.11 c #Conflicts: 1158000 | #Constraints: 35182
1358.29/1363.11 c #Conflicts: 1159000 | #Constraints: 36182
1358.29/1363.11 c #Conflicts: 1160000 | #Constraints: 37182
1358.29/1363.11 c #Conflicts: 1161000 | #Constraints: 38182
1358.29/1363.11 c #Conflicts: 1162000 | #Constraints: 39182
1358.29/1363.11 c #Conflicts: 1163000 | #Constraints: 40182
1358.29/1363.11 c #Conflicts: 1164000 | #Constraints: 41182
1358.29/1363.11 c #Conflicts: 1165000 | #Constraints: 42182
1358.29/1363.11 c #Conflicts: 1166000 | #Constraints: 43182
1358.29/1363.11 c #Conflicts: 1167000 | #Constraints: 44182
1358.29/1363.11 c #Conflicts: 1168000 | #Constraints: 45182
1358.29/1363.11 c INPROCESSING
1358.29/1363.11 c GARBAGE COLLECT
1358.29/1363.11 c #Conflicts: 1169000 | #Constraints: 24742
1358.29/1363.11 c #Conflicts: 1170000 | #Constraints: 25742
1358.29/1363.11 c #Conflicts: 1171000 | #Constraints: 26742
1358.29/1363.11 c #Conflicts: 1172000 | #Constraints: 27742
1358.29/1363.11 c #Conflicts: 1173000 | #Constraints: 28742
1358.29/1363.11 c #Conflicts: 1174000 | #Constraints: 29742
1358.29/1363.11 c #Conflicts: 1175000 | #Constraints: 30742
1358.29/1363.11 c #Conflicts: 1176000 | #Constraints: 31742
1358.29/1363.11 c #Conflicts: 1177000 | #Constraints: 32742
1358.29/1363.11 c #Conflicts: 1178000 | #Constraints: 33742
1358.29/1363.11 c #Conflicts: 1179000 | #Constraints: 34742
1358.29/1363.11 c #Conflicts: 1180000 | #Constraints: 35742
1358.29/1363.11 c #Conflicts: 1181000 | #Constraints: 36742
1358.29/1363.11 c #Conflicts: 1182000 | #Constraints: 37742
1358.29/1363.11 c #Conflicts: 1183000 | #Constraints: 38742
1358.29/1363.11 c #Conflicts: 1184000 | #Constraints: 39742
1358.29/1363.11 c #Conflicts: 1185000 | #Constraints: 40742
1358.29/1363.11 c #Conflicts: 1186000 | #Constraints: 41742
1358.29/1363.11 c #Conflicts: 1187000 | #Constraints: 42742
1358.29/1363.11 c #Conflicts: 1188000 | #Constraints: 43742
1358.29/1363.11 c #Conflicts: 1189000 | #Constraints: 44742
1358.29/1363.11 c #Conflicts: 1190000 | #Constraints: 45742
1358.29/1363.11 c INPROCESSING
1358.29/1363.11 c GARBAGE COLLECT
1358.29/1363.11 c #Conflicts: 1191000 | #Constraints: 25129
1358.29/1363.11 c #Conflicts: 1192000 | #Constraints: 26129
1358.29/1363.11 c #Conflicts: 1193000 | #Constraints: 27129
1358.29/1363.11 c #Conflicts: 1194000 | #Constraints: 28129
1358.29/1363.11 c #Conflicts: 1195000 | #Constraints: 29129
1358.29/1363.11 c #Conflicts: 1196000 | #Constraints: 30129
1358.29/1363.11 c #Conflicts: 1197000 | #Constraints: 31129
1358.29/1363.11 c #Conflicts: 1198000 | #Constraints: 32129
1358.29/1363.11 c #Conflicts: 1199000 | #Constraints: 33129
1358.29/1363.11 c #Conflicts: 1200000 | #Constraints: 34129
1358.29/1363.11 c #Conflicts: 1201000 | #Constraints: 35129
1358.29/1363.11 c #Conflicts: 1202000 | #Constraints: 36129
1358.29/1363.11 c #Conflicts: 1203000 | #Constraints: 37129
1358.29/1363.11 c #Conflicts: 1204000 | #Constraints: 38129
1358.29/1363.11 c #Conflicts: 1205000 | #Constraints: 39129
1358.29/1363.11 c #Conflicts: 1206000 | #Constraints: 40129
1492.76/1498.05 c #Conflicts: 1207000 | #Constraints: 41129
1492.76/1498.05 c #Conflicts: 1208000 | #Constraints: 42129
1492.76/1498.05 c #Conflicts: 1209000 | #Constraints: 43129
1492.76/1498.05 c #Conflicts: 1210000 | #Constraints: 44129
1492.76/1498.05 c #Conflicts: 1211000 | #Constraints: 45129
1492.76/1498.05 c #Conflicts: 1212000 | #Constraints: 46129
1492.76/1498.05 c INPROCESSING
1492.76/1498.05 c GARBAGE COLLECT
1492.76/1498.05 c #Conflicts: 1213000 | #Constraints: 25377
1492.76/1498.05 c #Conflicts: 1214000 | #Constraints: 26377
1492.76/1498.05 c #Conflicts: 1215000 | #Constraints: 27377
1492.76/1498.05 c #Conflicts: 1216000 | #Constraints: 28377
1492.76/1498.05 c #Conflicts: 1217000 | #Constraints: 29377
1492.76/1498.05 c #Conflicts: 1218000 | #Constraints: 30377
1492.76/1498.05 c #Conflicts: 1219000 | #Constraints: 31377
1492.76/1498.05 c #Conflicts: 1220000 | #Constraints: 32377
1492.76/1498.05 c #Conflicts: 1221000 | #Constraints: 33377
1492.76/1498.05 c #Conflicts: 1222000 | #Constraints: 34377
1492.76/1498.05 c #Conflicts: 1223000 | #Constraints: 35377
1492.76/1498.05 c #Conflicts: 1224000 | #Constraints: 36377
1492.76/1498.05 c #Conflicts: 1225000 | #Constraints: 37377
1492.76/1498.05 c #Conflicts: 1226000 | #Constraints: 38377
1492.76/1498.05 c #Conflicts: 1227000 | #Constraints: 39377
1492.76/1498.05 c #Conflicts: 1228000 | #Constraints: 40377
1492.76/1498.05 c #Conflicts: 1229000 | #Constraints: 41377
1492.76/1498.05 c #Conflicts: 1230000 | #Constraints: 42377
1492.76/1498.05 c #Conflicts: 1231000 | #Constraints: 43377
1492.76/1498.05 c #Conflicts: 1232000 | #Constraints: 44377
1492.76/1498.05 c #Conflicts: 1233000 | #Constraints: 45377
1492.76/1498.05 c #Conflicts: 1234000 | #Constraints: 46377
1492.76/1498.05 c INPROCESSING
1492.76/1498.05 c GARBAGE COLLECT
1492.76/1498.05 c #Conflicts: 1235000 | #Constraints: 25379
1492.76/1498.05 c #Conflicts: 1236000 | #Constraints: 26379
1492.76/1498.05 c #Conflicts: 1237000 | #Constraints: 27379
1492.76/1498.05 c #Conflicts: 1238000 | #Constraints: 28379
1492.76/1498.05 c #Conflicts: 1239000 | #Constraints: 29379
1492.76/1498.05 c #Conflicts: 1240000 | #Constraints: 30379
1492.76/1498.05 c #Conflicts: 1241000 | #Constraints: 31379
1492.76/1498.05 c #Conflicts: 1242000 | #Constraints: 32379
1492.76/1498.05 c #Conflicts: 1243000 | #Constraints: 33379
1492.76/1498.05 c #Conflicts: 1244000 | #Constraints: 34379
1492.76/1498.05 c #Conflicts: 1245000 | #Constraints: 35379
1492.76/1498.05 c #Conflicts: 1246000 | #Constraints: 36379
1492.76/1498.05 c #Conflicts: 1247000 | #Constraints: 37379
1492.76/1498.05 c #Conflicts: 1248000 | #Constraints: 38379
1492.76/1498.05 c #Conflicts: 1249000 | #Constraints: 39379
1492.76/1498.05 c #Conflicts: 1250000 | #Constraints: 40379
1492.76/1498.05 c #Conflicts: 1251000 | #Constraints: 41379
1492.76/1498.05 c #Conflicts: 1252000 | #Constraints: 42379
1492.76/1498.05 c #Conflicts: 1253000 | #Constraints: 43379
1492.76/1498.05 c #Conflicts: 1254000 | #Constraints: 44379
1492.76/1498.05 c #Conflicts: 1255000 | #Constraints: 45379
1492.76/1498.05 c #Conflicts: 1256000 | #Constraints: 46379
1492.76/1498.05 c INPROCESSING
1492.76/1498.05 c GARBAGE COLLECT
1492.76/1498.05 c #Conflicts: 1257000 | #Constraints: 25218
1492.76/1498.05 c #Conflicts: 1258000 | #Constraints: 26218
1492.76/1498.05 c #Conflicts: 1259000 | #Constraints: 27218
1492.76/1498.05 c #Conflicts: 1260000 | #Constraints: 28218
1492.76/1498.05 c #Conflicts: 1261000 | #Constraints: 29218
1492.76/1498.05 c #Conflicts: 1262000 | #Constraints: 30218
1492.76/1498.05 c #Conflicts: 1263000 | #Constraints: 31218
1492.76/1498.05 c #Conflicts: 1264000 | #Constraints: 32218
1492.76/1498.05 c #Conflicts: 1265000 | #Constraints: 33218
1492.76/1498.05 c #Conflicts: 1266000 | #Constraints: 34218
1492.76/1498.05 c #Conflicts: 1267000 | #Constraints: 35218
1492.76/1498.05 c #Conflicts: 1268000 | #Constraints: 36218
1492.76/1498.05 c #Conflicts: 1269000 | #Constraints: 37218
1492.76/1498.05 c #Conflicts: 1270000 | #Constraints: 38218
1492.76/1498.05 c #Conflicts: 1271000 | #Constraints: 39218
1492.76/1498.05 c #Conflicts: 1272000 | #Constraints: 40218
1492.76/1498.05 c #Conflicts: 1273000 | #Constraints: 41218
1492.76/1498.05 c #Conflicts: 1274000 | #Constraints: 42218
1492.76/1498.05 c #Conflicts: 1275000 | #Constraints: 43218
1492.76/1498.05 c #Conflicts: 1276000 | #Constraints: 44218
1492.76/1498.05 c #Conflicts: 1277000 | #Constraints: 45218
1492.76/1498.05 c #Conflicts: 1278000 | #Constraints: 46218
1492.76/1498.05 c #Conflicts: 1279000 | #Constraints: 47218
1492.76/1498.05 c INPROCESSING
1492.76/1498.05 c GARBAGE COLLECT
1492.76/1498.05 c #Conflicts: 1280000 | #Constraints: 25814
1492.76/1498.05 c #Conflicts: 1281000 | #Constraints: 26814
1492.76/1498.05 c #Conflicts: 1282000 | #Constraints: 27814
1492.76/1498.05 c #Conflicts: 1283000 | #Constraints: 28814
1625.63/1631.36 c #Conflicts: 1284000 | #Constraints: 29814
1625.63/1631.36 c #Conflicts: 1285000 | #Constraints: 30814
1625.63/1631.36 c #Conflicts: 1286000 | #Constraints: 31814
1625.63/1631.36 c #Conflicts: 1287000 | #Constraints: 32814
1625.63/1631.36 c #Conflicts: 1288000 | #Constraints: 33814
1625.63/1631.36 c #Conflicts: 1289000 | #Constraints: 34814
1625.63/1631.36 c #Conflicts: 1290000 | #Constraints: 35814
1625.63/1631.36 c #Conflicts: 1291000 | #Constraints: 36814
1625.63/1631.36 c #Conflicts: 1292000 | #Constraints: 37814
1625.63/1631.36 c #Conflicts: 1293000 | #Constraints: 38814
1625.63/1631.36 c #Conflicts: 1294000 | #Constraints: 39814
1625.63/1631.36 c #Conflicts: 1295000 | #Constraints: 40814
1625.63/1631.36 c #Conflicts: 1296000 | #Constraints: 41814
1625.63/1631.36 c #Conflicts: 1297000 | #Constraints: 42814
1625.63/1631.36 c #Conflicts: 1298000 | #Constraints: 43814
1625.63/1631.36 c #Conflicts: 1299000 | #Constraints: 44814
1625.63/1631.36 c #Conflicts: 1300000 | #Constraints: 45814
1625.63/1631.36 c #Conflicts: 1301000 | #Constraints: 46814
1625.63/1631.36 c #Conflicts: 1302000 | #Constraints: 47814
1625.63/1631.36 c INPROCESSING
1625.63/1631.36 c GARBAGE COLLECT
1625.63/1631.36 c #Conflicts: 1303000 | #Constraints: 26199
1625.63/1631.36 c #Conflicts: 1304000 | #Constraints: 27199
1625.63/1631.36 c #Conflicts: 1305000 | #Constraints: 28199
1625.63/1631.36 c #Conflicts: 1306000 | #Constraints: 29199
1625.63/1631.36 c #Conflicts: 1307000 | #Constraints: 30199
1625.63/1631.36 c #Conflicts: 1308000 | #Constraints: 31199
1625.63/1631.36 c #Conflicts: 1309000 | #Constraints: 32199
1625.63/1631.36 c #Conflicts: 1310000 | #Constraints: 33199
1625.63/1631.36 c #Conflicts: 1311000 | #Constraints: 34199
1625.63/1631.36 c #Conflicts: 1312000 | #Constraints: 35199
1625.63/1631.36 c #Conflicts: 1313000 | #Constraints: 36199
1625.63/1631.36 c #Conflicts: 1314000 | #Constraints: 37199
1625.63/1631.36 c #Conflicts: 1315000 | #Constraints: 38199
1625.63/1631.36 c #Conflicts: 1316000 | #Constraints: 39199
1625.63/1631.36 c #Conflicts: 1317000 | #Constraints: 40199
1625.63/1631.36 c #Conflicts: 1318000 | #Constraints: 41199
1625.63/1631.36 c #Conflicts: 1319000 | #Constraints: 42199
1625.63/1631.36 c #Conflicts: 1320000 | #Constraints: 43199
1625.63/1631.36 c #Conflicts: 1321000 | #Constraints: 44199
1625.63/1631.36 c #Conflicts: 1322000 | #Constraints: 45199
1625.63/1631.36 c #Conflicts: 1323000 | #Constraints: 46199
1625.63/1631.36 c #Conflicts: 1324000 | #Constraints: 47199
1625.63/1631.36 c #Conflicts: 1325000 | #Constraints: 48199
1625.63/1631.36 c INPROCESSING
1625.63/1631.36 c GARBAGE COLLECT
1625.63/1631.36 c #Conflicts: 1326000 | #Constraints: 26394
1625.63/1631.36 c #Conflicts: 1327000 | #Constraints: 27394
1625.63/1631.36 c #Conflicts: 1328000 | #Constraints: 28394
1625.63/1631.36 c #Conflicts: 1329000 | #Constraints: 29394
1625.63/1631.36 c #Conflicts: 1330000 | #Constraints: 30394
1625.63/1631.36 c #Conflicts: 1331000 | #Constraints: 31394
1625.63/1631.36 c #Conflicts: 1332000 | #Constraints: 32394
1625.63/1631.36 c #Conflicts: 1333000 | #Constraints: 33394
1625.63/1631.36 c #Conflicts: 1334000 | #Constraints: 34394
1625.63/1631.36 c #Conflicts: 1335000 | #Constraints: 35394
1625.63/1631.36 c #Conflicts: 1336000 | #Constraints: 36394
1625.63/1631.36 c #Conflicts: 1337000 | #Constraints: 37394
1625.63/1631.36 c #Conflicts: 1338000 | #Constraints: 38394
1625.63/1631.36 c #Conflicts: 1339000 | #Constraints: 39394
1625.63/1631.36 c #Conflicts: 1340000 | #Constraints: 40394
1625.63/1631.36 c #Conflicts: 1341000 | #Constraints: 41394
1625.63/1631.36 c #Conflicts: 1342000 | #Constraints: 42394
1625.63/1631.36 c #Conflicts: 1343000 | #Constraints: 43394
1625.63/1631.36 c #Conflicts: 1344000 | #Constraints: 44394
1625.63/1631.36 c #Conflicts: 1345000 | #Constraints: 45394
1625.63/1631.36 c #Conflicts: 1346000 | #Constraints: 46394
1625.63/1631.36 c #Conflicts: 1347000 | #Constraints: 47394
1625.63/1631.36 c #Conflicts: 1348000 | #Constraints: 48394
1625.63/1631.36 c INPROCESSING
1625.63/1631.36 c GARBAGE COLLECT
1625.63/1631.36 c #Conflicts: 1349000 | #Constraints: 26442
1625.63/1631.36 c #Conflicts: 1350000 | #Constraints: 27442
1625.63/1631.36 c #Conflicts: 1351000 | #Constraints: 28442
1625.63/1631.36 c #Conflicts: 1352000 | #Constraints: 29442
1625.63/1631.36 c #Conflicts: 1353000 | #Constraints: 30442
1625.63/1631.36 c #Conflicts: 1354000 | #Constraints: 31442
1625.63/1631.36 c #Conflicts: 1355000 | #Constraints: 32442
1625.63/1631.36 c #Conflicts: 1356000 | #Constraints: 33442
1625.63/1631.36 c #Conflicts: 1357000 | #Constraints: 34442
1625.63/1631.36 c #Conflicts: 1358000 | #Constraints: 35442
1625.63/1631.36 c #Conflicts: 1359000 | #Constraints: 36442
1625.63/1631.36 c #Conflicts: 1360000 | #Constraints: 37442
1763.90/1770.04 c #Conflicts: 1361000 | #Constraints: 38442
1763.90/1770.04 c #Conflicts: 1362000 | #Constraints: 39442
1763.90/1770.04 c #Conflicts: 1363000 | #Constraints: 40442
1763.90/1770.04 c #Conflicts: 1364000 | #Constraints: 41442
1763.90/1770.04 c #Conflicts: 1365000 | #Constraints: 42442
1763.90/1770.04 c #Conflicts: 1366000 | #Constraints: 43442
1763.90/1770.04 c #Conflicts: 1367000 | #Constraints: 44442
1763.90/1770.04 c #Conflicts: 1368000 | #Constraints: 45442
1763.90/1770.04 c #Conflicts: 1369000 | #Constraints: 46442
1763.90/1770.04 c #Conflicts: 1370000 | #Constraints: 47442
1763.90/1770.04 c #Conflicts: 1371000 | #Constraints: 48442
1763.90/1770.04 c INPROCESSING
1763.90/1770.04 c GARBAGE COLLECT
1763.90/1770.04 c #Conflicts: 1372000 | #Constraints: 26237
1763.90/1770.04 c #Conflicts: 1373000 | #Constraints: 27237
1763.90/1770.04 c #Conflicts: 1374000 | #Constraints: 28237
1763.90/1770.04 c #Conflicts: 1375000 | #Constraints: 29237
1763.90/1770.04 c #Conflicts: 1376000 | #Constraints: 30237
1763.90/1770.04 c #Conflicts: 1377000 | #Constraints: 31237
1763.90/1770.04 c #Conflicts: 1378000 | #Constraints: 32237
1763.90/1770.04 c #Conflicts: 1379000 | #Constraints: 33237
1763.90/1770.04 c #Conflicts: 1380000 | #Constraints: 34237
1763.90/1770.04 c #Conflicts: 1381000 | #Constraints: 35237
1763.90/1770.04 c #Conflicts: 1382000 | #Constraints: 36237
1763.90/1770.04 c #Conflicts: 1383000 | #Constraints: 37237
1763.90/1770.04 c #Conflicts: 1384000 | #Constraints: 38237
1763.90/1770.04 c #Conflicts: 1385000 | #Constraints: 39237
1763.90/1770.04 c #Conflicts: 1386000 | #Constraints: 40237
1763.90/1770.04 c #Conflicts: 1387000 | #Constraints: 41237
1763.90/1770.04 c #Conflicts: 1388000 | #Constraints: 42237
1763.90/1770.04 c #Conflicts: 1389000 | #Constraints: 43237
1763.90/1770.04 c #Conflicts: 1390000 | #Constraints: 44237
1763.90/1770.04 c #Conflicts: 1391000 | #Constraints: 45237
1763.90/1770.04 c #Conflicts: 1392000 | #Constraints: 46237
1763.90/1770.04 c #Conflicts: 1393000 | #Constraints: 47237
1763.90/1770.04 c #Conflicts: 1394000 | #Constraints: 48237
1763.90/1770.04 c #Conflicts: 1395000 | #Constraints: 49237
1763.90/1770.04 c INPROCESSING
1763.90/1770.04 c GARBAGE COLLECT
1763.90/1770.04 c #Conflicts: 1396000 | #Constraints: 26786
1763.90/1770.04 c #Conflicts: 1397000 | #Constraints: 27786
1763.90/1770.04 c #Conflicts: 1398000 | #Constraints: 28786
1763.90/1770.04 c #Conflicts: 1399000 | #Constraints: 29786
1763.90/1770.04 c #Conflicts: 1400000 | #Constraints: 30786
1763.90/1770.04 c #Conflicts: 1401000 | #Constraints: 31786
1763.90/1770.04 c #Conflicts: 1402000 | #Constraints: 32786
1763.90/1770.04 c #Conflicts: 1403000 | #Constraints: 33786
1763.90/1770.04 c #Conflicts: 1404000 | #Constraints: 34786
1763.90/1770.04 c #Conflicts: 1405000 | #Constraints: 35786
1763.90/1770.04 c #Conflicts: 1406000 | #Constraints: 36786
1763.90/1770.04 c #Conflicts: 1407000 | #Constraints: 37786
1763.90/1770.04 c #Conflicts: 1408000 | #Constraints: 38786
1763.90/1770.04 c #Conflicts: 1409000 | #Constraints: 39786
1763.90/1770.04 c #Conflicts: 1410000 | #Constraints: 40786
1763.90/1770.04 c #Conflicts: 1411000 | #Constraints: 41786
1763.90/1770.04 c #Conflicts: 1412000 | #Constraints: 42786
1763.90/1770.04 c #Conflicts: 1413000 | #Constraints: 43786
1763.90/1770.04 c #Conflicts: 1414000 | #Constraints: 44786
1763.90/1770.04 c #Conflicts: 1415000 | #Constraints: 45786
1763.90/1770.04 c #Conflicts: 1416000 | #Constraints: 46786
1763.90/1770.04 c #Conflicts: 1417000 | #Constraints: 47786
1763.90/1770.04 c #Conflicts: 1418000 | #Constraints: 48786
1763.90/1770.04 c #Conflicts: 1419000 | #Constraints: 49786
1763.90/1770.04 c INPROCESSING
1763.90/1770.04 c GARBAGE COLLECT
1763.90/1770.04 c #Conflicts: 1420000 | #Constraints: 27218
1763.90/1770.04 c #Conflicts: 1421000 | #Constraints: 28218
1763.90/1770.04 c #Conflicts: 1422000 | #Constraints: 29218
1763.90/1770.04 c #Conflicts: 1423000 | #Constraints: 30218
1763.90/1770.04 c #Conflicts: 1424000 | #Constraints: 31218
1763.90/1770.04 c #Conflicts: 1425000 | #Constraints: 32218
1763.90/1770.04 c #Conflicts: 1426000 | #Constraints: 33218
1763.90/1770.04 c #Conflicts: 1427000 | #Constraints: 34218
1763.90/1770.04 c #Conflicts: 1428000 | #Constraints: 35218
1763.90/1770.04 c #Conflicts: 1429000 | #Constraints: 36218
1763.90/1770.04 c #Conflicts: 1430000 | #Constraints: 37218
1763.90/1770.04 c #Conflicts: 1431000 | #Constraints: 38218
1763.90/1770.04 c #Conflicts: 1432000 | #Constraints: 39218
1763.90/1770.04 c #Conflicts: 1433000 | #Constraints: 40218
1763.90/1770.04 c #Conflicts: 1434000 | #Constraints: 41218
1763.90/1770.04 c #Conflicts: 1435000 | #Constraints: 42218
1763.90/1770.04 c #Conflicts: 1436000 | #Constraints: 43218
1910.33/1916.95 c #Conflicts: 1437000 | #Constraints: 44218
1910.33/1916.95 c #Conflicts: 1438000 | #Constraints: 45218
1910.33/1916.95 c #Conflicts: 1439000 | #Constraints: 46218
1910.33/1916.95 c #Conflicts: 1440000 | #Constraints: 47218
1910.33/1916.95 c #Conflicts: 1441000 | #Constraints: 48218
1910.33/1916.95 c #Conflicts: 1442000 | #Constraints: 49218
1910.33/1916.95 c #Conflicts: 1443000 | #Constraints: 50218
1910.33/1916.95 c INPROCESSING
1910.33/1916.95 c GARBAGE COLLECT
1910.33/1916.95 c #Conflicts: 1444000 | #Constraints: 27365
1910.33/1916.95 c #Conflicts: 1445000 | #Constraints: 28365
1910.33/1916.95 c #Conflicts: 1446000 | #Constraints: 29365
1910.33/1916.95 c #Conflicts: 1447000 | #Constraints: 30365
1910.33/1916.95 c #Conflicts: 1448000 | #Constraints: 31365
1910.33/1916.95 c #Conflicts: 1449000 | #Constraints: 32365
1910.33/1916.95 c #Conflicts: 1450000 | #Constraints: 33365
1910.33/1916.95 c #Conflicts: 1451000 | #Constraints: 34365
1910.33/1916.95 c #Conflicts: 1452000 | #Constraints: 35365
1910.33/1916.95 c #Conflicts: 1453000 | #Constraints: 36365
1910.33/1916.95 c #Conflicts: 1454000 | #Constraints: 37365
1910.33/1916.95 c #Conflicts: 1455000 | #Constraints: 38365
1910.33/1916.95 c #Conflicts: 1456000 | #Constraints: 39365
1910.33/1916.96 c #Conflicts: 1457000 | #Constraints: 40365
1910.33/1916.96 c #Conflicts: 1458000 | #Constraints: 41365
1910.33/1916.96 c #Conflicts: 1459000 | #Constraints: 42365
1910.33/1916.96 c #Conflicts: 1460000 | #Constraints: 43365
1910.33/1916.96 c #Conflicts: 1461000 | #Constraints: 44365
1910.33/1916.96 c #Conflicts: 1462000 | #Constraints: 45365
1910.33/1916.96 c #Conflicts: 1463000 | #Constraints: 46365
1910.33/1916.96 c #Conflicts: 1464000 | #Constraints: 47365
1910.33/1916.96 c #Conflicts: 1465000 | #Constraints: 48365
1910.33/1916.96 c #Conflicts: 1466000 | #Constraints: 49365
1910.33/1916.96 c #Conflicts: 1467000 | #Constraints: 50365
1910.33/1916.96 c INPROCESSING
1910.33/1916.96 c GARBAGE COLLECT
1910.33/1916.96 c #Conflicts: 1468000 | #Constraints: 27341
1910.33/1916.96 c #Conflicts: 1469000 | #Constraints: 28341
1910.33/1916.96 c #Conflicts: 1470000 | #Constraints: 29341
1910.33/1916.96 c #Conflicts: 1471000 | #Constraints: 30341
1910.33/1916.96 c #Conflicts: 1472000 | #Constraints: 31341
1910.33/1916.96 c #Conflicts: 1473000 | #Constraints: 32341
1910.33/1916.96 c #Conflicts: 1474000 | #Constraints: 33341
1910.33/1916.96 c #Conflicts: 1475000 | #Constraints: 34341
1910.33/1916.96 c #Conflicts: 1476000 | #Constraints: 35341
1910.33/1916.96 c #Conflicts: 1477000 | #Constraints: 36341
1910.33/1916.96 c #Conflicts: 1478000 | #Constraints: 37341
1910.33/1916.96 c #Conflicts: 1479000 | #Constraints: 38341
1910.33/1916.96 c #Conflicts: 1480000 | #Constraints: 39341
1910.33/1916.96 c #Conflicts: 1481000 | #Constraints: 40341
1910.33/1916.96 c #Conflicts: 1482000 | #Constraints: 41341
1910.33/1916.96 c #Conflicts: 1483000 | #Constraints: 42341
1910.33/1916.96 c #Conflicts: 1484000 | #Constraints: 43341
1910.33/1916.96 c #Conflicts: 1485000 | #Constraints: 44341
1910.33/1916.96 c #Conflicts: 1486000 | #Constraints: 45341
1910.33/1916.96 c #Conflicts: 1487000 | #Constraints: 46341
1910.33/1916.96 c #Conflicts: 1488000 | #Constraints: 47341
1910.33/1916.96 c #Conflicts: 1489000 | #Constraints: 48341
1910.33/1916.96 c #Conflicts: 1490000 | #Constraints: 49341
1910.33/1916.96 c #Conflicts: 1491000 | #Constraints: 50341
1910.33/1916.96 c INPROCESSING
1910.33/1916.96 c GARBAGE COLLECT
1910.33/1916.96 c #Conflicts: 1492000 | #Constraints: 27135
1910.33/1916.96 c #Conflicts: 1493000 | #Constraints: 28135
1910.33/1916.96 c #Conflicts: 1494000 | #Constraints: 29135
1910.33/1916.96 c #Conflicts: 1495000 | #Constraints: 30135
1910.33/1916.96 c #Conflicts: 1496000 | #Constraints: 31135
1910.33/1916.96 c #Conflicts: 1497000 | #Constraints: 32135
1910.33/1916.96 c #Conflicts: 1498000 | #Constraints: 33135
1910.33/1916.96 c #Conflicts: 1499000 | #Constraints: 34135
1910.33/1916.96 c #Conflicts: 1500000 | #Constraints: 35135
1910.33/1916.96 c #Conflicts: 1501000 | #Constraints: 36135
1910.33/1916.96 c #Conflicts: 1502000 | #Constraints: 37135
1910.33/1916.96 c #Conflicts: 1503000 | #Constraints: 38135
1910.33/1916.96 c #Conflicts: 1504000 | #Constraints: 39135
1910.33/1916.96 c #Conflicts: 1505000 | #Constraints: 40135
1910.33/1916.96 c #Conflicts: 1506000 | #Constraints: 41135
1910.33/1916.96 c #Conflicts: 1507000 | #Constraints: 42135
1910.33/1916.96 c #Conflicts: 1508000 | #Constraints: 43135
1910.33/1916.96 c #Conflicts: 1509000 | #Constraints: 44135
1910.33/1916.96 c #Conflicts: 1510000 | #Constraints: 45135
1910.33/1916.96 c #Conflicts: 1511000 | #Constraints: 46135
1910.33/1916.96 c #Conflicts: 1512000 | #Constraints: 47135
1910.33/1916.96 c #Conflicts: 1513000 | #Constraints: 48135
2067.14/2074.22 c #Conflicts: 1514000 | #Constraints: 49135
2067.14/2074.22 c #Conflicts: 1515000 | #Constraints: 50135
2067.14/2074.22 c #Conflicts: 1516000 | #Constraints: 51135
2067.14/2074.22 c INPROCESSING
2067.14/2074.22 c GARBAGE COLLECT
2067.14/2074.22 c #Conflicts: 1517000 | #Constraints: 27742
2067.14/2074.22 c #Conflicts: 1518000 | #Constraints: 28742
2067.14/2074.22 c #Conflicts: 1519000 | #Constraints: 29742
2067.14/2074.22 c #Conflicts: 1520000 | #Constraints: 30742
2067.14/2074.22 c #Conflicts: 1521000 | #Constraints: 31742
2067.14/2074.22 c #Conflicts: 1522000 | #Constraints: 32742
2067.14/2074.22 c #Conflicts: 1523000 | #Constraints: 33742
2067.14/2074.22 c #Conflicts: 1524000 | #Constraints: 34742
2067.14/2074.22 c #Conflicts: 1525000 | #Constraints: 35742
2067.14/2074.22 c #Conflicts: 1526000 | #Constraints: 36742
2067.14/2074.22 c #Conflicts: 1527000 | #Constraints: 37742
2067.14/2074.22 c #Conflicts: 1528000 | #Constraints: 38742
2067.14/2074.22 c #Conflicts: 1529000 | #Constraints: 39742
2067.14/2074.22 c #Conflicts: 1530000 | #Constraints: 40742
2067.14/2074.22 c #Conflicts: 1531000 | #Constraints: 41742
2067.14/2074.22 c #Conflicts: 1532000 | #Constraints: 42742
2067.14/2074.22 c #Conflicts: 1533000 | #Constraints: 43742
2067.14/2074.22 c #Conflicts: 1534000 | #Constraints: 44742
2067.14/2074.22 c #Conflicts: 1535000 | #Constraints: 45742
2067.14/2074.22 c #Conflicts: 1536000 | #Constraints: 46742
2067.14/2074.22 c #Conflicts: 1537000 | #Constraints: 47742
2067.14/2074.22 c #Conflicts: 1538000 | #Constraints: 48742
2067.14/2074.22 c #Conflicts: 1539000 | #Constraints: 49742
2067.14/2074.22 c #Conflicts: 1540000 | #Constraints: 50742
2067.14/2074.22 c #Conflicts: 1541000 | #Constraints: 51742
2067.14/2074.22 c INPROCESSING
2067.14/2074.22 c GARBAGE COLLECT
2067.14/2074.22 c #Conflicts: 1542000 | #Constraints: 28213
2067.14/2074.22 c #Conflicts: 1543000 | #Constraints: 29213
2067.14/2074.22 c #Conflicts: 1544000 | #Constraints: 30213
2067.14/2074.22 c #Conflicts: 1545000 | #Constraints: 31213
2067.14/2074.22 c #Conflicts: 1546000 | #Constraints: 32213
2067.14/2074.22 c #Conflicts: 1547000 | #Constraints: 33213
2067.14/2074.22 c #Conflicts: 1548000 | #Constraints: 34213
2067.14/2074.22 c #Conflicts: 1549000 | #Constraints: 35213
2067.14/2074.22 c #Conflicts: 1550000 | #Constraints: 36213
2067.14/2074.22 c #Conflicts: 1551000 | #Constraints: 37213
2067.14/2074.22 c #Conflicts: 1552000 | #Constraints: 38213
2067.14/2074.22 c #Conflicts: 1553000 | #Constraints: 39213
2067.14/2074.22 c #Conflicts: 1554000 | #Constraints: 40213
2067.14/2074.22 c #Conflicts: 1555000 | #Constraints: 41213
2067.14/2074.22 c #Conflicts: 1556000 | #Constraints: 42213
2067.14/2074.22 c #Conflicts: 1557000 | #Constraints: 43213
2067.14/2074.22 c #Conflicts: 1558000 | #Constraints: 44213
2067.14/2074.22 c #Conflicts: 1559000 | #Constraints: 45213
2067.14/2074.22 c #Conflicts: 1560000 | #Constraints: 46213
2067.14/2074.22 c #Conflicts: 1561000 | #Constraints: 47213
2067.14/2074.22 c #Conflicts: 1562000 | #Constraints: 48213
2067.14/2074.22 c #Conflicts: 1563000 | #Constraints: 49213
2067.14/2074.22 c #Conflicts: 1564000 | #Constraints: 50213
2067.14/2074.22 c #Conflicts: 1565000 | #Constraints: 51213
2067.14/2074.22 c #Conflicts: 1566000 | #Constraints: 52213
2067.14/2074.22 c INPROCESSING
2067.14/2074.22 c GARBAGE COLLECT
2067.14/2074.22 c #Conflicts: 1567000 | #Constraints: 28433
2067.14/2074.22 c #Conflicts: 1568000 | #Constraints: 29433
2067.14/2074.22 c #Conflicts: 1569000 | #Constraints: 30433
2067.14/2074.22 c #Conflicts: 1570000 | #Constraints: 31433
2067.14/2074.22 c #Conflicts: 1571000 | #Constraints: 32433
2067.14/2074.22 c #Conflicts: 1572000 | #Constraints: 33433
2067.14/2074.22 c #Conflicts: 1573000 | #Constraints: 34433
2067.14/2074.22 c #Conflicts: 1574000 | #Constraints: 35433
2067.14/2074.22 c #Conflicts: 1575000 | #Constraints: 36433
2067.14/2074.22 c #Conflicts: 1576000 | #Constraints: 37433
2067.14/2074.22 c #Conflicts: 1577000 | #Constraints: 38433
2067.14/2074.22 c #Conflicts: 1578000 | #Constraints: 39433
2067.14/2074.22 c #Conflicts: 1579000 | #Constraints: 40433
2067.14/2074.22 c #Conflicts: 1580000 | #Constraints: 41433
2067.14/2074.22 c #Conflicts: 1581000 | #Constraints: 42433
2067.14/2074.22 c #Conflicts: 1582000 | #Constraints: 43433
2067.14/2074.22 c #Conflicts: 1583000 | #Constraints: 44433
2067.14/2074.22 c #Conflicts: 1584000 | #Constraints: 45433
2067.14/2074.22 c #Conflicts: 1585000 | #Constraints: 46433
2067.14/2074.22 c #Conflicts: 1586000 | #Constraints: 47433
2067.14/2074.22 c #Conflicts: 1587000 | #Constraints: 48433
2067.14/2074.22 c #Conflicts: 1588000 | #Constraints: 49433
2067.14/2074.22 c #Conflicts: 1589000 | #Constraints: 50433
2067.14/2074.22 c #Conflicts: 1590000 | #Constraints: 51433
2238.89/2246.52 c #Conflicts: 1591000 | #Constraints: 52433
2238.89/2246.52 c INPROCESSING
2238.89/2246.52 c GARBAGE COLLECT
2238.89/2246.52 c #Conflicts: 1592000 | #Constraints: 28415
2238.89/2246.52 c #Conflicts: 1593000 | #Constraints: 29415
2238.89/2246.52 c #Conflicts: 1594000 | #Constraints: 30415
2238.89/2246.52 c #Conflicts: 1595000 | #Constraints: 31415
2238.89/2246.52 c #Conflicts: 1596000 | #Constraints: 32415
2238.89/2246.52 c #Conflicts: 1597000 | #Constraints: 33415
2238.89/2246.52 c #Conflicts: 1598000 | #Constraints: 34415
2238.89/2246.52 c #Conflicts: 1599000 | #Constraints: 35415
2238.89/2246.52 c #Conflicts: 1600000 | #Constraints: 36415
2238.89/2246.52 c #Conflicts: 1601000 | #Constraints: 37415
2238.89/2246.52 c #Conflicts: 1602000 | #Constraints: 38415
2238.89/2246.52 c #Conflicts: 1603000 | #Constraints: 39415
2238.89/2246.52 c #Conflicts: 1604000 | #Constraints: 40415
2238.89/2246.52 c #Conflicts: 1605000 | #Constraints: 41415
2238.89/2246.52 c #Conflicts: 1606000 | #Constraints: 42415
2238.89/2246.52 c #Conflicts: 1607000 | #Constraints: 43415
2238.89/2246.52 c #Conflicts: 1608000 | #Constraints: 44415
2238.89/2246.52 c #Conflicts: 1609000 | #Constraints: 45415
2238.89/2246.52 c #Conflicts: 1610000 | #Constraints: 46415
2238.89/2246.52 c #Conflicts: 1611000 | #Constraints: 47415
2238.89/2246.52 c #Conflicts: 1612000 | #Constraints: 48415
2238.89/2246.52 c #Conflicts: 1613000 | #Constraints: 49415
2238.89/2246.52 c #Conflicts: 1614000 | #Constraints: 50415
2238.89/2246.52 c #Conflicts: 1615000 | #Constraints: 51415
2238.89/2246.52 c #Conflicts: 1616000 | #Constraints: 52415
2238.89/2246.52 c INPROCESSING
2238.89/2246.52 c GARBAGE COLLECT
2238.89/2246.52 c #Conflicts: 1617000 | #Constraints: 28264
2238.89/2246.52 c #Conflicts: 1618000 | #Constraints: 29264
2238.89/2246.52 c #Conflicts: 1619000 | #Constraints: 30264
2238.89/2246.52 c #Conflicts: 1620000 | #Constraints: 31264
2238.89/2246.52 c #Conflicts: 1621000 | #Constraints: 32264
2238.89/2246.52 c #Conflicts: 1622000 | #Constraints: 33264
2238.89/2246.52 c #Conflicts: 1623000 | #Constraints: 34264
2238.89/2246.52 c #Conflicts: 1624000 | #Constraints: 35264
2238.89/2246.52 c #Conflicts: 1625000 | #Constraints: 36264
2238.89/2246.52 c #Conflicts: 1626000 | #Constraints: 37264
2238.89/2246.52 c #Conflicts: 1627000 | #Constraints: 38264
2238.89/2246.52 c #Conflicts: 1628000 | #Constraints: 39264
2238.89/2246.52 c #Conflicts: 1629000 | #Constraints: 40264
2238.89/2246.52 c #Conflicts: 1630000 | #Constraints: 41264
2238.89/2246.52 c #Conflicts: 1631000 | #Constraints: 42264
2238.89/2246.52 c #Conflicts: 1632000 | #Constraints: 43264
2238.89/2246.52 c #Conflicts: 1633000 | #Constraints: 44264
2238.89/2246.52 c #Conflicts: 1634000 | #Constraints: 45264
2238.89/2246.52 c #Conflicts: 1635000 | #Constraints: 46264
2238.89/2246.52 c #Conflicts: 1636000 | #Constraints: 47264
2238.89/2246.52 c #Conflicts: 1637000 | #Constraints: 48264
2238.89/2246.52 c #Conflicts: 1638000 | #Constraints: 49264
2238.89/2246.52 c #Conflicts: 1639000 | #Constraints: 50264
2238.89/2246.52 c #Conflicts: 1640000 | #Constraints: 51264
2238.89/2246.52 c #Conflicts: 1641000 | #Constraints: 52264
2238.89/2246.52 c #Conflicts: 1642000 | #Constraints: 53264
2238.89/2246.52 c INPROCESSING
2238.89/2246.52 c GARBAGE COLLECT
2238.89/2246.52 c #Conflicts: 1643000 | #Constraints: 28857
2238.89/2246.52 c #Conflicts: 1644000 | #Constraints: 29857
2238.89/2246.52 c #Conflicts: 1645000 | #Constraints: 30857
2238.89/2246.52 c #Conflicts: 1646000 | #Constraints: 31857
2238.89/2246.52 c #Conflicts: 1647000 | #Constraints: 32857
2238.89/2246.52 c #Conflicts: 1648000 | #Constraints: 33857
2238.89/2246.52 c #Conflicts: 1649000 | #Constraints: 34857
2238.89/2246.52 c #Conflicts: 1650000 | #Constraints: 35857
2238.89/2246.52 c #Conflicts: 1651000 | #Constraints: 36857
2238.89/2246.52 c #Conflicts: 1652000 | #Constraints: 37857
2238.89/2246.52 c #Conflicts: 1653000 | #Constraints: 38857
2238.89/2246.52 c #Conflicts: 1654000 | #Constraints: 39857
2238.89/2246.52 c #Conflicts: 1655000 | #Constraints: 40857
2238.89/2246.52 c #Conflicts: 1656000 | #Constraints: 41857
2238.89/2246.52 c #Conflicts: 1657000 | #Constraints: 42857
2238.89/2246.52 c #Conflicts: 1658000 | #Constraints: 43857
2238.89/2246.52 c #Conflicts: 1659000 | #Constraints: 44857
2238.89/2246.52 c #Conflicts: 1660000 | #Constraints: 45857
2238.89/2246.52 c #Conflicts: 1661000 | #Constraints: 46857
2238.89/2246.52 c #Conflicts: 1662000 | #Constraints: 47857
2238.89/2246.52 c #Conflicts: 1663000 | #Constraints: 48857
2238.89/2246.52 c #Conflicts: 1664000 | #Constraints: 49857
2238.89/2246.52 c #Conflicts: 1665000 | #Constraints: 50857
2238.89/2246.52 c #Conflicts: 1666000 | #Constraints: 51857
2238.89/2246.52 c #Conflicts: 1667000 | #Constraints: 52857
2437.56/2445.88 c #Conflicts: 1668000 | #Constraints: 53857
2437.56/2445.88 c INPROCESSING
2437.56/2445.88 c GARBAGE COLLECT
2437.56/2445.88 c #Conflicts: 1669000 | #Constraints: 29273
2437.56/2445.88 c #Conflicts: 1670000 | #Constraints: 30273
2437.56/2445.88 c #Conflicts: 1671000 | #Constraints: 31273
2437.56/2445.88 c #Conflicts: 1672000 | #Constraints: 32273
2437.56/2445.88 c #Conflicts: 1673000 | #Constraints: 33273
2437.56/2445.88 c #Conflicts: 1674000 | #Constraints: 34273
2437.56/2445.88 c #Conflicts: 1675000 | #Constraints: 35273
2437.56/2445.88 c #Conflicts: 1676000 | #Constraints: 36273
2437.56/2445.88 c #Conflicts: 1677000 | #Constraints: 37273
2437.56/2445.88 c #Conflicts: 1678000 | #Constraints: 38273
2437.56/2445.88 c #Conflicts: 1679000 | #Constraints: 39273
2437.56/2445.88 c #Conflicts: 1680000 | #Constraints: 40273
2437.56/2445.88 c #Conflicts: 1681000 | #Constraints: 41273
2437.56/2445.88 c #Conflicts: 1682000 | #Constraints: 42273
2437.56/2445.88 c #Conflicts: 1683000 | #Constraints: 43273
2437.56/2445.88 c #Conflicts: 1684000 | #Constraints: 44273
2437.56/2445.88 c #Conflicts: 1685000 | #Constraints: 45273
2437.56/2445.88 c #Conflicts: 1686000 | #Constraints: 46273
2437.56/2445.88 c #Conflicts: 1687000 | #Constraints: 47273
2437.56/2445.88 c #Conflicts: 1688000 | #Constraints: 48273
2437.56/2445.88 c #Conflicts: 1689000 | #Constraints: 49273
2437.56/2445.88 c #Conflicts: 1690000 | #Constraints: 50273
2437.56/2445.88 c #Conflicts: 1691000 | #Constraints: 51273
2437.56/2445.88 c #Conflicts: 1692000 | #Constraints: 52273
2437.56/2445.88 c #Conflicts: 1693000 | #Constraints: 53273
2437.56/2445.88 c #Conflicts: 1694000 | #Constraints: 54273
2437.56/2445.88 c INPROCESSING
2437.56/2445.88 c GARBAGE COLLECT
2437.56/2445.88 c #Conflicts: 1695000 | #Constraints: 29464
2437.56/2445.88 c #Conflicts: 1696000 | #Constraints: 30464
2437.56/2445.88 c #Conflicts: 1697000 | #Constraints: 31464
2437.56/2445.88 c #Conflicts: 1698000 | #Constraints: 32464
2437.56/2445.88 c #Conflicts: 1699000 | #Constraints: 33464
2437.56/2445.88 c #Conflicts: 1700000 | #Constraints: 34464
2437.56/2445.88 c #Conflicts: 1701000 | #Constraints: 35464
2437.56/2445.88 c #Conflicts: 1702000 | #Constraints: 36464
2437.56/2445.88 c #Conflicts: 1703000 | #Constraints: 37464
2437.56/2445.88 c #Conflicts: 1704000 | #Constraints: 38464
2437.56/2445.88 c #Conflicts: 1705000 | #Constraints: 39464
2437.56/2445.88 c #Conflicts: 1706000 | #Constraints: 40464
2437.56/2445.88 c #Conflicts: 1707000 | #Constraints: 41464
2437.56/2445.88 c #Conflicts: 1708000 | #Constraints: 42464
2437.56/2445.88 c #Conflicts: 1709000 | #Constraints: 43464
2437.56/2445.88 c #Conflicts: 1710000 | #Constraints: 44464
2437.56/2445.88 c #Conflicts: 1711000 | #Constraints: 45464
2437.56/2445.88 c #Conflicts: 1712000 | #Constraints: 46464
2437.56/2445.88 c #Conflicts: 1713000 | #Constraints: 47464
2437.56/2445.88 c #Conflicts: 1714000 | #Constraints: 48464
2437.56/2445.88 c #Conflicts: 1715000 | #Constraints: 49464
2437.56/2445.88 c #Conflicts: 1716000 | #Constraints: 50464
2437.56/2445.88 c #Conflicts: 1717000 | #Constraints: 51464
2437.56/2445.88 c #Conflicts: 1718000 | #Constraints: 52464
2437.56/2445.88 c #Conflicts: 1719000 | #Constraints: 53464
2437.56/2445.88 c #Conflicts: 1720000 | #Constraints: 54464
2437.56/2445.88 c INPROCESSING
2437.56/2445.88 c GARBAGE COLLECT
2437.56/2445.88 c #Conflicts: 1721000 | #Constraints: 29474
2437.56/2445.88 c #Conflicts: 1722000 | #Constraints: 30474
2437.56/2445.88 c #Conflicts: 1723000 | #Constraints: 31474
2437.56/2445.88 c #Conflicts: 1724000 | #Constraints: 32474
2437.56/2445.88 c #Conflicts: 1725000 | #Constraints: 33474
2437.56/2445.88 c #Conflicts: 1726000 | #Constraints: 34474
2437.56/2445.88 c #Conflicts: 1727000 | #Constraints: 35474
2437.56/2445.88 c #Conflicts: 1728000 | #Constraints: 36474
2437.56/2445.88 c #Conflicts: 1729000 | #Constraints: 37474
2437.56/2445.88 c #Conflicts: 1730000 | #Constraints: 38474
2437.56/2445.88 c #Conflicts: 1731000 | #Constraints: 39474
2437.56/2445.88 c #Conflicts: 1732000 | #Constraints: 40474
2437.56/2445.88 c #Conflicts: 1733000 | #Constraints: 41474
2437.56/2445.88 c #Conflicts: 1734000 | #Constraints: 42474
2437.56/2445.88 c #Conflicts: 1735000 | #Constraints: 43474
2437.56/2445.88 c #Conflicts: 1736000 | #Constraints: 44474
2437.56/2445.88 c #Conflicts: 1737000 | #Constraints: 45474
2437.56/2445.88 c #Conflicts: 1738000 | #Constraints: 46474
2437.56/2445.88 c #Conflicts: 1739000 | #Constraints: 47474
2437.56/2445.88 c #Conflicts: 1740000 | #Constraints: 48474
2437.56/2445.88 c #Conflicts: 1741000 | #Constraints: 49474
2437.56/2445.88 c #Conflicts: 1742000 | #Constraints: 50474
2437.56/2445.88 c #Conflicts: 1743000 | #Constraints: 51474
2437.56/2445.88 c #Conflicts: 1744000 | #Constraints: 52474
2631.04/2640.00 c #Conflicts: 1745000 | #Constraints: 53474
2631.04/2640.00 c #Conflicts: 1746000 | #Constraints: 54474
2631.04/2640.00 c INPROCESSING
2631.04/2640.00 c GARBAGE COLLECT
2631.04/2640.00 c #Conflicts: 1747000 | #Constraints: 29268
2631.04/2640.00 c #Conflicts: 1748000 | #Constraints: 30268
2631.04/2640.00 c #Conflicts: 1749000 | #Constraints: 31268
2631.04/2640.00 c #Conflicts: 1750000 | #Constraints: 32268
2631.04/2640.00 c #Conflicts: 1751000 | #Constraints: 33268
2631.04/2640.00 c #Conflicts: 1752000 | #Constraints: 34268
2631.04/2640.00 c #Conflicts: 1753000 | #Constraints: 35268
2631.04/2640.00 c #Conflicts: 1754000 | #Constraints: 36268
2631.04/2640.00 c #Conflicts: 1755000 | #Constraints: 37268
2631.04/2640.00 c #Conflicts: 1756000 | #Constraints: 38268
2631.04/2640.00 c #Conflicts: 1757000 | #Constraints: 39268
2631.04/2640.00 c #Conflicts: 1758000 | #Constraints: 40268
2631.04/2640.00 c #Conflicts: 1759000 | #Constraints: 41268
2631.04/2640.00 c #Conflicts: 1760000 | #Constraints: 42268
2631.04/2640.00 c #Conflicts: 1761000 | #Constraints: 43268
2631.04/2640.00 c #Conflicts: 1762000 | #Constraints: 44268
2631.04/2640.00 c #Conflicts: 1763000 | #Constraints: 45268
2631.04/2640.00 c #Conflicts: 1764000 | #Constraints: 46268
2631.04/2640.00 c #Conflicts: 1765000 | #Constraints: 47268
2631.04/2640.00 c #Conflicts: 1766000 | #Constraints: 48268
2631.04/2640.00 c #Conflicts: 1767000 | #Constraints: 49268
2631.04/2640.00 c #Conflicts: 1768000 | #Constraints: 50268
2631.04/2640.00 c #Conflicts: 1769000 | #Constraints: 51268
2631.04/2640.00 c #Conflicts: 1770000 | #Constraints: 52268
2631.04/2640.00 c #Conflicts: 1771000 | #Constraints: 53268
2631.04/2640.00 c #Conflicts: 1772000 | #Constraints: 54268
2631.04/2640.00 c #Conflicts: 1773000 | #Constraints: 55268
2631.04/2640.00 c INPROCESSING
2631.04/2640.00 c GARBAGE COLLECT
2631.04/2640.00 c #Conflicts: 1774000 | #Constraints: 29902
2631.04/2640.00 c #Conflicts: 1775000 | #Constraints: 30902
2631.04/2640.00 c #Conflicts: 1776000 | #Constraints: 31902
2631.04/2640.00 c #Conflicts: 1777000 | #Constraints: 32902
2631.04/2640.00 c #Conflicts: 1778000 | #Constraints: 33902
2631.04/2640.00 c #Conflicts: 1779000 | #Constraints: 34902
2631.04/2640.00 c #Conflicts: 1780000 | #Constraints: 35902
2631.04/2640.00 c #Conflicts: 1781000 | #Constraints: 36902
2631.04/2640.00 c #Conflicts: 1782000 | #Constraints: 37902
2631.04/2640.00 c #Conflicts: 1783000 | #Constraints: 38902
2631.04/2640.00 c #Conflicts: 1784000 | #Constraints: 39902
2631.04/2640.00 c #Conflicts: 1785000 | #Constraints: 40902
2631.04/2640.00 c #Conflicts: 1786000 | #Constraints: 41902
2631.04/2640.00 c bounds 23978 >= 6318 @ 2510.65
2631.04/2640.00 c #Conflicts: 1787000 | #Constraints: 42903
2631.04/2640.00 c #Conflicts: 1788000 | #Constraints: 43903
2631.04/2640.00 c #Conflicts: 1789000 | #Constraints: 44903
2631.04/2640.00 c #Conflicts: 1790000 | #Constraints: 45903
2631.04/2640.00 c #Conflicts: 1791000 | #Constraints: 46903
2631.04/2640.00 c #Conflicts: 1792000 | #Constraints: 47903
2631.04/2640.00 c #Conflicts: 1793000 | #Constraints: 48903
2631.04/2640.00 c #Conflicts: 1794000 | #Constraints: 49903
2631.04/2640.00 c #Conflicts: 1795000 | #Constraints: 50903
2631.04/2640.00 c #Conflicts: 1796000 | #Constraints: 51903
2631.04/2640.00 c #Conflicts: 1797000 | #Constraints: 52903
2631.04/2640.00 c #Conflicts: 1798000 | #Constraints: 53903
2631.04/2640.00 c #Conflicts: 1799000 | #Constraints: 54903
2631.04/2640.00 c #Conflicts: 1800000 | #Constraints: 55903
2631.04/2640.00 c INPROCESSING
2631.04/2640.00 c GARBAGE COLLECT
2631.04/2640.00 c #Conflicts: 1801000 | #Constraints: 30252
2631.04/2640.00 c #Conflicts: 1802000 | #Constraints: 31252
2631.04/2640.00 c #Conflicts: 1803000 | #Constraints: 32252
2631.04/2640.00 c #Conflicts: 1804000 | #Constraints: 33252
2631.04/2640.00 c #Conflicts: 1805000 | #Constraints: 34252
2631.04/2640.00 c #Conflicts: 1806000 | #Constraints: 35252
2631.04/2640.00 c #Conflicts: 1807000 | #Constraints: 36252
2631.04/2640.00 c #Conflicts: 1808000 | #Constraints: 37252
2631.04/2640.00 c #Conflicts: 1809000 | #Constraints: 38252
2631.04/2640.00 c #Conflicts: 1810000 | #Constraints: 39252
2631.04/2640.00 c #Conflicts: 1811000 | #Constraints: 40252
2631.04/2640.00 c #Conflicts: 1812000 | #Constraints: 41252
2631.04/2640.00 c #Conflicts: 1813000 | #Constraints: 42252
2631.04/2640.00 c #Conflicts: 1814000 | #Constraints: 43252
2631.04/2640.00 c #Conflicts: 1815000 | #Constraints: 44252
2631.04/2640.00 c #Conflicts: 1816000 | #Constraints: 45252
2631.04/2640.00 c #Conflicts: 1817000 | #Constraints: 46252
2631.04/2640.00 c #Conflicts: 1818000 | #Constraints: 47252
2631.04/2640.00 c #Conflicts: 1819000 | #Constraints: 48252
2631.04/2640.00 c #Conflicts: 1820000 | #Constraints: 49252
2796.91/2806.33 c #Conflicts: 1821000 | #Constraints: 50252
2796.91/2806.33 c #Conflicts: 1822000 | #Constraints: 51252
2796.91/2806.33 c #Conflicts: 1823000 | #Constraints: 52252
2796.91/2806.33 c #Conflicts: 1824000 | #Constraints: 53252
2796.91/2806.33 c #Conflicts: 1825000 | #Constraints: 54252
2796.91/2806.33 c #Conflicts: 1826000 | #Constraints: 55252
2796.91/2806.33 c #Conflicts: 1827000 | #Constraints: 56252
2796.91/2806.33 c INPROCESSING
2796.91/2806.33 c GARBAGE COLLECT
2796.91/2806.33 c #Conflicts: 1828000 | #Constraints: 30402
2796.91/2806.33 c #Conflicts: 1829000 | #Constraints: 31402
2796.91/2806.33 c #Conflicts: 1830000 | #Constraints: 32402
2796.91/2806.33 c #Conflicts: 1831000 | #Constraints: 33402
2796.91/2806.33 c #Conflicts: 1832000 | #Constraints: 34402
2796.91/2806.33 c #Conflicts: 1833000 | #Constraints: 35402
2796.91/2806.33 c #Conflicts: 1834000 | #Constraints: 36402
2796.91/2806.33 c #Conflicts: 1835000 | #Constraints: 37402
2796.91/2806.33 c #Conflicts: 1836000 | #Constraints: 38402
2796.91/2806.33 c #Conflicts: 1837000 | #Constraints: 39402
2796.91/2806.33 c #Conflicts: 1838000 | #Constraints: 40402
2796.91/2806.33 c #Conflicts: 1839000 | #Constraints: 41402
2796.91/2806.33 c #Conflicts: 1840000 | #Constraints: 42402
2796.91/2806.33 c #Conflicts: 1841000 | #Constraints: 43402
2796.91/2806.33 c #Conflicts: 1842000 | #Constraints: 44402
2796.91/2806.33 c #Conflicts: 1843000 | #Constraints: 45402
2796.91/2806.33 c #Conflicts: 1844000 | #Constraints: 46402
2796.91/2806.33 c #Conflicts: 1845000 | #Constraints: 47402
2796.91/2806.33 c #Conflicts: 1846000 | #Constraints: 48402
2796.91/2806.33 c #Conflicts: 1847000 | #Constraints: 49402
2796.91/2806.33 c #Conflicts: 1848000 | #Constraints: 50402
2796.91/2806.33 c #Conflicts: 1849000 | #Constraints: 51402
2796.91/2806.33 c #Conflicts: 1850000 | #Constraints: 52402
2796.91/2806.33 c #Conflicts: 1851000 | #Constraints: 53402
2796.91/2806.33 c #Conflicts: 1852000 | #Constraints: 54402
2796.91/2806.33 c #Conflicts: 1853000 | #Constraints: 55402
2796.91/2806.33 c #Conflicts: 1854000 | #Constraints: 56402
2796.91/2806.33 c INPROCESSING
2796.91/2806.33 c GARBAGE COLLECT
2796.91/2806.33 c #Conflicts: 1855000 | #Constraints: 30444
2796.91/2806.33 c #Conflicts: 1856000 | #Constraints: 31444
2796.91/2806.33 c #Conflicts: 1857000 | #Constraints: 32444
2796.91/2806.33 c #Conflicts: 1858000 | #Constraints: 33444
2796.91/2806.33 c #Conflicts: 1859000 | #Constraints: 34444
2796.91/2806.33 c #Conflicts: 1860000 | #Constraints: 35444
2796.91/2806.33 c #Conflicts: 1861000 | #Constraints: 36444
2796.91/2806.33 c #Conflicts: 1862000 | #Constraints: 37444
2796.91/2806.33 c #Conflicts: 1863000 | #Constraints: 38444
2796.91/2806.33 c #Conflicts: 1864000 | #Constraints: 39444
2796.91/2806.33 c #Conflicts: 1865000 | #Constraints: 40444
2796.91/2806.33 c #Conflicts: 1866000 | #Constraints: 41444
2796.91/2806.33 c #Conflicts: 1867000 | #Constraints: 42444
2796.91/2806.33 c #Conflicts: 1868000 | #Constraints: 43444
2796.91/2806.33 c #Conflicts: 1869000 | #Constraints: 44444
2796.91/2806.33 c #Conflicts: 1870000 | #Constraints: 45444
2796.91/2806.33 c #Conflicts: 1871000 | #Constraints: 46444
2796.91/2806.33 c #Conflicts: 1872000 | #Constraints: 47444
2796.91/2806.33 c #Conflicts: 1873000 | #Constraints: 48444
2796.91/2806.33 c #Conflicts: 1874000 | #Constraints: 49444
2796.91/2806.33 c #Conflicts: 1875000 | #Constraints: 50444
2796.91/2806.33 c #Conflicts: 1876000 | #Constraints: 51444
2796.91/2806.33 c #Conflicts: 1877000 | #Constraints: 52444
2796.91/2806.33 c #Conflicts: 1878000 | #Constraints: 53444
2796.91/2806.33 c #Conflicts: 1879000 | #Constraints: 54444
2796.91/2806.33 c #Conflicts: 1880000 | #Constraints: 55444
2796.91/2806.33 c #Conflicts: 1881000 | #Constraints: 56444
2796.91/2806.33 c INPROCESSING
2796.91/2806.33 c GARBAGE COLLECT
2796.91/2806.33 c #Conflicts: 1882000 | #Constraints: 30208
2796.91/2806.33 c #Conflicts: 1883000 | #Constraints: 31208
2796.91/2806.33 c #Conflicts: 1884000 | #Constraints: 32208
2796.91/2806.33 c #Conflicts: 1885000 | #Constraints: 33208
2796.91/2806.33 c #Conflicts: 1886000 | #Constraints: 34208
2796.91/2806.33 c #Conflicts: 1887000 | #Constraints: 35208
2796.91/2806.33 c #Conflicts: 1888000 | #Constraints: 36208
2796.91/2806.33 c #Conflicts: 1889000 | #Constraints: 37208
2796.91/2806.33 c #Conflicts: 1890000 | #Constraints: 38208
2796.91/2806.33 c #Conflicts: 1891000 | #Constraints: 39208
2796.91/2806.33 c #Conflicts: 1892000 | #Constraints: 40208
2796.91/2806.33 c #Conflicts: 1893000 | #Constraints: 41208
2796.91/2806.33 c #Conflicts: 1894000 | #Constraints: 42208
2796.91/2806.33 c #Conflicts: 1895000 | #Constraints: 43208
2796.91/2806.33 c #Conflicts: 1896000 | #Constraints: 44208
2796.91/2806.33 c #Conflicts: 1897000 | #Constraints: 45208
3040.04/3050.24 c #Conflicts: 1898000 | #Constraints: 46208
3040.04/3050.24 c #Conflicts: 1899000 | #Constraints: 47208
3040.04/3050.24 c #Conflicts: 1900000 | #Constraints: 48208
3040.04/3050.24 c #Conflicts: 1901000 | #Constraints: 49208
3040.04/3050.24 c #Conflicts: 1902000 | #Constraints: 50208
3040.04/3050.24 c #Conflicts: 1903000 | #Constraints: 51208
3040.04/3050.24 c #Conflicts: 1904000 | #Constraints: 52208
3040.04/3050.24 c #Conflicts: 1905000 | #Constraints: 53208
3040.04/3050.24 c #Conflicts: 1906000 | #Constraints: 54208
3040.04/3050.24 c #Conflicts: 1907000 | #Constraints: 55208
3040.04/3050.24 c #Conflicts: 1908000 | #Constraints: 56208
3040.04/3050.24 c #Conflicts: 1909000 | #Constraints: 57208
3040.04/3050.24 c INPROCESSING
3040.04/3050.24 c GARBAGE COLLECT
3040.04/3050.24 c #Conflicts: 1910000 | #Constraints: 30816
3040.04/3050.24 c #Conflicts: 1911000 | #Constraints: 31816
3040.04/3050.24 c #Conflicts: 1912000 | #Constraints: 32816
3040.04/3050.24 c #Conflicts: 1913000 | #Constraints: 33816
3040.04/3050.24 c #Conflicts: 1914000 | #Constraints: 34816
3040.04/3050.24 c #Conflicts: 1915000 | #Constraints: 35816
3040.04/3050.24 c #Conflicts: 1916000 | #Constraints: 36816
3040.04/3050.24 c #Conflicts: 1917000 | #Constraints: 37816
3040.04/3050.24 c #Conflicts: 1918000 | #Constraints: 38816
3040.04/3050.24 c #Conflicts: 1919000 | #Constraints: 39816
3040.04/3050.24 c #Conflicts: 1920000 | #Constraints: 40816
3040.04/3050.24 c #Conflicts: 1921000 | #Constraints: 41816
3040.04/3050.24 c #Conflicts: 1922000 | #Constraints: 42816
3040.04/3050.24 c #Conflicts: 1923000 | #Constraints: 43816
3040.04/3050.24 c #Conflicts: 1924000 | #Constraints: 44816
3040.04/3050.24 c #Conflicts: 1925000 | #Constraints: 45816
3040.04/3050.24 c #Conflicts: 1926000 | #Constraints: 46816
3040.04/3050.24 c #Conflicts: 1927000 | #Constraints: 47816
3040.04/3050.24 c #Conflicts: 1928000 | #Constraints: 48816
3040.04/3050.24 c #Conflicts: 1929000 | #Constraints: 49816
3040.04/3050.24 c #Conflicts: 1930000 | #Constraints: 50816
3040.04/3050.24 c #Conflicts: 1931000 | #Constraints: 51816
3040.04/3050.24 c #Conflicts: 1932000 | #Constraints: 52816
3040.04/3050.24 c #Conflicts: 1933000 | #Constraints: 53816
3040.04/3050.24 c #Conflicts: 1934000 | #Constraints: 54816
3040.04/3050.24 c #Conflicts: 1935000 | #Constraints: 55816
3040.04/3050.24 c #Conflicts: 1936000 | #Constraints: 56816
3040.04/3050.24 c #Conflicts: 1937000 | #Constraints: 57816
3040.04/3050.24 c INPROCESSING
3040.04/3050.24 c GARBAGE COLLECT
3040.04/3050.24 c #Conflicts: 1938000 | #Constraints: 31216
3040.04/3050.24 c #Conflicts: 1939000 | #Constraints: 32216
3040.04/3050.24 c #Conflicts: 1940000 | #Constraints: 33216
3040.04/3050.24 c #Conflicts: 1941000 | #Constraints: 34216
3040.04/3050.24 c #Conflicts: 1942000 | #Constraints: 35216
3040.04/3050.24 c #Conflicts: 1943000 | #Constraints: 36216
3040.04/3050.24 c #Conflicts: 1944000 | #Constraints: 37216
3040.04/3050.24 c #Conflicts: 1945000 | #Constraints: 38216
3040.04/3050.24 c #Conflicts: 1946000 | #Constraints: 39216
3040.04/3050.24 c #Conflicts: 1947000 | #Constraints: 40216
3040.04/3050.24 c #Conflicts: 1948000 | #Constraints: 41216
3040.04/3050.24 c #Conflicts: 1949000 | #Constraints: 42216
3040.04/3050.24 c #Conflicts: 1950000 | #Constraints: 43216
3040.04/3050.24 c #Conflicts: 1951000 | #Constraints: 44216
3040.04/3050.24 c #Conflicts: 1952000 | #Constraints: 45216
3040.04/3050.24 c #Conflicts: 1953000 | #Constraints: 46216
3040.04/3050.24 c #Conflicts: 1954000 | #Constraints: 47216
3040.04/3050.24 c #Conflicts: 1955000 | #Constraints: 48216
3040.04/3050.24 c #Conflicts: 1956000 | #Constraints: 49216
3040.04/3050.24 c #Conflicts: 1957000 | #Constraints: 50216
3040.04/3050.24 c #Conflicts: 1958000 | #Constraints: 51216
3040.04/3050.24 c #Conflicts: 1959000 | #Constraints: 52216
3040.04/3050.24 c #Conflicts: 1960000 | #Constraints: 53216
3040.04/3050.24 c #Conflicts: 1961000 | #Constraints: 54216
3040.04/3050.24 c #Conflicts: 1962000 | #Constraints: 55216
3040.04/3050.24 c #Conflicts: 1963000 | #Constraints: 56216
3040.04/3050.24 c #Conflicts: 1964000 | #Constraints: 57216
3040.04/3050.24 c #Conflicts: 1965000 | #Constraints: 58216
3040.04/3050.24 c INPROCESSING
3040.04/3050.24 c GARBAGE COLLECT
3040.04/3050.24 c #Conflicts: 1966000 | #Constraints: 31424
3040.04/3050.24 c #Conflicts: 1967000 | #Constraints: 32424
3040.04/3050.24 c #Conflicts: 1968000 | #Constraints: 33424
3040.04/3050.24 c #Conflicts: 1969000 | #Constraints: 34424
3040.04/3050.24 c #Conflicts: 1970000 | #Constraints: 35424
3040.04/3050.24 c #Conflicts: 1971000 | #Constraints: 36424
3040.04/3050.24 c #Conflicts: 1972000 | #Constraints: 37424
3040.04/3050.24 c #Conflicts: 1973000 | #Constraints: 38424
3040.04/3050.24 c #Conflicts: 1974000 | #Constraints: 39424
3223.36/3234.12 c #Conflicts: 1975000 | #Constraints: 40424
3223.36/3234.12 c #Conflicts: 1976000 | #Constraints: 41424
3223.36/3234.12 c #Conflicts: 1977000 | #Constraints: 42424
3223.36/3234.12 c #Conflicts: 1978000 | #Constraints: 43424
3223.36/3234.12 c #Conflicts: 1979000 | #Constraints: 44424
3223.36/3234.12 c #Conflicts: 1980000 | #Constraints: 45424
3223.36/3234.12 c #Conflicts: 1981000 | #Constraints: 46424
3223.36/3234.12 c #Conflicts: 1982000 | #Constraints: 47424
3223.36/3234.12 c #Conflicts: 1983000 | #Constraints: 48424
3223.36/3234.12 c #Conflicts: 1984000 | #Constraints: 49424
3223.36/3234.12 c #Conflicts: 1985000 | #Constraints: 50424
3223.36/3234.12 c #Conflicts: 1986000 | #Constraints: 51424
3223.36/3234.12 c #Conflicts: 1987000 | #Constraints: 52424
3223.36/3234.12 c #Conflicts: 1988000 | #Constraints: 53424
3223.36/3234.12 c #Conflicts: 1989000 | #Constraints: 54424
3223.36/3234.12 c #Conflicts: 1990000 | #Constraints: 55424
3223.36/3234.12 c #Conflicts: 1991000 | #Constraints: 56424
3223.36/3234.12 c #Conflicts: 1992000 | #Constraints: 57424
3223.36/3234.12 c #Conflicts: 1993000 | #Constraints: 58424
3223.36/3234.12 c INPROCESSING
3223.36/3234.12 c GARBAGE COLLECT
3223.36/3234.12 c #Conflicts: 1994000 | #Constraints: 31424
3223.36/3234.12 c #Conflicts: 1995000 | #Constraints: 32424
3223.36/3234.12 c #Conflicts: 1996000 | #Constraints: 33424
3223.36/3234.12 c #Conflicts: 1997000 | #Constraints: 34424
3223.36/3234.12 c #Conflicts: 1998000 | #Constraints: 35424
3223.36/3234.12 c #Conflicts: 1999000 | #Constraints: 36424
3223.36/3234.12 c #Conflicts: 2000000 | #Constraints: 37424
3223.36/3234.12 c #Conflicts: 2001000 | #Constraints: 38424
3223.36/3234.12 c #Conflicts: 2002000 | #Constraints: 39424
3223.36/3234.12 c #Conflicts: 2003000 | #Constraints: 40424
3223.36/3234.12 c #Conflicts: 2004000 | #Constraints: 41424
3223.36/3234.12 c #Conflicts: 2005000 | #Constraints: 42424
3223.36/3234.12 c #Conflicts: 2006000 | #Constraints: 43424
3223.36/3234.12 c #Conflicts: 2007000 | #Constraints: 44424
3223.36/3234.12 c #Conflicts: 2008000 | #Constraints: 45424
3223.36/3234.12 c #Conflicts: 2009000 | #Constraints: 46424
3223.36/3234.12 c #Conflicts: 2010000 | #Constraints: 47424
3223.36/3234.12 c #Conflicts: 2011000 | #Constraints: 48424
3223.36/3234.12 c #Conflicts: 2012000 | #Constraints: 49424
3223.36/3234.12 c #Conflicts: 2013000 | #Constraints: 50424
3223.36/3234.13 c #Conflicts: 2014000 | #Constraints: 51424
3223.36/3234.13 c #Conflicts: 2015000 | #Constraints: 52424
3223.36/3234.13 c #Conflicts: 2016000 | #Constraints: 53424
3223.36/3234.13 c #Conflicts: 2017000 | #Constraints: 54424
3223.36/3234.13 c #Conflicts: 2018000 | #Constraints: 55424
3223.36/3234.13 c #Conflicts: 2019000 | #Constraints: 56424
3223.36/3234.13 c #Conflicts: 2020000 | #Constraints: 57424
3223.36/3234.13 c #Conflicts: 2021000 | #Constraints: 58424
3223.36/3234.13 c INPROCESSING
3223.36/3234.13 c GARBAGE COLLECT
3223.36/3234.13 c #Conflicts: 2022000 | #Constraints: 31249
3223.36/3234.13 c #Conflicts: 2023000 | #Constraints: 32249
3223.36/3234.13 c #Conflicts: 2024000 | #Constraints: 33249
3223.36/3234.13 c #Conflicts: 2025000 | #Constraints: 34249
3223.36/3234.13 c #Conflicts: 2026000 | #Constraints: 35249
3223.36/3234.13 c #Conflicts: 2027000 | #Constraints: 36249
3223.36/3234.13 c #Conflicts: 2028000 | #Constraints: 37249
3223.36/3234.13 c #Conflicts: 2029000 | #Constraints: 38249
3223.36/3234.13 c #Conflicts: 2030000 | #Constraints: 39249
3223.36/3234.13 c #Conflicts: 2031000 | #Constraints: 40249
3223.36/3234.13 c #Conflicts: 2032000 | #Constraints: 41249
3223.36/3234.13 c #Conflicts: 2033000 | #Constraints: 42249
3223.36/3234.13 c #Conflicts: 2034000 | #Constraints: 43249
3223.36/3234.13 c #Conflicts: 2035000 | #Constraints: 44249
3223.36/3234.13 c #Conflicts: 2036000 | #Constraints: 45249
3223.36/3234.13 c #Conflicts: 2037000 | #Constraints: 46249
3223.36/3234.13 c #Conflicts: 2038000 | #Constraints: 47249
3223.36/3234.13 c #Conflicts: 2039000 | #Constraints: 48249
3223.36/3234.13 c #Conflicts: 2040000 | #Constraints: 49249
3223.36/3234.13 c #Conflicts: 2041000 | #Constraints: 50249
3223.36/3234.13 c #Conflicts: 2042000 | #Constraints: 51249
3223.36/3234.13 c #Conflicts: 2043000 | #Constraints: 52249
3223.36/3234.13 c #Conflicts: 2044000 | #Constraints: 53249
3223.36/3234.13 c #Conflicts: 2045000 | #Constraints: 54249
3223.36/3234.13 c #Conflicts: 2046000 | #Constraints: 55249
3223.36/3234.13 c #Conflicts: 2047000 | #Constraints: 56249
3223.36/3234.13 c #Conflicts: 2048000 | #Constraints: 57249
3223.36/3234.13 c #Conflicts: 2049000 | #Constraints: 58249
3223.36/3234.13 c #Conflicts: 2050000 | #Constraints: 59249
3223.36/3234.13 c INPROCESSING
3223.36/3234.13 c GARBAGE COLLECT
3223.36/3234.13 c #Conflicts: 2051000 | #Constraints: 31846
3335.39/3346.57 c #Conflicts: 2052000 | #Constraints: 32846
3335.39/3346.57 c #Conflicts: 2053000 | #Constraints: 33846
3335.39/3346.57 c #Conflicts: 2054000 | #Constraints: 34846
3335.39/3346.57 c #Conflicts: 2055000 | #Constraints: 35846
3335.39/3346.57 c #Conflicts: 2056000 | #Constraints: 36846
3335.39/3346.57 c #Conflicts: 2057000 | #Constraints: 37846
3335.39/3346.57 c #Conflicts: 2058000 | #Constraints: 38846
3335.39/3346.57 c #Conflicts: 2059000 | #Constraints: 39846
3335.39/3346.57 c #Conflicts: 2060000 | #Constraints: 40846
3335.39/3346.57 c #Conflicts: 2061000 | #Constraints: 41846
3335.39/3346.57 c #Conflicts: 2062000 | #Constraints: 42846
3335.39/3346.57 c #Conflicts: 2063000 | #Constraints: 43846
3335.39/3346.57 c #Conflicts: 2064000 | #Constraints: 44846
3335.39/3346.57 c #Conflicts: 2065000 | #Constraints: 45846
3335.39/3346.57 c #Conflicts: 2066000 | #Constraints: 46846
3335.39/3346.57 c #Conflicts: 2067000 | #Constraints: 47846
3335.39/3346.57 c #Conflicts: 2068000 | #Constraints: 48846
3335.39/3346.57 c #Conflicts: 2069000 | #Constraints: 49846
3335.39/3346.57 c #Conflicts: 2070000 | #Constraints: 50846
3335.39/3346.58 c #Conflicts: 2071000 | #Constraints: 51846
3335.39/3346.58 c #Conflicts: 2072000 | #Constraints: 52846
3335.39/3346.58 c #Conflicts: 2073000 | #Constraints: 53846
3335.39/3346.58 c #Conflicts: 2074000 | #Constraints: 54846
3335.39/3346.58 c #Conflicts: 2075000 | #Constraints: 55846
3335.39/3346.58 c #Conflicts: 2076000 | #Constraints: 56846
3335.39/3346.58 c #Conflicts: 2077000 | #Constraints: 57846
3335.39/3346.58 c #Conflicts: 2078000 | #Constraints: 58846
3335.39/3346.58 c #Conflicts: 2079000 | #Constraints: 59846
3335.39/3346.58 c INPROCESSING
3335.39/3346.58 c GARBAGE COLLECT
3335.39/3346.58 c #Conflicts: 2080000 | #Constraints: 32157
3335.39/3346.58 c #Conflicts: 2081000 | #Constraints: 33157
3335.39/3346.58 c #Conflicts: 2082000 | #Constraints: 34157
3335.39/3346.58 c #Conflicts: 2083000 | #Constraints: 35157
3335.39/3346.58 c #Conflicts: 2084000 | #Constraints: 36157
3335.39/3346.58 c #Conflicts: 2085000 | #Constraints: 37157
3335.39/3346.58 c #Conflicts: 2086000 | #Constraints: 38157
3335.39/3346.58 c #Conflicts: 2087000 | #Constraints: 39157
3335.39/3346.58 c #Conflicts: 2088000 | #Constraints: 40157
3335.39/3346.58 c #Conflicts: 2089000 | #Constraints: 41157
3335.39/3346.58 c #Conflicts: 2090000 | #Constraints: 42157
3335.39/3346.58 c #Conflicts: 2091000 | #Constraints: 43157
3335.39/3346.58 c #Conflicts: 2092000 | #Constraints: 44157
3335.39/3346.58 c #Conflicts: 2093000 | #Constraints: 45157
3335.39/3346.58 c #Conflicts: 2094000 | #Constraints: 46157
3335.39/3346.58 c #Conflicts: 2095000 | #Constraints: 47157
3335.39/3346.58 c #Conflicts: 2096000 | #Constraints: 48157
3335.39/3346.58 c #Conflicts: 2097000 | #Constraints: 49157
3335.39/3346.58 c #Conflicts: 2098000 | #Constraints: 50157
3335.39/3346.58 c #Conflicts: 2099000 | #Constraints: 51157
3335.39/3346.58 c #Conflicts: 2100000 | #Constraints: 52157
3335.39/3346.58 c #Conflicts: 2101000 | #Constraints: 53157
3335.39/3346.58 c #Conflicts: 2102000 | #Constraints: 54157
3335.39/3346.58 c #Conflicts: 2103000 | #Constraints: 55157
3335.39/3346.58 c #Conflicts: 2104000 | #Constraints: 56157
3335.39/3346.58 c #Conflicts: 2105000 | #Constraints: 57157
3335.39/3346.58 c #Conflicts: 2106000 | #Constraints: 58157
3335.39/3346.58 c #Conflicts: 2107000 | #Constraints: 59157
3335.39/3346.58 c #Conflicts: 2108000 | #Constraints: 60157
3335.39/3346.58 c INPROCESSING
3335.39/3346.58 c GARBAGE COLLECT
3335.39/3346.58 c #Conflicts: 2109000 | #Constraints: 32337
3335.39/3346.58 c #Conflicts: 2110000 | #Constraints: 33337
3335.39/3346.58 c #Conflicts: 2111000 | #Constraints: 34337
3335.39/3346.58 c #Conflicts: 2112000 | #Constraints: 35337
3335.39/3346.58 c #Conflicts: 2113000 | #Constraints: 36337
3335.39/3346.58 c #Conflicts: 2114000 | #Constraints: 37337
3335.39/3346.58 c #Conflicts: 2115000 | #Constraints: 38337
3335.39/3346.58 c #Conflicts: 2116000 | #Constraints: 39337
3335.39/3346.58 c #Conflicts: 2117000 | #Constraints: 40337
3335.39/3346.58 c #Conflicts: 2118000 | #Constraints: 41337
3335.39/3346.58 c #Conflicts: 2119000 | #Constraints: 42337
3335.39/3346.58 c #Conflicts: 2120000 | #Constraints: 43337
3335.39/3346.58 c #Conflicts: 2121000 | #Constraints: 44337
3335.39/3346.58 c #Conflicts: 2122000 | #Constraints: 45337
3335.39/3346.58 c #Conflicts: 2123000 | #Constraints: 46337
3335.39/3346.58 c #Conflicts: 2124000 | #Constraints: 47337
3335.39/3346.58 c #Conflicts: 2125000 | #Constraints: 48337
3335.39/3346.58 c #Conflicts: 2126000 | #Constraints: 49337
3335.39/3346.58 c #Conflicts: 2127000 | #Constraints: 50337
3335.39/3346.58 c #Conflicts: 2128000 | #Constraints: 51337
3468.37/3479.94 c #Conflicts: 2129000 | #Constraints: 52337
3468.37/3479.94 c #Conflicts: 2130000 | #Constraints: 53337
3468.37/3479.94 c #Conflicts: 2131000 | #Constraints: 54337
3468.37/3479.94 c #Conflicts: 2132000 | #Constraints: 55337
3468.37/3479.94 c #Conflicts: 2133000 | #Constraints: 56337
3468.37/3479.94 c #Conflicts: 2134000 | #Constraints: 57337
3468.37/3479.94 c #Conflicts: 2135000 | #Constraints: 58337
3468.37/3479.94 c #Conflicts: 2136000 | #Constraints: 59337
3468.37/3479.94 c #Conflicts: 2137000 | #Constraints: 60337
3468.37/3479.94 c INPROCESSING
3468.37/3479.94 c GARBAGE COLLECT
3468.37/3479.94 c #Conflicts: 2138000 | #Constraints: 32304
3468.37/3479.94 c #Conflicts: 2139000 | #Constraints: 33304
3468.37/3479.94 c #Conflicts: 2140000 | #Constraints: 34304
3468.37/3479.94 c #Conflicts: 2141000 | #Constraints: 35304
3468.37/3479.94 c #Conflicts: 2142000 | #Constraints: 36304
3468.37/3479.94 c #Conflicts: 2143000 | #Constraints: 37304
3468.37/3479.94 c #Conflicts: 2144000 | #Constraints: 38304
3468.37/3479.94 c #Conflicts: 2145000 | #Constraints: 39304
3468.37/3479.94 c #Conflicts: 2146000 | #Constraints: 40304
3468.37/3479.94 c #Conflicts: 2147000 | #Constraints: 41304
3468.37/3479.94 c #Conflicts: 2148000 | #Constraints: 42304
3468.37/3479.94 c #Conflicts: 2149000 | #Constraints: 43304
3468.37/3479.94 c #Conflicts: 2150000 | #Constraints: 44304
3468.37/3479.94 c #Conflicts: 2151000 | #Constraints: 45304
3468.37/3479.94 c #Conflicts: 2152000 | #Constraints: 46304
3468.37/3479.94 c #Conflicts: 2153000 | #Constraints: 47304
3468.37/3479.94 c #Conflicts: 2154000 | #Constraints: 48304
3468.37/3479.94 c #Conflicts: 2155000 | #Constraints: 49304
3468.37/3479.94 c #Conflicts: 2156000 | #Constraints: 50304
3468.37/3479.94 c #Conflicts: 2157000 | #Constraints: 51304
3468.37/3479.94 c #Conflicts: 2158000 | #Constraints: 52304
3468.37/3479.94 c #Conflicts: 2159000 | #Constraints: 53304
3468.37/3479.94 c #Conflicts: 2160000 | #Constraints: 54304
3468.37/3479.94 c #Conflicts: 2161000 | #Constraints: 55304
3468.37/3479.94 c #Conflicts: 2162000 | #Constraints: 56304
3468.37/3479.94 c #Conflicts: 2163000 | #Constraints: 57304
3468.37/3479.94 c #Conflicts: 2164000 | #Constraints: 58304
3468.37/3479.94 c #Conflicts: 2165000 | #Constraints: 59304
3468.37/3479.94 c #Conflicts: 2166000 | #Constraints: 60304
3468.37/3479.94 c INPROCESSING
3468.37/3479.94 c GARBAGE COLLECT
3468.37/3479.94 c #Conflicts: 2167000 | #Constraints: 32130
3468.37/3479.94 c #Conflicts: 2168000 | #Constraints: 33130
3468.37/3479.94 c #Conflicts: 2169000 | #Constraints: 34130
3468.37/3479.94 c #Conflicts: 2170000 | #Constraints: 35130
3468.37/3479.94 c #Conflicts: 2171000 | #Constraints: 36130
3468.37/3479.94 c #Conflicts: 2172000 | #Constraints: 37130
3468.37/3479.94 c #Conflicts: 2173000 | #Constraints: 38130
3468.37/3479.94 c #Conflicts: 2174000 | #Constraints: 39130
3468.37/3479.94 c #Conflicts: 2175000 | #Constraints: 40130
3468.37/3479.94 c #Conflicts: 2176000 | #Constraints: 41130
3468.37/3479.94 c #Conflicts: 2177000 | #Constraints: 42130
3468.37/3479.94 c #Conflicts: 2178000 | #Constraints: 43130
3468.37/3479.94 c #Conflicts: 2179000 | #Constraints: 44130
3468.37/3479.94 c #Conflicts: 2180000 | #Constraints: 45130
3468.37/3479.94 c #Conflicts: 2181000 | #Constraints: 46130
3468.37/3479.94 c #Conflicts: 2182000 | #Constraints: 47130
3468.37/3479.94 c #Conflicts: 2183000 | #Constraints: 48130
3468.37/3479.94 c #Conflicts: 2184000 | #Constraints: 49130
3468.37/3479.94 c #Conflicts: 2185000 | #Constraints: 50130
3468.37/3479.94 c #Conflicts: 2186000 | #Constraints: 51130
3468.37/3479.94 c #Conflicts: 2187000 | #Constraints: 52130
3468.37/3479.94 c #Conflicts: 2188000 | #Constraints: 53130
3468.37/3479.94 c #Conflicts: 2189000 | #Constraints: 54130
3468.37/3479.94 c #Conflicts: 2190000 | #Constraints: 55130
3468.37/3479.94 c #Conflicts: 2191000 | #Constraints: 56130
3468.37/3479.94 c #Conflicts: 2192000 | #Constraints: 57130
3468.37/3479.94 c #Conflicts: 2193000 | #Constraints: 58130
3468.37/3479.94 c #Conflicts: 2194000 | #Constraints: 59130
3468.37/3479.94 c #Conflicts: 2195000 | #Constraints: 60130
3468.37/3479.94 c #Conflicts: 2196000 | #Constraints: 61130
3468.37/3479.94 c INPROCESSING
3468.37/3479.94 c GARBAGE COLLECT
3468.37/3479.94 c #Conflicts: 2197000 | #Constraints: 32724
3468.37/3479.94 c #Conflicts: 2198000 | #Constraints: 33724
3468.37/3479.94 c #Conflicts: 2199000 | #Constraints: 34724
3468.37/3479.94 c #Conflicts: 2200000 | #Constraints: 35724
3468.37/3479.94 c #Conflicts: 2201000 | #Constraints: 36724
3468.37/3479.94 c #Conflicts: 2202000 | #Constraints: 37724
3468.37/3479.94 c #Conflicts: 2203000 | #Constraints: 38724
3468.37/3479.94 c #Conflicts: 2204000 | #Constraints: 39724
3468.37/3479.94 c #Conflicts: 2205000 | #Constraints: 40724
3600.05/3612.01 c #Conflicts: 2206000 | #Constraints: 41724
3600.05/3612.01 c #Conflicts: 2207000 | #Constraints: 42724
3600.05/3612.01 c #Conflicts: 2208000 | #Constraints: 43724
3600.05/3612.01 c #Conflicts: 2209000 | #Constraints: 44724
3600.05/3612.01 c #Conflicts: 2210000 | #Constraints: 45724
3600.05/3612.01 c #Conflicts: 2211000 | #Constraints: 46724
3600.05/3612.01 c #Conflicts: 2212000 | #Constraints: 47724
3600.05/3612.01 c #Conflicts: 2213000 | #Constraints: 48724
3600.05/3612.01 c #Conflicts: 2214000 | #Constraints: 49724
3600.05/3612.01 c #Conflicts: 2215000 | #Constraints: 50724
3600.05/3612.01 c #Conflicts: 2216000 | #Constraints: 51724
3600.05/3612.01 c #Conflicts: 2217000 | #Constraints: 52724
3600.05/3612.01 c #Conflicts: 2218000 | #Constraints: 53724
3600.05/3612.01 c #Conflicts: 2219000 | #Constraints: 54724
3600.05/3612.01 c #Conflicts: 2220000 | #Constraints: 55724
3600.05/3612.01 c #Conflicts: 2221000 | #Constraints: 56724
3600.05/3612.01 c #Conflicts: 2222000 | #Constraints: 57724
3600.05/3612.01 c #Conflicts: 2223000 | #Constraints: 58724
3600.05/3612.01 c #Conflicts: 2224000 | #Constraints: 59724
3600.05/3612.01 c #Conflicts: 2225000 | #Constraints: 60724
3600.05/3612.01 c #Conflicts: 2226000 | #Constraints: 61724
3600.05/3612.01 c INPROCESSING
3600.05/3612.01 c GARBAGE COLLECT
3600.05/3612.01 c #Conflicts: 2227000 | #Constraints: 33092
3600.05/3612.01 c #Conflicts: 2228000 | #Constraints: 34092
3600.05/3612.01 c #Conflicts: 2229000 | #Constraints: 35092
3600.05/3612.01 c #Conflicts: 2230000 | #Constraints: 36092
3600.05/3612.01 c #Conflicts: 2231000 | #Constraints: 37092
3600.05/3612.01 c #Conflicts: 2232000 | #Constraints: 38092
3600.05/3612.01 c #Conflicts: 2233000 | #Constraints: 39092
3600.05/3612.01 c #Conflicts: 2234000 | #Constraints: 40092
3600.05/3612.01 c #Conflicts: 2235000 | #Constraints: 41092
3600.05/3612.01 c #Conflicts: 2236000 | #Constraints: 42092
3600.05/3612.01 c #Conflicts: 2237000 | #Constraints: 43092
3600.05/3612.01 c #Conflicts: 2238000 | #Constraints: 44092
3600.05/3612.01 c #Conflicts: 2239000 | #Constraints: 45092
3600.05/3612.01 c #Conflicts: 2240000 | #Constraints: 46092
3600.05/3612.01 c #Conflicts: 2241000 | #Constraints: 47092
3600.05/3612.01 c #Conflicts: 2242000 | #Constraints: 48092
3600.05/3612.01 c #Conflicts: 2243000 | #Constraints: 49092
3600.05/3612.01 c #Conflicts: 2244000 | #Constraints: 50092
3600.05/3612.01 c #Conflicts: 2245000 | #Constraints: 51092
3600.05/3612.01 c #Conflicts: 2246000 | #Constraints: 52092
3600.05/3612.01 c #Conflicts: 2247000 | #Constraints: 53092
3600.05/3612.01 c #Conflicts: 2248000 | #Constraints: 54092
3600.05/3612.01 c #Conflicts: 2249000 | #Constraints: 55092
3600.05/3612.01 c #Conflicts: 2250000 | #Constraints: 56092
3600.05/3612.01 c #Conflicts: 2251000 | #Constraints: 57092
3600.05/3612.01 c #Conflicts: 2252000 | #Constraints: 58092
3600.05/3612.01 c #Conflicts: 2253000 | #Constraints: 59092
3600.05/3612.01 c #Conflicts: 2254000 | #Constraints: 60092
3600.05/3612.01 c #Conflicts: 2255000 | #Constraints: 61092
3600.05/3612.01 c Program interrupted by user.
3600.05/3612.01 c cpu time 3564.87 s
3600.05/3612.01 c deterministic time 519563033973 5.20e+11
3600.05/3612.01 c optimization time 57.0017 s
3600.05/3612.01 c total solve time 3507.87 s
3600.05/3612.01 c core-guided solve time 3507.87 s
3600.05/3612.01 c propagation time 2766.46 s
3600.05/3612.01 c conflict analysis time 720.21 s
3600.05/3612.01 c propagations 908349359
3600.05/3612.01 c resolve steps 27384078
3600.05/3612.01 c decisions 32113034
3600.05/3612.01 c conflicts 2255871
3600.05/3612.01 c restarts 4094
3600.05/3612.01 c inprocessing phases 140
3600.05/3612.01 c input clauses 2405
3600.05/3612.01 c input cardinalities 0
3600.05/3612.01 c input general constraints 9
3600.05/3612.01 c input average constraint length 5.06
3600.05/3612.01 c input average constraint degree 3562.03
3600.05/3612.01 c learned clauses 1010799
3600.05/3612.01 c learned cardinalities 70
3600.05/3612.01 c learned general constraints 1245001
3600.05/3612.01 c learned average constraint length 377.00
3600.05/3612.01 c learned average constraint degree 8249453.80
3600.05/3612.01 c watched constraints 505074
3600.05/3612.01 c counting constraints 739936
3600.05/3612.01 c gcd simplifications 105534
3600.05/3612.01 c detected cardinalities 17
3600.05/3612.01 c weakened non-implied lits 386392267
3600.05/3612.01 c weakened non-implying lits 38637
3600.05/3612.01 c original variables 1343
3600.05/3612.01 c clausal propagations 292707490
3600.05/3612.01 c cardinality propagations 465373
3600.05/3612.01 c watched propagations 15899251
3600.05/3612.01 c counting propagations 595343474
3600.05/3612.01 c watch lookups 84387028612
3600.05/3612.01 c watch backjump lookups 79835476093
3600.05/3612.01 c watch checks 295682701017
3600.05/3612.01 c propagation checks 54032995957
3600.05/3612.01 c constraint additions 3741652845
3600.05/3612.01 c trail pops 942717055
3600.05/3612.01 c formula constraints 2405
3600.05/3612.01 c learned constraints 2255870
3600.05/3612.01 c bound constraints 9
3600.05/3612.01 c core-guided constraints 0
3600.05/3612.01 c encountered formula constraints 18681839
3600.05/3612.01 c encountered learned constraints 10957060
3600.05/3612.01 c encountered bound constraints 1050
3600.05/3612.01 c encountered core-guided constraints 0
3600.05/3612.01 c LP total time 0 s
3600.05/3612.01 c LP solve time 0 s
3600.05/3612.01 c LP constraints added 0
3600.05/3612.01 c LP constraints removed 0
3600.05/3612.01 c LP pivots internal 0
3600.05/3612.01 c LP pivots root 0
3600.05/3612.01 c LP calls 0
3600.05/3612.01 c LP optimalities 0
3600.05/3612.01 c LP no pivot count 0
3600.05/3612.01 c LP infeasibilities 0
3600.05/3612.01 c LP valid Farkas constraints 0
3600.05/3612.01 c LP learned Farkas constraints 0
3600.05/3612.01 c LP basis resets 0
3600.05/3612.01 c LP cycling count 0
3600.05/3612.01 c LP singular count 0
3600.05/3612.01 c LP no primal count 0
3600.05/3612.01 c LP no farkas count 0
3600.05/3612.01 c LP other issue count 0
3600.05/3612.01 c LP Gomory cuts 0
3600.05/3612.01 c LP learned cuts 0
3600.05/3612.01 c LP deleted cuts 0
3600.05/3612.01 c LP encountered Gomory constraints 0
3600.05/3612.01 c LP encountered Farkas constraints 0
3600.05/3612.01 c LP encountered learned Farkas constraints 0
3600.05/3612.01 c CG auxiliary variables introduced 0
3600.05/3612.01 c CG solutions found 8
3600.05/3612.01 c CG cores constructed 1
3600.05/3612.01 c CG core cardinality constraints returned 0
3600.05/3612.01 c CG unit cores 0
3600.05/3612.01 c CG single cores 1
3600.05/3612.01 c CG blocks removed during cardinality reduction 0
3600.05/3612.01 c CG first core best 0
3600.05/3612.01 c CG decision core best 0
3600.05/3612.01 c CG core reduction tie 0
3600.05/3612.01 c CG core degree average 1.00
3600.05/3612.01 c CG core slack average 23.00
3600.05/3612.01 c CG exhausted 0
3600.05/3612.01 c CG exhaust time 0 s
3600.05/3612.01 c CG trimmed 0
3600.05/3612.01 c CG trim time 0.002005 s
3600.05/3612.01 c CG minimized 0
3600.05/3612.01 c CG minimize time 0 s
3600.05/3612.01 c CG am1 prop time 0.00024 s
3600.05/3612.01 c CG # am1s reformulated 0
3600.05/3612.01 c CG lower bound derived from am1s 0
3600.05/3612.01 c CG # clausal cores 1
3600.05/3612.01 c CG # cardinality cores 0
3600.05/3612.01 c CG # pb cores 0
3600.05/3612.01 c CG # pb reforms 0
3600.05/3612.01 c CG # cores discarded because of pb reform 0
3600.05/3612.01 d LOWERBOUND 6318
3600.05/3612.01 d NCORES 1
3600.05/3612.01 d NPBCORES 0
3600.05/3612.01 d NPBREFORM 0
3600.05/3612.01 d NTRIMMED 0
3600.05/3612.01 d NEXHAUSTED 0
3600.05/3612.01 d NAM1S 0
3600.05/3612.01 d AM1LB 0
3600.05/3612.01 o 23978
3600.05/3612.01 s SATISFIABLE
3600.05/3612.01 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: 64096 MiB (63358 MiB free)
memory of node 1: 64473 MiB (61954 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435966-1721108079/watcher-4435966-1721108079 -o /tmp/evaluation-result-4435966-1721108079/solver-4435966-1721108079 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721104478-836652 --watchdog 3760 pb-oll-rs HOME/instance-4435966-1721108079.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=838872, runsolver pid=838869
[startup+0.100091 s]*
/proc/loadavg: 4.08 4.15 4.21 5/245 838873
/proc/meminfo: memFree=128314144/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=40520 memory=10104 CPUtime=0.1 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 817 0 0 0 9 1 0 0 20 0 1 0 162966693 41492480 2526 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 10130 2526 1375 291 0 1664 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40520 KiB
Current children cumulated memory: 10104 KiB
[startup+0.212881 s]*
/proc/loadavg: 4.08 4.15 4.21 5/245 838873
/proc/meminfo: memFree=128309632/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=41044 memory=10628 CPUtime=0.22 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 958 0 0 0 20 2 0 0 20 0 1 0 162966693 42029056 2657 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 10261 2657 1375 291 0 1795 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 41044 KiB
Current children cumulated memory: 10628 KiB
[startup+0.312819 s]*
/proc/loadavg: 4.08 4.15 4.21 5/245 838873
/proc/meminfo: memFree=128304480/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=42100 memory=11680 CPUtime=0.31 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 1213 0 0 0 29 2 0 0 20 0 1 0 162966693 43110400 2920 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 10525 2920 1375 291 0 2059 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42100 KiB
Current children cumulated memory: 11680 KiB
[startup+0.700266 s]
/proc/loadavg: 4.08 4.15 4.21 5/245 838873
/proc/meminfo: memFree=128283380/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=45068 memory=16032 CPUtime=0.68 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 2336 0 0 0 63 5 0 0 20 0 1 0 162966693 46149632 4008 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 11267 4008 1375 291 0 2801 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45068 KiB
Current children cumulated memory: 16032 KiB
[startup+1.50029 s]
/proc/loadavg: 4.08 4.15 4.21 5/245 838873
/proc/meminfo: memFree=128280084/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=57768 memory=25292 CPUtime=1.48 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 4556 0 0 0 135 13 0 0 20 0 1 0 162966693 59154432 6323 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 14442 6323 1436 291 0 5976 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57768 KiB
Current children cumulated memory: 25292 KiB
[startup+3.11291 s]
/proc/loadavg: 4.08 4.15 4.21 5/245 838873
/proc/meminfo: memFree=128217776/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=58700 memory=26776 CPUtime=3.09 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 4949 0 0 0 285 24 0 0 20 0 1 0 162966693 60108800 6694 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 14675 6694 1436 291 0 6209 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 58700 KiB
Current children cumulated memory: 26776 KiB
[startup+6.30025 s]
/proc/loadavg: 4.07 4.15 4.21 5/245 838873
/proc/meminfo: memFree=128107832/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=75428 memory=40764 CPUtime=6.27 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 7405 0 0 0 588 39 0 0 20 0 1 0 162966693 77238272 10191 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 18857 10191 1436 291 0 10391 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 75428 KiB
Current children cumulated memory: 40764 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.14 4.21 5/245 838874
/proc/meminfo: memFree=128086240/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=77616 memory=43080 CPUtime=12.65 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 8032 0 0 0 1196 69 0 0 20 0 1 0 162966693 79478784 10770 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 19404 10770 1436 291 0 10938 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 77616 KiB
Current children cumulated memory: 43080 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.15 4.21 5/245 838876
/proc/meminfo: memFree=127870140/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=79536 memory=47968 CPUtime=25.41 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 8823 0 0 0 2418 123 0 0 20 0 1 0 162966693 81444864 11992 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 19884 11992 1436 291 0 11418 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 79536 KiB
Current children cumulated memory: 47968 KiB
[startup+51.1129 s]
/proc/loadavg: 4.08 4.14 4.20 5/244 838880
/proc/meminfo: memFree=127687740/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=102000 memory=63844 CPUtime=50.93 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 11306 0 0 0 4875 218 0 0 20 0 1 0 162966693 104448000 15961 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 25500 15961 1436 291 0 17034 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 102000 KiB
Current children cumulated memory: 63844 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.13 4.19 5/241 838936
/proc/meminfo: memFree=127640708/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=136948 memory=93884 CPUtime=101.95 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 16013 0 0 0 9851 344 0 0 20 0 1 0 162966693 140234752 23471 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 34237 23471 1436 291 0 25771 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 136948 KiB
Current children cumulated memory: 93884 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.14 4.19 5/241 838991
/proc/meminfo: memFree=127396000/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=142080 memory=97880 CPUtime=161.73 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 17226 0 0 0 15696 477 0 0 20 0 1 0 162966693 145489920 24470 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 35520 24470 1436 291 0 27054 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 142080 KiB
Current children cumulated memory: 97880 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.18 5/241 839001
/proc/meminfo: memFree=127201528/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=143116 memory=99296 CPUtime=221.51 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 17791 0 0 0 21540 611 0 0 20 0 1 0 162966693 146550784 24824 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 35779 24824 1436 291 0 27313 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 143116 KiB
Current children cumulated memory: 99296 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.18 5/241 839012
/proc/meminfo: memFree=127193960/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=143444 memory=99952 CPUtime=281.28 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 18137 0 0 0 27398 730 0 0 20 0 1 0 162966693 146886656 24988 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 35861 24988 1436 291 0 27395 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 143444 KiB
Current children cumulated memory: 99952 KiB
[startup+342.3 s]
/proc/loadavg: 4.27 4.15 4.18 5/241 839022
/proc/meminfo: memFree=126898612/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=217840 memory=154364 CPUtime=341.05 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 26730 0 0 0 33309 796 0 0 20 0 1 0 162966693 223068160 38591 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 54460 38591 1436 291 0 45994 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 217840 KiB
Current children cumulated memory: 154364 KiB
[startup+402.3 s]
/proc/loadavg: 4.75 4.32 4.24 5/244 839037
/proc/meminfo: memFree=126821044/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=218864 memory=155156 CPUtime=400.82 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 26912 0 0 0 39193 889 0 0 20 0 1 0 162966693 224116736 38789 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 54716 38789 1436 291 0 46250 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 218864 KiB
Current children cumulated memory: 155156 KiB
[startup+462.3 s]
/proc/loadavg: 4.34 4.28 4.23 5/244 839048
/proc/meminfo: memFree=126805728/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=219088 memory=155632 CPUtime=460.6 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 27085 0 0 0 45071 989 0 0 20 0 1 0 162966693 224346112 38908 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 54772 38908 1436 291 0 46306 0
################
# More data... #
################
Current children cumulated memory: 266908 KiB
[startup+2862.3 s]
/proc/loadavg: 4.15 4.20 4.19 5/245 840095
/proc/meminfo: memFree=124536084/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=361392 memory=283800 CPUtime=2852.74 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 51865 0 0 0 282170 3104 0 0 20 0 1 0 162966693 370065408 70950 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 90348 70950 1436 291 0 81882 0
Current children cumulated CPU time: 2852.74 s
Current children cumulated vsize: 361392 KiB
Current children cumulated memory: 283800 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/245 840105
/proc/meminfo: memFree=124523328/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=362928 memory=284992 CPUtime=2912.54 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 52261 0 0 0 288129 3125 0 0 20 0 1 0 162966693 371638272 71248 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 90732 71248 1436 291 0 82266 0
Current children cumulated CPU time: 2912.54 s
Current children cumulated vsize: 362928 KiB
Current children cumulated memory: 284992 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.19 4.18 5/245 840116
/proc/meminfo: memFree=124506684/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=371708 memory=296396 CPUtime=2972.35 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 54213 0 0 0 294088 3147 0 0 20 0 1 0 162966693 380628992 74099 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 92927 74099 1436 291 0 84461 0
Current children cumulated CPU time: 2972.35 s
Current children cumulated vsize: 371708 KiB
Current children cumulated memory: 296396 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/244 840126
/proc/meminfo: memFree=124407516/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=376572 memory=300372 CPUtime=3032.16 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 55332 0 0 0 300056 3160 0 0 20 0 1 0 162966693 385609728 75093 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 94143 75093 1436 291 0 85677 0
Current children cumulated CPU time: 3032.16 s
Current children cumulated vsize: 376572 KiB
Current children cumulated memory: 300372 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/243 840521
/proc/meminfo: memFree=124314244/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=376572 memory=300596 CPUtime=3091.97 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 55461 0 0 0 306011 3186 0 0 20 0 1 0 162966693 385609728 75149 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 94143 75149 1436 291 0 85677 0
Current children cumulated CPU time: 3091.97 s
Current children cumulated vsize: 376572 KiB
Current children cumulated memory: 300596 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/243 840531
/proc/meminfo: memFree=124292216/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=377084 memory=300988 CPUtime=3151.77 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 55684 0 0 0 311952 3225 0 0 20 0 1 0 162966693 386134016 75247 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 94271 75247 1436 291 0 85805 0
Current children cumulated CPU time: 3151.77 s
Current children cumulated vsize: 377084 KiB
Current children cumulated memory: 300988 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/243 840541
/proc/meminfo: memFree=124281324/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=381692 memory=303836 CPUtime=3211.59 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 56903 0 0 0 317888 3271 0 0 20 0 1 0 162966693 390852608 75959 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 95423 75959 1436 291 0 86957 0
Current children cumulated CPU time: 3211.59 s
Current children cumulated vsize: 381692 KiB
Current children cumulated memory: 303836 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/245 840723
/proc/meminfo: memFree=124276688/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=381692 memory=303840 CPUtime=3271.39 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 57037 0 0 0 323833 3306 0 0 20 0 1 0 162966693 390852608 75960 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 95423 75960 1436 291 0 86957 0
Current children cumulated CPU time: 3271.39 s
Current children cumulated vsize: 381692 KiB
Current children cumulated memory: 303840 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/248 840792
/proc/meminfo: memFree=124273616/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=381692 memory=303864 CPUtime=3331.2 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 57125 0 0 0 329756 3364 0 0 20 0 1 0 162966693 390852608 75966 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 95423 75966 1436 291 0 86957 0
Current children cumulated CPU time: 3331.2 s
Current children cumulated vsize: 381692 KiB
Current children cumulated memory: 303864 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.10 4.14 5/246 840802
/proc/meminfo: memFree=124272004/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=381692 memory=304368 CPUtime=3391.02 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 57428 0 0 0 335689 3413 0 0 20 0 1 0 162966693 390852608 76092 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 95423 76092 1436 291 0 86957 0
Current children cumulated CPU time: 3391.02 s
Current children cumulated vsize: 381692 KiB
Current children cumulated memory: 304368 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.14 5/246 840813
/proc/meminfo: memFree=124269656/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=382460 memory=305156 CPUtime=3450.82 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 57723 0 0 0 341627 3455 0 0 20 0 1 0 162966693 391639040 76289 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 95615 76289 1436 291 0 87149 0
Current children cumulated CPU time: 3450.82 s
Current children cumulated vsize: 382460 KiB
Current children cumulated memory: 305156 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.13 5/246 840823
/proc/meminfo: memFree=124263524/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=386484 memory=307880 CPUtime=3510.64 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 58590 0 0 0 347584 3480 0 0 20 0 1 0 162966693 395759616 76970 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 96621 76970 1436 291 0 88155 0
Current children cumulated CPU time: 3510.64 s
Current children cumulated vsize: 386484 KiB
Current children cumulated memory: 307880 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.13 5/244 840834
/proc/meminfo: memFree=124244224/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=398588 memory=317968 CPUtime=3570.43 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 60815 0 0 0 353534 3509 0 0 20 0 1 0 162966693 408154112 79492 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 99647 79492 1436 291 0 91181 0
Current children cumulated CPU time: 3570.43 s
Current children cumulated vsize: 398588 KiB
Current children cumulated memory: 317968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 4.05 4.08 4.12 5/244 840931
/proc/meminfo: memFree=127414684/131655788 swapFree=131071996/131071996
[pid=838872] ppid=838869 vsize=398588 memory=333204 CPUtime=3600.05 cores=0,2
/proc/838872/stat : 838872 (pb-oll-rs) R 838869 838872 836642 0 -1 4194304 60930 0 0 0 356486 3519 0 0 20 0 1 0 162966693 408154112 83301 134679101440 4194304 5384005 140732357221424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 32051200 140732357223447 140732357223524 140732357223524 140732357230539 0
/proc/838872/statm: 99647 83301 1436 291 0 91181 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 398588 KiB
Current children cumulated memory: 333204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.02 s]
# the end of solver process 838872 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3564.87 s, system=35.1938 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.02
CPU time (s): 3600.07
CPU user time (s): 3564.87
CPU system time (s): 35.1938
CPU usage (%): 99.6691
Max. virtual memory (cumulated for all children) (KiB): 398588
Max. memory (cumulated for all children) (KiB): 333204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.87
system time used= 35.1938
maximum resident set size= 333220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60947
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= 67
involuntary context switches= 25211
# summary of solver processes directly reported to runsolver:
# pid: 838872
# total CPU time (s): 3600.07
# total CPU user time (s): 3564.87
# total CPU system time (s): 35.1938
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.043 second user time and 34.7822 second system time
The end
Begin job on nodeC005 at 2024-07-16 07:34:51
IDJOB=4435966
IDBENCH=148151
IDSOLVER=3067
FILE ID=nodeC005/4435966-1721108079
RUNJOBID= nodeC005-1721104478-836652
SLURM_JOB_ID= 7505626
Free space on /tmp= 723772 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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 --file-size-limit 102400 -w /tmp/evaluation-result-4435966-1721108079/watcher-4435966-1721108079 -o /tmp/evaluation-result-4435966-1721108079/solver-4435966-1721108079 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721104478-836652 --watchdog 3760 pb-oll-rs HOME/instance-4435966-1721108079.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 941241e1c409728c60fc0eaa98d1a86b
RANDOM SEED=2010204973
nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.789
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
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 : 3493.870
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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.185
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
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.307
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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.764
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
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 : 3491.765
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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.301
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
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.361
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128322604 kB
MemAvailable: 129806152 kB
Buffers: 383352 kB
Cached: 1926080 kB
SwapCached: 0 kB
Active: 694908 kB
Inactive: 2073552 kB
Active(anon): 3440 kB
Inactive(anon): 492996 kB
Active(file): 691468 kB
Inactive(file): 1580556 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 7756 kB
Writeback: 16 kB
AnonPages: 457884 kB
Mapped: 109072 kB
Shmem: 37704 kB
KReclaimable: 103444 kB
Slab: 204832 kB
SReclaimable: 103444 kB
SUnreclaim: 101388 kB
KernelStack: 3968 kB
PageTables: 10736 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 718904 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52928 kB
HardwareCorrupted: 0 kB
AnonHugePages: 258048 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203592 kB
DirectMap2M: 11235328 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 723756 MiB
End job on nodeC005 at 2024-07-16 08:35:03