| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | OPT cert. | 344750 | 0.307615 | 2.30084 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb |
| MD5SUM | 848e47deac6a47526073146630130ada |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 344750 |
| Best CPU time to get the best result obtained on this benchmark | 0.02447 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 90 |
| Total number of constraints | 6 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 15 |
| Maximum length of a constraint | 90 |
| Number of terms in the objective function | 90 |
| Biggest coefficient in the objective function | 4831838208 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 15032909794 |
| Number of bits of the sum of numbers in the objective function | 34 |
| Biggest number in a constraint | 4831838208 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 15032909794 |
| Number of bits of the biggest sum of numbers | 34 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.37 c RoundingSat 2 0.00/0.37 c branch 0.00/0.37 c commit 0.00/1.98 c #variables 90 #constraints 6 0.00/1.98 c bounds - >= 0 @ 0.000302 0.00/1.98 c rational objective 344747 0.00/2.00 c bounds 346263 >= 0 @ 0.00054 0.00/2.00 c bounds 346263 >= 73728 @ 0.000772 0.00/2.00 c bounds 346263 >= 131072 @ 0.001018 0.00/2.00 c bounds 346254 >= 131072 @ 0.001194 0.00/2.00 c bounds 346254 >= 196608 @ 0.001289 0.00/2.00 c bounds 346254 >= 229376 @ 0.001341 0.00/2.00 c bounds 346254 >= 237568 @ 0.001388 0.00/2.00 c bounds 346254 >= 241664 @ 0.001433 0.00/2.00 c bounds 346254 >= 243712 @ 0.001475 0.00/2.00 c bounds 346254 >= 260096 @ 0.001587 0.00/2.00 c bounds 346254 >= 264192 @ 0.001649 0.00/2.00 c bounds 346253 >= 264192 @ 0.002058 0.00/2.00 c bounds 346253 >= 268288 @ 0.002202 0.00/2.00 c bounds 346253 >= 272384 @ 0.002317 0.00/2.00 c bounds 346253 >= 275456 @ 0.002476 0.00/2.00 c bounds 346253 >= 280576 @ 0.00253 0.00/2.00 c bounds 346253 >= 284672 @ 0.002629 0.00/2.00 c bounds 346253 >= 286720 @ 0.00279 0.00/2.00 c bounds 346253 >= 287360 @ 0.00288 0.00/2.00 c bounds 346253 >= 287872 @ 0.002987 0.00/2.00 c bounds 346253 >= 288128 @ 0.003087 0.00/2.00 c bounds 346252 >= 288128 @ 0.003351 0.00/2.00 c bounds 346252 >= 288192 @ 0.003459 0.00/2.00 c bounds 346252 >= 288256 @ 0.003568 0.00/2.00 c bounds 346252 >= 288261 @ 0.003887 0.00/2.00 c bounds 346251 >= 288261 @ 0.004442 0.00/2.00 c bounds 346251 >= 288768 @ 0.004455 0.00/2.00 c bounds 346251 >= 290816 @ 0.004543 0.00/2.00 c bounds 346251 >= 291323 @ 0.004635 0.00/2.00 c bounds 346251 >= 291451 @ 0.00476 0.00/2.00 c bounds 346251 >= 291574 @ 0.00487 0.00/2.00 c bounds 346250 >= 291574 @ 0.004983 0.00/2.00 c bounds 346250 >= 291579 @ 0.005068 0.00/2.00 c bounds 346250 >= 291584 @ 0.005186 0.00/2.00 c bounds 346250 >= 291589 @ 0.005373 0.00/2.00 c bounds 345994 >= 291589 @ 0.005643 0.00/2.00 c bounds 345994 >= 291592 @ 0.005818 0.00/2.00 c bounds 345994 >= 291594 @ 0.005953 0.00/2.00 c bounds 345864 >= 291594 @ 0.006518 0.00/2.00 c bounds 345864 >= 291599 @ 0.006771 0.00/2.00 c bounds 345864 >= 291600 @ 0.006912 0.00/2.00 c bounds 345864 >= 291602 @ 0.007084 0.00/2.00 c bounds 345863 >= 291602 @ 0.007487 0.00/2.00 c bounds 345863 >= 291603 @ 0.007785 0.00/2.00 c bounds 345863 >= 291604 @ 0.007928 0.00/2.00 c bounds 345863 >= 291609 @ 0.008106 0.00/2.00 c bounds 345860 >= 291609 @ 0.008481 0.00/2.00 c bounds 345860 >= 291611 @ 0.008758 0.00/2.00 c bounds 345860 >= 291612 @ 0.008878 0.00/2.00 c bounds 345857 >= 291612 @ 0.009336 0.00/2.00 c bounds 345857 >= 291648 @ 0.00947 0.00/2.00 c bounds 345857 >= 291679 @ 0.009608 0.00/2.00 c bounds 345857 >= 291684 @ 0.00978 0.00/2.00 c bounds 345857 >= 291685 @ 0.009854 0.00/2.00 c bounds 345857 >= 291686 @ 0.009914 0.00/2.00 c bounds 345857 >= 291687 @ 0.009984 0.00/2.00 c bounds 345857 >= 291688 @ 0.010056 0.00/2.00 c bounds 345857 >= 291693 @ 0.01014 0.00/2.00 c bounds 345857 >= 291695 @ 0.010222 0.00/2.00 c bounds 345857 >= 291696 @ 0.010324 0.00/2.00 c bounds 345857 >= 291698 @ 0.010406 0.00/2.00 c bounds 345857 >= 291699 @ 0.010498 0.00/2.00 c bounds 345857 >= 291704 @ 0.010594 0.00/2.00 c bounds 345857 >= 291705 @ 0.010678 0.00/2.00 c bounds 345857 >= 291707 @ 0.010762 0.00/2.00 c bounds 345849 >= 291707 @ 0.010928 0.00/2.00 c bounds 345849 >= 292869 @ 0.0112 0.00/2.00 c bounds 345849 >= 294917 @ 0.011285 0.00/2.00 c bounds 345841 >= 294917 @ 0.01143 0.00/2.00 c bounds 345841 >= 295208 @ 0.011534 0.00/2.00 c bounds 345841 >= 295331 @ 0.011616 0.00/2.00 c bounds 345841 >= 295336 @ 0.011663 0.00/2.00 c bounds 345841 >= 295341 @ 0.011714 0.00/2.00 c bounds 345841 >= 295377 @ 0.011771 0.00/2.00 c bounds 345841 >= 295382 @ 0.011849 0.00/2.00 c bounds 345841 >= 295384 @ 0.011905 0.00/2.00 c bounds 345841 >= 295385 @ 0.011956 0.00/2.00 c bounds 345833 >= 295385 @ 0.012083 0.00/2.00 c bounds 345833 >= 295387 @ 0.012141 0.00/2.00 c bounds 345833 >= 295388 @ 0.012193 0.00/2.00 c bounds 345833 >= 295393 @ 0.012244 0.00/2.00 c bounds 345833 >= 295394 @ 0.012299 0.00/2.00 c bounds 345833 >= 295396 @ 0.012352 0.00/2.00 c bounds 345833 >= 295401 @ 0.012399 0.00/2.00 c bounds 345833 >= 295402 @ 0.012459 0.00/2.00 c bounds 345833 >= 295403 @ 0.012513 0.00/2.00 c bounds 345833 >= 295408 @ 0.012579 0.00/2.00 c bounds 345828 >= 295408 @ 0.012839 0.00/2.00 c bounds 345828 >= 295410 @ 0.012917 0.00/2.00 c bounds 345828 >= 295411 @ 0.012975 0.00/2.00 c bounds 345828 >= 295416 @ 0.013043 0.00/2.00 c bounds 345828 >= 295418 @ 0.013114 0.00/2.00 c bounds 345828 >= 295419 @ 0.013192 0.00/2.00 c bounds 345828 >= 295464 @ 0.01332 0.00/2.00 c bounds 345828 >= 295542 @ 0.013446 0.00/2.00 c bounds 345824 >= 295542 @ 0.014024 0.00/2.00 c bounds 345824 >= 295587 @ 0.014259 0.00/2.00 c bounds 345824 >= 295623 @ 0.014363 0.00/2.00 c bounds 345824 >= 295654 @ 0.014485 0.00/2.00 c bounds 345824 >= 295657 @ 0.014572 0.00/2.00 c bounds 345824 >= 295662 @ 0.014652 0.00/2.00 c bounds 345824 >= 295667 @ 0.014728 0.00/2.00 c bounds 345824 >= 295668 @ 0.014804 0.00/2.00 c bounds 345824 >= 295669 @ 0.014879 0.00/2.00 c bounds 345824 >= 295674 @ 0.014958 0.00/2.00 c bounds 345824 >= 295676 @ 0.01505 0.00/2.00 c bounds 345824 >= 295681 @ 0.01512 0.00/2.00 c bounds 345824 >= 295682 @ 0.015206 0.00/2.00 c bounds 345824 >= 295683 @ 0.015282 0.00/2.00 c bounds 345821 >= 295683 @ 0.015285 0.00/2.00 c bounds 345821 >= 295684 @ 0.015285 0.00/2.00 c bounds 345821 >= 295685 @ 0.015285 0.01/2.03 c bounds 345821 >= 295687 @ 0.015285 0.01/2.03 c bounds 345821 >= 295706 @ 0.015285 0.01/2.03 c bounds 345819 >= 295706 @ 0.015562 0.01/2.03 c bounds 345819 >= 295711 @ 0.015562 0.01/2.03 c bounds 345819 >= 295716 @ 0.015562 0.01/2.03 c bounds 345819 >= 295721 @ 0.015562 0.01/2.03 c bounds 345819 >= 295726 @ 0.015596 0.01/2.03 c bounds 345819 >= 295731 @ 0.015725 0.01/2.03 c bounds 345819 >= 295734 @ 0.015861 0.01/2.03 c bounds 345819 >= 295736 @ 0.015982 0.01/2.03 c bounds 345819 >= 295738 @ 0.016109 0.01/2.03 c bounds 345818 >= 295738 @ 0.016489 0.01/2.03 c bounds 345818 >= 295740 @ 0.016768 0.01/2.03 c bounds 345818 >= 295743 @ 0.016939 0.01/2.03 c bounds 345818 >= 295745 @ 0.017127 0.01/2.03 c bounds 345818 >= 295748 @ 0.017284 0.01/2.03 c bounds 345818 >= 295759 @ 0.017497 0.01/2.03 c bounds 345816 >= 295759 @ 0.017818 0.01/2.03 c bounds 345816 >= 295760 @ 0.018028 0.01/2.03 c bounds 345816 >= 295761 @ 0.018177 0.01/2.03 c bounds 345816 >= 295765 @ 0.01834 0.01/2.03 c bounds 345816 >= 295767 @ 0.01851 0.01/2.03 c bounds 345816 >= 295769 @ 0.018731 0.01/2.03 c bounds 345814 >= 295769 @ 0.019491 0.01/2.03 c bounds 345814 >= 295772 @ 0.019751 0.01/2.03 c bounds 345814 >= 295774 @ 0.019984 0.01/2.03 c bounds 345814 >= 295775 @ 0.02018 0.01/2.03 c bounds 345814 >= 295776 @ 0.020378 0.01/2.03 c bounds 345814 >= 295777 @ 0.020547 0.01/2.03 c bounds 345814 >= 295778 @ 0.020753 0.01/2.03 c bounds 345806 >= 295778 @ 0.020941 0.01/2.03 c bounds 345806 >= 295779 @ 0.02116 0.01/2.03 c bounds 345806 >= 295780 @ 0.021296 0.01/2.03 c bounds 345794 >= 295780 @ 0.021296 0.01/2.03 c bounds 345794 >= 295782 @ 0.021296 0.01/2.03 c bounds 345794 >= 295783 @ 0.021296 0.01/2.03 c bounds 345770 >= 295783 @ 0.021483 0.01/2.03 c bounds 345770 >= 295784 @ 0.021638 0.01/2.03 c bounds 345770 >= 295785 @ 0.021821 0.01/2.03 c bounds 345770 >= 295786 @ 0.022274 0.01/2.03 c bounds 345770 >= 295787 @ 0.022442 0.01/2.03 c bounds 345770 >= 295788 @ 0.022654 0.01/2.03 c bounds 345762 >= 295788 @ 0.022851 0.01/2.03 c bounds 345762 >= 295791 @ 0.023096 0.01/2.03 c bounds 345762 >= 295908 @ 0.023302 0.01/2.03 c bounds 345762 >= 296035 @ 0.023474 0.01/2.03 c bounds 345744 >= 296035 @ 0.023701 0.01/2.03 c bounds 345744 >= 296071 @ 0.023872 0.01/2.03 c bounds 345744 >= 296076 @ 0.024003 0.01/2.03 c bounds 345744 >= 296199 @ 0.024174 0.01/2.03 c bounds 345712 >= 296199 @ 0.026314 0.01/2.03 c bounds 345712 >= 296204 @ 0.026509 0.01/2.03 c bounds 345712 >= 296292 @ 0.02699 0.01/2.03 c bounds 345712 >= 298249 @ 0.027274 0.01/2.03 c bounds 345712 >= 298337 @ 0.027274 0.01/2.03 c bounds 345712 >= 298340 @ 0.027274 0.01/2.03 c bounds 345712 >= 300266 @ 0.027274 0.01/2.03 c bounds 345712 >= 300300 @ 0.027274 0.01/2.03 c bounds 345712 >= 300354 @ 0.027274 0.01/2.03 c bounds 345712 >= 300359 @ 0.027289 0.01/2.03 c bounds 345712 >= 300364 @ 0.027289 0.01/2.03 c bounds 345712 >= 300378 @ 0.027289 0.01/2.03 c bounds 345712 >= 300388 @ 0.027289 0.01/2.03 c bounds 345712 >= 300398 @ 0.027289 0.01/2.03 c bounds 345712 >= 300437 @ 0.027289 0.01/2.03 c bounds 345712 >= 300442 @ 0.027289 0.01/2.03 c bounds 345712 >= 300451 @ 0.027289 0.01/2.03 c bounds 345712 >= 300456 @ 0.027289 0.01/2.03 c bounds 345712 >= 300457 @ 0.027289 0.01/2.03 c bounds 345712 >= 300462 @ 0.027289 0.01/2.03 c bounds 345712 >= 300467 @ 0.027289 0.01/2.03 c bounds 345712 >= 300482 @ 0.027289 0.01/2.03 c bounds 345712 >= 300491 @ 0.027289 0.01/2.03 c bounds 345712 >= 300496 @ 0.027289 0.01/2.03 c bounds 345712 >= 300501 @ 0.027289 0.01/2.03 c bounds 345712 >= 300506 @ 0.027289 0.01/2.03 c bounds 345648 >= 300506 @ 0.027605 0.01/2.03 c bounds 345648 >= 300511 @ 0.027889 0.01/2.03 c bounds 345648 >= 300521 @ 0.028108 0.01/2.03 c bounds 345648 >= 300531 @ 0.028216 0.01/2.03 c bounds 345648 >= 300540 @ 0.028251 0.01/2.03 c bounds 345648 >= 300545 @ 0.028251 0.01/2.03 c bounds 345648 >= 300550 @ 0.028251 0.01/2.03 c bounds 345648 >= 300555 @ 0.028251 0.01/2.03 c bounds 345648 >= 300560 @ 0.028251 0.01/2.03 c bounds 345648 >= 300563 @ 0.028251 0.01/2.03 c bounds 345568 >= 300563 @ 0.028486 0.01/2.03 c bounds 345568 >= 300565 @ 0.02878 0.01/2.03 c bounds 345568 >= 300567 @ 0.029039 0.01/2.03 c bounds 345440 >= 300567 @ 0.029451 0.01/2.03 c bounds 345440 >= 300568 @ 0.029781 0.01/2.03 c bounds 345440 >= 300569 @ 0.030006 0.01/2.03 c bounds 345440 >= 300570 @ 0.030238 0.01/2.03 c bounds 345440 >= 300635 @ 0.030422 0.01/2.03 c bounds 345312 >= 300635 @ 0.030683 0.01/2.03 c bounds 345312 >= 300645 @ 0.030977 0.01/2.03 c bounds 345312 >= 300655 @ 0.031093 0.01/2.03 c bounds 345312 >= 300660 @ 0.031207 0.01/2.03 c bounds 345264 >= 300660 @ 0.031466 0.01/2.03 c bounds 345264 >= 300669 @ 0.031649 0.01/2.03 c bounds 345264 >= 300674 @ 0.031777 0.01/2.03 c bounds 345264 >= 300679 @ 0.031895 0.01/2.03 c bounds 345264 >= 300684 @ 0.032019 0.01/2.03 c bounds 345264 >= 300689 @ 0.032213 0.01/2.03 c bounds 345259 >= 300689 @ 0.033232 0.01/2.03 c bounds 345259 >= 301964 @ 0.033232 0.01/2.03 c bounds 345259 >= 303597 @ 0.033331 0.01/2.03 c bounds 345259 >= 303612 @ 0.033455 0.01/2.03 c bounds 345259 >= 303615 @ 0.033589 0.01/2.03 c bounds 345259 >= 303617 @ 0.033709 0.01/2.03 c bounds 345259 >= 303619 @ 0.033833 0.01/2.05 c bounds 345259 >= 303684 @ 0.033972 0.01/2.05 c bounds 345259 >= 303685 @ 0.034085 0.01/2.05 c bounds 345259 >= 303686 @ 0.034196 0.01/2.05 c bounds 345259 >= 303687 @ 0.034235 0.01/2.05 c bounds 345259 >= 303697 @ 0.034235 0.01/2.05 c bounds 345259 >= 303707 @ 0.034235 0.01/2.05 c bounds 345259 >= 303712 @ 0.034235 0.01/2.05 c bounds 345259 >= 303721 @ 0.034235 0.01/2.05 c bounds 345259 >= 303726 @ 0.034235 0.01/2.05 c bounds 345259 >= 303731 @ 0.034235 0.01/2.05 c bounds 345259 >= 303736 @ 0.034235 0.01/2.05 c bounds 345259 >= 303741 @ 0.034321 0.01/2.05 c bounds 345259 >= 303750 @ 0.034439 0.01/2.05 c bounds 345259 >= 303755 @ 0.034577 0.01/2.05 c bounds 345259 >= 303765 @ 0.034704 0.01/2.05 c bounds 345259 >= 303774 @ 0.034822 0.01/2.05 c bounds 345259 >= 303779 @ 0.034951 0.01/2.05 c bounds 345259 >= 303784 @ 0.035067 0.01/2.05 c bounds 345259 >= 303789 @ 0.035192 0.01/2.05 c bounds 345259 >= 303799 @ 0.035227 0.01/2.05 c bounds 345259 >= 303804 @ 0.035227 0.01/2.05 c bounds 345259 >= 303813 @ 0.035227 0.01/2.05 c bounds 345259 >= 303818 @ 0.035227 0.01/2.05 c bounds 345259 >= 303823 @ 0.035227 0.01/2.05 c bounds 345259 >= 303828 @ 0.035227 0.01/2.05 c bounds 345259 >= 303837 @ 0.035227 0.01/2.05 c bounds 345259 >= 303842 @ 0.035227 0.01/2.05 c bounds 345259 >= 303847 @ 0.035376 0.01/2.05 c bounds 345259 >= 303850 @ 0.035527 0.01/2.05 c bounds 345259 >= 303852 @ 0.035655 0.01/2.05 c bounds 345259 >= 303857 @ 0.035784 0.01/2.05 c bounds 345259 >= 303867 @ 0.035905 0.01/2.05 c bounds 345259 >= 303877 @ 0.036029 0.01/2.05 c bounds 345256 >= 303877 @ 0.036592 0.01/2.05 c bounds 345256 >= 303886 @ 0.036796 0.01/2.05 c bounds 345256 >= 303891 @ 0.036947 0.01/2.05 c bounds 345256 >= 303896 @ 0.03709 0.01/2.05 c bounds 345256 >= 303901 @ 0.037274 0.01/2.05 c bounds 345256 >= 303906 @ 0.037539 0.01/2.05 c bounds 345256 >= 303911 @ 0.037675 0.01/2.05 c bounds 345256 >= 303916 @ 0.037807 0.01/2.05 c bounds 345256 >= 303921 @ 0.03794 0.01/2.05 c bounds 345256 >= 303986 @ 0.03821 0.01/2.05 c bounds 345240 >= 303986 @ 0.038218 0.01/2.05 c bounds 345240 >= 303991 @ 0.038228 0.01/2.05 c bounds 345240 >= 303993 @ 0.038358 0.01/2.05 c bounds 345240 >= 303995 @ 0.038532 0.01/2.05 c bounds 345240 >= 303996 @ 0.038656 0.01/2.05 c bounds 345240 >= 304001 @ 0.038794 0.01/2.05 c bounds 345240 >= 304011 @ 0.03893 0.01/2.05 c bounds 345240 >= 304021 @ 0.039073 0.01/2.05 c bounds 345240 >= 304030 @ 0.039214 0.01/2.05 c bounds 345239 >= 304030 @ 0.039735 0.01/2.05 c bounds 345239 >= 304033 @ 0.039927 0.01/2.05 c bounds 345239 >= 304038 @ 0.040026 0.01/2.05 c bounds 345239 >= 304043 @ 0.040142 0.01/2.05 c bounds 345239 >= 304048 @ 0.040287 0.01/2.05 c bounds 345239 >= 304171 @ 0.040464 0.01/2.05 c bounds 345239 >= 304210 @ 0.040663 0.01/2.05 c bounds 345234 >= 304210 @ 0.041437 0.01/2.05 c bounds 345234 >= 304246 @ 0.041692 0.01/2.05 c bounds 345234 >= 304260 @ 0.041877 0.01/2.05 c bounds 345234 >= 304270 @ 0.042039 0.01/2.05 c bounds 345234 >= 304280 @ 0.042199 0.01/2.05 c bounds 345234 >= 304285 @ 0.042199 0.01/2.05 c bounds 345234 >= 304290 @ 0.042199 0.01/2.05 c bounds 345234 >= 304295 @ 0.042199 0.01/2.05 c bounds 345231 >= 304295 @ 0.042199 0.01/2.05 c bounds 345231 >= 304305 @ 0.042203 0.01/2.05 c bounds 345231 >= 304314 @ 0.042203 0.01/2.05 c bounds 345231 >= 304319 @ 0.042203 0.01/2.05 c bounds 345223 >= 304319 @ 0.042203 0.01/2.05 c bounds 345223 >= 304324 @ 0.042203 0.01/2.05 c bounds 345223 >= 304329 @ 0.042203 0.01/2.05 c bounds 345223 >= 304334 @ 0.042203 0.01/2.05 c bounds 345223 >= 304338 @ 0.042203 0.01/2.05 c bounds 345215 >= 304338 @ 0.042203 0.01/2.05 c bounds 345215 >= 304344 @ 0.042203 0.01/2.05 c bounds 345215 >= 304349 @ 0.042203 0.01/2.05 c bounds 345215 >= 304353 @ 0.042203 0.01/2.05 c bounds 345215 >= 304356 @ 0.042203 0.01/2.05 c bounds 345215 >= 304357 @ 0.042252 0.01/2.05 c bounds 345215 >= 304358 @ 0.042547 0.01/2.05 c bounds 345215 >= 304362 @ 0.042784 0.01/2.05 c bounds 345210 >= 304362 @ 0.043081 0.01/2.05 c bounds 345210 >= 304363 @ 0.043543 0.01/2.05 c bounds 345202 >= 304363 @ 0.043815 0.01/2.05 c bounds 345202 >= 304377 @ 0.044009 0.01/2.05 c bounds 345202 >= 304387 @ 0.044206 0.01/2.05 c bounds 345202 >= 304397 @ 0.044491 0.01/2.05 c bounds 345186 >= 304397 @ 0.045251 0.01/2.05 c bounds 345186 >= 304403 @ 0.045485 0.01/2.05 c bounds 345186 >= 304408 @ 0.045715 0.01/2.05 c bounds 345186 >= 304413 @ 0.045941 0.01/2.05 c bounds 345186 >= 304417 @ 0.046165 0.01/2.05 c bounds 345186 >= 304421 @ 0.046463 0.01/2.05 c bounds 345170 >= 304421 @ 0.046728 0.01/2.05 c bounds 345170 >= 304423 @ 0.047072 0.01/2.05 c bounds 345170 >= 304428 @ 0.047173 0.01/2.05 c bounds 345168 >= 304428 @ 0.047173 0.01/2.05 c bounds 345168 >= 304449 @ 0.047173 0.01/2.05 c bounds 345168 >= 304450 @ 0.047173 0.01/2.05 c bounds 345168 >= 304451 @ 0.047173 0.01/2.05 c bounds 345168 >= 304465 @ 0.047318 0.01/2.05 c bounds 345167 >= 304465 @ 0.047689 0.01/2.05 c bounds 345167 >= 304470 @ 0.04786 0.01/2.05 c bounds 345167 >= 304475 @ 0.048036 0.01/2.05 c bounds 345167 >= 304476 @ 0.048204 0.01/2.05 c bounds 345166 >= 304476 @ 0.048615 0.01/2.05 c bounds 345166 >= 304477 @ 0.048811 0.01/2.08 c bounds 345166 >= 304487 @ 0.048984 0.01/2.08 c bounds 345166 >= 304497 @ 0.04915 0.01/2.08 c bounds 345163 >= 304497 @ 0.049438 0.01/2.08 c bounds 345163 >= 304501 @ 0.049651 0.01/2.08 c bounds 345163 >= 304506 @ 0.04982 0.01/2.08 c bounds 345162 >= 304506 @ 0.05062 0.01/2.08 c bounds 345162 >= 304510 @ 0.050832 0.01/2.08 c bounds 345162 >= 304511 @ 0.051051 0.01/2.08 c bounds 345162 >= 304515 @ 0.051289 0.01/2.08 c bounds 345162 >= 304521 @ 0.051491 0.01/2.08 c bounds 345162 >= 304526 @ 0.051772 0.01/2.08 c bounds 345162 >= 304530 @ 0.051999 0.01/2.08 c bounds 345162 >= 304535 @ 0.052252 0.01/2.08 c bounds 345160 >= 304535 @ 0.052658 0.01/2.08 c bounds 345160 >= 304540 @ 0.052916 0.01/2.08 c bounds 345160 >= 304544 @ 0.05315 0.01/2.08 c bounds 345160 >= 304549 @ 0.053538 0.01/2.08 c bounds 345156 >= 304549 @ 0.053965 0.01/2.08 c bounds 345156 >= 304552 @ 0.054156 0.01/2.08 c bounds 345156 >= 304554 @ 0.054156 0.01/2.08 c bounds 345156 >= 304555 @ 0.054296 0.01/2.08 c bounds 345155 >= 304555 @ 0.054738 0.01/2.08 c bounds 345155 >= 305560 @ 0.054824 0.01/2.08 c bounds 345155 >= 305565 @ 0.054905 0.01/2.08 c bounds 345155 >= 305567 @ 0.054982 0.01/2.08 c bounds 345155 >= 305569 @ 0.055063 0.01/2.08 c bounds 345155 >= 305570 @ 0.055142 0.01/2.08 c bounds 345155 >= 305575 @ 0.055161 0.01/2.08 c bounds 345155 >= 305698 @ 0.055161 0.01/2.08 c bounds 345155 >= 305763 @ 0.055161 0.01/2.08 c bounds 345152 >= 305763 @ 0.055161 0.01/2.08 c bounds 345152 >= 305825 @ 0.055247 0.01/2.08 c bounds 345152 >= 305890 @ 0.055503 0.01/2.08 c bounds 345152 >= 305926 @ 0.055639 0.01/2.08 c bounds 345152 >= 305957 @ 0.055788 0.01/2.08 c bounds 345152 >= 305958 @ 0.055887 0.01/2.08 c bounds 345152 >= 305959 @ 0.055983 0.01/2.08 c bounds 345152 >= 305960 @ 0.056075 0.01/2.08 c bounds 345152 >= 305965 @ 0.056164 0.01/2.08 c bounds 345152 >= 305967 @ 0.056287 0.01/2.08 c bounds 345152 >= 305968 @ 0.056389 0.01/2.08 c bounds 345151 >= 305968 @ 0.057578 0.01/2.08 c bounds 345151 >= 306062 @ 0.057748 0.01/2.08 c bounds 345151 >= 306091 @ 0.057886 0.01/2.08 c bounds 345151 >= 306127 @ 0.058094 0.01/2.08 c bounds 345151 >= 306156 @ 0.058149 0.01/2.08 c bounds 345151 >= 306166 @ 0.058149 0.01/2.08 c bounds 345151 >= 306170 @ 0.058149 0.01/2.08 c bounds 345151 >= 306171 @ 0.058149 0.01/2.08 c bounds 345151 >= 306172 @ 0.058149 0.01/2.08 c bounds 345151 >= 306173 @ 0.058644 0.01/2.08 c bounds 345151 >= 306174 @ 0.059171 0.01/2.08 c bounds 345151 >= 308221 @ 0.059981 0.01/2.08 c bounds 345151 >= 312317 @ 0.060418 0.01/2.08 c bounds 345151 >= 317812 @ 0.06174 0.01/2.08 c bounds 345151 >= 318278 @ 0.062233 0.01/2.08 c bounds 345151 >= 318406 @ 0.062512 0.01/2.08 c bounds 345151 >= 318450 @ 0.062642 0.01/2.08 c bounds 345151 >= 318464 @ 0.062715 0.01/2.08 c bounds 345151 >= 320511 @ 0.062835 0.01/2.08 c bounds 345151 >= 320512 @ 0.062907 0.01/2.08 c bounds 345151 >= 322145 @ 0.063037 0.01/2.08 c bounds 345150 >= 322145 @ 0.063474 0.01/2.08 c bounds 345150 >= 323111 @ 0.063655 0.01/2.08 c bounds 345150 >= 323140 @ 0.063754 0.01/2.08 c bounds 345150 >= 323150 @ 0.063845 0.01/2.08 c bounds 345150 >= 323155 @ 0.06394 0.01/2.08 c bounds 345150 >= 323191 @ 0.064033 0.01/2.08 c bounds 345150 >= 323201 @ 0.064124 0.01/2.08 c bounds 345150 >= 323211 @ 0.064217 0.01/2.08 c bounds 345150 >= 323216 @ 0.064307 0.01/2.08 c bounds 345150 >= 323218 @ 0.0644 0.01/2.08 c bounds 345150 >= 323227 @ 0.064499 0.01/2.08 c bounds 345148 >= 323227 @ 0.06491 0.01/2.08 c bounds 345148 >= 323232 @ 0.065061 0.01/2.08 c bounds 345148 >= 323237 @ 0.065124 0.01/2.08 c bounds 345148 >= 323242 @ 0.065124 0.01/2.08 c bounds 345148 >= 323307 @ 0.065124 0.01/2.08 c bounds 345148 >= 323308 @ 0.065124 0.01/2.08 c bounds 345148 >= 323309 @ 0.065124 0.01/2.08 c bounds 345148 >= 323312 @ 0.065124 0.01/2.08 c bounds 345148 >= 323314 @ 0.065124 0.01/2.08 c bounds 345148 >= 323319 @ 0.065124 0.01/2.08 c bounds 345148 >= 323324 @ 0.065124 0.01/2.08 c bounds 345148 >= 323325 @ 0.065124 0.01/2.08 c bounds 345144 >= 323325 @ 0.065252 0.01/2.08 c bounds 345144 >= 323326 @ 0.065329 0.01/2.08 c bounds 345144 >= 323336 @ 0.065401 0.01/2.08 c bounds 345144 >= 323341 @ 0.06547 0.01/2.08 c bounds 345144 >= 323346 @ 0.065537 0.01/2.08 c bounds 345144 >= 323351 @ 0.065602 0.01/2.08 c bounds 345144 >= 323356 @ 0.065668 0.01/2.08 c bounds 345144 >= 323395 @ 0.065778 0.01/2.08 c bounds 345144 >= 323400 @ 0.066021 0.01/2.08 c bounds 345144 >= 323403 @ 0.066096 0.01/2.08 c bounds 345144 >= 323405 @ 0.066167 0.01/2.08 c bounds 345144 >= 323419 @ 0.066236 0.01/2.08 c bounds 345144 >= 323428 @ 0.066302 0.01/2.08 c bounds 345144 >= 323443 @ 0.066368 0.01/2.08 c bounds 345144 >= 323452 @ 0.066434 0.01/2.08 c bounds 345144 >= 323457 @ 0.0665 0.01/2.08 c bounds 345142 >= 323457 @ 0.066977 0.01/2.08 c bounds 345142 >= 323462 @ 0.067057 0.01/2.08 c bounds 345142 >= 323467 @ 0.06713 0.01/2.08 c bounds 345142 >= 323477 @ 0.0672 0.01/2.08 c bounds 345142 >= 323487 @ 0.067267 0.01/2.08 c bounds 345142 >= 323496 @ 0.067337 0.01/2.08 c bounds 345142 >= 323501 @ 0.067411 0.01/2.08 c bounds 345142 >= 323506 @ 0.067479 0.01/2.08 c bounds 345142 >= 323511 @ 0.067545 0.01/2.08 c bounds 345142 >= 323516 @ 0.067612 0.01/2.08 c bounds 345142 >= 323521 @ 0.067681 0.01/2.10 c bounds 345142 >= 323535 @ 0.067748 0.01/2.10 c bounds 345142 >= 323536 @ 0.067817 0.01/2.10 c bounds 345139 >= 323536 @ 0.068078 0.01/2.10 c bounds 345139 >= 323557 @ 0.068157 0.01/2.10 c bounds 345139 >= 323562 @ 0.068229 0.01/2.10 c bounds 345139 >= 323572 @ 0.068298 0.01/2.10 c bounds 345139 >= 323586 @ 0.06837 0.01/2.10 c bounds 345139 >= 323587 @ 0.068439 0.01/2.10 c bounds 345139 >= 323588 @ 0.068508 0.01/2.10 c bounds 345139 >= 323589 @ 0.068576 0.01/2.10 c bounds 345138 >= 323589 @ 0.069167 0.01/2.10 c bounds 345138 >= 323594 @ 0.069253 0.01/2.10 c bounds 345138 >= 323599 @ 0.069326 0.01/2.10 c bounds 345138 >= 323609 @ 0.069409 0.01/2.10 c bounds 345138 >= 323619 @ 0.06949 0.01/2.10 c bounds 345138 >= 323624 @ 0.069561 0.01/2.10 c bounds 345138 >= 323629 @ 0.069635 0.01/2.10 c bounds 345138 >= 323635 @ 0.069707 0.01/2.10 c bounds 345138 >= 323640 @ 0.069778 0.01/2.10 c bounds 345138 >= 323645 @ 0.069846 0.01/2.10 c bounds 345138 >= 323681 @ 0.069915 0.01/2.10 c bounds 345138 >= 323804 @ 0.069984 0.01/2.10 c bounds 345138 >= 323809 @ 0.070053 0.01/2.10 c bounds 345138 >= 323813 @ 0.070124 0.01/2.10 c bounds 345136 >= 323813 @ 0.070974 0.01/2.10 c bounds 345136 >= 323818 @ 0.071064 0.01/2.10 c bounds 345136 >= 323823 @ 0.071153 0.01/2.10 c bounds 345136 >= 323827 @ 0.071229 0.01/2.10 c bounds 345136 >= 323831 @ 0.071301 0.01/2.10 c bounds 345136 >= 323832 @ 0.071372 0.01/2.10 c bounds 345136 >= 323836 @ 0.071446 0.01/2.10 c bounds 345136 >= 323841 @ 0.071518 0.01/2.10 c bounds 345136 >= 323845 @ 0.071588 0.01/2.10 c bounds 345136 >= 323855 @ 0.071659 0.01/2.10 c bounds 345136 >= 323856 @ 0.071733 0.01/2.10 c bounds 345136 >= 323865 @ 0.071811 0.01/2.10 c bounds 345136 >= 323870 @ 0.071884 0.01/2.10 c bounds 345136 >= 323874 @ 0.071959 0.01/2.10 c bounds 345136 >= 323875 @ 0.072032 0.01/2.10 c bounds 345136 >= 323879 @ 0.072116 0.01/2.10 c bounds 345136 >= 323884 @ 0.072193 0.01/2.10 c bounds 345136 >= 323894 @ 0.072266 0.01/2.10 c bounds 345136 >= 323908 @ 0.072339 0.01/2.10 c bounds 345136 >= 323914 @ 0.072413 0.01/2.10 c bounds 345113 >= 323914 @ 0.073207 0.01/2.10 c bounds 345113 >= 323918 @ 0.073298 0.01/2.10 c bounds 345113 >= 323923 @ 0.07338 0.01/2.10 c bounds 345113 >= 323928 @ 0.073465 0.01/2.10 c bounds 345113 >= 323938 @ 0.073544 0.01/2.10 c bounds 345113 >= 323943 @ 0.073626 0.01/2.10 c bounds 345113 >= 324005 @ 0.073703 0.01/2.10 c bounds 345113 >= 324070 @ 0.07377 0.01/2.10 c bounds 345113 >= 324082 @ 0.07385 0.01/2.10 c bounds 345113 >= 324083 @ 0.073928 0.01/2.10 c bounds 345113 >= 324119 @ 0.074004 0.01/2.10 c bounds 345113 >= 324120 @ 0.07408 0.01/2.10 c bounds 345113 >= 324121 @ 0.074159 0.01/2.10 c bounds 345113 >= 324125 @ 0.074235 0.01/2.10 c bounds 345113 >= 324154 @ 0.074312 0.01/2.10 c bounds 345113 >= 324164 @ 0.074388 0.01/2.10 c bounds 345113 >= 324193 @ 0.074477 0.01/2.10 c bounds 345108 >= 324193 @ 0.075012 0.01/2.10 c bounds 345108 >= 325134 @ 0.075154 0.01/2.10 c bounds 345108 >= 326241 @ 0.075389 0.01/2.10 c bounds 345108 >= 327182 @ 0.075548 0.01/2.10 c bounds 345108 >= 328289 @ 0.075712 0.01/2.10 c bounds 345105 >= 328289 @ 0.076049 0.01/2.10 c bounds 345105 >= 328292 @ 0.076283 0.01/2.10 c bounds 345105 >= 328293 @ 0.076436 0.01/2.10 c bounds 345102 >= 328293 @ 0.07716 0.01/2.10 c bounds 345102 >= 328302 @ 0.07732 0.01/2.10 c bounds 345102 >= 328304 @ 0.077476 0.01/2.10 c bounds 345102 >= 328314 @ 0.077634 0.01/2.10 c bounds 345102 >= 328324 @ 0.077801 0.01/2.10 c bounds 345090 >= 328324 @ 0.078106 0.01/2.10 c bounds 345090 >= 328329 @ 0.078265 0.01/2.10 c bounds 345090 >= 328334 @ 0.078418 0.01/2.10 c bounds 345087 >= 328334 @ 0.07913 0.01/2.10 c bounds 345087 >= 328339 @ 0.079294 0.01/2.10 c bounds 345087 >= 328344 @ 0.079449 0.01/2.10 c bounds 345087 >= 328409 @ 0.0796 0.01/2.10 c bounds 345087 >= 328414 @ 0.07975 0.01/2.10 c bounds 345084 >= 328414 @ 0.080237 0.01/2.10 c bounds 345084 >= 328453 @ 0.080403 0.01/2.10 c bounds 345084 >= 328458 @ 0.08056 0.01/2.10 c bounds 345082 >= 328458 @ 0.081159 0.01/2.10 c bounds 345082 >= 328461 @ 0.081339 0.01/2.10 c bounds 345082 >= 328463 @ 0.081498 0.01/2.10 c bounds 345082 >= 328477 @ 0.081661 0.01/2.10 c bounds 345081 >= 328477 @ 0.082044 0.01/2.10 c bounds 345081 >= 328486 @ 0.082213 0.01/2.10 c bounds 345081 >= 328501 @ 0.082372 0.01/2.10 c bounds 345077 >= 328501 @ 0.082916 0.01/2.10 c bounds 345077 >= 328510 @ 0.083085 0.01/2.10 c bounds 345077 >= 328515 @ 0.083244 0.01/2.10 c bounds 345077 >= 328520 @ 0.083399 0.01/2.10 c bounds 345072 >= 328520 @ 0.083714 0.01/2.10 c bounds 345072 >= 328525 @ 0.083876 0.01/2.10 c bounds 345070 >= 328525 @ 0.084946 0.01/2.10 c bounds 345070 >= 328535 @ 0.085205 0.01/2.10 c bounds 345070 >= 328545 @ 0.085366 0.01/2.10 c bounds 345070 >= 328554 @ 0.085524 0.01/2.10 c bounds 345070 >= 328559 @ 0.085679 0.01/2.10 c bounds 345070 >= 328564 @ 0.085836 0.01/2.10 c bounds 345070 >= 328569 @ 0.085991 0.01/2.10 c bounds 345065 >= 328569 @ 0.086742 0.01/2.10 c bounds 345065 >= 328574 @ 0.086919 0.01/2.10 c bounds 345065 >= 328579 @ 0.087083 0.01/2.10 c bounds 345065 >= 328580 @ 0.087254 0.01/2.10 c bounds 345065 >= 328581 @ 0.087414 0.01/2.10 c bounds 345062 >= 328581 @ 0.087722 0.11/2.12 c bounds 345062 >= 328586 @ 0.087892 0.11/2.12 c bounds 345053 >= 328586 @ 0.088766 0.11/2.12 c bounds 345053 >= 328596 @ 0.089038 0.11/2.12 c bounds 345053 >= 328606 @ 0.089207 0.11/2.12 c bounds 345053 >= 328611 @ 0.08937 0.11/2.12 c bounds 345053 >= 328616 @ 0.089535 0.11/2.12 c bounds 345052 >= 328616 @ 0.090368 0.11/2.12 c bounds 345052 >= 328670 @ 0.090544 0.11/2.12 c bounds 345052 >= 328675 @ 0.090712 0.11/2.12 c bounds 345052 >= 328680 @ 0.090875 0.11/2.12 c bounds 345052 >= 328694 @ 0.09104 0.11/2.12 c bounds 345050 >= 328694 @ 0.091472 0.11/2.12 c bounds 345050 >= 328704 @ 0.091645 0.11/2.12 c bounds 345050 >= 330752 @ 0.091837 0.11/2.12 c bounds 345048 >= 330752 @ 0.09342 0.11/2.12 c bounds 345048 >= 332800 @ 0.093705 0.11/2.12 c bounds 345048 >= 332801 @ 0.093904 0.11/2.12 c bounds 345048 >= 332803 @ 0.094146 0.11/2.12 c bounds 345048 >= 332806 @ 0.094393 0.11/2.12 c bounds 345048 >= 332807 @ 0.094632 0.11/2.12 c bounds 345048 >= 334573 @ 0.094854 0.11/2.12 c bounds 345030 >= 334573 @ 0.095208 0.11/2.12 c bounds 345030 >= 334866 @ 0.095421 0.11/2.12 c bounds 345030 >= 334867 @ 0.095523 0.11/2.12 c bounds 345030 >= 334868 @ 0.095616 0.11/2.12 c bounds 345030 >= 334869 @ 0.095706 0.11/2.12 c bounds 345030 >= 334870 @ 0.095797 0.11/2.12 c bounds 345025 >= 334870 @ 0.096379 0.11/2.12 c bounds 345025 >= 334871 @ 0.096482 0.11/2.12 c bounds 345025 >= 334872 @ 0.096575 0.11/2.12 c bounds 345025 >= 334873 @ 0.096673 0.11/2.12 c bounds 345025 >= 334874 @ 0.096758 0.11/2.12 c bounds 345025 >= 334875 @ 0.096837 0.11/2.12 c bounds 345025 >= 334877 @ 0.096933 0.11/2.12 c bounds 345025 >= 336510 @ 0.097022 0.11/2.12 c bounds 345025 >= 336785 @ 0.097414 0.11/2.12 c bounds 345025 >= 337148 @ 0.097605 0.11/2.12 c bounds 345022 >= 337148 @ 0.097948 0.11/2.12 c bounds 345022 >= 337149 @ 0.098098 0.11/2.12 c bounds 345022 >= 337150 @ 0.098218 0.11/2.12 c bounds 345022 >= 337152 @ 0.098333 0.11/2.12 c bounds 345022 >= 337154 @ 0.098424 0.11/2.12 c bounds 345022 >= 337156 @ 0.098512 0.11/2.12 c bounds 345022 >= 337157 @ 0.0986 0.11/2.12 c bounds 345022 >= 337158 @ 0.098687 0.11/2.12 c bounds 345021 >= 337158 @ 0.099196 0.11/2.12 c bounds 345021 >= 337159 @ 0.0993 0.11/2.12 c bounds 345021 >= 337164 @ 0.099394 0.11/2.12 c bounds 345021 >= 337166 @ 0.099516 0.11/2.12 c bounds 345021 >= 337168 @ 0.099619 0.11/2.12 c bounds 345021 >= 337170 @ 0.099725 0.11/2.12 c bounds 345021 >= 337175 @ 0.09982 0.11/2.12 c bounds 345021 >= 337180 @ 0.099913 0.11/2.12 c bounds 345021 >= 337225 @ 0.100006 0.11/2.12 c bounds 345021 >= 337226 @ 0.100127 0.11/2.12 c bounds 345021 >= 337229 @ 0.100249 0.11/2.12 c bounds 345021 >= 337230 @ 0.100359 0.11/2.12 c bounds 345019 >= 337230 @ 0.101531 0.11/2.12 c bounds 345019 >= 337231 @ 0.10173 0.11/2.12 c bounds 345019 >= 337233 @ 0.101865 0.11/2.12 c bounds 345019 >= 337236 @ 0.10198 0.11/2.12 c bounds 345019 >= 337238 @ 0.102097 0.11/2.12 c bounds 345019 >= 337240 @ 0.102239 0.11/2.12 c bounds 345019 >= 337244 @ 0.10236 0.11/2.12 c bounds 345019 >= 337245 @ 0.102487 0.11/2.12 c bounds 345019 >= 337246 @ 0.102604 0.11/2.12 c bounds 345019 >= 337247 @ 0.102719 0.11/2.12 c bounds 345019 >= 337248 @ 0.102838 0.11/2.12 c bounds 345019 >= 337249 @ 0.102964 0.11/2.12 c bounds 345019 >= 337250 @ 0.103081 0.11/2.12 c bounds 345019 >= 337251 @ 0.103193 0.11/2.12 c bounds 345019 >= 337252 @ 0.103322 0.11/2.12 c bounds 345019 >= 337255 @ 0.10344 0.11/2.12 c bounds 345019 >= 337257 @ 0.103558 0.11/2.12 c bounds 345019 >= 337259 @ 0.103672 0.11/2.12 c bounds 345019 >= 337262 @ 0.103802 0.11/2.12 c bounds 345019 >= 337265 @ 0.103922 0.11/2.12 c bounds 345019 >= 337276 @ 0.104062 0.11/2.12 c bounds 345019 >= 337277 @ 0.104179 0.11/2.12 c bounds 345019 >= 337278 @ 0.104319 0.11/2.12 c bounds 345019 >= 337279 @ 0.104446 0.11/2.12 c bounds 345017 >= 337279 @ 0.105305 0.11/2.12 c bounds 345017 >= 337281 @ 0.105448 0.11/2.12 c bounds 345017 >= 337284 @ 0.10558 0.11/2.12 c bounds 345017 >= 337285 @ 0.105709 0.11/2.12 c bounds 345017 >= 337286 @ 0.10584 0.11/2.12 c bounds 345017 >= 337290 @ 0.105968 0.11/2.12 c bounds 345017 >= 337291 @ 0.106007 0.11/2.12 c bounds 345017 >= 337292 @ 0.106007 0.11/2.12 c bounds 345017 >= 337293 @ 0.106007 0.11/2.12 c bounds 345017 >= 337298 @ 0.106007 0.11/2.12 c bounds 345017 >= 337334 @ 0.106007 0.11/2.12 c bounds 345017 >= 337336 @ 0.106007 0.11/2.12 c bounds 345017 >= 337339 @ 0.106007 0.11/2.12 c bounds 345017 >= 337344 @ 0.106036 0.11/2.12 c bounds 345014 >= 337344 @ 0.10687 0.11/2.12 c bounds 345014 >= 337347 @ 0.107012 0.11/2.12 c bounds 345014 >= 337349 @ 0.107039 0.11/2.12 c bounds 345014 >= 337350 @ 0.107039 0.11/2.12 c bounds 345014 >= 337351 @ 0.107039 0.11/2.12 c bounds 345014 >= 337626 @ 0.107039 0.11/2.12 c bounds 345014 >= 337751 @ 0.107039 0.11/2.12 c bounds 345014 >= 337861 @ 0.107039 0.11/2.12 c bounds 345014 >= 337991 @ 0.107039 0.11/2.12 c bounds 345013 >= 337991 @ 0.107231 0.11/2.12 c bounds 345013 >= 338115 @ 0.107433 0.11/2.12 c bounds 345013 >= 338146 @ 0.107668 0.11/2.12 c bounds 345013 >= 338156 @ 0.107914 0.11/2.12 c bounds 345013 >= 338162 @ 0.108032 0.11/2.12 c bounds 345012 >= 338162 @ 0.108032 0.11/2.12 c bounds 345012 >= 338167 @ 0.108032 0.11/2.17 c bounds 345012 >= 338172 @ 0.108241 0.11/2.17 c bounds 345012 >= 338177 @ 0.108606 0.11/2.17 c bounds 345012 >= 338242 @ 0.10883 0.11/2.17 c bounds 345009 >= 338242 @ 0.109807 0.11/2.17 c bounds 345009 >= 338289 @ 0.109979 0.11/2.17 c bounds 345009 >= 338294 @ 0.110281 0.11/2.17 c bounds 345009 >= 338300 @ 0.110552 0.11/2.17 c bounds 345009 >= 338334 @ 0.110738 0.11/2.17 c bounds 345009 >= 338365 @ 0.110889 0.11/2.17 c bounds 345009 >= 338372 @ 0.111022 0.11/2.17 c bounds 345009 >= 338393 @ 0.111022 0.11/2.17 c bounds 345009 >= 338408 @ 0.111022 0.11/2.17 c bounds 345009 >= 338417 @ 0.111022 0.11/2.17 c bounds 345006 >= 338417 @ 0.111561 0.11/2.17 c bounds 345006 >= 338427 @ 0.1118 0.11/2.17 c bounds 345006 >= 338438 @ 0.112025 0.11/2.17 c bounds 345006 >= 338447 @ 0.112268 0.11/2.17 c bounds 345006 >= 338455 @ 0.112545 0.11/2.17 c bounds 345006 >= 338465 @ 0.112839 0.11/2.17 c bounds 345006 >= 338475 @ 0.113109 0.11/2.17 c bounds 345004 >= 338475 @ 0.11378 0.11/2.17 c bounds 345004 >= 338485 @ 0.114077 0.11/2.17 c bounds 345004 >= 338486 @ 0.114273 0.11/2.17 c bounds 345004 >= 338494 @ 0.114565 0.11/2.17 c bounds 345004 >= 338500 @ 0.114814 0.11/2.17 c bounds 345004 >= 338505 @ 0.11501 0.11/2.17 c bounds 344996 >= 338505 @ 0.11501 0.11/2.17 c bounds 344996 >= 338514 @ 0.11518 0.11/2.17 c bounds 344996 >= 338523 @ 0.115457 0.11/2.17 c bounds 344996 >= 338532 @ 0.115787 0.11/2.17 c bounds 344996 >= 338541 @ 0.116126 0.11/2.17 c bounds 344995 >= 338541 @ 0.116983 0.11/2.17 c bounds 344995 >= 338550 @ 0.11729 0.11/2.17 c bounds 344995 >= 338559 @ 0.117564 0.11/2.17 c bounds 344995 >= 338568 @ 0.117834 0.11/2.17 c bounds 344995 >= 338573 @ 0.118002 0.11/2.17 c bounds 344995 >= 338578 @ 0.118002 0.11/2.17 c bounds 344995 >= 338583 @ 0.118002 0.11/2.17 c bounds 344991 >= 338583 @ 0.118749 0.11/2.17 c bounds 344991 >= 338588 @ 0.119059 0.11/2.17 c bounds 344991 >= 338593 @ 0.119363 0.11/2.17 c bounds 344991 >= 338598 @ 0.119661 0.11/2.17 c bounds 344991 >= 338603 @ 0.119958 0.11/2.17 c bounds 344991 >= 338608 @ 0.119996 0.11/2.17 c bounds 344988 >= 338608 @ 0.120682 0.11/2.17 c bounds 344988 >= 338613 @ 0.121009 0.11/2.17 c bounds 344988 >= 338618 @ 0.12131 0.11/2.17 c bounds 344988 >= 338623 @ 0.121607 0.11/2.17 c bounds 344988 >= 338628 @ 0.121903 0.11/2.17 c bounds 344988 >= 338633 @ 0.12199 0.11/2.17 c bounds 344988 >= 338638 @ 0.12199 0.11/2.17 c bounds 344988 >= 338643 @ 0.12199 0.11/2.17 c bounds 344988 >= 338648 @ 0.12231 0.11/2.17 c bounds 344985 >= 338648 @ 0.122727 0.11/2.17 c bounds 344985 >= 338653 @ 0.123083 0.11/2.17 c bounds 344985 >= 338658 @ 0.123464 0.11/2.17 c bounds 344982 >= 338658 @ 0.124078 0.11/2.17 c bounds 344982 >= 338663 @ 0.124443 0.11/2.17 c bounds 344982 >= 338668 @ 0.124797 0.11/2.17 c bounds 344982 >= 338673 @ 0.125179 0.11/2.17 c bounds 344974 >= 338673 @ 0.125667 0.11/2.17 c bounds 344974 >= 338678 @ 0.126044 0.11/2.17 c bounds 344974 >= 338682 @ 0.126476 0.11/2.17 c bounds 344974 >= 338686 @ 0.126895 0.11/2.17 c bounds 344972 >= 338686 @ 0.127756 0.11/2.17 c bounds 344972 >= 338690 @ 0.127973 0.11/2.17 c bounds 344972 >= 338694 @ 0.127973 0.11/2.17 c bounds 344972 >= 338698 @ 0.127973 0.11/2.17 c bounds 344972 >= 338702 @ 0.127973 0.11/2.17 c bounds 344972 >= 338705 @ 0.127973 0.11/2.17 c bounds 344952 >= 338705 @ 0.127973 0.11/2.17 c bounds 344952 >= 338708 @ 0.128128 0.11/2.17 c bounds 344952 >= 338710 @ 0.128633 0.11/2.17 c bounds 344952 >= 338715 @ 0.128937 0.11/2.17 c bounds 344929 >= 338715 @ 0.129708 0.11/2.17 c bounds 344929 >= 338718 @ 0.129964 0.11/2.17 c bounds 344929 >= 338720 @ 0.129964 0.11/2.17 c bounds 344929 >= 338723 @ 0.129964 0.11/2.17 c bounds 344929 >= 338726 @ 0.129964 0.11/2.17 c bounds 344928 >= 338726 @ 0.130549 0.11/2.17 c bounds 344928 >= 338729 @ 0.131125 0.11/2.17 c bounds 344928 >= 338732 @ 0.131754 0.11/2.17 c bounds 344928 >= 338734 @ 0.131956 0.11/2.17 c bounds 344926 >= 338734 @ 0.133203 0.11/2.17 c bounds 344926 >= 338736 @ 0.133828 0.11/2.17 c bounds 344926 >= 338738 @ 0.13395 0.11/2.17 c bounds 344926 >= 338741 @ 0.13395 0.11/2.17 c bounds 344926 >= 338743 @ 0.134368 0.11/2.17 c bounds 344926 >= 338746 @ 0.134815 0.11/2.17 c bounds 344926 >= 338748 @ 0.134945 0.11/2.17 c bounds 344926 >= 338751 @ 0.134945 0.11/2.17 c bounds 344926 >= 338753 @ 0.134945 0.11/2.17 c bounds 344926 >= 338755 @ 0.134945 0.11/2.17 c bounds 344926 >= 338758 @ 0.135387 0.11/2.17 c bounds 344926 >= 338760 @ 0.135963 0.11/2.17 c bounds 344926 >= 338762 @ 0.136495 0.11/2.17 c bounds 344926 >= 338764 @ 0.137032 0.11/2.17 c bounds 344925 >= 338764 @ 0.139273 0.11/2.17 c bounds 344925 >= 338767 @ 0.139842 0.11/2.17 c bounds 344925 >= 338769 @ 0.139929 0.11/2.17 c bounds 344925 >= 338770 @ 0.139954 0.11/2.17 c bounds 344925 >= 338771 @ 0.140623 0.11/2.17 c bounds 344925 >= 338772 @ 0.140925 0.11/2.17 c bounds 344925 >= 338773 @ 0.140925 0.11/2.17 c bounds 344925 >= 338774 @ 0.140925 0.11/2.17 c bounds 344925 >= 338775 @ 0.140925 0.11/2.17 c bounds 344925 >= 338776 @ 0.140925 0.11/2.17 c bounds 344925 >= 338777 @ 0.141276 0.11/2.17 c bounds 344925 >= 338778 @ 0.141867 0.11/2.17 c bounds 344925 >= 338779 @ 0.142471 0.11/2.17 c bounds 344925 >= 338780 @ 0.143105 0.20/2.24 c bounds 344925 >= 338781 @ 0.14378 0.20/2.24 c bounds 344925 >= 338782 @ 0.143915 0.20/2.24 c bounds 344925 >= 338783 @ 0.144186 0.20/2.24 c bounds 344925 >= 338784 @ 0.145124 0.20/2.24 c bounds 344924 >= 338784 @ 0.145768 0.20/2.24 c bounds 344924 >= 338872 @ 0.145909 0.20/2.24 c bounds 344924 >= 338907 @ 0.146004 0.20/2.24 c bounds 344921 >= 338907 @ 0.14686 0.20/2.24 c bounds 344921 >= 338911 @ 0.146904 0.20/2.24 c bounds 344921 >= 338912 @ 0.146904 0.20/2.24 c bounds 344921 >= 338921 @ 0.146904 0.20/2.24 c bounds 344921 >= 338922 @ 0.146904 0.20/2.24 c bounds 344917 >= 338922 @ 0.147799 0.20/2.24 c bounds 344917 >= 338923 @ 0.148721 0.20/2.24 c bounds 344917 >= 338924 @ 0.148893 0.20/2.24 c bounds 344917 >= 338926 @ 0.149167 0.20/2.24 c bounds 344917 >= 338932 @ 0.150039 0.20/2.24 c bounds 344917 >= 338936 @ 0.150511 0.20/2.24 c bounds 344917 >= 338937 @ 0.151321 0.20/2.24 c bounds 344916 >= 338937 @ 0.153767 0.20/2.24 c bounds 344916 >= 338938 @ 0.154723 0.20/2.24 c bounds 344916 >= 338941 @ 0.154878 0.20/2.24 c bounds 344916 >= 338943 @ 0.154878 0.20/2.24 c bounds 344916 >= 338944 @ 0.154878 0.20/2.24 c bounds 344916 >= 338946 @ 0.154914 0.20/2.24 c bounds 344916 >= 338947 @ 0.155775 0.20/2.24 c bounds 344916 >= 338948 @ 0.156137 0.20/2.24 c bounds 344916 >= 338952 @ 0.156557 0.20/2.24 c bounds 344916 >= 338953 @ 0.156872 0.20/2.24 c bounds 344916 >= 338955 @ 0.156872 0.20/2.24 c bounds 344916 >= 338956 @ 0.156872 0.20/2.24 c bounds 344916 >= 338957 @ 0.156872 0.20/2.24 c bounds 344916 >= 338958 @ 0.156872 0.20/2.24 c bounds 344916 >= 338959 @ 0.156872 0.20/2.24 c bounds 344916 >= 338960 @ 0.156872 0.20/2.24 c bounds 344916 >= 338961 @ 0.156872 0.20/2.24 c bounds 344916 >= 338965 @ 0.157121 0.20/2.24 c bounds 344900 >= 338965 @ 0.157893 0.20/2.24 c bounds 344900 >= 338966 @ 0.158418 0.20/2.24 c bounds 344900 >= 338967 @ 0.158972 0.20/2.24 c bounds 344900 >= 338968 @ 0.159513 0.20/2.24 c bounds 344900 >= 338969 @ 0.160024 0.20/2.24 c bounds 344900 >= 338970 @ 0.160502 0.20/2.24 c bounds 344900 >= 338971 @ 0.160855 0.20/2.24 c bounds 344880 >= 338971 @ 0.160855 0.20/2.24 c bounds 344880 >= 338975 @ 0.16101 0.20/2.24 c bounds 344880 >= 338976 @ 0.161551 0.20/2.24 c bounds 344880 >= 338977 @ 0.161852 0.20/2.24 c bounds 344860 >= 338977 @ 0.161852 0.20/2.24 c bounds 344860 >= 338978 @ 0.161852 0.20/2.24 c bounds 344860 >= 338979 @ 0.161852 0.20/2.24 c bounds 344860 >= 338980 @ 0.161852 0.20/2.24 c bounds 344844 >= 338980 @ 0.162063 0.20/2.24 c bounds 344844 >= 338981 @ 0.16274 0.20/2.24 c bounds 344844 >= 338982 @ 0.162845 0.20/2.24 c bounds 344844 >= 338983 @ 0.162845 0.20/2.24 c bounds 344844 >= 338986 @ 0.162845 0.20/2.24 c bounds 344843 >= 338986 @ 0.163618 0.20/2.24 c bounds 344843 >= 338987 @ 0.16445 0.20/2.24 c bounds 344843 >= 338989 @ 0.164947 0.20/2.24 c bounds 344843 >= 338990 @ 0.165668 0.20/2.24 c bounds 344843 >= 338994 @ 0.165837 0.20/2.24 c bounds 344843 >= 338995 @ 0.165853 0.20/2.24 c bounds 344841 >= 338995 @ 0.166771 0.20/2.24 c bounds 344841 >= 338996 @ 0.167614 0.20/2.24 c bounds 344841 >= 338997 @ 0.167832 0.20/2.24 c bounds 344841 >= 338999 @ 0.167887 0.20/2.24 c bounds 344841 >= 339002 @ 0.168293 0.20/2.24 c bounds 344841 >= 339004 @ 0.168679 0.20/2.24 c bounds 344841 >= 339006 @ 0.169119 0.20/2.24 c bounds 344838 >= 339006 @ 0.170148 0.20/2.24 c bounds 344838 >= 339009 @ 0.170551 0.20/2.24 c bounds 344838 >= 339010 @ 0.170824 0.20/2.24 c bounds 344838 >= 339014 @ 0.170824 0.20/2.24 c bounds 344838 >= 339015 @ 0.170824 0.20/2.24 c bounds 344838 >= 339019 @ 0.170824 0.20/2.24 c bounds 344838 >= 339025 @ 0.170824 0.20/2.24 c bounds 344838 >= 339027 @ 0.170824 0.20/2.24 c bounds 344838 >= 339031 @ 0.170824 0.20/2.24 c bounds 344838 >= 339041 @ 0.170824 0.20/2.24 c bounds 344838 >= 339045 @ 0.170824 0.20/2.24 c bounds 344838 >= 339050 @ 0.171662 0.20/2.24 c bounds 344835 >= 339050 @ 0.17226 0.20/2.24 c bounds 344835 >= 339086 @ 0.172815 0.20/2.24 c bounds 344835 >= 339115 @ 0.172815 0.20/2.24 c bounds 344835 >= 339120 @ 0.172815 0.20/2.24 c bounds 344835 >= 339129 @ 0.172973 0.20/2.24 c bounds 344821 >= 339129 @ 0.174061 0.20/2.24 c bounds 344821 >= 339134 @ 0.174477 0.20/2.24 c bounds 344821 >= 339139 @ 0.174816 0.20/2.24 c bounds 344821 >= 339144 @ 0.175111 0.20/2.24 c bounds 344821 >= 339149 @ 0.17545 0.20/2.24 c bounds 344821 >= 339154 @ 0.175807 0.20/2.24 c bounds 344821 >= 339159 @ 0.175807 0.20/2.24 c bounds 344821 >= 339163 @ 0.175807 0.20/2.24 c bounds 344821 >= 339166 @ 0.175807 0.20/2.24 c bounds 344820 >= 339166 @ 0.175807 0.20/2.24 c bounds 344820 >= 339169 @ 0.176201 0.20/2.24 c bounds 344820 >= 339172 @ 0.176553 0.20/2.24 c bounds 344820 >= 339175 @ 0.176802 0.20/2.24 c bounds 344820 >= 339178 @ 0.176802 0.20/2.24 c bounds 344820 >= 339181 @ 0.176802 0.20/2.24 c bounds 344792 >= 339181 @ 0.178274 0.20/2.24 c bounds 344792 >= 339183 @ 0.178795 0.20/2.24 c bounds 344792 >= 339184 @ 0.178971 0.20/2.24 c bounds 344792 >= 339185 @ 0.179149 0.20/2.24 c bounds 344792 >= 339186 @ 0.179318 0.20/2.24 c bounds 344792 >= 339188 @ 0.179728 0.20/2.24 c bounds 344792 >= 339206 @ 0.179983 0.20/2.24 c bounds 344792 >= 339222 @ 0.180138 0.20/2.24 c bounds 344792 >= 339233 @ 0.18039 0.20/2.28 c bounds 344792 >= 339238 @ 0.180635 0.20/2.28 c bounds 344792 >= 339243 @ 0.180876 0.20/2.28 c bounds 344792 >= 339248 @ 0.181113 0.20/2.28 c bounds 344792 >= 339253 @ 0.18135 0.20/2.28 c bounds 344792 >= 339257 @ 0.181658 0.20/2.28 c bounds 344792 >= 339261 @ 0.181789 0.20/2.28 c bounds 344792 >= 339264 @ 0.181789 0.20/2.28 c bounds 344792 >= 339267 @ 0.181789 0.20/2.28 c bounds 344792 >= 339270 @ 0.181959 0.20/2.28 c bounds 344792 >= 339273 @ 0.18229 0.20/2.28 c bounds 344792 >= 339276 @ 0.182622 0.20/2.28 c bounds 344792 >= 339279 @ 0.182787 0.20/2.28 c bounds 344792 >= 339282 @ 0.182787 0.20/2.28 c bounds 344792 >= 339285 @ 0.182787 0.20/2.28 c bounds 344792 >= 339287 @ 0.182787 0.20/2.28 c bounds 344792 >= 339290 @ 0.182787 0.20/2.28 c bounds 344792 >= 339292 @ 0.182787 0.20/2.28 c bounds 344789 >= 339292 @ 0.182882 0.20/2.28 c bounds 344789 >= 339294 @ 0.183351 0.20/2.28 c bounds 344789 >= 339296 @ 0.183732 0.20/2.28 c bounds 344789 >= 339298 @ 0.184163 0.20/2.28 c bounds 344789 >= 339300 @ 0.184558 0.20/2.28 c bounds 344789 >= 339302 @ 0.184953 0.20/2.28 c bounds 344789 >= 339304 @ 0.185346 0.20/2.28 c bounds 344789 >= 339306 @ 0.185767 0.20/2.28 c bounds 344789 >= 339308 @ 0.186177 0.20/2.28 c bounds 344789 >= 339310 @ 0.186589 0.20/2.28 c bounds 344789 >= 339312 @ 0.186774 0.20/2.28 c bounds 344789 >= 339314 @ 0.186774 0.20/2.28 c bounds 344786 >= 339314 @ 0.186774 0.20/2.28 c bounds 344786 >= 339316 @ 0.186774 0.20/2.28 c bounds 344786 >= 339318 @ 0.186774 0.20/2.28 c bounds 344786 >= 339320 @ 0.186774 0.20/2.28 c bounds 344786 >= 339322 @ 0.187343 0.20/2.28 c bounds 344782 >= 339322 @ 0.188131 0.20/2.28 c bounds 344782 >= 339323 @ 0.188751 0.20/2.28 c bounds 344782 >= 339324 @ 0.189313 0.20/2.28 c bounds 344782 >= 339325 @ 0.189884 0.20/2.28 c bounds 344782 >= 339328 @ 0.190246 0.20/2.28 c bounds 344775 >= 339328 @ 0.19135 0.20/2.28 c bounds 344775 >= 339329 @ 0.191759 0.20/2.28 c bounds 344775 >= 339583 @ 0.191759 0.20/2.28 c bounds 344775 >= 339710 @ 0.191759 0.20/2.28 c bounds 344775 >= 339834 @ 0.191759 0.20/2.28 c bounds 344775 >= 339841 @ 0.192012 0.20/2.28 c bounds 344775 >= 339869 @ 0.192274 0.20/2.28 c bounds 344775 >= 339874 @ 0.192621 0.20/2.28 c bounds 344774 >= 339874 @ 0.193123 0.20/2.28 c bounds 344774 >= 339876 @ 0.193731 0.20/2.28 c bounds 344774 >= 339878 @ 0.194194 0.20/2.28 c bounds 344774 >= 339880 @ 0.194683 0.20/2.28 c bounds 344771 >= 339880 @ 0.195186 0.20/2.28 c bounds 344771 >= 339881 @ 0.195814 0.20/2.28 c bounds 344771 >= 339905 @ 0.196084 0.20/2.28 c bounds 344771 >= 339906 @ 0.196661 0.20/2.28 c bounds 344770 >= 339906 @ 0.197367 0.20/2.28 c bounds 344770 >= 339907 @ 0.197744 0.20/2.28 c bounds 344770 >= 339908 @ 0.197744 0.20/2.28 c bounds 344770 >= 339921 @ 0.197771 0.20/2.28 c bounds 344770 >= 339926 @ 0.197913 0.20/2.28 c bounds 344770 >= 339927 @ 0.198048 0.20/2.28 c bounds 344770 >= 339928 @ 0.198179 0.20/2.28 c bounds 344770 >= 339929 @ 0.198318 0.20/2.28 c bounds 344770 >= 339939 @ 0.19845 0.20/2.28 c bounds 344769 >= 339939 @ 0.198956 0.20/2.28 c bounds 344769 >= 340062 @ 0.199216 0.20/2.28 c bounds 344769 >= 340127 @ 0.199482 0.20/2.28 c bounds 344769 >= 340399 @ 0.199672 0.20/2.28 c bounds 344766 >= 340399 @ 0.200514 0.20/2.28 c bounds 344766 >= 340400 @ 0.200861 0.20/2.28 c bounds 344766 >= 340401 @ 0.201179 0.20/2.28 c bounds 344766 >= 340402 @ 0.201477 0.20/2.28 c bounds 344763 >= 340402 @ 0.202465 0.20/2.28 c bounds 344763 >= 340403 @ 0.202828 0.20/2.28 c bounds 344763 >= 340404 @ 0.203131 0.20/2.28 c bounds 344759 >= 340404 @ 0.203608 0.20/2.28 c bounds 344759 >= 340405 @ 0.203963 0.20/2.28 c bounds 344759 >= 340406 @ 0.204274 0.20/2.28 c bounds 344752 >= 340406 @ 0.20495 0.20/2.28 c bounds 344752 >= 340407 @ 0.205307 0.20/2.28 c bounds 344751 >= 340407 @ 0.205958 0.20/2.28 c bounds 344751 >= 340408 @ 0.206315 0.20/2.28 c bounds 344751 >= 340409 @ 0.206634 0.20/2.28 c bounds 344750 >= 340409 @ 0.210113 0.20/2.28 c bounds 344750 >= 343615 @ 0.212505 0.20/2.28 c bounds 344750 >= 344186 @ 0.213309 0.20/2.28 c bounds 344750 >= 344338 @ 0.21362 0.20/2.28 c bounds 344750 >= 344409 @ 0.213779 0.20/2.28 c bounds 344750 >= 344447 @ 0.21389 0.20/2.28 c bounds 344750 >= 344448 @ 0.21395 0.20/2.28 c bounds 344750 >= 344512 @ 0.214049 0.20/2.28 c bounds 344750 >= 344576 @ 0.214132 0.20/2.28 c bounds 344750 >= 344581 @ 0.214257 0.20/2.28 c bounds 344750 >= 344586 @ 0.2144 0.20/2.28 c bounds 344750 >= 344591 @ 0.214516 0.20/2.28 c bounds 344750 >= 344596 @ 0.214606 0.20/2.28 c bounds 344750 >= 344601 @ 0.214681 0.20/2.28 c bounds 344750 >= 344604 @ 0.214698 0.20/2.28 c bounds 344750 >= 344606 @ 0.214698 0.20/2.28 c bounds 344750 >= 344608 @ 0.214698 0.20/2.28 c bounds 344750 >= 344609 @ 0.214698 0.20/2.28 c bounds 344750 >= 344610 @ 0.214698 0.20/2.28 c bounds 344750 >= 344611 @ 0.214698 0.20/2.28 c bounds 344750 >= 344612 @ 0.214698 0.20/2.28 c bounds 344750 >= 344613 @ 0.214698 0.20/2.28 c bounds 344750 >= 344614 @ 0.214698 0.20/2.28 c bounds 344750 >= 344615 @ 0.214704 0.20/2.28 c bounds 344750 >= 344616 @ 0.214704 0.20/2.28 c bounds 344750 >= 344617 @ 0.214704 0.20/2.28 c bounds 344750 >= 344618 @ 0.214704 0.20/2.28 c bounds 344750 >= 344658 @ 0.214704 0.20/2.29 c bounds 344750 >= 344663 @ 0.214704 0.20/2.29 c bounds 344750 >= 344668 @ 0.214704 0.20/2.29 c bounds 344750 >= 344671 @ 0.214704 0.20/2.29 c bounds 344750 >= 344673 @ 0.214704 0.20/2.29 c bounds 344750 >= 344675 @ 0.214704 0.20/2.29 c bounds 344750 >= 344676 @ 0.214704 0.20/2.29 c bounds 344750 >= 344677 @ 0.214704 0.20/2.29 c bounds 344750 >= 344678 @ 0.214704 0.20/2.29 c bounds 344750 >= 344679 @ 0.214704 0.20/2.29 c bounds 344750 >= 344680 @ 0.214704 0.20/2.29 c bounds 344750 >= 344681 @ 0.214704 0.20/2.29 c bounds 344750 >= 344682 @ 0.214704 0.20/2.29 c bounds 344750 >= 344683 @ 0.214864 0.20/2.29 c bounds 344750 >= 344684 @ 0.215006 0.20/2.29 c bounds 344750 >= 344685 @ 0.215217 0.20/2.29 c bounds 344750 >= 344686 @ 0.215454 0.20/2.29 c bounds 344750 >= 344687 @ 0.215627 0.20/2.29 c bounds 344750 >= 344688 @ 0.215699 0.20/2.29 c bounds 344750 >= 344689 @ 0.215699 0.20/2.29 c bounds 344750 >= 344690 @ 0.215699 0.20/2.29 c bounds 344750 >= 344691 @ 0.215724 0.20/2.29 c bounds 344750 >= 344691 @ 0.216349 0.20/2.29 c cpu time 0.216463 s 0.20/2.29 c deterministic time 11272622 1.13e+07 0.20/2.29 c optimization time 0.045811 s 0.20/2.29 c total solve time 0.170355 s 0.20/2.29 c core-guided solve time 0.102922 s 0.20/2.29 c propagation time 0.097804 s 0.20/2.29 c conflict analysis time 0.025032 s 0.20/2.29 c propagations 429923 0.20/2.29 c resolve steps 997 0.20/2.29 c decisions 138678 0.20/2.29 c conflicts 874 0.20/2.29 c restarts 6 0.20/2.29 c inprocessing phases 0 0.20/2.29 c input clauses 1698 0.20/2.29 c input cardinalities 875 0.20/2.29 c input general constraints 2131 0.20/2.29 c input average constraint length 6.03 0.20/2.29 c input average constraint degree 2056329.67 0.20/2.29 c learned clauses 130 0.20/2.29 c learned cardinalities 33 0.20/2.29 c learned general constraints 1129 0.20/2.29 c learned average constraint length 16.10 0.20/2.29 c learned average constraint degree 1119286.23 0.20/2.29 c watched constraints 642 0.20/2.29 c counting constraints 2618 0.20/2.29 c gcd simplifications 217 0.20/2.29 c detected cardinalities 5 0.20/2.29 c weakened non-implied lits 1495 0.20/2.29 c weakened non-implying lits 27 0.20/2.29 c original variables 90 0.20/2.29 c clausal propagations 44433 0.20/2.29 c cardinality propagations 55593 0.20/2.29 c watched propagations 11163 0.20/2.29 c counting propagations 173715 0.20/2.29 c watch lookups 2922585 0.20/2.29 c watch backjump lookups 2633715 0.20/2.29 c watch checks 1508635 0.20/2.29 c propagation checks 2954120 0.20/2.29 c constraint additions 116913 0.20/2.29 c trail pops 567234 0.20/2.29 c formula constraints 6 0.20/2.29 c learned constraints 1289 0.20/2.29 c bound constraints 133 0.20/2.29 c core-guided constraints 4565 0.20/2.29 c encountered formula constraints 423 0.20/2.29 c encountered learned constraints 519 0.20/2.29 c encountered bound constraints 309 0.20/2.29 c encountered core-guided constraints 579 0.20/2.29 c LP total time 0.020525 s 0.20/2.29 c LP solve time 0.02 s 0.20/2.29 c LP constraints added 6 0.20/2.29 c LP constraints removed 0 0.20/2.29 c LP pivots internal 814 0.20/2.29 c LP pivots root 4 0.20/2.29 c LP calls 729 0.20/2.29 c LP optimalities 727 0.20/2.29 c LP no pivot count 521 0.20/2.29 c LP infeasibilities 2 0.20/2.29 c LP valid Farkas constraints 2 0.20/2.29 c LP learned Farkas constraints 1 0.20/2.29 c LP basis resets 0 0.20/2.29 c LP cycling count 0 0.20/2.29 c LP singular count 0 0.20/2.29 c LP no primal count 0 0.20/2.29 c LP no farkas count 0 0.20/2.29 c LP other issue count 0 0.20/2.29 c LP Gomory cuts 0 0.20/2.29 c LP learned cuts 0 0.20/2.29 c LP deleted cuts 0 0.20/2.29 c LP encountered Gomory constraints 0 0.20/2.29 c LP encountered Farkas constraints 39 0.20/2.29 c LP encountered learned Farkas constraints 0 0.20/2.29 c CG auxiliary variables introduced 2212 0.20/2.29 c CG solutions found 133 0.20/2.29 c CG cores constructed 888 0.20/2.29 c CG core cardinality constraints returned 4 0.20/2.29 c CG unit cores 13 0.20/2.29 c CG single cores 827 0.20/2.29 c CG blocks removed during cardinality reduction 432 0.20/2.29 c CG first core best 0 0.20/2.29 c CG decision core best 20 0.20/2.29 c CG core reduction tie 28 0.20/2.29 c CG core degree average 1.01 0.20/2.29 c CG core slack average 3.18 0.20/2.29 o 344750 0.20/2.29 s OPTIMUM FOUND 0.29/2.30 v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 x73 x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
OK 344750
Running VeriPB version 2.2.1 s VERIFIED BOUNDS 344750 <= obj <= 344750 Verification succeeded.
-- veripb -- Running VeriPB version 2.2.1 s VERIFIED BOUNDS 344750 <= obj <= 344750 Verification succeeded. -- cakepb -- s VERIFIED BOUNDS 344750 <= obj <= 344750 --summary-- ALL OK
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: 63931 MiB (60610 MiB free)
memory of node 1: 64510 MiB (61925 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4462505-1723986218/watcher-4462505-1723986218 -o /tmp/evaluation-result-4462505-1723986218/solver-4462505-1723986218 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1723986218-905814 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462505-1723986218 --lp-cut-gomory=0 HOME/instance-4462505-1723986218.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 419430400 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=905874, runsolver pid=905859
Current StackSize limit: 8192 KiB
[startup+0.100078 s]*
/proc/loadavg: 0.08 0.08 0.09 4/257 905876
/proc/meminfo: memFree=125471480/131524600 swapFree=131071216/131071996
[pid=905874] ppid=905859 vsize=5124 memory=8 CPUtime=0 cores=5,7
/proc/905874/stat : 905874 (roundingsat) D 905859 905874 905801 0 -1 4194304 65 0 0 0 0 0 0 0 20 0 1 0 165217517 5246976 2 134679101440 4194304 8255733 140726152425552 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17764352 140726152434522 140726152434784 140726152434784 140726152441801 0
/proc/905874/statm: 1281 2 0 992 0 49 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 5124 KiB
Current children cumulated memory: 8 KiB
[startup+0.206321 s]*
/proc/loadavg: 0.40 0.15 0.11 4/257 905876
/proc/meminfo: memFree=125470724/131524600 swapFree=131071216/131071996
[pid=905874] ppid=905859 vsize=5124 memory=8 CPUtime=0 cores=5,7
/proc/905874/stat : 905874 (roundingsat) D 905859 905874 905801 0 -1 4194304 65 0 0 0 0 0 0 0 20 0 1 0 165217517 5246976 2 134679101440 4194304 8255733 140726152425552 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17764352 140726152434522 140726152434784 140726152434784 140726152441801 0
/proc/905874/statm: 1281 2 0 992 0 49 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 5124 KiB
Current children cumulated memory: 8 KiB
[startup+0.305261 s]*
/proc/loadavg: 0.40 0.15 0.11 2/257 905876
/proc/meminfo: memFree=125470300/131524600 swapFree=131071216/131071996
[pid=905874] ppid=905859 vsize=5124 memory=8 CPUtime=0 cores=5,7
/proc/905874/stat : 905874 (roundingsat) D 905859 905874 905801 0 -1 4194304 65 0 0 0 0 0 0 0 20 0 1 0 165217517 5246976 2 134679101440 4194304 8255733 140726152425552 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17764352 140726152434522 140726152434784 140726152434784 140726152441801 0
/proc/905874/statm: 1281 2 0 992 0 49 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 5124 KiB
Current children cumulated memory: 8 KiB
[startup+0.700135 s]
/proc/loadavg: 0.40 0.15 0.11 4/257 905876
/proc/meminfo: memFree=125468296/131524600 swapFree=131071216/131071996
[pid=905874] ppid=905859 vsize=37376 memory=2692 CPUtime=0 cores=5,7
/proc/905874/stat : 905874 (roundingsat) D 905859 905874 905801 0 -1 1078198272 224 0 0 0 0 0 0 0 20 0 1 0 165217517 38273024 673 134679101440 4194304 8255733 140726152425552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 38 0 0 9037040 9046032 17764352 140726152434522 140726152434784 140726152434784 140726152441801 0
/proc/905874/statm: 9344 673 616 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2692 KiB
[startup+1.50023 s]
/proc/loadavg: 0.40 0.15 0.11 4/257 905876
/proc/meminfo: memFree=125468304/131524600 swapFree=131071216/131071996
[pid=905874] ppid=905859 vsize=37376 memory=2692 CPUtime=0 cores=5,7
/proc/905874/stat : 905874 (roundingsat) D 905859 905874 905801 0 -1 4194304 224 0 0 0 0 0 0 0 20 0 1 0 165217517 38273024 673 134679101440 4194304 8255733 140726152425552 0 0 0 0 0 8404994 1 0 0 17 5 0 0 38 0 0 9037040 9046032 17764352 140726152434522 140726152434784 140726152434784 140726152441801 0
/proc/905874/statm: 9344 673 616 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2692 KiB
[startup+2.30082 s]
# the end of solver process 905874 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=0.217434 s, system=0.090181 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60016 s]
/proc/loadavg: 0.40 0.15 0.11 4/257 905876
/proc/meminfo: memFree=125468304/131524600 swapFree=131071216/131071996
[pid=905874] ppid=905859 vsize=37376 memory=2692 CPUtime=0 cores=5,7
/proc/905874/stat : 905874 (roundingsat) D 905859 905874 905801 0 -1 4194304 224 0 0 0 0 0 0 0 20 0 1 0 165217517 38273024 673 134679101440 4194304 8255733 140726152425552 0 0 0 0 0 8404994 1 0 0 17 5 0 0 38 0 0 9037040 9046032 17764352 140726152434522 140726152434784 140726152434784 140726152441801 0
/proc/905874/statm: 9344 673 616 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2692 KiB
[startup+2.00016 s]*
/proc/loadavg: 0.40 0.15 0.11 5/250 905884
/proc/meminfo: memFree=125464520/131524600 swapFree=131071216/131071996
[pid=905874] ppid=905859 vsize=37908 memory=8036 CPUtime=0.01 cores=5,7
/proc/905874/stat : 905874 (roundingsat) R 905859 905874 905801 0 -1 4194304 426 0 0 0 1 0 0 0 20 0 1 0 165217517 38817792 2009 134679101440 4194304 8255733 140726152425552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 38 0 0 9037040 9046032 17764352 140726152434522 140726152434784 140726152434784 140726152441801 0
/proc/905874/statm: 9477 2009 1838 992 0 1335 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 37908 KiB
Current children cumulated memory: 8036 KiB
[startup+2.20014 s]
/proc/loadavg: 0.40 0.15 0.11 5/250 905884
/proc/meminfo: memFree=125464520/131524600 swapFree=131071216/131071996
[pid=905874] ppid=905859 vsize=39624 memory=12184 CPUtime=0.2 cores=5,7
/proc/905874/stat : 905874 (roundingsat) R 905859 905874 905801 0 -1 4194304 840 0 0 0 15 5 0 0 20 0 1 0 165217517 40574976 3046 134679101440 4194304 8255733 140726152425552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 38 0 0 9037040 9046032 17764352 140726152434522 140726152434784 140726152434784 140726152441801 0
/proc/905874/statm: 9906 3046 1902 992 0 1764 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39624 KiB
Current children cumulated memory: 12184 KiB
[startup+2.30013 s]
/proc/loadavg: 0.40 0.15 0.11 5/250 905884
/proc/meminfo: memFree=125464520/131524600 swapFree=131071216/131071996
[pid=905874] ppid=905859 vsize=40320 memory=12756 CPUtime=0.29 cores=5,7
/proc/905874/stat : 905874 (roundingsat) R 905859 905874 905801 0 -1 4194304 1018 0 0 0 21 8 0 0 20 0 1 0 165217517 41287680 3189 134679101440 4194304 8255733 140726152425552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 39 0 0 9037040 9046032 17764352 140726152434522 140726152434784 140726152434784 140726152441801 0
/proc/905874/statm: 10080 3189 1902 992 0 1938 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40320 KiB
Current children cumulated memory: 12756 KiB
Child status: 0
Real time (s): 2.30084
CPU time (s): 0.307615
CPU user time (s): 0.217434
CPU system time (s): 0.090181
CPU usage (%): 13.3697
Max. virtual memory (cumulated for all children) (KiB): 40320
Max. memory (cumulated for all children) (KiB): 12756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.217434
system time used= 0.090181
maximum resident set size= 12780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1027
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57
involuntary context switches= 1
# summary of solver processes directly reported to runsolver:
# pid: 905874
# total CPU time (s): 0.307615
# total CPU user time (s): 0.217434
# total CPU system time (s): 0.090181
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.021017 second user time and 0.033877 second system time
The end
Begin job on nodeC014 at 2024-08-18 15:03:39 IDJOB=4462505 IDBENCH=146898 IDSOLVER=3089 FILE ID=nodeC014/4462505-1723986218 RUNJOBID= nodeC014-1723986218-905814 SLURM_JOB_ID= 8268128 Free space on /tmp= 890084 MiB SOLVER NAME= RoundingSat log (3) 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 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4462505-1723986218/watcher-4462505-1723986218 -o /tmp/evaluation-result-4462505-1723986218/solver-4462505-1723986218 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1723986218-905814 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462505-1723986218 --lp-cut-gomory=0 HOME/instance-4462505-1723986218.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 848e47deac6a47526073146630130ada RANDOM SEED=1119001023 nodeC014.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 : 3354.761 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 : 7000.06 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 : 3239.506 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 : 7007.10 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 : 2926.342 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 : 7000.06 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 : 3020.386 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 : 7007.10 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 : 3204.666 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 : 7000.06 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 : 2728.633 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 : 7007.10 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 : 3305.105 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 : 7000.06 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 : 3483.197 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 : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125478992 kB MemAvailable: 129746792 kB Buffers: 398948 kB Cached: 4711824 kB SwapCached: 28 kB Active: 1168912 kB Inactive: 4311132 kB Active(anon): 1504 kB Inactive(anon): 413584 kB Active(file): 1167408 kB Inactive(file): 3897548 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 23496 kB Writeback: 0 kB AnonPages: 369288 kB Mapped: 85500 kB Shmem: 45696 kB KReclaimable: 84980 kB Slab: 186148 kB SReclaimable: 84980 kB SUnreclaim: 101168 kB KernelStack: 3888 kB PageTables: 9756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 686872 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 37536 kB HardwareCorrupted: 0 kB AnonHugePages: 239616 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: 299732 kB DirectMap2M: 22542336 kB DirectMap1G: 113246208 kB Free space on /tmp at the end= 890060 MiB End job on nodeC014 at 2024-08-18 15:03:42