Trace number 3291188

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 84.4232 82.656

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F20.cnf
MD5SUM82462bfc10e506c60d6bdf35a0143bf9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.7966
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses481346
Sum of the clauses size3851671
Maximum clause length78
Minimum clause length1
Number of clauses of size 121
Number of clauses of size 227486
Number of clauses of size 322736
Number of clauses of size 418300
Number of clauses of size 542820
Number of clauses of size over 5369983

Solver Data 

84.36/82.61	s SATISFIABLE
84.36/82.62	v 6 24 57 72 86 100 101 103 112 218 229 235 266 280 305 316 326 337 339 340 342 -196 -214 -247 -262 -276 -290 -291 -293 -302 -28 -39 -45 -76 -90 -115 -126 -136 -147 -149 -150 -152 -5100 -5099 -5098 -5097 -5096 -5095 -5094 -5093 -5092 -5091 -5090 -5089 -5088 -5087 -5086 -5085 -5084 -5083 -5082 -5081 200 -5460 -5459 -5458 -5457 -5456 -5455 -5454 -5453 -5452 -5451 -5450 -5449 -5448 -5447 -5446 -5445 -5444 -5443 -5442 -5441 -6120 -6119 -6118 -6117 -6116 -6115 -6114 -6113 -6112 -6111 -6110 -6109 -6108 -6107 -6106 -6105 -6104 -6103 -6102 -6101 251 -6420 -6419 -6418 -6417 -6416 -6415 -6414 -6413 -6412 -6411 -6410 -6409 -6408 -6407 -6406 -6405 -6404 -6403 -6402 -6401 264 -6700 -6699 -6698 -6697 -6696 -6695 -6694 -6693 -6692 -6691 -6690 -6689 -6688 -6687 -6686 -6685 -6684 -6683 -6682 -6681 -6980 -6979 -6978 -6977 -6976 -6975 -6974 -6973 -6972 -6971 -6970 -6969 -6968 -6967 -6966 -6965 -6964 -6963 -6962 -6961 -7000 -6999 -6998 -6997 -6996 -6995 -6994 -6993 -6992 -6991 -6990 -6989 -6988 -6987 -6986 -6985 -6984 -6983 -6982 -6981 -7040 -7039 -7038 -7037 -7036 -7035 -7034 -7033 -7032 -7031 -7030 -7029 -7028 -7027 -7026 -7025 -7024 -7023 -7022 -7021 -7220 -7219 -7218 -7217 -7216 -7215 -7214 -7213 -7212 -7211 -7210 -7209 -7208 -7207 -7206 -7205 -7204 -7203 -7202 -7201 344 -1740 -1739 -1738 -1737 -1736 -1735 -1734 -1733 -1732 -1731 -1730 -1729 -1728 -1727 -1726 -1725 -1724 -1723 -1722 -1721 23 -1960 -1959 -1958 -1957 -1956 -1955 -1954 -1953 -1952 -1951 -1950 -1949 -1948 -1947 -1946 -1945 -1944 -1943 -1942 -1941 -2080 -2079 -2078 -2077 -2076 -2075 -2074 -2073 -2072 -2071 -2070 -2069 -2068 -2067 -2066 -2065 -2064 -2063 -2062 -2061 -2700 -2699 -2698 -2697 -2696 -2695 -2694 -2693 -2692 -2691 -2690 -2689 -2688 -2687 -2686 -2685 -2684 -2683 -2682 -2681 -2980 -2979 -2978 -2977 -2976 -2975 -2974 -2973 -2972 -2971 -2970 -2969 -2968 -2967 -2966 -2965 -2964 -2963 -2962 -2961 -3480 -3479 -3478 -3477 -3476 -3475 -3474 -3473 -3472 -3471 -3470 -3469 -3468 -3467 -3466 -3465 -3464 -3463 -3462 -3461 -3700 -3699 -3698 -3697 -3696 -3695 -3694 -3693 -3692 -3691 -3690 -3689 -3688 -3687 -3686 -3685 -3684 -3683 -3682 -3681 -3900 -3899 -3898 -3897 -3896 -3895 -3894 -3893 -3892 -3891 -3890 -3889 -3888 -3887 -3886 -3885 -3884 -3883 -3882 -3881 -4120 -4119 -4118 -4117 -4116 -4115 -4114 -4113 -4112 -4111 -4110 -4109 -4108 -4107 -4106 -4105 -4104 -4103 -4102 -4101 -4160 -4159 -4158 -4157 -4156 -4155 -4154 -4153 -4152 -4151 -4150 -4149 -4148 -4147 -4146 -4145 -4144 -4143 -4142 -4141 -4180 -4179 -4178 -4177 -4176 -4175 -4174 -4173 -4172 -4171 -4170 -4169 -4168 -4167 -4166 -4165 -4164 -4163 -4162 -4161 -4220 -4219 -4218 -4217 -4216 -4215 -4214 -4213 -4212 -4211 -4210 -4209 -4208 -4207 -4206 -4205 -4204 -4203 -4202 -4201 -10 -61 -74 -154 -213 -1380 -1379 -1378 -1377 -1376 -1375 -1374 -1373 -1372 -1371 -1370 -1369 -1368 -1367 -1366 -1365 -1364 -1363 -1362 -1361 -2400 -2399 -2398 -2397 -2396 -2395 -2394 -2393 -2392 -2391 -2390 -2389 -2388 -2387 -2386 -2385 -2384 -2383 -2382 -2381 -2660 -2659 -2658 -2657 -2656 -2655 -2654 -2653 -2652 -2651 -2650 -2649 -2648 -2647 -2646 -2645 -2644 -2643 -2642 -2641 -4260 -4259 -4258 -4257 -4256 -4255 -4254 -4253 -4252 -4251 -4250 -4249 -4248 -4247 -4246 -4245 -4244 -4243 -4242 -4241 -5440 -5439 -5438 -5437 -5436 -5435 -5434 -5433 -5432 -5431 -5430 -5429 -5428 -5427 -5426 -5425 -5424 -5423 -5422 -5421 -7101 -7121 -7161 -5061 -10182 -2141 -2821 -2761 -4721 -3761 -721 -9921 -9121 -4941 -4921 -4861 -4801 -4621 -4501 -4361 -4021 -3821 -3601 -3361 -3101 -2521 -2201 -1861 -1501 -2161 -1241 -9701 -4681 -7162 -7181 -10061 -7103 -7141 -902 -10102 -9302 -7182 -7142 -7122 -7102 -7082 -7062 -7042 -7002 -5782 -903 -10103 -9303 -7183 -7163 -7143 -7123 -7083 -7063 -7043 -7003 -5783 -905 -10105 -9305 -7185 -7165 -7145 -7125 -7105 -7085 -7065 -7045 -7005 -5785 1043 -10403 -10242 -9444 -9445 -9449 -10402 -10401 -904 -10104 -9304 -7184 -7164 -7144 -7124 -7104 -7084 -7064 -7044 -7004 -5784 906 -10406 -9307 -1166 -986 -946 -926 -886 -866 -846 -806 -786 -901 9306 -10405 -10366 -9566 -8766 -8746 -8706 -8646 -8566 -8466 -8346 -8206 -8046 -7866 -7666 -7446 -6946 -6666 -6366 -6046 -5706 -5346 -10186 -9386 -8026 -8006 -7986 -7966 -7946 -7926 -7906 -7886 -7686 -7486 -7266 -6766 -6486 -6186 -5866 -5526 -5166 -10146 -9346 -7646 -7626 -7606 -7586 -7566 -7546 -7526 -7506 -7466 -7226 -6726 -6446 -6146 -5826 -5486 -5126 -10126 -9326 -7426 -7406 -7386 -7366 -7346 -7326 -7306 -7286 -7246 -6706 -6426 -6126 -5806 -5466 -5106 -10086 -9286 -6926 -6906 -6886 -6866 -6846 -6826 -6806 -6786 -6746 -6386 -6086 -5766 -5066 -10066 -9266 -6646 -6626 -6606 -6586 -6566 -6546 -6526 -6506 -6466 -6066 -5746 -5406 -5046 -10046 -9246 -6346 -6326 -6306 -6286 -6266 -6246 -6226 -6206 -6166 -5726 -5386 -5026 -10006 -9206 -5686 -5666 -5646 -5626 -5606 -5586 -5566 -5546 -5506 -5366 -4986 -9986 -9186 -5326 -5306 -5286 -5266 -5246 -5226 -5206 -5186 -5146 -5006 -10101 -9301 -7081 -7061 -7041 -7001 -5781 -10404 -9308 -784 -9984 -9184 -5344 -5324 -5304 -5284 -5264 -5244 -5224 -5204 -5184 -5164 -5144 -5124 -5104 -5064 -5044 -5024 -5004 -4984 -943 -10143 -9343 -7663 -7643 -7623 -7603 -7583 -7563 -7543 -7523 -7503 -7483 -7463 -7223 -6723 -6443 -6143 -5823 -5483 -5123 -885 -10085 -9285 -6945 -6925 -6905 -6885 -6865 -6845 -6825 -6805 -6785 -6765 -6745 -6725 -6705 -6385 -6085 -5765 -5065 -1124 -10324 -9524 -8744 -8724 -8664 -8604 -8524 -8424 -8304 -8164 -8004 -7824 -7624 -7404 -6904 -6624 -6324 -6004 -5664 864 -10063 -9265 -10062 -880 -9277 -874 -867 -10080 -9280 -6680 -6660 -6640 -6620 -6600 -6580 -6560 -6540 -6520 -6500 -6480 -6460 -6440 -6400 -6080 -5760 -5420 -5060 -10074 -9274 -6674 -6654 -6634 -6614 -6594 -6574 -6554 -6534 -6514 -6494 -6474 -6454 -6434 -6394 -6074 -5754 -5414 -5054 -10067 -9267 -6667 -6647 -6627 -6607 -6587 -6567 -6547 -6527 -6507 -6487 -6467 -6447 -6427 -6387 -6067 -5747 -5407 -5047 -871 -10071 -9271 -6671 -6651 -6631 -6611 -6591 -6571 -6551 -6531 -6511 -6491 -6471 -6451 -6431 -6391 -6071 -5751 -5411 -5051 -873 -10073 -9273 -6673 -6653 -6633 -6613 -6593 -6573 -6553 -6533 -6513 -6493 -6473 -6453 -6433 -6393 -6073 -5753 -5413 -5053 -1122 -10322 -9522 -8742 -8722 -8662 -8602 -8522 -8422 -8302 -8162 -8002 -7822 -7622 -7402 -6902 -6622 -6322 -6002 -5662 -5302 -942 -10142 -9342 -7662 -7642 -7602 -7582 -7562 -7542 -7522 -7502 -7482 -7462 -7222 -6722 -6442 -6142 -5822 -5482 -5122 -801 -10001 -9201 -5701 -5681 -5661 -5641 -5621 -5601 -5581 -5561 -5541 -5521 -5501 -5481 -5461 -5401 -5381 -5361 -4981 -781 -5141 -6441 -941 -10141 -5021 -9981 -9181 -5341 -5321 -5301 -5281 -5261 -5241 -5221 -5201 -5181 -5161 -5121 -5101 -5041 -5001 -9341 -7661 -7641 -7621 -7601 -7581 -7561 -7541 -7521 -7501 -7481 -7461 -7221 -6721 -6141 -5821 -10181 823 -10022 -9224 -9226 -9225 -9227 5923 238 -48 -2140 -2139 -2138 -2137 -2136 -2135 -2134 -2133 -2132 -2131 -2130 -2129 -2128 -2127 -2126 -2125 -2124 -2123 -2122 -2121 -802 -10002 -9202 -5702 -5682 -5642 -5622 -5602 -5582 -5562 -5542 -5522 -5502 -5462 -5402 -5382 -5362 -4982 -782 -9982 -9182 -5342 -5322 -5282 -5262 -5242 -5222 -5202 -5182 -5162 -5142 -5102 -5062 -5042 -5022 -5002 944 -9345 -948 -947 -959 -949 -958 -954 -960 -956 -950 -952 -955 -957 9344 -6764 6444 -10148 -9348 -7668 -7648 -7628 -7608 -7588 -7568 -7548 -7528 -7508 -7488 -7468 -7228 -6728 -6448 -6148 -5828 -5488 -5128 -10147 -9347 -7667 -7647 -7627 -7607 -7587 -7567 -7547 -7527 -7507 -7487 -7467 -7227 -6727 -6147 -5827 -5487 -5127 -10159 -9359 -7679 -7659 -7639 -7619 -7599 -7579 -7559 -7539 -7519 -7499 -7479 -7239 -6739 -6459 -6159 -5839 -5499 -5139 -10149 -9349 -7669 -7649 -7629 -7609 -7589 -7569 -7549 -7529 -7509 -7489 -7469 -7229 -6729 -6449 -6149 -5829 -5489 -5129 -10158 -9358 -7678 -7658 -7638 -7618 -7598 -7578 -7558 -7538 -7518 -7498 -7478 -7238 -6738 -6458 -6158 -5838 -5498 -5138 -10154 -9354 -7674 -7654 -7634 -7614 -7594 -7574 -7554 -7534 -7514 -7494 -7474 -7234 -6734 -6154 -5834 -5494 -5134 -10160 -9360 -7680 -7660 -7640 -7620 -7600 -7580 -7560 -7540 -7520 -7500 -7480 -7240 -6740 -6160 -5840 -5500 -5140 -10156 -9356 -7676 -7656 -7636 -7616 -7596 -7576 -7556 -7536 -7516 -7496 -7476 -7236 -6736 -6456 -6156 -5836 -5496 -5136 -10150 -9350 -7670 -7650 -7630 -7610 -7590 -7570 -7550 -7530 -7510 -7490 -7470 -7230 -6730 -6450 -6150 -5830 -5490 -5130 -10152 -9352 -7672 -7652 -7632 -7612 -7592 -7572 -7552 -7532 -7512 -7492 -7472 -7232 -6732 -6452 -6152 -5832 -5492 -5132 -10155 -9355 -7675 -7655 -7635 -7615 -7595 -7575 -7555 -7535 -7515 -7495 -7475 -7235 -6735 -6455 -6155 -5835 -5495 -5135 -10157 -9357 -7677 -7657 -7637 -7617 -7597 -7577 -7557 -7537 -7517 -7497 -7477 -7237 -6737 -6457 -6157 -5837 -5497 -5137 -278 824 -6733 -6731 -6724 216 -10023 -884 5744 5824 -26 -10084 -9284 -6944 -6924 -6884 -6864 -6844 -6824 -6804 -6784 -6744 -6704 -6384 -6084 -5764 233 -1700 -1699 -1698 -1697 -1696 -1695 -1694 -1693 -1692 -1691 -1690 -1689 -1688 -1687 -1686 -1685 -1684 -1683 -1682 -1681 -43 -2040 -2039 -2038 -2037 -2036 -2035 -2034 -2033 -2032 -2031 -2030 -2029 -2028 -2027 -2026 -2025 -2024 -2023 -2022 -2021 945 -10144 -953 -951 10145 -10153 -9353 -7673 -7653 -7633 -7613 -7593 -7573 -7553 -7533 -7513 -7493 -7473 -7233 -6153 -5833 -5493 -5133 -10151 -9351 -7671 -7651 -7631 -7611 -7591 -7571 -7551 -7531 -7511 -7491 -7471 -7231 -6151 -5831 -5491 -5131 985 -10184 -1000 -994 -988 -996 7485 10185 -989 -992 -991 -990 -987 -997 -993 -999 -998 -995 -10200 -9400 -8060 -8040 -8020 -8000 -7980 -7960 -7940 -7920 -7900 -7700 -7280 -6780 -6200 -5880 -5540 -5180 -10194 -9394 -8054 -8034 -8014 -7994 -7974 -7954 -7934 -7914 -7894 -7694 -7274 -6774 -6194 -5874 -5534 -5174 -10188 -9388 -8048 -8028 -8008 -7988 -7968 -7948 -7928 -7908 -7888 -7688 -7268 -6768 -6488 -6188 -5868 -5528 -5168 -10196 -9396 -8056 -8036 -8016 -7996 -7976 -7956 -7936 -7916 -7896 -7696 -7276 -6776 -6496 -6196 -5876 -5536 -5176 -10189 -9389 -8049 -8029 -8009 -7989 -7969 -7949 -7929 -7909 -7889 -7689 -7269 -6769 -6489 -6189 -5869 -5529 -5169 -10192 -9392 -8052 -8032 -8012 -7992 -7972 -7952 -7932 -7912 -7892 -7692 -7272 -6772 -6492 -6192 -5872 -5532 -5172 -10191 -9391 -8051 -8031 -8011 -7991 -7971 -7951 -7931 -7911 -7891 -7691 -7271 -6771 -6191 -5871 -5531 -5171 -10190 -9390 -8050 -8030 -8010 -7990 -7970 -7950 -7930 -7910 -7890 -7690 -7270 -6770 -6490 -6190 -5870 -5530 -5170 -10187 -9387 -8047 -8027 -8007 -7987 -7967 -7947 -7927 -7907 -7887 -7687 -7267 -6767 -6187 -5867 -5527 -5167 -10197 -9397 -8057 -8037 -8017 -7997 -7977 -7957 -7937 -7917 -7897 -7697 -7277 -6777 -6497 -6197 -5877 -5537 -5177 -10193 -9393 -8053 -8033 -8013 -7993 -7973 -7953 -7933 -7913 -7893 -7693 -7273 -6773 -6193 -5873 -5533 -5173 -10199 -9399 -8059 -8039 -8019 -7999 -7979 -7959 -7939 -7919 -7899 -7699 -7279 -6779 -6499 -6199 -5879 -5539 -5179 -10198 -9398 -8058 -8038 -8018 -7998 -7978 -7958 -7938 -7918 -7898 -7698 -7278 -6778 -6498 -6198 -5878 -5538 -5178 -10195 -9395 -8055 -8035 -8015 -7995 -7975 -7955 -7935 -7915 -7895 -7695 -7275 -6775 -6495 -6195 -5875 -5535 -5175 -783 -9983 -9183 -5343 -5323 -5303 -5283 -5263 -5243 -5223 -5203 -5183 -5163 -5143 -5103 -5063 -5043 -5023 -5003 -4983 5165 785 -790 9185 5125 -195 -792 -787 9985 -798 -799 -797 -800 -794 -796 -789 -788 -791 -793 -795 -9990 -9190 -5350 -5330 -5310 -5290 -5270 -5250 -5230 -5210 -5190 -5150 -5110 -5070 -5050 -5030 -5010 -4990 198 -5080 -5079 -5078 -5077 -5076 -5075 -5074 -5073 -5072 -5071 -5069 -5068 -5067 -9992 -9192 -5352 -5332 -5312 -5292 -5272 -5252 -5232 -5212 -5192 -5152 -5112 -5052 -5032 -5012 -4992 -9987 -9187 -5347 -5327 -5307 -5287 -5267 -5247 -5227 -5207 -5187 -5147 -5107 -5027 -5007 -4987 -9998 -9198 -5358 -5338 -5318 -5298 -5278 -5258 -5238 -5218 -5198 -5158 -5118 -5058 -5038 -5018 -4998 -9999 -9199 -5359 -5339 -5319 -5299 -5279 -5259 -5239 -5219 -5199 -5159 -5119 -5059 -5039 -5019 -4999 -9997 -9197 -5357 -5337 -5317 -5297 -5277 -5257 -5237 -5217 -5197 -5157 -5117 -5057 -5037 -5017 -4997 -10000 -9200 -5360 -5340 -5320 -5300 -5280 -5260 -5240 -5220 -5200 -5160 -5120 -5040 -5020 -5000 -9994 -9194 -5354 -5334 -5314 -5294 -5274 -5254 -5234 -5214 -5194 -5154 -5114 -5034 -5014 -4994 -9996 -9196 -5356 -5336 -5316 -5296 -5276 -5256 -5236 -5216 -5196 -5156 -5116 -5056 -5036 -5016 -4996 -9989 -9189 -5349 -5329 -5309 -5289 -5269 -5249 -5229 -5209 -5189 -5149 -5109 -5049 -5029 -5009 -4989 -9988 -9188 -5348 -5328 -5308 -5288 -5268 -5248 -5228 -5208 -5188 -5148 -5108 -5048 -5028 -5008 -4988 -9991 -9191 -5351 -5331 -5311 -5291 -5271 -5251 -5231 -5211 -5191 -5151 -5111 -5031 -5011 -4991 -9993 -9193 -5353 -5333 -5313 -5293 -5273 -5253 -5233 -5213 -5193 -5153 -5113 -5033 -5013 -4993 -9995 -9195 -5355 -5335 -5315 -5295 -5275 -5255 -5235 -5215 -5195 -5155 -5115 -5055 -5035 -5015 -4995 -8 -1340 -1339 -1338 -1337 -1336 -1335 -1334 -1333 -1332 -1331 -1330 -1329 -1328 -1327 -1326 -1325 -1324 -1323 -1322 -1321 865 -10064 -875 -9270 -805 -879 -868 -878 10065 -870 -869 -872 -876 -877 -191 5045 -808 -925 6485 6445 -10075 -9275 -6675 -6655 -6635 -6615 -6595 -6575 -6555 -6535 -6515 -6475 -6435 -6395 -6075 -5755 -5415 -10005 -9205 -5705 -5685 -5665 -5645 -5625 -5605 -5585 -5565 -5545 -5525 -5505 -5485 -5465 -5405 -5385 -5365 -4985 -813 -816 -812 -817 -810 -818 -814 -819 -811 -815 -807 -809 -820 -10079 -9279 -6679 -6659 -6639 -6619 -6599 -6579 -6559 -6539 -6519 -6479 -6439 -6399 -6079 -5759 -5419 -10068 -9268 -6668 -6648 -6628 -6608 -6588 -6568 -6548 -6528 -6508 -6468 -6428 -6388 -6068 -5748 -5408 -10078 -9278 -6678 -6658 -6638 -6618 -6598 -6578 -6558 -6538 -6518 -6478 -6438 -6398 -6078 -5758 -5418 -10070 -6670 -6650 -6630 -6610 -6590 -6570 -6550 -6530 -6510 -6470 -6430 -6390 -6070 -5750 -5410 -10069 -9269 -6669 -6649 -6629 -6609 -6589 -6569 -6549 -6529 -6509 -6469 -6429 -6389 -6069 -5749 -5409 -10072 -9272 -6672 -6652 -6632 -6612 -6592 -6572 -6552 -6532 -6512 -6472 -6432 -6392 -6072 -5752 -5412 -10076 -9276 -6676 -6656 -6636 -6616 -6596 -6576 -6556 -6536 -6516 -6476 -6436 -6396 -6076 -5756 -5416 -10077 -6677 -6657 -6637 -6617 -6597 -6577 -6557 -6537 -6517 -6477 -6437 -6397 -6077 -5757 -5417 194 -10008 -9208 -5708 -5688 -5668 -5648 -5628 -5608 -5588 -5568 -5548 -5508 -5468 -5388 -5368 -10125 -9325 -7445 -7425 -7405 -7385 -7365 -7345 -7325 -7305 -7285 -7265 -7245 -7225 -6425 -6125 -5805 -5105 5484 -10013 -9213 -5713 -5693 -5673 -5653 -5633 -5613 -5593 -5573 -5553 -5513 -5473 -5393 -5373 -10016 -9216 -5716 -5696 -5676 -5656 -5636 -5616 -5596 -5576 -5556 -5516 -5476 -5396 -5376 -10012 -9212 -5712 -5692 -5672 -5652 -5632 -5612 -5592 -5572 -5552 -5512 -5472 -5392 -5372 -10017 -9217 -5717 -5697 -5677 -5657 -5637 -5617 -5597 -5577 -5557 -5517 -5477 -5397 -5377 -10010 -9210 -5710 -5690 -5670 -5650 -5630 -5610 -5590 -5570 -5550 -5510 -5470 -5390 -5370 -10018 -9218 -5718 -5698 -5678 -5658 -5638 -5618 -5598 -5578 -5558 -5518 -5478 -5398 -5378 -10014 -9214 -5714 -5694 -5674 -5654 -5634 -5614 -5594 -5574 -5554 -5514 -5474 -5394 -5374 -10019 -9219 -5719 -5699 -5679 -5659 -5639 -5619 -5599 -5579 -5559 -5519 -5479 -5399 -5379 -10011 -9211 -5711 -5691 -5671 -5651 -5631 -5611 -5591 -5571 -5551 -5511 -5471 -5391 -5371 -10015 -9215 -5715 -5695 -5675 -5655 -5635 -5615 -5595 -5575 -5555 -5515 -5475 -5395 -5375 -10007 -9207 -5707 -5687 -5667 -5647 -5627 -5607 -5587 -5567 -5547 -5507 -5467 -5387 -5367 -10009 -9209 -5709 -5689 -5669 -5649 -5629 -5609 -5589 -5569 -5549 -5509 -5469 -5389 -5369 -10020 -9220 -5720 -5700 -5680 -5660 -5640 -5620 -5600 -5580 -5560 -5520 -5480 -5400 -5380 -9237 -4 -197 804 -1260 -1259 -1258 -1257 -1256 -1255 -1254 -1253 -1252 -1251 -1250 -1249 -1248 -1247 -1246 -1245 -1244 -1243 -1242 -10003 -924 10004 5404 -1164 5364 -844 -10124 -9324 -7444 -7424 -7384 -7364 -7344 -7324 -7304 -7284 -7264 -7244 -7224 -6424 -6124 -5804 -5464 212 -10364 -9564 -8764 -8704 -8644 -8564 -8464 -8344 -8204 -8044 -7864 -7664 -6664 -6364 -6044 -5704 210 -10044 -9244 -6344 -6304 -6284 -6264 -6244 -6224 -6204 -6184 -6164 -6144 -6064 -5724 -5384 983 -303 -22 -20 -9384 7923 984 5863 277 -1620 -1619 -1618 -1617 -1616 -1615 -1614 -1613 -1612 -1611 -1610 -1609 -1608 -1607 -1606 -1605 -1604 -1603 -1602 -1601 1 -964 -1580 -1579 -1578 -1577 -1576 -1575 -1574 -1573 -1572 -1571 -1570 -1569 -1568 -1567 -1566 -1565 -1564 -1563 -1562 -1561 -1024 338 -10183 -9385 5864 6484 7484 -1004 -1064 5524 -1144 -1084 -1044 -1104 -87 -10164 -9364 -7844 -7804 -7784 -7764 -7744 -7724 -7704 -7684 -7464 -6464 -5844 -5504 -10224 -9424 -8324 -8284 -8264 -8244 -8224 -8064 -7904 -7524 -6524 -5904 -5564 -148 -10204 -9404 -8184 -8144 -8124 -8104 -8084 -7884 -7504 -6504 -5884 -5544 -10264 -9464 -8544 -8504 -8484 -8364 -7944 -7564 -6564 -5944 -5604 -10344 -9544 -8684 -8624 -8444 -8024 -7644 -6644 -6024 -5684 -10284 -9484 -8584 -8384 -7964 -7584 -6584 -5964 -5624 -10244 -8404 -7924 -7544 -6544 -5924 -5584 -1045 -1060 -1053 -1052 -1055 -1047 -1059 -1050 -1049 -1046 -1058 -1048 -1051 -1054 -1057 -1056 10243 -10304 -9504 -7984 -7604 -6604 -5984 -5644 -2920 -2919 -2918 -2917 -2916 -2915 -2914 -2913 -2912 -2911 -2910 -2909 -2908 -2907 -2906 -2905 -2904 -2903 -2902 -2901 -4140 -4139 -4138 -4137 -4136 -4135 -4134 -4133 -4132 -4131 -4130 -4129 -4128 -4127 -4126 -4125 -4124 -4123 -4122 -4121 -10245 -8465 -8445 -8425 -8405 -8385 -8365 -8225 -8085 -7925 -7745 -7545 -6545 -6245 -5925 -5225 -10260 -9460 -8480 -8460 -8440 -8420 -8400 -8380 -8240 -8100 -7760 -7340 -7100 -6840 -6260 -5940 -10253 -9453 -8473 -8453 -8433 -8413 -8393 -8373 -8233 -8093 -7753 -7333 -7093 -6833 -6253 -5933 -10252 -9452 -8472 -8452 -8432 -8412 -8392 -8372 -8232 -8092 -7752 -7332 -7092 -6832 -6252 -5932 -10255 -9455 -8475 -8455 -8435 -8415 -8395 -8375 -8235 -8095 -7755 -7335 -7095 -6835 -6255 -5935 -10247 -9447 -8467 -8447 -8427 -8407 -8387 -8367 -8227 -8087 -7747 -7327 -7087 -6827 -6247 -5927 -10259 -9459 -8479 -8459 -8439 -8419 -8399 -8379 -8239 -8099 -7759 -7339 -7099 -6839 -6259 -5939 -10250 -9450 -8470 -8450 -8430 -8410 -8390 -8370 -8230 -8090 -7750 -7330 -7090 -6830 -6250 -5930 -10249 -8469 -8449 -8429 -8409 -8389 -8369 -8229 -8089 -7749 -7329 -7089 -6829 -6249 -5929 -10246 -9446 -8446 -8426 -8406 -8386 -8366 -8226 -8086 -7746 -7086 -5926 -10258 -9458 -8478 -8458 -8438 -8418 -8398 -8378 -8238 -8098 -7758 -7338 -7098 -6838 -6258 -5938 -10248 -9448 -8468 -8448 -8428 -8408 -8388 -8368 -8228 -8088 -7748 -7328 -7088 -6828 -6248 -5928 -10251 -9451 -8471 -8451 -8431 -8411 -8391 -8371 -8231 -8091 -7751 -7331 -7091 -6831 -6251 -5931 -10254 -9454 -8474 -8454 -8434 -8414 -8394 -8374 -8234 -8094 -7754 -7334 -7094 -6834 -6254 -5934 -10257 -9457 -8477 -8457 -8437 -8417 -8397 -8377 -8237 -8097 -7757 -7337 -7097 -6837 -6257 -5937 -10256 -9456 -8476 -8456 -8436 -8416 -8396 -8376 -8236 -8096 -7756 -7336 -7096 -6836 -6256 -5936 -319 -203 -296 1125 -9526 -1121 -9529 -1123 9525 -9536 8005 5305 6625 7625 -845 -10321 -9521 -8741 -8721 -8661 -8601 -8521 -8421 -8301 -8161 -8001 -7821 -7401 -6901 -6621 -6321 -6001 -10323 -9523 -8743 -8723 -8663 -8603 -8523 -8423 -8303 -8163 -8003 -7823 -7403 -6903 -6623 -6323 -6003 -5663 207 273 323 -10045 -9245 -6365 -6345 -6325 -6305 -6285 -6265 -6225 -6205 -6185 -6165 -6145 -6065 -5725 -5025 -363 -225 -17 -83 -133 -249 -193 -1520 -1519 -1518 -1517 -1516 -1515 -1514 -1513 -1512 -1511 -1510 -1509 -1508 -1507 -1506 -1505 -1504 -1503 -1502 -2840 -2839 -2838 -2837 -2836 -2835 -2834 -2833 -2832 -2831 -2830 -2829 -2828 -2827 -2826 -2825 -2824 -2823 -2822 -3840 -3839 -3838 -3837 -3836 -3835 -3834 -3833 -3832 -3831 -3830 -3829 -3828 -3827 -3826 -3825 -3824 -3823 -3822 248 -58 -2340 -2339 -2338 -2337 -2336 -2335 -2334 -2333 -2332 -2331 -2330 -2329 -2328 -2327 -2326 -2325 -2324 -2323 -2322 -2321 56 -246 -6100 -6099 -6098 -6097 -6096 -6095 -6094 -6093 -6092 -6091 -6090 -6089 -6088 -6087 -6083 -6082 -6081 -882 -10082 -9282 -6942 -6922 -6882 -6862 -6842 -6822 -6802 -6782 -6762 -6742 -6702 -6382 -5762 -287 -6920 -6919 -6918 -6917 -6916 -6915 -6914 -6913 -6912 -6911 -6910 -6909 -6908 -6907 1126 -10325 -9527 -826 -1006 -1086 -966 -1106 -1146 -1066 -1026 7166 -1080 -980 -1079 -1078 -1075 -1076 -1077 -1074 -1073 -1069 -1067 -1068 -1072 -1070 -1071 -975 -972 -979 -971 -978 -969 -974 -973 -968 -976 -970 -977 -967 -10026 -6026 -6006 -5986 -5966 -5946 -5906 -5886 -5846 -5786 -828 -829 -827 -830 -839 -840 -231 -10206 -9406 -8186 -8166 -8146 -8126 -8106 -8066 -7706 -7046 -10286 -9486 -8626 -8606 -8586 -8486 -8266 -7786 -7126 -10166 -9366 -7846 -7826 -7806 -7766 -7726 -7006 -10306 -9506 -8686 -8666 -8506 -8286 -7146 -10346 -9546 -8726 -8546 -8326 -7186 -10266 -9466 -8526 -8246 -7106 -10226 -9426 -8306 -7066 300 -10280 -9480 -8580 -8560 -8540 -8520 -8500 -8260 -8120 -7780 -7360 -7120 -6860 -6280 -5960 -10180 -9380 -7880 -7860 -7840 -7820 -7800 -7740 -7720 -7260 -7020 -6760 -6180 -5860 -10279 -9479 -8579 -8559 -8539 -8519 -8499 -8259 -8119 -7779 -7359 -7119 -6859 -6279 -5959 -10278 -9478 -8578 -8558 -8538 -8518 -8498 -8258 -8118 -7778 -7358 -7118 -6858 -6278 -5958 -10275 -9475 -8575 -8555 -8535 -8515 -8495 -8255 -8115 -7775 -7355 -7115 -6855 -6275 -5955 -10276 -9476 -8576 -8556 -8536 -8516 -8496 -8256 -8116 -7776 -7356 -7116 -6856 -6276 -5956 -10277 -9477 -8577 -8557 -8537 -8517 -8497 -8257 -8117 -7777 -7357 -7117 -6857 -6277 -5957 -10274 -9474 -8574 -8554 -8534 -8514 -8494 -8254 -8114 -7774 -7354 -7114 -6854 -6274 -5954 -10273 -9473 -8573 -8553 -8533 -8513 -8493 -8253 -8113 -7773 -7353 -7113 -6853 -6273 -5953 -10269 -9469 -8569 -8549 -8529 -8509 -8489 -8249 -8109 -7769 -7349 -7109 -6849 -6269 -5949 -10267 -9467 -8567 -8547 -8527 -8507 -8487 -8247 -8107 -7767 -7347 -7107 -6847 -6267 -5947 -10268 -9468 -8568 -8548 -8528 -8508 -8488 -8248 -8108 -7768 -7348 -7108 -6848 -6268 -5948 -10272 -9472 -8572 -8552 -8532 -8512 -8492 -8252 -8112 -7772 -7352 -7112 -6852 -6272 -5952 -10270 -9470 -8570 -8550 -8530 -8510 -8490 -8250 -8110 -7770 -7350 -7110 -6850 -6270 -5950 -10271 -9471 -8571 -8551 -8531 -8511 -8491 -8251 -8111 -7771 -7351 -7111 -6851 -6271 -5951 -10175 -9375 -7875 -7855 -7835 -7815 -7795 -7735 -7715 -7255 -7015 -6755 -6175 -5855 -10172 -9372 -7872 -7852 -7832 -7812 -7792 -7732 -7712 -7252 -7012 -6752 -6172 -5852 -10179 -9379 -7879 -7859 -7839 -7819 -7799 -7739 -7719 -7259 -7019 -6759 -6179 -5859 -10171 -9371 -7871 -7851 -7831 -7811 -7791 -7731 -7711 -7251 -7011 -6751 -6171 -5851 -10178 -9378 -7878 -7858 -7838 -7818 -7798 -7738 -7718 -7258 -7018 -6758 -6178 -5858 -10169 -9369 -7869 -7849 -7829 -7809 -7789 -7729 -7709 -7249 -7009 -6749 -6169 -5849 -10174 -9374 -7874 -7854 -7834 -7814 -7794 -7734 -7714 -7254 -7014 -6754 -6174 -5854 -10173 -9373 -7873 -7853 -7833 -7813 -7793 -7733 -7713 -7253 -7013 -6753 -6173 -5853 -10168 -9368 -7868 -7848 -7828 -7808 -7788 -7728 -7708 -7248 -7008 -6748 -6168 -5848 -10176 -9376 -7876 -7856 -7836 -7816 -7796 -7736 -7716 -7256 -7016 -6756 -6176 -5856 -10170 -9370 -7870 -7850 -7830 -7810 -7790 -7730 -7710 -7250 -7010 -6750 -6170 -5850 -10177 -9377 -7877 -7857 -7837 -7817 -7797 -7737 -7717 -7257 -7017 -6757 -6177 -5857 -10167 -9367 -7867 -7847 -7827 -7807 -7787 -7727 -7707 -7247 -7007 -6747 -6167 -5847 -10028 -9228 -6048 -6028 -6008 -5988 -5968 -5908 -5888 -5808 -5788 -5768 -5728 -832 -10029 -9229 -6049 -6029 -6009 -5989 -5969 -5909 -5889 -5809 -5789 -5769 -5729 -10027 -6047 -6027 -6007 -5987 -5967 -5907 -5887 -5807 -5787 -5767 -5727 -10030 -9230 -6050 -6030 -6010 -5990 -5970 -5910 -5890 -5810 -5790 -5770 -5730 -831 -833 -834 -10039 -9239 -6059 -6039 -6019 -5999 -5979 -5919 -5899 -5819 -5799 -5779 -5739 -10040 -9240 -6060 -6040 -6020 -6000 -5980 -5920 -5900 -5820 -5800 -5780 -5740 -5798 -5797 -5796 -5795 -5794 -5793 -5792 -5791 -110 -297 -292 -10032 -9232 -6052 -6032 -6012 -5992 -5972 -5912 -5892 -5812 -5772 -5732 -10021 -10031 -9231 -6051 -6031 -6011 -5991 -5971 -5911 -5891 -5811 -5771 -5731 -10033 -9233 -6053 -6033 -6013 -5993 -5973 -5913 -5893 -5813 -5773 -5733 -10034 -9234 -6054 -6034 -6014 -5994 -5974 -5914 -5894 -5814 -5774 -5734 -3380 -3379 -3378 -3377 -3376 -3375 -3374 -3373 -3372 -3371 -3370 -3369 -3368 -3367 -3366 -3365 -3364 -3363 -3362 239 234 -49 -44 -2160 -2159 -2158 -2157 -2156 -2155 -2154 -2153 -2152 -2151 -2150 -2149 -2148 -2147 -2146 -2145 -2144 -2143 -2142 -2060 -2059 -2058 -2057 -2056 -2055 -2054 -2053 -2052 -2051 -2050 -2049 -2048 -2047 -2046 -2045 -2044 -2043 -2042 -2041 843 -10042 -258 -10041 -858 -852 10043 -859 -850 -856 -860 -853 -851 -855 -883 -857 -849 5723 -854 -847 -848 6183 6243 -9257 -6340 -6339 -6338 -6337 -6336 -6335 -6334 -6333 -6332 -6331 -6330 -6329 -6328 -6327 -10058 -9258 -6378 -6358 -6318 -6298 -6238 -6218 -6138 -5738 -10052 -9252 -6372 -6352 -6312 -6292 -6232 -6212 -6132 -10059 -9259 -6379 -6359 -6319 -6299 -6239 -6219 -6139 -10050 -9250 -6370 -6350 -6310 -6290 -6230 -6210 -6130 -10056 -9256 -6376 -6356 -6316 -6296 -6236 -6216 -6136 -5736 -10060 -9260 -6380 -6360 -6320 -6300 -6240 -6220 -6140 -10053 -9253 -6373 -6353 -6313 -6293 -6233 -6213 -6133 -10051 -9251 -6371 -6351 -6311 -6291 -6231 -6211 -6131 -10055 -9255 -6375 -6355 -6315 -6295 -6235 -6215 -6135 -5735 -10083 -9283 -6943 -6923 -6883 -6863 -6843 -6823 -6803 -6783 -6763 -6743 -6703 -6383 -5763 -10057 -6377 -6357 -6317 -6297 -6237 -6217 -6137 -5737 -10049 -9249 -6369 -6349 -6309 -6289 -6229 -6209 -6129 228 -10054 -9254 -6374 -6354 -6314 -6294 -6234 -6214 -6134 -10047 -9247 -6367 -6347 -6307 -6287 -6227 -6207 -6127 -10048 -9248 -6368 -6348 -6308 -6288 -6228 -6208 -6128 254 6761 982 881 -38 -64 981 -9383 9281 10081 -896 -889 -892 -841 -888 -895 -887 -890 -893 -900 -898 -891 -899 -897 -894 6701 -1940 -1939 -1938 -1937 -1936 -1935 -1934 -1933 -1932 -1931 -1930 -1929 -1928 -1927 -1926 -1925 -1924 -1923 -1922 -1921 -2460 -2459 -2458 -2457 -2456 -2455 -2454 -2453 -2452 -2451 -2450 -2449 -2448 -2447 -2446 -2445 -2444 -2443 -2442 -2441 -9382 9381 -10096 -9296 -6956 -6936 -6896 -6876 -6816 -6796 -6716 -5776 -10089 -9289 -6949 -6929 -6889 -6869 -6809 -6789 -6709 -10092 -9292 -6952 -6932 -6892 -6872 -6812 -6792 -6712 -9241 -6361 -6341 -6301 -6281 -6261 -6241 -6221 -6201 -6181 -6161 -6121 -6061 -5721 -10088 -9288 -6948 -6928 -6888 -6868 -6808 -6788 -6708 -10095 -9295 -6955 -6935 -6895 -6875 -6815 -6795 -6715 -5775 -10087 -9287 -6947 -6927 -6887 -6867 -6807 -6787 -6707 -10090 -9290 -6950 -6930 -6890 -6870 -6810 -6790 -6710 -10093 -9293 -6953 -6933 -6893 -6873 -6813 -6793 -6713 -10100 -9300 -6960 -6940 -6900 -6880 -6820 -6800 -6720 -10098 -9298 -6958 -6938 -6898 -6878 -6818 -6798 -6718 -5778 -10091 -9291 -6951 -6931 -6891 -6871 -6811 -6791 -6711 -10099 -9299 -6959 -6939 -6899 -6879 -6819 -6799 -6719 -10097 -9297 -6957 -6937 -6897 -6877 -6817 -6797 -6717 -5777 -10094 -9294 -6954 -6934 -6894 -6874 -6814 -6794 -6714 921 -9322 9321 -931 -932 -861 -1161 7261 -10131 -9331 -7451 -7431 -7411 -7391 -7371 -7311 -7291 -10132 -9332 -7452 -7432 -7412 -7392 -7372 -7312 -7292 -9261 -6661 -6641 -6601 -6581 -6561 -6541 -6521 -6501 -6481 -6461 -6421 -6381 -5741 -10361 -9561 -8761 -8701 -8641 -8561 -8461 -8341 -8201 -8041 -7861 -7441 -6941 -6041 -261 -289 -907 -10107 -7187 -7167 -7147 -7127 -7067 -7047 -908 10106 -916 -910 -909 -911 -918 -920 -915 -919 -914 -917 -913 -912 -10108 -7188 -7168 -7148 -7128 -7068 -7048 -10116 -9316 -7196 -7176 -7156 -7136 -7076 -7056 -10110 -9310 -7190 -7170 -7150 -7130 -7070 -7050 -10109 -9309 -7189 -7169 -7149 -7129 -7069 -7049 -10111 -9311 -7191 -7171 -7151 -7131 -7071 -7051 -10118 -9318 -7198 -7178 -7158 -7138 -7078 -7058 -10120 -9320 -7200 -7180 -7160 -7140 -7080 -7060 -10115 -9315 -7195 -7175 -7155 -7135 -7075 -7055 -10119 -9319 -7199 -7179 -7159 -7139 -7079 -7059 -10114 -9314 -7194 -7174 -7154 -7134 -7074 -7054 -10117 -9317 -7197 -7177 -7157 -7137 -7077 -7057 -10113 -9313 -7193 -7173 -7153 -7133 -7073 -7053 -10112 -9312 -7192 -7172 -7152 -7132 -7072 -7052 -299 -298 -294 -301 -295 341 336 343 -4441 -151 -146 -153 -4200 -4199 -4198 -4197 -4196 -4195 -4194 -4193 -4192 -4191 -4190 -4189 -4188 -4187 -4186 -4185 -4184 -4183 -4182 -4181 -4100 -4099 -4098 -4097 -4096 -4095 -4094 -4093 -4092 -4091 -4090 -4089 -4088 -4087 -4086 -4085 -4084 -4083 -4082 -4081 -4240 -4239 -4238 -4237 -4236 -4235 -4234 -4233 -4232 -4231 -4230 -4229 -4228 -4227 -4226 -4225 -4224 -4223 -4222 -4221 -923 -10123 -9323 -7443 -7423 -7383 -7363 -7343 -7323 -7303 -7283 -7263 -7243 -6423 -6123 -5803 -5463 6122 -215 842 922 -1065 -9243 6182 9242 -10121 -312 -939 -936 7262 -940 -934 -929 -927 -930 -928 -938 -933 -937 -935 10122 -10265 -9465 -8565 -8545 -8525 -8505 -8485 -8245 -8105 -7945 -7765 -7565 -6565 -5945 -5245 -320 -7420 -7419 -7418 -7417 -7416 -7415 -7414 -7413 -7410 -7409 -7408 -7407 -10139 -9339 -7459 -7439 -7399 -7379 -7319 -7299 -10136 -9336 -7456 -7436 -7396 -7376 -7316 -7296 -5816 -10140 -9340 -7460 -7440 -7400 -7380 -7320 -7300 -10134 -9334 -7454 -7434 -7394 -7374 -7314 -7294 -10129 -9329 -7449 -7429 -7389 -7369 -7309 -7289 -10127 -9327 -7447 -7427 -7387 -7367 -7307 -7287 -10130 -9330 -7450 -7430 -7390 -7370 -7310 -7290 -10128 -9328 -7448 -7428 -7388 -7368 -7308 -7288 -10138 -9338 -7458 -7438 -7398 -7378 -7318 -7298 -5818 -10133 -9333 -7453 -7433 -7393 -7373 -7313 -7293 -10137 -9337 -7457 -7437 -7397 -7377 -7317 -7297 -5817 -10135 -9335 -7455 -7435 -7395 -7375 -7315 -7295 -5815 -368 -204 309 360 284 255 -143 -119 -170 -94 6841 -65 -4040 -4039 -4038 -4037 -4036 -4035 -4034 -4033 -4032 -4031 -4030 -4029 -4028 -4027 -4026 -4025 -4024 -4023 -4022 102 -3560 -3559 -3558 -3557 -3556 -3555 -3554 -3553 -3552 -3551 -3550 -3549 -3548 -3547 -3546 -3545 -3544 -3543 -3542 -3541 -4580 -4579 -4578 -4577 -4576 -4575 -4574 -4573 -4572 -4571 -4570 -4569 -4568 -4567 -4566 -4565 -4564 -4563 -4562 -4561 -3060 -3059 -3058 -3057 -3056 -3055 -3054 -3053 -3052 -3051 -3050 -3049 -3048 -3047 -3046 -3045 -3044 -3043 -3042 -3041 1061 -2480 -2479 -2478 -2477 -2476 -2475 -2474 -2473 -2472 -2471 -2470 -2469 -2468 -2467 -2466 -2465 -2464 -2463 -2462 -2461 -9462 9461 961 7761 -821 7941 7341 -1041 -1101 -9362 9361 7241 6741 -965 7681 -1081 -1001 -1141 -1021 330 -9221 -6021 -5981 -5961 -5941 -5921 -5901 -5881 -5861 -5841 -5801 -5761 -10241 -9441 -8441 -8401 -8381 -8361 -8221 -8081 -7921 -7741 -7321 -6821 -10301 -9501 -8681 -8581 -8501 -8281 -8141 -7981 -7801 -7381 -6881 304 279 -10165 -9365 -7865 -7845 -7825 -7805 -7785 -7725 -7705 -7685 -7465 -6465 -5845 -5145 -10281 -9481 -8621 -8481 -8261 -8121 -7961 -7781 -7361 -6861 -10201 -9401 -8181 -8101 -8061 -7881 -7701 -7281 -6781 -10341 -9541 -8541 -8321 -8021 -7841 -7421 -6921 -10221 -9421 -8241 -7901 -7721 -7301 -6801 -140 -10261 962 -230 825 -283 -286 -114 -89 -333 -315 -199 -285 -1083 -10283 -9497 -281 -288 -282 -3980 -3979 -3978 -3977 -3976 -3975 -3974 -3973 -3972 -3971 -3970 -3969 -3968 -3967 -3966 -3965 -3964 -3963 -3962 -3961 1062 -10161 -9363 7762 7682 7242 6162 242 35 192 244 237 236 240 33 -10024 6005 5865 5745 5825 -838 -837 -835 -836 5005 -1165 10025 -3460 -3459 -3458 -3457 -3456 -3455 -3454 -3453 -3452 -3451 -3450 -3449 -3448 -3447 -3446 -3445 -3444 -3443 -3442 -3441 -2960 -2959 -2958 -2957 -2956 -2955 -2954 -2953 -2952 -2951 -2950 -2949 -2948 -2947 -2946 -2945 -2944 -2943 -2942 -2941 329 250 321 271 -9483 -8643 -8623 -8583 -8483 -8383 -8263 -8123 -7963 -7783 -6583 -6283 -5963 -5623 243 318 268 -661 -9463 7942 6262 7342 -52 -2 -54 -47 -46 -50 -223 -10038 -9238 -6058 -6038 -6018 -5998 -5978 -5918 -5898 -10037 -6057 -6037 -6017 -5997 -5977 -5917 -5897 -10035 -9235 -6055 -6035 -6015 -5995 -5975 -5915 -5895 -10036 -9236 -6056 -6036 -6016 -5996 -5976 -5916 -5896 -10365 -9565 -8765 -8745 -8705 -8645 -8345 -8205 -8045 -7665 -6665 -6045 -5345 -1167 -139 -60 -131 7585 -9498 -81 -53 -128 7525 -78 -9861 -9061 -4761 -4741 -4701 -4301 -3301 -1801 -1441 -2220 -2219 -2218 -2217 -2216 -2215 -2214 -2213 -2212 -2211 -2210 -2209 -2208 -2207 -2206 -2205 -2204 -2203 -2202 41 -1220 -1219 -1218 -1217 -1216 -1215 -1214 -1213 -1212 -1211 -1210 -1209 -1208 -1207 -1206 -1205 -1204 -1203 -1202 -1201 -2260 -2259 -2258 -2257 -2256 -2255 -2254 -2253 -2252 -2251 -2250 -2249 -2248 -2247 -2246 -2245 -2244 -2243 -2242 -2241 -2120 -2119 -2118 -2117 -2116 -2115 -2114 -2113 -2112 -2111 -2110 -2109 -2108 -2107 -2106 -2105 -2104 -2103 -2102 -2101 355 -2100 -2099 -2098 -2097 -2096 -2095 -2094 -2093 -2092 -2091 -2090 -2089 -2088 -2087 -2086 -2085 -2084 -2083 -2082 -2081 -2180 -2179 -2178 -2177 -2176 -2175 -2174 -2173 -2172 -2171 -2170 -2169 -2168 -2167 -2166 -2165 -2164 -2163 -2162 372 -325 -209 -10367 -9567 -8767 -8747 -8707 -8647 -8347 -8207 -3960 -3959 -3958 -3957 -3956 -3955 -3954 -3953 -3952 -3951 -3950 -3949 -3948 -3947 -3946 -3945 -3944 -3943 -3942 -3941 -2380 -2379 -2378 -2377 -2376 -2375 -2374 -2373 -2372 -2371 -2370 -2369 -2368 -2367 -2366 -2365 -2364 -2363 -2362 -2361 -3800 -3799 -3798 -3797 -3796 -3795 -3794 -3793 -3792 -3791 -3790 -3789 -3788 -3787 -3786 -3785 -3784 -3783 -3782 -3781 1085 -2800 -2799 -2798 -2797 -2796 -2795 -2794 -2793 -2792 -2791 -2790 -2789 -2788 -2787 -2786 -2785 -2784 -2783 -2782 -2781 -2240 -2239 -2238 -2237 -2236 -2235 -2234 -2233 -2232 -2231 -2230 -2229 -2228 -2227 -2226 -2225 -2224 -2223 -2222 -2221 -3740 -3739 -3738 -3737 -3736 -3735 -3734 -3733 -3732 -3731 -3730 -3729 -3728 -3727 -3726 -3725 -3724 -3723 -3722 -3721 1025 -2740 -2739 -2738 -2737 -2736 -2735 -2734 -2733 -2732 -2731 -2730 -2729 -2728 -2727 -2726 -2725 -2724 -2723 -2722 -2721 30 -165 -182 314 370 365 335 260 6585 -9487 -9488 7965 8605 -9428 9485 -1082 5265 5965 10285 -1097 -1099 -1094 -1093 -1098 -1096 -1090 -1088 -1100 -1095 -1092 -1091 -1087 -1089 -10222 6525 8305 5205 -1105 -1023 -1039 -1030 -1027 -1029 -1038 7905 -1028 -1033 -1032 -1031 -1036 -1034 -1035 -1040 -1037 10225 9425 5905 8265 -1022 -1145 -1005 -220 -4480 -4479 -4478 -4477 -4476 -4475 -4474 -4473 -4472 -4471 -4470 -4469 -4468 -4467 -4466 -4465 -4464 -4463 -4462 -4461 -4820 -4819 -4818 -4817 -4816 -4815 -4814 -4813 -4812 -4811 -4810 -4809 -4808 -4807 -4806 -4805 -4804 -4803 -4802 108 -124 -1172 -1171 7442 -180 -175 -145 -70 -10282 -9482 -8642 -8622 -8582 -8482 -8382 -8262 -8122 -7962 -7782 -7362 -6582 -6282 -5962 205 -10297 -8657 -8637 -8617 -8597 -8277 -8137 -10299 -9499 -8659 -8639 -8619 -8599 -8279 -8139 -10294 -9494 -8654 -8634 -8614 -8594 -8274 -8134 -10293 -9493 -8653 -8633 -8613 -8593 -8273 -8133 -10298 -8658 -8638 -8618 -8598 -8278 -8138 -10296 -9496 -8656 -8636 -8616 -8596 -8276 -8136 -10290 -9490 -8650 -8630 -8610 -8590 -8270 -8130 -10288 -8648 -8628 -8608 -8588 -8268 -8128 -10300 -9500 -8660 -8640 -8620 -8600 -8280 -8140 -10295 -9495 -8655 -8635 -8615 -8595 -8275 -8135 -10292 -9492 -8652 -8632 -8612 -8592 -8272 -8132 -10291 -9491 -8651 -8631 -8611 -8591 -8271 -8131 -10287 -8627 -8607 -8587 -8267 -8127 -256 -10289 -9489 -8649 -8629 -8609 -8589 -8269 -8129 357 202 -10305 -9505 -8685 -8665 -8585 -8285 -8145 -7985 -7605 -6605 -5985 -5285 -10223 -9423 -8343 -8323 -8283 -8243 -8223 -8063 -7903 -7723 -6523 -6223 -5903 -5563 -10239 -9439 -8359 -8339 -8319 -8299 -8079 -10230 -9430 -8350 -8330 -8310 -8290 -8070 -10227 -9427 -8327 -8307 -8287 -8067 -10229 -9429 -8349 -8329 -8309 -8289 -8069 -10238 -9438 -8358 -8338 -8318 -8298 -8078 -10228 -8348 -8328 -8308 -8288 -8068 -10233 -9433 -8353 -8333 -8313 -8293 -8073 -10232 -9432 -8352 -8332 -8312 -8292 -8072 -10231 -9431 -8351 -8331 -8311 -8291 -8071 -10236 -9436 -8356 -8336 -8316 -8296 -8076 -10234 -9434 -8354 -8334 -8314 -8294 -8074 -10235 -9435 -8355 -8335 -8315 -8295 -8075 -10240 -9440 -8360 -8340 -8320 -8300 -8080 -10237 -9437 -8357 -8337 -8317 -8297 -8077 -9422 -8342 -8322 -8282 -8242 -8222 -8062 -7902 -7722 -7302 -6522 -6222 -5902 -10345 -9545 -8725 -8625 -8325 -8185 -8025 -7645 -6645 -6025 -5325 -10205 -9405 -8165 -8125 -8065 -7885 -7505 -6505 -5885 -5185 -681 -3660 -3659 -3658 -3657 -3656 -3655 -3654 -3653 -3652 -3651 -3650 -3649 -3648 -3647 -3646 -3645 -3644 -3643 -3642 -3641 99 -10372 -9572 -8772 -8752 -8712 -8212 -10371 -9571 -8771 -8751 -8711 -8211 1162 -4780 -4779 -4778 -4777 -4776 -4775 -4774 -4773 -4772 -4771 -4770 -4769 -4768 -4767 -4766 -4765 -4764 -4763 -4762 -4680 -4679 -4678 -4677 -4676 -4675 -4674 -4673 -4672 -4671 -4670 -4669 -4668 -4667 -4666 -4665 -4664 -4663 -4662 -4661 -4080 -4079 -4078 -4077 -4076 -4075 -4074 -4073 -4072 -4071 -4070 -4069 -4068 -4067 -4066 -4065 -4064 -4063 -4062 -4061 -2580 -2579 -2578 -2577 -2576 -2575 -2574 -2573 -2572 -2571 -2570 -2569 -2568 -2567 -2566 -2565 -2564 -2563 -2562 -2561 -331 -366 -361 -310 -15 -374 -167 -12 -371 -356 -322 -206 -359 -354 -353 -328 -253 -307 -373 -358 -324 -208 -348 -345 -317 -201 -9881 -9081 -4841 -4821 -4781 -4581 -4321 -3981 -3561 -3321 -3061 -2481 -1821 -1461 -9563 7862 -1176 9562 -1180 -1174 8562 -1169 8042 -862 6362 -1480 -1479 -1478 -1477 -1476 -1475 -1474 -1473 -1472 -1471 -1470 -1469 -1468 -1467 -1466 -1465 -1464 -1463 -1462 -4520 -4519 -4518 -4517 -4516 -4515 -4514 -4513 -4512 -4511 -4510 -4509 -4508 -4507 -4506 -4505 -4504 -4503 -4502 105 -1420 -1419 -1418 -1417 -1416 -1415 -1414 -1413 -1412 -1411 -1410 -1409 -1408 -1407 -1406 -1405 -1404 -1403 -1402 -1401 367 257 377 332 349 380 369 313 334 364 376 259 351 306 347 327 346 252 352 -10376 -9576 -8776 -8756 -8716 -8216 -1177 -10380 -9580 -8780 -8760 -8720 -8220 -10374 -9574 -8774 -8754 -8714 -8214 -10369 -9569 -8769 -8749 -8709 -8209 -9262 -6662 -6642 -6602 -6562 -6542 -6502 -6482 -6462 -6422 -6062 -5742 -177 -67 -187 -142 -159 -190 -179 -123 7422 -144 -174 -186 -69 -161 -116 7282 -157 -137 -156 -62 -162 -10377 -9577 -8777 -8757 -8717 -8217 -263 -4720 -4719 -4718 -4717 -4716 -4715 -4714 -4713 -4712 -4711 -4710 -4709 -4708 -4707 -4706 -4705 -4704 -4703 -4702 -2520 -2519 -2518 -2517 -2516 -2515 -2514 -2513 -2512 -2511 -2510 -2509 -2508 -2507 -2506 -2505 -2504 -2503 -2502 -2501 -4920 -4919 -4918 -4917 -4916 -4915 -4914 -4913 -4912 -4911 -4910 -4909 -4908 -4907 -4906 -4905 -4904 -4903 -4902 -4901 -4020 -4019 -4018 -4017 -4016 -4015 -4014 -4013 -4012 -4011 -4010 -4009 -4008 -4007 -4006 -4005 -4004 -4003 -4002 -4001 -4360 -4359 -4358 -4357 -4356 -4355 -4354 -4353 -4352 -4351 -4350 -4349 -4348 -4347 -4346 -4345 -4344 -4343 -4342 -4341 -4980 -4979 -4978 -4977 -4976 -4975 -4974 -4973 -4972 -4971 -4970 -4969 -4968 -4967 -4966 -4965 -4964 -4963 -4962 -4961 -4760 -4759 -4758 -4757 -4756 -4755 -4754 -4753 -4752 -4751 -4750 -4749 -4748 -4747 -4746 -4745 -4744 -4743 -4742 98 -3640 -3639 -3638 -3637 -3636 -3635 -3634 -3633 -3632 -3631 -3630 -3629 -3628 -3627 -3626 -3625 -3624 -3623 -3622 -3621 1142 -4060 -4059 -4058 -4057 -4056 -4055 -4054 -4053 -4052 -4051 -4050 -4049 -4048 -4047 -4046 -4045 -4044 -4043 -4042 -4041 -4660 -4659 -4658 -4657 -4656 -4655 -4654 -4653 -4652 -4651 -4650 -4649 -4648 -4647 -4646 -4645 -4644 -4643 -4642 -4641 -4900 -4899 -4898 -4897 -4896 -4895 -4894 -4893 -4892 -4891 -4890 -4889 -4888 -4887 -4886 -4885 -4884 -4883 -4882 -4881 -2560 -2559 -2558 -2557 -2556 -2555 -2554 -2553 -2552 -2551 -2550 -2549 -2548 -2547 -2546 -2545 -2544 -2543 -2542 -2541 -4400 -4399 -4398 -4397 -4396 -4395 -4394 -4393 -4392 -4391 -4390 -4389 -4388 -4387 -4386 -4385 -4384 -4383 -4382 -4381 -3500 -3499 -3498 -3497 -3496 -3495 -3494 -3493 -3492 -3491 -3490 -3489 -3488 -3487 -3486 -3485 -3484 -3483 -3482 -3481 1002 -4320 -4319 -4318 -4317 -4316 -4315 -4314 -4313 -4312 -4311 -4310 -4309 -4308 -4307 -4306 -4305 -4304 -4303 -4302 91 -3920 -3919 -3918 -3917 -3916 -3915 -3914 -3913 -3912 -3911 -3910 -3909 -3908 -3907 -3906 -3905 -3904 -3903 -3902 -3901 -4300 -4299 -4298 -4297 -4296 -4295 -4294 -4293 -4292 -4291 -4290 -4289 -4288 -4287 -4286 -4285 -4284 -4283 -4282 -4281 -2420 -2419 -2418 -2417 -2416 -2415 -2414 -2413 -2412 -2411 -2410 -2409 -2408 -2407 -2406 -2405 -2404 -2403 -2402 -2401 -4420 -4419 -4418 -4417 -4416 -4415 -4414 -4413 -4412 -4411 -4410 -4409 -4408 -4407 -4406 -4405 -4404 -4403 -4402 -4401 -9543 8762 9542 8022 -1150 6342 -1147 8542 8182 7842 -741 -9403 9402 7882 6202 -1016 -1012 -1011 -1014 -1017 -1009 8102 7702 -1007 8202 -10350 -9550 -8770 -8730 -8690 -8190 -10347 -9547 -8727 -8687 -8187 -9941 -9141 -4521 -3841 -3381 -3121 -2841 -1881 -1521 -10216 -9416 -8196 -8176 -8156 -10212 -9412 -8192 -8172 -8152 -1020 -10211 -9411 -8191 -8171 -8151 -10214 -9414 -8194 -8174 -8154 -10217 -9417 -8197 -8177 -8157 -10209 -9409 -8189 -8169 -8149 -10207 -9407 -8167 -8147 -10220 -9420 -8200 -8180 -8160 -1107 -10307 -9507 -8667 10407 -1127 10408 -10327 -1129 -1128 -1135 -1139 10326 -1132 -1133 -1130 -1136 -1134 -1137 -1131 -1138 -1140 -379 -1168 -1148 -1108 -1008 10409 -10329 -8729 -8669 -10328 -9528 -8748 -8728 -8668 -8168 -10335 -9535 -8755 -8735 -8675 -8175 -10339 -9539 -8759 -8739 -8679 -8179 -10332 -9532 -8732 -8672 -10333 -9533 -8753 -8733 -8673 -8173 -10330 -9530 -8750 -8670 -8170 -10336 -8736 -8676 -10334 -9534 -8734 -8674 -10337 -9537 -8737 -8677 -10331 -9531 -8731 -8671 -10338 -9538 -8758 -8738 -8678 -8178 -10340 -9540 -8740 -8680 -10368 -9568 -8768 -8708 -8208 -10348 -9548 -8688 -8188 -10308 -9508 -8148 -10208 -9408 -1149 -1109 10410 -375 -378 -350 -10349 -9549 -8689 -10309 -9509 -1170 -1110 -1010 10411 -10370 -9570 -8710 -8210 -10310 -9510 -8150 -10210 -9410 -1151 -1111 10412 -10351 -9551 -8691 -10311 -9511 -1152 -1112 10413 -10352 -9552 -8692 -1153 -10312 -9512 -1173 -1113 -1013 10414 -10353 -9553 -8773 -8693 -8193 -10373 -9573 -8713 -8213 -10313 -9513 -8153 -10213 -9413 -1154 -1114 10415 -10354 -9554 -8694 -10314 -9514 -1175 -1155 -1115 -1015 10416 -10375 -9575 -8775 -8715 -8215 -10355 -9555 -8695 -8195 -10315 -9515 -8155 -10215 -9415 -1156 -1116 10417 -10356 -9556 -8696 -1159 -10316 -9516 -1157 -1117 10418 -10359 -9559 -8779 -8699 -8199 -10357 -9557 -8697 -10317 -9517 -1178 -1158 -1118 -1018 10419 -10378 -9578 -8778 -8718 -8218 -10358 -9558 -8698 -8198 -10318 -9518 -8158 -10218 -9418 -1019 -1179 -1119 10420 -10219 -9419 -8219 -8159 -10379 -9579 -8719 -10319 -9519 -1160 -1120 -10360 -9560 -8700 -10320 -9520 -1862 -723 -9923 -9123 -4943 -4923 -4863 -4723 -4623 -4363 -3603 -3103 -2523 -1863 -1864 -9602 -9882 -9682 308 -118 7322 -3540 -3539 -3538 -3537 -3536 -3535 -3534 -3533 -3532 -3531 -3530 -3529 -3528 -3527 -3526 -3525 -3524 -3523 -3522 -3521 93 1042 -9443 7922 6242 7742 8362 9442 8082 8442 8462 362 -172 -4620 -4619 -4618 -4617 -4616 -4615 -4614 -4613 -4612 -4611 -4610 -4609 -4608 -4607 -4606 -4605 -4604 -4603 -4602 -4601 -9604 -605 -9805 -9005 -4365 -4325 -4265 -3705 -3245 -2985 -2705 -1745 -1385 -708 -9908 -9108 -4868 -4788 -4488 -3808 -3588 -3348 -3088 -2808 -2188 -1848 -1488 -765 -9965 -9165 -4945 -4845 -4545 -3865 -3405 -3145 -2865 -1905 -1545 -545 -9745 -8945 -3845 -3805 -3765 -3745 -3665 -3425 -3185 -2925 -2345 546 -10386 -8947 -586 -544 -466 -541 -542 8946 -543 -626 -686 -406 -426 -386 -726 -10385 -9786 -8986 -3226 -9744 -8944 -3864 -3844 -3804 -3764 -3744 -3704 -3664 -3424 -3184 -2924 -2344 -9666 -8866 -2866 -2846 -2806 -2766 -2746 -2706 -2666 -2626 -2606 -2586 -2266 -9741 -8941 -3861 -3801 -3741 -3701 -3661 -3421 -3181 -2921 -2341 -9742 -8942 -3862 -3842 -3802 -3762 -3742 -3702 -3662 -3422 -3182 -2922 -2342 -9743 -8943 -3863 -3843 -3803 -3763 -3743 -3703 -3663 -3423 -3183 -2923 -2343 -9826 -9026 -4546 -4526 -4486 -4446 -4426 -4266 -3926 -3506 -3266 -3006 -2426 -1766 -9886 -9086 -4846 -4826 -4786 -4686 -4586 -4326 -3986 -3566 -3326 -3066 -2486 -1826 -9606 -8806 -1906 -1886 -1866 -1846 -1806 -1786 -1746 -1706 -1666 -1646 -1626 -1586 -1186 -9626 -8826 -2186 -2006 -1986 -1966 -9586 -8786 -1546 -1526 -1486 -1446 -1426 -1386 -1346 -1306 -1286 -1266 -1226 -9926 -9126 -4946 -4926 -4866 -4726 -4626 -4366 -3606 -3106 -2526 -10384 -10383 -10382 -10381 604 -9803 -9802 -607 -608 -618 -619 -609 -616 -613 -615 -620 -617 -610 -614 -9801 -612 -611 9804 -644 -606 -444 -744 -764 -704 -584 -424 -664 -564 -524 -9807 -9007 -4367 -4327 -4267 -3707 -3247 -2987 -2707 -1747 -1387 -9808 -9008 -4368 -4328 -4268 -3708 -3248 -2988 -2708 -1748 -1388 -9818 -9018 -4378 -4338 -4278 -3718 -3258 -2998 -2718 -1758 -1398 -9819 -9019 -4379 -4339 -4279 -3719 -3259 -2999 -2719 -1759 -1399 -9809 -9009 -4369 -4329 -4269 -3709 -3249 -2989 -2709 -1749 -1389 -9816 -9016 -4376 -4336 -4276 -3716 -3256 -2996 -2716 -1756 -1396 -9813 -9013 -4373 -4333 -4273 -3713 -3253 -2993 -2713 -1753 -1393 -9815 -9015 -4375 -4335 -4275 -3715 -3255 -2995 -2715 -1755 -1395 -9820 -9020 -4380 -4340 -4280 -3720 -3260 -3000 -2720 -1760 -1400 -9817 -9017 -4377 -4337 -4277 -3717 -3257 -2997 -2717 -1757 -1397 -9810 -9010 -4370 -4330 -4270 -3710 -3250 -2990 -2710 -1750 -1390 -9814 -9014 -4374 -4334 -4274 -3714 -3254 -2994 -2714 -1754 -1394 -9812 -9012 -4372 -4332 -4272 -3712 -3252 -2992 -2712 -1752 -1392 -9811 -9011 -4371 -4331 -4271 -3711 -3251 -2991 -2711 -1751 -1391 -9844 -9044 -4624 -4584 -4424 -3284 -3024 -2744 -1784 -1424 -9806 -9006 -3706 -3246 -2986 -9644 -8844 -2524 -2484 -2424 -2304 -2284 -2264 -1584 -1224 -9944 -9144 -4924 -4824 -4524 -3384 -3124 -2844 -1884 -1524 -9964 -9164 -4944 -4844 -4544 -3404 -3144 -2864 -1904 -1544 -9904 -9104 -4864 -4784 -4484 -3584 -3344 -3084 -2804 -2184 -1844 -1484 -9784 -8984 -3224 -9624 -8824 -2004 -1984 -1964 -9864 -9064 -4724 -4684 -4444 -3304 -2764 -1804 -1444 -9764 -8964 -3984 -3924 -3204 -2664 -1704 -1344 -9724 -8924 -3604 -3564 -3504 -3164 -2624 -1664 -1304 -127 -445 -9645 -8845 -2525 -2485 -2425 -2305 -2285 -2265 -1585 -1225 766 -9167 -9963 -763 9166 -746 -646 -526 -706 -566 -446 -666 3866 -9163 -4843 -4543 -3403 -3143 -2863 -1903 -1543 -762 -9946 -9146 -3846 -3386 -3126 -9846 -9046 -3746 -3286 -3026 -9726 -8926 -3586 -3426 -3166 -9906 -9106 -3806 -3346 -3086 -9766 -8966 -3666 -3206 -9646 -8846 -2346 -2306 -2286 -9866 -9066 -3766 -3306 135 -9962 -9162 -4942 -4842 -4542 -3402 -3142 -2862 -1902 -1542 -761 -9961 -9161 -4541 -3401 -3141 -2861 -1901 -1541 -9704 -9684 648 -10388 -9847 -9049 -3228 -9054 -9841 -9843 -9842 -428 -768 -748 -668 -642 -448 -568 -528 -588 -643 -645 -703 -10387 -701 -641 -9628 -8828 -2008 -1988 -1968 -9968 -9168 -4948 -4848 -4548 -3868 -3408 -3148 -2868 -1908 -1548 -769 -9948 -9148 -4928 -4828 -4528 -3848 -3388 -3128 -2848 -1888 -1528 -9868 -9068 -4728 -4688 -4448 -3768 -3308 -2768 -1808 -1448 -9042 -4622 -4582 -4422 -3282 -3022 -2742 -1782 -1422 -702 -9648 -8848 -2528 -2488 -2428 -2348 -2308 -2288 -2268 -1588 -1228 -9768 -8968 -3988 -3928 -3668 -3208 -2668 -1708 -1348 -9728 -8928 -3608 -3568 -3508 -3428 -3168 -2628 -1668 -1308 -9788 -8988 -9043 -4583 -4423 -3283 -3023 -2743 -1783 -1423 -9845 -9045 -4625 -4585 -4425 -3285 -3025 -2745 -1785 -1425 -705 -9903 -9103 -4783 -4483 -3583 -3343 -3083 -2803 -2183 -1843 -1483 -9901 -9101 -4481 -3581 -3341 -3081 -2801 -2181 -1841 -1481 -9041 -4421 -3281 -3021 -2741 -1781 -1421 -9969 -9169 -4949 -4849 -4549 -3869 -3409 -3149 -2869 -1909 -1549 -779 -770 -773 -9902 -9102 -4862 -4782 -4482 -3582 -3342 -3082 -2802 -2182 -1842 -1482 -9905 -9105 -4865 -4785 -4485 -3585 -3345 -3085 -2805 -2185 -1845 -1485 -9979 -9179 -4959 -4859 -4559 -3879 -3419 -3159 -2879 -1919 -1559 -9970 -9170 -4950 -4850 -4550 -3870 -3410 -3150 -2870 -1910 -1550 -9973 -9173 -4953 -4853 -4553 -3873 -3413 -3153 -2873 -1913 -1553 745 -9943 -9942 -759 -753 -758 -760 -752 -756 -757 -750 -755 -747 -754 -751 9945 -743 9145 -585 -742 -525 -425 -665 -565 -749 -9959 -9159 -4939 -4839 -4539 -3859 -3399 -3139 -2859 -1899 -1539 -9953 -9153 -4933 -4833 -4533 -3853 -3393 -3133 -2853 -1893 -1533 -9958 -9158 -4938 -4838 -4538 -3858 -3398 -3138 -2858 -1898 -1538 -9960 -9160 -4940 -4840 -4540 -3860 -3400 -3140 -2860 -1900 -1540 -9952 -9152 -4932 -4832 -4532 -3852 -3392 -3132 -2852 -1892 -1532 -9956 -9156 -4936 -4836 -4536 -3856 -3396 -3136 -2856 -1896 -1536 -9957 -9157 -4937 -4837 -4537 -3857 -3397 -3137 -2857 -1897 -1537 -9950 -9150 -4930 -4830 -4530 -3850 -3390 -3130 -2850 -1890 -1530 -9955 -9155 -4935 -4835 -4535 -3855 -3395 -3135 -2855 -1895 -1535 -9947 -9147 -4927 -4827 -4527 -3847 -3387 -3127 -2847 -1887 -1527 -9954 -9154 -4934 -4834 -4534 -3854 -3394 -3134 -2854 -1894 -1534 -9951 -9151 -4931 -4831 -4531 -3851 -3391 -3131 -2851 -1891 -1531 -9143 -4823 -4523 -3383 -3123 -2843 -1883 -1523 -9785 -8985 -3225 -9142 -4922 -4822 -4522 -3382 -3122 -2842 -1882 -1522 -9725 -8925 -3605 -3565 -3505 -3165 -2625 -2005 -1665 -1305 -9625 -8825 -1985 -1965 -9865 -9065 -4725 -4685 -4445 -3305 -2765 -1805 -1445 -9765 -8965 -3985 -3925 -3205 -2665 -1705 -1345 -9949 -9149 -4929 -4829 -4529 -3849 -3389 -3129 -2849 -1889 -1529 3125 -134 485 -8886 -8896 -9683 547 -9746 -8948 -587 -467 -387 -687 -407 -627 -727 -427 -9787 -8987 -3227 -9667 -8867 -2867 -2807 -2767 -2747 -2667 -2627 -2607 -2587 -2267 -9587 -8787 -1547 -1487 -1447 -1427 -1347 -1307 -1287 -1267 -1227 -1187 -9887 -9087 -4847 -4787 -4687 -4587 -3987 -3567 -3327 -3067 -2487 -1827 -9607 -8807 -1907 -1867 -1847 -1807 -1787 -1767 -1707 -1667 -1647 -1627 -1587 -9827 -9027 -4547 -4487 -4447 -4427 -3927 -3507 -3267 -3007 -2427 -9927 -9127 -4947 -4867 -4727 -4627 -3607 -3107 -2527 -9627 -8827 -2187 -2007 -1987 -1967 -725 -767 -9925 -9125 -4925 -3105 -1865 -9967 -3867 -3407 -3147 -37 -189 -772 -775 -771 -776 -780 -778 -777 -774 9966 3406 -85 3146 -19 -188 -405 -1920 -1918 -1917 -1916 -1915 -1914 -1912 -1911 -4960 -4958 -4957 -4956 -4955 -4954 -4952 -4951 -9972 -9172 -4852 -4552 -3872 -3412 -3152 -2872 -1552 -9975 -9175 -4855 -4555 -3875 -3415 -3155 -2875 -1555 -9971 -9171 -4851 -4551 -3871 -3411 -3151 -2871 -1551 -9976 -9176 -4856 -4556 -3876 -3416 -3156 -2876 -1556 -9980 -9180 -4860 -4560 -3880 -3420 -3160 -2880 -1560 -9978 -9178 -4858 -4558 -3878 -3418 -3158 -2878 -1558 -9977 -9177 -4857 -4557 -3877 -3417 -3157 -2877 -1557 -9974 -9174 -4854 -4554 -3874 -3414 -3154 -2874 -1554 506 486 111 -9605 -8805 -1885 -1825 -1765 -1645 -1625 -1185 -403 -404 -169 -184 -9705 -8907 -9703 3186 -8910 -9685 -8887 2886 2926 3385 -36 -9603 -8803 -1823 -1803 -1763 -1743 -1703 -1663 -1643 -1623 -1583 -1183 -401 -402 -8804 -1824 -1764 -1744 -1644 -1624 -1184 88 505 84 -384 -1621 -9601 -8801 -1761 -1741 -1701 -1661 -1641 -1581 -1181 -381 -383 -8802 -1822 -1802 -1762 -1742 -1702 -1662 -1642 -1622 -1582 -1182 -382 -683 -385 -9885 -685 -625 487 -8906 2885 -274 2845 -9584 -8784 -1384 -1284 -1264 -9585 -1261 -9681 -624 -9823 -29 -9581 -8781 -1381 -1341 -1301 -1281 -1221 -9583 -8783 -1443 -1383 -1343 -1303 -1283 -1263 -1223 -9884 -622 77 -9582 -8782 -1442 -1382 -1342 -1302 -1282 -1262 -1222 -9883 -9083 -4683 -4323 -3983 -3563 -3323 -3063 -2483 -682 -8785 -1525 -1285 -1265 -9085 -4825 -3325 -3065 -9825 -9025 -4525 -3265 -3005 -9686 -8888 -567 -527 -667 2927 488 -6643 465 508 -9824 -9024 -4264 -3264 -3004 -623 -11 -9702 -684 -9822 -9022 -4442 -4262 -3922 -3502 -3262 -3002 -2422 -621 -267 -9082 -4682 -4322 -3982 -3562 -3322 -3062 -2482 -18 507 -183 -168 -9767 -8967 -3667 -3207 -9727 -8927 -3587 -3427 -3167 -9867 -9067 -3767 -3307 -9687 -8889 3028 -9664 -473 -468 -469 -470 -471 -474 -475 -472 2585 -477 -480 -479 -478 -476 9665 -9663 2605 -9707 -8909 -728 2888 3288 -9023 -4443 -4263 -3923 -3503 -3263 -3003 -2423 -9084 -4324 -3324 -3064 -9821 -9021 -4261 -3921 -3501 -3261 -3001 -2421 -158 -6503 -9706 -8908 -8911 2887 3187 -9673 -8873 -2813 -2773 -2753 -2673 -2633 -2613 -2593 -2273 -9668 -8868 -2748 -2608 -2588 -9669 -8869 -2809 -2769 -2749 -2669 -2629 -2609 -2589 -2269 -9670 -8870 -2810 -2770 -2750 -2670 -2630 -2610 -2590 -2270 -9671 -8871 -2811 -2771 -2751 -2671 -2631 -2611 -2591 -2271 -9674 -8874 -2814 -2774 -2754 -2674 -2634 -2614 -2594 -2274 -9675 -8875 -2815 -2775 -2755 -2675 -2635 -2615 -2595 -2275 -9672 -8872 -2812 -2772 -2752 -2672 -2632 -2612 -2592 -2272 71 -9677 -8877 -2817 -2777 -2757 -2677 -2637 -2617 -2597 -2277 -9680 -8880 -2820 -2780 -2760 -2680 -2640 -2620 -2600 -2280 -9679 -8879 -2819 -2779 -2759 -2679 -2639 -2619 -2599 -2279 -9678 -8878 -2818 -2778 -2758 -2678 -2638 -2618 -2598 -2278 -9676 -8876 -2816 -2776 -2756 -2676 -2636 -2616 -2596 -2276 -9928 -9128 -4628 -3108 -1868 106 -155 -79 -82 31 -221 -5583 -803 -9203 -5703 -5683 -5643 -5603 -5543 -5523 -5503 -5403 -5383 -5363 9204 -227 -222 -226 -224 -219 -217 -211 311 -121 7382 -3600 -3599 -3598 -3597 -3596 -3595 -3594 -3593 -3592 -3591 -3590 -3589 96 1102 -9503 9502 8682 8402 8142 7802 7982 -822 6302 8502 8702 -9222 -6042 -6022 -5982 -5942 -5922 -5882 -5862 -5842 -5802 -5722 9223 6043 1143 6023 5943 1003 5883 5843 -10162 -232 1163 -10342 8023 8443 6343 10343 -863 1063 -10202 8183 8083 7883 10203 8103 6203 963 -10362 8043 8463 8203 10363 8563 6363 7863 8763 -9263 -6663 -6603 -6563 -6543 -6483 -6463 -6063 -5743 9264 -10262 8363 7943 10263 6263 8543 7703 7683 7743 7763 6163 10163 7843 -275 -272 -270 -269 -265 -245 -429 -9629 -8829 -2189 -2009 -1989 -1969 -8916 -423 -9623 -8823 -2003 -1983 -1963 422 -9621 -582 -462 -432 -431 -562 -430 -662 -722 -438 -439 9622 -433 -437 -434 -442 -435 -440 -436 -602 -9782 -8982 -3222 -9662 -8862 -2762 -2702 -2662 -2622 -2602 -2582 -2262 -461 -9632 -8832 -2192 -2012 -1992 -1972 -9631 -8831 -2191 -2011 -1991 -1971 -9762 -8962 -3202 -9630 -8830 -2190 -2010 -1990 -1970 -9862 -9062 -4722 -3302 -9922 -9122 -4362 -3602 -3102 -2522 -724 -9638 -8838 -2198 -2018 -1998 -1978 -9639 -8839 -2199 -2019 -1999 -1979 523 -9633 -8833 -2193 -2013 -1993 -1973 -9637 -8837 -2197 -2017 -1997 -1977 -9634 -8834 -2194 -2014 -1994 -1974 -9642 -8842 -2302 -2282 -9635 -8835 -2195 -2015 -1995 -1975 -9640 -8840 -2200 -2020 -2000 -1980 -9636 -8836 -2196 -2016 -1996 -1976 -9002 -3242 -2982 -601 -9661 -8861 -2701 -2661 -2621 -2601 -2581 -2261 502 -9924 -9124 -4364 -3104 -9722 -583 -533 -113 -443 -603 -663 -563 -483 -534 -529 9723 -535 -530 -539 -536 -532 -531 -537 -538 -540 -117 503 34 -51 -9001 -3241 -2981 2623 -8903 1982 -160 -9783 -8983 -3223 -9733 -8933 -3613 -3573 -3513 -3433 -3173 -1673 -1313 -3440 -3439 -3438 -3437 -3436 -3435 -3434 -3432 -3431 -3430 -3429 -9643 -8843 -2303 -2283 -2263 -9003 -3243 -2983 -2703 9004 -9863 -9063 -3303 -2763 -9763 -8963 -3203 -2663 -8883 -2883 -2583 -481 -482 -9734 -8934 -3614 -3574 -3514 -3174 -1674 -1314 -9729 -8929 -3609 -3569 -3509 -3169 -1669 -1309 -9735 -8935 -3615 -3575 -3515 -3175 -1675 -1315 -9730 -8930 -3610 -3570 -3510 -3170 -1670 -1310 -9739 -8939 -3619 -3579 -3519 -3179 -1679 -1319 -9736 -8936 -3616 -3576 -3516 -3176 -1676 -1316 -9732 -8932 -3612 -3572 -3512 -3172 -1672 -1312 -9731 -8931 -3611 -3571 -3511 -3171 -1671 -1311 -9737 -8937 -3617 -3577 -3517 -3177 -1677 -1317 -9738 -8938 -3618 -3578 -3518 -3178 -1678 -1318 -9740 -8940 -3620 -3580 -3520 -3180 -1680 -1320 -8904 3163 504 42 2984 73 463 -122 104 -55 2704 -80 -75 -8881 -2881 -2281 -1961 -8882 -2882 -1962 -40 -25 -120 -7 -8905 510 3244 484 522 464 -8864 2603 8863 21 3 32 27 -9641 -441 5 -10390 -9709 -8915 -730 509 -8885 2584 2884 8884 -9721 -8923 2002 3162 -8865 2604 -9647 -447 -8841 -2301 -10389 -9930 -9130 -4870 -4730 -4630 -3110 -2530 -1870 -9708 -729 -8914 -8847 -2347 -2307 -2287 -9929 -9129 -4869 -4729 -4629 -3109 -2529 -1869 -561 -9761 -8961 -3201 9781 581 3221 -521 -421 8981 -593 -594 -595 -592 -591 -590 -589 -596 -600 -599 -597 -598 501 -8921 -3161 -2001 8922 -8821 -1981 8822 -9793 -8993 -3233 -9794 -8994 -3234 -9795 -8995 -3235 -9792 -8992 -3232 -9791 -8991 -3231 -9790 -8990 -3230 -9789 -8989 -3229 -9796 -8996 -3236 -9800 -9000 -3240 -9799 -8999 -3239 -9797 -8997 -3237 -9798 -8998 -3238 -8902 8901 511 -10391 -9710 -8912 -731 -520 -9931 -9131 -4871 -4731 -4631 -3111 -2531 -1871 -9720 -8920 -3360 -3340 -3320 -3300 -3280 -3220 -3200 -2900 -2320 -1660 -1300 -8913 -649 -9849 -4589 -4429 -3749 -3289 -3029 -1789 -1429 9848 -658 -654 -660 -652 -651 -659 -650 -655 -657 -653 -656 1788 -9858 -9058 -4638 -4598 -4438 -3758 -3298 -3038 -1798 -1438 -9854 -4634 -4594 -4434 -3754 -3294 -3034 -1794 -1434 -9860 -9060 -4640 -4600 -4440 -3760 -3040 -1800 -1440 -9852 -9052 -4632 -4592 -4432 -3752 -3292 -3032 -1792 -1432 -9851 -9051 -4591 -4431 -3751 -3291 -3031 -1791 -1431 -9859 -9059 -4639 -4599 -4439 -3759 -3299 -3039 -1799 -1439 -9850 -9050 -4590 -4430 -3750 -3290 -3030 -1790 -1430 -9855 -9055 -4635 -4595 -4435 -3755 -3295 -3035 -1795 -1435 -9857 -9057 -4637 -4597 -4437 -3757 -3297 -3037 -1797 -1437 -9853 -9053 -4633 -4593 -4433 -3753 -3293 -3033 -1793 -1433 -9856 -9056 -4636 -4596 -4436 -3756 -3296 -3036 -1796 -1436 408 -173 -8809 -2928 -548 8808 1648 1628 409 -9748 -3748 -3188 -551 -560 -550 -549 -552 -559 -557 -554 -558 -556 -553 -555 9747 -9608 -8810 1649 412 410 -9751 -8951 -3811 -3771 -3671 -3191 -2931 -2351 -9760 -8960 -3820 -3780 -3680 -2940 -2360 -9750 -8950 -3810 -3770 -3670 -3190 -2930 -2350 -9749 -8949 -3809 -3769 -3669 -3189 -2929 -2349 -9752 -8952 -3812 -3772 -3672 -3192 -2932 -2352 -9759 -8959 -3819 -3779 -3679 -3199 -2939 -2359 -9757 -8957 -3817 -3777 -3677 -3197 -2937 -2357 -9754 -8954 -3814 -3774 -3674 -3194 -2934 -2354 -9758 -8958 -3818 -3778 -3678 -3198 -2938 -2358 -9756 -8956 -3816 -3776 -3676 -3196 -2936 -2356 -9753 -8953 -3813 -3773 -3673 -3193 -2933 -2353 -9755 -8955 -3815 -3775 -3675 -3195 -2935 -2355 -10392 -9611 -8813 411 -9609 -8811 1650 -130 -59 -125 -9610 -8812 1651 393 -10393 -9592 -8794 -9590 -9589 -733 -693 -633 -9933 -9133 -4873 -4733 -3113 -2533 -1873 -9893 -9093 -4793 -4693 -3993 -3333 -3073 -2493 -1833 -9833 -9033 -4493 -4453 -3933 -3273 -3013 -2433 -1773 -689 -9889 -9089 -4789 -4689 -3989 -3329 -3069 -2489 -1829 -712 -9912 -9112 -4872 -4792 -4492 -3352 -3092 -1852 -1492 -493 -9693 -8893 -3093 -2893 -2293 -1633 -1273 -497 -494 -498 -496 -9697 -8897 -3117 -3097 -3077 -3017 -2897 -2297 -1637 -1277 -499 -500 -9694 -8894 -3114 -3094 -3074 -3014 -2894 -2294 -1634 -1274 -495 -9698 -8898 -3118 -3098 -3078 -3018 -2898 -2298 -1638 -1278 -9696 -3116 -3096 -3076 -3016 -2896 -2296 -1636 -1276 -9699 -8899 -3119 -3099 -3079 -3019 -2899 -2299 -1639 -1279 -9700 -8900 -3120 -3100 -3080 -3020 -2300 -1640 -1280 -9695 -8895 -3115 -3095 -3075 -3015 -2895 -2295 -1635 -1275 489 392 -9688 -8890 -1349 2889 -669 -569 1629 -9591 -8793 -732 -692 -632 1192 -9869 -9069 -4449 -3309 -1809 -1449 -9769 -8969 -3929 -3209 -1709 -670 -9932 -9132 -4732 -3112 -2532 -1872 -9892 -9092 -4692 -3992 -3332 -3072 -2492 -1832 -9832 -9032 -4452 -3932 -3272 -3012 -2432 -1772 -9870 -9070 -4690 -4450 -3310 -1810 -1450 -97 414 413 178 -10394 -9613 -8815 -8817 -8819 -9612 -8814 1193 -672 -9872 -9072 -3312 -1812 -1452 -1811 -671 -9871 -9071 -4691 -4451 -3311 -1451 8972 -571 572 -9771 -8971 -3991 -3931 -3211 -1711 -1351 -8973 -452 -492 -570 1352 1712 -9652 -8852 -2312 -2292 -1592 -1232 -453 -9692 -8892 -2892 -1632 -1272 -9770 -8970 -3990 -3930 -3210 -1710 -1350 9 -9653 -8853 -2313 -1593 -1233 391 3212 -8792 1191 -691 -631 1291 512 -9891 -9091 -4791 -3331 -3071 -2491 -1831 -9831 -9031 -4491 -3271 -3011 -2431 -1771 -9711 1652 1292 9712 -513 -9713 -3353 -3313 -3213 -1653 -1293 -516 -515 -518 -517 -514 -519 -107 -9716 -3356 -3336 -3316 -3276 -3216 -2316 -1656 -1296 -9715 -3355 -3335 -3315 -3275 -3215 -2315 -1655 -1295 -9718 -8918 -3358 -3338 -3318 -3278 -3218 -2318 -1658 -1298 -9717 -8917 -3357 -3337 -3317 -3277 -3217 -2317 -1657 -1297 -9714 -3354 -3334 -3314 -3274 -3214 -2314 -1654 -1294 -9719 -8919 -3359 -3339 -3319 -3279 -3219 -2319 -1659 -1299 109 -457 -8856 -458 9073 -698 -9113 -9657 -8857 -2537 -2497 -2437 -1597 -1237 -9658 -8858 -2538 -2498 -2438 -1598 -1238 673 -9898 -9098 -4798 -4698 -3998 -1838 -713 -9074 674 -574 -573 -577 -578 -579 -575 -576 -580 1813 1453 -9913 -1853 -1493 -9873 -9075 -454 -714 1814 -141 -9774 -8974 -3994 -3934 -1714 -1354 -9773 -1713 -1353 9772 -9777 -8977 -3997 -3937 -1717 -1357 -9778 -8978 -3938 -1718 -1358 -9779 -8979 -3999 -3939 -1719 -1359 -9775 -8975 -3995 -3935 -1715 -1355 -9776 -8976 -3996 -3936 -1716 -1356 -9780 -8980 -4000 -3940 -1720 -1360 14 9593 -9654 -8854 -2534 -2494 -2434 -1594 -1234 -9914 -9114 -4874 -4794 -4494 -1854 -1494 95 -138 -394 -395 -1235 -696 -699 -630 -697 92 -9594 -1454 -1194 -396 -400 -397 -399 -398 -9595 -8795 -1495 -1455 -1195 -9896 -9096 -4796 -4696 -2496 -1836 -9899 -9099 -4799 -4699 -2499 -1839 -9830 -9030 -4490 -3270 -3010 -2430 -1770 -9897 -9097 -4797 -4697 -1837 -700 -640 -9596 -8796 -1496 -1456 -1236 -1196 -9600 -8800 -1500 -1460 -1240 -1200 -9597 -8797 -1497 -1457 -1197 -9599 -8799 -1499 -1459 -1239 -1199 -9598 -8798 -1498 -1458 -1198 -9900 -9100 -4800 -4700 -2500 -1840 -9840 -9040 -4500 -4460 -2440 -1780 629 -9828 -389 3269 1769 3009 -634 9829 -638 -636 -639 -635 -637 3070 -8789 -1489 -1289 -1269 -1229 -1189 -388 -9834 -9034 -4454 -1774 -9838 -9038 -4498 -4458 -1778 -9836 -9036 -4496 -4456 -2436 -1776 -9839 -9039 -4499 -4459 -2439 -1779 -9835 -9035 -4495 -4455 -2435 -1775 -9837 -9037 -4497 -4457 -1777 490 690 -9588 -8788 -1428 -1288 -1268 -1188 -164 -9689 -8891 2890 1630 3330 -9095 -390 1830 -694 9090 -688 9890 -695 -13 -8790 -1490 -1290 -1270 -1230 -1190 8791 1271 -9894 -9094 -4694 -1834 -9888 -9088 -4588 -3328 -3068 -1828 -9895 -4795 -4695 -2495 -1835 -9029 491 1231 9134 -176 -171 628 -9690 2891 9691 1631 451 734 163 1768 3268 9028 3008 4428 -9650 -9649 -711 2291 1591 2311 -459 -456 -455 -460 9651 -9135 1874 4734 -9911 -9111 -3351 -3091 -1851 -1491 -9659 -8859 -2539 -1599 -9656 -2536 -1596 -9655 -8855 -2535 -1595 -9660 -8860 -2540 -1600 -68 -16 -449 -8849 -2429 -2309 -2289 -1589 9109 -707 -63 709 -9907 -9107 -3807 -3347 -3087 -9110 -9118 3349 3089 1849 -717 4489 -716 -719 9047 -132 -718 -9917 -9117 -4877 -1857 166 -9916 -9116 -4876 -1856 -9919 -9119 -4879 -1859 647 -9918 -4878 -1858 -9048 3027 3287 3747 129 710 -9909 1850 -715 9910 -720 3090 -450 3350 4790 -9915 -9115 -4875 -1855 -9920 -9120 -4880 -1860 -8850 -2490 -2310 -2290 -1590 8851 181 10395 -185 -66 -735 -675 -415 10396 -9935 -4735 -1875 -736 -739 -737 9934 -740 -738 -9875 -1815 -680 -678 -676 -679 -677 9874 -9615 -417 -418 -416 -420 -419 9614 10397 -9936 -9136 -4736 -1876 -9939 -9139 -4739 -1879 -9937 -9137 -4737 -1877 -9940 -9140 -4740 -1880 10400 -9938 -9138 -4738 -1878 -9880 -9080 -1820 -9878 -9078 -1818 -9876 -9076 -1816 -9879 -9079 -1819 -9877 -9077 -1817 -9617 -9618 -8818 10398 -9616 -8816 -9620 -8820 -9619 10399 8403 1103 -10302 7983 5983 6303 8703 8503 7803 10303 8143 8683 241  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-3291188-1303790203/watcher-3291188-1303790203 -o /tmp/evaluation-result-3291188-1303790203/solver-3291188-1303790203 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3291188-1303790203.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: 1.17 1.44 2.56 5/200 29845
/proc/meminfo: memFree=31661732/32951124 swapFree=67111364/67111528
[pid=29845] ppid=29843 vsize=21252 CPUtime=0 cores=0,2
/proc/29845/stat : 29845 (mono) R 29843 29845 28853 0 -1 4202496 480 0 0 0 0 0 0 0 25 0 1 0 490620734 21762048 409 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652686224 0 0 4096 545260780 0 0 0 17 0 0 0 0
/proc/29845/statm: 5313 409 355 742 0 179 0
[pid=29845/tid=29846] ppid=29843 vsize=41740 CPUtime=0 cores=0,2
/proc/29845/task/29846/stat : 29846 (mono) R 29843 29845 28853 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 3 0 490620734 42741760 414 33554432000 4194304 7232020 140733531006448 18446744073709551615 253640915953 0 0 4096 545260780 0 0 0 -1 0 0 0 0
[pid=29845/tid=29847] ppid=29843 vsize=62228 CPUtime=0 cores=0,2
/proc/29845/task/29847/stat : 29847 (mono) S 29843 29845 28853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 490620734 63721472 421 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29848] ppid=29843 vsize=92960 CPUtime=0 cores=0,2
/proc/29845/task/29848/stat : 29848 (mono) R 29843 29845 28853 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 490620734 95191040 424 33554432000 4194304 7232020 140733531006448 18446744073709551615 253640915953 0 0 4096 545260780 0 0 0 -1 0 0 0 0
[pid=29845/tid=29849] ppid=29843 vsize=93024 CPUtime=0 cores=0,2
/proc/29845/task/29849/stat : 29849 (mono) R 29843 29845 28853 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 490620734 95256576 434 33554432000 4194304 7232020 140733531006448 18446744073709551615 253640915953 0 0 4096 545260780 0 0 0 -1 0 0 0 0
[pid=29845/tid=29850] ppid=29843 vsize=93152 CPUtime=0 cores=0,2
/proc/29845/task/29850/stat : 29850 (mono) R 29843 29845 28853 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 490620734 95387648 451 33554432000 4194304 7232020 140733531006448 18446744073709551615 253640915953 0 0 4096 545260780 0 0 0 -1 0 0 0 0
[pid=29845/tid=29851] ppid=29843 vsize=93152 CPUtime=0 cores=0,2
/proc/29845/task/29851/stat : 29851 (mono) R 29843 29845 28853 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 490620734 95387648 459 33554432000 4194304 7232020 140733531006448 18446744073709551615 253640915953 0 0 4096 545260780 0 0 0 -1 0 0 0 0
[pid=29845/tid=29852] ppid=29843 vsize=93152 CPUtime=0 cores=0,2
/proc/29845/task/29852/stat : 29852 (mono) R 29843 29845 28853 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 490620734 95387648 472 33554432000 4194304 7232020 140733531006448 18446744073709551615 253640915953 0 0 4096 545260780 0 0 0 -1 0 0 0 0

