Trace number 3291740

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sol 2011-04-04SAT 64.0473 63.6053

General information on the benchmark

NameSAT04/industrial/vangelder/cnf-color/
abb313GPIA-9-tr.used-as.sat04-321.cnf
MD5SUM6c3ea795f258ba82c81e44969c0c5fb4
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.211967
Satisfiable
(Un)Satisfiability was proved
Number of variables14013
Number of clauses481761
Sum of the clauses size974385
Maximum clause length9
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2480205
Number of clauses of size 31
Number of clauses of size 41
Number of clauses of size 51
Number of clauses of size over 51552

Solver Data 

63.93/63.56	s SATISFIABLE
63.93/63.57	v 10342 -10990 -10981 -10972 -10963 -10765 -10756 -10747 -10738 -10729 -10675 -10666 -10594 -10585 -10576 -10567 -10522 -10513 -10504 -10495 -10486 -10477 -10459 -10450 -10441 -10432 -10423 -10405 -10396 -10387 -10378 -10360 -10351 -10333 -10324 -10315 -10306 -10288 -10279 -10270 -10261 -10243 -10234 -10189 -10180 -10144 -10135 -10126 -10117 -10099 -10090 -10072 -10063 -10027 -10018 -9991 -9982 -9964 -9955 -9937 -9928 -9766 -9748 -9739 -9730 -9712 -9703 10118 -10991 -10982 -10973 -10955 -10766 -10757 -10748 -10739 -10721 -10676 -10667 -10595 -10586 -10577 -10559 -10523 -10514 -10505 -10496 -10487 -10469 -10460 -10451 -10442 -10433 -10415 -10406 -10397 -10388 -10370 -10361 -10343 -10334 -10325 -10316 -10298 -10289 -10280 -10271 -10253 -10244 -10235 -10226 -10190 -10181 -10172 -10145 -10136 -10127 -10109 -10100 -10091 -10082 -10073 -10064 -10037 -10028 -10019 -9992 -9974 -9965 -9956 -9938 -9929 -9758 -9749 -9713 -9704 10434 -11469 -11460 -11451 -11442 -11433 -11235 -11226 -11217 -11208 -11199 -11091 -11082 -11073 -11064 -11055 -11037 -11028 -11019 -11010 -10965 -10956 -10947 -10938 -10929 -10920 -10911 -10893 -10884 -10875 -10866 -10857 -10839 -10830 -10821 -10812 -10803 -10776 -10767 -10758 -10749 -10731 -10722 -10713 -10704 -10695 -10677 -10668 -10659 -10650 -10641 -10632 -10605 -10596 -10587 -10569 -10560 -10551 -10542 -10524 -10515 -10506 -10479 -10470 -10461 -10452 -10443 -10425 -10416 -10407 -10398 -10380 -10371 -10362 -10353 -10344 -10317 -10308 -10299 -10272 -10263 -10254 -10227 -10218 -10209 -10191 -10182 -10173 -10164 -10146 -10137 -10119 -10110 -9984 -9975 -9759 10444 -11470 -11461 -11452 -11443 -11425 -11236 -11227 -11218 -11209 -11191 -11092 -11083 -11074 -11065 -11047 -11038 -11029 -11020 -11002 -10966 -10957 -10948 -10939 -10930 -10921 -10903 -10894 -10885 -10876 -10867 -10849 -10840 -10831 -10822 -10813 -10795 -10777 -10768 -10759 -10741 -10732 -10723 -10714 -10705 -10687 -10678 -10669 -10660 -10651 -10642 -10624 -10606 -10597 -10579 -10570 -10561 -10552 -10534 -10525 -10516 -10507 -10480 -10471 -10462 -10453 -10435 -10426 -10417 -10408 -10390 -10381 -10372 -10363 -10354 -10345 -10318 -10309 -10300 -10273 -10264 -10255 -10228 -10219 -10201 -10192 -10183 -10174 -10156 -10147 -10138 -10120 -10111 -9985 -9976 -9760 10454 -11471 -11462 -11453 -11435 -11426 -11237 -11228 -11219 -11201 -11192 -11093 -11084 -11075 -11057 -11048 -11012 -11003 -10967 -10958 -10949 -10940 -10931 -10913 -10904 -10895 -10886 -10877 -10859 -10850 -10841 -10832 -10823 -10805 -10796 -10787 -10769 -10751 -10742 -10733 -10724 -10715 -10697 -10688 -10679 -10670 -10634 -10625 -10616 -10589 -10580 -10571 -10562 -10544 -10535 -10508 -10481 -10472 -10463 -10445 -10436 -10427 -10418 -10409 -10400 -10391 -10382 -10373 -10364 -10355 -10346 -10319 -10310 -10301 -10274 -10265 -10256 -10229 -10211 -10202 -10193 -10184 -10166 -10157 -10121 -10112 -9986 -9977 -9761 10671 -11445 -11436 -11427 -11211 -11202 -11193 -11067 -11058 -11049 -11013 -11004 -10950 -10923 -10914 -10905 -10896 -10869 -10860 -10851 -10842 -10815 -10806 -10797 -10788 -10779 -10770 -10761 -10752 -10743 -10716 -10707 -10698 -10689 -10680 -10635 -10626 -10608 -10590 -10581 -10554 -10545 -10536 -10527 -10455 -10446 -10437 -10401 -10392 -10365 -10356 -10347 -10338 -10230 -10221 -10212 -10203 -10194 -10176 -10167 -10158 -10149 -10131 -10122 -10113 -10104 -10086 -10077 -10059 -10050 -10041 -10032 -10014 -10005 -9951 -9942 -9924 -9915 -9753 -9726 -9717 -9699 -9690 10681 -11446 -11437 -11428 -11212 -11203 -11194 -11068 -11059 -11050 -11014 -11005 -10951 -10924 -10915 -10906 -10897 -10870 -10861 -10852 -10843 -10816 -10807 -10798 -10789 -10780 -10771 -10762 -10753 -10744 -10717 -10708 -10699 -10690 -10672 -10636 -10627 -10609 -10591 -10582 -10555 -10546 -10537 -10519 -10456 -10447 -10438 -10402 -10393 -10366 -10357 -10348 -10330 -10231 -10222 -10213 -10204 -10186 -10177 -10168 -10159 -10141 -10132 -10123 -10114 -10096 -10087 -10069 -10060 -10051 -10042 -10024 -10015 -10006 -9952 -9934 -9925 -9916 -9772 -9763 -9745 -9736 -9727 -9709 -9700 -9691 10772 -11447 -11438 -11429 -11213 -11204 -11195 -11069 -11060 -11051 -11015 -11006 -10970 -10961 -10943 -10934 -10925 -10916 -10907 -10889 -10880 -10871 -10862 -10853 -10835 -10826 -10817 -10808 -10799 -10781 -10763 -10754 -10745 -10736 -10727 -10709 -10700 -10691 -10682 -10673 -10637 -10628 -10610 -10592 -10583 -10574 -10565 -10547 -10538 -10484 -10475 -10457 -10448 -10439 -10430 -10421 -10403 -10394 -10385 -10376 -10358 -10349 -10313 -10304 -10268 -10259 -10223 -10214 -10205 -10169 -10160 -10124 -10115 -9989 -9980 -9764 7770 -8301 -8292 -8283 -8022 -8013 -8004 -7950 -7923 -7914 -7905 -7896 -7869 -7860 -7851 -7842 -7833 -7806 -7797 -7788 -7779 -7761 -7752 -7743 -7734 -7725 -7716 -7707 -7554 -7527 -7518 -7509 -7500 -7491 -7473 -7437 -7428 -7419 -7410 -7392 -7383 -7374 -7365 -7356 -7347 -7329 -7320 -7302 -7293 -7284 -7275 -7257 -7248 -7239 -7230 -7221 -7203 -7194 -7185 -7167 -7158 -7149 -7113 -7104 -7095 -7077 -7068 -7059 -7041 -7032 -7005 -6996 -6969 -6951 -6942 -6933 -6924 -6906 -6897 -6870 -6861 -6816 -6807 -6762 -6753 -6717 -6699 -6690 -6681 -6663 -6654 -6618 -6609 -6429 -6420 -5880 -5871 7769 -8300 -8291 -8282 -8021 -8012 -8003 -7949 -7922 -7913 -7904 -7895 -7868 -7859 -7850 -7841 -7832 -7805 -7796 -7787 -7778 -7760 -7751 -7742 -7733 -7724 -7715 -7706 -7553 -7526 -7517 -7508 -7499 -7490 -7472 -7436 -7427 -7418 -7409 -7391 -7382 -7373 -7364 -7355 -7346 -7328 -7319 -7301 -7292 -7283 -7274 -7256 -7247 -7238 -7229 -7220 -7202 -7193 -7184 -7166 -7157 -7148 -7112 -7103 -7094 -7076 -7067 -7058 -7040 -7031 -7004 -6995 -6968 -6950 -6941 -6932 -6923 -6905 -6896 -6869 -6860 -6815 -6806 -6761 -6752 -6716 -6698 -6689 -6680 -6662 -6653 -6617 -6608 -6428 -6419 -5879 -5870 -7775 7505 -8468 -8459 -8450 -8432 -8279 -8270 -8261 -8243 -8000 -7991 -7982 -7964 -7847 -7838 -7820 -7811 -7802 -7766 -7703 -7694 -7685 -7667 -7658 -7649 -7640 -7622 -7613 -7604 -7595 -7577 -7568 -7559 -7541 -7532 -7523 -7514 -7496 -7487 -7478 -7469 -7451 -7442 -7433 -7406 -7397 -7370 -7352 -7343 -7334 -7316 -7307 -7271 -7262 -7217 -7208 -7145 -7127 -7118 -7109 -7091 -7082 -6965 -6956 -6713 -6704 -7504 7759 -8299 -8290 -8281 -8020 -8011 -8002 -7948 -7921 -7912 -7903 -7894 -7867 -7858 -7849 -7840 -7831 -7804 -7795 -7786 -7777 -7768 -7750 -7741 -7732 -7723 -7714 -7705 -7552 -7525 -7516 -7507 -7498 -7489 -7480 -7435 -7426 -7417 -7408 -7399 -7381 -7372 -7363 -7354 -7345 -7336 -7318 -7309 -7291 -7282 -7273 -7264 -7246 -7237 -7228 -7219 -7210 -7192 -7183 -7165 -7156 -7147 -7111 -7102 -7093 -7084 -7066 -7057 -7039 -7030 -7003 -6994 -6967 -6958 -6940 -6931 -6922 -6904 -6895 -6868 -6859 -6814 -6805 -6760 -6751 -6715 -6706 -6688 -6679 -6661 -6652 -6616 -6607 -6427 -6418 -5878 -5869 7839 -8442 -8433 -8334 -8325 -8316 -8298 -8289 -8253 -8244 -8055 -8046 -8037 -8019 -8010 -7974 -7965 -7956 -7947 -7938 -7920 -7911 -7902 -7893 -7884 -7866 -7857 -7848 -7830 -7821 -7812 -7803 -7794 -7776 -7767 -7758 -7749 -7740 -7722 -7713 -7677 -7668 -7632 -7623 -7587 -7578 -7569 -7551 -7542 -7533 -7524 -7506 -7497 -7461 -7452 -7443 -7434 -7425 -7407 -7398 -7389 -7380 -7362 -7353 -7299 -7290 -7254 -7245 -7182 -7164 -7155 -7137 -7128 -7119 -7110 -7074 -7065 -7047 -7038 -7011 -7002 -6948 -6939 -6912 -6903 -6876 -6867 -6822 -6813 -6768 -6759 -6669 -6660 -6624 -6615 -6435 -6426 -5886 -5877 -7837 -7765 -7774 -7502 7495 -8467 -8458 -8449 -8440 -8278 -8269 -8260 -8251 -7999 -7990 -7981 -7972 -7846 -7828 -7810 -7801 -7702 -7693 -7684 -7675 -7657 -7648 -7639 -7630 -7612 -7603 -7594 -7585 -7567 -7558 -7549 -7531 -7522 -7513 -7486 -7477 -7468 -7459 -7441 -7432 -7405 -7396 -7369 -7360 -7342 -7333 -7315 -7306 -7270 -7261 -7216 -7207 -7144 -7135 -7117 -7108 -7090 -7081 -6964 -6955 -6712 -6703 -7763 -7772 7844 -8438 -8429 -8303 -8294 -8285 -8249 -8240 -8024 -8015 -8006 -7970 -7961 -7943 -7934 -7925 -7916 -7907 -7889 -7880 -7871 -7862 -7853 -7835 -7826 -7817 -7808 -7799 -7781 -7754 -7745 -7727 -7718 -7709 -7673 -7664 -7628 -7619 -7583 -7574 -7556 -7547 -7538 -7529 -7520 -7493 -7457 -7448 -7439 -7430 -7412 -7385 -7376 -7358 -7349 -7295 -7286 -7250 -7241 -7169 -7160 -7151 -7133 -7124 -7115 -7106 -7070 -7061 -7043 -7034 -7007 -6998 -6944 -6935 -6908 -6899 -6872 -6863 -6818 -6809 -6764 -6755 -6665 -6656 -6620 -6611 -6431 -6422 -5882 -5873 -7762 -7771 -7764 7361 -7424 -7325 -7280 -7226 7809 -8439 -8430 -8331 -8322 -8313 -8304 -8286 -8250 -8241 -8052 -8043 -8034 -8025 -8007 -7971 -7962 -7953 -7944 -7935 -7926 -7908 -7899 -7890 -7881 -7872 -7854 -7845 -7836 -7827 -7818 -7800 -7791 -7782 -7773 -7746 -7737 -7728 -7710 -7674 -7665 -7629 -7620 -7584 -7575 -7566 -7557 -7548 -7539 -7521 -7503 -7494 -7467 -7458 -7449 -7431 -7422 -7413 -7404 -7395 -7377 -7359 -7350 -7323 -7314 -7305 -7287 -7278 -7269 -7260 -7242 -7233 -7179 -7170 -7152 -7143 -7134 -7125 -7107 -7098 -7089 -7080 -7062 -7053 -7035 -7026 -7017 -6999 -6990 -6981 -6972 -6963 -6954 -6936 -6927 -6918 -6900 -6891 -6882 -6864 -6855 -6846 -6837 -6828 -6810 -6801 -6792 -6783 -6774 -6756 -6747 -6738 -6729 -6675 -6657 -6648 -6639 -6630 -6612 -6603 -6594 -6585 -6441 -6423 -6414 -6405 -6396 -5892 -5874 -5865 -5856 -5847 7798 7519 7429 7105 -8437 -8428 -8329 -8320 -8311 -8302 -8293 -8248 -8239 -8050 -8041 -8032 -8023 -8014 -7969 -7960 -7951 -7942 -7933 -7924 -7915 -7897 -7888 -7879 -7870 -7861 -7843 -7834 -7825 -7816 -7807 -7789 -7780 -7753 -7735 -7726 -7717 -7672 -7663 -7627 -7618 -7582 -7573 -7564 -7555 -7546 -7537 -7528 -7501 -7492 -7465 -7456 -7447 -7438 -7420 -7411 -7402 -7393 -7384 -7357 -7348 -7321 -7312 -7303 -7294 -7276 -7267 -7258 -7249 -7231 -7177 -7168 -7159 -7141 -7132 -7123 -7114 -7096 -7087 -7078 -7069 -7051 -7042 -7024 -7015 -7006 -6988 -6979 -6970 -6961 -6952 -6943 -6925 -6916 -6907 -6889 -6880 -6871 -6853 -6844 -6835 -6826 -6817 -6799 -6790 -6781 -6772 -6763 -6745 -6736 -6727 -6673 -6664 -6646 -6637 -6628 -6619 -6601 -6592 -6583 -6439 -6430 -6412 -6403 -6394 -5890 -5881 -5863 -5854 -5845 -7699 -7654 -7609 -7510 7560 7530 7440 7351 7116 -7704 -7659 -7614 -7515 -7470 -7701 -7656 -7611 -7512 -7423 -7324 -7279 -7225 7511 7421 -7691 -7682 -7646 -7637 -7601 -7592 -7484 -7475 -7403 -7394 -7340 -7331 -7313 -7304 -7268 -7259 -7214 -7205 -7088 -7079 -6962 -6953 -6710 -6701 -7232 -7196 -7187 7390 -7955 8306 -8531 -8522 -8423 -8396 -8387 -8378 -8369 -8360 -8333 -8324 -8315 -8297 -8288 -8090 -8081 -8054 -8045 -8036 -8018 -8009 -7946 -7937 -7919 -7910 -7901 -7892 -7883 -7865 -7856 -7829 -7793 -7757 -7748 -7739 -7721 -7712 -7550 -7388 -7379 -7298 -7289 -7253 -7244 -7181 -7163 -7154 -7073 -7064 -7046 -7037 -7010 -7001 -6947 -6938 -6911 -6902 -6875 -6866 -6821 -6812 -6767 -6758 -6668 -6659 -6623 -6614 -6434 -6425 -5885 -5876 8027 -8891 -8882 -8756 -8747 -8486 -8477 -8351 -8342 -8234 -8207 -8198 -8189 -8162 -8153 -8144 -8117 -8108 -8099 -8072 -8063 7815 -8463 -8454 -8445 -8436 -8274 -8265 -8256 -8247 -7995 -7986 -7977 -7968 -7824 -7698 -7689 -7680 -7671 -7653 -7644 -7635 -7626 -7608 -7599 -7590 -7581 -7563 -7545 -7482 -7464 -7455 -7338 -7140 -7131 7597 -8911 -8902 -8893 -8875 -8776 -8767 -8758 -8740 -8506 -8497 -8488 -8470 -8434 -8425 -8371 -8362 -8353 -8335 -8245 -8236 -8227 -8218 -8209 -8191 -8182 -8173 -8164 -8146 -8137 -8128 -8119 -8101 -8092 -8083 -8074 -8056 -8047 -8029 -7993 -7975 -7966 -7957 -7876 -7822 -7813 -7696 -7669 -7660 -7651 -7624 -7615 -7606 -7588 -7579 -7570 -7561 -7543 -7534 -7462 -7453 -7444 -7129 -7120 7655 7823 7544 -8528 -8519 -8393 -8384 -8366 -8357 -8321 -8312 -8267 -8258 -8087 -8078 -8462 -8453 -8444 -8426 -8273 -8264 -8255 -8237 -7994 -7985 -7976 -7958 -7814 -7697 -7688 -7679 -7661 -7652 -7643 -7634 -7616 -7607 -7598 -7589 -7571 -7562 -7535 -7481 -7463 -7445 -7337 -7139 -7121 7700 7610 7565 7466 -9338 -9329 -9113 -9104 -8933 -8924 -8798 -8789 -8708 -8699 -8663 -8654 -8618 -8609 -8573 -8564 -8546 -8537 -8501 -8492 -8456 -8447 -8411 -8402 -8132 -8123 -8888 -8879 -8753 -8744 -8483 -8474 -8348 -8339 -8204 -8195 -8159 -8150 -8114 -8105 -8069 -8060 -8042 -8033 -7988 -7979 -8295 8296 -8530 -8521 -8422 -8395 -8386 -8377 -8368 -8359 -8332 -8323 -8314 -8305 -8287 -8089 -8080 -8053 -8044 -8035 -8026 -8008 -7954 -7945 -7936 -7927 -7909 -7900 -7891 -7882 -7873 -7855 -7819 -7792 -7783 -7747 -7738 -7729 -7711 -7540 -7450 -7414 -7378 -7288 -7243 -7234 -7180 -7171 -7153 -7126 -7099 -7063 -7054 -7036 -7027 -7018 -7000 -6991 -6982 -6973 -6937 -6928 -6919 -6901 -6892 -6883 -6865 -6856 -6847 -6838 -6829 -6811 -6802 -6793 -6784 -6775 -6757 -6748 -6739 -6730 -6676 -6658 -6649 -6640 -6631 -6613 -6604 -6595 -6586 -6442 -6424 -6415 -6406 -6397 -5893 -5875 -5866 -5857 -5848 8284 8005 7952 7906 7898 7852 7790 7744 7736 7708 7536 7446 7375 7285 7240 7150 7122 7060 7033 6997 6934 6898 6862 6808 6754 6655 6610 6421 5872 -8527 -8518 -8419 -8392 -8383 -8374 -8365 -8356 -8275 -8266 -8257 -8086 -8077 -7645 -7636 -8887 -8878 -8752 -8743 -8482 -8473 -8347 -8338 -8230 -8203 -8194 -8185 -8158 -8149 -8140 -8113 -8104 -8095 -8068 -8059 -7996 -7987 -7978 -7600 -7591 -7483 -7474 -7339 -7330 -7213 -7204 -6709 -6700 -7366 -7222 -7176 -7050 -7014 -7195 -7186 -6691 -6682 -6565 -6556 -6520 -6511 -6475 -6466 -6376 -6367 -6241 -6232 -5827 -5818 -6547 -6538 -6358 -6349 -6331 -6322 -6286 -6277 -6196 -6187 -5782 -5773 -6457 -6448 -6268 -6259 -6088 -6079 -5953 -5944 -5809 -5800 -5764 -5755 -5719 -5710 -5674 -5665 -5647 -5638 -5602 -5593 -5557 -5548 -5413 -5404 -5269 -5260 -5071 -5062 -6718 -6574 -6529 -6484 -6385 -6340 -6295 -5836 -5791 -5746 -5701 -5656 -5611 -5566 -8017 8016 -8889 -8880 -8754 -8745 -8484 -8475 -8349 -8340 -8232 -8205 -8196 -8187 -8160 -8151 -8142 -8115 -8106 -8097 -8070 -8061 -7998 -7989 -7980 -7602 -7593 7984 7983 7596 -8919 -8910 -8901 -8892 -8784 -8775 -8766 -8757 -8514 -8505 -8496 -8487 -8379 -8370 -8361 -8352 -8235 -8226 -8217 -8208 -8190 -8181 -8172 -8163 -8145 -8136 -8127 -8118 -8100 -8091 -8082 -8073 -8028 -8001 -7992 -7875 -7605 7997 7874 -8222 -8213 -8177 -8168 8364 -8886 -8877 -8751 -8742 -8553 -8544 -8535 -8517 -8481 -8472 -8418 -8409 -8400 -8382 -8373 -8355 -8346 -8337 -8328 -8310 -8238 -8202 -8193 -8157 -8148 -8112 -8103 -8094 -8076 -8067 -8058 -8040 -8031 -7932 -7887 -7878 -7617 8038 8358 8242 -7967 8030 7877 7621 -8556 -8547 -8538 -8529 -8421 -8412 -8403 -8394 -8376 -8367 -8277 -8268 -8088 -7917 -7647 7973 -8912 -8903 -8894 -8885 -8777 -8768 -8759 -8750 -8507 -8498 -8489 -8480 -8372 -8363 -8354 -8345 -8228 -8219 -8210 -8201 -8183 -8174 -8165 -8156 -8138 -8129 -8120 -8111 -8093 -8084 -8075 -8066 -8048 -8039 -7886 -7580 8375 7918 8085 8079 7885 7586 -8229 -8184 -8139 -8049 8051 8350 -8917 -8908 -8899 -8881 -8782 -8773 -8764 -8746 -8512 -8503 -8494 -8476 -8341 -8233 -8224 -8215 -8197 -8188 -8179 -8170 -8152 -8143 -8134 -8125 -8107 -8098 -8062 -7963 -7864 -7576 8096 8231 8186 8141 7959 7863 7572 -9383 -9374 -9158 -9149 -9068 -9059 -9023 -9014 -8996 -8987 -8951 -8942 -8906 -8897 -8861 -8852 -8636 -8627 -8978 -8969 -8843 -8834 -8816 -8807 -8771 -8762 -8591 -8582 8271 -8559 -8550 -8541 -8523 -8424 -8415 -8406 -8388 -8343 -8307 -8280 -8262 -8064 -7929 -7641 8336 8057 7928 -8525 -8516 -8417 -8390 -8381 -8327 -8318 -8309 -7940 -7931 8308 8330 -8272 -8416 -8344 7930 -8551 -8542 -8533 -8524 -8407 -8398 -8389 -8326 -8317 -8263 -8065 -7939 -7642 8319 8276 8420 8071 7941 7650 7784 8259 7485 -7755 -7476 -7386 -7368 -7332 -7296 -7251 -7224 -7206 -7197 -7188 -7071 -6945 -6720 -6702 -6693 -6684 7756 7387 7297 7252 7072 6946 7638 8254 7633 7471 -7785 7479 -7488 -7416 -7371 -7344 -7326 -7317 -7281 -7272 -7236 -7227 -7218 -7200 -7191 -7101 -7092 -6975 -6966 -6930 -6723 -6714 -6696 -6687 7415 7367 7341 7322 7277 7235 7223 -7025 -6926 -6890 -6854 -6800 -6746 -6602 -6413 -5864 -7055 -6974 -6920 -6884 -6848 -6839 -6830 -6794 -6785 -6776 -6740 -6731 -6632 -6596 -6587 -6443 -6407 -6398 -5894 -5858 -5849 -6989 -6980 -6845 -6836 -6692 -6683 -6647 -6638 -6593 -6584 -6566 -6557 -6521 -6512 -6476 -6467 -6377 -6368 -6242 -6233 -5828 -5819 6929 6971 -6791 -6782 -6737 -6728 8246 8441 -9341 -9332 -9116 -9107 -8936 -8927 -8801 -8792 -8738 -8711 -8702 -8693 -8666 -8657 -8648 -8621 -8612 -8603 -8576 -8567 -8558 -8549 -8540 -8513 -8504 -8495 -8414 -8405 -8135 -8126 8435 -9335 -9326 -9110 -9101 -8930 -8921 -8795 -8786 -8732 -8705 -8696 -8687 -8660 -8651 -8642 -8615 -8606 -8597 -8570 -8561 -8552 -8543 -8534 -8408 -8399 9328 -9832 -9823 -9607 -9598 -9544 -9517 -9508 -9499 -9472 -9454 -9445 -9436 -9409 -9400 -9391 -9364 -9355 -9346 -9337 -9220 -9211 -9139 -9130 -9121 -9112 -9085 -9076 -8959 -8950 -8941 -8932 -8824 -8815 -8806 -8797 -8734 -8725 -8716 -8707 -8689 -8680 -8671 -8662 -8644 -8635 -8626 -8617 -8599 -8590 -8581 -8572 -8554 -8545 -8509 -8500 -8464 -8455 -8410 -8131 -7690 8548 8413 -9367 -9358 -9349 -9331 -9142 -9133 -9124 -9106 -8962 -8953 -8944 -8926 -8827 -8818 -8809 -8791 -8737 -8728 -8719 -8701 -8692 -8683 -8674 -8656 -8647 -8638 -8629 -8611 -8602 -8593 -8584 -8566 -8557 -8539 -8485 -8431 -8404 -8116 -7666 8555 8536 8479 8427 8401 8110 7662 -8726 -8717 -8681 -8672 -9334 -9325 -9109 -9100 -8929 -8920 -8794 -8785 -8731 -8704 -8695 -8686 -8659 -8650 -8641 -8614 -8605 -8596 -8569 -8560 -8461 -8452 -8443 -7687 -7678 -9336 -9327 -9111 -9102 -8931 -8922 -8796 -8787 -8733 -8706 -8697 -8688 -8661 -8652 -8643 -8616 -8607 -8598 -8571 -8562 -8508 -8499 -8490 -8130 -8121 8502 -9366 8133 -9357 -9348 -9330 -9141 -9132 -9123 -9105 -8961 -8952 -8943 -8925 -8826 -8817 -8808 -8790 -8736 -8727 -8718 -8700 -8691 -8682 -8673 -8655 -8646 -8637 -8628 -8610 -8601 -8592 -8583 -8565 -8520 -8511 -8493 -8466 -8448 -8385 -8124 -7683 8515 8510 8491 8380 8122 9333 -9837 -9828 -9612 -9603 -9549 -9522 -9513 -9504 -9477 -9459 -9450 -9441 -9414 -9405 -9396 -9369 -9360 -9351 -9342 -9225 -9216 -9144 -9135 -9126 -9117 -9090 -9081 -8964 -8955 -8946 -8937 -8829 -8820 -8811 -8802 -8739 -8730 -8721 -8712 -8694 -8685 -8676 -8667 -8649 -8640 -8631 -8622 -8604 -8595 -8586 -8577 -8532 -8478 -8469 -8460 -8397 -8109 -7695 8735 8690 8645 8600 8526 8471 8465 8457 8391 8102 7692 -9833 -9824 -9608 -9599 -9518 -9509 -9473 -9446 -9437 -9401 -9392 -9356 -9347 -9221 -9212 -9086 -9077 -9788 -9779 -9563 -9554 -9428 -9419 -9293 -9284 -9248 -9239 -9203 -9194 -9176 -9167 -9131 -9122 -9041 -9032 7266 -7023 -6888 -6852 -6798 -6744 -6600 -6411 -5862 9114 -9789 -9780 -9564 -9555 -9429 -9420 -9321 -9294 -9285 -9276 -9249 -9240 -9231 -9204 -9195 -9186 -9177 -9168 -9042 -9033 7199 -7190 -7019 -6983 -6857 -6722 -6686 -6677 -6641 -6605 -6578 -6560 -6551 -6542 -6533 -6515 -6506 -6497 -6488 -6470 -6461 -6452 -6389 -6371 -6362 -6353 -6254 -6236 -6227 -6218 -5840 -5822 -5813 -5804 7189 6685 -7198 -7009 -6874 -6721 -6694 -6667 -6622 -6577 -6568 -6550 -6541 -6532 -6523 -6505 -6496 -6487 -6478 -6460 -6451 -6388 -6379 -6361 -6352 -6253 -6244 -6226 -6217 -5839 -5830 -5812 -5803 7008 6873 6719 6695 6666 6621 -6567 -6558 -6522 -6513 -6477 -6468 -6378 -6369 -6243 -6234 -5829 -5820 -6548 -6539 -6503 -6494 -6458 -6449 -6576 -6531 -6486 7086 7052 7049 -7130 -7085 -7022 -6986 -6977 -6887 -6851 -6797 -6743 -6599 -6410 -5861 7136 -7100 7097 7056 -7173 -7083 -7029 -6993 -6984 -6894 -6858 -6804 -6750 -6606 -6417 -5868 7172 7075 6850 6598 -7174 -7138 -7048 -7012 -7255 -6985 -6976 -6949 -6913 -6877 -6841 -6832 -6823 -6787 -6778 -6769 -6733 -6724 -6643 -6634 -6625 -6589 -6580 -6562 -6553 -6517 -6508 -6472 -6463 -6436 -6400 -6391 -6373 -6364 -6238 -6229 -5887 -5851 -5842 -5824 -5815 -6670 -6571 -6526 -6481 7263 6978 6957 -7212 -6987 -6879 -6843 -6708 -6672 -6645 -6627 -6591 -6573 -6564 -6546 -6537 -6528 -6519 -6501 -6492 -6483 -6474 -6456 -6447 -6384 -6375 -6357 -6348 -6249 -6240 -6222 -6213 -5835 -5826 -5808 -5799 -6921 -6885 -6831 -6777 6992 9115 -9790 -9781 -9565 -9556 -9430 -9421 -9322 -9295 -9286 -9277 -9250 -9241 -9232 -9205 -9196 -9187 -9178 -9169 -9043 -9034 8451 7686 8713 -9856 -9847 -9838 -9829 -9631 -9622 -9613 -9604 -9541 -9532 -9523 -9514 -9469 -9451 -9442 -9424 -9415 -9406 -9397 -9379 -9370 -9361 -9352 -9226 -9217 -9199 -9190 -9091 -9082 -9064 -9055 -8722 8714 -9857 -9848 -9839 -9830 -9632 -9623 -9614 -9605 -9542 -9533 -9524 -9515 -9470 -9452 -9443 -9425 -9416 -9407 -9398 -9380 -9371 -9362 -9353 -9227 -9218 -9200 -9191 -9092 -9083 -9065 -9056 -8723 -8715 9422 -9836 -9827 -9818 -9809 -9800 -9791 -9611 -9602 -9593 -9584 -9575 -9566 -9548 -9521 -9512 -9503 -9476 -9458 -9449 -9440 -9431 -9413 -9404 -9395 -9368 -9359 -9350 -9323 -9314 -9305 -9296 -9278 -9269 -9260 -9251 -9233 -9224 -9215 -9206 -9188 -9179 -9161 -9152 -9143 -9134 -9089 -9080 -9053 -9044 -9026 -9017 -8729 -8720 -8684 9354 8724 -9858 -9849 -9840 -9822 -9633 -9624 -9615 -9597 -9543 -9534 -9525 -9507 -9498 -9489 -9480 -9462 -9453 -9435 -9426 -9417 -9408 -9390 -9381 -9372 -9363 -9345 -9228 -9210 -9201 -9192 -9093 -9075 -9066 -9057 9365 -9536 -9527 -9491 -9482 -9464 -9108 9103 -9787 -9778 -9562 -9553 -9427 -9418 -9319 -9292 -9283 -9274 -9247 -9238 -9229 -9202 -9193 -9184 -9175 -9166 -9040 -9031 9432 9207 -9819 -9810 -9801 -9783 -9594 -9585 -9576 -9558 -9423 -9324 -9315 -9306 -9288 -9279 -9270 -9261 -9243 -9234 -9198 -9189 -9171 -9162 -9153 -9054 -9036 -9027 -9018 -8658 9230 9197 8653 -9311 -9302 -9266 -9257 8677 -9811 -9802 -9793 -9775 -9586 -9577 -9568 -9550 -9433 -9316 -9307 -9298 -9280 -9271 -9262 -9253 -9235 -9208 -9181 -9163 -9154 -9145 -9136 -9118 -9046 -9028 -9019 -9010 -8668 -8678 -9880 10293 -10968 -10959 -10734 -10725 -10572 -10563 -10509 -10482 -10473 -10464 -10428 -10419 -10410 -10383 -10374 -10320 -10311 -10302 -10284 -10275 -10266 -10257 -10068 -9996 -9987 -9978 -9960 -9933 -9906 -9888 -9879 -9870 -9861 -9843 -9834 -9825 -9816 -9798 -9762 -9681 -9663 -9654 -9645 -9546 -9528 -9519 -9510 -9303 -10292 -10283 -9806 -9797 9875 -10262 -10055 -10046 -10001 -9947 -9920 -9911 -9902 -9893 -9884 -9866 -9812 -9803 -9794 -9767 -9731 -9722 -9686 -9677 -9668 -9659 -9641 -9596 -9587 -9569 -9560 -9551 -9497 -9479 -9461 -9308 -9299 -9272 -9254 -9245 -9236 -9878 9871 -10294 -10285 -10276 -10267 -10258 -10249 -10033 -9997 -9970 -9961 -9907 -9898 -9889 -9862 -9853 -9844 -9817 -9808 -9799 -9754 -9718 -9682 -9673 -9664 -9655 -9637 -9628 -9610 -9601 -9592 -9583 -9538 -9529 -9502 -9493 -9475 -9466 -9313 -9304 -9268 10277 10269 -10502 -10493 -10340 -10331 -10295 -10286 -10250 -10241 -10016 -10007 -9881 -9872 -9746 -9737 -9701 -9692 -9656 -9647 -9629 -9620 -9494 -9485 -10998 -10989 -10980 -10962 -10773 -10764 -10755 -10746 -10728 -10602 -10593 -10584 -10566 -10512 -10503 -10494 -10476 -10467 -10458 -10449 -10440 -10422 -10413 -10404 -10395 -10377 -10368 -10350 -10341 -10332 -10323 -10305 -10296 -10287 -10278 -10260 -10251 -10242 -10134 -10116 -10107 -10098 -10017 -10008 -9999 -9981 -9972 -9963 -9882 -9873 -9765 -9747 -9738 -9702 -9693 -9657 -9648 -9630 -9621 -9495 -9486 10760 10750 10740 10588 10578 10399 10389 10367 10252 10108 9757 -10786 -10785 -10615 -10614 -10529 -10520 -10196 -10187 -10151 -10142 -10106 -10097 -10079 -10070 -10034 -10025 -9944 -9935 -9755 -9719 -9710 -10009 -10000 -9874 -9865 -9694 -9685 -9649 -9640 -9487 -9478 -10225 -10171 -10081 -10036 -9721 -9676 9835 -9826 -9619 -9547 -9511 -9484 -9457 -9439 -9412 -9394 -9385 -9376 -9340 -9214 -9097 -9079 -9070 -9061 -8710 9595 9545 9339 8709 -10058 -10049 -9968 -9959 -9923 -9914 -9896 -9887 -9851 -9842 -9671 -9662 -9609 -9600 -9501 -9474 -9456 -9447 -9438 -9411 -9402 -9393 -9222 -9213 -9087 -9078 9606 9471 9455 9434 9410 9209 -10245 -10236 -10011 -10002 -9876 -9867 -9768 -9741 -9732 -9723 -9696 -9687 -9678 -9651 -9642 -9588 -9579 -9570 -9264 -9255 -6312 -6177 -6150 -6105 -6060 -6015 -5736 -5502 -9785 -9776 -9290 -9281 -9173 -9164 -9128 -9119 -9038 -9029 -8669 -9317 -9182 -9137 -9869 10281 -10290 -10083 -10074 -10065 -10056 -9993 -9966 -9948 -9939 -9930 -9921 -9903 -9894 -9831 -9813 -9804 -9786 -9777 -9669 -9516 -9318 -9309 -9291 -9282 9782 9520 9320 9287 -10061 -10052 -9998 -9971 -9962 -9953 -9926 -9917 -9908 -9899 -9890 -9863 -9854 -9845 -9674 -9665 -9539 -9530 -10053 -9557 9552 -9795 -9561 -9444 -9300 -9273 -9246 -9219 -9183 -9174 -9156 -9147 -9138 -9129 -9048 -9039 -9021 -9012 -8679 9796 9448 9815 9301 9275 9223 9185 9140 9127 -10291 -10084 -10075 -10066 -10057 -9994 -9967 -9949 -9940 -9931 -9922 -9904 -9895 -9877 -9868 -9859 -9850 -9814 -9805 -9679 -9670 -9652 -9643 -9535 -9310 -9941 -9932 -10247 -10238 -10013 -10004 -9743 -9734 -9698 -9689 -9653 -9644 -9626 -9617 -9581 -9572 9995 9969 -10062 9807 9650 9312 9936 10003 -9886 -9751 9688 9646 -9883 10054 -10719 -10710 -10701 -10692 -10683 -10557 -10548 -10539 -10530 -10359 -10233 -10224 -10215 -10206 -10197 -10179 -10170 -10161 -10152 -10125 -10089 -10080 -10044 -10035 -9954 -9945 -9927 -9918 -9909 -9900 -9891 -9864 -9855 -9846 -9756 -9729 -9720 -9675 -9666 -9540 -9531 -10336 -10327 -10246 -10129 -10102 -10093 -10039 -10030 -10021 -10012 -9769 -9742 -9724 -9715 -9706 -9697 -9661 -9634 -9625 -9589 -9580 -9490 -9463 -9265 9885 -10297 -10045 -9973 -9946 -9910 -9901 -9820 -9784 -9658 -9505 -9289 9860 10352 10232 10195 9950 9943 9919 9852 9841 9537 9526 -10023 10248 10010 9695 9660 9627 10322 10303 -10240 9979 9905 9821 9792 9506 9297 -10526 -10517 -10337 -10328 -10148 -10139 -10103 -10094 -10076 -10067 -10031 -10022 -9752 -9716 -9707 -10239 -9897 -9771 -9735 -9708 -9672 -9636 -9618 -9591 -9573 -9483 -9465 -9258 -10996 -10987 -10978 -10969 -10735 -10600 -10573 -10510 -10501 -10492 -10483 -10465 -10429 -10411 -10384 -10339 -10321 -10312 -10105 -9988 10335 10528 10150 10101 10078 10071 10029 9750 9714 10237 9892 9733 9667 9616 9590 9481 10511 10466 10412 10329 -10686 -10533 -10326 -10200 -10155 -10128 -10092 -10047 -10038 -10020 -9912 -9705 -10663 -10618 -6502 -6313 -6223 -6178 -6151 -6106 -6061 -6016 -5737 -5503 -11492 -11483 -11258 -11249 -11159 -11150 -11114 -11105 -11087 -11078 -11033 -11024 -10988 -10979 -10655 -10646 10095 10048 10026 9913 9711 -9774 -9684 -9639 9728 -10282 9578 9683 -9125 9120 -9567 9559 9680 9725 9574 9638 10314 9740 9263 10130 -10220 -10693 -10720 10726 9744 -10217 10216 -11467 -11458 -11449 -11431 -11422 -11233 -11224 -11215 -11197 -11188 -11089 -11080 -11071 -11053 -11044 -11008 -10999 -10945 -10936 -10927 -10909 -10900 -10891 -10882 -10873 -10855 -10846 -10837 -10828 -10819 -10801 -10792 -10783 -10711 -10684 -10630 -10621 -10612 -10540 -10531 -10414 -10207 -10198 -10162 -10153 10685 10532 10420 10199 10154 -11468 -11459 -11450 -11441 -11432 -11234 -11225 -11216 -11207 -11198 -11090 -11081 -11072 -11063 -11054 -11036 -11027 -11018 -11009 -10946 -10937 -10928 -10919 -10910 -10892 -10883 -10874 -10865 -10856 -10838 -10829 -10820 -10811 -10802 -10784 -10775 -10730 -10712 -10703 -10694 -10658 -10649 -10640 -10631 -10604 -10568 -10550 -10541 -10424 -10379 -10208 -10163 -10613 10737 10718 10696 10575 10543 10431 10386 10210 10165 -11448 -11439 -11430 -11214 -11205 -11196 -11070 -11061 -11052 -11016 -11007 -10953 -10926 -10917 -10908 -10899 -10872 -10863 -10854 -10845 -10818 -10809 -10800 -10791 -10782 -10638 -10629 -10611 -10665 -10620 11434 11200 11056 11011 10952 10912 10898 10858 10844 10804 10790 10633 -12163 -12154 -11893 -11884 -11758 -11749 -11695 -11668 -11659 -11650 -11623 -11614 -11605 -11578 -11569 -11560 -11551 -11542 -11515 -11506 -11497 -11317 -11308 -11173 -11164 -12118 -12109 -11713 -11704 -11533 -11524 -11416 -11389 -11380 -11371 -11344 -11335 -11326 -11299 -11290 -11281 -11272 -11263 -11128 -11119 -11488 -11479 -11254 -11245 -11182 -11155 -11146 -11137 -11110 -11101 -10993 -10984 -10975 -10498 -10489 -12167 -12158 -11897 -11888 -11762 -11753 -11672 -11663 -11627 -11618 -11582 -11573 -11555 -11546 -11510 -11501 -11465 -11456 -11321 -11312 -11177 -11168 -12122 -12113 -11717 -11708 -11537 -11528 -11393 -11384 -11348 -11339 -11303 -11294 -11276 -11267 -11231 -11222 -11132 -11123 -9267 9256 9259 9773 9582 -9571 10307 -9770 -9635 9983 9990 -9172 9180 -9387 -9378 -9072 -9063 -9000 -8991 -8865 -8856 -8934 8935 -9160 -9151 -9052 -9025 -9016 -9007 -8998 -8989 -8863 -8854 -8948 8938 -9388 -9073 -9037 -9001 -8992 -8974 -8965 -8956 -8947 -8884 -8866 -8857 -8839 -8830 -8632 -8200 9389 9074 9045 8890 8206 -9155 -9146 -9020 -9011 -8993 -8984 -8939 -8858 -8849 -8633 -8624 -9047 -9002 -8957 -9099 -9009 8954 -9377 -9170 -9098 -9062 -9035 -9008 -8990 -8981 -8972 -8963 -8945 -8918 -8900 -8873 -8855 -8846 -8837 -8630 -8216 9165 9030 -8994 -8985 -8949 -8940 -8904 -8895 -8859 -8850 -8634 -8625 -8220 -8211 -9003 -8958 -8913 8639 8623 8960 8907 -9375 -9150 -9096 -9060 -9051 -9015 -9006 -8988 -8979 -8970 -8916 -8898 -8871 -8853 -8844 -8835 -8619 -8214 9373 9148 -9157 9159 9058 9013 8896 8620 8212 -9382 -9094 -9067 -9049 -9022 -9004 -8995 -8977 -8968 -8923 -8914 -8905 -8869 -8860 -8842 -8833 -8608 -8221 9095 9050 9024 9005 8928 8915 8613 8909 -8446 7175 7178 8670 8675 9384 9386 9403 9399 8223 9084 9088 7681 8252 8883 8876 7625 -7631 -7670 7676 -8225 -10040 10043 -10085 10088 -10706 10702 -9460 -9467 9468 -6534 -6525 -6516 -6498 -6345 -6336 -6327 -6309 -6255 -6246 -6237 -6219 -6210 -6201 -6192 -6174 -6165 -6147 -6138 -6129 -6120 -6102 -6093 -6084 -6075 -6057 -6048 -6039 -6030 -6012 -6003 -5994 -5751 -5733 -5724 -5715 -5517 -5499 -5490 -5481 -10133 -9500 9496 -9343 -6499 -6310 -6220 -6175 -6148 -6103 -6058 -6013 -5734 -5500 9344 -1321 -1315 -1322 -1318 -1316 -1711 -1714 -1717 1713 -2271 -2262 -2253 -2244 -2226 -2217 -2208 -2199 -2181 -1983 -1974 -1965 -1956 -1938 -1929 -1920 -1911 -1893 -1884 -1875 -1866 -1857 -1839 -1830 -1821 -1812 -1794 -1785 -1776 -1767 -1749 -1740 -1731 -1722 -1704 -1695 -1686 -1677 -1668 -1659 -1641 -1632 -1623 -1614 -1605 -1587 -1569 -1551 -1542 -1524 -1515 -1506 -1497 -1488 -1470 -1461 -1452 -1443 -1434 -1416 -1407 -1398 -1389 -1371 -1362 -1353 -1317 -1308 -1209 -1200 -1182 -1173 -1164 -1155 -1137 -1128 -1119 -1083 -1074 -1056 -1047 -1011 -1002 -921 -912 -696 -687 1721 -2270 -2261 -2252 -2234 -2225 -2216 -2207 -2189 -2180 -1982 -1973 -1964 -1946 -1937 -1928 -1919 -1901 -1892 -1883 -1874 -1865 -1847 -1838 -1829 -1820 -1802 -1793 -1775 -1757 -1748 -1739 -1730 -1712 -1703 -1694 -1685 -1676 -1667 -1649 -1640 -1631 -1622 -1613 -1595 -1586 -1577 -1559 -1550 -1532 -1523 -1514 -1505 -1496 -1478 -1469 -1460 -1451 -1442 -1424 -1415 -1406 -1397 -1379 -1370 -1361 -1352 -1307 -1208 -1190 -1181 -1172 -1163 -1145 -1136 -1127 -1118 -1082 -1073 -1055 -1046 -1010 -1001 -920 -911 -695 -686 -1513 -1520 -1516 -1519 -1521 -1471 -1474 -1468 -9488 9492 -6504 -6315 -6225 -6180 -6153 -6108 -6063 -6018 -5739 -5505 -6554 -6507 6500 -6842 -6833 -6671 -6644 -6635 -6626 -6590 -6581 -6572 -6563 -6527 -6518 -6509 -6491 -6482 -6473 -6464 -6374 -6365 -6338 -6329 -6320 -6302 -6248 -6239 -6230 -6212 -6203 -6194 -6185 -6167 -6158 -6140 -6131 -6122 -6113 -6095 -6086 -6077 -6068 -6050 -6041 -6032 -6023 -6005 -5996 -5987 -5825 -5816 -5744 -5726 -5717 -5708 -5510 -5492 -5483 -5474 6849 6597 6530 6524 6245 -7209 -7020 -6840 -6705 -6678 -6642 -6633 -6588 -6579 -6561 -6552 -6543 -6489 -6471 -6462 -6453 -6390 -6372 -6363 -6354 -6228 -5841 -5823 -5814 -5805 -6314 -6305 -6224 -6215 -6179 -6170 -6152 -6143 -6107 -6098 -6062 -6053 -6017 -6008 -5738 -5729 -5504 -5495 -6317 -6308 -6182 -6173 -6155 -6146 -6110 -6101 -6065 -6056 -6020 -6011 -5741 -5732 -5507 -5498 -6209 -6164 -6119 -6074 7201 6834 6697 6674 6636 6629 6582 6575 6485 6221 -6915 -6825 -6771 -6404 -6395 -6359 -6350 -6332 -6323 -6287 -6278 -6197 -6188 -5783 -5774 -6269 -6260 -6089 -6080 -5954 -5945 -5855 -5846 -5810 -5801 -5765 -5756 -5720 -5711 -5675 -5666 -5648 -5639 -5603 -5594 -5558 -5549 -5414 -5405 -5270 -5261 -5072 -5063 -5065 6735 -6726 -6465 -6294 -6285 -6276 -6258 -6114 -6096 -6078 -5979 -5970 -5961 -5943 -5889 -5844 -5817 -5790 -5781 -5772 -5754 -5745 -5727 -5709 -5700 -5691 -5682 -5664 -5655 -5637 -5628 -5619 -5610 -5592 -5583 -5574 -5565 -5547 -5538 -5529 -5520 -5421 -5403 -5394 -5385 -5277 -5259 -5250 -5241 -5079 -5061 -5052 -5043 -5034 6469 5821 -6271 -6262 -6091 -6082 -5956 -5947 -5767 -5758 -5722 -5713 -5677 -5668 -5650 -5641 -5605 -5596 -5560 -5551 -5416 -5407 -5272 -5263 -5074 -5794 -5749 -5704 -5659 -5614 -5569 -5653 5657 -6044 -6035 -5909 -5900 -5693 -5684 -5630 -5621 -5585 -5576 -5540 -5531 -5522 -5486 -5477 -5441 -5432 -5396 -5387 -5369 -5360 -5324 -5315 -5225 -5216 -5018 -5009 5518 -6454 -6445 -6265 -6256 -6085 -6076 -5950 -5941 -5833 -5806 -5797 -5788 -5761 -5752 -5743 -5716 -5707 -5698 -5671 -5662 -5644 -5635 -5608 -5599 -5590 -5581 -5572 -5563 -5554 -5545 -5536 -5527 -5410 -5401 -5347 -5338 -5329 -5320 -5311 -5302 -5293 -5266 -5257 -5248 -5239 -5203 -5194 -5176 -5158 -5149 -5113 -5104 -5077 -5068 -5059 -5050 -5041 -5023 -5014 -5005 -4996 -4987 -4969 -4960 -4942 -4933 -4924 -4906 -4897 -4888 -4879 -4870 -4852 -4843 -4825 -4816 -4789 -4780 -4771 -4753 -4744 -4591 -4582 -4555 -4546 -4537 -4519 -4510 -5519 -5573 -5582 -5537 -6067 -6455 6459 -6765 -6450 -6297 -6288 -6279 -6261 -6117 -6099 -6081 -5982 -5973 -5964 -5946 -5883 -5838 -5802 -5793 -5784 -5775 -5757 -5748 -5730 -5712 -5703 -5694 -5685 -5667 -5658 -5640 -5631 -5622 -5613 -5595 -5586 -5577 -5568 -5550 -5541 -5532 -5523 -5424 -5406 -5397 -5388 -5280 -5262 -5253 -5244 -5082 -5064 -5055 -5046 -5037 6766 6446 6083 5884 5798 5714 -6770 -6734 -6293 -6284 -6275 -6266 -6104 -5978 -5969 -5960 -5951 -5888 -5852 -5834 -5807 -5789 -5780 -5771 -5762 -5735 -5699 -5690 -5681 -5672 -5654 -5645 -5627 -5618 -5609 -5600 -5564 -5555 -5528 -5420 -5411 -5393 -5384 -5276 -5267 -5249 -5240 -5078 -5069 -5051 -5042 -5033 -6749 -6479 -6299 -6290 -6281 -6272 -6092 -5984 -5975 -5966 -5957 -5867 -5831 -5795 -5786 -5777 -5768 -5750 -5723 -5705 -5696 -5687 -5678 -5660 -5651 -5633 -5624 -5615 -5606 -5588 -5579 -5570 -5561 -5543 -5534 -5525 -5426 -5417 -5399 -5390 -5282 -5273 -5255 -5246 -5084 -5075 -5057 -5048 -5039 6773 5837 5811 6742 6480 5860 5832 5747 -6741 -6732 -6273 -6264 -5958 -5949 -5859 -5850 -5769 -5760 -5679 -5670 -5652 -5643 -5607 -5598 -5562 -5553 -5418 -5409 -5274 -5265 -5076 -5067 -5895 -5796 -5706 -5661 -5616 -5571 6725 5853 5843 5891 5792 5702 5612 5567 -6914 -6878 -6824 -6134 -6125 -5999 -5990 -5972 -5963 -5927 -5918 -5459 -5450 -5351 -5342 -5306 -5297 -5252 -5243 -5207 -5198 -5180 -5162 -5153 -5117 -5108 -5054 -5045 -5000 -4991 -4964 -4937 -4928 -4883 -4874 -4829 -4820 -4784 -4775 -4595 -4586 -4550 -4541 -5288 -5036 -4982 -4955 -4919 -4865 -4766 -4532 6917 6881 6827 -6555 6559 -6334 -6325 -6289 -6280 -6199 -6190 -5785 -5776 6184 -6796 -6544 -6490 -6409 -6382 -6355 -6337 -6328 -6301 -6292 -6283 -6247 -6211 -6202 -6193 -6166 -6157 -6139 -6112 -6094 -6049 -6004 -5779 -5725 -5491 6803 6416 6274 6291 5787 -6335 -6326 -6200 -6191 -6344 -6786 -6570 -6444 -6399 -6381 -6318 -6300 -6282 -6183 -5778 -6186 6569 6380 5770 -6195 6198 -6270 -6819 -6540 -6495 -6432 -6387 -6351 -6342 -6324 -6306 -6252 -6216 -6207 -6189 -6171 -6162 -6144 -6072 -6054 -6009 -5766 -5496 6267 6820 6493 6433 6214 5763 -6789 -6780 -6438 -6402 -6393 -6339 -6330 -6321 -6250 -6205 -6160 -6133 -6124 -6115 -6070 -6043 -6034 -6025 -5998 -5989 -5512 -5485 -5476 -6343 -6298 6795 6779 6392 6333 6319 6251 6341 6296 -6788 -6545 -6437 -6401 -6383 -6356 -6311 -6257 -6176 -5753 6549 6440 6408 6386 6360 6316 6263 6181 5759 -6514 -6307 -6235 -6208 -6172 -6163 -6145 -6136 -6127 -6118 -6100 -6073 -6055 -6046 -6037 -6028 -6010 -6001 -5992 -5731 -5515 -5497 -5488 -5479 6510 6231 6116 6097 5728 -6303 -6168 -6141 -6051 -6006 -5493 -6204 -6159 -6069 6304 6169 6142 6052 6007 5494 6206 6161 6071 -5971 -5962 -5926 -5917 -5692 -5683 -5458 -5449 -5908 -5899 -5629 -5620 -5440 -5431 -5395 -5386 -5368 -5359 -5323 -5314 -5224 -5215 -5017 -5008 -5980 -5935 -5467 -5422 -5377 -5332 5578 -5587 -5542 -5524 -5380 -5371 -5362 -5353 -5335 -5326 -5317 -5308 -5290 -5281 -5254 -5236 -5227 -5218 -5209 -5182 -5173 -5164 -5146 -5137 -5128 -5119 -5101 -5092 -5083 -5056 -5038 -5029 -5020 -5011 -5002 -4984 -4966 -4948 -4939 -4921 -4912 -4903 -4894 -4885 -4867 -4858 -4849 -4840 -4831 -4813 -4804 -4795 -4786 -4768 -4759 -4750 -4606 -4597 -4579 -4570 -4561 -4552 -4534 -4525 -4516 -6109 6111 5589 -5580 -5535 -5526 -5382 -5373 -5364 -5346 -5337 -5328 -5319 -5301 -5292 -5283 -5247 -5238 -5229 -5220 -5202 -5193 -5175 -5157 -5148 -5139 -5130 -5112 -5103 -5094 -5085 -5049 -5040 -5031 -5022 -5013 -4995 -4986 -4977 -4959 -4950 -4932 -4923 -4914 -4905 -4896 -4878 -4869 -4860 -4851 -4842 -4824 -4815 -4806 -4797 -4779 -4770 -4761 -4752 -4608 -4590 -4581 -4572 -4563 -4545 -4536 -4527 -4518 5521 -5584 -5575 -5539 -5530 -5350 -5341 -5305 -5296 -5251 -5242 -5206 -5197 -5179 -5161 -5152 -5116 -5107 -5080 -5053 -5044 -5026 -4999 -4990 -4972 -4963 -4945 -4936 -4927 -4909 -4900 -4891 -4882 -4873 -4855 -4846 -4828 -4819 -4792 -4783 -4774 -4756 -4747 -4594 -4585 -4558 -4549 -4540 -4522 -4513 5544 5533 5256 5245 5081 5058 5047 -4957 -5191 -4910 -4901 -4856 -4847 -4975 5349 -6042 -6033 -5907 -5898 -5601 -5556 -5511 -5484 -5475 -5466 -5439 -5430 -5376 -5367 -5358 -5340 -5331 -5322 -5313 -5295 -5286 -5268 -5232 -5223 -5214 -5196 -5187 -5169 -5151 -5142 -5133 -5124 -5106 -5097 -5088 -5070 -5025 -5016 -5007 -4989 -4980 -4971 -4953 -4944 -4926 -4917 -4908 -4899 -4890 -4872 -4863 -4854 -4845 -4836 -4818 -4809 -4800 -4791 -4773 -4764 -4755 -4746 -4602 -4584 -4575 -4566 -4557 -4539 -4530 -4521 -4512 5604 5559 5271 5073 -5352 -5343 -5307 -5298 -5208 -5199 -5181 -5163 -5154 -5118 -5109 -5001 -4992 -4965 -4938 -4929 -4884 -4875 -4830 -4821 -4785 -4776 -4596 -4587 -4551 -4542 -5289 -4983 -4956 -4920 -4866 -4767 -4533 -5235 -5190 -5172 -5127 -5028 -4974 -4947 -4893 5617 -6040 -5932 -5923 -5914 -5905 -5626 -5509 -5482 -5464 -5455 -5446 -5437 -5419 -5392 -5374 -5365 -5284 -5230 -5221 -4978 5625 -6066 -5940 -5931 -5922 -5913 -5634 -5508 -5472 -5463 -5454 -5445 -5427 -5400 -5355 -5310 -5211 -5004 5632 5398 -6064 -5938 -5929 -5920 -5902 -5623 -5506 -5470 -5461 -5452 -5434 -5425 -5389 -5344 -5299 -5200 -4993 6059 5501 5423 -5906 -5897 -5438 -5429 -5366 -5357 -5321 -5312 -5222 -5213 -5015 -5006 -5465 -5375 -5330 -5348 -5285 -5649 5646 -5928 -5919 -4598 -4553 -4832 -4787 -5345 5339 -5591 -5546 -5303 -5258 -5231 -5204 -5177 -5168 -5159 -5141 -5132 -5123 -5114 -5096 -5087 -5060 -5024 -4997 -4979 -4961 -4943 -4934 -4916 -4907 -4898 -4889 -4880 -4862 -4853 -4844 -4835 -4826 -4808 -4799 -4790 -4781 -4763 -4754 -4745 -4601 -4592 -4574 -4565 -4556 -4547 -4529 -4520 -4511 5597 5552 5264 5066 -4416 -4461 -4733 -4724 -5354 -5309 -5300 -5210 -5201 -5183 -5165 -5156 -5120 -5111 -5003 -4994 -4967 -4940 -4931 -4886 -4877 -4823 -4778 -4589 -4544 -5291 -4985 -4958 -4922 -4868 -4769 -4535 -5237 -5192 -5174 -5129 -5030 -4976 -4949 -4895 5304 5294 5205 5195 4998 4988 5287 4981 5027 4946 4892 -4952 -5186 -4970 -5144 -5135 -4811 -4802 -4757 -4748 -4730 -4721 -4685 -4676 -4640 -4631 -4496 -4487 -4361 -4352 -4136 -4127 -5099 -5090 -4712 -4703 -4577 -4568 -4523 -4514 -4478 -4469 -4451 -4442 -4406 -4397 -4316 -4307 -4091 -4082 4973 4407 -5091 -4848 -4740 -4731 -4722 -4704 -4623 -4614 -4605 -4569 -4560 -4515 -4506 -4497 -4488 -4470 -4443 -4434 -4425 -4398 -4389 -4380 -4326 -4308 -4299 -4290 -4254 -4245 -4119 -4110 -4101 -4083 -4074 -4065 -4029 -4020 -4002 -3993 -3957 -3948 -3867 -3858 -3642 -3633 4850 4517 -5102 -4859 -4742 -4715 -4607 -4580 -4562 -4526 -4508 -4499 -4490 -4481 -4463 -4454 -4436 -4427 -4418 -4409 -4391 -4382 -4328 -4319 -4301 -4292 -4103 -4094 -4076 -4067 4857 4559 4524 -4433 -4424 -4388 -4379 4400 -4625 -4616 -4256 -4247 -4121 -4112 -4031 -4022 -4004 -3995 -3959 -3950 -3869 -3860 -3644 -3635 4408 -5110 -4876 -4741 -4732 -4723 -4705 -4624 -4615 -4588 -4543 -4507 -4498 -4489 -4471 -4462 -4444 -4435 -4426 -4417 -4399 -4390 -4381 -4327 -4309 -4300 -4291 -4255 -4246 -4120 -4111 -4102 -4084 -4075 -4066 -4030 -4021 -4003 -3994 -3958 -3949 -3868 -3859 -3643 -3634 5105 4871 -4412 -4457 4583 4538 -4709 -4700 -4475 -4466 -4448 -4439 -4403 -4394 -4313 -4304 -4088 -4079 -4502 4410 -5121 -4887 -4743 -4734 -4725 -4707 -4626 -4617 -4599 -4554 -4509 -4500 -4491 -4473 -4464 -4446 -4437 -4428 -4419 -4401 -4392 -4383 -4329 -4311 -4302 -4293 -4257 -4248 -4122 -4113 -4104 -4086 -4077 -4068 -4032 -4023 -4005 -3996 -3960 -3951 -3870 -3861 -3645 -3636 5115 4881 4593 4548 -4710 -4701 -4476 -4467 -4449 -4440 -4404 -4395 -4314 -4305 -4089 -4080 -4503 -4458 -4413 -4411 -4456 -4402 -4447 4422 -4692 -4683 -4674 -4665 -4431 -4368 -4359 -4350 -4341 -4323 -4296 -4278 -4269 -4251 -4242 -4233 -4224 -4206 -4197 -4188 -4179 -4161 -4152 -4053 -4044 -4026 -4017 -3918 -3909 -3891 -3882 -3693 -3684 -3666 -3657 -4393 4415 -4622 -4613 -4253 -4244 -4118 -4109 -4073 -4064 -4028 -4019 -4001 -3992 -3956 -3947 -3866 -3857 -3641 -3632 4240 -4663 -4654 -4645 -4636 -4627 -4618 -4429 -4420 -4384 -4366 -4339 -4330 -4321 -4294 -4285 -4276 -4267 -4258 -4249 -4231 -4222 -4213 -4186 -4177 -4168 -4141 -4132 -4123 -4114 -4096 -4087 -4078 -4069 -4051 -4042 -4033 -4024 -4006 -3997 -3979 -3970 -3961 -3952 -3934 -3925 -3907 -3898 -3871 -3862 -3844 -3835 -3682 -3673 -3646 -3637 -3619 -3610 -4423 4432 -5098 -5089 -4711 -4702 -4693 -4684 -4675 -4657 -4603 -4576 -4567 -4504 -4477 -4468 -4459 -4450 -4441 -4414 -4405 -4396 -4369 -4360 -4351 -4333 -4324 -4315 -4306 -4288 -4279 -4261 -4252 -4243 -4234 -4216 -4207 -4198 -4189 -4171 -4162 -4153 -4090 -4081 -4054 -4036 -4027 -4018 -3919 -3901 -3892 -3883 -3694 -3676 -3667 -3658 4699 4460 4250 4085 4025 -5140 -5131 -5122 -5095 -4861 -4834 -4807 -4798 -4735 -4726 -4717 -4708 -4690 -4681 -4672 -4600 -4573 -4528 -4501 -4492 -4483 -4474 -4375 -4357 -4348 -4312 -4060 -4667 -4658 -4343 -4334 -4298 -4289 -4271 -4262 -4226 -4217 -4181 -4172 -4046 -4037 -3911 -3902 -3686 -3677 -4664 -4655 -4646 -4637 -4628 -4610 -4430 -4421 -4376 -4367 -4340 -4331 -4322 -4295 -4286 -4277 -4268 -4259 -4241 -4232 -4223 -4214 -4187 -4178 -4169 -4142 -4133 -4124 -4106 -4097 -4061 -4052 -4043 -4034 -4016 -4007 -3989 -3980 -3971 -3962 -3944 -3935 -3926 -3908 -3899 -3872 -3854 -3845 -3836 -3683 -3674 -3647 -3629 -3620 -3611 -4148 -4058 -4013 -3968 5100 4864 4604 4578 4531 4505 4325 4297 4287 4015 -4208 -4199 -4163 -4154 -11275 11477 -12161 -12152 -11891 -11882 -11756 -11747 -11693 -11666 -11657 -11648 -11621 -11612 -11603 -11576 -11567 -11558 -11549 -11540 -11513 -11504 -11495 -11486 -11315 -11306 -11279 -11270 -11261 -11252 -11180 -11171 -11162 -11153 -11135 -11126 -11117 -11108 -11045 -11000 -10964 -10793 -10622 -10478 11046 11001 10971 10794 10623 10485 -11487 -11478 -11253 -11244 -11181 -11154 -11145 -11136 -11109 -11100 -10992 -10983 -10974 -10497 -10488 -11493 -11484 -11259 -11250 -11187 -11160 -11151 -11142 -11115 -11106 -11097 -11088 -11079 -11043 -11034 -11025 -10836 -10827 -10656 -10647 -11264 -11273 -11509 -11500 -11166 -11175 -11176 -11167 -10977 10976 10500 -11242 -11165 -11255 -11174 -11516 -11507 -11498 -11489 -11282 -11183 -11156 -11138 -11129 -11120 -11111 -11066 -11039 -11030 -10994 -10985 -10814 -10661 -10652 -10499 -11517 -11508 -11499 -11481 -11283 -11274 -11265 -11247 -11184 -11148 -11139 -11130 -11121 -11103 -11094 -11076 -11040 -11022 -10995 -10824 -10662 -10644 -10491 11062 10986 10810 11077 10997 10825 10490 -11485 -11476 -11251 -11179 -11152 -11143 -11134 -11107 -11098 -11035 -11026 -11017 -10648 -10639 -11518 -11491 -11284 -11266 -11257 -11185 -11158 -11140 -11131 -11122 -11113 -11095 -11086 -11041 -11032 -10960 -10834 -10654 -10474 11256 11157 11112 10653 11490 11186 11141 11096 11085 11042 11031 10954 10833 10468 -12120 -12111 -11715 -11706 -11535 -11526 -11418 -11391 -11382 -11373 -11346 -11337 -11328 -11301 -11292 -11238 -11229 -11220 -10887 -10878 -12165 -12156 -11895 -11886 -11760 -11751 -11670 -11661 -11625 -11616 -11580 -11571 -11553 -11544 -11463 -11454 -11319 -11310 -10941 -10932 -10617 -10599 -11697 -11652 -11607 -11562 -11472 -11529 -11538 10619 -11547 -11556 11223 -12150 -12141 -12132 -12123 -11745 -11736 -11727 -11718 -11565 -11421 -11412 -11403 -11394 -11376 -11367 -11358 -11349 -11331 -11322 -11313 -11304 -11286 -11277 -11241 -11232 -11133 -10890 11230 10888 10881 -12148 -12139 -12130 -12112 -11743 -11734 -11725 -11707 -11563 -11554 -11545 -11527 -11419 -11410 -11401 -11383 -11374 -11365 -11356 -11338 -11329 -11320 -11311 -11293 -11248 -11239 -11221 -11104 -10879 11240 -11411 -11402 -11366 -11357 -11480 11543 -12191 -12182 -12173 -12164 -12119 -12110 -11921 -11912 -11903 -11894 -11786 -11777 -11768 -11759 -11714 -11705 -11696 -11687 -11678 -11669 -11651 -11642 -11633 -11624 -11606 -11597 -11588 -11579 -11561 -11552 -11534 -11525 -11444 -11390 -11381 -11345 -11336 -11327 -11318 -11300 -11291 -11147 -10922 11440 10918 -12160 -12151 -11890 -11881 -11755 -11746 -11692 -11665 -11656 -11647 -11620 -11611 -11602 -11575 -11566 -11557 -11548 -11539 -11512 -11503 -11494 -11314 -11305 -11170 -11161 -11496 11550 11423 11316 11502 -12189 -12180 -12171 -12153 -12117 -12108 -11919 -11910 -11901 -11883 -11784 -11775 -11766 -11748 -11712 -11703 -11694 -11685 -11676 -11658 -11649 -11640 -11631 -11613 -11604 -11595 -11586 -11568 -11559 -11541 -11532 -11523 -11514 -11424 -11388 -11379 -11343 -11334 -11325 -11307 -11298 -11289 -11271 -11262 -11163 -11127 -11118 -10902 -11415 -11370 -11280 -12195 -12186 -12177 -12168 -11925 -11916 -11907 -11898 -11790 -11781 -11772 -11763 -11700 -11691 -11682 -11673 -11655 -11646 -11637 -11628 -11610 -11601 -11592 -11583 -11520 -11511 -11475 -11466 -11295 -11178 -10944 11564 11519 11309 11269 11268 11169 11125 10901 11505 11464 11457 11172 10942 10935 -11690 -11681 -11645 -11636 -11600 -11591 -11417 -11372 -12142 -12133 -12124 -12106 -11737 -11728 -11719 -11701 -11521 -11413 -11404 -11395 -11377 -11368 -11359 -11350 -11332 -11323 -11287 -11278 -11260 -11206 -11116 -10864 -12193 -12184 -12175 -12157 -11923 -11914 -11905 -11887 -11788 -11779 -11770 -11752 -11698 -11689 -11680 -11662 -11653 -11644 -11635 -11617 -11608 -11599 -11590 -11572 -11536 -11482 -11473 -11455 -11302 -11149 -10933 11522 11288 11285 11210 11124 10868 11699 11654 11609 11474 11144 -12143 -12134 -12125 -12116 -11738 -11729 -11720 -11711 -11531 -11414 -11405 -11396 -11387 -11369 -11360 -11351 -11342 -11324 -11297 -11243 -11189 -11099 -10847 -12662 -12653 -12437 -12428 -12347 -12338 -12302 -12293 -12275 -12266 -12230 -12221 -12185 -12176 -12140 -12131 -12005 -11996 -11870 -11861 -12617 -12608 -12392 -12383 -12257 -12248 -12077 -12068 -12032 -12023 -11987 -11978 -11960 -11951 -11915 -11906 -11825 -11816 -12212 -12203 -11942 -11933 -11852 -11843 -11807 -11798 -11780 -11771 -11735 -11726 11530 11420 11375 11330 11296 11246 11190 11102 10848 5318 -6047 -5939 -5930 -5921 -5912 -5642 -5516 -5489 -5471 -5462 -5453 -5444 -5408 -5381 -5372 -5336 -5327 -5228 -5021 6045 -5663 5636 5487 5402 5370 5325 5226 5019 -6036 -5937 -5901 -5514 -5478 -5469 -5460 -5451 -5433 -5415 -5379 -5361 -5334 -5316 -5217 -5010 5669 5513 5468 5412 5378 5333 5012 -6137 -6128 -6002 -5993 4904 -5147 -4913 -4841 -4814 -4796 -4760 -4706 -4697 -4688 -4670 -4661 -4652 -4643 -4472 -4373 -4364 -4346 -4337 -4139 4911 4758 4465 -5136 -4902 -4839 -4803 -4794 -4749 -4713 -4695 -4677 -4668 -4659 -4650 -4632 -4479 -4371 -4353 -4344 -4335 -4146 -4128 4793 4751 4092 -4056 -4011 -3966 4445 -4274 -4265 -4229 -4220 -4184 -4175 -4049 -4040 -3914 -3905 -3689 -3680 4438 -4656 4660 -4696 -4687 -4678 -4669 -4651 -4642 -4633 -4453 -4372 -4363 -4354 -4345 -4318 -4282 -4273 -4237 -4228 -4210 -4201 -4192 -4183 -4165 -4156 -4138 -4129 -4057 -4048 -3922 -3913 -3895 -3886 -3697 -3688 -3670 -3661 -4662 -4666 4671 -4698 -4689 -4680 -4653 -4644 -4635 -4455 -4374 -4365 -4356 -4338 -4320 -4284 -4266 -4239 -4221 -4212 -4203 -4194 -4176 -4167 -4158 -4140 -4131 -4059 -4041 -3924 -3906 -3897 -3888 -3699 -3681 -3672 -3663 4452 4370 4317 4055 -4272 -4263 -4227 -4218 -4182 -4173 -4047 -4038 -3912 -3903 -3687 -3678 -4281 -4236 -4191 -3983 -3974 -3938 -3929 -4619 -4270 4275 4727 -5150 -4925 -4817 -4772 -4736 -4718 -4691 -4673 -4484 -4349 -4115 5155 4930 4822 4777 4694 4679 4355 -4283 -4238 -4193 4280 4235 4190 -3893 -3884 -3848 -3839 -3821 -3812 -3776 -3767 -3731 -3722 -3596 -3587 -3461 -3452 -3227 -3218 -3803 -3794 -3668 -3659 -3623 -3614 -3578 -3569 -3551 -3542 -3506 -3497 -3416 -3407 -3182 -3173 -4729 4720 -5170 -5143 -4918 -4837 -4810 -4765 -4738 -4648 -4639 -4621 -4612 -4495 -4342 -4144 -4135 -4117 -4108 5145 4915 4838 4812 4762 4620 4347 4116 -4737 -4728 -4719 -4647 -4638 -4629 -4611 -4494 -4485 -4377 -4260 -4143 -4134 -4125 -4107 -4098 -4062 -4035 -4008 -3990 -3981 -3972 -3963 -3945 -3936 -3927 -3873 -3855 -3846 -3837 -3648 -3630 -3621 -3612 4739 4649 4641 4609 4493 4486 4378 4264 4137 4105 4063 4039 -4630 -4387 -4126 -4099 -4072 -4045 -4009 -4000 -3982 -3973 -3964 -3955 -3937 -3928 -3874 -3865 -3847 -3838 -3649 -3640 -3622 -3613 -4147 -4012 -3967 4634 4130 4100 4050 -4149 -4014 -3969 4145 4010 3965 4093 4095 4225 -3820 -3811 -3775 -3766 -3730 -3721 -3595 -3586 -3460 -3451 -3226 -3217 -4230 3976 -4219 -3985 -3904 -3877 -3850 -3832 -3823 -3805 -3796 -3787 -3778 -3760 -3751 -3742 -3733 -3715 -3706 -3607 -3598 -3580 -3571 -3472 -3463 -3445 -3436 -3238 -3229 -3211 -3202 4215 3900 -3819 -3810 -3774 -3765 -3729 -3720 -3594 -3585 -3459 -3450 -3225 -3216 -3828 -3783 -3738 3986 -4202 -3977 -3923 -3887 -3878 -3842 -3833 -3815 -3806 -3797 -3788 -3770 -3761 -3752 -3743 -3725 -3716 -3707 -3608 -3590 -3581 -3572 -3473 -3455 -3446 -3437 -3239 -3221 -3212 -3203 4714 4716 3978 -3987 -3915 -3879 -3852 -3834 -3825 -3807 -3798 -3789 -3780 -3762 -3753 -3744 -3735 -3717 -3708 -3609 -3600 -3582 -3573 -3474 -3465 -3447 -3438 -3240 -3231 -3213 -3204 3910 -3829 -3784 -3739 5915 -6149 -6014 -5942 -5933 -5924 -5456 5948 5925 5457 -6029 -6123 -6024 -5988 -5952 -5934 -5916 -5673 -5448 5955 5936 5676 5447 -6135 -6126 -6027 -6000 -5991 6121 5986 -6130 -6022 -5995 -5977 -5968 -5896 -5689 -5428 6132 6026 5997 -5983 -4170 4174 -3940 -3931 -3625 -3616 -3553 -3544 -3508 -3499 -3418 -3409 -3184 -3175 -6021 6019 -5974 -5965 -5695 -5686 5976 5697 -6156 -5985 -5967 -5904 -5688 -5436 6154 5981 5959 5903 5680 5435 -3793 3792 -3954 -3801 -3675 -3639 -3603 -3576 -3558 -3549 -3531 -3522 -3513 -3504 -3486 -3477 -3423 -3414 -3396 -3387 -3189 -3180 -3162 -3153 3953 3679 3638 -4160 -4151 -3800 -3791 -3665 -3656 -3575 -3566 -3548 -3539 -3503 -3494 -3413 -3404 -3179 -3170 -3652 -3562 -3517 -3692 -3602 -3557 -3512 -3802 3790 -4204 -4195 -4159 -3943 -3916 -3889 -3880 -3826 -3817 -3808 -3799 -3781 -3772 -3763 -3736 -3727 -3718 -3691 -3664 -3628 -3601 -3592 -3583 -3574 -3556 -3547 -3529 -3520 -3511 -3502 -3484 -3475 -3457 -3448 -3421 -3412 -3394 -3385 -3223 -3214 -3187 -3178 -3160 -3151 3946 3804 3631 -3577 -3568 -3550 -3541 -3505 -3496 -3415 -3406 -3181 -3172 -4209 -4200 -4155 -3984 -3975 -3930 -3921 -3894 -3885 -3876 -3849 -3840 -3831 -3822 -3813 -3795 -3786 -3777 -3768 -3741 -3732 -3723 -3696 -3660 -3651 -3615 -3606 -3597 -3588 -3570 -3561 -3543 -3534 -3525 -3516 -3498 -3489 -3480 -3462 -3453 -3426 -3408 -3399 -3390 -3228 -3219 -3192 -3174 -3165 -3156 -3604 -3559 -3514 3579 4196 3881 3875 3851 3605 -4205 -3998 -3917 -3890 -3863 -3827 -3818 -3782 -3773 -3755 -3746 -3737 -3728 -3710 -3701 -3593 -3467 -3458 -3440 -3431 -3233 -3224 -3206 -3197 -3758 -3749 -3713 -3704 -3533 -3524 -3488 -3479 4211 3999 3920 3896 3864 3830 3824 3785 3779 3740 3734 3599 3464 3230 -4166 -4157 -3941 -3932 -3671 -3662 -3626 -3617 -3554 -3545 -3509 -3500 -3419 -3410 -3185 -3176 -3443 -3434 -3398 -3389 -3371 -3362 -3326 -3317 -3281 -3272 -3137 -3128 -2903 -2894 -2696 -2687 -3536 -3527 -3401 -3392 -3374 -3365 -3329 -3320 -3284 -3275 -3140 -3131 -2906 -2897 -2699 -2690 -3353 -3344 -3209 -3200 -3164 -3155 -3119 -3110 -3092 -3083 -3047 -3038 -2993 -2984 -2948 -2939 -2858 -2849 -2615 -2606 -2453 -2444 -2165 -2156 -3491 -3482 -3356 -3347 -3167 -3158 -3122 -3113 -3095 -3086 -3050 -3041 -2996 -2987 -2951 -2942 -2861 -2852 -2618 -2609 -2456 -2447 -2168 -2159 -3698 -3653 -3563 -3518 -3428 -3383 -3338 -3293 -3194 -3149 -3104 -3059 -3005 -2960 4164 4150 -3816 3933 -3492 -3483 3669 3655 3618 3695 -4185 -3942 -3690 -3654 -3627 -3591 -3564 -3555 -3537 -3528 -3519 -3510 -3429 -3420 -3402 -3393 -3195 -3186 -3168 -3159 4180 3939 3685 3650 3624 3560 3552 3515 3507 3417 3183 -3759 -3750 -3444 -3435 -3372 -3363 -3327 -3318 -3282 -3273 -3138 -3129 -2904 -2895 -2697 -2688 -3714 -3705 -3354 -3345 -3210 -3201 -3120 -3111 -3093 -3084 -3048 -3039 -2994 -2985 -2949 -2940 -2859 -2850 -2616 -2607 -2454 -2445 -2166 -2157 -3471 -3381 -3336 -3291 -3237 -3147 -3102 -3057 -3003 -2958 -2954 -2999 3476 -3719 -3485 -3377 -3368 -3359 -3350 -3215 -3188 -3161 -3143 -3134 -3125 -3116 -3098 -3089 -3071 -3062 -3053 -3044 -3026 -3017 -3008 -2990 -2972 -2963 -2945 -2927 -2918 -2864 -2855 -2837 -2828 -2621 -2612 -2594 -2585 -2576 -2459 -2450 -2432 -2423 -2171 -2162 -2144 -2135 3126 -3756 -3711 -3702 -3540 -3468 -3441 -3405 -3378 -3369 -3351 -3342 -3333 -3324 -3306 -3297 -3288 -3279 -3261 -3252 -3243 -3234 -3207 -3198 -3144 -3135 -3117 -3108 -3099 -3090 -3081 -3054 -3045 -3036 -3000 -2991 -2982 -2955 -2946 -2937 -2910 -2901 -2883 -2874 -2856 -2847 -2703 -2694 -2676 -2667 -2658 -2613 -2604 -2451 -2442 -2163 -2154 -2461 -2173 3700 -3709 -3493 -3376 -3367 -3358 -3349 -3232 -3205 -3169 -3142 -3133 -3124 -3115 -3097 -3088 -3070 -3061 -3052 -3043 -3025 -3016 -3007 -2998 -2989 -2971 -2962 -2953 -2944 -2926 -2917 -2863 -2854 -2836 -2827 -2620 -2611 -2593 -2584 -2575 -2458 -2449 -2431 -2422 -2170 -2161 -2143 -2134 3712 3208 -3703 -3478 -3379 -3370 -3361 -3343 -3235 -3199 -3190 -3154 -3145 -3136 -3127 -3109 -3100 -3082 -3073 -3064 -3055 -3037 -3028 -3019 -3010 -3001 -2983 -2974 -2965 -2956 -2938 -2929 -2920 -2866 -2848 -2839 -2830 -2623 -2605 -2596 -2587 -2578 -2443 -2434 -2425 -2155 -2146 -2137 3236 3196 -2966 -2975 -2921 -2930 -3074 -3065 -3029 -3020 -3011 -2959 -3004 -3490 3487 2957 -2723 -2714 -2480 -2471 -2291 -2282 -2147 -2138 -2102 -2093 -2048 -2039 -2003 -1994 -1976 -1967 -1931 -1922 -1832 -1823 -1625 -1616 -3481 2925 -3357 -3348 -3150 -3123 -3114 -3105 -3096 -3087 -3060 -3051 -3042 -3006 -2997 -2988 -2961 -2952 -2943 -2934 -2862 -2853 -2754 -2745 -2736 -2727 -2619 -2610 -2520 -2511 -2502 -2493 -2484 -2457 -2448 -2322 -2313 -2304 -2295 -2178 -2169 -2160 -2151 -2133 -2124 -2115 -2106 -2088 -2079 -2070 -2061 -2052 -2034 -2025 -2016 -2007 -1989 -1980 -1962 -1953 -1944 -1935 -1917 -1908 -1899 -1845 -1836 -1818 -1809 -1638 -1629 -1611 -1602 -1593 3002 -2768 -2759 -2534 -2525 -2435 -2426 -2390 -2381 -2336 -2327 -2309 -2300 -2264 -2255 -2219 -2210 -2021 -2012 -1877 -1868 -1679 -1670 3521 -3764 -3530 -3449 -3422 -3395 -3341 -3332 -3323 -3305 -3296 -3287 -3278 -3260 -3251 -3242 -3107 -2909 -2900 -2882 -2873 -2702 -2693 -2675 -2666 -2657 -3139 3141 -3771 -3546 -3456 -3411 -3384 -3366 -3339 -3321 -3312 -3303 -3294 -3276 -3267 -3258 -3249 -3132 -2916 -2898 -2889 -2880 -2709 -2691 -2682 -2673 -2664 3769 3538 3454 3403 -3535 -3526 -3400 -3391 -3373 -3364 -3328 -3319 -3283 -3274 -3130 -2905 -2896 -2698 -2689 -3754 -3745 -3439 -3430 -3322 -3313 -3277 -3268 -2899 -2890 -2692 -2683 -3427 -3382 -3337 -3292 -3466 -3331 -3286 3532 3397 3375 3360 3757 3442 3380 -3748 -3523 -3469 -3433 -3424 -3388 -3352 -3334 -3316 -3307 -3298 -3289 -3271 -3262 -3253 -3244 -3118 -2911 -2893 -2884 -2875 -2704 -2686 -2677 -2668 -2659 -3308 -3299 -3263 -3254 -3245 3747 3470 3432 3425 3386 3355 3335 3290 3121 -3724 -3346 -3220 -3193 -3157 -3148 -3112 -3103 -3085 -3076 -3067 -3058 -3040 -3031 -3022 -3013 -2986 -2977 -2968 -2941 -2932 -2923 -2869 -2851 -2842 -2833 -2626 -2608 -2599 -2590 -2581 -2464 -2446 -2437 -2428 -2176 -2158 -2149 -2140 -2885 -2876 -2840 -2831 -2813 -2786 -2777 -2741 -2732 -2678 -2669 -2642 -2597 -2588 -2561 -2552 -2507 -2498 -2408 -2399 -2363 -2354 -2120 -2111 -2075 -2066 -2804 -2660 -2633 -2579 -2543 -2489 -2345 -2057 3726 3340 3222 3191 3152 3146 3106 3101 3056 2294 -2978 -2969 -2924 -2771 -2762 -2753 -2744 -2735 -2717 -2537 -2528 -2519 -2510 -2501 -2492 -2474 -2465 -2438 -2429 -2420 -2393 -2384 -2375 -2339 -2330 -2321 -2312 -2303 -2285 -2276 -2267 -2258 -2231 -2222 -2213 -2177 -2141 -2132 -2123 -2114 -2096 -2087 -2078 -2069 -2060 -2042 -2033 -2024 -2015 -1997 -1988 -1970 -1961 -1952 -1943 -1925 -1916 -1907 -1898 -1880 -1871 -1844 -1826 -1817 -1808 -1682 -1673 -1637 -1619 -1610 -1601 -1592 -1957 -1912 -2733 3302 -3311 -3266 -3248 -3077 -3032 -3014 -2915 -2888 -2870 -2843 -2825 -2807 -2798 -2789 -2726 -2708 -2681 -2663 -2654 -2636 -2627 -2600 -2582 -2573 -2564 -2546 -2483 -2411 -2366 -2348 -2105 -2051 -2542 -2740 -3310 -2486 -2469 2479 -2947 -2812 -2803 -2785 -2776 -2749 -2731 -2713 -2650 -2641 -2632 -2569 -2560 -2551 -2515 -2506 -2497 -2488 -2470 -2407 -2398 -2362 -2353 -2344 -2317 -2308 -2299 -2281 -2164 -2128 -2119 -2110 -2092 -2083 -2074 -2065 -2056 -2038 -2029 -2020 -2011 -1993 -1984 -1966 -1948 -1939 -1921 -1903 -1894 -1840 -1822 -1813 -1804 -1633 -1615 -1606 -1597 -1588 2950 2167 -2725 -2716 -2482 -2473 -2293 -2284 -2104 -2095 -2050 -2041 -2005 -1996 -1978 -1969 -1933 -1924 -1834 -1825 -1627 -1618 -2131 -2086 -2032 -1987 -1942 3072 -3315 -3270 -3063 -3018 -3009 -2892 -2865 -2829 -2811 -2793 -2775 -2766 -2757 -2748 -2730 -2721 -2712 -2685 -2640 -2622 -2586 -2577 -2568 -2550 -2541 -2532 -2523 -2514 -2496 -2487 -2478 -2415 -2397 -2388 -2379 -2370 -2352 -2343 -2334 -2325 -2127 -2109 -2100 -2091 -2082 -2064 -2055 -2046 -2037 3314 3269 2891 2684 -2810 -2783 -2774 -2738 -2729 -2639 -2558 -2549 -2504 -2495 -2405 -2396 -2360 -2351 -2117 -2108 -2072 -2063 -2801 -2630 -2540 -2342 -2054 -2819 -2792 -2747 -2648 -2567 -2513 1930 -2245 -2236 -2200 -2191 -2182 -1858 -1849 -1786 -1768 -1759 -1723 -1660 -1651 -1642 -1570 -1561 -1543 -1534 -1525 -1489 -1480 -1435 -1426 -1390 -1381 -1372 -1201 -1192 -1156 -1147 -1138 1473 -2247 -2238 -2229 -2220 -2211 -2202 -2193 -1959 -1950 -1941 -1932 -1923 -1914 -1905 -1860 -1851 -1815 -1806 -1788 -1770 -1761 -1725 -1716 -1707 -1698 -1689 -1680 -1671 -1662 -1653 -1635 -1626 -1617 -1608 -1599 -1581 -1572 -1554 -1545 -1536 -1518 -1509 -1500 -1491 -1482 -1464 -1455 -1437 -1428 -1401 -1392 -1383 -1365 -1356 -1320 -1311 -1203 -1194 -1185 -1176 -1167 -1158 -1149 -1131 -1122 -1086 -1077 -1059 -1050 -1014 -1005 -924 -915 -699 -690 1517 -2246 -2237 -2201 -2192 -2183 -1958 -1949 -1913 -1904 -1895 -1859 -1850 -1814 -1805 -1787 -1778 -1769 -1760 -1742 -1724 -1715 -1688 -1661 -1652 -1643 -1634 -1607 -1598 -1589 -1580 -1571 -1562 -1553 -1544 -1535 -1526 -1508 -1499 -1490 -1481 -1472 -1445 -1436 -1427 -1409 -1400 -1391 -1382 -1373 -1355 -1346 -1328 -1319 -1310 -1301 -1283 -1274 -1265 -1256 -1238 -1229 -1220 -1202 -1193 -1157 -1148 -1139 -1112 -1094 -1085 -1076 -977 -959 -950 -941 -752 -734 -725 -716 1323 -1755 -1746 -1737 -1728 -1719 -1701 -1512 -1503 -1494 -1485 -1476 -1458 -1449 -1422 -1413 -1404 -1368 -1359 -1350 -1341 -1332 -1314 -1305 -1296 -1287 -1260 -1251 -1242 -1215 -1206 -1197 -1179 -1170 -1161 -1152 -1143 -1125 -1116 -1107 -1098 -1080 -1071 -1053 -1044 -1035 -1026 -1008 -999 -990 -972 -963 -936 -918 -909 -900 -747 -738 -711 -693 -684 -675 -2485 1678 -2992 -2794 -2758 -2524 -2452 -2416 -2380 -2371 -2326 -2290 -2272 -2254 -2227 -2209 -2002 -1885 -1867 -1687 -1669 -1579 -1552 -1498 2995 2455 -2770 -2761 -2536 -2527 -2392 -2383 -2338 -2329 -2311 -2302 -2266 -2257 -2221 -2212 -2023 -2014 -1879 -1870 -1681 -1672 -2419 -2374 -2320 -2275 -2230 2490 -3309 -3300 -3264 -3255 -3075 -3066 -3030 -3021 -2931 -2922 -2886 -2877 -2841 -2832 -2823 -2814 -2787 -2778 -2742 -2724 -2715 -2706 -2679 -2670 -2652 -2643 -2625 -2598 -2589 -2571 -2562 -2553 -2535 -2526 -2517 -2508 -2499 -2481 -2472 -2409 -2400 -2373 -2364 -2355 -2337 -2328 -2292 -2283 -2148 -2139 -2121 -2112 -2103 -2094 -2085 -2076 -2067 -2049 -2040 -2004 -1995 -1977 -1968 -1833 -1824 3304 -3295 -3250 -3241 -3079 -3034 -2908 -2872 -2845 -2809 -2791 -2773 -2764 -2755 -2746 -2728 -2719 -2710 -2701 -2665 -2656 -2638 -2602 -2566 -2548 -2539 -2530 -2521 -2512 -2494 -2476 -2467 -2413 -2395 -2386 -2377 -2368 -2350 -2341 -2332 -2323 -2125 -2107 -2098 -2089 -2080 -2062 -2053 -2044 -2035 3080 3035 2846 2734 2603 2500 2113 2068 -3265 -3247 -3094 -3049 -2914 -2887 -2860 -2824 -2806 -2797 -2788 -2752 -2743 -2707 -2680 -2662 -2653 -2635 -2617 -2572 -2563 -2545 -2518 -2509 -2491 -2410 -2365 -2347 -2122 -2077 -2059 3259 3246 3091 3046 2881 2857 2705 2674 2661 2614 2516 2058 -2800 -2629 -2818 -2821 -2647 -2175 -2130 -2031 -1986 1896 3068 -3280 -3078 3285 -3069 -3033 -3024 -3015 -2844 -2835 -2817 -2808 -2790 -2781 -2646 -2637 -2601 -2592 -2583 -2565 -2556 -2547 -2412 -2403 -2367 -2358 -2349 3027 3023 3012 2838 2834 2595 2591 2580 2544 2346 -2802 -2631 -2820 -2649 -2976 -2967 -2769 -2760 -2436 -2427 -2391 -2382 -2310 -2301 -2265 -2256 -2022 -2013 -1878 -1869 -2235 -2463 -2418 -2319 -2274 2805 2634 -2913 -2868 -2796 -2751 2912 2750 -2981 2980 -2305 -2296 -2260 -2251 -2215 -2206 -2017 -2008 -1873 -1864 -1675 -1666 2259 2214 1872 1674 -2979 -2799 -2772 -2574 -2538 -2466 -2439 -2421 -2394 -2376 -2340 -2286 -2277 -2268 -2250 -2241 -2232 -2223 -2205 -2196 -2187 -1998 -1890 -1881 -1863 -1854 -1791 -1773 -1764 -1692 -1683 -1665 -1656 -1647 -1575 -1548 -1539 -1440 -1431 -1395 -1386 -1566 -1530 -1377 -1800 -1782 -1584 -1557 2973 2795 2570 2433 2263 2218 1876 -2964 -2784 -2559 -2460 -2424 -2406 -2361 -2316 -2298 -2289 -2280 -2190 -2028 -2010 -2001 -1992 -1848 -1650 2970 -1795 -1777 -1732 2782 2557 2462 2430 2404 2359 2297 2009 2307 -2314 -2269 -2224 -2765 -2720 -2711 -2531 -2477 -2468 -2441 -2414 -2387 -2369 -2333 -2315 -2306 -2288 -2279 -2243 -2198 -2099 -2090 -2045 -2036 -2027 -2018 -2000 -1991 -1856 -1658 -2126 -2081 -2928 -2919 -2145 -2136 2273 2228 2767 2722 2718 2533 2475 2440 2417 2389 2372 2335 2318 2278 -2287 2101 2097 2047 2043 2019 1990 2129 2084 2933 2150 2142 -2871 -2826 -2655 -2628 -2935 -2737 -2503 -2152 -2116 -2071 -2026 -1999 -1981 -1972 -1954 -1945 -1936 -1927 -1909 -1900 -1891 -1837 -1828 -1810 -1801 -1630 -1621 -1603 -1594 -1585 -2172 2867 2822 2651 2624 2936 2739 2505 2153 2118 2073 2030 2006 1985 1940 -1951 1636 2174 1947 -2248 -2239 -2203 -2194 -2185 -1960 -1915 -1906 -1897 -1861 -1852 -1816 -1807 -1789 -1771 -1762 -1726 -1663 -1654 -1645 -1609 -1600 -1591 -1573 -1564 -1546 -1537 -1528 -1510 -1492 -1483 -1465 -1456 -1438 -1429 -1393 -1384 -1375 -1204 -1195 -1159 -1150 -1141 1955 1910 1902 1811 1803 1604 1596 1590 -1560 -1578 -1918 1926 -1963 1971 1624 -3301 1975 2780 2555 2529 -2522 2779 -2240 2249 -2179 2233 -2195 -2186 -1979 -1934 -1889 -1853 -1835 -1799 -1781 -1763 -1754 -1745 -1736 -1718 -1709 -1700 -1691 -1655 -1646 -1628 -1583 -1565 -1556 -1538 -1529 -1511 -1502 -1484 -1475 -1466 -1457 -1448 -1430 -1421 -1412 -1403 -1385 -1376 -1367 -1358 -1214 -1196 -1187 -1178 -1169 -1151 -1142 -1133 -1124 -2242 -2197 -1882 -1855 -1819 -1783 -1774 -1765 -1747 -1738 -1729 -1720 -1702 -1693 -1684 -1657 -1639 -1612 -1567 -1549 -1540 -1522 -1504 -1495 -1486 -1459 -1450 -1441 -1432 -1414 -1405 -1396 -1387 -1369 -1360 -1351 -1207 -1198 -1180 -1171 -1162 -1153 -1135 -1126 -1117 2188 2184 1846 1831 1648 1644 1555 1527 1507 1501 1374 1140 2204 1862 1827 1690 1664 1620 -1558 -1792 -1576 -1753 -1744 -1420 -1411 -1366 -1357 -1339 -1330 -1294 -1285 -1249 -1240 -1105 -1096 -970 -961 -745 -736 -1752 -1743 -1419 -1410 -1338 -1329 -1293 -1284 -1248 -1239 -1104 -1095 -969 -960 -744 -735 -1750 -1444 -1417 -1399 -1363 -1345 -1336 -1309 -1300 -1291 -1273 -1264 -1255 -1246 -1228 -1219 -1111 -1102 -1084 -1075 -976 -967 -949 -940 -751 -742 -724 -715 -1708 -1699 -1312 -1186 -1177 -1132 -1123 -1087 -1078 -1060 -1051 -1015 -1006 -925 -916 -700 -691 -1446 -1347 -1302 -1257 -1212 -1113 -1068 -1023 1563 1582 1741 1408 1354 1751 1418 1402 1364 1447 -1886 -1841 -1796 -1733 -1276 -1267 -1231 -1222 2756 -2763 2554 -2700 2695 -3330 3325 3171 3177 3495 -3501 1462 -1696 -1453 -1327 -1210 -1174 -1165 -1120 -1093 -1066 -1048 -1039 -1030 -1021 -1003 -994 -985 -931 -913 -904 -895 -706 -688 -679 -670 1697 1454 1175 1121 -1706 -1463 -1337 -1211 -1184 -1166 -1130 -1103 -1067 -1058 -1040 -1031 -1022 -1013 -995 -986 -932 -923 -905 -896 -707 -698 -680 -671 1213 1168 -1042 -1033 -997 -988 -1756 1758 -1335 -1326 -1290 -1281 -1245 -1236 -1101 -1092 -966 -957 -741 -732 1467 2401 2402 12724 -13138 -13129 -13120 -13102 -13066 -13057 -12913 -12904 -12895 -12877 -12841 -12832 -12823 -12814 -12805 -12787 -12778 -12769 -12760 -12742 -12733 -12715 -12706 -12697 -12688 -12670 -12661 -12652 -12643 -12625 -12616 -12607 -12571 -12562 -12526 -12517 -12508 -12490 -12481 -12472 -12454 -12445 -12409 -12400 -12373 -12355 -12346 -12337 -12319 -12310 -12103 -12085 -12076 -12067 -12049 -12040 13065 -13569 -13560 -13335 -13326 -13272 -13245 -13236 -13227 -13200 -13191 -13182 -13173 -13164 -13137 -13128 -13119 -13092 -13083 -13074 -13056 -12948 -12939 -12867 -12858 -12849 -12831 -12813 -12804 -12732 -12723 -12714 -12696 -12597 -12588 -12579 -12561 -12552 -12543 -12534 -12516 -12507 -12498 -12489 -12471 -12462 -12444 -12435 -12426 -12417 -12399 -12390 -12381 -12327 -12309 -12300 -12291 -12057 -12039 -12030 -12021 13114 -13591 -13582 -13573 -13564 -13357 -13348 -13339 -13330 -13267 -13258 -13249 -13240 -13222 -13213 -13204 -13195 -13177 -13168 -13150 -13141 -13132 -13123 -13105 -13096 -13087 -13078 -13060 -13051 -12952 -12943 -12925 -12916 -12880 -12871 -12817 -12808 -12790 -12781 -12745 -12736 -12718 -12709 -12673 -12664 -12628 -12619 -12592 -12583 -12565 -12556 -12493 -12484 -12358 -12349 -12088 -12079 13121 -13598 -13589 -13580 -13571 -13364 -13355 -13346 -13337 -13274 -13265 -13256 -13247 -13229 -13220 -13211 -13202 -13184 -13175 -13157 -13148 -13139 -13130 -13112 -13103 -13094 -13085 -13067 -13058 -12959 -12950 -12932 -12923 -12887 -12878 -12824 -12815 -12797 -12788 -12752 -12743 -12725 -12716 -12680 -12671 -12635 -12626 -12599 -12590 -12572 -12563 -12500 -12491 -12365 -12356 -12095 -12086 13115 -13592 -13583 -13574 -13565 -13358 -13349 -13340 -13331 -13268 -13259 -13250 -13241 -13223 -13214 -13205 -13196 -13178 -13169 -13151 -13142 -13133 -13124 -13106 -13097 -13088 -13079 -13061 -13052 -12953 -12944 -12926 -12917 -12881 -12872 -12818 -12809 -12791 -12782 -12746 -12737 -12719 -12710 -12674 -12665 -12629 -12620 -12593 -12584 -12566 -12557 -12494 -12485 -12359 -12350 -12089 -12080 13054 -13567 -13558 -13333 -13324 -13270 -13243 -13234 -13225 -13198 -13189 -13180 -13171 -13162 -13135 -13126 -13117 -13090 -13081 -13072 -13063 -12946 -12937 -12865 -12856 -12847 -12838 -12811 -12802 -12730 -12721 -12712 -12703 -12595 -12586 -12577 -12568 -12550 -12541 -12532 -12523 -12505 -12496 -12487 -12478 -12460 -12451 -12433 -12424 -12415 -12406 -12388 -12379 -12325 -12316 -12298 -12289 -12055 -12046 -12028 -12019 12713 -13136 -13127 -13118 -13109 -13064 -13055 -12911 -12902 -12893 -12884 -12839 -12830 -12821 -12812 -12803 -12794 -12776 -12767 -12758 -12749 -12731 -12722 -12704 -12695 -12686 -12677 -12659 -12650 -12641 -12632 -12614 -12605 -12569 -12560 -12524 -12515 -12506 -12497 -12479 -12470 -12452 -12443 -12407 -12398 -12371 -12362 -12344 -12335 -12317 -12308 -12101 -12092 -12074 -12065 -12047 -12038 -12726 -12717 -13125 13131 -13599 -13590 -13581 -13563 -13365 -13356 -13347 -13329 -13275 -13266 -13257 -13239 -13230 -13221 -13212 -13194 -13185 -13167 -13158 -13149 -13140 -13122 -13113 -13104 -13095 -13077 -13068 -13059 -12960 -12942 -12933 -12924 -12888 -12879 -12825 -12807 -12798 -12789 -12753 -12744 -12681 -12672 -12636 -12627 -12600 -12582 -12573 -12564 -12501 -12492 -12366 -12357 -12096 -12087 13134 -13566 -13557 -13332 -13323 -13260 -13251 -13242 -13233 -13215 -13206 -13197 -13188 -13170 -13161 -13152 -13143 -13116 -13107 -13098 -13080 -13071 -13062 -13053 -12945 -12936 -12882 -12873 -12810 -12801 -12792 -12783 -12747 -12738 -12720 -12711 -12675 -12666 -12630 -12621 -12585 -12576 -12495 -12486 -12360 -12351 -12090 -12081 12816 12499 12488 -12780 -12735 -12690 -12645 -12598 -12553 -12463 -12418 -12596 -12551 -12461 -12416 12594 -12837 -12828 -12702 -12693 -12567 -12558 -12540 -12531 -12522 -12513 -12477 -12468 -12450 -12441 -12432 -12423 -12405 -12396 -12387 -12378 -12315 -12306 -12045 -12036 12570 12559 -12601 13153 -13549 -13540 -13531 -13513 -13315 -13306 -13297 -13279 -13144 -13045 -13036 -13027 -13009 -13000 -12991 -12982 -12964 -12955 -12919 -12910 -12892 -12883 -12874 -12829 -12775 -12757 -12748 -12739 -12514 -13156 -12885 12886 -13525 -13516 -13291 -13282 -13147 -13048 -13021 -13012 -13003 -12976 -12967 -12958 -12931 -12922 -12868 -12859 -12850 -12544 -12535 -12875 12876 -13524 -13515 -13290 -13281 -13155 -13146 -13110 -13047 -13020 -13011 -13002 -12975 -12966 -12957 -12930 -12921 -12912 -12903 -12894 -12822 -12795 -12777 -12768 -12759 -12750 -12705 -12687 -12678 -12660 -12651 -12642 -12633 -12615 -12606 -12480 -12372 -12363 -12345 -12336 -12102 -12093 -12075 -12066 13145 12751 -13568 -13559 -13550 -13541 -13532 -13523 -13334 -13325 -13316 -13307 -13298 -13289 -13271 -13244 -13235 -13226 -13199 -13190 -13181 -13172 -13163 -13154 -13091 -13082 -13073 -13046 -13037 -13028 -13019 -13001 -12992 -12983 -12974 -12956 -12947 -12938 -12929 -12866 -12857 -12740 -12587 -12578 -12542 12954 12741 -13521 -13512 -13287 -13278 -13035 -13026 -13017 -13008 -12990 -12981 -12972 -12963 -12927 -12918 -12900 -12891 -12855 -12846 -12765 -12756 12928 12920 -14002 -13293 -13510 -12848 -12395 -13111 13108 -13099 -12901 -12820 -12784 -12766 -12694 -12685 -12667 -12658 -12649 -12640 -12622 -12613 -12604 -12469 -12370 -12352 -12343 -12334 -12100 -12082 -12073 -12064 12819 -12657 -12648 -12612 -12603 -12250 -12241 12655 -12772 -12727 -12682 -12646 -12637 -12457 -12448 -12439 -12421 -12367 -12331 -12322 -12313 -12304 -12286 -12277 -12259 -12232 -12214 -12205 -12196 -12187 -12169 -12115 -12007 -11989 -11980 -11971 -11872 -11854 -11845 -11836 -11674 -11386 -12276 12121 11392 -12436 -12427 -12328 -12301 -12292 -12283 -12274 -12265 -12238 -12229 -12220 -12004 -11995 -11869 -11860 -12701 -12861 -12707 -12833 -12852 -12700 12708 -13086 -12870 -12834 -12699 -12591 -12555 -12546 -12537 -12519 -12510 -12474 -12465 -12447 -12438 -12429 -12420 -12402 -12393 -12384 -12330 -12312 -12303 -12294 -12060 -12042 -12033 -12024 12464 13084 12589 -12107 -12842 -12698 -12581 -12545 -12536 -12527 -12518 -12482 -12473 -12455 -12446 -12410 -12401 -12320 -12311 -12050 -12041 -13597 -13588 -13579 -13561 -13363 -13354 -13345 -13327 -13273 -13264 -13255 -13237 -13228 -13219 -13210 -13192 -13183 -13165 -13093 -13075 -12940 -12796 -12580 12114 13269 13224 13179 13089 12793 -12663 -12654 -12375 -12348 -12339 -12285 -12267 -12240 -12231 -12222 -12006 -11997 -11871 -11862 -13971 -13962 -13926 -13917 -13827 -13818 -13791 -13782 -13755 -13746 -13692 -13683 -13656 -13647 -13629 -13620 -13584 -13575 -13539 -13530 -13440 -13431 -13395 -13386 -13881 -13872 -13737 -13728 -13611 -13602 -13476 -13467 -13422 -13413 -13377 -13368 -13350 -13341 -13305 -13296 12647 -12773 -12728 -12683 -12656 -12638 -12458 -12449 -12440 -12431 -12368 -12341 -12323 -12314 -12305 -12296 -12278 -12269 -12251 -12242 -12233 -12224 -12206 -12197 -12188 -12179 -12008 -11999 -11981 -11972 -11873 -11864 -11846 -11837 -11684 -11378 12442 12307 11385 -12271 -12262 -12226 -12217 -12181 -12172 -12136 -12127 -12001 -11992 -11866 -11857 -11686 -11677 -11407 -11398 -12280 -12235 -12190 -12145 12135 -12684 -12459 -12369 -12333 -12324 -12288 -12279 -12261 -12252 -12243 -12234 -12216 -12207 -12198 -12162 -12144 -12126 -12009 -11991 -11982 -11973 -11874 -11856 -11847 -11838 -11667 -11397 12689 12374 12332 12166 11671 -12806 -12770 -12761 -12192 12194 12128 -12668 -12434 -12353 -12326 -12299 -12281 -12272 -12254 -12245 -12236 -12227 -12209 -12200 -12155 -12146 -12137 -12011 -12002 -11984 -11975 -11876 -11867 -11849 -11840 -11660 -11408 12669 12430 12354 12329 12159 11664 -12273 -12264 -12228 -12219 -12183 -12174 -12138 -12129 -12003 -11994 -11868 -11859 -11688 -11679 -11409 -11400 -12835 -12826 -12691 -12547 -12520 -12511 -12502 -12475 -12466 -12412 -12403 -12394 -12043 -12034 -12282 -12237 -12147 12178 12170 11683 11675 11406 11399 12827 12692 12512 12467 12397 12284 12239 12149 -13520 -13511 -13286 -13277 -13070 -13043 -13016 -13007 -12998 -12971 -12962 -12908 -12899 -12890 -12863 -12854 -12845 -12836 -12764 -12755 -12575 -12548 -12539 -12530 -12521 -12503 -12476 -12422 -12413 -12404 -12386 -12377 -12287 -12053 -12044 -12026 -12017 -12253 -12244 -11983 -11974 -11956 -11947 -11911 -11902 -11821 -11812 -11641 -11632 12574 12538 12483 12425 12290 -13546 -13537 -13528 -13312 -13303 -13294 -13276 -13159 -13042 -13033 -13024 -13006 -12997 -12988 -12979 -12961 -12934 -12907 -12889 -12862 -12844 -12754 -12529 12851 12762 12533 -13553 -13544 -13535 -13526 -13319 -13310 -13301 -13292 -13166 -13049 -13040 -13031 -13022 -13004 -12995 -12986 -12977 -12941 -12914 -12905 -12869 -12860 -12779 -12554 12853 -13554 -13545 -13536 -13527 -13320 -13311 -13302 -13176 -13050 -13041 -13032 -13023 -13005 -12996 -12987 -12978 -12951 -12915 -12906 -12843 -12771 -12528 13160 13044 12999 12935 12909 12898 12864 12774 12549 13174 12949 12840 12763 12525 12321 12318 11900 -12611 -12260 -12098 -12071 -12035 -11990 -11963 -11954 -11936 -11927 -11918 -11909 -11828 -11819 -11801 -11792 -11639 12263 12037 11993 -12389 -12380 -12029 -12020 -11957 -11948 -11822 -11813 -12010 -11965 -11920 -12056 -11966 -12268 12270 -12072 -12063 -12027 -12018 -11955 -11946 -11820 -11811 12456 -12609 12602 -12610 12618 -12411 -12249 -12105 -12069 -12051 -12015 -11979 -11970 -11952 -11943 -11934 -11889 -11835 -11817 -11808 -11799 -11619 12408 12048 11885 11615 -12255 -12246 -11985 -11976 -11958 -11949 -11913 -11904 -11823 -11814 -11643 -11634 -12012 -11967 -11922 12247 11977 11908 11638 -12634 -12391 -12256 -12094 -12058 -12031 -12013 -11986 -11968 -11959 -11941 -11932 -11896 -11833 -11824 -11806 -11797 -11626 -12376 -12097 -12061 -12052 -12016 -11998 -11962 -11944 -11935 -11926 -11917 -11899 -11827 -11809 -11800 -11791 -11629 12631 12385 12258 12091 12025 12014 11988 11892 11622 12382 12062 12022 12000 11924 11630 -12099 -12054 -11964 12104 12059 11969 -12453 13076 13069 -13751 -13748 -13753 -13288 13285 -13879 -13870 -13735 -13726 -13609 -13600 -13501 -13474 -13465 -13456 -13420 -13411 -13402 -13375 -13366 13454 -14012 -14003 -13994 -13976 -13967 -13931 -13922 -13886 -13877 -13868 -13859 -13850 -13832 -13823 -13814 -13796 -13787 -13778 -13760 -13742 -13733 -13697 -13688 -13679 -13661 -13652 -13634 -13625 -13616 -13607 -13508 -13481 -13472 -13463 -13445 -13436 -13427 -13418 -13409 -13400 -13391 -13382 -13373 13730 -13982 -13973 -13964 -13928 -13919 -13910 -13901 -13892 -13883 -13865 -13838 -13829 -13820 -13811 -13802 -13793 -13784 -13775 -13766 -13757 -13739 -13694 -13685 -13667 -13658 -13649 -13640 -13631 -13622 -13613 -13586 -13577 -13505 -13496 -13487 -13478 -13460 -13451 -13442 -13433 -13424 -13406 -13397 -13388 -13379 -13361 -13352 -13280 -13262 -13253 -13217 -12965 -13731 13756 -14008 -13999 -13990 -13981 -13963 -13954 -13945 -13936 -13918 -13882 -13873 -13864 -13855 -13846 -13837 -13819 -13810 -13801 -13783 -13774 -13765 -13747 -13738 -13729 -13720 -13711 -13702 -13684 -13675 -13666 -13648 -13639 -13621 -13612 -13603 -13594 -13576 -13522 -13477 -13468 -13459 -13450 -13432 -13423 -13414 -13405 -13387 -13378 -13369 -13351 -13342 -13252 -13216 -13207 -13018 13578 13519 13353 13254 13218 13015 -14010 -14001 -13992 -13983 -13974 -13956 -13947 -13938 -13929 -13866 -13857 -13848 -13839 -13830 -13812 -13803 -13794 -13776 -13767 -13758 -13740 -13722 -13713 -13704 -13695 -13677 -13668 -13659 -13641 -13632 -13614 -13605 -13596 -13587 -13551 -13542 -13461 -13452 -13443 -13425 -13416 -13407 -13398 -13380 -13371 -13263 -13038 -13969 -13960 -13924 -13915 -13825 -13816 -13789 -13780 -13744 -13717 -13690 -13681 -13672 -13654 -13645 -13636 -13627 -13618 -13438 -13429 -13393 -13384 -13911 -13902 -13893 -13875 -13749 -13623 -13506 -13497 -13488 -13470 -13434 -13389 -13362 -13344 -13317 -13299 -13209 -12984 13585 13261 13343 13208 13538 -14006 -13997 -13988 -13979 -13961 -13952 -13943 -13934 -13916 -13862 -13853 -13844 -13835 -13817 -13808 -13799 -13781 -13772 -13763 -13745 -13736 -13727 -13718 -13709 -13700 -13682 -13673 -13664 -13646 -13637 -13619 -13610 -13601 -13556 -13547 -13529 -13457 -13448 -13430 -13421 -13412 -13403 -13385 -13376 -13367 -13232 -13025 -13734 -13750 13752 -14013 -14004 -13995 -13986 -13977 -13959 -13950 -13941 -13932 -13887 -13878 -13869 -13860 -13851 -13842 -13833 -13815 -13806 -13797 -13779 -13770 -13761 -13743 -13725 -13716 -13707 -13698 -13680 -13671 -13662 -13644 -13635 -13617 -13608 -13572 -13518 -13482 -13473 -13464 -13455 -13446 -13428 -13419 -13410 -13401 -13383 -13374 -13248 -13014 13741 13615 13570 13426 13381 13246 -13984 -13975 -13966 -13930 -13921 -13912 -13903 -13894 -13876 -13867 -13840 -13831 -13822 -13813 -13804 -13795 -13786 -13777 -13768 -13759 -13732 -13696 -13687 -13669 -13660 -13651 -13642 -13633 -13624 -13606 -13543 -13534 -13507 -13498 -13489 -13471 -13462 -13453 -13444 -13435 -13417 -13408 -13399 -13390 -13372 -13336 -13318 -13300 -13201 -13039 -13030 -12985 -13723 -13678 -13552 13626 13604 13533 13458 13437 13415 13404 13392 13370 13338 13295 -13304 13203 13034 13029 12980 13548 -13721 -13676 -13595 -13980 -13836 -13800 -13764 -13665 -13494 -13485 -13449 -13509 -13907 -13898 -13889 -13880 -13754 -13628 -13502 -13493 -13484 -13475 -13439 -13394 -13322 -13313 -13187 -12989 -13710 -13701 13674 13593 13630 13441 13396 13314 -13504 -13360 13503 13359 -13998 -13989 -13944 -13935 -13899 -13890 -13854 -13845 13562 -13724 -13643 13719 13638 13447 -14005 -13996 -13987 -13861 -13852 -13843 -13807 -13771 14000 13863 13809 13773 -14009 -13991 -13955 -13937 -13874 -13847 -13703 -13469 13993 13871 13849 13466 -14011 -13957 -13948 -13885 -13858 -13714 -13480 14007 13884 13856 13479 13555 -13517 13514 2385 2378 -12509 12504 13101 13100 6087 6031 -6090 6038 -5740 5742 5356 5363 -1334 -1340 1333 -1531 -1423 -1378 -1342 -1324 -1306 -1297 -1279 -1270 -1261 -1252 -1234 -1225 -1216 -1108 -1090 -1081 -1072 -1054 -1045 -1009 -1000 -973 -955 -946 -937 -919 -910 -748 -730 -721 -712 -694 -685 1533 1425 1380 1313 1079 -1344 -1299 -1254 -1727 -1493 -1349 -1331 -1304 -1295 -1286 -1259 -1250 -1241 -1205 -1160 -1115 -1106 -1097 -1088 -1070 -1061 -1043 -1034 -1025 -1016 -998 -989 -971 -962 -935 -926 -908 -899 -746 -737 -710 -701 -683 -674 1487 1325 1199 1154 1091 1089 -1766 -1541 -1433 -1388 -1343 -1298 -1289 -1271 -1262 -1253 -1244 -1226 -1217 -1109 -1100 -974 -965 -947 -938 -749 -740 -722 -713 -1064 -1019 1772 1547 1439 1394 1348 1303 1258 1099 -952 -943 -907 -898 -880 -871 -835 -826 -790 -781 -655 -646 -520 -511 -331 -322 -862 -853 -727 -718 -682 -673 -637 -628 -610 -601 -565 -556 -475 -466 -286 -277 -1063 -1018 -1705 1710 -762 -846 -843 -842 -845 -838 -839 -429 -421 -766 -767 -774 -773 -770 -771 -764 -757 -765 -761 -758 -831 -822 -841 -1272 -1038 -1263 -1029 1278 -1269 -1062 -981 -945 -927 -891 -873 -864 -855 -828 -819 -810 -801 -783 -666 -648 -639 -630 -531 -513 -504 -495 -342 -324 -315 -306 1057 922 -877 -868 -832 -823 -787 -778 -652 -643 -517 -508 -328 -319 -886 -796 763 -979 -934 -889 -844 -799 -772 -574 -547 -439 -430 -412 -340 -313 -295 -268 -250 -241 -232 -223 -205 -196 -178 -169 -124 -115 -52 -43 840 -427 -417 -426 -418 -948 -939 -903 -894 -876 -867 -858 -849 -813 -804 -786 -777 -768 -759 -651 -642 -588 -579 -516 -507 -498 -489 -453 -444 -381 -372 -354 -345 -327 -318 -237 -228 -138 -129 -66 -57 769 -760 -571 -562 -553 -535 -436 -400 -337 -301 -292 -283 -274 -256 -247 -238 -229 -211 -202 -184 -175 -157 -121 -103 -49 -31 975 -1268 1266 -1275 -1041 -978 -951 -933 -906 -888 -879 -861 -852 -834 -816 -807 -798 -789 -663 -654 -636 -627 -528 -519 -501 -492 -339 -330 -312 -303 -1277 860 -1247 -1004 -887 -878 -869 -851 -833 -824 -797 -788 -779 -743 -689 -662 -653 -644 -626 -617 -599 -590 -581 -572 -554 -545 -536 -518 -509 -482 -464 -455 -446 -329 -320 -293 -275 -266 -257 1243 1007 739 692 -991 -982 -856 -847 -676 -667 -631 -622 -604 -595 -559 -550 -469 -460 -280 -271 -1232 -1223 -863 -854 -728 -719 -638 -629 -611 -602 -566 -557 -476 -467 -287 -278 -703 -658 -613 -568 -755 -665 -620 -575 -859 -850 848 -1235 -1037 -1028 -992 -929 -902 -893 -884 -875 -866 -857 -830 -821 -794 -785 -776 -731 -704 -677 -659 -650 -641 -632 -614 -605 -587 -578 -569 -560 -542 -533 -515 -506 -479 -470 -452 -443 -326 -317 -290 -281 -263 -254 1237 1036 901 733 -634 -625 -607 -598 -472 -463 -1288 -1027 -964 -928 -892 -883 -865 -820 -811 -802 -793 -775 -640 -523 -505 -496 -487 -334 -316 -307 -298 -661 -616 1292 1032 968 930 897 -890 872 885 -1052 -980 -953 -917 -881 -836 -818 -809 -800 -791 -656 -530 -521 -503 -494 -341 -332 -314 -305 -1227 -1218 -993 -984 -723 -714 -678 -669 -633 -624 -606 -597 -561 -552 -471 -462 -282 -273 1049 954 914 795 996 681 635 623 -543 -534 -408 -399 -309 -300 -264 -255 -219 -210 -192 -183 -165 -156 -111 -102 -39 -30 -1221 -987 -870 -753 -717 -708 -672 -645 -618 -600 -591 -582 -573 -555 -546 -537 -483 -465 -456 -447 -294 -276 -267 -258 1224 983 720 668 647 -1233 -1017 -882 -756 -729 -702 -657 -621 -612 -594 -585 -576 -567 -549 -540 -486 -477 -459 -450 -297 -288 -270 -261 1230 1012 874 726 697 649 570 -563 564 -411 -402 -222 -213 -195 -186 -168 -159 -114 -105 -42 -33 1280 -1189 1191 -1110 -1065 -1020 1114 1069 1024 -538 -539 532 -784 -541 -433 -424 -415 -406 -325 -289 -262 -244 -235 -226 -217 -199 -190 -172 -163 -118 -109 -46 -37 792 333 -414 -405 -225 -216 -198 -189 -171 -162 -117 -108 -45 -36 -252 -207 -180 -431 -425 432 -837 -603 -522 -468 -441 -423 -396 -378 -369 -351 -234 -153 -135 -81 -63 829 596 514 461 -586 -577 -451 -442 -379 -370 -352 -343 -136 -127 -64 -55 -812 -803 -497 -488 -416 -380 -371 -353 -344 -236 -227 -137 -128 -65 -56 -478 -388 -361 -524 -434 -389 -362 -428 -548 544 -1477 1479 -398 -407 -419 -593 -422 420 -825 -609 -510 -474 -438 -393 -384 -366 -357 -249 -240 -150 -141 -78 -69 827 608 512 473 -584 -458 -449 -386 -377 -359 -350 -242 -233 -143 -134 -71 -62 -815 -806 -500 -491 -383 -374 -356 -347 -239 -230 -140 -131 -68 -59 -485 -440 -395 -368 -527 -437 -392 -365 243 231 435 -204 -177 -592 589 -805 -580 -526 -490 -481 -445 -409 -391 -373 -364 -346 -220 -148 -130 -76 -58 808 583 493 448 -817 -619 -529 -502 -484 -457 -403 -394 -385 -367 -358 -214 -151 -142 -79 -70 -754 -709 -664 814 615 525 499 480 454 390 363 750 705 660 -404 397 -401 5138 5166 -5160 1282 -410 413 -782 -323 -296 -260 -251 -215 -206 -188 -179 -161 -125 -107 -53 -35 780 321 291 -558 551 -308 -299 -218 -209 -191 -182 -164 -155 -110 -101 -38 -29 5278 -5134 -5279 -5275 -6536 6535 6960 -6959 -6366 6370 -4386 4385 -4303 4310 -4682 4686 -4332 4336 -5086 5093 -338 -44 -336 335 -272 279 208 -212 -3814 3809 -13284 13283 -13321 13328 -13900 -13905 -13897 13904 -13985 -13958 -13940 -13913 -13895 -13841 -13706 -13490 13978 13834 -13951 -13942 -13933 -13906 -13888 -13708 -13699 -13492 -13483 13953 13939 13705 -13965 13968 -13914 -13896 -13500 -13491 13499 13891 13486 -13972 -13927 -13909 -13828 -13693 -13495 13970 13925 13908 13826 13691 -13920 13923 4833 -13769 13762 4941 -4935 -4827 4788 -4782 -4358 4362 -13670 13663 -13650 13653 -41 40 -22 -1129 1134 -8748 8741 -8975 -8966 -8867 -8840 -8831 -8822 -8813 -8804 -8588 -8579 -8982 -8973 8749 -8821 -8812 -8803 -8587 -8578 -8967 8971 -8980 -8872 -8845 -8800 -8755 -8575 -8161 8976 8799 8574 8155 -8868 -8832 -8823 -8805 -8778 -8760 -8580 -8166 -8781 -8772 -8763 -8178 -8169 8810 8585 -8999 -8864 -8828 -8819 -8783 -8774 -8594 -8180 8997 8862 8825 8814 8589 -1780 1779 -11341 11347 -12211 -12202 -11851 -11842 11716 -11878 -11710 -8664 8665 -2671 2672 5035 -12993 12994 -8563 8568 -8847 -8838 8841 8836 -11362 -11724 -67 72 -54 -27 -74 360 -11769 17 8 -8154 8147 12414 -13824 13821 -32 -1144 1146 -13946 13949 -13309 13308 -253 259 -11585 -94 9957 -11598 -11802 -944 942 -12213 -75 -10188 10185 -3843 3841 -173 154 -10521 10518 -144 139 -85 -1888 1887 12968 -12215 12218 -11939 -11930 -11804 -11795 -11732 -11723 -11363 -11354 -9071 9069 -8770 8769 -11853 -12084 12083 -11742 -13788 13785 -158 -12734 12729 11574 -12204 -11844 -12208 12210 -12201 -11931 -11877 -11841 -11832 -11796 -11787 -11589 -11355 12199 11839 -11938 -11875 -11848 -11830 -11803 -11785 -11776 -11740 -11731 -11596 11850 11805 11722 11361 -12225 -11928 -11865 -11829 -11793 -11757 -11739 -11721 -11577 -11352 12223 11929 11863 11794 11761 11581 11353 -11773 -11764 -11593 -11584 -11782 11594 11587 -11945 -11855 -11810 -11783 -11765 -11702 -11333 11950 11858 11815 11789 11767 11709 11340 -11831 -11741 -11880 11834 11744 11879 11364 4070 -269 265 -51 -7454 7460 -13790 13792 -24 -10549 -8167 8171 -12799 12800 -8761 8765 -12297 12295 -10553 10556 -96 -61 60 -83 -4801 4805 -181 -48 958 -12624 12623 -2878 2879 -88 -5212 5219 -10645 10643 -10598 10601 -2357 2356 4954 -147 304 -187 185 -311 -284 -248 -221 -203 -194 -176 -167 -122 -113 -50 310 285 224 174 47 -97 -1843 1842 13231 -10175 10178 -8176 8175 -3256 3257 -12078 12070 -8779 8780 -21 -382 387 -6707 6711 3856 -11021 11023 12679 -9244 9252 -7146 7142 7 -91 11 -34 28 -73 -19 -12676 5910 8983 -3565 3567 7327 -355 -1574 1568 -10674 -1797 1798 -7045 7044 -8698 8703 15 -5383 5391 -12786 12785 -201 200 -13193 13186 5 -12969 -375 376 10558 -10657 10664 -120 -7311 7310 7215 -5721 5718 -13655 13657 -7401 7400 -4071 -5167 5171 -9958 -3988 3991 7731 -98 -7308 7300 -12896 12897 -20 -4482 4480 -5189 1784 -8851 8848 2331 -11750 11754 -3584 3589 -1734 1735 -7028 7021 -4962 4968 -11940 11937 -89 -145 -13712 13715 -302 -13238 -5125 5126 99 -348 349 -8986 -7730 -2815 2816 95 -104 -197 193 9242 -11818 11826 8199 -170 166 -12419 10778 -7013 7016 -7720 7719 2 -8192 6893 -149 -80 77 -12973 12970 -956 -13805 13798 -11774 11778 -3166 3163 90 -5442 5443 14 -133 132 -123 -87 -9237 -7335 -10143 10140 -5185 5188 4 18 12340 12 13010 -12644 12639 12364 -246 245 -4571 4564 -7265 1 10607 7161 -5184 5178 -8874 8870 -3853 -84 -119 126 -6347 6346 -12342 -11570 -13689 13686 -93 -6650 6651 -10564 -106 100 -82 -1188 1183 86 -12361 -160 -146 152 -116 112 -11730 11733 3 -2324 2902 -5233 5234 -2645 2644 10 16 6909 13 -6910 -7211 -23 5480 9 -10774 -5911 -10603 -5473 -13013 -5032 10369 -25 26 -2907 -92 6 -7162 -1790 -8788 8793 -4951 -10375 -11953 11961 -6886  0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3291740-1303791523/watcher-3291740-1303791523 -o /tmp/evaluation-result-3291740-1303791523/solver-3291740-1303791523 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3291740-1303791523.cnf 

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 8/202 635
/proc/meminfo: memFree=17638836/32951124 swapFree=67111528/67111528
[pid=635] ppid=633 vsize=21252 CPUtime=0 cores=0,2
/proc/635/stat : 635 (mono) R 633 635 555 0 -1 4202496 480 0 0 0 0 0 0 0 25 0 1 0 569382897 21762048 409 33554432000 4194304 7232020 140737400390960 18446744073709551615 260015427826 0 0 4096 545260780 0 0 0 17 0 0 0 0
/proc/635/statm: 5313 409 355 742 0 179 0
[pid=635/tid=636] ppid=633 vsize=102604 CPUtime=0 cores=0,2
/proc/635/task/636/stat : 636 (mono) S 633 635 555 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 8 0 569382897 105066496 817 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=637] ppid=633 vsize=102604 CPUtime=0 cores=0,2
/proc/635/task/637/stat : 637 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 569382897 105066496 819 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=638] ppid=633 vsize=102604 CPUtime=0 cores=0,2
/proc/635/task/638/stat : 638 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 569382897 105066496 822 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=639] ppid=633 vsize=102604 CPUtime=0 cores=0,2
/proc/635/task/639/stat : 639 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 569382897 105066496 822 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=640] ppid=633 vsize=102604 CPUtime=0 cores=0,2
/proc/635/task/640/stat : 640 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 569382897 105066496 822 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=641] ppid=633 vsize=102604 CPUtime=0 cores=0,2
/proc/635/task/641/stat : 641 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 569382897 105066496 824 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=642] ppid=633 vsize=102604 CPUtime=0 cores=0,2
/proc/635/task/642/stat : 642 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 569382897 105066496 825 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0

