0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c #variables 90 #constraints 6
0.00/0.00	c bounds 1277923 >= 0 @ 0.00038
0.00/0.00	c rational objective 344747
0.00/0.02	c bounds 357367 >= 0 @ 0.001317
0.00/0.02	c bounds 357367 >= 73728 @ 0.001542
0.00/0.02	c bounds 357367 >= 131072 @ 0.00159
0.00/0.02	c bounds 357367 >= 147456 @ 0.001637
0.00/0.02	c bounds 357367 >= 155648 @ 0.001687
0.00/0.02	c bounds 357367 >= 157696 @ 0.001744
0.00/0.02	c bounds 357358 >= 157696 @ 0.001801
0.00/0.02	c bounds 357358 >= 163840 @ 0.001897
0.00/0.02	c bounds 357358 >= 172032 @ 0.001943
0.00/0.02	c bounds 356782 >= 172032 @ 0.002012
0.00/0.02	c bounds 356782 >= 174080 @ 0.002048
0.00/0.02	c bounds 356782 >= 176128 @ 0.002124
0.00/0.02	c bounds 356764 >= 176128 @ 0.002217
0.00/0.02	c bounds 356764 >= 176136 @ 0.00233
0.00/0.02	c bounds 354716 >= 176136 @ 0.00238
0.00/0.02	c bounds 354680 >= 176136 @ 0.00249
0.00/0.02	c bounds 354680 >= 176138 @ 0.00249
0.00/0.02	c bounds 354680 >= 176141 @ 0.00249
0.00/0.02	c bounds 354608 >= 176141 @ 0.00249
0.00/0.02	c bounds 354608 >= 188416 @ 0.00249
0.00/0.02	c bounds 354608 >= 202752 @ 0.00249
0.00/0.02	c bounds 354608 >= 208883 @ 0.00249
0.00/0.02	c bounds 354608 >= 210931 @ 0.002556
0.00/0.02	c bounds 354464 >= 210931 @ 0.002659
0.00/0.02	c bounds 354464 >= 212979 @ 0.002733
0.00/0.02	c bounds 354464 >= 215027 @ 0.002827
0.00/0.02	c bounds 354395 >= 215027 @ 0.00292
0.00/0.02	c bounds 354395 >= 215030 @ 0.003038
0.00/0.02	c bounds 354395 >= 215033 @ 0.003096
0.00/0.02	c bounds 354393 >= 215033 @ 0.003268
0.00/0.02	c bounds 354393 >= 215035 @ 0.00333
0.00/0.02	c bounds 354393 >= 215038 @ 0.003447
0.00/0.02	c bounds 354393 >= 215040 @ 0.003674
0.00/0.02	c bounds 354393 >= 215043 @ 0.003852
0.00/0.02	c bounds 354384 >= 215043 @ 0.003954
0.00/0.02	c bounds 354384 >= 215047 @ 0.00408
0.00/0.02	c bounds 354368 >= 215047 @ 0.004178
0.00/0.02	c bounds 354368 >= 215051 @ 0.004314
0.00/0.02	c bounds 354362 >= 215051 @ 0.004521
0.00/0.02	c bounds 354362 >= 215054 @ 0.004708
0.00/0.02	c bounds 354362 >= 215056 @ 0.004863
0.00/0.02	c bounds 354359 >= 215056 @ 0.005597
0.00/0.02	c bounds 354359 >= 216051 @ 0.005684
0.00/0.02	c bounds 354359 >= 216534 @ 0.005793
0.00/0.02	c bounds 354359 >= 216545 @ 0.00591
0.00/0.02	c bounds 354359 >= 216549 @ 0.006019
0.00/0.02	c bounds 354359 >= 216552 @ 0.006138
0.00/0.02	c bounds 354359 >= 216553 @ 0.006256
0.00/0.02	c bounds 354359 >= 216554 @ 0.006386
0.00/0.02	c bounds 354359 >= 216555 @ 0.006564
0.00/0.02	c bounds 354356 >= 216555 @ 0.006816
0.00/0.02	c bounds 354356 >= 217075 @ 0.006973
0.00/0.02	c bounds 354356 >= 218603 @ 0.007047
0.00/0.02	c bounds 354345 >= 218603 @ 0.007453
0.00/0.02	c bounds 354345 >= 219123 @ 0.007535
0.00/0.02	c bounds 354345 >= 219239 @ 0.007659
0.00/0.02	c bounds 354345 >= 219333 @ 0.007779
0.00/0.02	c bounds 354345 >= 227315 @ 0.008046
0.00/0.02	c bounds 354344 >= 227315 @ 0.008292
0.00/0.02	c bounds 354344 >= 230375 @ 0.008335
0.00/0.02	c bounds 354344 >= 233446 @ 0.008387
0.00/0.02	c bounds 354344 >= 236506 @ 0.008425
0.00/0.02	c bounds 354344 >= 238357 @ 0.008425
0.00/0.02	c bounds 354344 >= 238554 @ 0.008425
0.00/0.02	c bounds 354322 >= 238554 @ 0.008425
0.00/0.02	c bounds 354322 >= 238630 @ 0.008436
0.00/0.02	c bounds 354322 >= 238668 @ 0.008489
0.00/0.02	c bounds 354322 >= 238724 @ 0.008617
0.00/0.02	c bounds 354322 >= 238743 @ 0.008724
0.00/0.02	c bounds 354322 >= 238755 @ 0.008814
0.00/0.02	c bounds 354322 >= 238763 @ 0.008925
0.00/0.02	c bounds 354322 >= 238766 @ 0.009026
0.00/0.02	c bounds 354322 >= 238767 @ 0.009132
0.00/0.02	c bounds 354322 >= 238769 @ 0.009244
0.00/0.02	c bounds 354322 >= 238770 @ 0.00946
0.00/0.02	c bounds 354321 >= 238770 @ 0.009649
0.00/0.02	c bounds 354321 >= 238772 @ 0.009803
0.00/0.02	c bounds 354321 >= 238773 @ 0.009932
0.00/0.02	c bounds 354321 >= 238775 @ 0.010022
0.00/0.02	c bounds 354321 >= 238776 @ 0.010111
0.00/0.02	c bounds 354321 >= 238784 @ 0.010217
0.00/0.02	c bounds 354320 >= 238784 @ 0.010485
0.00/0.02	c bounds 354320 >= 238788 @ 0.010592
0.00/0.02	c bounds 354320 >= 238791 @ 0.01061
0.00/0.02	c bounds 354320 >= 238794 @ 0.01061
0.00/0.02	c bounds 354320 >= 238796 @ 0.01061
0.00/0.02	c bounds 354320 >= 238798 @ 0.01061
0.00/0.02	c bounds 354319 >= 238798 @ 0.01061
0.00/0.02	c bounds 354319 >= 238799 @ 0.01061
0.00/0.02	c bounds 354319 >= 238800 @ 0.01061
0.00/0.02	c bounds 354319 >= 238801 @ 0.01061
0.00/0.02	c bounds 354319 >= 238804 @ 0.01061
0.00/0.02	c bounds 354317 >= 238804 @ 0.01061
0.00/0.02	c bounds 354317 >= 238809 @ 0.01061
0.00/0.02	c bounds 354317 >= 238811 @ 0.01061
0.00/0.02	c bounds 354317 >= 238812 @ 0.010807
0.00/0.02	c bounds 354314 >= 238812 @ 0.011104
0.00/0.02	c bounds 354314 >= 240632 @ 0.011261
0.00/0.02	c bounds 354314 >= 240860 @ 0.01134
0.00/0.02	c bounds 354314 >= 241119 @ 0.011533
0.00/0.02	c bounds 354314 >= 241369 @ 0.011589
0.00/0.02	c bounds 354312 >= 241369 @ 0.012096
0.00/0.02	c bounds 354312 >= 241597 @ 0.012171
0.00/0.02	c bounds 354312 >= 241816 @ 0.012358
0.00/0.02	c bounds 354312 >= 242013 @ 0.012433
0.00/0.02	c bounds 354312 >= 242421 @ 0.012492
0.00/0.02	c bounds 354312 >= 242680 @ 0.012574
0.00/0.02	c bounds 354312 >= 242908 @ 0.012584
0.00/0.02	c bounds 354312 >= 242930 @ 0.012584
0.00/0.02	c bounds 354312 >= 242971 @ 0.012584
0.00/0.02	c bounds 354312 >= 243158 @ 0.012584
0.00/0.02	c bounds 354312 >= 243167 @ 0.012584
0.00/0.03	c bounds 354312 >= 243208 @ 0.012584
0.00/0.03	c bounds 354312 >= 243230 @ 0.012584
0.00/0.03	c bounds 354311 >= 243230 @ 0.012584
0.00/0.03	c bounds 354311 >= 243250 @ 0.012584
0.00/0.03	c bounds 354311 >= 243261 @ 0.012584
0.00/0.03	c bounds 354311 >= 243267 @ 0.012584
0.00/0.03	c bounds 354311 >= 243270 @ 0.012584
0.00/0.03	c bounds 354311 >= 243376 @ 0.012584
0.00/0.03	c bounds 354308 >= 243376 @ 0.012584
0.00/0.03	c bounds 354308 >= 243417 @ 0.012584
0.00/0.03	c bounds 354308 >= 243428 @ 0.012584
0.00/0.03	c bounds 354308 >= 243434 @ 0.012584
0.00/0.03	c bounds 354308 >= 243435 @ 0.012584
0.00/0.03	c bounds 354308 >= 243437 @ 0.012584
0.00/0.03	c bounds 354308 >= 243458 @ 0.012584
0.00/0.03	c bounds 354304 >= 243458 @ 0.012584
0.00/0.03	c bounds 354304 >= 243460 @ 0.012611
0.00/0.03	c bounds 354304 >= 243463 @ 0.012873
0.00/0.03	c bounds 354304 >= 243468 @ 0.013132
0.00/0.03	c bounds 354304 >= 243469 @ 0.013395
0.00/0.03	c bounds 354224 >= 243469 @ 0.013589
0.00/0.03	c bounds 354224 >= 245517 @ 0.01385
0.00/0.03	c bounds 354224 >= 245873 @ 0.014031
0.00/0.03	c bounds 354188 >= 245873 @ 0.0142
0.00/0.03	c bounds 354188 >= 245875 @ 0.014264
0.00/0.03	c bounds 354188 >= 245876 @ 0.014321
0.00/0.03	c bounds 354188 >= 245877 @ 0.014377
0.00/0.03	c bounds 354188 >= 246285 @ 0.014487
0.00/0.03	c bounds 354188 >= 246508 @ 0.014502
0.00/0.03	c bounds 354188 >= 246515 @ 0.014502
0.00/0.03	c bounds 354188 >= 246516 @ 0.014502
0.00/0.03	c bounds 354188 >= 246525 @ 0.014502
0.00/0.03	c bounds 353164 >= 246525 @ 0.014502
0.00/0.03	c bounds 353164 >= 246526 @ 0.014502
0.00/0.03	c bounds 353164 >= 246528 @ 0.014502
0.00/0.03	c bounds 353164 >= 246529 @ 0.014502
0.00/0.03	c bounds 353164 >= 246531 @ 0.014502
0.00/0.03	c bounds 353164 >= 246550 @ 0.014502
0.00/0.03	c bounds 353164 >= 246553 @ 0.014502
0.00/0.03	c bounds 353164 >= 246561 @ 0.014502
0.00/0.03	c bounds 353164 >= 246562 @ 0.014502
0.00/0.03	c bounds 353164 >= 246564 @ 0.014502
0.00/0.03	c bounds 353164 >= 246565 @ 0.014502
0.00/0.03	c bounds 353164 >= 246566 @ 0.014502
0.00/0.03	c bounds 352588 >= 246566 @ 0.0146
0.00/0.03	c bounds 352588 >= 246578 @ 0.014652
0.00/0.03	c bounds 352588 >= 246579 @ 0.014701
0.00/0.03	c bounds 352588 >= 246580 @ 0.014753
0.00/0.03	c bounds 352588 >= 246582 @ 0.014814
0.00/0.03	c bounds 352588 >= 246584 @ 0.014861
0.00/0.03	c bounds 352588 >= 246585 @ 0.014907
0.00/0.03	c bounds 352588 >= 246586 @ 0.014955
0.00/0.03	c bounds 352588 >= 246587 @ 0.014999
0.00/0.03	c bounds 352524 >= 246587 @ 0.015152
0.00/0.03	c bounds 352524 >= 246588 @ 0.015203
0.00/0.03	c bounds 352524 >= 246590 @ 0.015253
0.00/0.03	c bounds 352524 >= 246591 @ 0.015301
0.00/0.03	c bounds 352524 >= 246593 @ 0.015347
0.00/0.03	c bounds 352524 >= 246649 @ 0.015393
0.00/0.03	c bounds 352524 >= 246657 @ 0.015442
0.00/0.03	c bounds 352524 >= 246669 @ 0.015503
0.00/0.03	c bounds 352236 >= 246669 @ 0.015668
0.00/0.03	c bounds 352236 >= 246671 @ 0.01572
0.00/0.03	c bounds 352236 >= 246672 @ 0.015781
0.00/0.03	c bounds 352236 >= 246674 @ 0.015831
0.00/0.03	c bounds 352236 >= 246676 @ 0.015879
0.00/0.03	c bounds 352236 >= 246935 @ 0.015951
0.00/0.03	c bounds 352236 >= 247084 @ 0.016038
0.00/0.03	c bounds 351980 >= 247084 @ 0.016202
0.00/0.03	c bounds 351980 >= 247190 @ 0.016307
0.00/0.03	c bounds 351980 >= 247191 @ 0.016359
0.00/0.03	c bounds 351980 >= 247232 @ 0.016406
0.00/0.03	c bounds 351980 >= 247234 @ 0.016458
0.00/0.03	c bounds 351980 >= 247310 @ 0.016474
0.00/0.03	c bounds 351972 >= 247310 @ 0.016474
0.00/0.03	c bounds 351972 >= 247366 @ 0.016474
0.00/0.03	c bounds 351972 >= 247407 @ 0.016474
0.00/0.03	c bounds 351972 >= 247445 @ 0.016474
0.00/0.03	c bounds 351972 >= 247666 @ 0.016474
0.00/0.03	c bounds 351952 >= 247666 @ 0.016597
0.00/0.03	c bounds 351952 >= 247704 @ 0.016707
0.00/0.03	c bounds 351952 >= 247725 @ 0.016845
0.00/0.03	c bounds 351952 >= 247744 @ 0.017061
0.00/0.03	c bounds 351952 >= 247756 @ 0.017183
0.00/0.03	c bounds 351920 >= 247756 @ 0.017349
0.00/0.03	c bounds 351920 >= 247767 @ 0.017473
0.00/0.03	c bounds 351920 >= 247778 @ 0.017544
0.00/0.03	c bounds 351920 >= 247789 @ 0.017659
0.00/0.03	c bounds 351920 >= 247797 @ 0.017812
0.00/0.03	c bounds 351888 >= 247797 @ 0.017979
0.00/0.03	c bounds 351888 >= 247804 @ 0.018116
0.00/0.03	c bounds 351888 >= 247810 @ 0.018256
0.00/0.03	c bounds 351888 >= 247845 @ 0.018469
0.00/0.03	c bounds 351667 >= 247845 @ 0.018816
0.00/0.03	c bounds 351667 >= 248007 @ 0.018965
0.00/0.03	c bounds 351667 >= 248025 @ 0.019109
0.00/0.03	c bounds 351667 >= 248042 @ 0.019228
0.00/0.03	c bounds 351667 >= 248066 @ 0.019343
0.00/0.03	c bounds 351663 >= 248066 @ 0.019468
0.00/0.03	c bounds 351663 >= 248083 @ 0.019468
0.00/0.03	c bounds 351663 >= 248089 @ 0.019468
0.00/0.03	c bounds 351663 >= 248166 @ 0.019468
0.00/0.03	c bounds 351663 >= 248172 @ 0.019468
0.00/0.03	c bounds 351663 >= 248184 @ 0.019468
0.00/0.03	c bounds 351661 >= 248184 @ 0.019806
0.00/0.03	c bounds 351661 >= 248189 @ 0.019989
0.00/0.03	c bounds 351661 >= 248194 @ 0.020137
0.00/0.03	c bounds 351661 >= 248199 @ 0.020375
0.00/0.03	c bounds 351661 >= 248202 @ 0.020477
0.00/0.03	c bounds 351661 >= 248205 @ 0.020477
0.00/0.03	c bounds 351658 >= 248205 @ 0.020477
0.00/0.05	c bounds 351658 >= 248207 @ 0.020477
0.00/0.05	c bounds 351658 >= 248208 @ 0.020477
0.00/0.05	c bounds 351658 >= 248209 @ 0.020509
0.00/0.05	c bounds 351658 >= 248214 @ 0.020567
0.00/0.05	c bounds 351658 >= 248215 @ 0.020624
0.00/0.05	c bounds 351658 >= 248217 @ 0.020686
0.00/0.05	c bounds 351658 >= 248223 @ 0.020848
0.00/0.05	c bounds 351656 >= 248223 @ 0.021194
0.00/0.05	c bounds 351656 >= 248228 @ 0.021359
0.00/0.05	c bounds 351656 >= 248231 @ 0.021526
0.00/0.05	c bounds 351656 >= 248233 @ 0.021744
0.00/0.05	c bounds 351656 >= 248235 @ 0.022048
0.00/0.05	c bounds 351655 >= 248235 @ 0.022244
0.00/0.05	c bounds 351655 >= 248238 @ 0.022425
0.00/0.05	c bounds 351655 >= 248240 @ 0.022623
0.00/0.05	c bounds 351655 >= 248242 @ 0.022819
0.00/0.05	c bounds 351653 >= 248242 @ 0.023077
0.00/0.05	c bounds 351653 >= 248244 @ 0.023272
0.00/0.05	c bounds 351653 >= 248246 @ 0.023449
0.00/0.05	c bounds 351653 >= 248247 @ 0.023449
0.00/0.05	c bounds 351653 >= 248248 @ 0.023449
0.00/0.05	c bounds 351630 >= 248248 @ 0.023449
0.00/0.05	c bounds 351630 >= 248249 @ 0.023449
0.00/0.05	c bounds 351630 >= 248250 @ 0.023449
0.00/0.05	c bounds 351630 >= 248251 @ 0.023449
0.00/0.05	c bounds 351630 >= 248252 @ 0.023502
0.00/0.05	c bounds 351630 >= 248258 @ 0.023567
0.00/0.05	c bounds 351630 >= 248277 @ 0.023633
0.00/0.05	c bounds 351630 >= 248289 @ 0.023704
0.00/0.05	c bounds 351623 >= 248289 @ 0.024
0.00/0.05	c bounds 351623 >= 248308 @ 0.024159
0.00/0.05	c bounds 351623 >= 248320 @ 0.024308
0.00/0.05	c bounds 351623 >= 248331 @ 0.024442
0.00/0.05	c bounds 351623 >= 248339 @ 0.024708
0.00/0.05	c bounds 351622 >= 248339 @ 0.025195
0.00/0.05	c bounds 351622 >= 248345 @ 0.025359
0.00/0.05	c bounds 351622 >= 248351 @ 0.02545
0.00/0.05	c bounds 351622 >= 248356 @ 0.02545
0.00/0.05	c bounds 351622 >= 248359 @ 0.02545
0.00/0.05	c bounds 351622 >= 248362 @ 0.02545
0.00/0.05	c bounds 351622 >= 248364 @ 0.02545
0.00/0.05	c bounds 351619 >= 248364 @ 0.025673
0.00/0.05	c bounds 351619 >= 248366 @ 0.025886
0.00/0.05	c bounds 351619 >= 248368 @ 0.026107
0.00/0.05	c bounds 351619 >= 248369 @ 0.026476
0.00/0.05	c bounds 351611 >= 248369 @ 0.026899
0.00/0.05	c bounds 351611 >= 248370 @ 0.027139
0.00/0.05	c bounds 351611 >= 248371 @ 0.027371
0.00/0.05	c bounds 351611 >= 248372 @ 0.027449
0.00/0.05	c bounds 351611 >= 248373 @ 0.027449
0.00/0.05	c bounds 351608 >= 248373 @ 0.02745
0.00/0.05	c bounds 351608 >= 248374 @ 0.027698
0.00/0.05	c bounds 351608 >= 248375 @ 0.027913
0.00/0.05	c bounds 351608 >= 248376 @ 0.028126
0.00/0.05	c bounds 351608 >= 248377 @ 0.028422
0.00/0.05	c bounds 351608 >= 248378 @ 0.028654
0.00/0.05	c bounds 351608 >= 248379 @ 0.02887
0.00/0.05	c bounds 351602 >= 248379 @ 0.029252
0.00/0.05	c bounds 351602 >= 248388 @ 0.029422
0.00/0.05	c bounds 351602 >= 248389 @ 0.029422
0.00/0.05	c bounds 351602 >= 248390 @ 0.029422
0.00/0.05	c bounds 351602 >= 248454 @ 0.029567
0.00/0.05	c bounds 351596 >= 248454 @ 0.029962
0.00/0.05	c bounds 351596 >= 248466 @ 0.030148
0.00/0.05	c bounds 351596 >= 248470 @ 0.030458
0.00/0.05	c bounds 351596 >= 252633 @ 0.030809
0.00/0.05	c bounds 351593 >= 252633 @ 0.031235
0.00/0.05	c bounds 351593 >= 254534 @ 0.031353
0.00/0.05	c bounds 351593 >= 255095 @ 0.031435
0.00/0.05	c bounds 351593 >= 256996 @ 0.031622
0.00/0.05	c bounds 351593 >= 257516 @ 0.031686
0.00/0.05	c bounds 351593 >= 257663 @ 0.031782
0.00/0.05	c bounds 351593 >= 258830 @ 0.031887
0.00/0.05	c bounds 351593 >= 258834 @ 0.031949
0.00/0.05	c bounds 351593 >= 258846 @ 0.03201
0.00/0.05	c bounds 351593 >= 258865 @ 0.032069
0.00/0.05	c bounds 351593 >= 259012 @ 0.032202
0.00/0.05	c bounds 351592 >= 259012 @ 0.032722
0.00/0.05	c bounds 351592 >= 259564 @ 0.032856
0.00/0.05	c bounds 351592 >= 260913 @ 0.032955
0.00/0.05	c bounds 351592 >= 261092 @ 0.033094
0.00/0.05	c bounds 351592 >= 261465 @ 0.033263
0.00/0.05	c bounds 351592 >= 262259 @ 0.033338
0.00/0.05	c bounds 351592 >= 262441 @ 0.033492
0.00/0.05	c bounds 351592 >= 262632 @ 0.033587
0.00/0.05	c bounds 351592 >= 262779 @ 0.033847
0.00/0.05	c bounds 351592 >= 262856 @ 0.033968
0.00/0.05	c bounds 351591 >= 262856 @ 0.034299
0.00/0.05	c bounds 351591 >= 262924 @ 0.034424
0.00/0.05	c bounds 351591 >= 262987 @ 0.034472
0.00/0.05	c bounds 351591 >= 262993 @ 0.0345
0.00/0.05	c bounds 351591 >= 262999 @ 0.034527
0.00/0.05	c bounds 351591 >= 263000 @ 0.034549
0.00/0.05	c bounds 351591 >= 263077 @ 0.034658
0.00/0.05	c bounds 351591 >= 263141 @ 0.03478
0.00/0.05	c bounds 351591 >= 263189 @ 0.034893
0.00/0.05	c bounds 351591 >= 263213 @ 0.035023
0.00/0.05	c bounds 351591 >= 263251 @ 0.035137
0.00/0.05	c bounds 351591 >= 263286 @ 0.03529
0.00/0.05	c bounds 351591 >= 263310 @ 0.035426
0.00/0.05	c bounds 351591 >= 263329 @ 0.035569
0.00/0.05	c bounds 351586 >= 263329 @ 0.035822
0.00/0.05	c bounds 351586 >= 263346 @ 0.035956
0.00/0.05	c bounds 351586 >= 263363 @ 0.03611
0.00/0.05	c bounds 351586 >= 263376 @ 0.036236
0.00/0.05	c bounds 351586 >= 263440 @ 0.03644
0.00/0.05	c bounds 351586 >= 263453 @ 0.036609
0.00/0.05	c bounds 351586 >= 263516 @ 0.036723
0.00/0.05	c bounds 351586 >= 263528 @ 0.03687
0.00/0.05	c bounds 351583 >= 263528 @ 0.037861
0.00/0.05	c bounds 351583 >= 263557 @ 0.038047
0.00/0.08	c bounds 351583 >= 263569 @ 0.038322
0.00/0.08	c bounds 351583 >= 263581 @ 0.038426
0.00/0.08	c bounds 351583 >= 263592 @ 0.038426
0.00/0.08	c bounds 351583 >= 263603 @ 0.038426
0.00/0.08	c bounds 351583 >= 263612 @ 0.038426
0.00/0.08	c bounds 351583 >= 263618 @ 0.038426
0.00/0.08	c bounds 351583 >= 263624 @ 0.038426
0.00/0.08	c bounds 351583 >= 263629 @ 0.038426
0.00/0.08	c bounds 351583 >= 263630 @ 0.038473
0.00/0.08	c bounds 351583 >= 263654 @ 0.038473
0.00/0.08	c bounds 351583 >= 263671 @ 0.038473
0.00/0.08	c bounds 351583 >= 263688 @ 0.038473
0.00/0.08	c bounds 351583 >= 263697 @ 0.038473
0.00/0.08	c bounds 351583 >= 263705 @ 0.038473
0.00/0.08	c bounds 351583 >= 263712 @ 0.038473
0.00/0.08	c bounds 351583 >= 263718 @ 0.038473
0.00/0.08	c bounds 351583 >= 263724 @ 0.038473
0.00/0.08	c bounds 351583 >= 263730 @ 0.038473
0.00/0.08	c bounds 351583 >= 263735 @ 0.038536
0.00/0.08	c bounds 351583 >= 263738 @ 0.038895
0.00/0.08	c bounds 351583 >= 263741 @ 0.039191
0.00/0.08	c bounds 351575 >= 263741 @ 0.039455
0.00/0.08	c bounds 351575 >= 263744 @ 0.039455
0.00/0.08	c bounds 351575 >= 263746 @ 0.039455
0.00/0.08	c bounds 351575 >= 263750 @ 0.039455
0.00/0.08	c bounds 351575 >= 263752 @ 0.039455
0.00/0.08	c bounds 351575 >= 263754 @ 0.039455
0.00/0.08	c bounds 351575 >= 263756 @ 0.039455
0.00/0.08	c bounds 351575 >= 263760 @ 0.039455
0.00/0.08	c bounds 351565 >= 263760 @ 0.03973
0.00/0.08	c bounds 351565 >= 263762 @ 0.040013
0.00/0.08	c bounds 351565 >= 263765 @ 0.040245
0.00/0.08	c bounds 351565 >= 263766 @ 0.040556
0.00/0.08	c bounds 351565 >= 263767 @ 0.040881
0.00/0.08	c bounds 351565 >= 263768 @ 0.041287
0.00/0.08	c bounds 351549 >= 263768 @ 0.041436
0.00/0.08	c bounds 351549 >= 263769 @ 0.041436
0.00/0.08	c bounds 351549 >= 263770 @ 0.041436
0.00/0.08	c bounds 351549 >= 263771 @ 0.041612
0.00/0.08	c bounds 351517 >= 263771 @ 0.0419
0.00/0.08	c bounds 351517 >= 263772 @ 0.042232
0.00/0.08	c bounds 351517 >= 263773 @ 0.042434
0.00/0.08	c bounds 351517 >= 263774 @ 0.042434
0.00/0.08	c bounds 351512 >= 263774 @ 0.042434
0.00/0.08	c bounds 351512 >= 263775 @ 0.042434
0.00/0.08	c bounds 351512 >= 263776 @ 0.042434
0.00/0.08	c bounds 351512 >= 263777 @ 0.042434
0.00/0.08	c bounds 351476 >= 263777 @ 0.042634
0.00/0.08	c bounds 351476 >= 263778 @ 0.042998
0.00/0.08	c bounds 351476 >= 263779 @ 0.043402
0.00/0.08	c bounds 351220 >= 263779 @ 0.043689
0.00/0.08	c bounds 351220 >= 263780 @ 0.044076
0.00/0.08	c bounds 351220 >= 263784 @ 0.044383
0.00/0.08	c bounds 351220 >= 263799 @ 0.044418
0.00/0.08	c bounds 351220 >= 263848 @ 0.044418
0.00/0.08	c bounds 351220 >= 263926 @ 0.044418
0.00/0.08	c bounds 351220 >= 263961 @ 0.044418
0.00/0.08	c bounds 351156 >= 263961 @ 0.044418
0.00/0.08	c bounds 351156 >= 263975 @ 0.044418
0.00/0.08	c bounds 351156 >= 264027 @ 0.044597
0.00/0.08	c bounds 351156 >= 264038 @ 0.044768
0.00/0.08	c bounds 351156 >= 264039 @ 0.045091
0.00/0.08	c bounds 351156 >= 264052 @ 0.045252
0.00/0.08	c bounds 351156 >= 264053 @ 0.045594
0.00/0.08	c bounds 351156 >= 264104 @ 0.045766
0.00/0.08	c bounds 351140 >= 264104 @ 0.046043
0.00/0.08	c bounds 351140 >= 264105 @ 0.0464
0.00/0.08	c bounds 351140 >= 264111 @ 0.046695
0.00/0.08	c bounds 351140 >= 264115 @ 0.046945
0.00/0.08	c bounds 351140 >= 264116 @ 0.047302
0.00/0.08	c bounds 351140 >= 264117 @ 0.047411
0.00/0.08	c bounds 351120 >= 264117 @ 0.047411
0.00/0.08	c bounds 351120 >= 264119 @ 0.047411
0.00/0.08	c bounds 351120 >= 264121 @ 0.047412
0.00/0.08	c bounds 351120 >= 264122 @ 0.047412
0.00/0.08	c bounds 351040 >= 264122 @ 0.047583
0.00/0.08	c bounds 351040 >= 264124 @ 0.048153
0.00/0.08	c bounds 351040 >= 264125 @ 0.048473
0.00/0.08	c bounds 351040 >= 272314 @ 0.048895
0.00/0.08	c bounds 351040 >= 272344 @ 0.049107
0.00/0.08	c bounds 351000 >= 272344 @ 0.049451
0.00/0.08	c bounds 351000 >= 272385 @ 0.049557
0.00/0.08	c bounds 351000 >= 272405 @ 0.049667
0.00/0.08	c bounds 351000 >= 272410 @ 0.049766
0.00/0.08	c bounds 351000 >= 272411 @ 0.049864
0.00/0.08	c bounds 350840 >= 272411 @ 0.050478
0.00/0.08	c bounds 350840 >= 272416 @ 0.050587
0.00/0.08	c bounds 350840 >= 272417 @ 0.050692
0.00/0.08	c bounds 350840 >= 272418 @ 0.050802
0.00/0.08	c bounds 350840 >= 272424 @ 0.050915
0.00/0.08	c bounds 350840 >= 272427 @ 0.051027
0.00/0.08	c bounds 350840 >= 272428 @ 0.051141
0.00/0.08	c bounds 350840 >= 272429 @ 0.05125
0.00/0.08	c bounds 350790 >= 272429 @ 0.051556
0.00/0.08	c bounds 350790 >= 272450 @ 0.051671
0.00/0.08	c bounds 350790 >= 272451 @ 0.051792
0.00/0.08	c bounds 350790 >= 272454 @ 0.051896
0.00/0.08	c bounds 350786 >= 272454 @ 0.052619
0.00/0.08	c bounds 350786 >= 272495 @ 0.052737
0.00/0.08	c bounds 350786 >= 272496 @ 0.052853
0.00/0.08	c bounds 350786 >= 272497 @ 0.052962
0.00/0.08	c bounds 350786 >= 272498 @ 0.053072
0.00/0.08	c bounds 350786 >= 272503 @ 0.053181
0.00/0.08	c bounds 350786 >= 272509 @ 0.053289
0.00/0.08	c bounds 350786 >= 272511 @ 0.053398
0.00/0.08	c bounds 350786 >= 272513 @ 0.053506
0.00/0.08	c bounds 350752 >= 272513 @ 0.054081
0.00/0.08	c bounds 350752 >= 272522 @ 0.054291
0.00/0.08	c bounds 350752 >= 272523 @ 0.054408
0.00/0.08	c bounds 350752 >= 272524 @ 0.054525
0.00/0.08	c bounds 350752 >= 272526 @ 0.054645
0.00/0.11	c bounds 350752 >= 272527 @ 0.054778
0.00/0.11	c bounds 350752 >= 272528 @ 0.054896
0.00/0.11	c bounds 350750 >= 272528 @ 0.05531
0.00/0.11	c bounds 350750 >= 272530 @ 0.055436
0.00/0.11	c bounds 350750 >= 272531 @ 0.055563
0.00/0.11	c bounds 350750 >= 272541 @ 0.055677
0.00/0.11	c bounds 350750 >= 272542 @ 0.055792
0.00/0.11	c bounds 350750 >= 272544 @ 0.055904
0.00/0.11	c bounds 350742 >= 272544 @ 0.056184
0.00/0.11	c bounds 350742 >= 272545 @ 0.056316
0.00/0.11	c bounds 350742 >= 272546 @ 0.056387
0.00/0.11	c bounds 350742 >= 272547 @ 0.056387
0.00/0.11	c bounds 350723 >= 272547 @ 0.05651
0.00/0.11	c bounds 350723 >= 272548 @ 0.056734
0.00/0.11	c bounds 350723 >= 272549 @ 0.056869
0.00/0.11	c bounds 350723 >= 272550 @ 0.056987
0.00/0.11	c bounds 350723 >= 272551 @ 0.057104
0.00/0.11	c bounds 350723 >= 272553 @ 0.057222
0.00/0.11	c bounds 350723 >= 272556 @ 0.057327
0.00/0.11	c bounds 350723 >= 272562 @ 0.057407
0.00/0.11	c bounds 350723 >= 272563 @ 0.057533
0.00/0.11	c bounds 350723 >= 272571 @ 0.057651
0.00/0.11	c bounds 350721 >= 272571 @ 0.058139
0.00/0.11	c bounds 350721 >= 272583 @ 0.058271
0.00/0.11	c bounds 350721 >= 272584 @ 0.058397
0.00/0.11	c bounds 350721 >= 272587 @ 0.058533
0.00/0.11	c bounds 350721 >= 272783 @ 0.058656
0.00/0.11	c bounds 350721 >= 272818 @ 0.058777
0.00/0.11	c bounds 350720 >= 272818 @ 0.059098
0.00/0.11	c bounds 350720 >= 272967 @ 0.059232
0.00/0.11	c bounds 350720 >= 273005 @ 0.059361
0.00/0.11	c bounds 350720 >= 273007 @ 0.059498
0.00/0.11	c bounds 350720 >= 273019 @ 0.059627
0.00/0.11	c bounds 350717 >= 273019 @ 0.060162
0.00/0.11	c bounds 350717 >= 273022 @ 0.06031
0.00/0.11	c bounds 350717 >= 273023 @ 0.060449
0.00/0.11	c bounds 350717 >= 273024 @ 0.060575
0.00/0.11	c bounds 350717 >= 273033 @ 0.060692
0.00/0.11	c bounds 350714 >= 273033 @ 0.061132
0.00/0.11	c bounds 350714 >= 273050 @ 0.061262
0.00/0.11	c bounds 350714 >= 273074 @ 0.061381
0.00/0.11	c bounds 350714 >= 273078 @ 0.061403
0.00/0.11	c bounds 350714 >= 273080 @ 0.061403
0.00/0.11	c bounds 350711 >= 273080 @ 0.061403
0.00/0.11	c bounds 350711 >= 273083 @ 0.061403
0.00/0.11	c bounds 350711 >= 273084 @ 0.061403
0.00/0.11	c bounds 350711 >= 273101 @ 0.061407
0.00/0.11	c bounds 350708 >= 273101 @ 0.061407
0.00/0.11	c bounds 350708 >= 273107 @ 0.061407
0.00/0.11	c bounds 350708 >= 273109 @ 0.061548
0.00/0.11	c bounds 350708 >= 273113 @ 0.061683
0.00/0.11	c bounds 350708 >= 273114 @ 0.06182
0.00/0.11	c bounds 350708 >= 273115 @ 0.061954
0.00/0.11	c bounds 350708 >= 273116 @ 0.062091
0.00/0.11	c bounds 350708 >= 273172 @ 0.062235
0.00/0.11	c bounds 350697 >= 273172 @ 0.062873
0.00/0.11	c bounds 350697 >= 273228 @ 0.063013
0.00/0.11	c bounds 350697 >= 273257 @ 0.063154
0.00/0.11	c bounds 350697 >= 273268 @ 0.063299
0.00/0.11	c bounds 350697 >= 273306 @ 0.063456
0.00/0.11	c bounds 350697 >= 273344 @ 0.063582
0.00/0.11	c bounds 350696 >= 273344 @ 0.064423
0.00/0.11	c bounds 350696 >= 273345 @ 0.064593
0.00/0.11	c bounds 350696 >= 273346 @ 0.064755
0.00/0.11	c bounds 350696 >= 273347 @ 0.064911
0.00/0.11	c bounds 350696 >= 273348 @ 0.065046
0.00/0.11	c bounds 350696 >= 273349 @ 0.065196
0.00/0.11	c bounds 350696 >= 273350 @ 0.065342
0.00/0.11	c bounds 350696 >= 273351 @ 0.065493
0.00/0.11	c bounds 350648 >= 273351 @ 0.066091
0.00/0.11	c bounds 350648 >= 273352 @ 0.06625
0.00/0.11	c bounds 350648 >= 273353 @ 0.066412
0.00/0.11	c bounds 350648 >= 273354 @ 0.066573
0.00/0.11	c bounds 350648 >= 273356 @ 0.066727
0.00/0.11	c bounds 350648 >= 273357 @ 0.066861
0.00/0.11	c bounds 350624 >= 273357 @ 0.067562
0.00/0.11	c bounds 350624 >= 273358 @ 0.067739
0.00/0.11	c bounds 350624 >= 273359 @ 0.067895
0.00/0.11	c bounds 350624 >= 273364 @ 0.067923
0.00/0.11	c bounds 350624 >= 273365 @ 0.067923
0.00/0.11	c bounds 350624 >= 273366 @ 0.067923
0.00/0.11	c bounds 350528 >= 273366 @ 0.068194
0.00/0.11	c bounds 350528 >= 273367 @ 0.068355
0.00/0.11	c bounds 350528 >= 273379 @ 0.068503
0.00/0.11	c bounds 350528 >= 273380 @ 0.068661
0.00/0.11	c bounds 350528 >= 273389 @ 0.068817
0.00/0.11	c bounds 350528 >= 273391 @ 0.068966
0.00/0.11	c bounds 350336 >= 273391 @ 0.069785
0.00/0.11	c bounds 350336 >= 273396 @ 0.069954
0.00/0.11	c bounds 350336 >= 273399 @ 0.070108
0.00/0.11	c bounds 350336 >= 273400 @ 0.070265
0.00/0.11	c bounds 350336 >= 273401 @ 0.070412
0.00/0.11	c bounds 350336 >= 273402 @ 0.070566
0.00/0.11	c bounds 350336 >= 273403 @ 0.070746
0.00/0.11	c bounds 350227 >= 273403 @ 0.071728
0.00/0.11	c bounds 350227 >= 273404 @ 0.071901
0.00/0.11	c bounds 350227 >= 273405 @ 0.072057
0.00/0.11	c bounds 350227 >= 273416 @ 0.072215
0.00/0.11	c bounds 350227 >= 273417 @ 0.07237
0.00/0.11	c bounds 350227 >= 273418 @ 0.072536
0.00/0.11	c bounds 350227 >= 273424 @ 0.07269
0.00/0.11	c bounds 350227 >= 273425 @ 0.072847
0.00/0.11	c bounds 350227 >= 273431 @ 0.073006
0.00/0.11	c bounds 350225 >= 273431 @ 0.073647
0.00/0.11	c bounds 350225 >= 273432 @ 0.073832
0.00/0.11	c bounds 350225 >= 273433 @ 0.073998
0.00/0.11	c bounds 350225 >= 273444 @ 0.074175
0.00/0.11	c bounds 350225 >= 273450 @ 0.07434
0.00/0.11	c bounds 350223 >= 273450 @ 0.075418
0.00/0.11	c bounds 350223 >= 273452 @ 0.075548
0.00/0.11	c bounds 350223 >= 273456 @ 0.075671
0.10/0.14	c bounds 350223 >= 273458 @ 0.075812
0.10/0.14	c bounds 350223 >= 273459 @ 0.075947
0.10/0.14	c bounds 350223 >= 273460 @ 0.076078
0.10/0.14	c bounds 350223 >= 273461 @ 0.076234
0.10/0.14	c bounds 350223 >= 273463 @ 0.076361
0.10/0.14	c bounds 350223 >= 273526 @ 0.076488
0.10/0.14	c bounds 350223 >= 273528 @ 0.076616
0.10/0.14	c bounds 350223 >= 273529 @ 0.076747
0.10/0.14	c bounds 350223 >= 273530 @ 0.076876
0.10/0.14	c bounds 350221 >= 273530 @ 0.077322
0.10/0.14	c bounds 350221 >= 273549 @ 0.077458
0.10/0.14	c bounds 350221 >= 273554 @ 0.077586
0.10/0.14	c bounds 350221 >= 273557 @ 0.077714
0.10/0.14	c bounds 350221 >= 273558 @ 0.077844
0.10/0.14	c bounds 350219 >= 273558 @ 0.078016
0.10/0.14	c bounds 350219 >= 273559 @ 0.078137
0.10/0.14	c bounds 350219 >= 273561 @ 0.078268
0.10/0.14	c bounds 350219 >= 273563 @ 0.078397
0.10/0.14	c bounds 350219 >= 273564 @ 0.078529
0.10/0.14	c bounds 350219 >= 273566 @ 0.078663
0.10/0.14	c bounds 350219 >= 273568 @ 0.078804
0.10/0.14	c bounds 350219 >= 273570 @ 0.078931
0.10/0.14	c bounds 350219 >= 273571 @ 0.079035
0.10/0.14	c bounds 350219 >= 273576 @ 0.079035
0.10/0.14	c bounds 350219 >= 273578 @ 0.079035
0.10/0.14	c bounds 350219 >= 273581 @ 0.079035
0.10/0.14	c bounds 350214 >= 273581 @ 0.079035
0.10/0.14	c bounds 350214 >= 273585 @ 0.079035
0.10/0.14	c bounds 350214 >= 273587 @ 0.079107
0.10/0.14	c bounds 350214 >= 273590 @ 0.079242
0.10/0.14	c bounds 350214 >= 273597 @ 0.079388
0.10/0.14	c bounds 350206 >= 273597 @ 0.079719
0.10/0.14	c bounds 350206 >= 273611 @ 0.07986
0.10/0.14	c bounds 350206 >= 273614 @ 0.079987
0.10/0.14	c bounds 350206 >= 273627 @ 0.08013
0.10/0.14	c bounds 350190 >= 273627 @ 0.080485
0.10/0.14	c bounds 350190 >= 274035 @ 0.080666
0.10/0.14	c bounds 350190 >= 274294 @ 0.08088
0.10/0.14	c bounds 350159 >= 274294 @ 0.081236
0.10/0.14	c bounds 350159 >= 274531 @ 0.08146
0.10/0.14	c bounds 350159 >= 274532 @ 0.081707
0.10/0.14	c bounds 350159 >= 274533 @ 0.08185
0.10/0.14	c bounds 350149 >= 274533 @ 0.082029
0.10/0.14	c bounds 350149 >= 274538 @ 0.082029
0.10/0.14	c bounds 350149 >= 274540 @ 0.082029
0.10/0.14	c bounds 350149 >= 274541 @ 0.082029
0.10/0.14	c bounds 350149 >= 274542 @ 0.082029
0.10/0.14	c bounds 350148 >= 274542 @ 0.082687
0.10/0.14	c bounds 350148 >= 274551 @ 0.08285
0.10/0.14	c bounds 350148 >= 274552 @ 0.082994
0.10/0.14	c bounds 350148 >= 274553 @ 0.083152
0.10/0.14	c bounds 350148 >= 274774 @ 0.083355
0.10/0.14	c bounds 350148 >= 274971 @ 0.083682
0.10/0.14	c bounds 350148 >= 274982 @ 0.083835
0.10/0.14	c bounds 350148 >= 274994 @ 0.083984
0.10/0.14	c bounds 350146 >= 274994 @ 0.084468
0.10/0.14	c bounds 350146 >= 275013 @ 0.084627
0.10/0.14	c bounds 350146 >= 275025 @ 0.084776
0.10/0.14	c bounds 350146 >= 275033 @ 0.084922
0.10/0.14	c bounds 350146 >= 275068 @ 0.085095
0.10/0.14	c bounds 350141 >= 275068 @ 0.085538
0.10/0.14	c bounds 350141 >= 275080 @ 0.085703
0.10/0.14	c bounds 350141 >= 275083 @ 0.085905
0.10/0.14	c bounds 350141 >= 275085 @ 0.085905
0.10/0.14	c bounds 350137 >= 275085 @ 0.086435
0.10/0.14	c bounds 350137 >= 275086 @ 0.086608
0.10/0.14	c bounds 350137 >= 275087 @ 0.086767
0.10/0.14	c bounds 350137 >= 275088 @ 0.086923
0.10/0.14	c bounds 350137 >= 275117 @ 0.087097
0.10/0.14	c bounds 350137 >= 275180 @ 0.087273
0.10/0.14	c bounds 350137 >= 275193 @ 0.087427
0.10/0.14	c bounds 350137 >= 275194 @ 0.087577
0.10/0.14	c bounds 350137 >= 275257 @ 0.087718
0.10/0.14	c bounds 350137 >= 275454 @ 0.087915
0.10/0.14	c bounds 350137 >= 275641 @ 0.088132
0.10/0.14	c bounds 350136 >= 275641 @ 0.089131
0.10/0.14	c bounds 350136 >= 275803 @ 0.089469
0.10/0.14	c bounds 350136 >= 276024 @ 0.089697
0.10/0.14	c bounds 350136 >= 276173 @ 0.089919
0.10/0.14	c bounds 350136 >= 276289 @ 0.089964
0.10/0.14	c bounds 350136 >= 276353 @ 0.089964
0.10/0.14	c bounds 350134 >= 276353 @ 0.090096
0.10/0.14	c bounds 350134 >= 276394 @ 0.090321
0.10/0.14	c bounds 350134 >= 276432 @ 0.090586
0.10/0.14	c bounds 350134 >= 276470 @ 0.090839
0.10/0.14	c bounds 350131 >= 276470 @ 0.091316
0.10/0.14	c bounds 350131 >= 276816 @ 0.091555
0.10/0.14	c bounds 350131 >= 276878 @ 0.091815
0.10/0.14	c bounds 350131 >= 276913 @ 0.092055
0.10/0.14	c bounds 350126 >= 276913 @ 0.093656
0.10/0.14	c bounds 350126 >= 276937 @ 0.09384
0.10/0.14	c bounds 350126 >= 276954 @ 0.094008
0.10/0.14	c bounds 350126 >= 276955 @ 0.094182
0.10/0.14	c bounds 350126 >= 276957 @ 0.09435
0.10/0.14	c bounds 350126 >= 276958 @ 0.094522
0.10/0.14	c bounds 350126 >= 276960 @ 0.094693
0.10/0.14	c bounds 350126 >= 276977 @ 0.09486
0.10/0.14	c bounds 350126 >= 276983 @ 0.095048
0.10/0.14	c bounds 350126 >= 276986 @ 0.095222
0.10/0.14	c bounds 350126 >= 276988 @ 0.095398
0.10/0.14	c bounds 350126 >= 276995 @ 0.095564
0.10/0.14	c bounds 350126 >= 277030 @ 0.095826
0.10/0.14	c bounds 350122 >= 277030 @ 0.096364
0.10/0.14	c bounds 350122 >= 277059 @ 0.096645
0.10/0.14	c bounds 350122 >= 277083 @ 0.096894
0.10/0.14	c bounds 350122 >= 277107 @ 0.097198
0.10/0.14	c bounds 350120 >= 277107 @ 0.099294
0.10/0.14	c bounds 350120 >= 277131 @ 0.099598
0.10/0.14	c bounds 350120 >= 277163 @ 0.099952
0.10/0.14	c bounds 350120 >= 277223 @ 0.100232
0.10/0.14	c bounds 350120 >= 277339 @ 0.100639
0.10/0.19	c bounds 350120 >= 277372 @ 0.100919
0.10/0.19	c bounds 350120 >= 277404 @ 0.101221
0.10/0.19	c bounds 350120 >= 277428 @ 0.101469
0.10/0.19	c bounds 350120 >= 277452 @ 0.10177
0.10/0.19	c bounds 350120 >= 277473 @ 0.102173
0.10/0.19	c bounds 350120 >= 277492 @ 0.102481
0.10/0.19	c bounds 350120 >= 277512 @ 0.102799
0.10/0.19	c bounds 350111 >= 277512 @ 0.103282
0.10/0.19	c bounds 350111 >= 277531 @ 0.103586
0.10/0.19	c bounds 350111 >= 277550 @ 0.103969
0.10/0.19	c bounds 350111 >= 277569 @ 0.104294
0.10/0.19	c bounds 350107 >= 277569 @ 0.104757
0.10/0.19	c bounds 350107 >= 277793 @ 0.105026
0.10/0.19	c bounds 350106 >= 277793 @ 0.106373
0.10/0.19	c bounds 350106 >= 278016 @ 0.106745
0.10/0.19	c bounds 350106 >= 278201 @ 0.106904
0.10/0.19	c bounds 350106 >= 278709 @ 0.107104
0.10/0.19	c bounds 350106 >= 278735 @ 0.107337
0.10/0.19	c bounds 350106 >= 278769 @ 0.107686
0.10/0.19	c bounds 350106 >= 278920 @ 0.10791
0.10/0.19	c bounds 350106 >= 278933 @ 0.108184
0.10/0.19	c bounds 350106 >= 278992 @ 0.108375
0.10/0.19	c bounds 350106 >= 279084 @ 0.108512
0.10/0.19	c bounds 350106 >= 279154 @ 0.108667
0.10/0.19	c bounds 350106 >= 279235 @ 0.108979
0.10/0.19	c bounds 350106 >= 279247 @ 0.109403
0.10/0.19	c bounds 350106 >= 279261 @ 0.10976
0.10/0.19	c bounds 350106 >= 279290 @ 0.110101
0.10/0.19	c bounds 350104 >= 279290 @ 0.110998
0.10/0.19	c bounds 350104 >= 279302 @ 0.111336
0.10/0.19	c bounds 350104 >= 279312 @ 0.111748
0.10/0.19	c bounds 350104 >= 279320 @ 0.112057
0.10/0.19	c bounds 350104 >= 279321 @ 0.112139
0.10/0.19	c bounds 350104 >= 279402 @ 0.112347
0.10/0.19	c bounds 350104 >= 279413 @ 0.112624
0.10/0.19	c bounds 350104 >= 279472 @ 0.112798
0.10/0.19	c bounds 350104 >= 279480 @ 0.112847
0.10/0.19	c bounds 350104 >= 279482 @ 0.112847
0.10/0.19	c bounds 350104 >= 279495 @ 0.112847
0.10/0.19	c bounds 350104 >= 279530 @ 0.112847
0.10/0.19	c bounds 350104 >= 279564 @ 0.112975
0.10/0.19	c bounds 350104 >= 279581 @ 0.113335
0.10/0.19	c bounds 350101 >= 279581 @ 0.113913
0.10/0.19	c bounds 350101 >= 279596 @ 0.114225
0.10/0.19	c bounds 350101 >= 279608 @ 0.114544
0.10/0.19	c bounds 350101 >= 280259 @ 0.114695
0.10/0.19	c bounds 350101 >= 280423 @ 0.114957
0.10/0.19	c bounds 350101 >= 280452 @ 0.115048
0.10/0.19	c bounds 350101 >= 280453 @ 0.115139
0.10/0.19	c bounds 350101 >= 280488 @ 0.115249
0.10/0.19	c bounds 350101 >= 280501 @ 0.115359
0.10/0.19	c bounds 350069 >= 280501 @ 0.116654
0.10/0.19	c bounds 350069 >= 280512 @ 0.116776
0.10/0.19	c bounds 350069 >= 280520 @ 0.116873
0.10/0.19	c bounds 350069 >= 280522 @ 0.116984
0.10/0.19	c bounds 350069 >= 280535 @ 0.117077
0.10/0.19	c bounds 350069 >= 280594 @ 0.117174
0.10/0.19	c bounds 350069 >= 280675 @ 0.117289
0.10/0.19	c bounds 350069 >= 280686 @ 0.117429
0.10/0.19	c bounds 350069 >= 280767 @ 0.117553
0.10/0.19	c bounds 350069 >= 280851 @ 0.117721
0.10/0.19	c bounds 350069 >= 280859 @ 0.117893
0.10/0.19	c bounds 350069 >= 280868 @ 0.117893
0.10/0.19	c bounds 350069 >= 280871 @ 0.117894
0.10/0.19	c bounds 350069 >= 280873 @ 0.117894
0.10/0.19	c bounds 350069 >= 280888 @ 0.118055
0.10/0.19	c bounds 350069 >= 280890 @ 0.118572
0.10/0.19	c bounds 350069 >= 280892 @ 0.118888
0.10/0.19	c bounds 350069 >= 280894 @ 0.118888
0.10/0.19	c bounds 350069 >= 280896 @ 0.119275
0.10/0.19	c bounds 350069 >= 280898 @ 0.119849
0.10/0.19	c bounds 350069 >= 280899 @ 0.119885
0.10/0.19	c bounds 350069 >= 280900 @ 0.119885
0.10/0.19	c bounds 350069 >= 280902 @ 0.119885
0.10/0.19	c bounds 350068 >= 280902 @ 0.120608
0.10/0.19	c bounds 350068 >= 280903 @ 0.120879
0.10/0.19	c bounds 350068 >= 280904 @ 0.120879
0.10/0.19	c bounds 350068 >= 280910 @ 0.120879
0.10/0.19	c bounds 350068 >= 280915 @ 0.120879
0.10/0.19	c bounds 350068 >= 280916 @ 0.120879
0.10/0.19	c bounds 350068 >= 280918 @ 0.120879
0.10/0.19	c bounds 350068 >= 280920 @ 0.120879
0.10/0.19	c bounds 350067 >= 280920 @ 0.121262
0.10/0.19	c bounds 350067 >= 280921 @ 0.121818
0.10/0.19	c bounds 350067 >= 280928 @ 0.121869
0.10/0.19	c bounds 350067 >= 280929 @ 0.121869
0.10/0.19	c bounds 350067 >= 280931 @ 0.121869
0.10/0.19	c bounds 350067 >= 280932 @ 0.121869
0.10/0.19	c bounds 350067 >= 280935 @ 0.122452
0.10/0.19	c bounds 350067 >= 280939 @ 0.122862
0.10/0.19	c bounds 350067 >= 280940 @ 0.122862
0.10/0.19	c bounds 350067 >= 280942 @ 0.122862
0.10/0.19	c bounds 350047 >= 280942 @ 0.123025
0.10/0.19	c bounds 350047 >= 280943 @ 0.123643
0.10/0.19	c bounds 350047 >= 280944 @ 0.123859
0.10/0.19	c bounds 350047 >= 280945 @ 0.123859
0.10/0.19	c bounds 350047 >= 280946 @ 0.124482
0.10/0.19	c bounds 350047 >= 280947 @ 0.125121
0.10/0.19	c bounds 350047 >= 280948 @ 0.12572
0.10/0.19	c bounds 350023 >= 280948 @ 0.12699
0.10/0.19	c bounds 350023 >= 280949 @ 0.127565
0.10/0.19	c bounds 350023 >= 280952 @ 0.128159
0.10/0.19	c bounds 350023 >= 280954 @ 0.128673
0.10/0.19	c bounds 350023 >= 280955 @ 0.12931
0.10/0.19	c bounds 350023 >= 280957 @ 0.129803
0.10/0.19	c bounds 350023 >= 280958 @ 0.130446
0.10/0.19	c bounds 350023 >= 280959 @ 0.130839
0.10/0.19	c bounds 350023 >= 280960 @ 0.130839
0.10/0.19	c bounds 350023 >= 280961 @ 0.130842
0.10/0.19	c bounds 350023 >= 280962 @ 0.130842
0.10/0.19	c bounds 350023 >= 280963 @ 0.130842
0.20/0.25	c bounds 350023 >= 280964 @ 0.13136
0.20/0.25	c bounds 350020 >= 280964 @ 0.132163
0.20/0.25	c bounds 350020 >= 280965 @ 0.132729
0.20/0.25	c bounds 350020 >= 280966 @ 0.133317
0.20/0.25	c bounds 350020 >= 280967 @ 0.133882
0.20/0.25	c bounds 350020 >= 280968 @ 0.134453
0.20/0.25	c bounds 350020 >= 280969 @ 0.134829
0.20/0.25	c bounds 350020 >= 280970 @ 0.134829
0.20/0.25	c bounds 350020 >= 280971 @ 0.135318
0.20/0.25	c bounds 350020 >= 280972 @ 0.135894
0.20/0.25	c bounds 350020 >= 280973 @ 0.136559
0.20/0.25	c bounds 350020 >= 280974 @ 0.136824
0.20/0.25	c bounds 350020 >= 280975 @ 0.136824
0.20/0.25	c bounds 350020 >= 280976 @ 0.136824
0.20/0.25	c bounds 350020 >= 280977 @ 0.136824
0.20/0.25	c bounds 350020 >= 280978 @ 0.136824
0.20/0.25	c bounds 350019 >= 280978 @ 0.13726
0.20/0.25	c bounds 350019 >= 280979 @ 0.137883
0.20/0.25	c bounds 350019 >= 280980 @ 0.138715
0.20/0.25	c bounds 350019 >= 280981 @ 0.139414
0.20/0.25	c bounds 350019 >= 280982 @ 0.139671
0.20/0.25	c bounds 350019 >= 280989 @ 0.139671
0.20/0.25	c bounds 350019 >= 280993 @ 0.139703
0.20/0.25	c bounds 350017 >= 280993 @ 0.1399
0.20/0.25	c bounds 350017 >= 280995 @ 0.140516
0.20/0.25	c bounds 350017 >= 281000 @ 0.140699
0.20/0.25	c bounds 350017 >= 281001 @ 0.140946
0.20/0.25	c bounds 350017 >= 281002 @ 0.141759
0.20/0.25	c bounds 350017 >= 281004 @ 0.142633
0.20/0.25	c bounds 350017 >= 281006 @ 0.143417
0.20/0.25	c bounds 349665 >= 281006 @ 0.144324
0.20/0.25	c bounds 349665 >= 281008 @ 0.144912
0.20/0.25	c bounds 349665 >= 281018 @ 0.145377
0.20/0.25	c bounds 349665 >= 281019 @ 0.145985
0.20/0.25	c bounds 349660 >= 281019 @ 0.146521
0.20/0.25	c bounds 349660 >= 281031 @ 0.147404
0.20/0.25	c bounds 349660 >= 281033 @ 0.147681
0.20/0.25	c bounds 349660 >= 281034 @ 0.147681
0.20/0.25	c bounds 349652 >= 281034 @ 0.147681
0.20/0.25	c bounds 349652 >= 281035 @ 0.148311
0.20/0.25	c bounds 349652 >= 281036 @ 0.148678
0.20/0.25	c bounds 349652 >= 281037 @ 0.148678
0.20/0.25	c bounds 349644 >= 281037 @ 0.148678
0.20/0.25	c bounds 349644 >= 281038 @ 0.149172
0.20/0.25	c bounds 349644 >= 281039 @ 0.149674
0.20/0.25	c bounds 349644 >= 281040 @ 0.149674
0.20/0.25	c bounds 349626 >= 281040 @ 0.150078
0.20/0.25	c bounds 349626 >= 281041 @ 0.150671
0.20/0.25	c bounds 349626 >= 281042 @ 0.150904
0.20/0.25	c bounds 349626 >= 281043 @ 0.151559
0.20/0.25	c bounds 349610 >= 281043 @ 0.152057
0.20/0.25	c bounds 349610 >= 281044 @ 0.152665
0.20/0.25	c bounds 349610 >= 281046 @ 0.152665
0.20/0.25	c bounds 349610 >= 281047 @ 0.153299
0.20/0.25	c bounds 349605 >= 281047 @ 0.154239
0.20/0.25	c bounds 349605 >= 281048 @ 0.15466
0.20/0.25	c bounds 349605 >= 281049 @ 0.155341
0.20/0.25	c bounds 349605 >= 281051 @ 0.155657
0.20/0.25	c bounds 349604 >= 281051 @ 0.156311
0.20/0.25	c bounds 349604 >= 281052 @ 0.156652
0.20/0.25	c bounds 349604 >= 281053 @ 0.15678
0.20/0.25	c bounds 349604 >= 281054 @ 0.157577
0.20/0.25	c bounds 349604 >= 281055 @ 0.15765
0.20/0.25	c bounds 349604 >= 281058 @ 0.158303
0.20/0.25	c bounds 349604 >= 281061 @ 0.158647
0.20/0.25	c bounds 349602 >= 281061 @ 0.158898
0.20/0.25	c bounds 349602 >= 281064 @ 0.159422
0.20/0.25	c bounds 349602 >= 281065 @ 0.159644
0.20/0.25	c bounds 349602 >= 281066 @ 0.159644
0.20/0.25	c bounds 349602 >= 281067 @ 0.159644
0.20/0.25	c bounds 349602 >= 281069 @ 0.159644
0.20/0.25	c bounds 349602 >= 281070 @ 0.159644
0.20/0.25	c bounds 349602 >= 281072 @ 0.159644
0.20/0.25	c bounds 349599 >= 281072 @ 0.160908
0.20/0.25	c bounds 349599 >= 281300 @ 0.161193
0.20/0.25	c bounds 349599 >= 281301 @ 0.161379
0.20/0.25	c bounds 349599 >= 281305 @ 0.161551
0.20/0.25	c bounds 349599 >= 281306 @ 0.161725
0.20/0.25	c bounds 349599 >= 281318 @ 0.161904
0.20/0.25	c bounds 349599 >= 281319 @ 0.162078
0.20/0.25	c bounds 349599 >= 281322 @ 0.162257
0.20/0.25	c bounds 349599 >= 281363 @ 0.162434
0.20/0.25	c bounds 349599 >= 281366 @ 0.162622
0.20/0.25	c bounds 349599 >= 281367 @ 0.16281
0.20/0.25	c bounds 349599 >= 281514 @ 0.162992
0.20/0.25	c bounds 349596 >= 281514 @ 0.16377
0.20/0.25	c bounds 349596 >= 283097 @ 0.164089
0.20/0.25	c bounds 349596 >= 283166 @ 0.164348
0.20/0.25	c bounds 349596 >= 283211 @ 0.164547
0.20/0.25	c bounds 349596 >= 283271 @ 0.164629
0.20/0.25	c bounds 349596 >= 283305 @ 0.164629
0.20/0.25	c bounds 349596 >= 283335 @ 0.164629
0.20/0.25	c bounds 349596 >= 283337 @ 0.164629
0.20/0.25	c bounds 349596 >= 283338 @ 0.164629
0.20/0.25	c bounds 349596 >= 283367 @ 0.16463
0.20/0.25	c bounds 349596 >= 283397 @ 0.16463
0.20/0.25	c bounds 349596 >= 283448 @ 0.16463
0.20/0.25	c bounds 349596 >= 283489 @ 0.16463
0.20/0.25	c bounds 349564 >= 283489 @ 0.165694
0.20/0.25	c bounds 349564 >= 283502 @ 0.165886
0.20/0.25	c bounds 349564 >= 283531 @ 0.166057
0.20/0.25	c bounds 349564 >= 283599 @ 0.166226
0.20/0.25	c bounds 349564 >= 283623 @ 0.166682
0.20/0.25	c bounds 349564 >= 283647 @ 0.167018
0.20/0.25	c bounds 349564 >= 283666 @ 0.167271
0.20/0.25	c bounds 349564 >= 283679 @ 0.167559
0.20/0.25	c bounds 349564 >= 283713 @ 0.167866
0.20/0.25	c bounds 349564 >= 283730 @ 0.168187
0.20/0.25	c bounds 349564 >= 283741 @ 0.168516
0.20/0.25	c bounds 349564 >= 283759 @ 0.168621
0.20/0.25	c bounds 349564 >= 283794 @ 0.168621
0.30/0.32	c bounds 349564 >= 283803 @ 0.168621
0.30/0.32	c bounds 349564 >= 283810 @ 0.168854
0.30/0.32	c bounds 349564 >= 283818 @ 0.169385
0.30/0.32	c bounds 349564 >= 283822 @ 0.169617
0.30/0.32	c bounds 349564 >= 283825 @ 0.169617
0.30/0.32	c bounds 349564 >= 283828 @ 0.169617
0.30/0.32	c bounds 349544 >= 283828 @ 0.169617
0.30/0.32	c bounds 349544 >= 283831 @ 0.170088
0.30/0.32	c bounds 349544 >= 283834 @ 0.170613
0.30/0.32	c bounds 349504 >= 283834 @ 0.171154
0.30/0.32	c bounds 349504 >= 283836 @ 0.171754
0.30/0.32	c bounds 349504 >= 283837 @ 0.17243
0.30/0.32	c bounds 349504 >= 283844 @ 0.172799
0.30/0.32	c bounds 349504 >= 283865 @ 0.17321
0.30/0.32	c bounds 349504 >= 283868 @ 0.173702
0.30/0.32	c bounds 349504 >= 283872 @ 0.174245
0.30/0.32	c bounds 349408 >= 283872 @ 0.174806
0.30/0.32	c bounds 349408 >= 283873 @ 0.175531
0.30/0.32	c bounds 349408 >= 283880 @ 0.175602
0.30/0.32	c bounds 349408 >= 283882 @ 0.175602
0.30/0.32	c bounds 349408 >= 283883 @ 0.175604
0.30/0.32	c bounds 349408 >= 283888 @ 0.175604
0.30/0.32	c bounds 349408 >= 283889 @ 0.175604
0.30/0.32	c bounds 349407 >= 283889 @ 0.176247
0.30/0.32	c bounds 349407 >= 283890 @ 0.176601
0.30/0.32	c bounds 349407 >= 283891 @ 0.176956
0.30/0.32	c bounds 349407 >= 283893 @ 0.177709
0.30/0.32	c bounds 349407 >= 283898 @ 0.178209
0.30/0.32	c bounds 349407 >= 283901 @ 0.178594
0.30/0.32	c bounds 349407 >= 283902 @ 0.178688
0.30/0.32	c bounds 349404 >= 283902 @ 0.179482
0.30/0.32	c bounds 349404 >= 283903 @ 0.179592
0.30/0.32	c bounds 349404 >= 283904 @ 0.179592
0.30/0.32	c bounds 349020 >= 283904 @ 0.180533
0.30/0.32	c bounds 349020 >= 283905 @ 0.180587
0.30/0.32	c bounds 349020 >= 283906 @ 0.180588
0.30/0.32	c bounds 349020 >= 283907 @ 0.180588
0.30/0.32	c bounds 348486 >= 283907 @ 0.181214
0.30/0.32	c bounds 348486 >= 283913 @ 0.181608
0.30/0.32	c bounds 348486 >= 283918 @ 0.182095
0.30/0.32	c bounds 348486 >= 283920 @ 0.182824
0.30/0.32	c bounds 348486 >= 283921 @ 0.183673
0.30/0.32	c bounds 348486 >= 283974 @ 0.1846
0.30/0.32	c bounds 348485 >= 283974 @ 0.185526
0.30/0.32	c bounds 348485 >= 284121 @ 0.185703
0.30/0.32	c bounds 348485 >= 284625 @ 0.186025
0.30/0.32	c bounds 348485 >= 284638 @ 0.186148
0.30/0.32	c bounds 348485 >= 284802 @ 0.186274
0.30/0.32	c bounds 348485 >= 284813 @ 0.186396
0.30/0.32	c bounds 348485 >= 284821 @ 0.186515
0.30/0.32	c bounds 348485 >= 284823 @ 0.186652
0.30/0.32	c bounds 348485 >= 284882 @ 0.186775
0.30/0.32	c bounds 348485 >= 284916 @ 0.186911
0.30/0.32	c bounds 348482 >= 284916 @ 0.187593
0.30/0.32	c bounds 348482 >= 284924 @ 0.18773
0.30/0.32	c bounds 348482 >= 284939 @ 0.187855
0.30/0.32	c bounds 348482 >= 284951 @ 0.187979
0.30/0.32	c bounds 348482 >= 285351 @ 0.188106
0.30/0.32	c bounds 348482 >= 285649 @ 0.188418
0.30/0.32	c bounds 348482 >= 285859 @ 0.188644
0.30/0.32	c bounds 348482 >= 286157 @ 0.188972
0.30/0.32	c bounds 348474 >= 286157 @ 0.189544
0.30/0.32	c bounds 348474 >= 286169 @ 0.189857
0.30/0.32	c bounds 348474 >= 286205 @ 0.190178
0.30/0.32	c bounds 348474 >= 286222 @ 0.190488
0.30/0.32	c bounds 348474 >= 286224 @ 0.190765
0.30/0.32	c bounds 348434 >= 286224 @ 0.191488
0.30/0.32	c bounds 348434 >= 286225 @ 0.191559
0.30/0.32	c bounds 348434 >= 286226 @ 0.191559
0.30/0.32	c bounds 348416 >= 286226 @ 0.192182
0.30/0.32	c bounds 348416 >= 286227 @ 0.192556
0.30/0.32	c bounds 348416 >= 286229 @ 0.192556
0.30/0.32	c bounds 348400 >= 286229 @ 0.19276
0.30/0.32	c bounds 348400 >= 286231 @ 0.19341
0.30/0.32	c bounds 348400 >= 286232 @ 0.193553
0.30/0.32	c bounds 348400 >= 286233 @ 0.193553
0.30/0.32	c bounds 348368 >= 286233 @ 0.193863
0.30/0.32	c bounds 348368 >= 286234 @ 0.194664
0.30/0.32	c bounds 348368 >= 286236 @ 0.19582
0.30/0.32	c bounds 348298 >= 286236 @ 0.19643
0.30/0.32	c bounds 348298 >= 286241 @ 0.196545
0.30/0.32	c bounds 348298 >= 286243 @ 0.196868
0.30/0.32	c bounds 348297 >= 286243 @ 0.197583
0.30/0.32	c bounds 348297 >= 286244 @ 0.198412
0.30/0.32	c bounds 348297 >= 286245 @ 0.199074
0.30/0.32	c bounds 348297 >= 286246 @ 0.199535
0.30/0.32	c bounds 348297 >= 286247 @ 0.199535
0.30/0.32	c bounds 348265 >= 286247 @ 0.200087
0.30/0.32	c bounds 348265 >= 286249 @ 0.201013
0.30/0.32	c bounds 348261 >= 286249 @ 0.202174
0.30/0.32	c bounds 348261 >= 286250 @ 0.202527
0.30/0.32	c bounds 348261 >= 286251 @ 0.202527
0.30/0.32	c bounds 348261 >= 286257 @ 0.203345
0.30/0.32	c bounds 348261 >= 286274 @ 0.203563
0.30/0.32	c bounds 348260 >= 286274 @ 0.204392
0.30/0.32	c bounds 348260 >= 286286 @ 0.204628
0.30/0.32	c bounds 348260 >= 286287 @ 0.204863
0.30/0.32	c bounds 348260 >= 286298 @ 0.205077
0.30/0.32	c bounds 348260 >= 286299 @ 0.205286
0.30/0.32	c bounds 348260 >= 286321 @ 0.205495
0.30/0.32	c bounds 348260 >= 286322 @ 0.205728
0.30/0.32	c bounds 348258 >= 286322 @ 0.206479
0.30/0.32	c bounds 348258 >= 286323 @ 0.206732
0.30/0.32	c bounds 348258 >= 286324 @ 0.206973
0.30/0.32	c bounds 348258 >= 286326 @ 0.20719
0.30/0.32	c bounds 348258 >= 286334 @ 0.20741
0.30/0.32	c bounds 348255 >= 286334 @ 0.208009
0.30/0.32	c bounds 348255 >= 286335 @ 0.208244
0.30/0.32	c bounds 348255 >= 286336 @ 0.208478
0.30/0.32	c bounds 348255 >= 286337 @ 0.208705
0.30/0.32	c bounds 348255 >= 286338 @ 0.20894
0.30/0.36	c bounds 348254 >= 286338 @ 0.210624
0.30/0.36	c bounds 348254 >= 286341 @ 0.21089
0.30/0.36	c bounds 348254 >= 286342 @ 0.211106
0.30/0.36	c bounds 348254 >= 286371 @ 0.211324
0.30/0.36	c bounds 348254 >= 286383 @ 0.21156
0.30/0.36	c bounds 348254 >= 286394 @ 0.211801
0.30/0.36	c bounds 348254 >= 286395 @ 0.212027
0.30/0.36	c bounds 348254 >= 286397 @ 0.212248
0.30/0.36	c bounds 348254 >= 286405 @ 0.212469
0.30/0.36	c bounds 348254 >= 286406 @ 0.212714
0.30/0.36	c bounds 348254 >= 286407 @ 0.212949
0.30/0.36	c bounds 348254 >= 286416 @ 0.213172
0.30/0.36	c bounds 348252 >= 286416 @ 0.214015
0.30/0.36	c bounds 348252 >= 286420 @ 0.214254
0.30/0.36	c bounds 348252 >= 286422 @ 0.214502
0.30/0.36	c bounds 348252 >= 286427 @ 0.214738
0.30/0.36	c bounds 348252 >= 286428 @ 0.214967
0.30/0.36	c bounds 348252 >= 286429 @ 0.215174
0.30/0.36	c bounds 348252 >= 286430 @ 0.215401
0.30/0.36	c bounds 348251 >= 286430 @ 0.216266
0.30/0.36	c bounds 348251 >= 286432 @ 0.216514
0.30/0.36	c bounds 348251 >= 286433 @ 0.216757
0.30/0.36	c bounds 348251 >= 286434 @ 0.216976
0.30/0.36	c bounds 348251 >= 286435 @ 0.217225
0.30/0.36	c bounds 348251 >= 286437 @ 0.217454
0.30/0.36	c bounds 348123 >= 286437 @ 0.218317
0.30/0.36	c bounds 348123 >= 286438 @ 0.218595
0.30/0.36	c bounds 348123 >= 286439 @ 0.218827
0.30/0.36	c bounds 348123 >= 286441 @ 0.219088
0.30/0.36	c bounds 348123 >= 286443 @ 0.219306
0.30/0.36	c bounds 348123 >= 286444 @ 0.219584
0.30/0.36	c bounds 348123 >= 286445 @ 0.219862
0.30/0.36	c bounds 348090 >= 286445 @ 0.220809
0.30/0.36	c bounds 348090 >= 286446 @ 0.221089
0.30/0.36	c bounds 348090 >= 286452 @ 0.221347
0.30/0.36	c bounds 348090 >= 286453 @ 0.221593
0.30/0.36	c bounds 348090 >= 286455 @ 0.221846
0.30/0.36	c bounds 348090 >= 286456 @ 0.222112
0.30/0.36	c bounds 348086 >= 286456 @ 0.222911
0.30/0.36	c bounds 348086 >= 286457 @ 0.223184
0.30/0.36	c bounds 348086 >= 286459 @ 0.223416
0.30/0.36	c bounds 348086 >= 286464 @ 0.223467
0.30/0.36	c bounds 348086 >= 286465 @ 0.223467
0.30/0.36	c bounds 348086 >= 286471 @ 0.223467
0.30/0.36	c bounds 348078 >= 286471 @ 0.223794
0.30/0.36	c bounds 348078 >= 286475 @ 0.224052
0.30/0.36	c bounds 348078 >= 286477 @ 0.224287
0.30/0.36	c bounds 348078 >= 286482 @ 0.22455
0.30/0.36	c bounds 348075 >= 286482 @ 0.225654
0.30/0.36	c bounds 348075 >= 286485 @ 0.225914
0.30/0.36	c bounds 348075 >= 286486 @ 0.226147
0.30/0.36	c bounds 348075 >= 286487 @ 0.226416
0.30/0.36	c bounds 348075 >= 286488 @ 0.226654
0.30/0.36	c bounds 348075 >= 286489 @ 0.226886
0.30/0.36	c bounds 348075 >= 286490 @ 0.227155
0.30/0.36	c bounds 348075 >= 286494 @ 0.2274
0.30/0.36	c bounds 348071 >= 286494 @ 0.228768
0.30/0.36	c bounds 348071 >= 286543 @ 0.229053
0.30/0.36	c bounds 348071 >= 286578 @ 0.229312
0.30/0.36	c bounds 348071 >= 286580 @ 0.229563
0.30/0.36	c bounds 348071 >= 286582 @ 0.229811
0.30/0.36	c bounds 348071 >= 286586 @ 0.230043
0.30/0.36	c bounds 348071 >= 286587 @ 0.230278
0.30/0.36	c bounds 348071 >= 286588 @ 0.230535
0.30/0.36	c bounds 348071 >= 286594 @ 0.230789
0.30/0.36	c bounds 348070 >= 286594 @ 0.231437
0.30/0.36	c bounds 348070 >= 286595 @ 0.231437
0.30/0.36	c bounds 348070 >= 286597 @ 0.231549
0.30/0.36	c bounds 348070 >= 286598 @ 0.231816
0.30/0.36	c bounds 348070 >= 286676 @ 0.232083
0.30/0.36	c bounds 348070 >= 286683 @ 0.232336
0.30/0.36	c bounds 348070 >= 286685 @ 0.232573
0.30/0.36	c bounds 348070 >= 286686 @ 0.23284
0.30/0.36	c bounds 348060 >= 286686 @ 0.233408
0.30/0.36	c bounds 348060 >= 286688 @ 0.233679
0.30/0.36	c bounds 348060 >= 286689 @ 0.233933
0.30/0.36	c bounds 348060 >= 286690 @ 0.234187
0.30/0.36	c bounds 348060 >= 286691 @ 0.234423
0.30/0.36	c bounds 347972 >= 286691 @ 0.235768
0.30/0.36	c bounds 347972 >= 286692 @ 0.236038
0.30/0.36	c bounds 347972 >= 286696 @ 0.23629
0.30/0.36	c bounds 347972 >= 286702 @ 0.23654
0.30/0.36	c bounds 347972 >= 286703 @ 0.23678
0.30/0.36	c bounds 347972 >= 286716 @ 0.237023
0.30/0.36	c bounds 347972 >= 286717 @ 0.237267
0.30/0.36	c bounds 347972 >= 286718 @ 0.237512
0.30/0.36	c bounds 347972 >= 286769 @ 0.237757
0.30/0.36	c bounds 345924 >= 286769 @ 0.239193
0.30/0.36	c bounds 345924 >= 286783 @ 0.239469
0.30/0.36	c bounds 345924 >= 286794 @ 0.239722
0.30/0.36	c bounds 345924 >= 286795 @ 0.239979
0.30/0.36	c bounds 345924 >= 286797 @ 0.240232
0.30/0.36	c bounds 345924 >= 286798 @ 0.240488
0.30/0.36	c bounds 345924 >= 286799 @ 0.240743
0.30/0.36	c bounds 345924 >= 286801 @ 0.241
0.30/0.36	c bounds 345924 >= 286811 @ 0.241248
0.30/0.36	c bounds 345921 >= 286811 @ 0.243139
0.30/0.36	c bounds 345921 >= 286812 @ 0.243398
0.30/0.36	c bounds 345921 >= 286813 @ 0.243676
0.30/0.36	c bounds 345921 >= 286814 @ 0.243944
0.30/0.36	c bounds 345921 >= 286815 @ 0.244195
0.30/0.36	c bounds 345921 >= 286816 @ 0.244439
0.30/0.36	c bounds 345921 >= 286818 @ 0.244687
0.30/0.36	c bounds 345921 >= 286819 @ 0.244928
0.30/0.36	c bounds 345921 >= 286820 @ 0.245174
0.30/0.36	c bounds 345921 >= 286821 @ 0.245418
0.30/0.36	c bounds 345921 >= 286822 @ 0.24567
0.30/0.36	c bounds 345921 >= 286824 @ 0.245917
0.30/0.36	c bounds 345921 >= 286827 @ 0.246183
0.30/0.36	c bounds 345920 >= 286827 @ 0.247025
0.30/0.36	c bounds 345920 >= 286828 @ 0.247329
0.30/0.40	c bounds 345920 >= 286830 @ 0.247401
0.30/0.40	c bounds 345920 >= 286832 @ 0.247401
0.30/0.40	c bounds 345920 >= 286833 @ 0.247401
0.30/0.40	c bounds 345902 >= 286833 @ 0.247403
0.30/0.40	c bounds 345902 >= 287241 @ 0.247403
0.30/0.40	c bounds 345902 >= 287401 @ 0.247403
0.30/0.40	c bounds 345870 >= 287401 @ 0.248771
0.30/0.40	c bounds 345870 >= 287438 @ 0.249193
0.30/0.40	c bounds 345870 >= 287460 @ 0.249396
0.30/0.40	c bounds 345870 >= 287467 @ 0.249396
0.30/0.40	c bounds 345870 >= 287497 @ 0.249396
0.30/0.40	c bounds 345870 >= 287523 @ 0.249396
0.30/0.40	c bounds 345870 >= 287548 @ 0.249396
0.30/0.40	c bounds 345870 >= 287586 @ 0.249396
0.30/0.40	c bounds 345870 >= 287598 @ 0.249396
0.30/0.40	c bounds 345870 >= 287603 @ 0.249756
0.30/0.40	c bounds 345870 >= 287620 @ 0.250167
0.30/0.40	c bounds 345870 >= 287622 @ 0.250842
0.30/0.40	c bounds 345870 >= 287625 @ 0.251456
0.30/0.40	c bounds 345870 >= 287627 @ 0.252313
0.30/0.40	c bounds 345869 >= 287627 @ 0.253187
0.30/0.40	c bounds 345869 >= 287633 @ 0.253461
0.30/0.40	c bounds 345869 >= 287639 @ 0.254045
0.30/0.40	c bounds 345869 >= 287641 @ 0.254368
0.30/0.40	c bounds 345869 >= 287643 @ 0.254368
0.30/0.40	c bounds 345867 >= 287643 @ 0.254919
0.30/0.40	c bounds 345867 >= 287645 @ 0.255365
0.30/0.40	c bounds 345867 >= 287646 @ 0.255365
0.30/0.40	c bounds 345859 >= 287646 @ 0.256054
0.30/0.40	c bounds 345859 >= 287647 @ 0.257605
0.30/0.40	c bounds 345859 >= 287906 @ 0.258358
0.30/0.40	c bounds 345858 >= 287906 @ 0.259276
0.30/0.40	c bounds 345858 >= 288165 @ 0.259604
0.30/0.40	c bounds 345858 >= 288402 @ 0.259966
0.30/0.40	c bounds 345858 >= 288630 @ 0.260273
0.30/0.40	c bounds 345858 >= 288858 @ 0.260582
0.30/0.40	c bounds 345666 >= 288858 @ 0.261416
0.30/0.40	c bounds 345666 >= 289079 @ 0.261814
0.30/0.40	c bounds 345666 >= 289298 @ 0.262144
0.30/0.40	c bounds 345666 >= 289495 @ 0.262501
0.30/0.40	c bounds 345652 >= 289495 @ 0.263838
0.30/0.40	c bounds 345652 >= 289686 @ 0.264241
0.30/0.40	c bounds 345652 >= 289873 @ 0.264622
0.30/0.40	c bounds 345652 >= 290060 @ 0.264916
0.30/0.40	c bounds 345652 >= 290062 @ 0.265127
0.30/0.40	c bounds 345652 >= 290071 @ 0.265332
0.30/0.40	c bounds 345652 >= 290075 @ 0.26554
0.30/0.40	c bounds 345651 >= 290075 @ 0.266414
0.30/0.40	c bounds 345651 >= 290077 @ 0.266649
0.30/0.40	c bounds 345651 >= 290078 @ 0.266929
0.30/0.40	c bounds 345651 >= 290080 @ 0.267143
0.30/0.40	c bounds 345651 >= 290083 @ 0.26736
0.30/0.40	c bounds 345651 >= 290091 @ 0.267566
0.30/0.40	c bounds 345651 >= 290092 @ 0.267773
0.30/0.40	c bounds 345651 >= 290093 @ 0.267982
0.30/0.40	c bounds 345649 >= 290093 @ 0.269063
0.30/0.40	c bounds 345649 >= 290098 @ 0.269277
0.30/0.40	c bounds 345649 >= 290100 @ 0.269485
0.30/0.40	c bounds 345649 >= 290141 @ 0.269709
0.30/0.40	c bounds 345649 >= 290142 @ 0.269908
0.30/0.40	c bounds 345649 >= 290144 @ 0.270111
0.30/0.40	c bounds 345649 >= 290147 @ 0.270313
0.30/0.40	c bounds 345649 >= 290168 @ 0.270542
0.30/0.40	c bounds 345649 >= 290171 @ 0.270766
0.30/0.40	c bounds 345644 >= 290171 @ 0.271385
0.30/0.40	c bounds 345644 >= 290172 @ 0.271606
0.30/0.40	c bounds 345644 >= 290183 @ 0.271828
0.30/0.40	c bounds 345644 >= 290277 @ 0.272051
0.30/0.40	c bounds 345643 >= 290277 @ 0.27376
0.30/0.40	c bounds 345643 >= 290299 @ 0.273872
0.30/0.40	c bounds 345643 >= 290309 @ 0.273978
0.30/0.40	c bounds 345643 >= 290310 @ 0.274084
0.30/0.40	c bounds 345643 >= 290343 @ 0.274198
0.30/0.40	c bounds 345643 >= 290344 @ 0.274299
0.30/0.40	c bounds 345643 >= 290363 @ 0.274421
0.30/0.40	c bounds 345643 >= 290365 @ 0.274522
0.30/0.40	c bounds 345643 >= 290366 @ 0.274636
0.30/0.40	c bounds 345643 >= 290367 @ 0.274733
0.30/0.40	c bounds 345643 >= 290368 @ 0.274837
0.30/0.40	c bounds 345643 >= 290369 @ 0.274939
0.30/0.40	c bounds 345643 >= 290371 @ 0.275037
0.30/0.40	c bounds 345643 >= 290381 @ 0.275134
0.30/0.40	c bounds 345643 >= 290382 @ 0.275233
0.30/0.40	c bounds 345643 >= 290383 @ 0.275351
0.30/0.40	c bounds 345643 >= 290405 @ 0.275452
0.30/0.40	c bounds 345643 >= 290406 @ 0.275552
0.30/0.40	c bounds 345643 >= 290407 @ 0.275666
0.30/0.40	c bounds 345643 >= 290409 @ 0.275764
0.30/0.40	c bounds 345643 >= 290413 @ 0.275864
0.30/0.40	c bounds 345643 >= 290414 @ 0.275962
0.30/0.40	c bounds 345643 >= 290415 @ 0.276057
0.30/0.40	c bounds 345643 >= 290420 @ 0.276154
0.30/0.40	c bounds 345643 >= 290421 @ 0.27626
0.30/0.40	c bounds 345643 >= 290423 @ 0.276381
0.30/0.40	c bounds 345643 >= 290424 @ 0.276482
0.30/0.40	c bounds 345643 >= 290426 @ 0.276586
0.30/0.40	c bounds 345643 >= 290427 @ 0.276688
0.30/0.40	c bounds 345643 >= 290429 @ 0.276802
0.30/0.40	c bounds 345643 >= 290491 @ 0.276902
0.30/0.40	c bounds 345643 >= 290526 @ 0.277
0.30/0.40	c bounds 345643 >= 290527 @ 0.277098
0.30/0.40	c bounds 345643 >= 290556 @ 0.2772
0.30/0.40	c bounds 345643 >= 290557 @ 0.277303
0.30/0.40	c bounds 345643 >= 290558 @ 0.277426
0.30/0.40	c bounds 345643 >= 290590 @ 0.277535
0.30/0.40	c bounds 345643 >= 290591 @ 0.277654
0.30/0.40	c bounds 345643 >= 290592 @ 0.27776
0.30/0.40	c bounds 345643 >= 290593 @ 0.277865
0.30/0.40	c bounds 345643 >= 290617 @ 0.278163
0.30/0.40	c bounds 345643 >= 290665 @ 0.278456
0.30/0.40	c bounds 345643 >= 290781 @ 0.278756
0.40/0.43	c bounds 345639 >= 290781 @ 0.279276
0.40/0.43	c bounds 345639 >= 291117 @ 0.279634
0.40/0.43	c bounds 345639 >= 291376 @ 0.279861
0.40/0.43	c bounds 345639 >= 291635 @ 0.280766
0.40/0.43	c bounds 345637 >= 291635 @ 0.281813
0.40/0.43	c bounds 345637 >= 291867 @ 0.282096
0.40/0.43	c bounds 345637 >= 291870 @ 0.282413
0.40/0.43	c bounds 345637 >= 291871 @ 0.282706
0.40/0.43	c bounds 345637 >= 291987 @ 0.283001
0.40/0.43	c bounds 345636 >= 291987 @ 0.283925
0.40/0.43	c bounds 345636 >= 292081 @ 0.284263
0.40/0.43	c bounds 345636 >= 292122 @ 0.284543
0.40/0.43	c bounds 345636 >= 292306 @ 0.284791
0.40/0.43	c bounds 345636 >= 292485 @ 0.285092
0.40/0.43	c bounds 345636 >= 292647 @ 0.285438
0.40/0.43	c bounds 345632 >= 292647 @ 0.285854
0.40/0.43	c bounds 345632 >= 292648 @ 0.285854
0.40/0.43	c bounds 345632 >= 292649 @ 0.285854
0.40/0.43	c bounds 345632 >= 292668 @ 0.285941
0.40/0.43	c bounds 345632 >= 292669 @ 0.286101
0.40/0.43	c bounds 345632 >= 292670 @ 0.286258
0.40/0.43	c bounds 345632 >= 292671 @ 0.286428
0.40/0.43	c bounds 345632 >= 292673 @ 0.286583
0.40/0.43	c bounds 345632 >= 292675 @ 0.286742
0.40/0.43	c bounds 345629 >= 292675 @ 0.287442
0.40/0.43	c bounds 345629 >= 292677 @ 0.287604
0.40/0.43	c bounds 345629 >= 292678 @ 0.287761
0.40/0.43	c bounds 345629 >= 292679 @ 0.287916
0.40/0.43	c bounds 345629 >= 292680 @ 0.28809
0.40/0.43	c bounds 345629 >= 292695 @ 0.288249
0.40/0.43	c bounds 345629 >= 292697 @ 0.288424
0.40/0.43	c bounds 345629 >= 292699 @ 0.288582
0.40/0.43	c bounds 345628 >= 292699 @ 0.289656
0.40/0.43	c bounds 345628 >= 292701 @ 0.289819
0.40/0.43	c bounds 345628 >= 292714 @ 0.289979
0.40/0.43	c bounds 345628 >= 292726 @ 0.289979
0.40/0.43	c bounds 345628 >= 292738 @ 0.289979
0.40/0.43	c bounds 345628 >= 292749 @ 0.289979
0.40/0.43	c bounds 345628 >= 292759 @ 0.289979
0.40/0.43	c bounds 345628 >= 292768 @ 0.289979
0.40/0.43	c bounds 345628 >= 292776 @ 0.289979
0.40/0.43	c bounds 345628 >= 292781 @ 0.290157
0.40/0.43	c bounds 345628 >= 292786 @ 0.290319
0.40/0.43	c bounds 345628 >= 292849 @ 0.290478
0.40/0.43	c bounds 345628 >= 292863 @ 0.29065
0.40/0.43	c bounds 345625 >= 292863 @ 0.291154
0.40/0.43	c bounds 345625 >= 292870 @ 0.291335
0.40/0.43	c bounds 345625 >= 292875 @ 0.291495
0.40/0.43	c bounds 345625 >= 292879 @ 0.291656
0.40/0.43	c bounds 345625 >= 292883 @ 0.291814
0.40/0.43	c bounds 345625 >= 292886 @ 0.291961
0.40/0.43	c bounds 345625 >= 292889 @ 0.292136
0.40/0.43	c bounds 345624 >= 292889 @ 0.292826
0.40/0.43	c bounds 345624 >= 292892 @ 0.292985
0.40/0.43	c bounds 345624 >= 292894 @ 0.293149
0.40/0.43	c bounds 345624 >= 292896 @ 0.293326
0.40/0.43	c bounds 345624 >= 292898 @ 0.293485
0.40/0.43	c bounds 345624 >= 292900 @ 0.293644
0.40/0.43	c bounds 345624 >= 292901 @ 0.29382
0.40/0.43	c bounds 345624 >= 292902 @ 0.293982
0.40/0.43	c bounds 345623 >= 292902 @ 0.294676
0.40/0.43	c bounds 345623 >= 292903 @ 0.294846
0.40/0.43	c bounds 345623 >= 292904 @ 0.295031
0.40/0.43	c bounds 345623 >= 292905 @ 0.295192
0.40/0.43	c bounds 345623 >= 292961 @ 0.295374
0.40/0.43	c bounds 345623 >= 292963 @ 0.295539
0.40/0.43	c bounds 345623 >= 292983 @ 0.295707
0.40/0.43	c bounds 345623 >= 293099 @ 0.295874
0.40/0.43	c bounds 345623 >= 293104 @ 0.296062
0.40/0.43	c bounds 345265 >= 293104 @ 0.297832
0.40/0.43	c bounds 345265 >= 293106 @ 0.298032
0.40/0.43	c bounds 345265 >= 293109 @ 0.298207
0.40/0.43	c bounds 345265 >= 293110 @ 0.298392
0.40/0.43	c bounds 345265 >= 293111 @ 0.298564
0.40/0.43	c bounds 345265 >= 293112 @ 0.298734
0.40/0.43	c bounds 345265 >= 293113 @ 0.298906
0.40/0.43	c bounds 345265 >= 293114 @ 0.299095
0.40/0.43	c bounds 345265 >= 293116 @ 0.299282
0.40/0.43	c bounds 345265 >= 293122 @ 0.299453
0.40/0.43	c bounds 345265 >= 293125 @ 0.299624
0.40/0.43	c bounds 345265 >= 293126 @ 0.299793
0.40/0.43	c bounds 345265 >= 293132 @ 0.299979
0.40/0.43	c bounds 345265 >= 293133 @ 0.300147
0.40/0.43	c bounds 345265 >= 293143 @ 0.300339
0.40/0.43	c bounds 345265 >= 293145 @ 0.300502
0.40/0.43	c bounds 345265 >= 293146 @ 0.300662
0.40/0.43	c bounds 345265 >= 293150 @ 0.300832
0.40/0.43	c bounds 345262 >= 293150 @ 0.301634
0.40/0.43	c bounds 345262 >= 293151 @ 0.301811
0.40/0.43	c bounds 345262 >= 293152 @ 0.302005
0.40/0.43	c bounds 345262 >= 293153 @ 0.30218
0.40/0.43	c bounds 345262 >= 293154 @ 0.302372
0.40/0.43	c bounds 345262 >= 293155 @ 0.302543
0.40/0.43	c bounds 345262 >= 293156 @ 0.302719
0.40/0.43	c bounds 345262 >= 293157 @ 0.3029
0.40/0.43	c bounds 345262 >= 293163 @ 0.303093
0.40/0.43	c bounds 345244 >= 293163 @ 0.303637
0.40/0.43	c bounds 345244 >= 293175 @ 0.303815
0.40/0.43	c bounds 345244 >= 293177 @ 0.304013
0.40/0.43	c bounds 345244 >= 293178 @ 0.304198
0.40/0.43	c bounds 345244 >= 293229 @ 0.304419
0.40/0.43	c bounds 345244 >= 293234 @ 0.304608
0.40/0.43	c bounds 345236 >= 293234 @ 0.30517
0.40/0.43	c bounds 345236 >= 293235 @ 0.305368
0.40/0.43	c bounds 345236 >= 293267 @ 0.305549
0.40/0.43	c bounds 345236 >= 293268 @ 0.305725
0.40/0.43	c bounds 345236 >= 293270 @ 0.305933
0.40/0.43	c bounds 345236 >= 293271 @ 0.306108
0.40/0.43	c bounds 345236 >= 293327 @ 0.306301
0.40/0.43	c bounds 345233 >= 293327 @ 0.306875
0.40/0.43	c bounds 345233 >= 293329 @ 0.306875
0.40/0.46	c bounds 345233 >= 293330 @ 0.306875
0.40/0.46	c bounds 345233 >= 293331 @ 0.306875
0.40/0.46	c bounds 345233 >= 293332 @ 0.306875
0.40/0.46	c bounds 345233 >= 293333 @ 0.306875
0.40/0.46	c bounds 345233 >= 293334 @ 0.306875
0.40/0.46	c bounds 345233 >= 293339 @ 0.306875
0.40/0.46	c bounds 345233 >= 293340 @ 0.306998
0.40/0.46	c bounds 345233 >= 293341 @ 0.307177
0.40/0.46	c bounds 345233 >= 293342 @ 0.307365
0.40/0.46	c bounds 345227 >= 293342 @ 0.308638
0.40/0.46	c bounds 345227 >= 293354 @ 0.30883
0.40/0.46	c bounds 345227 >= 293355 @ 0.30901
0.40/0.46	c bounds 345227 >= 293364 @ 0.309189
0.40/0.46	c bounds 345227 >= 293365 @ 0.309371
0.40/0.46	c bounds 345227 >= 293366 @ 0.309549
0.40/0.46	c bounds 345227 >= 293367 @ 0.309722
0.40/0.46	c bounds 345227 >= 293369 @ 0.309897
0.40/0.46	c bounds 345227 >= 293370 @ 0.310076
0.40/0.46	c bounds 345227 >= 293376 @ 0.310263
0.40/0.46	c bounds 345227 >= 293377 @ 0.310445
0.40/0.46	c bounds 345227 >= 293381 @ 0.310625
0.40/0.46	c bounds 345221 >= 293381 @ 0.310865
0.40/0.46	c bounds 345221 >= 293383 @ 0.311068
0.40/0.46	c bounds 345221 >= 293388 @ 0.311258
0.40/0.46	c bounds 345221 >= 293389 @ 0.311436
0.40/0.46	c bounds 345221 >= 293390 @ 0.311614
0.40/0.46	c bounds 345221 >= 293396 @ 0.311787
0.40/0.46	c bounds 345221 >= 293407 @ 0.311966
0.40/0.46	c bounds 345221 >= 293408 @ 0.312148
0.40/0.46	c bounds 345221 >= 293409 @ 0.31234
0.40/0.46	c bounds 345221 >= 293411 @ 0.312522
0.40/0.46	c bounds 345221 >= 293414 @ 0.312697
0.40/0.46	c bounds 345221 >= 293420 @ 0.312859
0.40/0.46	c bounds 345174 >= 293420 @ 0.314206
0.40/0.46	c bounds 345174 >= 293423 @ 0.314395
0.40/0.46	c bounds 345174 >= 293428 @ 0.314575
0.40/0.46	c bounds 345174 >= 293429 @ 0.314757
0.40/0.46	c bounds 345174 >= 293430 @ 0.314957
0.40/0.46	c bounds 345174 >= 293431 @ 0.315154
0.40/0.46	c bounds 345174 >= 293432 @ 0.315339
0.40/0.46	c bounds 345174 >= 293495 @ 0.315519
0.40/0.46	c bounds 345174 >= 293508 @ 0.315702
0.40/0.46	c bounds 345174 >= 293542 @ 0.3159
0.40/0.46	c bounds 345174 >= 293543 @ 0.316081
0.40/0.46	c bounds 345174 >= 293544 @ 0.316279
0.40/0.46	c bounds 345173 >= 293544 @ 0.317045
0.40/0.46	c bounds 345173 >= 293545 @ 0.317257
0.40/0.46	c bounds 345173 >= 293546 @ 0.317437
0.40/0.46	c bounds 345173 >= 293581 @ 0.317617
0.40/0.46	c bounds 345173 >= 293588 @ 0.3178
0.40/0.46	c bounds 345173 >= 293590 @ 0.318002
0.40/0.46	c bounds 345173 >= 293614 @ 0.318201
0.40/0.46	c bounds 345173 >= 293631 @ 0.318381
0.40/0.46	c bounds 345131 >= 293631 @ 0.319164
0.40/0.46	c bounds 345131 >= 293632 @ 0.319354
0.40/0.46	c bounds 345131 >= 293634 @ 0.319538
0.40/0.46	c bounds 345131 >= 293635 @ 0.319722
0.40/0.46	c bounds 345131 >= 293637 @ 0.319926
0.40/0.46	c bounds 345131 >= 293654 @ 0.320112
0.40/0.46	c bounds 345131 >= 293660 @ 0.320312
0.40/0.46	c bounds 345131 >= 293663 @ 0.320498
0.40/0.46	c bounds 345122 >= 293663 @ 0.322064
0.40/0.46	c bounds 345122 >= 293687 @ 0.322278
0.40/0.46	c bounds 345122 >= 293708 @ 0.322464
0.40/0.46	c bounds 345122 >= 293740 @ 0.322649
0.40/0.46	c bounds 345122 >= 293764 @ 0.322855
0.40/0.46	c bounds 345122 >= 293788 @ 0.323047
0.40/0.46	c bounds 345122 >= 293820 @ 0.323263
0.40/0.46	c bounds 345122 >= 293839 @ 0.323463
0.40/0.46	c bounds 345122 >= 293872 @ 0.32366
0.40/0.46	c bounds 345122 >= 293891 @ 0.323879
0.40/0.46	c bounds 345122 >= 293915 @ 0.324084
0.40/0.46	c bounds 345122 >= 293979 @ 0.3243
0.40/0.46	c bounds 345122 >= 294041 @ 0.324499
0.40/0.46	c bounds 345121 >= 294041 @ 0.325047
0.40/0.46	c bounds 345121 >= 294076 @ 0.325257
0.40/0.46	c bounds 345121 >= 294105 @ 0.325462
0.40/0.46	c bounds 345121 >= 294113 @ 0.325663
0.40/0.46	c bounds 345121 >= 294118 @ 0.325861
0.40/0.46	c bounds 345112 >= 294118 @ 0.326814
0.40/0.46	c bounds 345112 >= 294119 @ 0.327042
0.40/0.46	c bounds 345112 >= 294121 @ 0.327258
0.40/0.46	c bounds 345112 >= 294122 @ 0.327453
0.40/0.46	c bounds 345112 >= 294124 @ 0.327647
0.40/0.46	c bounds 345112 >= 294125 @ 0.327821
0.40/0.46	c bounds 345112 >= 294127 @ 0.327821
0.40/0.46	c bounds 345112 >= 294128 @ 0.327821
0.40/0.46	c bounds 345112 >= 294130 @ 0.327821
0.40/0.46	c bounds 345110 >= 294130 @ 0.328058
0.40/0.46	c bounds 345110 >= 294131 @ 0.328285
0.40/0.46	c bounds 345110 >= 294136 @ 0.328499
0.40/0.46	c bounds 345110 >= 294138 @ 0.328703
0.40/0.46	c bounds 345110 >= 294140 @ 0.328932
0.40/0.46	c bounds 345107 >= 294140 @ 0.329502
0.40/0.46	c bounds 345107 >= 294159 @ 0.329718
0.40/0.46	c bounds 345107 >= 294199 @ 0.329943
0.40/0.46	c bounds 345107 >= 294200 @ 0.330167
0.40/0.46	c bounds 345107 >= 294201 @ 0.330375
0.40/0.46	c bounds 345107 >= 294203 @ 0.330586
0.40/0.46	c bounds 345096 >= 294203 @ 0.330814
0.40/0.46	c bounds 345096 >= 294204 @ 0.330814
0.40/0.46	c bounds 345096 >= 294205 @ 0.330814
0.40/0.46	c bounds 345096 >= 294206 @ 0.331038
0.40/0.46	c bounds 345096 >= 294207 @ 0.331264
0.40/0.46	c bounds 345096 >= 294208 @ 0.331472
0.40/0.46	c bounds 345095 >= 294208 @ 0.332033
0.40/0.46	c bounds 345095 >= 294209 @ 0.332263
0.40/0.46	c bounds 345095 >= 294211 @ 0.332467
0.40/0.46	c bounds 345095 >= 294215 @ 0.332667
0.40/0.46	c bounds 345095 >= 294216 @ 0.332882
0.40/0.46	c bounds 345092 >= 294216 @ 0.333848
0.40/0.51	c bounds 345092 >= 294226 @ 0.334061
0.40/0.51	c bounds 345092 >= 294228 @ 0.33427
0.40/0.51	c bounds 345092 >= 294229 @ 0.33449
0.40/0.51	c bounds 345092 >= 294230 @ 0.334694
0.40/0.51	c bounds 345092 >= 294232 @ 0.3349
0.40/0.51	c bounds 345092 >= 294233 @ 0.335101
0.40/0.51	c bounds 345092 >= 294238 @ 0.335317
0.40/0.51	c bounds 345083 >= 294238 @ 0.336027
0.40/0.51	c bounds 345083 >= 294240 @ 0.336337
0.40/0.51	c bounds 345083 >= 294242 @ 0.336547
0.40/0.51	c bounds 345083 >= 294254 @ 0.336701
0.40/0.51	c bounds 345083 >= 294255 @ 0.336899
0.40/0.51	c bounds 345083 >= 294256 @ 0.33711
0.40/0.51	c bounds 345083 >= 294257 @ 0.337315
0.40/0.51	c bounds 345083 >= 294258 @ 0.337527
0.40/0.51	c bounds 345083 >= 294260 @ 0.33773
0.40/0.51	c bounds 345083 >= 294261 @ 0.337931
0.40/0.51	c bounds 345083 >= 294263 @ 0.338138
0.40/0.51	c bounds 345083 >= 294264 @ 0.338346
0.40/0.51	c bounds 345081 >= 294264 @ 0.339505
0.40/0.51	c bounds 345081 >= 294265 @ 0.339734
0.40/0.51	c bounds 345081 >= 294267 @ 0.339949
0.40/0.51	c bounds 345081 >= 294269 @ 0.34016
0.40/0.51	c bounds 345081 >= 294270 @ 0.340369
0.40/0.51	c bounds 345081 >= 294276 @ 0.340584
0.40/0.51	c bounds 345081 >= 294278 @ 0.340801
0.40/0.51	c bounds 345081 >= 294279 @ 0.341018
0.40/0.51	c bounds 345081 >= 294281 @ 0.341233
0.40/0.51	c bounds 345079 >= 294281 @ 0.342976
0.40/0.51	c bounds 345079 >= 294282 @ 0.343286
0.40/0.51	c bounds 345079 >= 294288 @ 0.343505
0.40/0.51	c bounds 345079 >= 294293 @ 0.343723
0.40/0.51	c bounds 345079 >= 294294 @ 0.343953
0.40/0.51	c bounds 345079 >= 294295 @ 0.344171
0.40/0.51	c bounds 345079 >= 294296 @ 0.344386
0.40/0.51	c bounds 345079 >= 294297 @ 0.344602
0.40/0.51	c bounds 345079 >= 294299 @ 0.34482
0.40/0.51	c bounds 345079 >= 294300 @ 0.345035
0.40/0.51	c bounds 345079 >= 294303 @ 0.345253
0.40/0.51	c bounds 345079 >= 294304 @ 0.34547
0.40/0.51	c bounds 345079 >= 294305 @ 0.345686
0.40/0.51	c bounds 345075 >= 294305 @ 0.346262
0.40/0.51	c bounds 345075 >= 294306 @ 0.346492
0.40/0.51	c bounds 345075 >= 294422 @ 0.346716
0.40/0.51	c bounds 345075 >= 294455 @ 0.346936
0.40/0.51	c bounds 345075 >= 294457 @ 0.347201
0.40/0.51	c bounds 345069 >= 294457 @ 0.347969
0.40/0.51	c bounds 345069 >= 294476 @ 0.348237
0.40/0.51	c bounds 345069 >= 294500 @ 0.348486
0.40/0.51	c bounds 345069 >= 294501 @ 0.348747
0.40/0.51	c bounds 345069 >= 294503 @ 0.349005
0.40/0.51	c bounds 345066 >= 294503 @ 0.349765
0.40/0.51	c bounds 345066 >= 294505 @ 0.350038
0.40/0.51	c bounds 345066 >= 294517 @ 0.350295
0.40/0.51	c bounds 345066 >= 294521 @ 0.350544
0.40/0.51	c bounds 345066 >= 294522 @ 0.350805
0.40/0.51	c #Conflicts:       1000 | #Constraints:       9122
0.40/0.51	c bounds 345063 >= 294522 @ 0.354474
0.40/0.51	c bounds 345063 >= 294524 @ 0.354852
0.40/0.51	c bounds 345063 >= 294527 @ 0.355222
0.40/0.51	c bounds 345063 >= 294586 @ 0.355491
0.40/0.51	c bounds 345063 >= 294621 @ 0.355742
0.40/0.51	c bounds 345063 >= 294634 @ 0.355742
0.40/0.51	c bounds 345063 >= 294645 @ 0.355742
0.40/0.51	c bounds 345063 >= 294690 @ 0.355742
0.40/0.51	c bounds 345063 >= 294723 @ 0.355831
0.40/0.51	c bounds 345063 >= 294726 @ 0.356081
0.40/0.51	c bounds 345063 >= 294731 @ 0.356335
0.40/0.51	c bounds 345063 >= 294732 @ 0.356587
0.40/0.51	c bounds 345063 >= 294737 @ 0.356809
0.40/0.51	c bounds 345063 >= 294738 @ 0.357062
0.40/0.51	c bounds 345063 >= 294740 @ 0.357316
0.40/0.51	c bounds 345063 >= 294741 @ 0.357568
0.40/0.51	c bounds 345063 >= 294746 @ 0.357822
0.40/0.51	c bounds 345063 >= 294748 @ 0.358081
0.40/0.51	c bounds 345062 >= 294748 @ 0.359474
0.40/0.51	c bounds 345062 >= 294750 @ 0.359752
0.40/0.51	c bounds 345062 >= 294780 @ 0.360012
0.40/0.51	c bounds 345062 >= 294782 @ 0.360271
0.40/0.51	c bounds 345062 >= 294783 @ 0.360527
0.40/0.51	c bounds 345062 >= 294796 @ 0.360787
0.40/0.51	c bounds 345062 >= 294825 @ 0.361051
0.40/0.51	c bounds 345062 >= 294845 @ 0.361311
0.40/0.51	c bounds 345062 >= 294864 @ 0.361573
0.40/0.51	c bounds 345033 >= 294864 @ 0.362762
0.40/0.51	c bounds 345033 >= 294867 @ 0.363049
0.40/0.51	c bounds 345033 >= 294871 @ 0.363309
0.40/0.51	c bounds 345033 >= 294879 @ 0.363571
0.40/0.51	c bounds 345033 >= 294882 @ 0.363838
0.40/0.51	c bounds 345033 >= 294885 @ 0.3641
0.40/0.51	c bounds 345033 >= 294888 @ 0.364368
0.40/0.51	c bounds 345032 >= 294888 @ 0.365512
0.40/0.51	c bounds 345032 >= 294891 @ 0.365797
0.40/0.51	c bounds 345032 >= 294893 @ 0.366068
0.40/0.51	c bounds 345032 >= 294897 @ 0.366334
0.40/0.51	c bounds 345032 >= 294898 @ 0.3666
0.40/0.51	c bounds 345032 >= 294905 @ 0.366876
0.40/0.51	c bounds 345032 >= 294906 @ 0.367141
0.40/0.51	c bounds 345031 >= 294906 @ 0.367882
0.40/0.51	c bounds 345031 >= 294907 @ 0.368168
0.40/0.51	c bounds 345031 >= 294913 @ 0.36844
0.40/0.51	c bounds 345031 >= 294918 @ 0.368703
0.40/0.51	c bounds 345031 >= 294919 @ 0.368995
0.40/0.51	c bounds 345023 >= 294919 @ 0.369858
0.40/0.51	c bounds 345023 >= 294925 @ 0.370156
0.40/0.51	c bounds 345023 >= 294963 @ 0.370424
0.40/0.51	c bounds 345023 >= 294969 @ 0.370696
0.40/0.51	c bounds 345023 >= 294971 @ 0.370966
0.40/0.51	c bounds 345022 >= 294971 @ 0.372676
0.40/0.51	c bounds 345022 >= 295007 @ 0.372974
0.50/0.54	c bounds 345022 >= 295010 @ 0.373271
0.50/0.54	c bounds 345022 >= 295182 @ 0.37355
0.50/0.54	c bounds 345022 >= 295184 @ 0.373849
0.50/0.54	c bounds 345022 >= 295220 @ 0.374129
0.50/0.54	c bounds 345022 >= 295232 @ 0.374408
0.50/0.54	c bounds 345022 >= 295233 @ 0.3747
0.50/0.54	c bounds 345022 >= 295239 @ 0.374975
0.50/0.54	c bounds 345020 >= 295239 @ 0.375405
0.50/0.54	c bounds 345020 >= 295256 @ 0.375505
0.50/0.54	c bounds 345020 >= 295259 @ 0.375812
0.50/0.54	c bounds 345020 >= 295261 @ 0.37609
0.50/0.54	c bounds 345020 >= 295274 @ 0.376362
0.50/0.54	c bounds 345020 >= 295438 @ 0.37666
0.50/0.54	c bounds 345020 >= 295449 @ 0.376974
0.50/0.54	c bounds 345017 >= 295449 @ 0.377965
0.50/0.54	c bounds 345017 >= 295457 @ 0.378271
0.50/0.54	c bounds 345017 >= 295459 @ 0.37858
0.50/0.54	c bounds 345017 >= 295493 @ 0.378888
0.50/0.54	c bounds 345017 >= 295501 @ 0.379182
0.50/0.54	c bounds 345014 >= 295501 @ 0.379968
0.50/0.54	c bounds 345014 >= 295502 @ 0.380321
0.50/0.54	c bounds 345014 >= 295503 @ 0.380668
0.50/0.54	c bounds 345014 >= 295504 @ 0.381009
0.50/0.54	c bounds 345013 >= 295504 @ 0.382982
0.50/0.54	c bounds 345013 >= 295505 @ 0.383368
0.50/0.54	c bounds 345013 >= 295506 @ 0.38373
0.50/0.54	c bounds 345013 >= 295507 @ 0.384071
0.50/0.54	c bounds 345013 >= 295508 @ 0.384393
0.50/0.54	c bounds 345013 >= 295509 @ 0.384743
0.50/0.54	c bounds 345013 >= 295510 @ 0.385068
0.50/0.54	c bounds 345013 >= 295511 @ 0.38539
0.50/0.54	c bounds 345013 >= 295512 @ 0.385754
0.50/0.54	c bounds 345001 >= 295512 @ 0.386553
0.50/0.54	c bounds 345001 >= 295513 @ 0.386905
0.50/0.54	c bounds 345001 >= 295514 @ 0.387232
0.50/0.54	c bounds 345001 >= 295515 @ 0.387559
0.50/0.54	c bounds 344999 >= 295515 @ 0.388326
0.50/0.54	c bounds 344999 >= 295516 @ 0.388681
0.50/0.54	c bounds 344999 >= 295517 @ 0.389017
0.50/0.54	c bounds 344999 >= 295518 @ 0.389349
0.50/0.54	c bounds 344998 >= 295518 @ 0.390515
0.50/0.54	c bounds 344998 >= 295519 @ 0.390883
0.50/0.54	c bounds 344998 >= 295534 @ 0.391219
0.50/0.54	c bounds 344998 >= 295546 @ 0.39155
0.50/0.54	c bounds 344998 >= 295547 @ 0.391885
0.50/0.54	c bounds 344993 >= 295547 @ 0.392507
0.50/0.54	c bounds 344993 >= 295586 @ 0.39287
0.50/0.54	c bounds 344993 >= 295833 @ 0.393211
0.50/0.54	c bounds 344954 >= 295833 @ 0.39406
0.50/0.54	c bounds 344954 >= 295980 @ 0.394325
0.50/0.54	c bounds 344954 >= 297329 @ 0.394401
0.50/0.54	c bounds 344954 >= 297476 @ 0.394401
0.50/0.54	c bounds 344954 >= 297511 @ 0.394401
0.50/0.54	c bounds 344954 >= 297693 @ 0.394401
0.50/0.54	c bounds 344954 >= 297694 @ 0.394401
0.50/0.54	c bounds 344954 >= 297695 @ 0.394401
0.50/0.54	c bounds 344954 >= 297703 @ 0.394401
0.50/0.54	c bounds 344954 >= 297705 @ 0.394403
0.50/0.54	c bounds 344954 >= 297708 @ 0.394526
0.50/0.54	c bounds 344954 >= 297709 @ 0.394653
0.50/0.54	c bounds 344954 >= 297738 @ 0.394775
0.50/0.54	c bounds 344954 >= 297874 @ 0.394924
0.50/0.54	c bounds 344954 >= 297886 @ 0.395053
0.50/0.54	c bounds 344954 >= 297897 @ 0.395182
0.50/0.54	c bounds 344954 >= 297898 @ 0.395314
0.50/0.54	c bounds 344954 >= 297904 @ 0.395403
0.50/0.54	c bounds 344954 >= 298164 @ 0.395403
0.50/0.54	c bounds 344954 >= 298360 @ 0.395403
0.50/0.54	c bounds 344954 >= 298543 @ 0.395403
0.50/0.54	c bounds 344949 >= 298543 @ 0.39629
0.50/0.54	c bounds 344949 >= 298692 @ 0.396462
0.50/0.54	c bounds 344949 >= 298839 @ 0.396903
0.50/0.54	c bounds 344949 >= 298952 @ 0.397141
0.50/0.54	c bounds 344949 >= 299030 @ 0.397513
0.50/0.54	c bounds 344949 >= 299108 @ 0.397751
0.50/0.54	c bounds 344949 >= 299160 @ 0.398011
0.50/0.54	c bounds 344949 >= 299211 @ 0.398377
0.50/0.54	c bounds 344949 >= 299262 @ 0.398661
0.50/0.54	c bounds 344949 >= 299311 @ 0.398915
0.50/0.54	c bounds 344949 >= 299360 @ 0.399168
0.50/0.54	c bounds 344949 >= 299401 @ 0.399453
0.50/0.54	c bounds 344939 >= 299401 @ 0.400104
0.50/0.54	c bounds 344939 >= 299442 @ 0.400396
0.50/0.54	c bounds 344939 >= 299483 @ 0.400822
0.50/0.54	c bounds 344939 >= 299524 @ 0.401276
0.50/0.54	c bounds 344939 >= 299720 @ 0.401539
0.50/0.54	c bounds 344939 >= 299783 @ 0.401792
0.50/0.54	c bounds 344919 >= 299783 @ 0.402432
0.50/0.54	c bounds 344919 >= 299791 @ 0.402604
0.50/0.54	c bounds 344919 >= 299792 @ 0.402771
0.50/0.54	c bounds 344919 >= 299803 @ 0.402931
0.50/0.54	c bounds 344919 >= 299840 @ 0.403098
0.50/0.54	c bounds 344919 >= 299870 @ 0.403264
0.50/0.54	c bounds 344919 >= 299905 @ 0.403424
0.50/0.54	c bounds 344919 >= 299919 @ 0.40358
0.50/0.54	c bounds 344919 >= 299934 @ 0.403737
0.50/0.54	c bounds 344919 >= 299935 @ 0.403899
0.50/0.54	c bounds 344918 >= 299935 @ 0.404672
0.50/0.54	c bounds 344918 >= 299941 @ 0.404839
0.50/0.54	c bounds 344918 >= 299942 @ 0.404991
0.50/0.54	c bounds 344918 >= 299943 @ 0.405148
0.50/0.54	c bounds 344918 >= 299947 @ 0.405307
0.50/0.54	c bounds 344918 >= 299948 @ 0.405473
0.50/0.54	c bounds 344918 >= 299949 @ 0.405634
0.50/0.54	c bounds 344918 >= 299950 @ 0.405796
0.50/0.54	c bounds 344918 >= 299952 @ 0.405959
0.50/0.54	c bounds 344918 >= 299954 @ 0.406119
0.50/0.54	c bounds 344918 >= 299955 @ 0.406282
0.50/0.54	c bounds 344918 >= 299956 @ 0.406452
0.50/0.54	c bounds 344914 >= 299956 @ 0.407215
0.50/0.54	c bounds 344914 >= 299969 @ 0.40739
0.50/0.60	c bounds 344914 >= 299970 @ 0.407561
0.50/0.60	c bounds 344914 >= 299976 @ 0.407747
0.50/0.60	c bounds 344914 >= 299977 @ 0.407909
0.50/0.60	c bounds 344914 >= 299981 @ 0.408075
0.50/0.60	c bounds 344914 >= 299992 @ 0.408252
0.50/0.60	c bounds 344914 >= 300006 @ 0.408415
0.50/0.60	c bounds 344914 >= 300041 @ 0.40858
0.50/0.60	c bounds 344914 >= 300223 @ 0.408746
0.50/0.60	c bounds 344914 >= 300224 @ 0.408916
0.50/0.60	c bounds 344909 >= 300224 @ 0.409538
0.50/0.60	c bounds 344909 >= 300225 @ 0.409726
0.50/0.60	c bounds 344909 >= 300233 @ 0.409903
0.50/0.60	c bounds 344909 >= 300235 @ 0.410076
0.50/0.60	c bounds 344909 >= 300238 @ 0.410247
0.50/0.60	c bounds 344909 >= 300239 @ 0.41042
0.50/0.60	c bounds 344909 >= 300268 @ 0.410598
0.50/0.60	c bounds 344909 >= 300280 @ 0.41077
0.50/0.60	c bounds 344909 >= 300291 @ 0.410944
0.50/0.60	c bounds 344909 >= 300292 @ 0.411116
0.50/0.60	c bounds 344907 >= 300292 @ 0.41188
0.50/0.60	c bounds 344907 >= 300298 @ 0.412074
0.50/0.60	c bounds 344907 >= 300445 @ 0.412253
0.50/0.60	c bounds 344907 >= 300480 @ 0.412434
0.50/0.60	c bounds 344907 >= 300492 @ 0.412605
0.50/0.60	c bounds 344907 >= 300493 @ 0.412788
0.50/0.60	c bounds 344907 >= 300609 @ 0.412966
0.50/0.60	c bounds 344907 >= 300617 @ 0.413149
0.50/0.60	c bounds 344907 >= 300619 @ 0.413335
0.50/0.60	c bounds 344907 >= 300620 @ 0.413523
0.50/0.60	c bounds 344887 >= 300620 @ 0.414152
0.50/0.60	c bounds 344887 >= 300633 @ 0.414347
0.50/0.60	c bounds 344887 >= 300644 @ 0.414534
0.50/0.60	c bounds 344887 >= 300664 @ 0.414729
0.50/0.60	c bounds 344887 >= 300670 @ 0.414924
0.50/0.60	c bounds 344887 >= 300677 @ 0.41512
0.50/0.60	c bounds 344887 >= 300694 @ 0.41531
0.50/0.60	c bounds 344887 >= 300697 @ 0.4155
0.50/0.60	c bounds 344885 >= 300697 @ 0.416616
0.50/0.60	c bounds 344885 >= 300698 @ 0.416822
0.50/0.60	c bounds 344885 >= 300707 @ 0.417014
0.50/0.60	c bounds 344885 >= 300709 @ 0.417207
0.50/0.60	c bounds 344885 >= 300712 @ 0.417407
0.50/0.60	c bounds 344885 >= 300715 @ 0.417599
0.50/0.60	c bounds 344885 >= 300720 @ 0.417801
0.50/0.60	c bounds 344885 >= 300721 @ 0.418002
0.50/0.60	c bounds 344885 >= 300724 @ 0.418206
0.50/0.60	c bounds 344885 >= 300729 @ 0.41841
0.50/0.60	c bounds 344885 >= 300988 @ 0.418767
0.50/0.60	c bounds 344885 >= 301220 @ 0.419283
0.50/0.60	c bounds 344884 >= 301220 @ 0.419334
0.50/0.60	c bounds 344884 >= 301411 @ 0.419609
0.50/0.60	c bounds 344884 >= 301531 @ 0.419938
0.50/0.60	c bounds 344884 >= 301569 @ 0.420321
0.50/0.60	c bounds 344881 >= 301569 @ 0.421162
0.50/0.60	c bounds 344881 >= 301680 @ 0.421485
0.50/0.60	c bounds 344881 >= 301718 @ 0.421848
0.50/0.60	c bounds 344881 >= 301753 @ 0.422238
0.50/0.60	c bounds 344881 >= 301788 @ 0.422326
0.50/0.60	c bounds 344881 >= 301891 @ 0.422326
0.50/0.60	c bounds 344881 >= 301935 @ 0.422457
0.50/0.60	c bounds 344877 >= 301935 @ 0.423321
0.50/0.60	c bounds 344877 >= 301969 @ 0.423796
0.50/0.60	c bounds 344877 >= 302016 @ 0.424075
0.50/0.60	c bounds 344877 >= 302071 @ 0.424322
0.50/0.60	c bounds 344877 >= 302120 @ 0.424322
0.50/0.60	c bounds 344877 >= 302167 @ 0.424621
0.50/0.60	c bounds 344872 >= 302167 @ 0.425317
0.50/0.60	c bounds 344872 >= 302197 @ 0.425911
0.50/0.60	c bounds 344872 >= 302226 @ 0.426393
0.50/0.60	c bounds 344872 >= 302254 @ 0.426997
0.50/0.60	c bounds 344867 >= 302254 @ 0.427314
0.50/0.60	c bounds 344867 >= 302278 @ 0.427343
0.50/0.60	c bounds 344867 >= 302300 @ 0.427902
0.50/0.60	c bounds 344867 >= 302321 @ 0.428511
0.50/0.60	c bounds 344867 >= 302341 @ 0.428997
0.50/0.60	c bounds 344867 >= 302360 @ 0.42931
0.50/0.60	c bounds 344864 >= 302360 @ 0.429767
0.50/0.60	c bounds 344864 >= 302377 @ 0.430391
0.50/0.60	c bounds 344864 >= 302394 @ 0.430996
0.50/0.60	c bounds 344864 >= 302411 @ 0.431305
0.50/0.60	c bounds 344864 >= 302425 @ 0.431305
0.50/0.60	c bounds 344864 >= 302439 @ 0.431855
0.50/0.60	c bounds 344864 >= 302452 @ 0.43245
0.50/0.60	c bounds 344864 >= 302465 @ 0.433116
0.50/0.60	c bounds 344809 >= 302465 @ 0.433964
0.50/0.60	c bounds 344809 >= 302477 @ 0.434297
0.50/0.60	c bounds 344809 >= 302489 @ 0.434297
0.50/0.60	c bounds 344809 >= 302501 @ 0.434978
0.50/0.60	c bounds 344808 >= 302501 @ 0.435823
0.50/0.60	c bounds 344808 >= 302548 @ 0.436212
0.50/0.60	c bounds 344808 >= 302582 @ 0.436293
0.50/0.60	c bounds 344808 >= 302610 @ 0.436293
0.50/0.60	c bounds 344808 >= 302622 @ 0.436293
0.50/0.60	c bounds 344808 >= 302633 @ 0.436294
0.50/0.60	c bounds 344804 >= 302633 @ 0.436759
0.50/0.60	c bounds 344804 >= 302644 @ 0.437421
0.50/0.60	c bounds 344804 >= 302655 @ 0.438086
0.50/0.60	c bounds 344804 >= 302665 @ 0.438289
0.50/0.60	c bounds 344804 >= 302674 @ 0.43829
0.50/0.60	c bounds 344804 >= 302683 @ 0.43829
0.50/0.60	c bounds 344804 >= 302691 @ 0.439085
0.50/0.60	c bounds 344796 >= 302691 @ 0.439288
0.50/0.60	c bounds 344796 >= 302699 @ 0.439288
0.50/0.60	c bounds 344796 >= 302707 @ 0.439289
0.50/0.60	c bounds 344796 >= 302715 @ 0.439289
0.50/0.60	c bounds 344796 >= 302722 @ 0.439289
0.50/0.60	c bounds 344793 >= 302722 @ 0.439922
0.50/0.60	c bounds 344793 >= 302729 @ 0.440287
0.50/0.60	c bounds 344793 >= 302745 @ 0.44041
0.50/0.60	c bounds 344793 >= 302764 @ 0.440893
0.50/0.60	c bounds 344793 >= 302770 @ 0.441285
0.50/0.60	c bounds 344793 >= 302776 @ 0.44141
0.59/0.65	c bounds 344777 >= 302776 @ 0.442754
0.59/0.65	c bounds 344777 >= 302782 @ 0.443281
0.59/0.65	c bounds 344777 >= 302788 @ 0.443527
0.59/0.65	c bounds 344777 >= 302794 @ 0.444232
0.59/0.65	c bounds 344777 >= 302829 @ 0.444279
0.59/0.65	c bounds 344777 >= 302848 @ 0.444552
0.59/0.65	c bounds 344777 >= 302854 @ 0.445435
0.59/0.65	c bounds 344776 >= 302854 @ 0.446783
0.59/0.65	c bounds 344776 >= 302880 @ 0.447303
0.59/0.65	c bounds 344776 >= 302886 @ 0.448237
0.59/0.65	c bounds 344776 >= 302904 @ 0.448789
0.59/0.65	c bounds 344776 >= 302909 @ 0.449558
0.59/0.65	c bounds 344776 >= 302914 @ 0.450401
0.59/0.65	c bounds 344776 >= 302919 @ 0.451333
0.59/0.65	c bounds 344775 >= 302919 @ 0.454164
0.59/0.65	c bounds 344775 >= 302924 @ 0.454253
0.59/0.65	c bounds 344775 >= 302929 @ 0.455126
0.59/0.65	c bounds 344775 >= 302951 @ 0.455731
0.59/0.65	c bounds 344775 >= 302955 @ 0.45625
0.59/0.65	c bounds 344775 >= 302959 @ 0.45625
0.59/0.65	c bounds 344775 >= 302963 @ 0.456592
0.59/0.65	c bounds 344775 >= 302972 @ 0.457121
0.59/0.65	c bounds 344775 >= 302976 @ 0.458122
0.59/0.65	c bounds 344775 >= 302980 @ 0.458905
0.59/0.65	c bounds 344775 >= 302991 @ 0.459147
0.59/0.65	c bounds 344775 >= 302996 @ 0.459514
0.59/0.65	c bounds 344775 >= 303001 @ 0.460182
0.59/0.65	c bounds 344775 >= 303007 @ 0.46096
0.59/0.65	c bounds 344770 >= 303007 @ 0.461967
0.59/0.65	c bounds 344770 >= 303011 @ 0.462112
0.59/0.65	c bounds 344770 >= 303015 @ 0.46319
0.59/0.65	c bounds 344770 >= 303019 @ 0.464192
0.59/0.65	c bounds 344768 >= 303019 @ 0.465042
0.59/0.65	c bounds 344768 >= 303023 @ 0.466096
0.59/0.65	c bounds 344765 >= 303023 @ 0.466845
0.59/0.65	c bounds 344765 >= 303048 @ 0.467406
0.59/0.65	c bounds 344765 >= 303081 @ 0.468006
0.59/0.65	c bounds 344765 >= 303091 @ 0.468098
0.59/0.65	c bounds 344765 >= 303096 @ 0.468099
0.59/0.65	c bounds 344763 >= 303096 @ 0.468459
0.59/0.65	c bounds 344763 >= 303101 @ 0.469183
0.59/0.65	c bounds 344763 >= 303105 @ 0.470071
0.59/0.65	c bounds 344763 >= 303114 @ 0.470848
0.59/0.65	c bounds 344763 >= 303122 @ 0.471091
0.59/0.65	c bounds 344759 >= 303122 @ 0.471621
0.59/0.65	c bounds 344759 >= 303125 @ 0.472457
0.59/0.65	c bounds 344759 >= 303128 @ 0.473251
0.59/0.65	c bounds 344759 >= 303131 @ 0.474035
0.59/0.65	c bounds 344759 >= 303134 @ 0.474865
0.59/0.65	c bounds 344759 >= 303137 @ 0.475082
0.59/0.65	c bounds 344759 >= 303145 @ 0.475422
0.59/0.65	c bounds 344759 >= 303148 @ 0.476081
0.59/0.65	c bounds 344754 >= 303148 @ 0.476367
0.59/0.65	c bounds 344754 >= 303151 @ 0.477165
0.59/0.65	c bounds 344754 >= 303154 @ 0.478222
0.59/0.65	c bounds 344750 >= 303154 @ 0.479383
0.59/0.65	c bounds 344750 >= 303157 @ 0.480071
0.59/0.65	c bounds 344750 >= 303159 @ 0.48029
0.59/0.65	c bounds 344750 >= 303161 @ 0.481164
0.59/0.65	c bounds 344750 >= 303163 @ 0.482036
0.59/0.65	c bounds 344750 >= 303170 @ 0.482692
0.59/0.65	c bounds 344750 >= 303172 @ 0.483941
0.59/0.65	c bounds 344750 >= 303172 @ 0.486057
0.59/0.65	c cpu time 0.486057 s
0.59/0.65	c deterministic time 32367999 3.24e+07
0.59/0.65	c optimization time 0.079433 s
0.59/0.65	c total solve time 0.406268 s
0.59/0.65	c core-guided solve time 0.245252 s
0.59/0.65	c propagation time 0.232036 s
0.59/0.65	c conflict analysis time 0.054007 s
0.59/0.65	c propagations 1720114
0.59/0.65	c resolve steps 1289
0.59/0.65	c decisions 285967
0.59/0.65	c conflicts 1228
0.59/0.65	c restarts 8
0.59/0.65	c inprocessing phases 0
0.59/0.65	c input clauses 2522
0.59/0.65	c input cardinalities 1538
0.59/0.65	c input general constraints 4878
0.59/0.65	c input average constraint length 14.84
0.59/0.65	c input average constraint degree 1094023.04
0.59/0.65	c learned clauses 153
0.59/0.65	c learned cardinalities 41
0.59/0.65	c learned general constraints 1930
0.59/0.65	c learned average constraint length 17.03
0.59/0.65	c learned average constraint degree 3803358.93
0.59/0.65	c watched constraints 2660
0.59/0.65	c counting constraints 4148
0.59/0.65	c gcd simplifications 275
0.59/0.65	c detected cardinalities 9
0.59/0.65	c weakened non-implied lits 2113
0.59/0.65	c weakened non-implying lits 62
0.59/0.65	c original variables 90
0.59/0.65	c clausal propagations 182884
0.59/0.65	c cardinality propagations 246085
0.59/0.65	c watched propagations 22550
0.59/0.65	c counting propagations 662139
0.59/0.65	c watch lookups 8891701
0.59/0.65	c watch backjump lookups 7869565
0.59/0.65	c watch checks 4699939
0.59/0.65	c propagation checks 6683219
0.59/0.65	c constraint additions 211922
0.59/0.65	c trail pops 2004336
0.59/0.65	c formula constraints 6
0.59/0.65	c learned constraints 2118
0.59/0.65	c bound constraints 1838
0.59/0.65	c core-guided constraints 7094
0.59/0.65	c encountered formula constraints 606
0.59/0.65	c encountered learned constraints 609
0.59/0.65	c encountered bound constraints 419
0.59/0.65	c encountered core-guided constraints 867
0.59/0.65	c LP total time 0.014058 s
0.59/0.65	c LP solve time 0 s
0.59/0.65	c LP constraints added 8
0.59/0.65	c LP constraints removed 0
0.59/0.65	c LP pivots internal 1231
0.59/0.65	c LP pivots root 4
0.59/0.65	c LP calls 218
0.59/0.65	c LP optimalities 215
0.59/0.65	c LP no pivot count 24
0.59/0.65	c LP infeasibilities 3
0.59/0.65	c LP valid Farkas constraints 2
0.59/0.65	c LP learned Farkas constraints 2
0.59/0.65	c LP basis resets 0
0.59/0.65	c LP cycling count 0
0.59/0.65	c LP singular count 0
0.59/0.65	c LP no primal count 0
0.59/0.65	c LP no farkas count 0
0.59/0.65	c LP other issue count 0
0.59/0.65	c LP Gomory cuts 2
0.59/0.65	c LP learned cuts 0
0.59/0.65	c LP deleted cuts 0
0.59/0.65	c LP encountered Gomory constraints 8
0.59/0.65	c LP encountered Farkas constraints 4
0.59/0.65	c LP encountered learned Farkas constraints 1
0.59/0.65	c CG auxiliary variables introduced 2892
0.59/0.65	c CG solutions found 261
0.59/0.65	c CG cores constructed 1577
0.59/0.65	c CG core cardinality constraints returned 0
0.59/0.65	c CG unit cores 5
0.59/0.65	c CG single cores 1528
0.59/0.65	c CG blocks removed during cardinality reduction 208
0.59/0.65	c CG first core best 0
0.59/0.65	c CG decision core best 6
0.59/0.65	c CG core reduction tie 38
0.59/0.65	c CG core degree average 1.00
0.59/0.65	c CG core slack average 2.63
0.59/0.65	o 344750
0.59/0.65	s OPTIMUM FOUND
0.59/0.65	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