[startup+0.0375959 s]
/proc/loadavg: 1.17 1.44 2.56 5/200 29845
/proc/meminfo: memFree=31661732/32951124 swapFree=67111364/67111528
[pid=29845] ppid=29843 vsize=111252 CPUtime=0.02 cores=0,2
/proc/29845/stat : 29845 (mono) R 29843 29845 28853 0 -1 4202496 2848 0 0 0 2 0 0 0 25 0 9 0 490620734 113922048 2750 33554432000 4194304 7232020 140733531006448 18446744073709551615 253640553419 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/29845/statm: 27813 2754 976 742 0 20384 0
[pid=29845/tid=29846] ppid=29843 vsize=111252 CPUtime=0 cores=0,2
/proc/29845/task/29846/stat : 29846 (mono) S 29843 29845 28853 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 490620734 113922048 2756 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29847] ppid=29843 vsize=111252 CPUtime=0 cores=0,2
/proc/29845/task/29847/stat : 29847 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 490620734 113922048 2758 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29848] ppid=29843 vsize=111252 CPUtime=0 cores=0,2
/proc/29845/task/29848/stat : 29848 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 490620734 113922048 2761 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29849] ppid=29843 vsize=111252 CPUtime=0 cores=0,2
/proc/29845/task/29849/stat : 29849 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 490620734 113922048 2764 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29850] ppid=29843 vsize=111252 CPUtime=0 cores=0,2
/proc/29845/task/29850/stat : 29850 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 490620734 113922048 2767 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29851] ppid=29843 vsize=113088 CPUtime=0 cores=0,2
/proc/29845/task/29851/stat : 29851 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 490620734 115802112 2768 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29852] ppid=29843 vsize=113088 CPUtime=0 cores=0,2
/proc/29845/task/29852/stat : 29852 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 490620734 115802112 2770 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 111252