[startup+0.102838 s]
/proc/loadavg: 0.00 0.00 0.00 8/202 635
/proc/meminfo: memFree=17638836/32951124 swapFree=67111528/67111528
[pid=635] ppid=633 vsize=115596 CPUtime=0.09 cores=0,2
/proc/635/stat : 635 (mono) R 633 635 555 0 -1 4202496 3522 0 0 0 9 0 0 0 25 0 9 0 569382897 118370304 3422 33554432000 4194304 7232020 140737400390960 18446744073709551615 6229913 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/635/statm: 28899 3422 975 742 0 21470 0
[pid=635/tid=636] ppid=633 vsize=115596 CPUtime=0 cores=0,2
/proc/635/task/636/stat : 636 (mono) S 633 635 555 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 569382897 118370304 3422 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=637] ppid=633 vsize=115596 CPUtime=0 cores=0,2
/proc/635/task/637/stat : 637 (mono) R 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 569382897 118370304 3422 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 0 0 0 -1 0 0 0 0
[pid=635/tid=638] ppid=633 vsize=115596 CPUtime=0 cores=0,2
/proc/635/task/638/stat : 638 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 569382897 118370304 3422 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=639] ppid=633 vsize=115596 CPUtime=0 cores=0,2
/proc/635/task/639/stat : 639 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 569382897 118370304 3422 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=640] ppid=633 vsize=115596 CPUtime=0 cores=0,2
/proc/635/task/640/stat : 640 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 569382897 118370304 3422 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=641] ppid=633 vsize=115596 CPUtime=0 cores=0,2
/proc/635/task/641/stat : 641 (mono) R 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 569382897 118370304 3422 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 0 0 0 -1 0 0 0 0
[pid=635/tid=642] ppid=633 vsize=115596 CPUtime=0 cores=0,2
/proc/635/task/642/stat : 642 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 569382897 118370304 3422 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 115596

