Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.45 | 1801.19 |
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 | SAT |
Best value of the objective obtained on this benchmark | 4666 |
Best CPU time to get the best result obtained on this benchmark | 1800.71 |
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 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node74/41549-1149370349/instance-41549-1149370349.opb ...... 0.09 c done parsing opb. 0.09 o 69309 0.10 o 63766 0.10 o 52951 0.11 o 52924 0.12 o 51285 0.13 o 47895 0.13 o 44456 0.14 o 39363 0.15 o 39360 0.15 o 39096 0.16 o 38033 0.17 o 37412 0.18 o 37098 0.18 o 35973 0.19 o 35661 0.21 o 35660 0.21 o 27420 0.22 o 26201 0.23 o 15509 0.23 o 15297 0.24 o 14530 0.24 o 14277 0.25 o 14108 0.25 o 14107 0.26 o 14106 0.27 o 14105 0.27 o 14104 0.28 o 14102 0.29 o 14101 0.30 o 10092 0.30 o 10071 0.31 o 8833 0.31 o 8753 0.32 o 8749 0.32 o 8747 0.33 o 8745 0.33 o 8705 0.34 o 8676 0.34 o 8627 0.35 o 8603 0.35 o 8343 0.36 o 8342 0.36 o 8341 0.37 o 8337 0.37 o 8241 0.38 o 8240 0.38 o 8204 0.39 o 8203 0.40 o 8202 21.67 o 8201 21.68 o 8200 21.70 o 8199 21.71 o 8198 21.71 o 8197 21.72 o 8196 21.72 o 8195 21.73 o 8194 21.73 o 8193 21.73 o 8192 21.74 o 8191 21.74 o 8190 21.75 o 8189 21.75 o 8188 21.75 o 8187 21.76 o 8186 21.76 o 8185 21.76 o 8184 21.92 o 8183 21.93 o 8182 21.93 o 8181 21.94 o 8180 21.94 o 8179 21.95 o 8178 21.95 o 8177 21.96 o 8176 21.96 o 8175 21.96 o 8174 21.97 o 8173 21.97 o 8172 21.98 o 8171 21.98 o 8170 21.98 o 8169 21.99 o 8168 21.99 o 8167 21.99 o 8166 22.00 o 8165 22.00 o 8164 22.01 o 8163 22.01 o 8162 22.01 o 8161 22.01 o 8160 22.02 o 8159 22.02 o 8158 22.03 o 8157 22.03 o 8156 22.03 o 8155 22.03 o 8154 22.04 o 8153 22.04 o 8152 22.04 o 8151 22.05 o 8150 22.05 o 8149 22.05 o 8148 22.06 o 8147 22.06 o 8146 22.06 o 8145 22.07 o 8144 22.07 o 8143 22.07 o 8142 22.08 o 8141 25.99 o 8140 26.00 o 8139 26.01 o 8138 26.01 o 8137 26.01 o 8136 26.02 o 8135 26.02 o 8134 26.03 o 8133 26.03 o 8132 26.04 o 8131 26.04 o 8130 26.04 o 8129 26.05 o 8128 26.05 o 8127 26.05 o 8126 26.06 o 8125 26.06 o 8124 26.07 o 8123 26.07 o 8122 26.07 o 8121 26.08 o 8120 26.08 o 8119 26.08 o 8118 26.09 o 8117 26.09 o 8116 26.09 o 8115 26.10 o 8114 26.10 o 8113 26.10 o 8112 26.11 o 8111 26.11 o 8110 26.11 o 8109 26.12 o 8108 26.12 o 8107 26.12 o 8106 26.13 o 8105 26.13 o 8104 26.13 o 8103 26.14 o 8102 26.14 o 8101 26.14 o 8100 26.15 o 8099 26.15 o 8098 26.15 o 8097 26.15 o 8096 26.16 o 8095 26.16 o 8094 26.16 o 8093 26.17 o 8092 26.17 o 8091 26.18 o 8090 44.56 o 8089 44.57 o 8088 44.57 o 8087 44.58 o 8086 44.59 o 8085 44.59 o 8084 44.60 o 8083 44.60 o 8082 44.61 o 8081 44.61 o 8080 44.62 o 8079 44.62 o 8078 44.63 o 8077 44.63 o 8076 44.64 o 8075 44.64 o 8074 44.64 o 8073 44.65 o 8072 44.65 o 8071 44.66 o 8070 44.66 o 8069 44.67 o 8068 44.67 o 8067 44.67 o 8066 44.68 o 8065 44.68 o 8064 44.69 o 8063 44.69 o 8062 44.70 o 8061 44.70 o 8060 44.70 o 8059 44.71 o 8058 44.71 o 8057 44.72 o 8056 44.73 o 8055 44.73 o 8054 44.84 o 8053 44.84 o 8052 44.85 o 8051 44.85 o 8050 44.86 o 8049 44.86 o 8048 44.87 o 8047 44.91 o 8046 55.45 o 8045 55.46 o 8044 55.47 o 8043 73.26 o 8042 73.27 o 8041 73.27 o 8040 73.27 o 8039 73.28 o 8038 73.28 o 8037 73.29 o 8036 73.29 o 8035 73.29 o 8034 73.29 o 8033 73.30 o 8032 73.30 o 8031 73.30 o 8030 73.31 o 8029 73.31 o 8028 73.31 o 8027 73.32 o 8026 73.32 o 8025 73.32 o 8024 73.33 o 8023 73.33 o 8022 73.34 o 8021 73.34 o 8020 73.34 o 8019 73.35 o 8018 73.35 o 8017 73.35 o 8016 73.36 o 8015 73.36 o 8014 73.36 o 8013 73.37 o 8012 73.37 o 8011 73.37 o 8010 73.38 o 8009 73.38 o 8008 73.38 o 8007 73.39 o 8006 73.39 o 8005 73.39 o 8004 73.40 o 8003 73.40 o 8002 73.40 o 8001 73.41 o 8000 73.41 o 7999 73.41 o 7998 73.42 o 7997 73.42 o 7996 73.42 o 7995 73.43 o 7994 73.43 o 7993 73.43 o 7992 73.44 o 7991 73.44 o 7990 73.44 o 7989 73.45 o 7988 73.45 o 7987 73.46 o 7986 73.46 o 7985 73.46 o 7984 73.47 o 7983 73.47 o 7982 73.47 o 7981 73.47 o 7980 73.48 o 7979 73.48 o 7978 73.49 o 7977 73.49 o 7976 73.49 o 7975 73.49 o 7974 73.50 o 7973 73.50 o 7972 73.51 o 7971 73.51 o 7970 73.51 o 7969 73.51 o 7968 73.52 o 7967 73.52 o 7966 73.52 o 7965 73.53 o 7964 73.53 o 7963 73.53 o 7962 73.54 o 7961 73.54 o 7960 73.54 o 7959 73.55 o 7958 73.55 o 7957 73.56 o 7956 73.56 o 7955 73.56 o 7954 73.56 o 7953 73.57 o 7952 73.57 o 7951 73.57 o 7950 73.58 o 7949 73.58 o 7948 73.58 o 7947 73.59 o 7946 73.59 o 7945 73.59 o 7944 73.60 o 7943 73.60 o 7942 73.60 o 7941 73.61 o 7940 73.61 o 7939 73.61 o 7938 73.62 o 7937 73.62 o 7936 73.62 o 7935 73.63 o 7934 73.63 o 7933 73.63 o 7932 73.64 o 7931 73.64 o 7930 73.64 o 7929 73.65 o 7928 73.65 o 7927 73.66 o 7926 73.66 o 7925 73.66 o 7924 73.66 o 7923 73.67 o 7922 73.67 o 7921 73.68 o 7920 73.68 o 7919 73.68 o 7918 73.69 o 7917 73.69 o 7916 73.69 o 7915 73.69 o 7914 73.70 o 7913 73.70 o 7912 73.71 o 7911 73.71 o 7910 73.71 o 7909 73.71 o 7908 73.72 o 7907 73.72 o 7906 73.72 o 7905 73.73 o 7904 73.73 o 7903 73.73 o 7902 73.74 o 7901 73.74 o 7900 73.74 o 7899 73.75 o 7898 73.75 o 7897 73.93 o 7896 170.33 o 7895 173.27 o 7894 173.28 o 7893 173.28 o 7892 173.28 o 7891 173.29 o 7890 173.29 o 7889 173.30 o 7888 173.30 o 7887 173.30 o 7886 173.31 o 7885 173.31 o 7884 173.32 o 7883 173.32 o 7882 173.33 o 7881 173.33 o 7880 173.34 o 7879 173.34 o 7878 173.35 o 7877 173.35 o 7876 173.36 o 7875 173.36 o 7874 173.36 o 7873 173.37 o 7872 173.37 o 7871 173.38 o 7870 173.38 o 7869 173.38 o 7868 173.39 o 7867 173.39 o 7866 173.40 o 7865 173.40 o 7864 173.41 o 7863 173.41 o 7862 173.41 o 7861 173.42 o 7860 173.42 o 7859 173.43 o 7858 173.43 o 7857 173.43 o 7856 173.44 o 7855 173.44 o 7854 173.45 o 7853 173.45 o 7852 173.45 o 7851 173.46 o 7850 173.46 o 7849 173.47 o 7848 173.47 o 7847 173.48 o 7846 173.48 o 7845 173.48 o 7844 173.49 o 7843 173.49 o 7842 173.50 o 7841 173.50 o 7840 173.51 o 7839 173.51 o 7838 173.51 o 7837 173.52 o 7836 173.52 o 7835 173.53 o 7834 173.53 o 7833 173.54 o 7832 173.54 o 7831 173.54 o 7830 173.55 o 7829 173.55 o 7828 173.56 o 7827 173.56 o 7826 173.56 o 7825 173.57 o 7824 173.57 o 7823 173.57 o 7822 173.58 o 7821 173.58 o 7820 173.59 o 7819 173.59 o 7818 173.60 o 7817 173.60 o 7816 173.60 o 7815 173.61 o 7814 173.61 o 7813 173.62 o 7812 173.62 o 7811 173.62 o 7810 173.63 o 7809 173.63 o 7808 173.63 o 7807 173.64 o 7806 173.64 o 7805 173.65 o 7804 173.65 o 7803 173.66 o 7802 173.66 o 7801 173.66 o 7800 173.67 o 7799 173.67 o 7798 173.67 o 7797 173.68 o 7796 173.68 o 7795 173.69 o 7794 173.69 o 7793 173.69 o 7792 173.70 o 7791 173.70 o 7790 173.70 o 7789 173.71 o 7788 173.71 o 7787 173.72 o 7786 173.72 o 7785 173.72 o 7784 173.73 o 7783 173.73 o 7782 173.73 o 7781 173.74 o 7780 173.74 o 7779 173.75 o 7778 173.75 o 7777 173.75 o 7776 173.76 o 7775 173.76 o 7774 173.77 o 7773 173.77 o 7772 173.77 o 7771 173.78 o 7770 173.78 o 7769 173.78 o 7768 173.79 o 7767 173.79 o 7766 173.80 o 7765 173.80 o 7764 173.80 o 7763 173.81 o 7762 173.81 o 7761 173.81 o 7760 173.82 o 7759 173.82 o 7758 173.83 o 7757 173.83 o 7756 173.83 o 7755 173.84 o 7754 173.84 o 7753 173.84 o 7752 173.85 o 7751 173.85 o 7750 173.85 o 7749 173.86 o 7748 173.86 o 7747 173.87 o 7746 173.87 o 7745 173.87 o 7744 173.88 o 7743 173.88 o 7742 173.88 o 7741 173.89 o 7740 173.89 o 7739 173.90 o 7738 173.90 o 7737 173.90 o 7736 173.91 o 7735 173.91 o 7734 173.92 o 7733 173.92 o 7732 173.93 o 7731 173.93 o 7730 173.94 o 7729 173.94 o 7728 173.94 o 7727 173.95 o 7726 173.95 o 7725 173.96 o 7724 173.96 o 7723 173.96 o 7722 173.97 o 7721 173.97 o 7720 173.98 o 7719 173.98 o 7718 173.98 o 7717 173.99 o 7716 173.99 o 7715 173.99 o 7714 174.00 o 7713 174.00 o 7712 174.01 o 7711 174.01 o 7710 174.01 o 7709 174.02 o 7708 174.02 o 7707 174.03 o 7706 174.03 o 7705 176.13 o 7704 176.14 o 7703 176.14 o 7702 176.15 o 7701 176.15 o 7700 176.15 o 7699 176.16 o 7698 176.16 o 7697 176.17 o 7696 176.17 o 7695 176.17 o 7694 176.18 o 7693 176.18 o 7692 176.18 o 7691 176.19 o 7690 176.19 o 7689 176.19 o 7688 176.20 o 7687 176.20 o 7686 176.20 o 7685 176.21 o 7684 176.21 o 7683 176.22 o 7682 176.22 o 7681 176.22 o 7680 176.23 o 7679 176.23 o 7678 176.23 o 7677 176.24 o 7676 176.24 o 7675 176.24 o 7674 176.25 o 7673 176.25 o 7672 176.25 o 7671 176.26 o 7670 176.26 o 7669 176.26 o 7668 176.27 o 7667 176.27 o 7666 176.28 o 7665 176.28 o 7664 176.28 o 7663 176.33 o 7662 203.82 o 7661 203.82 o 7660 203.82 o 7659 203.83 o 7658 203.83 o 7657 203.84 o 7656 203.85 o 7655 203.85 o 7654 203.86 o 7653 203.86 o 7652 203.86 o 7651 203.87 o 7650 203.87 o 7649 203.87 o 7648 203.88 o 7647 203.88 o 7646 203.88 o 7645 203.89 o 7644 203.89 o 7643 203.89 o 7642 203.90 o 7641 203.90 o 7640 203.91 o 7639 203.91 o 7638 203.91 o 7637 203.92 o 7636 203.92 o 7635 203.92 o 7634 203.93 o 7633 203.93 o 7632 203.93 o 7631 203.94 o 7630 203.94 o 7629 203.95 o 7628 203.95 o 7627 203.95 o 7626 203.96 o 7625 203.96 o 7624 203.96 o 7623 203.97 o 7622 203.98 o 7621 203.98 o 7620 203.98 o 7619 203.99 o 7618 203.99 o 7617 203.99 o 7616 204.00 o 7615 204.00 o 7614 204.01 o 7613 204.01 o 7612 204.01 o 7611 204.02 o 7610 204.02 o 7609 204.02 o 7608 204.03 o 7607 204.03 o 7606 204.03 o 7605 204.04 o 7604 204.04 o 7603 204.04 o 7602 204.05 o 7601 204.05 o 7600 204.05 o 7599 204.06 o 7598 204.06 o 7597 204.07 o 7596 204.07 o 7595 204.07 o 7594 204.08 o 7593 204.08 o 7592 204.08 o 7591 204.09 o 7590 204.09 o 7589 204.09 o 7588 204.10 o 7587 204.10 o 7586 204.10 o 7585 204.11 o 7584 204.11 o 7583 204.12 o 7582 204.12 o 7581 204.12 o 7580 204.13 o 7579 204.13 o 7578 204.13 o 7577 204.14 o 7576 204.14 o 7575 204.15 o 7574 204.15 o 7573 204.15 o 7572 204.16 o 7571 204.16 o 7570 204.17 o 7569 204.17 o 7568 204.17 o 7567 204.18 o 7566 204.18 o 7565 204.18 o 7564 204.19 o 7563 204.19 o 7562 204.19 o 7561 204.20 o 7560 204.20 o 7559 204.20 o 7558 204.21 o 7557 204.21 o 7556 204.22 o 7555 204.22 o 7554 204.22 o 7553 204.23 o 7552 204.23 o 7551 204.24 o 7550 204.24 o 7549 204.25 o 7548 204.44 o 7547 204.44 o 7546 204.44 o 7545 204.45 o 7544 204.45 o 7543 204.46 o 7542 204.46 o 7541 204.46 o 7540 204.47 o 7539 204.47 o 7538 204.47 o 7537 204.48 o 7536 204.48 o 7535 204.49 o 7534 204.49 o 7533 204.50 o 7532 204.50 o 7531 204.50 o 7530 204.51 o 7529 204.51 o 7528 204.51 o 7527 204.52 o 7526 204.52 o 7525 204.52 o 7524 204.53 o 7523 204.53 o 7522 204.53 o 7521 204.54 o 7520 204.54 o 7519 204.55 o 7518 204.55 o 7517 204.57 o 7516 204.57 o 7515 204.58 o 7514 204.58 o 7513 204.58 o 7512 204.59 o 7511 204.59 o 7510 204.60 o 7509 204.60 o 7508 204.61 o 7507 204.61 o 7506 204.61 o 7505 204.61 o 7504 204.62 o 7503 204.62 o 7502 204.63 o 7501 204.63 o 7500 204.63 o 7499 204.64 o 7498 204.64 o 7497 204.64 o 7496 204.65 o 7495 204.65 o 7494 204.65 o 7493 204.66 o 7492 204.66 o 7491 204.66 o 7490 204.67 o 7489 204.67 o 7488 204.67 o 7487 204.68 o 7486 204.68 o 7485 204.68 o 7484 204.68 o 7483 204.69 o 7482 204.69 o 7481 204.69 o 7480 204.70 o 7479 204.70 o 7478 204.70 o 7477 204.71 o 7476 204.71 o 7475 204.71 o 7474 204.72 o 7473 204.72 o 7472 204.72 o 7471 204.73 o 7470 204.73 o 7469 205.03 o 7468 205.05 o 7467 205.05 o 7466 205.06 o 7465 205.06 o 7464 205.07 o 7463 205.07 o 7462 205.08 o 7461 205.08 o 7460 205.08 o 7459 205.09 o 7458 205.09 o 7457 205.10 o 7456 205.10 o 7455 205.11 o 7454 205.11 o 7453 205.12 o 7452 205.12 o 7451 205.13 o 7450 205.13 o 7449 205.13 o 7448 205.14 o 7447 205.14 o 7446 205.15 o 7445 205.17 o 7444 205.67 o 7443 205.67 o 7442 205.68 o 7441 205.68 o 7440 205.68 o 7439 205.69 o 7438 205.69 o 7437 205.70 o 7436 205.70 o 7435 205.70 o 7434 205.71 o 7433 205.71 o 7432 205.72 o 7431 205.72 o 7430 205.72 o 7429 205.73 o 7428 205.73 o 7427 205.74 o 7426 205.74 o 7425 205.75 o 7424 205.75 o 7423 205.75 o 7422 205.76 o 7421 205.76 o 7420 205.77 o 7419 205.77 o 7418 205.77 o 7417 205.78 o 7416 205.78 o 7415 205.79 o 7414 205.79 o 7413 205.79 o 7412 205.80 o 7411 205.80 o 7410 205.80 o 7409 205.81 o 7408 205.81 o 7407 205.82 o 7406 205.82 o 7405 205.82 o 7404 205.83 o 7403 205.83 o 7402 205.84 o 7401 205.84 o 7400 205.84 o 7399 205.85 o 7398 205.85 o 7397 205.86 o 7396 205.86 o 7395 205.86 o 7394 205.87 o 7393 205.87 o 7392 205.87 o 7391 205.88 o 7390 205.88 o 7389 205.89 o 7388 205.89 o 7387 205.89 o 7386 205.90 o 7385 205.90 o 7384 205.90 o 7383 205.91 o 7382 205.91 o 7381 205.92 o 7380 205.92 o 7379 205.93 o 7378 205.93 o 7377 205.94 o 7376 205.94 o 7375 205.95 o 7374 205.95 o 7373 205.96 o 7372 205.96 o 7371 205.97 o 7370 205.97 o 7369 206.09 o 7368 206.10 o 7367 206.10 o 7366 206.10 o 7365 206.11 o 7364 206.11 o 7363 206.11 o 7362 206.12 o 7361 206.12 o 7360 206.12 o 7359 206.13 o 7358 206.13 o 7357 206.13 o 7356 206.14 o 7355 206.14 o 7354 206.14 o 7353 206.14 o 7352 206.15 o 7351 206.15 o 7350 206.15 o 7349 206.16 o 7348 206.16 o 7347 206.16 o 7346 206.17 o 7345 206.17 o 7344 206.17 o 7343 206.18 o 7342 206.18 o 7341 206.18 o 7340 206.19 o 7339 206.19 o 7338 206.19 o 7337 206.20 o 7336 206.20 o 7335 206.20 o 7334 206.20 o 7333 206.21 o 7332 206.21 o 7331 206.21 o 7330 206.22 o 7329 206.22 o 7328 206.22 o 7327 206.23 o 7326 206.23 o 7325 206.23 o 7324 206.24 o 7323 206.24 o 7322 206.24 o 7321 206.25 o 7320 206.25 o 7319 206.25 o 7318 206.25 o 7317 206.26 o 7316 206.26 o 7315 206.26 o 7314 206.27 o 7313 206.27 o 7312 206.27 o 7311 206.28 o 7310 206.28 o 7309 206.28 o 7308 206.29 o 7307 206.29 o 7306 206.29 o 7305 206.30 o 7304 206.30 o 7303 206.30 o 7302 206.31 o 7301 206.31 o 7300 206.31 o 7299 206.31 o 7298 206.32 o 7297 206.32 o 7296 206.32 o 7295 206.33 o 7294 206.33 o 7293 206.33 o 7292 206.34 o 7291 206.34 o 7290 206.34 o 7289 206.35 o 7288 206.35 o 7287 206.35 o 7286 206.35 o 7285 206.36 o 7284 206.36 o 7283 206.36 o 7282 206.37 o 7281 206.37 o 7280 206.37 o 7279 206.38 o 7278 206.38 o 7277 206.38 o 7276 206.39 o 7275 206.39 o 7274 206.39 o 7273 206.40 o 7272 206.40 o 7271 206.40 o 7270 206.40 o 7269 206.41 o 7268 206.41 o 7267 206.41 o 7266 206.42 o 7265 206.42 o 7264 206.42 o 7263 206.43 o 7262 206.43 o 7261 206.43 o 7260 206.44 o 7259 206.44 o 7258 206.44 o 7257 206.45 o 7256 206.45 o 7255 206.45 o 7254 206.45 o 7253 206.46 o 7252 206.46 o 7251 206.46 o 7250 206.47 o 7249 206.47 o 7248 206.47 o 7247 206.48 o 7246 206.48 o 7245 206.48 o 7244 206.49 o 7243 206.49 o 7242 206.49 o 7241 206.50 o 7240 206.50 o 7239 206.50 o 7238 206.50 o 7237 206.51 o 7236 206.51 o 7235 206.51 o 7234 206.52 o 7233 206.52 o 7232 206.52 o 7231 206.53 o 7230 206.53 o 7229 206.53 o 7228 206.54 o 7227 206.54 o 7226 206.54 o 7225 206.55 o 7224 206.55 o 7223 206.55 o 7222 206.55 o 7221 206.56 o 7220 206.56 o 7219 206.56 o 7218 206.57 o 7217 206.57 o 7216 206.57 o 7215 206.58 o 7214 206.58 o 7213 206.58 o 7212 206.59 o 7211 206.59 o 7210 206.59 o 7209 206.60 o 7208 206.60 o 7207 206.60 o 7206 206.60 o 7205 206.61 o 7204 206.61 o 7203 206.61 o 7202 206.62 o 7201 206.62 o 7200 206.62 o 7199 206.63 o 7198 206.63 o 7197 206.63 o 7196 206.64 o 7195 206.64 o 7194 206.64 o 7193 206.65 o 7192 206.65 o 7191 206.65 o 7190 206.65 o 7189 206.66 o 7188 206.66 o 7187 206.66 o 7186 206.67 o 7185 206.67 o 7184 206.67 o 7183 206.68 o 7182 206.68 o 7181 206.68 o 7180 206.69 o 7179 206.69 o 7178 206.70 o 7177 206.70 o 7176 206.70 o 7175 206.71 o 7174 206.71 o 7173 206.71 o 7172 206.72 o 7171 206.72 o 7170 206.72 o 7169 206.73 o 7168 206.73 o 7167 206.73 o 7166 206.74 o 7165 206.74 o 7164 206.74 o 7163 206.75 o 7162 206.75 o 7161 206.76 o 7160 206.76 o 7159 206.76 o 7158 206.77 o 7157 206.77 o 7156 206.78 o 7155 206.78 o 7154 206.78 o 7153 206.79 o 7152 206.80 o 7151 214.02 o 7150 214.02 o 7149 214.03 o 7148 214.03 o 7147 214.04 o 7146 214.04 o 7145 214.04 o 7144 214.05 o 7143 214.05 o 7142 214.05 o 7141 214.06 o 7140 214.06 o 7139 214.07 o 7138 214.07 o 7137 214.08 o 7136 214.09 o 7135 214.09 o 7134 214.09 o 7133 214.10 o 7132 214.10 o 7131 214.11 o 7130 214.11 o 7129 214.11 o 7128 214.12 o 7127 214.12 o 7126 214.13 o 7125 214.13 o 7124 214.13 o 7123 214.14 o 7122 214.14 o 7121 214.15 o 7120 214.15 o 7119 214.15 o 7118 214.16 o 7117 214.16 o 7116 214.17 o 7115 214.17 o 7114 214.17 o 7113 214.18 o 7112 214.18 o 7111 214.19 o 7110 214.19 o 7109 214.19 o 7108 214.20 o 7107 214.20 o 7106 214.21 o 7105 214.21 o 7104 214.21 o 7103 214.22 o 7102 214.22 o 7101 214.22 o 7100 214.23 o 7099 214.23 o 7098 214.24 o 7097 214.24 o 7096 214.24 o 7095 214.25 o 7094 214.25 o 7093 214.26 o 7092 214.26 o 7091 214.26 o 7090 214.27 o 7089 214.27 o 7088 214.27 o 7087 214.28 o 7086 214.28 o 7085 214.29 o 7084 214.29 o 7083 214.29 o 7082 214.30 o 7081 214.30 o 7080 214.31 o 7079 214.31 o 7078 214.31 o 7077 214.32 o 7076 214.32 o 7075 214.32 o 7074 214.33 o 7073 214.34 o 7072 214.34 o 7071 214.34 o 7070 214.35 o 7069 214.35 o 7068 214.36 o 7067 214.36 o 7066 214.36 o 7065 214.37 o 7064 214.37 o 7063 214.37 o 7062 214.38 o 7061 214.38 o 7060 214.39 o 7059 214.39 o 7058 214.40 o 7057 214.40 o 7056 214.40 o 7055 214.41 o 7054 214.41 o 7053 214.41 o 7052 214.42 o 7051 214.42 o 7050 214.43 o 7049 214.43 o 7048 214.43 o 7047 214.44 o 7046 214.44 o 7045 214.45 o 7044 214.46 o 7043 214.46 o 7042 214.46 o 7041 214.47 o 7040 214.47 o 7039 214.47 o 7038 214.48 o 7037 214.48 o 7036 214.48 o 7035 214.49 o 7034 214.49 o 7033 214.49 o 7032 214.49 o 7031 214.50 o 7030 214.50 o 7029 214.50 o 7028 214.51 o 7027 214.51 o 7026 214.51 o 7025 214.52 o 7024 214.52 o 7023 214.52 o 7022 214.53 o 7021 214.53 o 7020 214.53 o 7019 214.54 o 7018 214.54 o 7017 214.54 o 7016 214.55 o 7015 214.55 o 7014 214.55 o 7013 214.56 o 7012 214.56 o 7011 214.56 o 7010 214.57 o 7009 214.57 o 7008 214.57 o 7007 214.58 o 7006 214.58 o 7005 214.58 o 7004 214.59 o 7003 214.59 o 7002 214.59 o 7001 214.60 o 7000 214.60 o 6999 214.60 o 6998 214.61 o 6997 214.61 o 6996 214.61 o 6995 214.62 o 6994 214.62 o 6993 214.62 o 6992 214.62 o 6991 214.63 o 6990 214.63 o 6989 214.63 o 6988 214.64 o 6987 214.64 o 6986 214.64 o 6985 214.65 o 6984 214.65 o 6983 214.65 o 6982 214.66 o 6981 214.66 o 6980 214.66 o 6979 214.67 o 6978 214.67 o 6977 214.67 o 6976 214.68 o 6975 214.68 o 6974 214.69 o 6973 214.69 o 6972 214.69 o 6971 214.70 o 6970 214.70 o 6969 214.70 o 6968 214.71 o 6967 214.71 o 6966 214.71 o 6965 214.71 o 6964 214.72 o 6963 214.72 o 6962 214.72 o 6961 214.73 o 6960 214.73 o 6959 214.73 o 6958 214.74 o 6957 214.74 o 6956 214.74 o 6955 214.75 o 6954 214.75 o 6953 214.75 o 6952 214.76 o 6951 214.76 o 6950 214.76 o 6949 214.77 o 6948 214.77 o 6947 214.77 o 6946 214.78 o 6945 214.78 o 6944 214.78 o 6943 214.79 o 6942 214.79 o 6941 214.79 o 6940 214.80 o 6939 214.80 o 6938 214.80 o 6937 214.81 o 6936 214.81 o 6935 214.82 o 6934 214.82 o 6933 214.82 o 6932 214.83 o 6931 214.83 o 6930 214.83 o 6929 214.84 o 6928 214.84 o 6927 214.84 o 6926 214.85 o 6925 214.85 o 6924 214.85 o 6923 214.86 o 6922 214.86 o 6921 214.86 o 6920 214.87 o 6919 214.87 o 6918 214.87 o 6917 214.88 o 6916 214.88 o 6915 214.88 o 6914 214.89 o 6913 214.89 o 6912 214.89 o 6911 214.90 o 6910 214.90 o 6909 214.90 o 6908 214.91 o 6907 214.91 o 6906 214.91 o 6905 214.92 o 6904 214.92 o 6903 214.92 o 6902 214.93 o 6901 214.93 o 6900 214.94 o 6899 214.94 o 6898 214.94 o 6897 214.95 o 6896 214.95 o 6895 214.95 o 6894 214.96 o 6893 214.96 o 6892 214.97 o 6891 214.97 o 6890 214.97 o 6889 214.98 o 6888 214.98 o 6887 214.99 o 6886 214.99 o 6885 215.00 o 6884 215.00 o 6883 215.00 o 6882 215.01 o 6881 215.01 o 6880 215.02 o 6879 215.02 o 6878 215.02 o 6877 215.03 o 6876 215.03 o 6875 215.04 o 6874 215.04 o 6873 215.04 o 6872 215.05 o 6871 215.05 o 6870 215.05 o 6869 215.05 o 6868 215.06 o 6867 215.06 o 6866 215.06 o 6865 215.07 o 6864 215.07 o 6863 215.07 o 6862 215.08 o 6861 215.08 o 6860 215.08 o 6859 215.09 o 6858 215.09 o 6857 215.09 o 6856 215.10 o 6855 215.10 o 6854 215.10 o 6853 215.11 o 6852 215.11 o 6851 215.13 o 6850 259.66 o 6849 259.66 o 6848 259.66 o 6847 259.67 o 6846 259.67 o 6845 259.67 o 6844 259.68 o 6843 259.68 o 6842 259.69 o 6841 259.69 o 6840 259.69 o 6839 259.70 o 6838 259.70 o 6837 259.70 o 6836 259.71 o 6835 259.71 o 6834 259.71 o 6833 259.72 o 6832 259.72 o 6831 259.72 o 6830 259.73 o 6829 259.73 o 6828 259.73 o 6827 259.74 o 6826 259.74 o 6825 259.74 o 6824 259.75 o 6823 259.75 o 6822 259.75 o 6821 259.76 o 6820 259.76 o 6819 259.77 o 6818 259.77 o 6817 259.77 o 6816 259.78 o 6815 259.78 o 6814 259.79 o 6813 259.79 o 6812 259.79 o 6811 259.80 o 6810 259.80 o 6809 259.80 o 6808 259.81 o 6807 259.81 o 6806 259.81 o 6805 259.82 o 6804 259.82 o 6803 259.82 o 6802 259.83 o 6801 259.83 o 6800 259.83 o 6799 259.84 o 6798 259.84 o 6797 259.84 o 6796 259.85 o 6795 259.85 o 6794 259.85 o 6793 259.86 o 6792 259.86 o 6791 259.86 o 6790 259.87 o 6789 259.87 o 6788 259.87 o 6787 259.88 o 6786 259.88 o 6785 259.88 o 6784 259.89 o 6783 259.89 o 6782 259.89 o 6781 259.90 o 6780 259.90 o 6779 259.90 o 6778 259.91 o 6777 259.91 o 6776 259.91 o 6775 259.92 o 6774 259.92 o 6773 259.92 o 6772 259.93 o 6771 259.93 o 6770 259.93 o 6769 259.94 o 6768 259.94 o 6767 259.94 o 6766 259.95 o 6765 259.95 o 6764 259.95 o 6763 259.96 o 6762 259.96 o 6761 259.96 o 6760 259.97 o 6759 259.97 o 6758 259.97 o 6757 259.98 o 6756 259.98 o 6755 259.98 o 6754 259.99 o 6753 259.99 o 6752 259.99 o 6751 260.00 o 6750 260.00 o 6749 260.00 o 6748 260.01 o 6747 260.01 o 6746 260.01 o 6745 260.02 o 6744 260.02 o 6743 260.02 o 6742 260.03 o 6741 260.03 o 6740 260.03 o 6739 260.04 o 6738 260.04 o 6737 260.04 o 6736 260.05 o 6735 260.05 o 6734 260.05 o 6733 260.06 o 6732 260.06 o 6731 260.06 o 6730 260.07 o 6729 260.07 o 6728 260.07 o 6727 260.07 o 6726 260.08 o 6725 260.08 o 6724 260.08 o 6723 260.09 o 6722 260.09 o 6721 260.09 o 6720 260.10 o 6719 260.10 o 6718 260.10 o 6717 260.11 o 6716 260.11 o 6715 260.11 o 6714 260.12 o 6713 260.12 o 6712 260.12 o 6711 260.13 o 6710 260.13 o 6709 260.13 o 6708 260.14 o 6707 260.14 o 6706 260.14 o 6705 260.15 o 6704 260.15 o 6703 260.15 o 6702 260.16 o 6701 260.16 o 6700 260.16 o 6699 260.17 o 6698 260.17 o 6697 260.17 o 6696 260.18 o 6695 260.18 o 6694 260.18 o 6693 260.19 o 6692 260.19 o 6691 260.19 o 6690 260.19 o 6689 260.20 o 6688 260.20 o 6687 260.20 o 6686 260.21 o 6685 260.21 o 6684 260.21 o 6683 260.22 o 6682 260.22 o 6681 260.22 o 6680 260.23 o 6679 260.23 o 6678 260.23 o 6677 260.24 o 6676 260.24 o 6675 260.24 o 6674 260.25 o 6673 260.25 o 6672 260.25 o 6671 260.26 o 6670 260.26 o 6669 260.26 o 6668 260.27 o 6667 260.27 o 6666 260.27 o 6665 260.28 o 6664 260.28 o 6663 260.28 o 6662 260.29 o 6661 260.29 o 6660 260.29 o 6659 260.30 o 6658 260.30 o 6657 260.30 o 6656 260.31 o 6655 260.31 o 6654 260.31 o 6653 260.31 o 6652 260.32 o 6651 260.32 o 6650 260.32 o 6649 260.33 o 6648 260.33 o 6647 260.33 o 6646 260.34 o 6645 260.34 o 6644 260.34 o 6643 260.35 o 6642 260.35 o 6641 260.35 o 6640 260.36 o 6639 260.36 o 6638 260.36 o 6637 260.37 o 6636 260.37 o 6635 260.37 o 6634 260.38 o 6633 260.38 o 6632 260.38 o 6631 260.39 o 6630 260.39 o 6629 260.39 o 6628 260.40 o 6627 260.40 o 6626 260.40 o 6625 260.41 o 6624 260.41 o 6623 260.41 o 6622 260.42 o 6621 260.42 o 6620 260.42 o 6619 260.42 o 6618 260.43 o 6617 260.43 o 6616 260.43 o 6615 260.44 o 6614 260.44 o 6613 260.44 o 6612 260.45 o 6611 260.45 o 6610 260.45 o 6609 260.46 o 6608 260.46 o 6607 260.46 o 6606 260.47 o 6605 260.47 o 6604 260.47 o 6603 260.48 o 6602 260.48 o 6601 260.48 o 6600 260.49 o 6599 260.49 o 6598 260.49 o 6597 260.50 o 6596 260.50 o 6595 260.50 o 6594 260.51 o 6593 260.51 o 6592 260.51 o 6591 260.52 o 6590 260.52 o 6589 260.52 o 6588 260.53 o 6587 260.53 o 6586 260.53 o 6585 260.54 o 6584 260.54 o 6583 260.54 o 6582 260.55 o 6581 260.55 o 6580 260.55 o 6579 260.56 o 6578 260.56 o 6577 260.56 o 6576 260.57 o 6575 260.57 o 6574 260.57 o 6573 260.57 o 6572 260.58 o 6571 260.58 o 6570 260.58 o 6569 260.59 o 6568 260.59 o 6567 260.59 o 6566 260.60 o 6565 260.60 o 6564 260.60 o 6563 260.61 o 6562 260.61 o 6561 260.61 o 6560 260.62 o 6559 260.62 o 6558 260.62 o 6557 260.63 o 6556 260.63 o 6555 260.63 o 6554 260.64 o 6553 260.64 o 6552 260.64 o 6551 260.65 o 6550 260.65 o 6549 260.65 o 6548 260.65 o 6547 260.66 o 6546 260.66 o 6545 260.66 o 6544 260.67 o 6543 260.67 o 6542 260.68 o 6541 260.68 o 6540 260.68 o 6539 260.68 o 6538 260.69 o 6537 260.69 o 6536 260.69 o 6535 260.70 o 6534 260.70 o 6533 260.70 o 6532 260.71 o 6531 260.71 o 6530 260.71 o 6529 260.72 o 6528 260.72 o 6527 260.72 o 6526 260.73 o 6525 260.73 o 6524 260.73 o 6523 260.74 o 6522 260.74 o 6521 260.74 o 6520 260.75 o 6519 260.75 o 6518 260.75 o 6517 260.76 o 6516 260.76 o 6515 260.76 o 6514 260.77 o 6513 260.77 o 6512 260.78 o 6511 260.78 o 6510 260.78 o 6509 260.78 o 6508 260.79 o 6507 260.79 o 6506 260.79 o 6505 260.80 o 6504 260.80 o 6503 260.80 o 6502 260.81 o 6501 260.81 o 6500 260.81 o 6499 260.82 o 6498 260.82 o 6497 260.82 o 6496 260.83 o 6495 260.83 o 6494 260.83 o 6493 260.84 o 6492 260.84 o 6491 260.84 o 6490 260.84 o 6489 260.85 o 6488 260.85 o 6487 260.85 o 6486 260.86 o 6485 260.86 o 6484 260.86 o 6483 260.87 o 6482 260.87 o 6481 260.87 o 6480 260.88 o 6479 260.88 o 6478 260.88 o 6477 260.89 o 6476 260.89 o 6475 260.89 o 6474 260.90 o 6473 260.90 o 6472 260.90 o 6471 260.90 o 6470 260.91 o 6469 260.91 o 6468 260.92 o 6467 260.92 o 6466 260.92 o 6465 260.93 o 6464 260.93 o 6463 260.93 o 6462 260.93 o 6461 260.94 o 6460 260.95 o 6459 306.67 o 6458 306.67 o 6457 306.68 o 6456 306.68 o 6455 306.68 o 6454 306.69 o 6453 306.69 o 6452 306.70 o 6451 306.70 o 6450 306.70 o 6449 306.71 o 6448 306.71 o 6447 306.71 o 6446 306.72 o 6445 306.72 o 6444 306.72 o 6443 306.73 o 6442 306.73 o 6441 306.74 o 6440 306.74 o 6439 306.74 o 6438 306.75 o 6437 306.75 o 6436 306.75 o 6435 306.76 o 6434 306.76 o 6433 306.76 o 6432 306.77 o 6431 306.77 o 6430 306.77 o 6429 306.78 o 6428 306.78 o 6427 306.78 o 6426 306.79 o 6425 306.79 o 6424 306.79 o 6423 306.80 o 6422 306.80 o 6421 306.80 o 6420 306.81 o 6419 306.81 o 6418 306.81 o 6417 306.82 o 6416 306.82 o 6415 306.82 o 6414 306.83 o 6413 306.83 o 6412 306.83 o 6411 306.84 o 6410 306.84 o 6409 306.84 o 6408 306.85 o 6407 306.85 o 6406 306.86 o 6405 306.86 o 6404 306.86 o 6403 306.87 o 6402 306.87 o 6401 306.87 o 6400 306.88 o 6399 306.88 o 6398 306.88 o 6397 306.89 o 6396 306.89 o 6395 306.89 o 6394 306.90 o 6393 306.90 o 6392 306.91 o 6391 306.91 o 6390 306.91 o 6389 306.92 o 6388 306.92 o 6387 306.92 o 6386 306.93 o 6385 306.93 o 6384 306.93 o 6383 306.94 o 6382 306.94 o 6381 306.94 o 6380 306.95 o 6379 306.95 o 6378 306.95 o 6377 306.96 o 6376 306.96 o 6375 306.96 o 6374 306.97 o 6373 306.97 o 6372 306.97 o 6371 306.98 o 6370 306.98 o 6369 306.98 o 6368 306.99 o 6367 306.99 o 6366 306.99 o 6365 307.00 o 6364 307.00 o 6363 307.00 o 6362 307.01 o 6361 307.01 o 6360 307.01 o 6359 307.02 o 6358 307.02 o 6357 307.02 o 6356 307.03 o 6355 307.03 o 6354 307.03 o 6353 307.04 o 6352 307.04 o 6351 307.04 o 6350 307.05 o 6349 307.05 o 6348 307.05 o 6347 307.06 o 6346 307.06 o 6345 307.06 o 6344 307.07 o 6343 307.07 o 6342 307.07 o 6341 307.08 o 6340 307.08 o 6339 307.08 o 6338 307.09 o 6337 307.09 o 6336 307.09 o 6335 307.10 o 6334 307.10 o 6333 307.10 o 6332 307.11 o 6331 307.11 o 6330 307.11 o 6329 307.12 o 6328 307.12 o 6327 307.12 o 6326 307.13 o 6325 307.13 o 6324 307.13 o 6323 307.14 o 6322 307.14 o 6321 307.14 o 6320 307.15 o 6319 307.15 o 6318 307.16 o 6317 307.16 o 6316 307.16 o 6315 307.17 o 6314 307.17 o 6313 307.17 o 6312 307.18 o 6311 307.18 o 6310 307.18 o 6309 307.19 o 6308 307.19 o 6307 307.19 o 6306 307.20 o 6305 307.20 o 6304 307.20 o 6303 307.21 o 6302 307.21 o 6301 307.21 o 6300 307.22 o 6299 307.22 o 6298 307.22 o 6297 307.23 o 6296 307.23 o 6295 307.23 o 6294 307.24 o 6293 307.24 o 6292 307.25 o 6291 307.25 o 6290 307.25 o 6289 307.26 o 6288 307.26 o 6287 307.26 o 6286 307.27 o 6285 307.27 o 6284 307.27 o 6283 307.28 o 6282 307.28 o 6281 307.28 o 6280 307.29 o 6279 307.29 o 6278 307.29 o 6277 307.29 o 6276 307.30 o 6275 307.30 o 6274 307.30 o 6273 307.31 o 6272 307.31 o 6271 307.31 o 6270 307.32 o 6269 307.32 o 6268 307.33 o 6267 307.33 o 6266 307.34 o 6265 307.34 o 6264 307.35 o 6263 307.35 o 6262 307.35 o 6261 307.36 o 6260 307.36 o 6259 307.36 o 6258 307.37 o 6257 307.37 o 6256 307.37 o 6255 307.38 o 6254 307.38 o 6253 307.38 o 6252 307.39 o 6251 307.39 o 6250 307.39 o 6249 307.40 o 6248 307.40 o 6247 307.40 o 6246 307.41 o 6245 307.41 o 6244 307.41 o 6243 307.42 o 6242 307.42 o 6241 307.42 o 6240 307.43 o 6239 307.43 o 6238 307.43 o 6237 307.44 o 6236 307.44 o 6235 307.44 o 6234 307.45 o 6233 307.45 o 6232 307.45 o 6231 307.46 o 6230 307.46 o 6229 307.47 o 6228 307.47 o 6227 307.47 o 6226 307.48 o 6225 307.48 o 6224 307.48 o 6223 307.49 o 6222 307.49 o 6221 307.49 o 6220 307.50 o 6219 307.50 o 6218 307.50 o 6217 307.51 o 6216 307.51 o 6215 307.51 o 6214 307.51 o 6213 307.52 o 6212 307.52 o 6211 307.52 o 6210 307.53 o 6209 307.53 o 6208 307.53 o 6207 307.54 o 6206 307.54 o 6205 307.54 o 6204 307.55 o 6203 307.55 o 6202 307.55 o 6201 307.56 o 6200 307.56 o 6199 307.56 o 6198 307.57 o 6197 307.57 o 6196 307.57 o 6195 307.58 o 6194 307.58 o 6193 307.58 o 6192 307.59 o 6191 307.59 o 6190 307.59 o 6189 307.60 o 6188 307.60 o 6187 307.60 o 6186 307.61 o 6185 307.61 o 6184 307.61 o 6183 307.62 o 6182 307.62 o 6181 307.62 o 6180 307.63 o 6179 307.63 o 6178 307.63 o 6177 307.64 o 6176 307.64 o 6175 307.64 o 6174 307.64 o 6173 307.65 o 6172 307.65 o 6171 307.65 o 6170 307.66 o 6169 307.66 o 6168 307.66 o 6167 307.67 o 6166 307.67 o 6165 307.69 o 6164 311.35 o 6163 327.13 o 6162 330.39 o 6161 330.39 o 6160 330.41 o 6159 344.39 o 6158 347.02 o 6157 350.33 o 6156 363.36 o 6155 364.54 o 6154 364.56 o 6153 364.93 o 6152 490.43 o 6151 617.24 o 6150 683.58 o 6149 683.58 o 6148 683.59 o 6147 683.59 o 6146 683.59 o 6145 683.59 o 6144 683.60 o 6143 683.60 o 6142 683.60 o 6141 683.61 o 6140 683.61 o 6139 683.61 o 6138 683.62 o 6137 683.62 o 6136 683.62 o 6135 683.62 o 6134 683.63 o 6133 683.63 o 6132 683.63 o 6131 683.64 o 6130 683.64 o 6129 683.64 o 6128 683.64 o 6127 683.65 o 6126 683.65 o 6125 683.66 o 6124 683.66 o 6123 683.66 o 6122 683.67 o 6121 683.67 o 6120 683.67 o 6119 683.67 o 6118 683.68 o 6117 683.68 o 6116 683.68 o 6115 683.69 o 6114 683.69 o 6113 683.69 o 6112 683.70 o 6111 683.70 o 6110 683.70 o 6109 683.72 o 6108 683.72 o 6107 683.72 o 6106 683.73 o 6105 683.73 o 6104 683.73 o 6103 683.74 o 6102 683.74 o 6101 683.74 o 6100 683.75 o 6099 683.75 o 6098 683.75 o 6097 683.75 o 6096 683.76 o 6095 683.76 o 6094 683.76 o 6093 683.77 o 6092 683.77 o 6091 683.78 o 6090 683.78 o 6089 683.79 o 6088 683.79 o 6087 683.80 o 6086 683.80 o 6085 683.80 o 6084 683.81 o 6083 683.81 o 6082 683.81 o 6081 683.82 o 6080 683.82 o 6079 683.83 o 6078 683.83 o 6077 683.83 o 6076 683.84 o 6075 683.84 o 6074 683.85 o 6073 683.85 o 6072 683.85 o 6071 683.86 o 6070 683.86 o 6069 683.86 o 6068 683.87 o 6067 683.87 o 6066 683.87 o 6065 683.87 o 6064 683.88 o 6063 683.88 o 6062 683.88 o 6061 683.89 o 6060 683.89 o 6059 683.89 o 6058 683.89 o 6057 683.90 o 6056 683.90 o 6055 683.90 o 6054 683.91 o 6053 683.91 o 6052 683.91 o 6051 683.92 o 6050 683.92 o 6049 683.92 o 6048 683.92 o 6047 683.93 o 6046 683.93 o 6045 683.93 o 6044 683.94 o 6043 683.94 o 6042 683.94 o 6041 683.95 o 6040 683.95 o 6039 683.95 o 6038 683.95 o 6037 683.96 o 6036 683.96 o 6035 683.96 o 6034 683.97 o 6033 683.97 o 6032 683.97 o 6031 683.98 o 6030 683.98 o 6029 683.98 o 6028 683.98 o 6027 683.99 o 6026 683.99 o 6025 683.99 o 6024 684.00 o 6023 684.00 o 6022 684.00 o 6021 684.00 o 6020 684.01 o 6019 684.01 o 6018 684.01 o 6017 684.02 o 6016 684.02 o 6015 684.02 o 6014 684.03 o 6013 684.03 o 6012 684.03 o 6011 684.03 o 6010 684.04 o 6009 684.04 o 6008 684.04 o 6007 684.05 o 6006 684.05 o 6005 684.05 o 6004 684.06 o 6003 684.06 o 6002 684.06 o 6001 684.06 o 6000 684.07 o 5999 684.07 o 5998 684.07 o 5997 684.08 o 5996 684.08 o 5995 684.08 o 5994 684.08 o 5993 684.09 o 5992 684.09 o 5991 684.09 o 5990 684.10 o 5989 684.10 o 5988 684.10 o 5987 684.11 o 5986 684.11 o 5985 684.11 o 5984 684.11 o 5983 684.12 o 5982 684.12 o 5981 684.12 o 5980 684.13 o 5979 684.13 o 5978 684.13 o 5977 684.14 o 5976 684.14 o 5975 684.14 o 5974 684.14 o 5973 684.15 o 5972 684.15 o 5971 684.15 o 5970 684.16 o 5969 684.16 o 5968 684.16 o 5967 684.16 o 5966 684.17 o 5965 684.17 o 5964 684.18 o 5963 684.18 o 5962 684.18 o 5961 684.19 o 5960 684.19 o 5959 684.19 o 5958 684.20 o 5957 684.20 o 5956 684.20 o 5955 684.20 o 5954 684.21 o 5953 684.21 o 5952 684.22 o 5951 911.91 o 5950 911.96 o 5949 1059.19 o 5948 1086.21 o 5947 1443.88 o 5946 1481.05 o 5945 1561.20 o 5944 1621.83 o 5943 1647.20 o 5942 1652.24 o 5941 1723.66 o 5940 1727.48 o 5939 1736.82 o 5938
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-41549-1149370349 -o ROOT/results/node74/solver-41549-1149370349 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node74/41549-1149370349/instance-41549-1149370349.opb 971120772 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 2/64 12888 /proc/meminfo: memFree=1593776/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=1660 CPUtime=0 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 145 0 0 0 0 0 0 0 18 0 1 0 202699228 1699840 129 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 415 131 91 232 0 180 0 [startup+10.0032 s] /proc/loadavg: 0.93 0.95 0.98 2/64 12888 /proc/meminfo: memFree=1588920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=6448 CPUtime=9.99 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 1384 0 0 0 991 8 0 0 25 0 1 0 202699228 6602752 1360 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 1612 1360 108 232 0 1377 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 6448 [startup+20.0102 s] /proc/loadavg: 0.94 0.96 0.98 2/64 12888 /proc/meminfo: memFree=1585080/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=10740 CPUtime=19.99 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 2333 0 0 0 1990 9 0 0 25 0 1 0 202699228 10997760 2309 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 2685 2309 108 232 0 2450 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 10740 [startup+30.0171 s] /proc/loadavg: 0.95 0.96 0.98 2/64 12888 /proc/meminfo: memFree=1580280/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=19896 CPUtime=30 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 3586 0 0 0 2986 14 0 0 25 0 1 0 202699228 20373504 3513 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 4974 3513 108 232 0 4739 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 19896 [startup+40.0231 s] /proc/loadavg: 0.95 0.96 0.98 2/64 12888 /proc/meminfo: memFree=1577848/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=20160 CPUtime=40 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4189 0 0 0 3984 16 0 0 25 0 1 0 202699228 20643840 4116 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 5040 4116 108 232 0 4805 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 20160 [startup+50.03 s] /proc/loadavg: 0.96 0.96 0.98 2/64 12888 /proc/meminfo: memFree=1577592/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=20292 CPUtime=50 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4249 0 0 0 4982 18 0 0 25 0 1 0 202699228 20779008 4176 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 5073 4176 108 232 0 4838 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 20292 [startup+60.036 s] /proc/loadavg: 0.97 0.96 0.98 2/64 12888 /proc/meminfo: memFree=1577400/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=20560 CPUtime=60.01 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4292 0 0 0 5982 19 0 0 25 0 1 0 202699228 21053440 4219 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 5140 4219 108 232 0 4905 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 20560 [startup+70.043 s] /proc/loadavg: 0.97 0.96 0.98 2/64 12888 /proc/meminfo: memFree=1577400/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=20560 CPUtime=70.01 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4308 0 0 0 6982 19 0 0 25 0 1 0 202699228 21053440 4235 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549273 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 5140 4235 108 232 0 4905 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 20560 [startup+80.0489 s] /proc/loadavg: 0.98 0.96 0.98 2/64 12888 /proc/meminfo: memFree=1575224/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=21116 CPUtime=80.01 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4848 0 0 0 7977 24 0 0 25 0 1 0 202699228 21622784 4775 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 5279 4775 108 232 0 5044 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 21116 [startup+90.0549 s] /proc/loadavg: 0.98 0.96 0.98 2/64 12888 /proc/meminfo: memFree=1575224/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=21116 CPUtime=90.01 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4852 0 0 0 8977 24 0 0 25 0 1 0 202699228 21622784 4779 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 5279 4779 108 232 0 5044 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 21116 [startup+100.061 s] /proc/loadavg: 0.98 0.96 0.98 2/64 12888 /proc/meminfo: memFree=1575224/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=21116 CPUtime=100.01 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4854 0 0 0 9977 24 0 0 25 0 1 0 202699228 21622784 4781 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 5279 4781 108 232 0 5044 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 21116 [startup+110.067 s] /proc/loadavg: 0.98 0.96 0.98 2/64 12888 /proc/meminfo: memFree=1575032/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=21252 CPUtime=110.01 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4898 0 0 0 10977 24 0 0 25 0 1 0 202699228 21762048 4825 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 5313 4825 108 232 0 5078 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 21252 [startup+120.073 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12888 /proc/meminfo: memFree=1574968/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=21252 CPUtime=120.02 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4906 0 0 0 11977 25 0 0 25 0 1 0 202699228 21762048 4833 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 5313 4833 108 232 0 5078 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 21252 [startup+130.079 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12888 /proc/meminfo: memFree=1574840/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=21404 CPUtime=130.02 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4939 0 0 0 12977 25 0 0 25 0 1 0 202699228 21917696 4866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 5351 4866 108 232 0 5116 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 21404 [startup+140.085 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12888 /proc/meminfo: memFree=1574776/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=21404 CPUtime=140.03 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4951 0 0 0 13977 26 0 0 25 0 1 0 202699228 21917696 4878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 5351 4878 108 232 0 5116 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 21404 [startup+150.091 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12888 /proc/meminfo: memFree=1574776/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=21404 CPUtime=150.03 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4956 0 0 0 14977 26 0 0 25 0 1 0 202699228 21917696 4883 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 5351 4883 108 232 0 5116 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 21404 [startup+160.097 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12888 /proc/meminfo: memFree=1574776/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=21404 CPUtime=160.03 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4960 0 0 0 15977 26 0 0 25 0 1 0 202699228 21917696 4887 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 5351 4887 108 232 0 5116 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 21404 [startup+170.103 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12888 /proc/meminfo: memFree=1574520/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=21920 CPUtime=170.03 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 5083 0 0 0 16976 27 0 0 25 0 1 0 202699228 22446080 4913 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 5480 4913 108 232 0 5245 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 21920 [startup+180.109 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12890 /proc/meminfo: memFree=1573112/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=22052 CPUtime=180.03 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 5460 0 0 0 17965 38 0 0 25 0 1 0 202699228 22581248 5290 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 5513 5290 108 232 0 5278 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 22052 [startup+190.115 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12890 /proc/meminfo: memFree=1572984/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=22180 CPUtime=190.03 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 5493 0 0 0 18965 38 0 0 25 0 1 0 202699228 22712320 5323 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 5545 5323 108 232 0 5310 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 22180 [startup+200.121 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12890 /proc/meminfo: memFree=1572984/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=22180 CPUtime=200.04 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 5495 0 0 0 19965 39 0 0 25 0 1 0 202699228 22712320 5325 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 5545 5325 108 232 0 5310 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 22180 [startup+210.126 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12890 /proc/meminfo: memFree=1572792/2055920 swapFree=4182284/4192956 ################ # More data... # ################ /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11891 0 0 0 177956 178 0 0 25 0 1 0 202699228 46723072 11143 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11143 108 232 0 11172 0 Current children cumulated CPU time (s) 1781.34 Current children cumulated vsize (Kb) 45628 [startup+1783.09 s] /proc/loadavg: 1.01 0.99 0.99 2/64 13086 /proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=45628 CPUtime=1782.34 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11892 0 0 0 178056 178 0 0 25 0 1 0 202699228 46723072 11144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11144 108 232 0 11172 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (Kb) 45628 [startup+1784.09 s] /proc/loadavg: 1.01 0.99 0.99 2/64 13086 /proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=45628 CPUtime=1783.35 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11892 0 0 0 178157 178 0 0 25 0 1 0 202699228 46723072 11144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11144 108 232 0 11172 0 Current children cumulated CPU time (s) 1783.35 Current children cumulated vsize (Kb) 45628 [startup+1785.1 s] /proc/loadavg: 1.01 0.99 0.99 2/64 13086 /proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=45628 CPUtime=1784.35 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11892 0 0 0 178257 178 0 0 25 0 1 0 202699228 46723072 11144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558828 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11144 108 232 0 11172 0 Current children cumulated CPU time (s) 1784.35 Current children cumulated vsize (Kb) 45628 [startup+1786.1 s] /proc/loadavg: 1.01 0.99 0.99 2/64 13086 /proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=45628 CPUtime=1785.35 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11892 0 0 0 178357 178 0 0 25 0 1 0 202699228 46723072 11144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11144 108 232 0 11172 0 Current children cumulated CPU time (s) 1785.35 Current children cumulated vsize (Kb) 45628 [startup+1787.11 s] /proc/loadavg: 1.01 0.99 0.99 2/64 13086 /proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=45628 CPUtime=1786.36 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11893 0 0 0 178458 178 0 0 25 0 1 0 202699228 46723072 11145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11145 108 232 0 11172 0 Current children cumulated CPU time (s) 1786.36 Current children cumulated vsize (Kb) 45628 [startup+1788.11 s] /proc/loadavg: 1.01 0.99 0.99 2/64 13086 /proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=45628 CPUtime=1787.36 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11893 0 0 0 178558 178 0 0 25 0 1 0 202699228 46723072 11145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11145 108 232 0 11172 0 Current children cumulated CPU time (s) 1787.36 Current children cumulated vsize (Kb) 45628 [startup+1789.12 s] /proc/loadavg: 1.01 0.99 0.99 2/64 13086 /proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=45628 CPUtime=1788.37 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11893 0 0 0 178659 178 0 0 25 0 1 0 202699228 46723072 11145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11145 108 232 0 11172 0 Current children cumulated CPU time (s) 1788.37 Current children cumulated vsize (Kb) 45628 [startup+1790.12 s] /proc/loadavg: 1.01 0.99 0.99 2/64 13086 /proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=45628 CPUtime=1789.38 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11893 0 0 0 178759 179 0 0 25 0 1 0 202699228 46723072 11145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11145 108 232 0 11172 0 Current children cumulated CPU time (s) 1789.38 Current children cumulated vsize (Kb) 45628 [startup+1791.13 s] /proc/loadavg: 1.01 0.99 0.99 2/64 13086 /proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=45628 CPUtime=1790.39 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11894 0 0 0 178860 179 0 0 25 0 1 0 202699228 46723072 11146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11146 108 232 0 11172 0 Current children cumulated CPU time (s) 1790.39 Current children cumulated vsize (Kb) 45628 [startup+1792.13 s] /proc/loadavg: 1.01 0.99 0.99 2/64 13086 /proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=45628 CPUtime=1791.39 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11894 0 0 0 178960 179 0 0 25 0 1 0 202699228 46723072 11146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11146 108 232 0 11172 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (Kb) 45628 [startup+1793.14 s] /proc/loadavg: 1.01 0.99 0.99 2/64 13086 /proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=45628 CPUtime=1792.39 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11894 0 0 0 179060 179 0 0 25 0 1 0 202699228 46723072 11146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11146 108 232 0 11172 0 Current children cumulated CPU time (s) 1792.39 Current children cumulated vsize (Kb) 45628 [startup+1794.14 s] /proc/loadavg: 1.01 0.99 0.99 2/64 13086 /proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=45628 CPUtime=1793.4 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11894 0 0 0 179161 179 0 0 25 0 1 0 202699228 46723072 11146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11146 108 232 0 11172 0 Current children cumulated CPU time (s) 1793.4 Current children cumulated vsize (Kb) 45628 [startup+1795.15 s] /proc/loadavg: 1.01 0.99 0.99 2/64 13086 /proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=45628 CPUtime=1794.4 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11894 0 0 0 179261 179 0 0 25 0 1 0 202699228 46723072 11146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11146 108 232 0 11172 0 Current children cumulated CPU time (s) 1794.4 Current children cumulated vsize (Kb) 45628 [startup+1796.15 s] /proc/loadavg: 1.01 0.99 0.99 2/64 13086 /proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=45628 CPUtime=1795.41 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11895 0 0 0 179362 179 0 0 25 0 1 0 202699228 46723072 11147 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551971 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11147 108 232 0 11172 0 Current children cumulated CPU time (s) 1795.41 Current children cumulated vsize (Kb) 45628 [startup+1797.16 s] /proc/loadavg: 1.01 0.99 0.99 2/64 13086 /proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=45628 CPUtime=1796.41 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11895 0 0 0 179462 179 0 0 25 0 1 0 202699228 46723072 11147 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11147 108 232 0 11172 0 Current children cumulated CPU time (s) 1796.41 Current children cumulated vsize (Kb) 45628 [startup+1798.16 s] /proc/loadavg: 1.01 0.99 0.99 2/64 13086 /proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=45628 CPUtime=1797.42 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11895 0 0 0 179563 179 0 0 25 0 1 0 202699228 46723072 11147 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11147 108 232 0 11172 0 Current children cumulated CPU time (s) 1797.42 Current children cumulated vsize (Kb) 45628 [startup+1799.17 s] /proc/loadavg: 1.01 0.99 0.99 2/64 13086 /proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=45628 CPUtime=1798.42 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11896 0 0 0 179663 179 0 0 25 0 1 0 202699228 46723072 11148 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550813 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11148 108 232 0 11172 0 Current children cumulated CPU time (s) 1798.42 Current children cumulated vsize (Kb) 45628 [startup+1800.17 s] /proc/loadavg: 1.01 0.99 0.99 2/64 13086 /proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=45628 CPUtime=1799.43 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11897 0 0 0 179764 179 0 0 25 0 1 0 202699228 46723072 11149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11149 108 232 0 11172 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (Kb) 45628 [startup+1801.18 s] /proc/loadavg: 1.01 0.99 0.99 2/64 13086 /proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=45628 CPUtime=1800.43 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11897 0 0 0 179864 179 0 0 25 0 1 0 202699228 46723072 11149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11149 108 232 0 11172 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (Kb) 45628 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 1.01 0.99 0.99 2/64 13086 /proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956 [pid=12888] ppid=12886 vsize=45628 CPUtime=1800.43 /proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11897 0 0 0 179864 179 0 0 25 0 1 0 202699228 46723072 11149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549267 0 0 4096 0 0 0 0 17 1 0 0 /proc/12888/statm: 11407 11149 108 232 0 11172 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (Kb) 45628 Sending SIGTERM to -12888 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.45 CPU user time (s): 1798.65 CPU system time (s): 1.79973 CPU usage (%): 99.9587 Max. virtual memory (cumulated for all children) (Kb): 45628 The end
Begin job on node74 on Sat Jun 3 21:32:29 UTC 2006 FILE ID= 41549-1149370349 PBS_JOBID= 312160 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node74/41549-1149370349/instance-41549-1149370349.opb 971120772 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-41549-1149370349 -o ROOT/results/node74/solver-41549-1149370349 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node74/41549-1149370349/instance-41549-1149370349.opb 971120772 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED= 971120772 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.274 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.274 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1594112 kB Buffers: 16284 kB Cached: 382992 kB SwapCached: 2332 kB Active: 44352 kB Inactive: 363604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1594112 kB SwapTotal: 4192956 kB SwapFree: 4182284 kB Dirty: 160 kB Writeback: 0 kB Mapped: 15872 kB Slab: 39896 kB Committed_AS: 343744 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node74 on Sat Jun 3 22:02:30 UTC 2006