[startup+0.100554 s]
/proc/loadavg: 1.17 1.44 2.56 5/200 29845
/proc/meminfo: memFree=31661732/32951124 swapFree=67111364/67111528
[pid=29845] ppid=29843 vsize=113152 CPUtime=0.09 cores=0,2
/proc/29845/stat : 29845 (mono) R 29843 29845 28853 0 -1 4202496 3320 0 0 0 9 0 0 0 25 0 9 0 490620734 115867648 3222 33554432000 4194304 7232020 140733531006448 18446744073709551615 5710059 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/29845/statm: 28288 3222 976 742 0 20859 0
[pid=29845/tid=29846] ppid=29843 vsize=113152 CPUtime=0 cores=0,2
/proc/29845/task/29846/stat : 29846 (mono) S 29843 29845 28853 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 490620734 115867648 3222 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29847] ppid=29843 vsize=113152 CPUtime=0 cores=0,2
/proc/29845/task/29847/stat : 29847 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 490620734 115867648 3222 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29848] ppid=29843 vsize=113152 CPUtime=0 cores=0,2
/proc/29845/task/29848/stat : 29848 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 490620734 115867648 3222 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29849] ppid=29843 vsize=113152 CPUtime=0 cores=0,2
/proc/29845/task/29849/stat : 29849 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 490620734 115867648 3222 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29850] ppid=29843 vsize=113152 CPUtime=0 cores=0,2
/proc/29845/task/29850/stat : 29850 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 490620734 115867648 3222 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29851] ppid=29843 vsize=113152 CPUtime=0 cores=0,2
/proc/29845/task/29851/stat : 29851 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 490620734 115867648 3222 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29852] ppid=29843 vsize=113152 CPUtime=0 cores=0,2
/proc/29845/task/29852/stat : 29852 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 490620734 115867648 3222 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 113152