[startup+0.200774 s]
/proc/loadavg: 0.00 0.00 0.00 8/202 635
/proc/meminfo: memFree=17638836/32951124 swapFree=67111528/67111528
[pid=635] ppid=633 vsize=118924 CPUtime=0.19 cores=0,2
/proc/635/stat : 635 (mono) R 633 635 555 0 -1 4202496 4314 0 0 0 19 0 0 0 25 0 9 0 569382897 121778176 4214 33554432000 4194304 7232020 140737400390960 18446744073709551615 6135060 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/635/statm: 29731 4214 975 742 0 22302 0
[pid=635/tid=636] ppid=633 vsize=118924 CPUtime=0 cores=0,2
/proc/635/task/636/stat : 636 (mono) S 633 635 555 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 569382897 121778176 4214 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=637] ppid=633 vsize=118924 CPUtime=0 cores=0,2
/proc/635/task/637/stat : 637 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 569382897 121778176 4214 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=638] ppid=633 vsize=118924 CPUtime=0 cores=0,2
/proc/635/task/638/stat : 638 (mono) R 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 569382897 121778176 4214 33554432000 4194304 7232020 140737400390960 18446744073709551615 6168994 0 0 4096 545260780 0 0 0 -1 0 0 0 0
[pid=635/tid=639] ppid=633 vsize=118924 CPUtime=0 cores=0,2
/proc/635/task/639/stat : 639 (mono) R 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 569382897 121778176 4214 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 0 0 0 -1 2 0 0 0
[pid=635/tid=640] ppid=633 vsize=118924 CPUtime=0 cores=0,2
/proc/635/task/640/stat : 640 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 569382897 121778176 4214 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=641] ppid=633 vsize=118924 CPUtime=0 cores=0,2
/proc/635/task/641/stat : 641 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 569382897 121778176 4214 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=642] ppid=633 vsize=118924 CPUtime=0 cores=0,2
/proc/635/task/642/stat : 642 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 569382897 121778176 4214 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 118924

