Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.5.2 (fixed) | ? (TO) | 3509 | 1800.04 | 1800.02 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-p2756.opb |
MD5SUM | 54b9b4de78a7992fd69d0caeed32daef |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3124 |
Best CPU time to get the best result obtained on this benchmark | 1.77673 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3695 |
Optimality of the best value was proved | NO |
Number of variables | 2756 |
Total number of constraints | 749 |
Number of constraints which are clauses | 132 |
Number of constraints which are cardinality constraints (but not clauses) | 220 |
Number of constraints which are nor clauses,nor cardinality constraints | 397 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 546 |
Number of terms in the objective function | 2166 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 321831 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 321831 |
Number of bits of the biggest sum of numbers | 19 |
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.00 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 119.09/119.18 o 47183 119.09/119.18 o 47162 119.09/119.18 o 47158 119.09/119.18 o 47157 119.09/119.18 o 47129 119.09/119.18 o 46283 119.09/119.18 o 37884 119.09/119.18 o 37883 119.09/119.18 o 37875 119.09/119.18 o 37869 119.09/119.18 o 37868 119.09/119.18 o 37867 119.09/119.18 o 37866 119.09/119.18 o 37862 119.09/119.18 o 37861 119.09/119.18 o 37858 119.09/119.18 o 37857 119.09/119.18 o 37853 119.09/119.18 o 37852 119.09/119.18 o 37844 119.09/119.18 o 37843 119.09/119.18 o 37842 119.09/119.18 o 37840 119.09/119.18 o 37839 119.09/119.18 o 37838 119.09/119.18 o 37837 119.09/119.18 o 37836 119.09/119.18 o 37833 119.09/119.18 o 37832 119.09/119.18 o 37831 119.09/119.18 o 37828 119.09/119.18 o 37826 119.09/119.18 o 37823 119.09/119.18 o 37806 119.09/119.18 o 37804 119.09/119.18 o 37798 119.09/119.18 o 37797 119.09/119.18 o 37796 119.09/119.18 o 37790 119.09/119.18 o 37789 119.09/119.18 o 37788 119.09/119.18 o 37787 119.09/119.18 o 37785 119.09/119.18 o 37783 119.09/119.18 o 37777 119.09/119.18 o 37761 119.09/119.18 o 37751 119.09/119.18 o 37750 119.09/119.18 o 37744 119.09/119.18 o 37743 119.09/119.18 o 37742 119.09/119.18 o 37741 119.09/119.18 o 37740 119.09/119.18 o 37739 119.09/119.18 o 37738 119.09/119.18 o 37736 119.09/119.18 o 37734 119.09/119.18 o 37733 119.09/119.18 o 37732 119.09/119.18 o 37725 119.09/119.18 o 37721 119.09/119.18 o 37715 119.09/119.18 o 37714 119.09/119.18 o 37713 119.09/119.18 o 37710 119.09/119.18 o 37709 119.09/119.18 o 37707 119.09/119.18 o 37706 119.09/119.18 o 37702 119.09/119.18 o 37701 119.09/119.18 o 37700 119.09/119.18 o 37699 119.09/119.18 o 37696 119.09/119.18 o 37695 119.09/119.18 o 37694 119.09/119.18 o 37693 119.09/119.18 o 37671 119.09/119.18 o 37663 119.09/119.18 o 37662 119.09/119.18 o 37661 119.09/119.18 o 37653 119.09/119.18 o 37651 119.09/119.18 o 37640 119.09/119.18 o 37639 119.09/119.18 o 37638 119.09/119.18 o 37637 119.09/119.18 o 37636 119.09/119.18 o 37635 119.09/119.18 o 37634 119.09/119.18 o 37633 119.09/119.18 o 37632 119.09/119.18 o 37631 119.09/119.18 o 37630 119.09/119.18 o 37629 119.09/119.18 o 37628 119.09/119.18 o 37627 119.09/119.18 o 37626 119.09/119.18 o 37625 119.09/119.18 o 37619 119.09/119.18 o 37618 119.09/119.18 o 37616 119.09/119.18 o 37615 119.09/119.18 o 37614 119.09/119.18 o 37613 119.09/119.18 o 37612 119.09/119.18 o 37611 119.09/119.18 o 37610 119.09/119.18 o 37608 119.09/119.18 o 37607 119.09/119.18 o 37606 119.09/119.18 o 37605 119.09/119.18 o 37604 119.09/119.18 o 37603 119.09/119.18 o 37602 119.09/119.18 o 37601 119.09/119.18 o 37600 119.09/119.18 o 37599 119.09/119.18 o 37598 119.09/119.18 o 37597 119.09/119.18 o 37596 119.09/119.18 o 37593 119.09/119.18 o 37590 119.09/119.18 o 37579 119.09/119.18 o 37574 119.09/119.18 o 37563 119.09/119.18 o 37560 119.09/119.18 o 37559 119.09/119.18 o 37558 119.09/119.18 o 37557 119.09/119.18 o 37556 119.09/119.18 o 37555 119.09/119.18 o 37554 119.09/119.18 o 37553 119.09/119.18 o 37550 119.09/119.18 o 37549 119.09/119.18 o 37548 119.09/119.18 o 37544 119.09/119.18 o 37543 119.09/119.18 o 37542 119.09/119.18 o 37539 119.09/119.18 o 37538 119.09/119.18 o 37537 119.09/119.18 o 37536 119.09/119.18 o 37534 119.09/119.18 o 37530 119.09/119.18 o 37528 119.09/119.18 o 37527 119.09/119.18 o 37526 119.09/119.18 o 37525 119.09/119.18 o 37524 119.09/119.18 o 37521 119.09/119.18 o 37520 119.09/119.18 o 37515 119.09/119.18 o 37514 119.09/119.18 o 37512 119.09/119.18 o 37506 119.09/119.18 o 37505 119.09/119.18 o 37504 119.09/119.18 o 37500 119.09/119.18 o 37498 119.09/119.18 o 37497 119.09/119.18 o 37496 119.09/119.18 o 37495 119.09/119.18 o 37494 119.09/119.18 o 37492 119.09/119.18 o 37491 119.09/119.18 o 37490 119.09/119.18 o 37489 119.09/119.18 o 37486 119.09/119.18 o 37485 119.09/119.18 o 37484 119.09/119.18 o 37482 119.09/119.18 o 37481 119.09/119.18 o 37480 119.09/119.18 o 37479 119.09/119.18 o 37478 119.09/119.18 o 37477 119.09/119.18 o 37475 119.09/119.18 o 37474 119.09/119.18 o 37473 119.09/119.18 o 37472 119.09/119.18 o 37471 119.09/119.18 o 37470 119.09/119.18 o 37469 119.09/119.18 o 37453 119.09/119.18 o 37446 119.09/119.18 o 37443 119.09/119.18 o 37441 119.09/119.18 o 37435 119.09/119.18 o 37434 119.09/119.18 o 37433 119.09/119.18 o 37430 119.09/119.18 o 37429 119.09/119.18 o 37428 119.09/119.18 o 37427 119.09/119.18 o 37426 119.09/119.18 o 37425 119.09/119.18 o 37423 119.09/119.18 o 37422 119.09/119.18 o 37421 119.09/119.18 o 37420 119.09/119.18 o 37419 119.09/119.18 o 37418 119.09/119.18 o 37416 119.09/119.18 o 37413 119.09/119.18 o 37412 119.09/119.18 o 37411 119.09/119.18 o 37410 119.09/119.18 o 37408 119.09/119.18 o 37407 119.09/119.18 o 37404 119.09/119.18 o 37403 119.09/119.18 o 37402 119.09/119.18 o 37401 119.09/119.18 o 37400 119.09/119.18 o 37399 119.09/119.18 o 37398 119.09/119.18 o 37397 119.09/119.18 o 37396 119.09/119.18 o 37395 119.09/119.18 o 37394 119.09/119.18 o 37393 119.09/119.18 o 37386 119.09/119.18 o 37385 119.09/119.18 o 37384 119.09/119.18 o 37383 119.09/119.18 o 37382 119.09/119.18 o 37381 119.09/119.18 o 37380 119.09/119.18 o 37264 119.09/119.18 o 37263 119.09/119.18 o 37262 119.09/119.18 o 37261 119.09/119.18 o 37258 119.09/119.18 o 37252 119.09/119.18 o 37251 119.09/119.18 o 37249 119.09/119.18 o 37246 119.09/119.18 o 37245 119.09/119.18 o 37244 119.09/119.18 o 37243 119.09/119.18 o 37242 119.09/119.18 o 37241 119.09/119.18 o 37240 119.09/119.18 o 37239 119.09/119.18 o 37238 119.09/119.18 o 37236 119.09/119.18 o 37235 119.09/119.18 o 37232 119.09/119.18 o 37231 119.09/119.18 o 37227 119.09/119.18 o 37226 119.09/119.18 o 37225 119.09/119.18 o 37223 119.09/119.18 o 37222 119.09/119.18 o 37220 119.09/119.18 o 37219 119.09/119.18 o 37218 119.09/119.18 o 37216 119.09/119.18 o 37213 119.09/119.18 o 37212 119.09/119.18 o 37206 119.09/119.18 o 37204 119.09/119.18 o 37203 119.09/119.18 o 37202 119.09/119.18 o 37201 119.09/119.18 o 37199 119.09/119.18 o 37198 119.09/119.18 o 37197 119.09/119.18 o 37196 119.09/119.18 o 37195 119.09/119.18 o 37194 119.09/119.18 o 37188 119.09/119.18 o 34197 119.09/119.18 o 34196 119.09/119.18 o 34195 119.09/119.18 o 34194 119.09/119.18 o 34189 119.09/119.18 o 34188 119.09/119.18 o 34187 119.09/119.18 o 34185 119.09/119.18 o 34183 119.09/119.18 o 34180 119.09/119.18 o 34176 119.09/119.18 o 34173 119.09/119.18 o 34172 119.09/119.18 o 34171 119.09/119.18 o 34170 119.09/119.18 o 34169 119.09/119.18 o 34168 119.09/119.18 o 34166 119.09/119.18 o 34165 119.09/119.18 o 34164 119.09/119.18 o 34161 119.09/119.18 o 34158 119.09/119.18 o 34157 119.09/119.18 o 34150 119.09/119.18 o 34149 119.09/119.18 o 34145 119.09/119.18 o 34132 119.09/119.18 o 34129 119.09/119.18 o 34128 119.09/119.18 o 34126 119.09/119.18 o 34122 119.09/119.18 o 34121 119.09/119.18 o 34119 119.09/119.18 o 34118 119.09/119.18 o 34116 119.09/119.18 o 34113 119.09/119.18 o 34112 119.09/119.18 o 34111 119.09/119.18 o 34109 119.09/119.18 o 34107 119.09/119.18 o 34106 119.09/119.18 o 34078 119.09/119.18 o 34076 119.09/119.18 o 34075 119.09/119.18 o 34073 119.09/119.18 o 34072 119.09/119.18 o 34071 119.09/119.18 o 34043 119.09/119.18 o 34042 119.09/119.18 o 34041 119.09/119.18 o 34040 119.09/119.18 o 34039 119.09/119.18 o 34037 119.09/119.18 o 34036 119.09/119.18 o 34035 119.09/119.18 o 34034 119.09/119.18 o 34030 119.09/119.18 o 34029 119.09/119.18 o 34028 119.09/119.18 o 34027 119.09/119.18 o 34026 119.09/119.18 o 34025 119.09/119.18 o 34023 119.09/119.18 o 34022 119.09/119.18 o 34021 119.09/119.18 o 34020 119.09/119.18 o 34018 119.09/119.18 o 34017 119.09/119.18 o 34016 119.09/119.18 o 34015 119.09/119.18 o 34013 119.09/119.18 o 34011 119.09/119.18 o 34010 119.09/119.18 o 34009 119.09/119.18 o 33993 119.09/119.18 o 33992 119.09/119.18 o 33991 119.09/119.18 o 33987 119.09/119.18 o 33986 119.09/119.18 o 33984 119.09/119.18 o 33983 119.09/119.18 o 33982 119.09/119.18 o 33981 119.09/119.18 o 33977 119.09/119.18 o 33976 119.09/119.18 o 33973 119.09/119.18 o 33972 119.09/119.18 o 33971 119.09/119.18 o 33969 119.09/119.18 o 33968 119.09/119.18 o 33966 119.09/119.18 o 33965 119.09/119.18 o 33964 119.09/119.18 o 33963 119.09/119.18 o 33962 119.09/119.18 o 33960 119.09/119.18 o 33956 119.09/119.18 o 33933 119.09/119.18 o 33932 119.09/119.18 o 33930 119.09/119.18 o 33929 119.09/119.18 o 33889 119.09/119.18 o 33771 119.09/119.18 o 33759 119.09/119.18 o 33757 119.09/119.18 o 33746 119.09/119.18 o 33745 119.09/119.18 o 33744 119.09/119.18 o 33742 119.09/119.18 o 33741 119.09/119.18 o 33740 119.09/119.18 o 33739 119.09/119.18 o 33738 119.09/119.18 o 33737 119.09/119.18 o 33734 119.09/119.18 o 33732 119.09/119.18 o 33731 119.09/119.18 o 33729 119.09/119.18 o 33728 119.09/119.18 o 33726 119.09/119.18 o 33724 119.09/119.18 o 33722 119.09/119.18 o 33720 119.09/119.18 o 33719 119.09/119.18 o 33718 119.09/119.18 o 33717 119.09/119.18 o 33716 119.09/119.18 o 33715 119.09/119.18 o 33714 119.09/119.18 o 33712 119.09/119.18 o 33711 119.09/119.18 o 33710 119.09/119.18 o 33709 119.09/119.18 o 33708 119.09/119.18 o 33706 119.09/119.18 o 33697 119.09/119.18 o 33695 119.09/119.18 o 33688 119.09/119.18 o 33687 119.09/119.18 o 33686 119.09/119.18 o 33685 119.09/119.18 o 33684 119.09/119.18 o 33681 119.09/119.18 o 33679 119.09/119.18 o 33678 119.09/119.18 o 33677 119.09/119.18 o 33676 119.09/119.18 o 33675 119.09/119.18 o 33674 119.09/119.18 o 33673 119.09/119.18 o 33669 119.09/119.18 o 33668 119.09/119.18 o 33667 119.09/119.18 o 33666 119.09/119.18 o 33663 119.09/119.18 o 33662 119.09/119.18 o 33661 119.09/119.18 o 33660 119.09/119.18 o 33659 119.09/119.18 o 33658 119.09/119.18 o 33657 119.09/119.18 o 33654 119.09/119.18 o 33653 119.09/119.18 o 33652 119.09/119.18 o 33651 119.09/119.18 o 33650 119.09/119.18 o 33648 119.09/119.18 o 33647 119.09/119.18 o 33645 119.09/119.18 o 33644 119.09/119.18 o 33641 119.09/119.18 o 33638 119.09/119.18 o 32191 119.09/119.18 o 32155 119.09/119.18 o 32141 119.09/119.18 o 32140 119.09/119.18 o 32139 119.09/119.18 o 32138 119.09/119.18 o 32137 119.09/119.18 o 32135 119.09/119.18 o 32134 119.09/119.18 o 32133 119.09/119.18 o 32132 119.09/119.18 o 32131 119.09/119.18 o 32130 119.09/119.18 o 32129 119.09/119.18 o 32127 119.09/119.18 o 32126 119.09/119.18 o 32125 119.09/119.18 o 32124 119.09/119.18 o 32122 119.09/119.18 o 32119 119.09/119.18 o 32118 119.09/119.18 o 32115 119.09/119.18 o 32114 119.09/119.18 o 32111 119.09/119.18 o 32110 119.09/119.18 o 32108 119.09/119.18 o 32106 119.09/119.18 o 32105 119.09/119.18 o 32103 119.09/119.18 o 32097 119.09/119.18 o 32090 119.09/119.18 o 32089 119.09/119.18 o 32087 119.09/119.18 o 32086 119.09/119.18 o 32085 119.09/119.18 o 32084 119.09/119.18 o 32083 119.09/119.18 o 32080 119.09/119.18 o 32076 119.09/119.18 o 32075 119.09/119.18 o 32073 119.09/119.18 o 32072 119.09/119.18 o 32071 119.09/119.18 o 32070 119.09/119.18 o 32069 119.09/119.18 o 32068 119.09/119.18 o 32061 119.09/119.18 o 32060 119.09/119.18 o 32059 119.09/119.18 o 32058 119.09/119.18 o 32057 119.09/119.18 o 32056 119.09/119.18 o 32055 119.09/119.18 o 32053 119.09/119.18 o 32052 119.09/119.18 o 32051 119.09/119.18 o 32048 119.09/119.18 o 32046 119.09/119.18 o 32044 119.09/119.18 o 32043 119.09/119.18 o 32042 119.09/119.18 o 32024 119.09/119.18 o 32023 119.09/119.18 o 32003 119.09/119.18 o 32001 119.09/119.18 o 32000 119.09/119.18 o 31999 321.10/321.12 o 31996 321.10/321.12 o 31992 321.10/321.12 o 31991 321.10/321.12 o 31990 321.10/321.12 o 31988 321.10/321.12 o 31987 321.10/321.12 o 31986 321.10/321.12 o 31984 321.10/321.12 o 31983 321.10/321.12 o 31982 321.10/321.12 o 31981 321.10/321.12 o 31980 321.10/321.12 o 31979 321.10/321.12 o 31978 321.10/321.12 o 31977 321.10/321.12 o 31976 321.10/321.12 o 31975 321.10/321.12 o 31974 321.10/321.12 o 31973 321.10/321.12 o 31960 321.10/321.12 o 31948 321.10/321.12 o 31933 321.10/321.12 o 31922 321.10/321.12 o 31921 321.10/321.12 o 31920 321.10/321.12 o 31919 321.10/321.12 o 31918 321.10/321.12 o 31914 321.10/321.12 o 31913 321.10/321.12 o 31909 321.10/321.12 o 31908 321.10/321.12 o 31907 321.10/321.12 o 31906 321.10/321.12 o 31905 321.10/321.12 o 31902 321.10/321.12 o 31900 321.10/321.12 o 31896 321.10/321.12 o 31895 321.10/321.12 o 31894 321.10/321.12 o 31892 321.10/321.12 o 31891 321.10/321.12 o 31889 321.10/321.12 o 31888 321.10/321.12 o 31887 321.10/321.12 o 31886 321.10/321.12 o 31884 321.10/321.12 o 31883 321.10/321.12 o 31881 321.10/321.12 o 31880 321.10/321.12 o 31876 321.10/321.12 o 31869 321.10/321.12 o 31868 321.10/321.12 o 31867 321.10/321.12 o 31866 321.10/321.12 o 31865 321.10/321.12 o 31861 321.10/321.12 o 20869 321.10/321.12 o 20867 321.10/321.12 o 20866 321.10/321.12 o 20865 321.10/321.12 o 20863 321.10/321.12 o 20862 321.10/321.12 o 20861 321.10/321.12 o 20860 321.10/321.12 o 20857 321.10/321.12 o 20854 321.10/321.12 o 20853 321.10/321.12 o 20850 321.10/321.12 o 20848 321.10/321.12 o 20846 321.10/321.12 o 20845 321.10/321.12 o 20844 321.10/321.12 o 20841 321.10/321.12 o 20840 321.10/321.12 o 20837 321.10/321.12 o 20836 321.10/321.12 o 20835 321.10/321.12 o 20834 321.10/321.12 o 20833 321.10/321.12 o 20830 321.10/321.12 o 20829 321.10/321.12 o 20827 321.10/321.12 o 20826 321.10/321.12 o 20825 321.10/321.12 o 20824 321.10/321.12 o 20823 321.10/321.12 o 20822 321.10/321.12 o 20821 321.10/321.12 o 20820 321.10/321.12 o 20818 321.10/321.12 o 20817 321.10/321.12 o 20816 321.10/321.12 o 20815 321.10/321.12 o 20814 321.10/321.12 o 20813 321.10/321.12 o 20812 321.10/321.12 o 20811 321.10/321.12 o 20810 321.10/321.12 o 20809 321.10/321.12 o 20808 321.10/321.12 o 20807 321.10/321.12 o 20801 321.10/321.12 o 20800 321.10/321.12 o 20798 321.10/321.12 o 20797 321.10/321.12 o 20796 321.10/321.12 o 20795 321.10/321.12 o 20793 321.10/321.12 o 20792 321.10/321.12 o 20790 321.10/321.12 o 20787 321.10/321.12 o 20786 321.10/321.12 o 20785 321.10/321.12 o 20781 321.10/321.12 o 20780 321.10/321.12 o 20779 321.10/321.12 o 20778 321.10/321.12 o 20776 321.10/321.12 o 20773 321.10/321.12 o 20772 321.10/321.12 o 20771 321.10/321.12 o 20770 321.10/321.12 o 20769 321.10/321.12 o 20768 321.10/321.12 o 20764 321.10/321.12 o 20759 321.10/321.12 o 20758 321.10/321.12 o 20755 321.10/321.12 o 20754 321.10/321.12 o 20753 321.10/321.12 o 20752 321.10/321.12 o 20751 321.10/321.12 o 20750 321.10/321.12 o 20749 321.10/321.12 o 20748 321.10/321.12 o 20747 321.10/321.12 o 20745 321.10/321.12 o 20744 321.10/321.12 o 20743 321.10/321.12 o 20742 321.10/321.12 o 20739 321.10/321.12 o 20738 321.10/321.12 o 20737 321.10/321.12 o 20734 321.10/321.12 o 20733 321.10/321.12 o 20058 321.10/321.12 o 20010 321.10/321.12 o 19967 321.10/321.12 o 18467 321.10/321.12 o 18466 321.10/321.12 o 18465 321.10/321.12 o 18464 321.10/321.12 o 18463 321.10/321.12 o 18461 321.10/321.12 o 18460 321.10/321.12 o 18459 321.10/321.12 o 18456 321.10/321.12 o 18455 321.10/321.12 o 18454 321.10/321.12 o 18451 321.10/321.12 o 18450 321.10/321.12 o 18449 321.10/321.12 o 18448 321.10/321.12 o 18447 321.10/321.12 o 18446 321.10/321.12 o 18445 321.10/321.12 o 18444 321.10/321.12 o 18443 321.10/321.12 o 18442 321.10/321.12 o 18441 321.10/321.12 o 18440 321.10/321.12 o 18439 321.10/321.12 o 18438 321.10/321.12 o 18437 321.10/321.12 o 18436 321.10/321.12 o 18435 321.10/321.12 o 18434 321.10/321.12 o 18433 321.10/321.12 o 18431 321.10/321.12 o 18430 321.10/321.12 o 18429 321.10/321.12 o 18427 321.10/321.12 o 18426 321.10/321.12 o 18425 321.10/321.12 o 18424 321.10/321.12 o 18422 321.10/321.12 o 18421 321.10/321.12 o 18420 321.10/321.12 o 18419 321.10/321.12 o 18417 321.10/321.12 o 18416 321.10/321.12 o 18413 321.10/321.12 o 18412 321.10/321.12 o 18411 321.10/321.12 o 18410 321.10/321.12 o 18405 321.10/321.12 o 18404 321.10/321.12 o 18403 321.10/321.12 o 18402 321.10/321.12 o 18401 321.10/321.12 o 18400 321.10/321.12 o 18399 321.10/321.12 o 18398 321.10/321.12 o 18397 321.10/321.12 o 18396 321.10/321.12 o 18392 321.10/321.12 o 18391 321.10/321.12 o 18390 321.10/321.12 o 18389 321.10/321.12 o 18388 321.10/321.12 o 18387 321.10/321.12 o 18385 321.10/321.12 o 18384 321.10/321.12 o 18383 321.10/321.12 o 18376 321.10/321.12 o 18375 321.10/321.12 o 18374 321.10/321.12 o 18372 321.10/321.12 o 18371 321.10/321.12 o 18369 321.10/321.12 o 18367 321.10/321.12 o 18366 321.10/321.12 o 18365 321.10/321.12 o 18364 321.10/321.12 o 18363 321.10/321.12 o 18362 321.10/321.12 o 18361 321.10/321.12 o 18360 321.10/321.12 o 18359 321.10/321.12 o 18358 321.10/321.12 o 18356 321.10/321.12 o 18355 321.10/321.12 o 18354 321.10/321.12 o 18353 321.10/321.12 o 18352 321.10/321.12 o 18350 321.10/321.12 o 18349 321.10/321.12 o 18346 321.10/321.12 o 18345 321.10/321.12 o 18344 321.10/321.12 o 18342 321.10/321.12 o 18336 321.10/321.12 o 18334 321.10/321.12 o 18333 321.10/321.12 o 18332 321.10/321.12 o 18331 321.10/321.12 o 18257 321.10/321.12 o 18255 321.10/321.12 o 18254 321.10/321.12 o 18253 321.10/321.12 o 18247 321.10/321.12 o 18246 321.10/321.12 o 18245 321.10/321.12 o 18244 321.10/321.12 o 18242 321.10/321.12 o 18241 321.10/321.12 o 18240 321.10/321.12 o 18239 321.10/321.12 o 18238 321.10/321.12 o 18235 321.10/321.12 o 18233 321.10/321.12 o 18232 321.10/321.12 o 18230 321.10/321.12 o 18229 321.10/321.12 o 18228 321.10/321.12 o 18227 321.10/321.12 o 18225 321.10/321.12 o 18224 321.10/321.12 o 18223 321.10/321.12 o 18220 321.10/321.12 o 18219 321.10/321.12 o 18216 321.10/321.12 o 18215 321.10/321.12 o 18214 321.10/321.12 o 18213 321.10/321.12 o 18210 321.10/321.12 o 18207 321.10/321.12 o 18202 321.10/321.12 o 16520 321.10/321.12 o 16470 321.10/321.12 o 16469 321.10/321.12 o 16430 321.10/321.12 o 16391 321.10/321.12 o 16390 321.10/321.12 o 16389 321.10/321.12 o 16385 321.10/321.12 o 16383 321.10/321.12 o 16382 321.10/321.12 o 16381 321.10/321.12 o 16380 321.10/321.12 o 16378 321.10/321.12 o 16375 321.10/321.12 o 16374 321.10/321.12 o 16373 321.10/321.12 o 16372 321.10/321.12 o 16371 321.10/321.12 o 16370 321.10/321.12 o 16368 321.10/321.12 o 16367 321.10/321.12 o 16365 321.10/321.12 o 16353 321.10/321.12 o 16352 321.10/321.12 o 16351 321.10/321.12 o 16350 321.10/321.12 o 16349 321.10/321.12 o 16348 321.10/321.12 o 16347 321.10/321.12 o 16345 321.10/321.12 o 16344 321.10/321.12 o 16343 321.10/321.12 o 16342 321.10/321.12 o 16340 321.10/321.12 o 16339 321.10/321.12 o 16338 321.10/321.12 o 16336 321.10/321.12 o 16334 321.10/321.12 o 16333 321.10/321.12 o 16328 321.10/321.12 o 16326 321.10/321.12 o 16325 321.10/321.12 o 16323 321.10/321.12 o 16321 321.10/321.12 o 16319 321.10/321.12 o 16318 321.10/321.12 o 16317 321.10/321.12 o 16316 321.10/321.12 o 16315 321.10/321.12 o 16314 321.10/321.12 o 16312 321.10/321.12 o 16311 321.10/321.12 o 16310 321.10/321.12 o 16309 321.10/321.12 o 16308 321.10/321.12 o 16306 321.10/321.12 o 16303 321.10/321.12 o 16302 321.10/321.12 o 16301 321.10/321.12 o 16298 321.10/321.12 o 16297 321.10/321.12 o 16296 321.10/321.12 o 16288 321.10/321.12 o 16283 321.10/321.12 o 16282 321.10/321.12 o 16281 321.10/321.12 o 16280 321.10/321.12 o 16277 321.10/321.12 o 16276 321.10/321.12 o 16275 321.10/321.12 o 16274 321.10/321.12 o 16273 321.10/321.12 o 16272 321.10/321.12 o 16271 321.10/321.12 o 16270 321.10/321.12 o 16267 321.10/321.12 o 16263 321.10/321.12 o 16260 321.10/321.12 o 16256 321.10/321.12 o 16255 321.10/321.12 o 16253 321.10/321.12 o 16252 321.10/321.12 o 16250 321.10/321.12 o 16249 321.10/321.12 o 16247 321.10/321.12 o 16245 321.10/321.12 o 16244 321.10/321.12 o 5494 321.10/321.12 o 5439 321.10/321.12 o 5300 321.10/321.12 o 5299 321.10/321.12 o 5297 321.10/321.12 o 5295 321.10/321.12 o 5290 321.10/321.12 o 5287 321.10/321.12 o 5286 321.10/321.12 o 5285 321.10/321.12 o 5284 321.10/321.12 o 5283 321.10/321.12 o 5282 321.10/321.12 o 5281 321.10/321.12 o 5280 321.10/321.12 o 5279 321.10/321.12 o 5277 321.10/321.12 o 5276 321.10/321.12 o 5275 321.10/321.12 o 5274 321.10/321.12 o 5273 321.10/321.12 o 5272 321.10/321.12 o 5271 321.10/321.12 o 5270 321.10/321.12 o 5269 321.10/321.12 o 5268 321.10/321.12 o 5266 321.10/321.12 o 5265 321.10/321.12 o 5264 321.10/321.12 o 5263 321.10/321.12 o 5262 321.10/321.12 o 5261 321.10/321.12 o 5259 321.10/321.12 o 5258 321.10/321.12 o 5256 321.10/321.12 o 5255 321.10/321.12 o 5254 321.10/321.12 o 5253 321.10/321.12 o 5251 321.10/321.12 o 5249 321.10/321.12 o 5248 321.10/321.12 o 5247 321.10/321.12 o 5246 321.10/321.12 o 5245 321.10/321.12 o 5244 321.10/321.12 o 5243 321.10/321.12 o 5242 321.10/321.12 o 5241 321.10/321.12 o 5240 321.10/321.12 o 5239 321.10/321.12 o 5238 321.10/321.12 o 5237 321.10/321.12 o 5236 321.10/321.12 o 5234 321.10/321.12 o 5233 321.10/321.12 o 5232 321.10/321.12 o 5230 321.10/321.12 o 5229 321.10/321.12 o 5228 321.10/321.12 o 5227 321.10/321.12 o 5226 321.10/321.12 o 5225 321.10/321.12 o 5224 321.10/321.12 o 5208 321.10/321.12 o 5207 321.10/321.12 o 5203 321.10/321.12 o 5202 321.10/321.12 o 5201 321.10/321.12 o 5200 321.10/321.12 o 5142 321.10/321.12 o 5141 321.10/321.12 o 5128 321.10/321.12 o 5122 321.10/321.12 o 5121 321.10/321.12 o 5119 321.10/321.12 o 5118 321.10/321.12 o 5115 321.10/321.12 o 5114 321.10/321.12 o 5112 321.10/321.12 o 5111 321.10/321.12 o 5110 321.10/321.12 o 5109 321.10/321.12 o 5108 321.10/321.12 o 5106 321.10/321.12 o 5105 321.10/321.12 o 5104 321.10/321.12 o 5102 321.10/321.12 o 5101 321.10/321.12 o 5099 321.10/321.12 o 5097 321.10/321.12 o 5092 321.10/321.12 o 5081 321.10/321.12 o 5080 321.10/321.12 o 5079 321.10/321.12 o 5078 321.10/321.12 o 5077 321.10/321.12 o 5076 321.10/321.12 o 5075 321.10/321.12 o 5073 321.10/321.12 o 5071 321.10/321.12 o 5070 321.10/321.12 o 5068 321.10/321.12 o 5066 321.10/321.12 o 5065 321.10/321.12 o 5064 321.10/321.12 o 5063 321.10/321.12 o 5062 321.10/321.12 o 5061 321.10/321.12 o 5060 321.10/321.12 o 5059 321.10/321.12 o 5058 321.10/321.12 o 5057 321.10/321.12 o 5056 321.10/321.12 o 5055 321.10/321.12 o 5054 321.10/321.12 o 5052 321.10/321.12 o 5051 321.10/321.12 o 5050 321.10/321.12 o 5049 321.10/321.12 o 5048 321.10/321.12 o 5047 321.10/321.12 o 5046 321.10/321.12 o 5045 321.10/321.12 o 5044 321.10/321.12 o 5043 321.10/321.12 o 5042 321.10/321.12 o 5041 321.10/321.12 o 5040 321.10/321.12 o 5039 321.10/321.12 o 5038 321.10/321.12 o 5037 321.10/321.12 o 5036 321.10/321.12 o 5035 321.10/321.12 o 5034 321.10/321.12 o 5033 321.10/321.12 o 5032 321.10/321.12 o 5031 321.10/321.12 o 5030 321.10/321.12 o 5029 321.10/321.12 o 5028 321.10/321.12 o 5027 321.10/321.12 o 5026 321.10/321.12 o 5025 321.10/321.12 o 5021 321.10/321.12 o 5020 321.10/321.12 o 5019 321.10/321.12 o 5018 321.10/321.12 o 5017 321.10/321.12 o 5016 321.10/321.12 o 5015 321.10/321.12 o 5014 321.10/321.12 o 5013 321.10/321.12 o 5012 321.10/321.12 o 5008 321.10/321.12 o 5007 321.10/321.12 o 5006 321.10/321.12 o 5005 321.10/321.12 o 5004 321.10/321.12 o 5003 321.10/321.12 o 5002 321.10/321.12 o 5000 321.10/321.12 o 4997 321.10/321.12 o 4994 321.10/321.12 o 4993 321.10/321.12 o 4985 321.10/321.12 o 4984 321.10/321.12 o 4982 321.10/321.12 o 4979 1800.02/1800.00 >>> Terminate signal received 1800.02/1800.00 o 4969 1800.02/1800.00 o 4968 1800.02/1800.00 o 4966 1800.02/1800.00 o 4962 1800.02/1800.00 o 4961 1800.02/1800.00 o 4960 1800.02/1800.00 o 4958 1800.02/1800.00 o 4956 1800.02/1800.00 o 4949 1800.02/1800.00 o 4946 1800.02/1800.00 o 4945 1800.02/1800.00 o 4942 1800.02/1800.00 o 4941 1800.02/1800.00 o 4940 1800.02/1800.00 o 4939 1800.02/1800.00 o 4938 1800.02/1800.00 o 4937 1800.02/1800.00 o 4936 1800.02/1800.00 o 4935 1800.02/1800.00 o 4933 1800.02/1800.00 o 4932 1800.02/1800.00 o 4931 1800.02/1800.00 o 4930 1800.02/1800.00 o 4929 1800.02/1800.00 o 4928 1800.02/1800.00 o 4927 1800.02/1800.00 o 4926 1800.02/1800.00 o 4924 1800.02/1800.00 o 4923 1800.02/1800.00 o 4922 1800.02/1800.00 o 4921 1800.02/1800.00 o 4920 1800.02/1800.00 o 4917 1800.02/1800.00 o 4916 1800.02/1800.00 o 4915 1800.02/1800.00 o 4909 1800.02/1800.00 o 4902 1800.02/1800.00 o 4901 1800.02/1800.00 o 4899 1800.02/1800.00 o 4898 1800.02/1800.00 o 4895 1800.02/1800.00 o 4893 1800.02/1800.00 o 4892 1800.02/1800.00 o 4889 1800.02/1800.00 o 4887 1800.02/1800.00 o 4886 1800.02/1800.00 o 4885 1800.02/1800.00 o 4881 1800.02/1800.00 o 4877 1800.02/1800.00 o 4876 1800.02/1800.00 o 4875 1800.02/1800.00 o 4874 1800.02/1800.00 o 4873 1800.02/1800.00 o 4872 1800.02/1800.00 o 4871 1800.02/1800.00 o 4870 1800.02/1800.00 o 4869 1800.02/1800.00 o 4868 1800.02/1800.00 o 4867 1800.02/1800.00 o 4866 1800.02/1800.00 o 4865 1800.02/1800.00 o 4863 1800.02/1800.00 o 4862 1800.02/1800.00 o 4861 1800.02/1800.00 o 4854 1800.02/1800.00 o 4853 1800.02/1800.00 o 4852 1800.02/1800.00 o 4850 1800.02/1800.00 o 4849 1800.02/1800.00 o 4848 1800.02/1800.00 o 4847 1800.02/1800.00 o 4845 1800.02/1800.00 o 4844 1800.02/1800.00 o 4842 1800.02/1800.00 o 4841 1800.02/1800.00 o 4840 1800.02/1800.00 o 4831 1800.02/1800.00 o 4830 1800.02/1800.00 o 4829 1800.02/1800.00 o 4828 1800.02/1800.00 o 4827 1800.02/1800.00 o 4824 1800.02/1800.00 o 4823 1800.02/1800.00 o 4820 1800.02/1800.00 o 4819 1800.02/1800.00 o 4818 1800.02/1800.00 o 4817 1800.02/1800.00 o 4816 1800.02/1800.00 o 4815 1800.02/1800.00 o 4814 1800.02/1800.00 o 4813 1800.02/1800.00 o 4812 1800.02/1800.00 o 4811 1800.02/1800.00 o 4810 1800.02/1800.00 o 4809 1800.02/1800.00 o 4808 1800.02/1800.00 o 4805 1800.02/1800.00 o 4804 1800.02/1800.00 o 4803 1800.02/1800.00 o 4802 1800.02/1800.00 o 4795 1800.02/1800.00 o 4792 1800.02/1800.00 o 4790 1800.02/1800.00 o 4789 1800.02/1800.00 o 4788 1800.02/1800.00 o 4787 1800.02/1800.00 o 4786 1800.02/1800.00 o 4785 1800.02/1800.00 o 4784 1800.02/1800.00 o 4783 1800.02/1800.00 o 4776 1800.02/1800.00 o 4773 1800.02/1800.00 o 4771 1800.02/1800.00 o 4770 1800.02/1800.00 o 4769 1800.02/1800.00 o 4767 1800.02/1800.00 o 4766 1800.02/1800.00 o 4765 1800.02/1800.00 o 4761 1800.02/1800.00 o 4757 1800.02/1800.00 o 4756 1800.02/1800.00 o 4755 1800.02/1800.00 o 4753 1800.02/1800.00 o 4749 1800.02/1800.00 o 4748 1800.02/1800.00 o 4738 1800.02/1800.00 o 4737 1800.02/1800.00 o 4736 1800.02/1800.00 o 4732 1800.02/1800.00 o 4731 1800.02/1800.00 o 4730 1800.02/1800.00 o 4729 1800.02/1800.00 o 4728 1800.02/1800.00 o 4727 1800.02/1800.00 o 4726 1800.02/1800.00 o 4723 1800.02/1800.00 o 4718 1800.02/1800.00 o 4717 1800.02/1800.00 o 4716 1800.02/1800.00 o 4714 1800.02/1800.00 o 4713 1800.02/1800.00 o 4712 1800.02/1800.00 o 4711 1800.02/1800.00 o 4710 1800.02/1800.00 o 4705 1800.02/1800.00 o 4703 1800.02/1800.00 o 4702 1800.02/1800.00 o 4701 1800.02/1800.00 o 4700 1800.02/1800.00 o 4698 1800.02/1800.00 o 4687 1800.02/1800.00 o 4686 1800.02/1800.00 o 4685 1800.02/1800.00 o 4684 1800.02/1800.00 o 4681 1800.02/1800.00 o 4680 1800.02/1800.00 o 4679 1800.02/1800.00 o 4678 1800.02/1800.00 o 4677 1800.02/1800.00 o 4676 1800.02/1800.00 o 4675 1800.02/1800.00 o 4674 1800.02/1800.00 o 4673 1800.02/1800.00 o 4671 1800.02/1800.00 o 4668 1800.02/1800.00 o 4663 1800.02/1800.00 o 4659 1800.02/1800.00 o 4658 1800.02/1800.00 o 4657 1800.02/1800.00 o 4655 1800.02/1800.00 o 4650 1800.02/1800.00 o 4648 1800.02/1800.00 o 4645 1800.02/1800.00 o 4644 1800.02/1800.00 o 4643 1800.02/1800.00 o 4642 1800.02/1800.00 o 4640 1800.02/1800.00 o 4639 1800.02/1800.00 o 4638 1800.02/1800.00 o 4637 1800.02/1800.00 o 4636 1800.02/1800.00 o 4635 1800.02/1800.00 o 4634 1800.02/1800.00 o 4633 1800.02/1800.00 o 4631 1800.02/1800.00 o 4630 1800.02/1800.00 o 4629 1800.02/1800.00 o 4628 1800.02/1800.00 o 4627 1800.02/1800.00 o 4625 1800.02/1800.00 o 4624 1800.02/1800.00 o 4623 1800.02/1800.00 o 4622 1800.02/1800.00 o 4621 1800.02/1800.00 o 4619 1800.02/1800.00 o 4618 1800.02/1800.00 o 4617 1800.02/1800.00 o 4614 1800.02/1800.00 o 4609 1800.02/1800.00 o 4538 1800.02/1800.00 o 4531 1800.02/1800.00 o 4523 1800.02/1800.00 o 4518 1800.02/1800.00 o 4517 1800.02/1800.00 o 4515 1800.02/1800.00 o 4513 1800.02/1800.00 o 4510 1800.02/1800.00 o 4507 1800.02/1800.00 o 4500 1800.02/1800.00 o 4498 1800.02/1800.00 o 4497 1800.02/1800.00 o 4470 1800.02/1800.00 o 4464 1800.02/1800.00 o 4441 1800.02/1800.00 o 4405 1800.02/1800.00 o 4378 1800.02/1800.00 o 4376 1800.02/1800.00 o 4375 1800.02/1800.00 o 4371 1800.02/1800.00 o 4362 1800.02/1800.00 o 4295 1800.02/1800.00 o 4288 1800.02/1800.00 o 4270 1800.02/1800.00 o 4257 1800.02/1800.00 o 4233 1800.02/1800.00 o 4230 1800.02/1800.00 o 4227 1800.02/1800.00 o 4226 1800.02/1800.00 o 4221 1800.02/1800.00 o 4216 1800.02/1800.00 o 4212 1800.02/1800.00 o 4197 1800.02/1800.00 o 4196 1800.02/1800.00 o 4195 1800.02/1800.00 o 4193 1800.02/1800.00 o 4192 1800.02/1800.00 o 4191 1800.02/1800.00 o 4179 1800.02/1800.00 o 4171 1800.02/1800.00 o 4168 1800.02/1800.00 o 4157 1800.02/1800.00 o 4154 1800.02/1800.00 o 4133 1800.02/1800.00 o 4132 1800.02/1800.00 o 4130 1800.02/1800.00 o 4128 1800.02/1800.00 o 4127 1800.02/1800.00 o 4120 1800.02/1800.00 o 4119 1800.02/1800.00 o 4115 1800.02/1800.00 o 4113 1800.02/1800.00 o 4108 1800.02/1800.00 o 4106 1800.02/1800.00 o 4105 1800.02/1800.00 o 4104 1800.02/1800.00 o 4102 1800.02/1800.00 o 4101 1800.02/1800.00 o 4100 1800.02/1800.00 o 4099 1800.02/1800.00 o 4096 1800.02/1800.00 o 4087 1800.02/1800.00 o 4086 1800.02/1800.00 o 4085 1800.02/1800.00 o 4083 1800.02/1800.00 o 4082 1800.02/1800.00 o 4078 1800.02/1800.00 o 4077 1800.02/1800.00 o 4076 1800.02/1800.00 o 4071 1800.02/1800.00 o 4069 1800.02/1800.00 o 4068 1800.02/1800.00 o 4067 1800.02/1800.00 o 4066 1800.02/1800.00 o 4044 1800.02/1800.00 o 4043 1800.02/1800.00 o 4036 1800.02/1800.00 o 4034 1800.02/1800.00 o 4032 1800.02/1800.00 o 4023 1800.02/1800.00 o 4022 1800.02/1800.00 o 4020 1800.02/1800.00 o 4019 1800.02/1800.00 o 4018 1800.02/1800.00 o 4016 1800.02/1800.00 o 4015 1800.02/1800.00 o 4014 1800.02/1800.00 o 4013 1800.02/1800.00 o 4012 1800.02/1800.00 o 4006 1800.02/1800.00 o 4005 1800.02/1800.00 o 4004 1800.02/1800.00 o 4002 1800.02/1800.00 o 3987 1800.02/1800.00 o 3975 1800.02/1800.00 o 3970 1800.02/1800.00 o 3969 1800.02/1800.00 o 3967 1800.02/1800.00 o 3966 1800.02/1800.00 o 3965 1800.02/1800.00 o 3964 1800.02/1800.00 o 3962 1800.02/1800.00 o 3960 1800.02/1800.00 o 3951 1800.02/1800.00 o 3950 1800.02/1800.00 o 3949 1800.02/1800.00 o 3948 1800.02/1800.00 o 3946 1800.02/1800.00 o 3939 1800.02/1800.00 o 3937 1800.02/1800.00 o 3936 1800.02/1800.00 o 3933 1800.02/1800.00 o 3932 1800.02/1800.00 o 3930 1800.02/1800.00 o 3929 1800.02/1800.00 o 3923 1800.02/1800.00 o 3922 1800.02/1800.00 o 3921 1800.02/1800.00 o 3920 1800.02/1800.00 o 3919 1800.02/1800.00 o 3918 1800.02/1800.00 o 3917 1800.02/1800.00 o 3916 1800.02/1800.00 o 3915 1800.02/1800.00 o 3914 1800.02/1800.00 o 3913 1800.02/1800.00 o 3909 1800.02/1800.00 o 3907 1800.02/1800.00 o 3905 1800.02/1800.00 o 3896 1800.02/1800.00 o 3881 1800.02/1800.00 o 3878 1800.02/1800.00 o 3874 1800.02/1800.00 o 3873 1800.02/1800.00 o 3872 1800.02/1800.00 o 3871 1800.02/1800.00 o 3868 1800.02/1800.00 o 3862 1800.02/1800.00 o 3859 1800.02/1800.00 o 3844 1800.02/1800.00 o 3843 1800.02/1800.00 o 3839 1800.02/1800.00 o 3837 1800.02/1800.00 o 3829 1800.02/1800.00 o 3826 1800.02/1800.00 o 3821 1800.02/1800.00 o 3820 1800.02/1800.00 o 3817 1800.02/1800.00 o 3815 1800.02/1800.00 o 3812 1800.02/1800.00 o 3811 1800.02/1800.00 o 3810 1800.02/1800.00 o 3809 1800.02/1800.00 o 3808 1800.02/1800.00 o 3799 1800.02/1800.00 o 3795 1800.02/1800.00 o 3794 1800.02/1800.00 o 3793 1800.02/1800.00 o 3783 1800.02/1800.00 o 3775 1800.02/1800.00 o 3769 1800.02/1800.00 o 3768 1800.02/1800.00 o 3767 1800.02/1800.00 o 3766 1800.02/1800.00 o 3765 1800.02/1800.00 o 3759 1800.02/1800.00 o 3758 1800.02/1800.00 o 3756 1800.02/1800.00 o 3754 1800.02/1800.00 o 3753 1800.02/1800.00 o 3752 1800.02/1800.00 o 3750 1800.02/1800.00 o 3748 1800.02/1800.00 o 3747 1800.02/1800.00 o 3746 1800.02/1800.00 o 3745 1800.02/1800.00 o 3742 1800.02/1800.00 o 3741 1800.02/1800.00 o 3738 1800.02/1800.00 o 3737 1800.02/1800.00 o 3736 1800.02/1800.00 o 3735 1800.02/1800.00 o 3733 1800.02/1800.00 o 3732 1800.02/1800.00 o 3731 1800.02/1800.00 o 3730 1800.02/1800.00 o 3729 1800.02/1800.00 o 3728 1800.02/1800.00 o 3727 1800.02/1800.00 o 3726 1800.02/1800.00 o 3725 1800.02/1800.00 o 3724 1800.02/1800.00 o 3723 1800.02/1800.00 o 3722 1800.02/1800.00 o 3721 1800.02/1800.00 o 3720 1800.02/1800.00 o 3719 1800.02/1800.00 o 3716 1800.02/1800.00 o 3715 1800.02/1800.00 o 3714 1800.02/1800.00 o 3713 1800.02/1800.00 o 3712 1800.02/1800.00 o 3711 1800.02/1800.00 o 3710 1800.02/1800.00 o 3708 1800.02/1800.00 o 3707 1800.02/1800.00 o 3706 1800.02/1800.00 o 3705 1800.02/1800.00 o 3703 1800.02/1800.00 o 3702 1800.02/1800.00 o 3697 1800.02/1800.00 o 3696 1800.02/1800.00 o 3695 1800.02/1800.00 o 3694 1800.02/1800.00 o 3693 1800.02/1800.00 o 3691 1800.02/1800.00 o 3689 1800.02/1800.00 o 3688 1800.02/1800.00 o 3687 1800.02/1800.00 o 3685 1800.02/1800.00 o 3683 1800.02/1800.00 o 3682 1800.02/1800.00 o 3680 1800.02/1800.00 o 3679 1800.02/1800.00 o 3678 1800.02/1800.00 o 3677 1800.02/1800.00 o 3674 1800.02/1800.00 o 3673 1800.02/1800.00 o 3671 1800.02/1800.00 o 3670 1800.02/1800.00 o 3669 1800.02/1800.00 o 3668 1800.02/1800.00 o 3665 1800.02/1800.00 o 3664 1800.02/1800.00 o 3663 1800.02/1800.00 o 3662 1800.02/1800.00 o 3661 1800.02/1800.00 o 3658 1800.02/1800.00 o 3657 1800.02/1800.00 o 3656 1800.02/1800.00 o 3654 1800.02/1800.00 o 3653 1800.02/1800.00 o 3652 1800.02/1800.00 o 3650 1800.02/1800.00 o 3649 1800.02/1800.00 o 3646 1800.02/1800.00 o 3645 1800.02/1800.00 o 3644 1800.02/1800.00 o 3643 1800.02/1800.00 o 3642 1800.02/1800.00 o 3641 1800.02/1800.00 o 3640 1800.02/1800.00 o 3639 1800.02/1800.00 o 3637 1800.02/1800.00 o 3636 1800.02/1800.00 o 3635 1800.02/1800.00 o 3634 1800.02/1800.00 o 3633 1800.02/1800.00 o 3630 1800.02/1800.00 o 3627 1800.02/1800.00 o 3625 1800.02/1800.00 o 3624 1800.02/1800.00 o 3623 1800.02/1800.00 o 3622 1800.02/1800.00 o 3621 1800.02/1800.00 o 3620 1800.02/1800.00 o 3618 1800.02/1800.00 o 3617 1800.02/1800.00 o 3616 1800.02/1800.00 o 3615 1800.02/1800.00 o 3613 1800.02/1800.00 o 3612 1800.02/1800.00 o 3611 1800.02/1800.00 o 3610 1800.02/1800.00 o 3608 1800.02/1800.00 o 3606 1800.02/1800.00 o 3604 1800.02/1800.00 o 3601 1800.02/1800.00 o 3600 1800.02/1800.00 o 3598 1800.02/1800.00 o 3597 1800.02/1800.00 o 3596 1800.02/1800.00 o 3595 1800.02/1800.00 o 3594 1800.02/1800.00 o 3593 1800.02/1800.00 o 3592 1800.02/1800.00 o 3591 1800.02/1800.00 o 3589 1800.02/1800.00 o 3588 1800.02/1800.00 o 3587 1800.02/1800.00 o 3583 1800.02/1800.00 o 3580 1800.02/1800.00 o 3579 1800.02/1800.00 o 3578 1800.02/1800.00 o 3577 1800.02/1800.00 o 3575 1800.02/1800.00 o 3574 1800.02/1800.00 o 3573 1800.02/1800.00 o 3572 1800.02/1800.00 o 3568 1800.02/1800.00 o 3567 1800.02/1800.00 o 3566 1800.02/1800.00 o 3565 1800.02/1800.00 o 3564 1800.02/1800.00 o 3563 1800.02/1800.00 o 3562 1800.02/1800.00 o 3561 1800.02/1800.00 o 3560 1800.02/1800.00 o 3558 1800.02/1800.00 o 3557 1800.02/1800.00 o 3556 1800.02/1800.00 o 3555 1800.02/1800.00 o 3554 1800.02/1800.00 o 3553 1800.02/1800.00 o 3552 1800.02/1800.00 o 3551 1800.02/1800.00 o 3550 1800.02/1800.00 o 3549 1800.02/1800.00 o 3548 1800.02/1800.00 o 3547 1800.02/1800.00 o 3546 1800.02/1800.00 o 3545 1800.02/1800.00 o 3543 1800.02/1800.00 o 3542 1800.02/1800.00 o 3541 1800.02/1800.00 o 3540 1800.02/1800.00 o 3539 1800.02/1800.00 o 3538 1800.02/1800.00 o 3537 1800.02/1800.00 o 3536 1800.02/1800.00 o 3534 1800.02/1800.00 o 3533 1800.02/1800.00 o 3531 1800.02/1800.00 o 3530 1800.02/1800.00 o 3526 1800.02/1800.00 o 3525 1800.02/1800.00 o 3524 1800.02/1800.00 o 3521 1800.02/1800.00 o 3520 1800.02/1800.00 o 3519 1800.02/1800.00 o 3518 1800.02/1800.00 o 3517 1800.02/1800.00 o 3516 1800.02/1800.00 o 3515 1800.02/1800.00 o 3512 1800.02/1800.00 o 3511 1800.02/1800.00 o 3510 1800.02/1800.00 o 3509 1800.02/1800.00 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 -x1170 x1171 x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 -x1348 x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 -x1469 x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 x1499 -x1500 -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x1630 -x1631 -x1632 -x1633 -x1634 x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 -x1764 -x1765 x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x1820 -x1821 x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 x1838 -x1839 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 x2093 -x2094 x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 x2106 x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 x2163 -x2164 -x2165 -x2166 x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 x2223 x2224 -x2225 -x2226 x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 x2236 -x2237 -x2238 x2239 -x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 x2313 -x2314 -x2315 -x2316 x2317 -x2318 x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 x2358 -x2359 x2360 -x2361 -x2362 -x2363 x2364 x2365 -x2366 -x2367 x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 -x2403 x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 -x2450 x2451 -x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 x2558 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 x2638 -x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2732 -x2733 x2734 -x2735 -x2736 x2737 -x2738 -x2739 -x2740 x2741 x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 x2751 -x2752 -x2753 -x2754 x2755 -x2756
OK 3509
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3490529-1307759498/watcher-3490529-1307759498 -o /tmp/evaluation-result-3490529-1307759498/solver-3490529-1307759498 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490529-1307759498.opb --verbosity=0 --format=opb --randomseed=1592529509 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.98 1.76 2.07 2/175 16466 /proc/meminfo: memFree=31587552/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=7864 CPUtime=0 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 492 0 0 0 0 0 0 0 25 0 1 0 887548498 8052736 444 33554432000 4194304 6720400 140737370450160 18446744073709551615 5885600 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/16466/statm: 1966 445 232 617 0 1340 0 [startup+0.025008 s] /proc/loadavg: 1.98 1.76 2.07 2/175 16466 /proc/meminfo: memFree=31587552/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=9992 CPUtime=0.02 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 1051 0 0 0 2 0 0 0 25 0 1 0 887548498 10231808 989 33554432000 4194304 6720400 140737370450160 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 2531 992 245 617 0 1905 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9992 [startup+0.100993 s] /proc/loadavg: 1.98 1.76 2.07 2/175 16466 /proc/meminfo: memFree=31587552/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=7240 CPUtime=0.09 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 1418 0 0 0 9 0 0 0 25 0 1 0 887548498 7413760 1355 33554432000 4194304 6720400 140737370450160 18446744073709551615 4820724 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 1810 1355 264 617 0 1184 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7240 [startup+0.300962 s] /proc/loadavg: 1.98 1.76 2.07 2/175 16466 /proc/meminfo: memFree=31587552/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=8644 CPUtime=0.29 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 1722 0 0 0 29 0 0 0 25 0 1 0 887548498 8851456 1652 33554432000 4194304 6720400 140737370450160 18446744073709551615 4714603 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 2161 1652 264 617 0 1535 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8644 [startup+0.700891 s] /proc/loadavg: 1.98 1.76 2.07 2/175 16466 /proc/meminfo: memFree=31587552/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=11332 CPUtime=0.69 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 2388 0 0 0 69 0 0 0 25 0 1 0 887548498 11603968 2305 33554432000 4194304 6720400 140737370450160 18446744073709551615 4715097 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 2833 2305 264 617 0 2207 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11332 [startup+1.50076 s] /proc/loadavg: 1.98 1.76 2.07 3/176 16467 /proc/meminfo: memFree=31573308/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=22828 CPUtime=1.49 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 4845 0 0 0 149 0 0 0 25 0 1 0 887548498 23375872 4746 33554432000 4194304 6720400 140737370450160 18446744073709551615 4811683 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 5707 4746 265 617 0 5081 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22828 [startup+3.10048 s] /proc/loadavg: 1.98 1.76 2.07 3/176 16467 /proc/meminfo: memFree=31574548/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=22836 CPUtime=3.09 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 8147 0 0 0 308 1 0 0 25 0 1 0 887548498 23384064 4901 33554432000 4194304 6720400 140737370450160 18446744073709551615 4803095 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 5709 4901 265 617 0 5083 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22836 [startup+6.30093 s] /proc/loadavg: 1.98 1.76 2.07 3/176 16467 /proc/meminfo: memFree=31549408/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=41580 CPUtime=6.29 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 19621 0 0 0 626 3 0 0 25 0 1 0 887548498 42577920 9953 33554432000 4194304 6720400 140737370450160 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 10395 9953 265 617 0 9769 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41580 [startup+12.7008 s] /proc/loadavg: 1.98 1.77 2.07 3/176 16467 /proc/meminfo: memFree=31513340/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=109776 CPUtime=12.69 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 41109 0 0 0 1264 5 0 0 25 0 1 0 887548498 112410624 20774 33554432000 4194304 6720400 140737370450160 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 27444 20774 265 617 0 26818 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 109776 [startup+25.5006 s] /proc/loadavg: 1.99 1.78 2.07 3/176 16467 /proc/meminfo: memFree=31548076/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=60456 CPUtime=25.49 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 77998 0 0 0 2538 11 0 0 25 0 1 0 887548498 61906944 10004 33554432000 4194304 6720400 140737370450160 18446744073709551615 4803154 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 15114 10004 265 617 0 14488 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 60456 [startup+51.1002 s] /proc/loadavg: 1.99 1.79 2.07 3/176 16467 /proc/meminfo: memFree=31528956/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=60456 CPUtime=51.09 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 111998 0 0 0 5093 16 0 0 25 0 1 0 887548498 61906944 14680 33554432000 4194304 6720400 140737370450160 18446744073709551615 4820719 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 15114 14680 265 617 0 14488 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 60456 [startup+102.306 s] /proc/loadavg: 1.99 1.83 2.06 3/176 16469 /proc/meminfo: memFree=31528824/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=60456 CPUtime=102.3 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 170980 0 0 0 10207 23 0 0 25 0 1 0 887548498 61906944 14680 33554432000 4194304 6720400 140737370450160 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 15114 14680 265 617 0 14488 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 60456 [startup+162.3 s] /proc/loadavg: 1.99 1.85 2.06 3/176 16471 /proc/meminfo: memFree=31517136/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=71984 CPUtime=162.29 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 250673 0 0 0 16195 34 0 0 25 0 1 0 887548498 73711616 17554 33554432000 4194304 6720400 140737370450160 18446744073709551615 4714450 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 17996 17554 265 617 0 17370 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 71984 [startup+222.301 s] /proc/loadavg: 2.07 1.89 2.06 3/176 16473 /proc/meminfo: memFree=31542168/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=79164 CPUtime=222.3 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 305583 0 0 0 22189 41 0 0 25 0 1 0 887548498 81063936 11960 33554432000 4194304 6720400 140737370450160 18446744073709551615 4803388 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 19791 11960 265 617 0 19165 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 79164 [startup+282.3 s] /proc/loadavg: 2.03 1.91 2.05 3/176 16473 /proc/meminfo: memFree=31508300/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=79164 CPUtime=282.3 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 365584 0 0 0 28181 49 0 0 25 0 1 0 887548498 81063936 19349 33554432000 4194304 6720400 140737370450160 18446744073709551615 4811729 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 19791 19349 265 617 0 19165 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 79164 [startup+342.3 s] /proc/loadavg: 2.01 1.92 2.05 3/176 16475 /proc/meminfo: memFree=31508388/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=79164 CPUtime=342.3 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 499935 0 0 0 34164 66 0 0 25 0 1 0 887548498 81063936 19349 33554432000 4194304 6720400 140737370450160 18446744073709551615 5715338 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 19791 19349 265 617 0 19165 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 79164 [startup+402.301 s] /proc/loadavg: 2.00 1.94 2.04 3/176 16477 /proc/meminfo: memFree=31437564/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=91032 CPUtime=402.3 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 668843 0 0 0 40143 87 0 0 25 0 1 0 887548498 93216768 22316 33554432000 4194304 6720400 140737370450160 18446744073709551615 4806606 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 22758 22316 265 617 0 22132 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 91032 [startup+462.301 s] /proc/loadavg: 2.00 1.94 2.03 3/176 16479 /proc/meminfo: memFree=31470900/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=91032 CPUtime=462.3 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 864445 0 0 0 46113 117 0 0 25 0 1 0 887548498 93216768 22316 33554432000 4194304 6720400 140737370450160 18446744073709551615 4431773 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 22758 22316 265 617 0 22132 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 91032 [startup+522.3 s] /proc/loadavg: 2.00 1.95 2.03 3/176 16481 /proc/meminfo: memFree=31471000/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=91032 CPUtime=522.3 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 968151 0 0 0 52101 129 0 0 25 0 1 0 887548498 93216768 22316 33554432000 4194304 6720400 140737370450160 18446744073709551615 5729402 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 22758 22316 265 617 0 22132 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 91032 [startup+582.301 s] /proc/loadavg: 2.00 1.96 2.02 3/176 16481 /proc/meminfo: memFree=31470484/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=91032 CPUtime=582.3 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 1097224 0 0 0 58084 146 0 0 25 0 1 0 887548498 93216768 22316 33554432000 4194304 6720400 140737370450160 18446744073709551615 4719198 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 22758 22316 265 617 0 22132 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 91032 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.04 1.99 2.00 3/176 16489 /proc/meminfo: memFree=31462984/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=98636 CPUtime=822.3 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 1683877 0 0 0 82009 221 0 0 25 0 1 0 887548498 101003264 24217 33554432000 4194304 6720400 140737370450160 18446744073709551615 4814224 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 24659 24217 265 617 0 24033 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 98636 [startup+882.3 s] /proc/loadavg: 2.06 2.00 2.00 3/176 16489 /proc/meminfo: memFree=31462952/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=98636 CPUtime=882.3 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 1835892 0 0 0 87988 242 0 0 25 0 1 0 887548498 101003264 24217 33554432000 4194304 6720400 140737370450160 18446744073709551615 4811648 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 24659 24217 265 617 0 24033 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 98636 [startup+942.301 s] /proc/loadavg: 2.02 2.00 2.00 3/176 16491 /proc/meminfo: memFree=31463060/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=98636 CPUtime=942.31 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 1968381 0 0 0 93969 262 0 0 25 0 1 0 887548498 101003264 24217 33554432000 4194304 6720400 140737370450160 18446744073709551615 4803196 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 24659 24217 265 617 0 24033 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 98636 [startup+1002.3 s] /proc/loadavg: 2.01 2.00 2.00 3/176 16493 /proc/meminfo: memFree=31462924/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=98636 CPUtime=1002.31 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 2099276 0 0 0 99952 279 0 0 25 0 1 0 887548498 101003264 24217 33554432000 4194304 6720400 140737370450160 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 24659 24217 265 617 0 24033 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 98636 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 16495 /proc/meminfo: memFree=31462900/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=98636 CPUtime=1062.31 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 2284935 0 0 0 105926 305 0 0 25 0 1 0 887548498 101003264 24218 33554432000 4194304 6720400 140737370450160 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 24659 24218 265 617 0 24033 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 98636 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 16497 /proc/meminfo: memFree=31422940/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=147956 CPUtime=1122.31 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 2478479 0 0 0 111899 332 0 0 25 0 1 0 887548498 151506944 35176 33554432000 4194304 6720400 140737370450160 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 36989 35176 265 617 0 36363 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 147956 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 16497 /proc/meminfo: memFree=31406552/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=178776 CPUtime=1182.31 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 2667126 0 0 0 117871 360 0 0 25 0 1 0 887548498 183066624 40792 33554432000 4194304 6720400 140737370450160 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 44694 40792 265 617 0 44068 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 178776 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 16499 /proc/meminfo: memFree=31411508/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=178776 CPUtime=1242.31 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 2866112 0 0 0 123840 391 0 0 25 0 1 0 887548498 183066624 38354 33554432000 4194304 6720400 140737370450160 18446744073709551615 4803111 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 44694 38354 265 617 0 44068 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 178776 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 16501 /proc/meminfo: memFree=31424876/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=147956 CPUtime=1302.32 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 3059343 0 0 0 129811 421 0 0 25 0 1 0 887548498 151506944 33821 33554432000 4194304 6720400 140737370450160 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 36989 33821 265 617 0 36363 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 147956 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 16503 /proc/meminfo: memFree=31462676/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=147956 CPUtime=1362.32 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 3232842 0 0 0 135783 449 0 0 25 0 1 0 887548498 151506944 32136 33554432000 4194304 6720400 140737370450160 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 36989 32136 265 617 0 36363 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 147956 [startup+1422.31 s] /proc/loadavg: 2.07 2.02 2.00 3/176 16505 /proc/meminfo: memFree=31406848/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=159692 CPUtime=1422.32 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 3408162 0 0 0 141757 475 0 0 25 0 1 0 887548498 163524608 38561 33554432000 4194304 6720400 140737370450160 18446744073709551615 4592604 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 39923 38561 265 617 0 39297 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 159692 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/176 16505 /proc/meminfo: memFree=31450952/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=159692 CPUtime=1482.32 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 3599483 0 0 0 147726 506 0 0 25 0 1 0 887548498 163524608 35460 33554432000 4194304 6720400 140737370450160 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 39923 35460 265 617 0 39297 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 159692 [startup+1542.3 s] /proc/loadavg: 2.01 2.00 2.00 3/176 16507 /proc/meminfo: memFree=31367740/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=240600 CPUtime=1542.32 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 3782526 0 0 0 153697 535 0 0 25 0 1 0 887548498 246374400 50784 33554432000 4194304 6720400 140737370450160 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 60150 50784 265 617 0 59524 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 240600 [startup+1602.3 s] /proc/loadavg: 2.16 2.05 2.01 3/176 16548 /proc/meminfo: memFree=30631032/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=159692 CPUtime=1602.32 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 3971926 0 0 0 159669 563 0 0 25 0 1 0 887548498 163524608 36208 33554432000 4194304 6720400 140737370450160 18446744073709551615 4437323 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 39923 36208 265 617 0 39297 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 159692 [startup+1662.3 s] /proc/loadavg: 2.06 2.03 2.01 3/176 16550 /proc/meminfo: memFree=30595584/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=159692 CPUtime=1662.32 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 4151458 0 0 0 165641 591 0 0 25 0 1 0 887548498 163524608 36783 33554432000 4194304 6720400 140737370450160 18446744073709551615 5734218 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 39923 36784 265 617 0 39297 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 159692 [startup+1722.3 s] /proc/loadavg: 2.02 2.03 2.00 3/176 16552 /proc/meminfo: memFree=30558776/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=240600 CPUtime=1722.32 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 4325027 0 0 0 171615 617 0 0 25 0 1 0 887548498 246374400 47192 33554432000 4194304 6720400 140737370450160 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 60150 47192 265 617 0 59524 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 240600 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/176 16561 /proc/meminfo: memFree=30568212/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=190512 CPUtime=1782.32 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 4547023 0 0 0 177581 651 0 0 25 0 1 0 887548498 195084288 43722 33554432000 4194304 6720400 140737370450160 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 47628 43722 265 617 0 47002 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 190512 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.02 2.00 3/176 16563 /proc/meminfo: memFree=30551344/32951132 swapFree=67052544/67111528 [pid=16466] ppid=16464 vsize=190512 CPUtime=1800.02 cores=1,3,5,7 /proc/16466/stat : 16466 (minisatid) R 16464 16466 16337 0 -1 4202496 4595971 0 0 0 179344 658 0 0 25 0 1 0 887548498 195084288 46773 33554432000 4194304 6720400 140737370450160 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16466/statm: 47628 46773 265 617 0 47002 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 190512 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.02 CPU time (s): 1800.04 CPU user time (s): 1793.45 CPU system time (s): 6.596 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 321988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.45 system time used= 6.596 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4595976 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 4618 runsolver used 2.39364 second user time and 5.80812 second system time The end
Begin job on node128 at 2011-06-11 04:31:38 IDJOB=3490529 IDBENCH=1871 IDSOLVER=1980 FILE ID=node128/3490529-1307759498 RUNJOBID= node128-1307759266-16356 PBS_JOBID= 13550865 Free space on /tmp= 74124 MiB SOLVER NAME= MinisatID 2.5.2 (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb COMMAND LINE= HOME/minisatid BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3490529-1307759498/watcher-3490529-1307759498 -o /tmp/evaluation-result-3490529-1307759498/solver-3490529-1307759498 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490529-1307759498.opb --verbosity=0 --format=opb --randomseed=1592529509 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED=1592529509 node128.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5434.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 31588228 kB Buffers: 254632 kB Cached: 821176 kB SwapCached: 11368 kB Active: 325020 kB Inactive: 836268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31588228 kB SwapTotal: 67111528 kB SwapFree: 67052544 kB Dirty: 3156 kB Writeback: 16 kB AnonPages: 82864 kB Mapped: 11152 kB Slab: 137020 kB PageTables: 4652 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 304688 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74104 MiB End job on node128 at 2011-06-11 05:01:41