[startup+0.310597 s]
/proc/loadavg: 1.17 1.44 2.56 5/200 29845
/proc/meminfo: memFree=31661732/32951124 swapFree=67111364/67111528
[pid=29845] ppid=29843 vsize=118992 CPUtime=0.32 cores=0,2
/proc/29845/stat : 29845 (mono) S 29843 29845 28853 0 -1 4202496 4352 0 0 0 31 1 0 0 18 0 9 0 490620734 121847808 4254 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652683185 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/29845/statm: 29748 4254 976 742 0 22319 0
[pid=29845/tid=29846] ppid=29843 vsize=118992 CPUtime=0 cores=0,2
/proc/29845/task/29846/stat : 29846 (mono) S 29843 29845 28853 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 490620734 121847808 4254 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29847] ppid=29843 vsize=118992 CPUtime=0 cores=0,2
/proc/29845/task/29847/stat : 29847 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 490620734 121847808 4254 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29848] ppid=29843 vsize=118992 CPUtime=0 cores=0,2
/proc/29845/task/29848/stat : 29848 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 490620734 121847808 4254 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29849] ppid=29843 vsize=118992 CPUtime=0 cores=0,2
/proc/29845/task/29849/stat : 29849 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 490620734 121847808 4254 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29850] ppid=29843 vsize=118992 CPUtime=0 cores=0,2
/proc/29845/task/29850/stat : 29850 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 490620734 121847808 4254 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29851] ppid=29843 vsize=118992 CPUtime=0 cores=0,2
/proc/29845/task/29851/stat : 29851 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 490620734 121847808 4254 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29852] ppid=29843 vsize=118992 CPUtime=0 cores=0,2
/proc/29845/task/29852/stat : 29852 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 490620734 121847808 4254 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 118992