[startup+0.302766 s]
/proc/loadavg: 0.00 0.00 0.00 8/202 635
/proc/meminfo: memFree=17638836/32951124 swapFree=67111528/67111528
[pid=635] ppid=633 vsize=123404 CPUtime=0.3 cores=0,2
/proc/635/stat : 635 (mono) R 633 635 555 0 -1 4202496 5037 0 0 0 30 0 0 0 18 0 9 0 569382897 126365696 4937 33554432000 4194304 7232020 140737400390960 18446744073709551615 1101845440 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/635/statm: 30851 4937 975 742 0 23422 0
[pid=635/tid=636] ppid=633 vsize=123404 CPUtime=0 cores=0,2
/proc/635/task/636/stat : 636 (mono) S 633 635 555 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 569382897 126365696 4937 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=637] ppid=633 vsize=123404 CPUtime=0 cores=0,2
/proc/635/task/637/stat : 637 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 569382897 126365696 4937 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=638] ppid=633 vsize=123404 CPUtime=0 cores=0,2
/proc/635/task/638/stat : 638 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 569382897 126365696 4937 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=639] ppid=633 vsize=123404 CPUtime=0 cores=0,2
/proc/635/task/639/stat : 639 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 569382897 126365696 4937 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=640] ppid=633 vsize=123404 CPUtime=0 cores=0,2
/proc/635/task/640/stat : 640 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 569382897 126365696 4937 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=641] ppid=633 vsize=123404 CPUtime=0 cores=0,2
/proc/635/task/641/stat : 641 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 569382897 126365696 4937 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=642] ppid=633 vsize=123404 CPUtime=0 cores=0,2
/proc/635/task/642/stat : 642 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 569382897 126365696 4937 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 123404