OK	344750

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (63143 MiB free)
  memory of node 1: 64473 MiB (63254 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429355-1721047846/watcher-4429355-1721047846 -o /tmp/evaluation-result-4429355-1721047846/solver-4429355-1721047846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721047859-800774 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429355-1721047846.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
solver pid=800831, runsolver pid=800819
Current StackSize limit: 8192 KiB


[startup+0.10079 s]*
/proc/loadavg: 1.58 2.35 2.78 6/256 800838
/proc/meminfo: memFree=129369920/131524600 swapFree=131071996/131071996
[pid=800831] ppid=800819 vsize=38360 memory=9400 CPUtime=0.1 cores=0,2
/proc/800831/stat : 800831 (roundingsat) R 800819 800831 800764 0 -1 4194304 754 0 1 0 7 3 0 0 20 0 1 0 156951694 39280640 2350 134679101440 4194304 7968869 140731255128064 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30511104 140731255137214 140731255137378 140731255137378 140731255144393 0
/proc/800831/statm: 9590 2350 1831 922 0 1542 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38360 KiB
Current children cumulated memory: 9400 KiB

[startup+0.216455 s]*
/proc/loadavg: 1.58 2.35 2.78 5/255 800852
/proc/meminfo: memFree=129314580/131524600 swapFree=131071996/131071996
[pid=800831] ppid=800819 vsize=39080 memory=10420 CPUtime=0.2 cores=0,2
/proc/800831/stat : 800831 (roundingsat) R 800819 800831 800764 0 -1 4194304 968 0 1 0 14 6 0 0 20 0 1 0 156951694 40017920 2605 134679101440 4194304 7968869 140731255128064 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30511104 140731255137214 140731255137378 140731255137378 140731255144393 0
/proc/800831/statm: 9770 2605 1831 922 0 1722 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39080 KiB
Current children cumulated memory: 10420 KiB

[startup+0.305815 s]*
/proc/loadavg: 1.58 2.35 2.78 7/254 800858
/proc/meminfo: memFree=129302156/131524600 swapFree=131071996/131071996
[pid=800831] ppid=800819 vsize=39220 memory=10684 CPUtime=0.3 cores=0,2
/proc/800831/stat : 800831 (roundingsat) R 800819 800831 800764 0 -1 4194304 1062 0 1 0 20 10 0 0 20 0 1 0 156951694 40161280 2671 134679101440 4194304 7968869 140731255128064 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30511104 140731255137214 140731255137378 140731255137378 140731255144393 0
/proc/800831/statm: 9805 2671 1831 922 0 1757 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39220 KiB
Current children cumulated memory: 10684 KiB

[startup+0.659442 s]
# the end of solver process 800831 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=0.486057 s, system=0.165919 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.405819 s]*
/proc/loadavg: 1.58 2.35 2.78 6/253 800874
/proc/meminfo: memFree=129301556/131524600 swapFree=131071996/131071996
[pid=800831] ppid=800819 vsize=40216 memory=11812 CPUtime=0.4 cores=0,2
/proc/800831/stat : 800831 (roundingsat) R 800819 800831 800764 0 -1 4194304 1350 0 1 0 28 12 0 0 20 0 1 0 156951694 41181184 2953 134679101440 4194304 7968869 140731255128064 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30511104 140731255137214 140731255137378 140731255137378 140731255144393 0
/proc/800831/statm: 10054 2953 1831 922 0 2006 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 40216 KiB
Current children cumulated memory: 11812 KiB

[startup+0.605698 s]
/proc/loadavg: 1.58 2.35 2.78 6/256 800884
/proc/meminfo: memFree=129294012/131524600 swapFree=131071996/131071996
[pid=800831] ppid=800819 vsize=40572 memory=12732 CPUtime=0.59 cores=0,2
/proc/800831/stat : 800831 (roundingsat) R 800819 800831 800764 0 -1 4194304 1552 0 1 0 44 15 0 0 20 0 1 0 156951694 41545728 3183 134679101440 4194304 7968869 140731255128064 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30511104 140731255137214 140731255137378 140731255137378 140731255144393 0
/proc/800831/statm: 10143 3183 1846 922 0 2095 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 40572 KiB
Current children cumulated memory: 12732 KiB

Child status: 0

Real time (s): 0.659469
CPU time (s): 0.651976
CPU user time (s): 0.486057
CPU system time (s): 0.165919
CPU usage (%): 98.8638
Max. virtual memory (cumulated for all children) (KiB): 40572
Max. memory (cumulated for all children) (KiB): 12732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.486057
system time used= 0.165919
maximum resident set size= 12992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1620
page faults= 1
swaps= 0
block input operations= 112
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 10


# summary of solver processes directly reported to runsolver:
#   pid: 800831
#   total CPU time (s): 0.651976
#   total CPU user time (s): 0.486057
#   total CPU system time (s): 0.165919

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.010421 second user time and 0.036408 second system time

The end

Begin job on nodeC028 at 2024-07-15 14:50:59
IDJOB=4429355
IDBENCH=146898
IDSOLVER=3051
FILE ID=nodeC028/4429355-1721047846
RUNJOBID= nodeC028-1721047859-800774
SLURM_JOB_ID= 7505455
Free space on /tmp= 890064 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429355-1721047846/watcher-4429355-1721047846 -o /tmp/evaluation-result-4429355-1721047846/solver-4429355-1721047846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721047859-800774 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429355-1721047846.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 848e47deac6a47526073146630130ada
RANDOM SEED=245321340

nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3590.986
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3545.106
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3348.833
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3620.813
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3608.047
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3610.520
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3645.608
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3593.452
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129433560 kB
MemAvailable:   129767940 kB
Buffers:          360492 kB
Cached:           815972 kB
SwapCached:            0 kB
Active:           591376 kB
Inactive:         924224 kB
Active(anon):       1456 kB
Inactive(anon):   375720 kB
Active(file):     589920 kB
Inactive(file):   548504 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28420 kB
Writeback:             4 kB
AnonPages:        336460 kB
Mapped:           102896 kB
Shmem:             37720 kB
KReclaimable:      71556 kB
Slab:             172236 kB
SReclaimable:      71556 kB
SUnreclaim:       100680 kB
KernelStack:        3936 kB
PageTables:         9688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     687312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59616 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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:      185044 kB
DirectMap2M:    16365568 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 890040 MiB
End job on nodeC028 at 2024-07-15 14:51:00