[startup+0.704515 s]
/proc/loadavg: 1.17 1.44 2.56 5/200 29845
/proc/meminfo: memFree=31661732/32951124 swapFree=67111364/67111528
[pid=29845] ppid=29843 vsize=129400 CPUtime=0.76 cores=0,2
/proc/29845/stat : 29845 (mono) R 29843 29845 28853 0 -1 4202496 6880 0 0 0 74 2 0 0 18 0 9 0 490620734 132505600 6782 33554432000 4194304 7232020 140733531006448 18446744073709551615 253640552144 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/29845/statm: 32350 6782 976 742 0 24921 0
[pid=29845/tid=29846] ppid=29843 vsize=129400 CPUtime=0.01 cores=0,2
/proc/29845/task/29846/stat : 29846 (mono) S 29843 29845 28853 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 9 0 490620734 132505600 6782 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29847] ppid=29843 vsize=129400 CPUtime=0.01 cores=0,2
/proc/29845/task/29847/stat : 29847 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 490620734 132505600 6782 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29848] ppid=29843 vsize=129400 CPUtime=0.02 cores=0,2
/proc/29845/task/29848/stat : 29848 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 490620734 132505600 6782 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29849] ppid=29843 vsize=129400 CPUtime=0.02 cores=0,2
/proc/29845/task/29849/stat : 29849 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 490620734 132505600 6782 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29850] ppid=29843 vsize=129400 CPUtime=0.01 cores=0,2
/proc/29845/task/29850/stat : 29850 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 490620734 132505600 6782 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29851] ppid=29843 vsize=129400 CPUtime=0.01 cores=0,2
/proc/29845/task/29851/stat : 29851 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 490620734 132505600 6782 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29852] ppid=29843 vsize=129400 CPUtime=0.01 cores=0,2
/proc/29845/task/29852/stat : 29852 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 490620734 132505600 6782 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 129400