[startup+0.70068 s]
/proc/loadavg: 0.00 0.00 0.00 8/202 635
/proc/meminfo: memFree=17638836/32951124 swapFree=67111528/67111528
[pid=635] ppid=633 vsize=137260 CPUtime=0.77 cores=0,2
/proc/635/stat : 635 (mono) R 633 635 555 0 -1 4202496 8111 0 0 0 76 1 0 0 18 0 9 0 569382897 140554240 8011 33554432000 4194304 7232020 140737400390960 18446744073709551615 1101845471 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/635/statm: 34315 8011 975 742 0 26886 0
[pid=635/tid=636] ppid=633 vsize=137260 CPUtime=0.02 cores=0,2
/proc/635/task/636/stat : 636 (mono) S 633 635 555 0 -1 4202560 4 0 0 0 2 0 0 0 16 0 9 0 569382897 140554240 8011 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=637] ppid=633 vsize=137260 CPUtime=0.02 cores=0,2
/proc/635/task/637/stat : 637 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 569382897 140554240 8011 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=638] ppid=633 vsize=137260 CPUtime=0.02 cores=0,2
/proc/635/task/638/stat : 638 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 569382897 140554240 8011 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=639] ppid=633 vsize=137260 CPUtime=0.02 cores=0,2
/proc/635/task/639/stat : 639 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 569382897 140554240 8011 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=640] ppid=633 vsize=137260 CPUtime=0.01 cores=0,2
/proc/635/task/640/stat : 640 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 569382897 140554240 8011 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=641] ppid=633 vsize=137260 CPUtime=0.01 cores=0,2
/proc/635/task/641/stat : 641 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 569382897 140554240 8011 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=642] ppid=633 vsize=137260 CPUtime=0.01 cores=0,2
/proc/635/task/642/stat : 642 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 569382897 140554240 8011 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 137260

[startup+1.50052 s]
/proc/loadavg: 0.00 0.00 0.00 5/222 658
/proc/meminfo: memFree=17513276/32951124 swapFree=67111528/67111528
[pid=635] ppid=633 vsize=301460 CPUtime=1.67 cores=0,2
/proc/635/stat : 635 (mono) R 633 635 555 0 -1 4202496 48020 0 0 0 162 5 0 0 18 0 9 0 569382897 308695040 47920 33554432000 4194304 7232020 140737400390960 18446744073709551615 1101879152 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/635/statm: 75365 47920 998 742 0 67936 0
[pid=635/tid=636] ppid=633 vsize=301460 CPUtime=0.04 cores=0,2
/proc/635/task/636/stat : 636 (mono) S 633 635 555 0 -1 4202560 4 0 0 0 4 0 0 0 15 0 9 0 569382897 308695040 47920 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=637] ppid=633 vsize=301460 CPUtime=0.04 cores=0,2
/proc/635/task/637/stat : 637 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 569382897 308695040 47920 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=638] ppid=633 vsize=301460 CPUtime=0.04 cores=0,2
/proc/635/task/638/stat : 638 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 569382897 308695040 47920 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=639] ppid=633 vsize=301460 CPUtime=0.04 cores=0,2
/proc/635/task/639/stat : 639 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 569382897 308695040 47920 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=640] ppid=633 vsize=301460 CPUtime=0.04 cores=0,2
/proc/635/task/640/stat : 640 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 569382897 308695040 47920 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=641] ppid=633 vsize=301460 CPUtime=0.05 cores=0,2
/proc/635/task/641/stat : 641 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 569382897 308695040 47920 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=642] ppid=633 vsize=301460 CPUtime=0.05 cores=0,2
/proc/635/task/642/stat : 642 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 569382897 308695040 47920 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=644] ppid=633 vsize=301460 CPUtime=0 cores=0,2
/proc/635/task/644/stat : 644 (mono) S 633 635 555 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569382898 308695040 47920 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032219569 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 301460