[startup+1.50131 s]
/proc/loadavg: 1.17 1.44 2.56 5/222 29868
/proc/meminfo: memFree=31568936/32951124 swapFree=67111364/67111528
[pid=29845] ppid=29843 vsize=145776 CPUtime=1.65 cores=0,2
/proc/29845/stat : 29845 (mono) R 29843 29845 28853 0 -1 4202496 10718 0 0 0 162 3 0 0 18 0 9 0 490620734 149274624 10620 33554432000 4194304 7232020 140733531006448 18446744073709551615 1172104256 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/29845/statm: 36444 10620 976 742 0 29015 0
[pid=29845/tid=29846] ppid=29843 vsize=145776 CPUtime=0.04 cores=0,2
/proc/29845/task/29846/stat : 29846 (mono) S 29843 29845 28853 0 -1 4202560 4 0 0 0 4 0 0 0 16 0 9 0 490620734 149274624 10620 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29847] ppid=29843 vsize=145776 CPUtime=0.03 cores=0,2
/proc/29845/task/29847/stat : 29847 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 490620734 149274624 10620 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29848] ppid=29843 vsize=145776 CPUtime=0.04 cores=0,2
/proc/29845/task/29848/stat : 29848 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 490620734 149274624 10620 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29849] ppid=29843 vsize=145776 CPUtime=0.05 cores=0,2
/proc/29845/task/29849/stat : 29849 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 490620734 149274624 10620 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29850] ppid=29843 vsize=145776 CPUtime=0.04 cores=0,2
/proc/29845/task/29850/stat : 29850 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 490620734 149274624 10620 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29851] ppid=29843 vsize=145776 CPUtime=0.03 cores=0,2
/proc/29845/task/29851/stat : 29851 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 490620734 149274624 10620 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29852] ppid=29843 vsize=145776 CPUtime=0.03 cores=0,2
/proc/29845/task/29852/stat : 29852 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 490620734 149274624 10620 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29854] ppid=29843 vsize=145776 CPUtime=0 cores=0,2
/proc/29845/task/29854/stat : 29854 (mono) S 29843 29845 28853 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 490620735 149274624 10620 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652683185 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 145776