[startup+3.10122 s]
/proc/loadavg: 0.00 0.00 0.00 5/222 658
/proc/meminfo: memFree=17312152/32951124 swapFree=67111528/67111528
[pid=635] ppid=633 vsize=351756 CPUtime=3.27 cores=0,2
/proc/635/stat : 635 (mono) R 633 635 555 0 -1 4202496 61128 0 0 0 320 7 0 0 20 0 9 0 569382897 360198144 61028 33554432000 4194304 7232020 140737400390960 18446744073709551615 1101882728 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/635/statm: 87939 61028 999 742 0 80510 0
[pid=635/tid=636] ppid=633 vsize=351756 CPUtime=0.04 cores=0,2
/proc/635/task/636/stat : 636 (mono) S 633 635 555 0 -1 4202560 4 0 0 0 4 0 0 0 15 0 9 0 569382897 360198144 61028 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=637] ppid=633 vsize=351756 CPUtime=0.04 cores=0,2
/proc/635/task/637/stat : 637 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 569382897 360198144 61028 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=638] ppid=633 vsize=351756 CPUtime=0.04 cores=0,2
/proc/635/task/638/stat : 638 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 569382897 360198144 61028 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=639] ppid=633 vsize=351756 CPUtime=0.04 cores=0,2
/proc/635/task/639/stat : 639 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 569382897 360198144 61028 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=640] ppid=633 vsize=351756 CPUtime=0.04 cores=0,2
/proc/635/task/640/stat : 640 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 569382897 360198144 61028 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=641] ppid=633 vsize=351756 CPUtime=0.05 cores=0,2
/proc/635/task/641/stat : 641 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 569382897 360198144 61028 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=642] ppid=633 vsize=351756 CPUtime=0.05 cores=0,2
/proc/635/task/642/stat : 642 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 569382897 360198144 61028 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=644] ppid=633 vsize=351756 CPUtime=0 cores=0,2
/proc/635/task/644/stat : 644 (mono) S 633 635 555 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569382898 360198144 61028 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032219569 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 351756

[startup+6.30066 s]
/proc/loadavg: 0.32 0.07 0.02 5/222 658
/proc/meminfo: memFree=17012444/32951124 swapFree=67111528/67111528
[pid=635] ppid=633 vsize=427468 CPUtime=6.49 cores=0,2
/proc/635/stat : 635 (mono) R 633 635 555 0 -1 4202496 81275 0 0 0 639 10 0 0 25 0 9 0 569382897 437727232 81175 33554432000 4194304 7232020 140737400390960 18446744073709551615 1101882430 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/635/statm: 106867 81175 999 742 0 99438 0
[pid=635/tid=636] ppid=633 vsize=427468 CPUtime=0.04 cores=0,2
/proc/635/task/636/stat : 636 (mono) S 633 635 555 0 -1 4202560 4 0 0 0 4 0 0 0 16 0 9 0 569382897 437727232 81175 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=637] ppid=633 vsize=427468 CPUtime=0.04 cores=0,2
/proc/635/task/637/stat : 637 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 569382897 437727232 81175 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=638] ppid=633 vsize=427468 CPUtime=0.06 cores=0,2
/proc/635/task/638/stat : 638 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 569382897 437727232 81178 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=639] ppid=633 vsize=427468 CPUtime=0.04 cores=0,2
/proc/635/task/639/stat : 639 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 569382897 437727232 81178 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=640] ppid=633 vsize=427468 CPUtime=0.04 cores=0,2
/proc/635/task/640/stat : 640 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 569382897 437727232 81178 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0

################
# More data... #
################

/proc/635/task/641/stat : 641 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 12 0 0 0 16 0 9 0 569382897 454881280 85549 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=642] ppid=633 vsize=444220 CPUtime=0.09 cores=0,2
/proc/635/task/642/stat : 642 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 9 0 0 0 16 0 9 0 569382897 454881280 85549 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=644] ppid=633 vsize=444220 CPUtime=0 cores=0,2
/proc/635/task/644/stat : 644 (mono) S 633 635 555 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569382898 454881280 85549 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032219569 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.81
Current children cumulated vsize (KiB) 444220

[startup+51.1005 s]
/proc/loadavg: 2.34 0.63 0.21 5/222 659
/proc/meminfo: memFree=16866340/32951124 swapFree=67111528/67111528
[pid=635] ppid=633 vsize=444604 CPUtime=51.5 cores=0,2
/proc/635/stat : 635 (mono) R 633 635 555 0 -1 4202496 85740 0 0 0 5139 11 0 0 25 0 9 0 569382897 455274496 85639 33554432000 4194304 7232020 140737400390960 18446744073709551615 1077817480 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/635/statm: 111151 85639 1024 742 0 103722 0
[pid=635/tid=636] ppid=633 vsize=444604 CPUtime=0.07 cores=0,2
/proc/635/task/636/stat : 636 (mono) S 633 635 555 0 -1 4202560 4 0 0 0 7 0 0 0 16 0 9 0 569382897 455274496 85639 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=637] ppid=633 vsize=444604 CPUtime=0.09 cores=0,2
/proc/635/task/637/stat : 637 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 9 0 0 0 16 0 9 0 569382897 455274496 85639 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=638] ppid=633 vsize=444604 CPUtime=0.09 cores=0,2
/proc/635/task/638/stat : 638 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 569382897 455274496 85639 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=639] ppid=633 vsize=444604 CPUtime=0.15 cores=0,2
/proc/635/task/639/stat : 639 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 15 0 0 0 15 0 9 0 569382897 455274496 85639 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=640] ppid=633 vsize=444604 CPUtime=0.1 cores=0,2
/proc/635/task/640/stat : 640 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 569382897 455274496 85639 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=641] ppid=633 vsize=444604 CPUtime=0.17 cores=0,2
/proc/635/task/641/stat : 641 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 17 0 0 0 16 0 9 0 569382897 455274496 85639 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=642] ppid=633 vsize=444604 CPUtime=0.11 cores=0,2
/proc/635/task/642/stat : 642 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 569382897 455274496 85639 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=644] ppid=633 vsize=444604 CPUtime=0 cores=0,2
/proc/635/task/644/stat : 644 (mono) S 633 635 555 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569382898 455274496 85639 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032219569 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.5
Current children cumulated vsize (KiB) 444604

Solver just ended. Dumping a history of the last processes samples

[startup+51.2015 s]
/proc/loadavg: 2.34 0.63 0.21 5/222 659
/proc/meminfo: memFree=16866340/32951124 swapFree=67111528/67111528
[pid=635] ppid=633 vsize=444604 CPUtime=51.61 cores=0,2
/proc/635/stat : 635 (mono) R 633 635 555 0 -1 4202496 85740 0 0 0 5150 11 0 0 25 0 9 0 569382897 455274496 85639 33554432000 4194304 7232020 140737400390960 18446744073709551615 1077817047 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/635/statm: 111151 85639 1024 742 0 103722 0
[pid=635/tid=636] ppid=633 vsize=444604 CPUtime=0.07 cores=0,2
/proc/635/task/636/stat : 636 (mono) S 633 635 555 0 -1 4202560 4 0 0 0 7 0 0 0 16 0 9 0 569382897 455274496 85639 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=637] ppid=633 vsize=444604 CPUtime=0.09 cores=0,2
/proc/635/task/637/stat : 637 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 9 0 0 0 16 0 9 0 569382897 455274496 85639 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=638] ppid=633 vsize=444604 CPUtime=0.09 cores=0,2
/proc/635/task/638/stat : 638 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 569382897 455274496 85639 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=639] ppid=633 vsize=444604 CPUtime=0.15 cores=0,2
/proc/635/task/639/stat : 639 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 15 0 0 0 15 0 9 0 569382897 455274496 85639 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=640] ppid=633 vsize=444604 CPUtime=0.1 cores=0,2
/proc/635/task/640/stat : 640 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 569382897 455274496 85639 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=641] ppid=633 vsize=444604 CPUtime=0.17 cores=0,2
/proc/635/task/641/stat : 641 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 17 0 0 0 16 0 9 0 569382897 455274496 85639 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=642] ppid=633 vsize=444604 CPUtime=0.11 cores=0,2
/proc/635/task/642/stat : 642 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 569382897 455274496 85639 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=644] ppid=633 vsize=444604 CPUtime=0 cores=0,2
/proc/635/task/644/stat : 644 (mono) S 633 635 555 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569382898 455274496 85639 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032219569 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.61
Current children cumulated vsize (KiB) 444604

[startup+57.6013 s]
/proc/loadavg: 2.47 0.69 0.23 5/222 659
/proc/meminfo: memFree=16875268/32951124 swapFree=67111528/67111528
[pid=635] ppid=633 vsize=444796 CPUtime=58.03 cores=0,2
/proc/635/stat : 635 (mono) R 633 635 555 0 -1 4202496 85783 0 0 0 5792 11 0 0 25 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 1077839802 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/635/statm: 111199 85682 1024 742 0 103770 0
[pid=635/tid=636] ppid=633 vsize=444796 CPUtime=0.08 cores=0,2
/proc/635/task/636/stat : 636 (mono) S 633 635 555 0 -1 4202560 4 0 0 0 8 0 0 0 16 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=637] ppid=633 vsize=444796 CPUtime=0.1 cores=0,2
/proc/635/task/637/stat : 637 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=638] ppid=633 vsize=444796 CPUtime=0.09 cores=0,2
/proc/635/task/638/stat : 638 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=639] ppid=633 vsize=444796 CPUtime=0.16 cores=0,2
/proc/635/task/639/stat : 639 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 16 0 0 0 16 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=640] ppid=633 vsize=444796 CPUtime=0.1 cores=0,2
/proc/635/task/640/stat : 640 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=641] ppid=633 vsize=444796 CPUtime=0.17 cores=0,2
/proc/635/task/641/stat : 641 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=642] ppid=633 vsize=444796 CPUtime=0.13 cores=0,2
/proc/635/task/642/stat : 642 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=644] ppid=633 vsize=444796 CPUtime=0 cores=0,2
/proc/635/task/644/stat : 644 (mono) S 633 635 555 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569382898 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032219569 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 58.03
Current children cumulated vsize (KiB) 444796

[startup+60.8007 s]
/proc/loadavg: 2.60 0.74 0.25 5/222 659
/proc/meminfo: memFree=16887288/32951124 swapFree=67111528/67111528
[pid=635] ppid=633 vsize=444796 CPUtime=61.23 cores=0,2
/proc/635/stat : 635 (mono) R 633 635 555 0 -1 4202496 85783 0 0 0 6112 11 0 0 25 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 1077820754 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/635/statm: 111199 85682 1024 742 0 103770 0
[pid=635/tid=636] ppid=633 vsize=444796 CPUtime=0.08 cores=0,2
/proc/635/task/636/stat : 636 (mono) S 633 635 555 0 -1 4202560 4 0 0 0 8 0 0 0 16 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=637] ppid=633 vsize=444796 CPUtime=0.1 cores=0,2
/proc/635/task/637/stat : 637 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=638] ppid=633 vsize=444796 CPUtime=0.09 cores=0,2
/proc/635/task/638/stat : 638 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=639] ppid=633 vsize=444796 CPUtime=0.16 cores=0,2
/proc/635/task/639/stat : 639 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 16 0 0 0 16 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=640] ppid=633 vsize=444796 CPUtime=0.1 cores=0,2
/proc/635/task/640/stat : 640 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=641] ppid=633 vsize=444796 CPUtime=0.17 cores=0,2
/proc/635/task/641/stat : 641 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=642] ppid=633 vsize=444796 CPUtime=0.13 cores=0,2
/proc/635/task/642/stat : 642 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=644] ppid=633 vsize=444796 CPUtime=0 cores=0,2
/proc/635/task/644/stat : 644 (mono) S 633 635 555 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569382898 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032219569 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 61.23
Current children cumulated vsize (KiB) 444796

[startup+62.4004 s]
/proc/loadavg: 2.60 0.74 0.25 5/222 659
/proc/meminfo: memFree=16887288/32951124 swapFree=67111528/67111528
[pid=635] ppid=633 vsize=444796 CPUtime=62.83 cores=0,2
/proc/635/stat : 635 (mono) R 633 635 555 0 -1 4202496 85783 0 0 0 6272 11 0 0 25 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 1077820319 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/635/statm: 111199 85682 1024 742 0 103770 0
[pid=635/tid=636] ppid=633 vsize=444796 CPUtime=0.08 cores=0,2
/proc/635/task/636/stat : 636 (mono) S 633 635 555 0 -1 4202560 4 0 0 0 8 0 0 0 16 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=637] ppid=633 vsize=444796 CPUtime=0.1 cores=0,2
/proc/635/task/637/stat : 637 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=638] ppid=633 vsize=444796 CPUtime=0.09 cores=0,2
/proc/635/task/638/stat : 638 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=639] ppid=633 vsize=444796 CPUtime=0.16 cores=0,2
/proc/635/task/639/stat : 639 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 16 0 0 0 16 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=640] ppid=633 vsize=444796 CPUtime=0.1 cores=0,2
/proc/635/task/640/stat : 640 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=641] ppid=633 vsize=444796 CPUtime=0.17 cores=0,2
/proc/635/task/641/stat : 641 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=642] ppid=633 vsize=444796 CPUtime=0.13 cores=0,2
/proc/635/task/642/stat : 642 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=644] ppid=633 vsize=444796 CPUtime=0 cores=0,2
/proc/635/task/644/stat : 644 (mono) S 633 635 555 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569382898 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032219569 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 62.83
Current children cumulated vsize (KiB) 444796

[startup+63.2013 s]
/proc/loadavg: 2.71 0.80 0.27 5/222 659
/proc/meminfo: memFree=16886544/32951124 swapFree=67111528/67111528
[pid=635] ppid=633 vsize=444796 CPUtime=63.63 cores=0,2
/proc/635/stat : 635 (mono) R 633 635 555 0 -1 4202496 85783 0 0 0 6352 11 0 0 25 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 1077821419 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/635/statm: 111199 85682 1024 742 0 103770 0
[pid=635/tid=636] ppid=633 vsize=444796 CPUtime=0.08 cores=0,2
/proc/635/task/636/stat : 636 (mono) S 633 635 555 0 -1 4202560 4 0 0 0 8 0 0 0 16 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=637] ppid=633 vsize=444796 CPUtime=0.1 cores=0,2
/proc/635/task/637/stat : 637 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=638] ppid=633 vsize=444796 CPUtime=0.09 cores=0,2
/proc/635/task/638/stat : 638 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=639] ppid=633 vsize=444796 CPUtime=0.16 cores=0,2
/proc/635/task/639/stat : 639 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 16 0 0 0 16 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=640] ppid=633 vsize=444796 CPUtime=0.1 cores=0,2
/proc/635/task/640/stat : 640 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=641] ppid=633 vsize=444796 CPUtime=0.17 cores=0,2
/proc/635/task/641/stat : 641 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 2 0 0 0
[pid=635/tid=642] ppid=633 vsize=444796 CPUtime=0.13 cores=0,2
/proc/635/task/642/stat : 642 (mono) S 633 635 555 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 569382897 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
[pid=635/tid=644] ppid=633 vsize=444796 CPUtime=0 cores=0,2
/proc/635/task/644/stat : 644 (mono) S 633 635 555 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569382898 455471104 85682 33554432000 4194304 7232020 140737400390960 18446744073709551615 260032219569 0 0 4096 545260780 18446604453907801344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 63.63
Current children cumulated vsize (KiB) 444796

[startup+63.605 s]
/proc/loadavg: 2.71 0.80 0.27 5/222 659
/proc/meminfo: memFree=16886544/32951124 swapFree=67111528/67111528
[pid=635] ppid=633 vsize=0 CPUtime=64.04 cores=0,2
/proc/635/stat : 635 (mono) Z 633 635 555 0 -1 4202524 85912 0 0 0 6391 13 0 0 18 0 2 0 569382897 0 0 33554432000 0 0 0 0 0 0 0 4096 545259520 18446744073709551615 0 0 17 0 0 0 0
/proc/635/statm: 0 0 0 0 0 0 0
[pid=635/tid=641] ppid=633 vsize=0 CPUtime=0.18 cores=0,2
/proc/635/task/641/stat : 641 (mono) S 633 635 555 0 -1 4203588 2 0 0 0 17 1 0 0 15 0 2 0 569382897 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 545259520 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 64.04
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 63.6053
CPU time (s): 64.0473
CPU user time (s): 63.9143
CPU system time (s): 0.132979
CPU usage (%): 100.695
Max. virtual memory (cumulated for all children) (KiB): 444796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.9143
system time used= 0.132979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85912
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= 2379
involuntary context switches= 633

runsolver used 0.109983 second user time and 0.240963 second system time

The end

Launcher Data 

Begin job on node110 at 2011-04-26 06:18:43
IDJOB=3291740
IDBENCH=84802
IDSOLVER=1608
FILE ID=node110/3291740-1303791523
RUNJOBID= node110-1303791523-573
PBS_JOBID= 13157271
Free space on /tmp= 72952 MiB

SOLVER NAME= Sol 2011-04-04
BENCH NAME= SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-tr.used-as.sat04-321.cnf
COMMAND LINE= mono Main.exe BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291740-1303791523/watcher-3291740-1303791523 -o /tmp/evaluation-result-3291740-1303791523/solver-3291740-1303791523 -C 2400 -W 1300 -M 7680  mono Main.exe HOME/instance-3291740-1303791523.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 6c3ea795f258ba82c81e44969c0c5fb4
RANDOM SEED=919370009

node110.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.830
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.66
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.830
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.83
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.830
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.75
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.830
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.83
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.830
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.76
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.830
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.83
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.830
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.74
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.830
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	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17639116 kB
Buffers:       2324776 kB
Cached:       12331300 kB
SwapCached:          0 kB
Active:        7518856 kB
Inactive:      7221608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17639116 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           16308 kB
Writeback:           0 kB
AnonPages:       83876 kB
Mapped:          17424 kB
Slab:           505044 kB
PageTables:       6188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   399240 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72940 MiB
End job on node110 at 2011-04-26 06:19:47