[startup+3.10528 s]
/proc/loadavg: 1.55 1.52 2.58 5/222 29868
/proc/meminfo: memFree=31494164/32951124 swapFree=67111364/67111528
[pid=29845] ppid=29843 vsize=242280 CPUtime=3.36 cores=0,2
/proc/29845/stat : 29845 (mono) R 29843 29845 28853 0 -1 4202496 33435 0 0 0 329 7 0 0 18 0 9 0 490620734 248094720 33337 33554432000 4194304 7232020 140733531006448 18446744073709551615 6173352 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/29845/statm: 60570 33337 996 742 0 53141 0
[pid=29845/tid=29846] ppid=29843 vsize=242280 CPUtime=0.06 cores=0,2
/proc/29845/task/29846/stat : 29846 (mono) R 29843 29845 28853 0 -1 4202560 4 0 0 0 6 0 0 0 15 0 9 0 490620734 248094720 33337 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652676751 0 0 4096 545260780 0 0 0 -1 0 0 0 0
[pid=29845/tid=29847] ppid=29843 vsize=242280 CPUtime=0.07 cores=0,2
/proc/29845/task/29847/stat : 29847 (mono) R 29843 29845 28853 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 490620734 248094720 33337 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 0 0 0 -1 0 0 0 0
[pid=29845/tid=29848] ppid=29843 vsize=242280 CPUtime=0.09 cores=0,2
/proc/29845/task/29848/stat : 29848 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 490620734 248094720 33337 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29849] ppid=29843 vsize=242280 CPUtime=0.08 cores=0,2
/proc/29845/task/29849/stat : 29849 (mono) R 29843 29845 28853 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 490620734 248094720 33337 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 0 0 0 -1 2 0 0 0
[pid=29845/tid=29850] ppid=29843 vsize=242280 CPUtime=0.06 cores=0,2
/proc/29845/task/29850/stat : 29850 (mono) R 29843 29845 28853 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 490620734 248094720 33337 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652685493 0 0 4096 545260780 0 0 0 -1 0 0 0 0
[pid=29845/tid=29851] ppid=29843 vsize=242280 CPUtime=0.06 cores=0,2
/proc/29845/task/29851/stat : 29851 (mono) R 29843 29845 28853 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 490620734 248094720 33337 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 0 0 0 -1 2 0 0 0
[pid=29845/tid=29852] ppid=29843 vsize=242280 CPUtime=0.09 cores=0,2
/proc/29845/task/29852/stat : 29852 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 490620734 248094720 33337 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29854] ppid=29843 vsize=242280 CPUtime=0 cores=0,2
/proc/29845/task/29854/stat : 29854 (mono) S 29843 29845 28853 0 -1 4194368 3 0 0 0 0 0 0 0 15 0 9 0 490620735 248094720 33337 33554432000 4194304 7232020 140733531006448 18446744073709551615 253640247231 0 2138816217 4096 545260780 18446744071562694473 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.36
Current children cumulated vsize (KiB) 242280

[startup+6.30048 s]
/proc/loadavg: 1.55 1.52 2.58 5/222 29868
/proc/meminfo: memFree=30989000/32951124 swapFree=67111364/67111528
[pid=29845] ppid=29843 vsize=483180 CPUtime=6.66 cores=0,2
/proc/29845/stat : 29845 (mono) R 29843 29845 28853 0 -1 4202496 94645 0 0 0 651 15 0 0 25 0 9 0 490620734 494776320 94546 33554432000 4194304 7232020 140733531006448 18446744073709551615 1098577776 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/29845/statm: 120795 94546 1024 742 0 113366 0
[pid=29845/tid=29846] ppid=29843 vsize=483180 CPUtime=0.08 cores=0,2
/proc/29845/task/29846/stat : 29846 (mono) S 29843 29845 28853 0 -1 4202560 4 0 0 0 8 0 0 0 15 0 9 0 490620734 494776320 94546 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29847] ppid=29843 vsize=483180 CPUtime=0.07 cores=0,2
/proc/29845/task/29847/stat : 29847 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 490620734 494776320 94546 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29848] ppid=29843 vsize=483180 CPUtime=0.12 cores=0,2
/proc/29845/task/29848/stat : 29848 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 12 0 0 0 16 0 9 0 490620734 494776320 94546 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29849] ppid=29843 vsize=483180 CPUtime=0.1 cores=0,2
/proc/29845/task/29849/stat : 29849 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 490620734 494776320 94546 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29850] ppid=29843 vsize=483180 CPUtime=0.07 cores=0,2
/proc/29845/task/29850/stat : 29850 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 7 0 0 0 16 0 9 0 490620734 494776320 94546 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0

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

/proc/29845/stat : 29845 (mono) R 29843 29845 28853 0 -1 4202496 106825 0 0 0 7227 18 0 0 25 0 9 0 490620734 495562752 80500 33554432000 4194304 7232020 140733531006448 18446744073709551615 1172153433 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/29845/statm: 120987 80500 1025 742 0 113558 0
[pid=29845/tid=29846] ppid=29843 vsize=483948 CPUtime=0.38 cores=0,2
/proc/29845/task/29846/stat : 29846 (mono) S 29843 29845 28853 0 -1 4202560 4 0 0 0 38 0 0 0 16 0 9 0 490620734 495562752 80500 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29847] ppid=29843 vsize=483948 CPUtime=0.43 cores=0,2
/proc/29845/task/29847/stat : 29847 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 43 0 0 0 16 0 9 0 490620734 495562752 80500 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29848] ppid=29843 vsize=483948 CPUtime=0.37 cores=0,2
/proc/29845/task/29848/stat : 29848 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 37 0 0 0 15 0 9 0 490620734 495562752 80500 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29849] ppid=29843 vsize=483948 CPUtime=0.44 cores=0,2
/proc/29845/task/29849/stat : 29849 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 44 0 0 0 16 0 9 0 490620734 495562752 80500 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29850] ppid=29843 vsize=483948 CPUtime=0.32 cores=0,2
/proc/29845/task/29850/stat : 29850 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 32 0 0 0 16 0 9 0 490620734 495562752 80500 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29851] ppid=29843 vsize=483948 CPUtime=0.38 cores=0,2
/proc/29845/task/29851/stat : 29851 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 38 0 0 0 15 0 9 0 490620734 495562752 80500 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29852] ppid=29843 vsize=483948 CPUtime=0.43 cores=0,2
/proc/29845/task/29852/stat : 29852 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 43 0 0 0 15 0 9 0 490620734 495562752 80500 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29854] ppid=29843 vsize=483948 CPUtime=0 cores=0,2
/proc/29845/task/29854/stat : 29854 (mono) S 29843 29845 28853 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 490620735 495562752 80500 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652683185 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 72.45
Current children cumulated vsize (KiB) 483948

[startup+77.3006 s]
/proc/loadavg: 3.24 2.03 2.68 5/222 29905
/proc/meminfo: memFree=27036644/32951124 swapFree=67111364/67111528
[pid=29845] ppid=29843 vsize=484076 CPUtime=78.97 cores=0,2
/proc/29845/stat : 29845 (mono) R 29843 29845 28853 0 -1 4202496 109779 0 0 0 7878 19 0 0 25 0 9 0 490620734 495693824 83454 33554432000 4194304 7232020 140733531006448 18446744073709551615 1172152734 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/29845/statm: 121019 83454 1035 742 0 113590 0
[pid=29845/tid=29846] ppid=29843 vsize=484076 CPUtime=0.38 cores=0,2
/proc/29845/task/29846/stat : 29846 (mono) S 29843 29845 28853 0 -1 4202560 4 0 0 0 38 0 0 0 15 0 9 0 490620734 495693824 83454 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29847] ppid=29843 vsize=484076 CPUtime=0.48 cores=0,2
/proc/29845/task/29847/stat : 29847 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 48 0 0 0 16 0 9 0 490620734 495693824 83454 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29848] ppid=29843 vsize=484076 CPUtime=0.4 cores=0,2
/proc/29845/task/29848/stat : 29848 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 40 0 0 0 16 0 9 0 490620734 495693824 83454 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29849] ppid=29843 vsize=484076 CPUtime=0.47 cores=0,2
/proc/29845/task/29849/stat : 29849 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 47 0 0 0 16 0 9 0 490620734 495693824 83454 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29850] ppid=29843 vsize=484076 CPUtime=0.33 cores=0,2
/proc/29845/task/29850/stat : 29850 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 33 0 0 0 16 0 9 0 490620734 495693824 83454 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29851] ppid=29843 vsize=484076 CPUtime=0.44 cores=0,2
/proc/29845/task/29851/stat : 29851 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 44 0 0 0 16 0 9 0 490620734 495693824 83454 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29852] ppid=29843 vsize=484076 CPUtime=0.46 cores=0,2
/proc/29845/task/29852/stat : 29852 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 46 0 0 0 16 0 9 0 490620734 495693824 83454 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29854] ppid=29843 vsize=484076 CPUtime=0 cores=0,2
/proc/29845/task/29854/stat : 29854 (mono) S 29843 29845 28853 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 490620735 495693824 83454 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652683185 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 78.97
Current children cumulated vsize (KiB) 484076

[startup+80.5077 s]
/proc/loadavg: 3.30 2.07 2.69 5/222 29905
/proc/meminfo: memFree=27029204/32951124 swapFree=67111364/67111528
[pid=29845] ppid=29843 vsize=484204 CPUtime=82.26 cores=0,2
/proc/29845/stat : 29845 (mono) R 29843 29845 28853 0 -1 4202496 111202 0 0 0 8207 19 0 0 25 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652685493 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/29845/statm: 121051 84877 1035 742 0 113622 0
[pid=29845/tid=29846] ppid=29843 vsize=484204 CPUtime=0.4 cores=0,2
/proc/29845/task/29846/stat : 29846 (mono) R 29843 29845 28853 0 -1 4202560 4 0 0 0 40 0 0 0 15 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 0 0 0 -1 0 0 0 0
[pid=29845/tid=29847] ppid=29843 vsize=484204 CPUtime=0.49 cores=0,2
/proc/29845/task/29847/stat : 29847 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 49 0 0 0 15 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29848] ppid=29843 vsize=484204 CPUtime=0.4 cores=0,2
/proc/29845/task/29848/stat : 29848 (mono) R 29843 29845 28853 0 -1 4202560 2 0 0 0 40 0 0 0 15 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 0 0 0 -1 2 0 0 0
[pid=29845/tid=29849] ppid=29843 vsize=484204 CPUtime=0.51 cores=0,2
/proc/29845/task/29849/stat : 29849 (mono) R 29843 29845 28853 0 -1 4202560 2 0 0 0 51 0 0 0 16 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 0 0 0 -1 0 0 0 0
[pid=29845/tid=29850] ppid=29843 vsize=484204 CPUtime=0.35 cores=0,2
/proc/29845/task/29850/stat : 29850 (mono) R 29843 29845 28853 0 -1 4202560 2 0 0 0 35 0 0 0 16 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 0 0 0 -1 2 0 0 0
[pid=29845/tid=29851] ppid=29843 vsize=484204 CPUtime=0.47 cores=0,2
/proc/29845/task/29851/stat : 29851 (mono) R 29843 29845 28853 0 -1 4202560 2 0 0 0 47 0 0 0 16 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 0 0 0 -1 2 0 0 0
[pid=29845/tid=29852] ppid=29843 vsize=484204 CPUtime=0.47 cores=0,2
/proc/29845/task/29852/stat : 29852 (mono) R 29843 29845 28853 0 -1 4202560 2 0 0 0 47 0 0 0 15 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 6173313 0 0 4096 545260780 0 0 0 -1 0 0 0 0
[pid=29845/tid=29854] ppid=29843 vsize=484204 CPUtime=0 cores=0,2
/proc/29845/task/29854/stat : 29854 (mono) S 29843 29845 28853 0 -1 4194368 3 0 0 0 0 0 0 0 15 0 9 0 490620735 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253640247231 0 2138816217 4096 545260780 18446744071562694473 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 82.26
Current children cumulated vsize (KiB) 484204

[startup+81.3008 s]
/proc/loadavg: 3.30 2.07 2.69 5/222 29905
/proc/meminfo: memFree=27028088/32951124 swapFree=67111364/67111528
[pid=29845] ppid=29843 vsize=484204 CPUtime=83.06 cores=0,2
/proc/29845/stat : 29845 (mono) R 29843 29845 28853 0 -1 4202496 111202 0 0 0 8287 19 0 0 25 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 1172152741 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/29845/statm: 121051 84877 1035 742 0 113622 0
[pid=29845/tid=29846] ppid=29843 vsize=484204 CPUtime=0.4 cores=0,2
/proc/29845/task/29846/stat : 29846 (mono) S 29843 29845 28853 0 -1 4202560 4 0 0 0 40 0 0 0 15 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29847] ppid=29843 vsize=484204 CPUtime=0.49 cores=0,2
/proc/29845/task/29847/stat : 29847 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 49 0 0 0 15 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29848] ppid=29843 vsize=484204 CPUtime=0.4 cores=0,2
/proc/29845/task/29848/stat : 29848 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 40 0 0 0 16 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29849] ppid=29843 vsize=484204 CPUtime=0.51 cores=0,2
/proc/29845/task/29849/stat : 29849 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 51 0 0 0 15 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29850] ppid=29843 vsize=484204 CPUtime=0.35 cores=0,2
/proc/29845/task/29850/stat : 29850 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 35 0 0 0 16 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29851] ppid=29843 vsize=484204 CPUtime=0.47 cores=0,2
/proc/29845/task/29851/stat : 29851 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 47 0 0 0 16 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29852] ppid=29843 vsize=484204 CPUtime=0.47 cores=0,2
/proc/29845/task/29852/stat : 29852 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 47 0 0 0 16 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29854] ppid=29843 vsize=484204 CPUtime=0 cores=0,2
/proc/29845/task/29854/stat : 29854 (mono) S 29843 29845 28853 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 490620735 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652683185 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 83.06
Current children cumulated vsize (KiB) 484204

[startup+82.1007 s]
/proc/loadavg: 3.30 2.07 2.69 5/222 29905
/proc/meminfo: memFree=27027344/32951124 swapFree=67111364/67111528
[pid=29845] ppid=29843 vsize=484204 CPUtime=83.86 cores=0,2
/proc/29845/stat : 29845 (mono) R 29843 29845 28853 0 -1 4202496 111202 0 0 0 8367 19 0 0 25 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 1172152054 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/29845/statm: 121051 84877 1035 742 0 113622 0
[pid=29845/tid=29846] ppid=29843 vsize=484204 CPUtime=0.4 cores=0,2
/proc/29845/task/29846/stat : 29846 (mono) S 29843 29845 28853 0 -1 4202560 4 0 0 0 40 0 0 0 15 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29847] ppid=29843 vsize=484204 CPUtime=0.49 cores=0,2
/proc/29845/task/29847/stat : 29847 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 49 0 0 0 15 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29848] ppid=29843 vsize=484204 CPUtime=0.4 cores=0,2
/proc/29845/task/29848/stat : 29848 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 40 0 0 0 16 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29849] ppid=29843 vsize=484204 CPUtime=0.51 cores=0,2
/proc/29845/task/29849/stat : 29849 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 51 0 0 0 15 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29850] ppid=29843 vsize=484204 CPUtime=0.35 cores=0,2
/proc/29845/task/29850/stat : 29850 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 35 0 0 0 16 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29851] ppid=29843 vsize=484204 CPUtime=0.47 cores=0,2
/proc/29845/task/29851/stat : 29851 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 47 0 0 0 16 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29852] ppid=29843 vsize=484204 CPUtime=0.47 cores=0,2
/proc/29845/task/29852/stat : 29852 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 47 0 0 0 16 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29854] ppid=29843 vsize=484204 CPUtime=0 cores=0,2
/proc/29845/task/29854/stat : 29854 (mono) S 29843 29845 28853 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 490620735 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652683185 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 83.86
Current children cumulated vsize (KiB) 484204

[startup+82.5006 s]
/proc/loadavg: 3.30 2.07 2.69 5/222 29905
/proc/meminfo: memFree=27027344/32951124 swapFree=67111364/67111528
[pid=29845] ppid=29843 vsize=484204 CPUtime=84.26 cores=0,2
/proc/29845/stat : 29845 (mono) R 29843 29845 28853 0 -1 4202496 111202 0 0 0 8407 19 0 0 25 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 1172152734 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/29845/statm: 121051 84877 1035 742 0 113622 0
[pid=29845/tid=29846] ppid=29843 vsize=484204 CPUtime=0.4 cores=0,2
/proc/29845/task/29846/stat : 29846 (mono) S 29843 29845 28853 0 -1 4202560 4 0 0 0 40 0 0 0 15 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29847] ppid=29843 vsize=484204 CPUtime=0.49 cores=0,2
/proc/29845/task/29847/stat : 29847 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 49 0 0 0 15 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29848] ppid=29843 vsize=484204 CPUtime=0.4 cores=0,2
/proc/29845/task/29848/stat : 29848 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 40 0 0 0 16 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29849] ppid=29843 vsize=484204 CPUtime=0.51 cores=0,2
/proc/29845/task/29849/stat : 29849 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 51 0 0 0 15 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29850] ppid=29843 vsize=484204 CPUtime=0.35 cores=0,2
/proc/29845/task/29850/stat : 29850 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 35 0 0 0 16 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29851] ppid=29843 vsize=484204 CPUtime=0.47 cores=0,2
/proc/29845/task/29851/stat : 29851 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 47 0 0 0 16 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29852] ppid=29843 vsize=484204 CPUtime=0.47 cores=0,2
/proc/29845/task/29852/stat : 29852 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 47 0 0 0 16 0 9 0 490620734 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29854] ppid=29843 vsize=484204 CPUtime=0 cores=0,2
/proc/29845/task/29854/stat : 29854 (mono) S 29843 29845 28853 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 490620735 495824896 84877 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652683185 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 84.26
Current children cumulated vsize (KiB) 484204

[startup+82.6006 s]
/proc/loadavg: 3.30 2.07 2.69 5/222 29905
/proc/meminfo: memFree=27027344/32951124 swapFree=67111364/67111528
[pid=29845] ppid=29843 vsize=484204 CPUtime=84.36 cores=0,2
/proc/29845/stat : 29845 (mono) R 29843 29845 28853 0 -1 4202496 111207 0 0 0 8417 19 0 0 25 0 9 0 490620734 495824896 84882 33554432000 4194304 7232020 140733531006448 18446744073709551615 1172156937 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/29845/statm: 121051 84882 1035 742 0 113622 0
[pid=29845/tid=29846] ppid=29843 vsize=484204 CPUtime=0.4 cores=0,2
/proc/29845/task/29846/stat : 29846 (mono) S 29843 29845 28853 0 -1 4202560 4 0 0 0 40 0 0 0 15 0 9 0 490620734 495824896 84882 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29847] ppid=29843 vsize=484204 CPUtime=0.49 cores=0,2
/proc/29845/task/29847/stat : 29847 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 49 0 0 0 15 0 9 0 490620734 495824896 84882 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29848] ppid=29843 vsize=484204 CPUtime=0.4 cores=0,2
/proc/29845/task/29848/stat : 29848 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 40 0 0 0 16 0 9 0 490620734 495824896 84882 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29849] ppid=29843 vsize=484204 CPUtime=0.51 cores=0,2
/proc/29845/task/29849/stat : 29849 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 51 0 0 0 15 0 9 0 490620734 495824896 84882 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29850] ppid=29843 vsize=484204 CPUtime=0.35 cores=0,2
/proc/29845/task/29850/stat : 29850 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 35 0 0 0 16 0 9 0 490620734 495824896 84882 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29851] ppid=29843 vsize=484204 CPUtime=0.47 cores=0,2
/proc/29845/task/29851/stat : 29851 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 47 0 0 0 16 0 9 0 490620734 495824896 84882 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 2 0 0 0
[pid=29845/tid=29852] ppid=29843 vsize=484204 CPUtime=0.47 cores=0,2
/proc/29845/task/29852/stat : 29852 (mono) S 29843 29845 28853 0 -1 4202560 2 0 0 0 47 0 0 0 16 0 9 0 490620734 495824896 84882 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652675481 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
[pid=29845/tid=29854] ppid=29843 vsize=484204 CPUtime=0 cores=0,2
/proc/29845/task/29854/stat : 29854 (mono) S 29843 29845 28853 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 490620735 495824896 84882 33554432000 4194304 7232020 140733531006448 18446744073709551615 253652683185 0 0 4096 545260780 18446604453920924672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 84.36
Current children cumulated vsize (KiB) 484204

Child status: 0
Real time (s): 82.656
CPU time (s): 84.4232
CPU user time (s): 84.2122
CPU system time (s): 0.210967
CPU usage (%): 102.138
Max. virtual memory (cumulated for all children) (KiB): 484204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.2122
system time used= 0.210967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111340
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= 7128
involuntary context switches= 1946

runsolver used 0.13098 second user time and 0.32495 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-26 05:56:43
IDJOB=3291188
IDBENCH=83475
IDSOLVER=1608
FILE ID=node106/3291188-1303790203
RUNJOBID= node106-1303790200-29688
PBS_JOBID= 13157240
Free space on /tmp= 72240 MiB

SOLVER NAME= Sol 2011-04-04
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf
COMMAND LINE= mono Main.exe BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291188-1303790203/watcher-3291188-1303790203 -o /tmp/evaluation-result-3291188-1303790203/solver-3291188-1303790203 -C 2400 -W 1300 -M 7680  mono Main.exe HOME/instance-3291188-1303790203.cnf

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=1571016851

node106.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	: 5226.20
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.82
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.74
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.75
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:      31661764 kB
Buffers:         92292 kB
Cached:         844688 kB
SwapCached:         88 kB
Active:         518448 kB
Inactive:       555464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31661764 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:          236788 kB
Writeback:          16 kB
AnonPages:      136236 kB
Mapped:          18128 kB
Slab:           149708 kB
PageTables:       5536 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   462884 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= 72232 MiB
End job on node106 at 2011-04-26 05:58:06