Trace number 3394501

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 3533.64 3380.98

General information on the benchmark

Namecrafted/skvortsov/
automata-synchronization/crn_20_361_s.cnf
MD5SUM6e5ac2b9425e98989eedf4cf638bde54
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark163.024
Satisfiable
(Un)Satisfiability was proved
Number of variables7942
Number of clauses14991
Sum of the clauses size44382
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2591
Number of clauses of size 314400
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

3533.45/3380.88	s SATISFIABLE
3533.45/3380.88	v 9 40 44 24 17 18 38 86 25 45 2 26 46 27 47 16 15 7 8 29 28 49 10 30 87 19 79 37 20 50 12 70 48 69 11 67 68 88 108 89 109 129 90 170 65 31 110 51 71 91 32 52 72 92 132 130 150 111 151 131 171 152 191 172 192 128 149 212 13 33 53 73 93 133 153 173 193 213 233 3 39 59 60 23 80 100 14 35 34 54 74 94 134 154 174 194 214 234 254 55 36 57 56 75 95 76 96 135 175 195 215 235 296 77 97 58 78 99 98 140 255 136 176 196 216 236 256 276 137 157 156 177 197 217 138 158 178 198 118 119 139 160 159 180 179 237 257 199 218 219 238 258 259 200 220 260 277 297 278 298 279 299 300 320 -6031 -6374 6866 -6868 -6904 -6870 -6842 -6869 -6905 -6864 -6862 -6863 -6880 -6871 -6874 -6998 -6840 -6882 -6610 -6611 -6775 -6769 -6608 -6773 -6777 -6878 -6811 -6778 -6879 -6771 -6609 -6776 -6774 -6770 -6875 -6872 -6873 -6772 -6728 -6849 -6883 -6994 -6603 -6848 -6828 -6884 -6768 -6821 -6809 -6841 -6843 -6850 -6854 -6853 -6820 -6861 -6589 -6569 -6590 -6755 -6735 -6588 -6568 -6692 -6693 -6752 -6689 -6690 -6757 -6756 -6736 -6838 -6858 -6859 -6734 -6712 -6753 -6732 -6733 -6691 -6754 -6694 -6730 -6729 -6749 -6750 -6830 -6851 -6831 -6852 -6810 -6751 -6688 -6708 -6829 -6808 -6748 -6822 -6832 -6833 -6860 -6715 -6548 -6672 -6673 -6731 -6710 -6669 -6779 -6714 -6674 -6711 -6713 -6671 -6670 -6650 -6709 -6790 -6789 -6668 -6788 -6801 -6812 -6839 -6651 -6652 -6648 -6758 -6737 -6695 -6653 -6649 -6800 -6791 -6819 -6818 -6631 -6630 -6632 -6716 -6629 -6628 -6799 -6798 6151 -6220 -6148 -6377 -6379 6152 -6143 6172 -6029 -6225 -6390 6380 -6364 -6376 -6392 -6372 -6375 -6146 -6617 -6616 -6373 -6224 -6209 -6515 -6615 -6554 -6365 -6356 -6312 -6292 -6332 -6352 -6354 -6355 -6334 -6314 -6335 -6596 -6575 -6595 -6353 -6333 -6293 -6313 -6204 -6344 -6272 6150 6612 6213 6171 -6219 -6440 -6604 -6607 -6767 -6600 -6478 -6602 -6618 -6619 -6480 -6395 -6436 6780 -6437 -6435 -6599 -6475 -6517 -7929 -6378 -6294 -6295 -7883 6633 -6606 -6605 6675 6696 -7885 -6064 -6284 -6366 -6211 -6147 -6226 -6326 -6144 -6063 -6078 -5958 -6080 -6142 -6145 -6040 -6155 -6154 -6210 6192 -6199 -6583 6549 -6587 -6567 -6547 -6747 -6687 -6667 -6727 -6520 -6581 -6542 -6582 -6460 -6562 -6540 -6560 -6597 -6555 -6556 -6598 -6514 -6484 -6763 -6867 -6764 -6683 -6903 6865 6992 -6483 -6485 -7931 7055 -6522 -6993 6823 -6807 -7903 -6766 -7899 6781 -6416 -6415 -6559 -6539 -6579 -6558 -6518 -6578 -6498 -6557 7930 -6358 -6337 -6357 -6252 -6316 -6273 -6274 -6253 -6232 7884 -6627 6654 -6586 -6564 -6544 -6525 -6585 -6563 -6584 6486 -7889 -6685 -6699 -6620 -6686 6738 -6700 -7891 6717 7886 -6043 -6324 -6345 6297 6214 6193 -6163 -6126 -6105 -6106 -6127 -6184 -6205 -6123 -6124 -6103 -6121 -6122 -6104 -6125 -6134 -6190 -6157 -6189 -6553 -6565 -6574 -6526 -6546 -6545 -6566 -7877 -6552 -6524 6570 6591 -6527 -6684 -6647 -6707 -6580 -6538 -6521 -6502 -6561 -6541 -6482 -6477 -6577 -6576 -6535 -6534 -6516 -6536 -6434 -6494 -6414 -6474 -6394 -6463 -6443 -6464 -6743 -6847 -6663 -6765 -6906 6886 6907 6970 6908 -6954 -6996 -6995 -6997 7932 -7050 -7057 -7052 -7053 -6969 -7037 -7058 -7059 -7051 -6967 -7000 -6501 -6973 -6953 -6837 -6825 -6827 -6796 -7905 6844 -6805 -7017 -6787 -6746 7904 -6724 -6745 7900 6802 -6519 -6497 -6537 -6955 -6913 -6902 -7004 -7002 -6336 6255 -6217 6276 6256 -6156 -6645 -7887 -6543 -6523 -6469 -6489 -6462 -6473 6423 -6476 -6422 -6439 6465 -6499 -6400 -6495 -6393 -6496 -6429 -6472 -6513 6528 -6479 -6492 -6493 7890 -6664 -6665 -6643 -6678 -6666 -6646 6759 -7895 -6679 7892 -7893 -6626 -6625 -6218 -6282 -6303 -6323 -6310 6234 -6084 -6085 -6101 -6082 -6102 -6062 -6083 -6178 -6115 -6169 -6512 -6432 -6533 -6506 -6505 -6389 -6504 7878 -6532 -6503 -6420 -7879 -6573 -7881 -6438 -6481 -6461 -6442 -6457 -6456 -6227 -6208 -6454 -6453 -6723 -6744 -6885 -7909 -7911 -6966 -6909 -6968 6928 6949 6929 -6948 -6972 -6952 -6947 -6927 -6965 -6999 -6876 -6877 -6910 -6975 -6974 -6976 -6977 -6956 -6914 -7003 -7935 -6964 -6963 -6988 -6990 7054 -7032 -7011 -7038 -7030 -6989 -7010 -7031 -6960 -6979 -6958 -6500 -6933 -6817 -6804 7906 -7907 -6836 -6726 -6806 -6816 -6622 -6705 -6725 -6934 -6935 -6893 -6881 -6983 -6962 -6981 -6315 -6251 -6077 -6197 -6177 -6136 -6271 -6114 -6135 -6624 7888 -6441 -6419 -6433 -6452 -7865 6444 -6455 -6401 -7863 -6418 -6398 -6468 -7869 -6396 6381 -7859 -7875 -6458 -6459 -6662 -6644 -6658 -7897 7896 7894 -6198 -6261 -6302 -6061 -6081 -6020 -6041 -6022 -6042 -6491 -6412 -6511 -6490 -7871 6507 -6369 7880 7882 -6417 -6421 -6164 -6206 -6188 -6371 -6411 -6391 -6703 7910 7912 -6946 -6889 -7915 -6930 -7917 -6951 -6931 -6912 -6932 -7913 -6945 -6925 -6978 -6918 -6959 -6813 -6855 -6834 -6856 -6814 -6857 -6982 7936 -6922 -6944 -6924 -6942 -6943 -6920 -7919 6991 -7937 7075 -7056 -7921 7012 -6891 -6797 -6784 -6835 -6826 7908 -6815 -6706 -6786 -6785 -6601 -6704 -6941 -6980 -6231 -6057 -6094 -6642 -6657 -6399 -6413 7866 -7867 7864 -6426 -6448 7870 6402 7860 7876 -6641 -6623 -6637 7898 -6722 -6702 -6281 -6060 -6001 -6021 -6451 -6471 -6470 -6388 -6427 7872 -6510 -7873 -6269 -6308 -6594 -6397 -6185 -6168 -6351 -6331 -6311 -6370 -6350 -6309 -6329 -6682 6887 -6899 -6892 -6888 -6897 6971 -6926 7916 -6890 7918 -6911 7914 -6894 -6936 -6915 -6957 -6939 -6938 -6917 -6792 -6793 -6961 -7048 -7047 -7049 -6985 -7005 -7046 -7042 -6901 -6921 -6923 -6900 7920 -7009 -7008 7033 7938 7096 -7036 -7016 7922 -7923 -6846 -6795 -6794 -6940 -6919 -6621 -6636 -6431 7868 -6408 -6406 -6405 -6368 -6531 -6640 -6742 -6701 -6660 -6639 -6681 -6000 -6430 -6450 -6449 -6409 -6348 -6228 -6268 -6367 -6327 7874 -6267 -6291 -6270 -6290 -6250 -6230 -6328 -6330 -6349 -6288 -6289 -6661 6950 -6937 -6916 -6896 -6898 -7028 -6987 -7007 -6984 -7027 -7029 -6986 -7006 -7026 -7021 -7925 -7014 -7035 -7060 -7933 -7043 7117 7013 7924 -6410 -6447 -6385 -6222 -6721 -6680 -6387 -6428 -6207 -6165 -6186 -6248 -6347 -6325 -6346 -6306 -6285 -6286 -6247 -6249 -6229 -6307 -6287 -6223 -6895 -7020 7926 -7015 -7039 -7018 7934 -7022 7138 -7106 7034 -7019 -6201 -6076 -6035 -6119 -6140 -6139 -6162 -6202 -6079 -6159 -6038 -6160 -6039 -6034 -5957 -6720 -6659 -6407 -6386 -6187 -6265 -6304 -6244 -6305 -6283 -6242 -6263 -6245 -6243 -6264 -6075 -6266 -6203 -5956 -6183 -5894 -7025 -7169 -7165 -7044 -7045 -7001 7159 -7085 -6200 -6158 -6074 -6056 -6036 -6055 -5955 -6015 -6100 -6120 -6059 -6141 -6181 -6182 -6017 -6058 -6037 -6117 -6018 -5998 -5978 -6019 -5994 -6014 -5937 -6638 -6167 -6166 -6262 -6221 -6118 -6246 -5936 -5916 -7148 -7144 -7024 -7023 -7152 -7154 7180 -7064 -6180 -6179 -6138 -6137 -5974 -6054 -5915 -5935 -5895 -6099 -6161 -5997 -5996 -5995 -6016 -6097 -5999 -5954 -6241 -6098 -7127 -7123 -7131 -7133 -7178 -7162 -7167 -7179 -7163 -7166 -7177 -7171 -7164 -7174 -7175 -7176 -7173 -7168 -7170 -7172 -6116 -5874 -5977 -5976 -5975 -5979 -5934 -6240 -7102 -7110 -7112 -7157 -7141 -7146 -7158 -7142 -7145 -7156 -7150 -7143 -7153 -7155 -7147 -7149 -7151 -6096 -6095 -5914 -7081 -7089 -7091 -7136 -7140 -7125 -7137 -7121 -7124 -7135 -7129 -7122 -7132 -7134 -7126 -7128 -7130 -7080 -7068 -7070 -7115 -7119 -7104 -7116 -7120 -7103 -7114 -7108 -7101 -7111 -7113 -7105 -7107 -7109 -7094 -7098 -7083 -7095 -7099 -7082 -7093 -7087 -7100 -7090 -7092 -7084 -7086 -7088 -7073 -7077 -7062 -7074 -7078 -7061 -7072 -7066 -7079 -7069 -7071 -7063 -7065 -7067 -7041 -7927 -7040 7928 7076 7097 7118 7139 7160 7161 7182 -7939 -7184 -7186 -7198 -7183 -7194 -7192 -7189 -7193 -7191 -7196 -7195 7940 7181 -7185 7202 -7942 -7200 -7220 -7219 -7218 -7217 -7216 -7215 -7214 -7213 -7212 -7211 -7210 -7209 -7208 -7207 -7206 -7205 -7204 -7203 -7201 -7188 7941 -7199 -7197 -7190 -7187 6149 6363 6212 -6153 6215 -7837 6191 6299 6170 6296 6233 6275 -6216 6320 6338 -7843 6257 6278 6317 6467 6384 6551 6741 6488 6254 -6300 6321 -7845 6277 -7847 6298 -6073 -6133 -6033 -6113 6235 6318 7838 -7841 6359 -6176 -7839 -6175 -7851 -7853 6361 -7849 -6280 -6196 -7855 -6260 6360 7844 6404 6446 -7862 6572 6698 6614 6762 6509 6530 6340 6339 -6259 6342 7846 7848 6341 6319 -6053 -5993 -6093 -6013 -5893 6173 7842 -7857 -6322 7840 7852 7854 6382 7850 7856 6236 6425 7861 6593 6740 6719 6635 6656 6677 6783 6424 6487 6403 -6238 -6239 6362 -5973 -5853 -5873 -6195 7858 -6301 6194 -6279 -7902 6803 6824 6466 6445 6613 6529 6550 6508 6383 -5953 -5933 -6174 -6343 -6258 7901 6845 6697 6655 6634 6761 6676 6592 6571 -5913 -6237 6718 6739 6782 6760 6025 -6032 -6011 -5891 -5951 -5952 -5992 -5811 -6012 -5892 -5991 -5932 -5851 -5931 -5972 -5971 -5832 -5872 -5852 -5871 -5912 -5831 -5911 6023 -6030 -6027 6044 6128 -5950 6067 6065 6107 -6052 -5890 -5809 -7825 -6010 -5949 -5889 -6009 -7827 -7835 -5930 6109 -6072 6130 -6069 -7829 6086 -6071 -6112 -7833 -6111 -5870 -5850 -5810 -5789 -5769 7826 -5990 -5929 -5869 -5989 7828 7836 -5910 -6051 7830 -7831 -6090 -6092 -6091 7834 -5830 -5790 6046 -5970 -5909 -5849 -5829 -5969 -6050 -6048 -6132 6088 -6070 7832 -6049 -6028 -6007 -5847 -5807 -5988 -5947 -5888 -5948 -6008 -5987 -5968 -5967 -5887 -5848 -5868 -5867 -5808 -5927 -5788 -5928 -5827 -5828 -5787 -5886 -5768 -5748 -5907 -5908 -5767 -5747 -5806 -5846 -5866 -5727 -5786 -5746 -5706 -5766 -5826 -5726 6026 6068 6047 6110 6089 6131 6024 6066 6108 6045 6087 6129 5959 -7823 -5885 -5946 -5944 5980 -7817 7824 -5865 -5805 -5845 -5825 -5906 -5926 -7819 5981 -5965 7818 -5986 -6006 -5745 -5785 -5705 7820 6002 -5966 -5725 -5765 -5685 -5945 -5804 -5884 -5904 -5925 -5924 -5784 -5764 -5744 -5704 -5664 -5844 -5864 -5905 -5724 -5684 -5824 5896 -5883 5917 -7811 -5803 -5843 -5863 -7813 -5903 5938 7812 -5783 -5703 -5763 -5743 -5823 7814 -5882 -7815 -5683 -5643 -5723 -5861 -5862 7816 -5663 -5841 -5842 -5802 -5923 -5821 -5822 -5781 -5722 -5742 -5762 -5782 -5662 -5902 -5801 -5701 -5702 -5721 -5741 -5761 -5641 -5642 -5881 -5681 -5682 -5621 -5622 -5661 -5601 5900 5943 5901 5964 5985 5922 6005 -7822 7821 5960 5961 5982 5816 5898 5941 5919 5962 5940 6003 5983 5899 5920 5921 5942 6004 5984 5963 5897 5918 5939 5855 5813 -5818 -5800 -5820 -5760 -5780 -5680 -5720 -5740 -5620 -5660 -5700 -5600 -5640 5814 5876 5834 -5840 5812 -5798 -5799 5875 -5817 5854 -5819 -5860 -7803 5833 -5758 -5738 -5718 -5779 -5659 -5759 -5719 -5778 -5859 -7809 -5657 -5757 -5797 -7807 -5578 -5658 -5777 -5839 7804 5856 -7805 -5717 -5678 -5697 -5639 -5619 -5579 -5617 -5638 -5599 -5739 -5577 -5698 -5699 -5679 7810 -5737 7808 -5558 -5637 -5597 5835 5837 7806 -5618 -5598 -5557 -5537 -5677 -5880 5877 -5838 5858 5879 -5671 5580 -5656 -5576 -5533 -5655 -5575 -7779 -5573 -7783 5665 5644 5581 -5636 -5556 -5536 -5516 -5615 -5635 -5495 -5535 -5555 7780 7784 -5754 -7789 -5670 5770 -7791 5686 5707 -7787 5602 -5616 -5595 -5515 -5574 -5614 -7785 7790 -5650 5791 -5775 -5755 -7799 7792 -5756 -5712 -5675 -5673 5749 -7793 5728 7788 5623 -5596 -5453 -5554 -5553 -5534 -5594 7786 -5676 -5587 -7801 -5735 -5714 -5734 7800 -5696 -5736 -5716 -5691 -5715 -7797 7794 -7795 -5652 -5649 -5654 -5607 -5610 -5493 -5514 -5513 -5629 -5634 -5566 7802 -5672 -5693 -5776 -5695 -5653 -5674 -5532 -5531 -5571 -5694 7798 -5713 7796 -5591 -5631 -5632 -5628 -5589 -5633 -5494 -5608 -5572 -5613 -5796 -5590 -5529 -5550 -5609 -5588 -5651 -5569 -5530 -5611 5669 -5592 -5452 -5469 -5512 -5471 -5451 -5491 -5511 -5551 -5468 -5692 -5733 -5570 -5549 -5568 -5506 -5526 -5547 -5593 -5612 -5473 -5474 -5567 -5552 -5510 -5527 -5466 -5630 -5548 -5509 -5467 -5489 -5470 -5408 5690 5711 5753 -5432 -5409 -5389 -5449 -5472 -5492 -5431 -5348 -5428 -5448 -5507 -5528 -5546 -5490 -5407 -5406 -5426 -5346 -5306 -5508 -5429 -5447 -5446 -5390 -5450 -5430 -5410 -5388 5732 5774 -5369 -5411 -5486 -5367 -5488 -5327 -5387 -5386 -5366 -5326 -5487 -5427 -5368 5795 -5347 5666 5708 5729 5687 5750 5792 5771 5668 5710 5815 5689 5731 5752 5878 5857 5836 5773 5794 5563 5584 5667 5688 5709 5730 5793 5751 5772 5395 -5305 -5465 -5285 -5384 -5405 -5425 -5445 -5304 -5324 -5385 -5325 -5365 -5284 -5364 -5345 -5344 -5264 5564 5585 5605 5626 5647 5394 -5464 5415 -5320 -5383 -5444 -5424 -5303 -5343 -5323 -5363 -5404 -5283 -5243 -5263 5455 -5505 -5463 -5443 -5485 -5423 -5403 -5462 -5441 -5442 -5422 -5382 -5402 -5421 -5401 -5361 -5322 -5362 -5260 -5222 -5342 -5280 -5302 -5381 -5301 -5220 -5341 -5201 -5321 -5281 -5242 -5262 -5282 -5300 -5200 -5221 -5241 -5261 -5240 -5400 -5380 -5360 -5340 -5318 -5319 -5278 -5179 -5218 -5258 -5178 -5298 -5279 -5259 -5299 -5219 -5198 -5238 -5158 -5239 -5199 5392 -5398 5457 5436 -5504 -5484 5565 5604 5627 5646 5648 5586 5625 5606 -7782 7781 5307 -5317 -5314 -7753 5349 5454 5391 5412 -5316 5328 -5177 -5217 -5277 -5257 -5297 7754 5437 5370 -7757 -5359 -5358 -5483 5497 5539 5517 -7767 5475 -7769 5496 -5460 5561 5518 5499 5433 5478 5434 -7761 5458 -7763 -5216 -5296 -5256 -5276 -5335 -7755 -5157 -5137 -5197 -5176 -5237 -5136 -7759 7758 -5339 -5338 5559 -7773 5538 -5503 7768 -5482 7770 -7771 -5440 -5397 5582 5560 -7765 7762 5501 5479 5500 7764 -5196 -5236 7756 -5156 -5116 7760 -5525 -7777 -5524 7774 -7775 5476 -5461 7772 -5419 -5420 -5355 -5313 -5356 -5376 -5377 7766 5413 5416 5522 5520 -5337 -5379 7778 7776 -5399 -5334 -5293 -5295 -5275 -5255 -5439 5543 5521 -5545 -5378 -5213 -5336 -5315 -5235 -5215 5459 -5418 5542 -5357 -5274 -5134 -5294 -5214 -5273 -5155 -5135 -5195 5396 -5173 -5175 5481 5544 5480 -5254 5375 -5094 -5114 -5093 -5194 -5193 -5174 -5253 -5233 -5115 5417 -5153 -5133 5502 -5234 -5073 -5154 -5095 5438 -5053 -5113 5523 -5074 5180 -5212 -5211 -5210 -5171 -5172 -5151 -7739 5223 -7743 5181 -5032 -5192 -5092 5312 -5170 -5190 -5091 -5011 -5191 -5110 -5090 -5010 -5150 -5152 -5132 -5111 -5131 -5130 7740 -5232 5244 -7745 7744 5202 -5052 -5072 5333 -5169 -5071 -5051 -5050 -5070 -5129 -4990 -5089 -5112 -5109 5265 -7747 7746 -5208 5354 -5149 -5031 -5030 -5009 -5049 -5069 -7749 -5271 5286 7748 -5087 -4989 -5029 7750 -5250 -7751 -5252 -4969 -5272 -5229 7752 -5231 -5251 -5292 -5230 -5088 -5209 -4987 -5007 -5027 -5047 -5008 -5067 -5048 -5068 -5188 -5148 -5189 -5168 -4927 -4988 -4948 -4947 -5028 -5167 -5128 -5108 -5147 -4967 -4968 -5127 -5107 5183 5330 5393 5372 5456 5541 5351 5414 5435 5519 5498 5477 5562 5603 5540 5583 5645 5624 5204 5225 5309 5246 5267 5288 5203 5308 5224 5245 5266 5329 5287 5371 5350 5310 5331 5373 5352 5206 5248 5227 5269 5311 5290 5332 5374 5353 5207 5270 5228 5291 5249 5226 5268 5247 5289 5205 5163 5184 5164 5185 5182 5077 5162 5165 5186 5100 5079 5080 5078 5098 5099 5120 5119 5140 5117 -7733 5138 7734 -5146 5159 -7735 5121 -5106 -5126 -5086 -7737 7736 5142 -5105 -5084 -5026 -5046 -5066 -5006 7738 5141 -5085 -5125 -5005 -5025 -4985 -4986 -4925 -4926 -5045 -5065 -5064 -5004 -5104 -4984 -4964 -4965 -4945 -4946 -4966 -4905 -4906 -5044 -4944 -4924 -4885 -5024 -4864 -4904 -4884 5057 4996 5056 5082 5161 4993 5160 5097 5118 5139 5096 -5083 -5003 -7731 -5043 -5063 -4863 -4923 -4963 -4983 -4943 -4903 7732 -5023 -4843 -4883 5101 5103 5122 5124 5143 5145 5166 5187 -7742 7741 4995 5016 5055 5076 4997 5037 5017 4994 5035 5015 5014 5036 -5002 -4981 -4982 -4822 -4942 -4962 -4961 -4801 -4921 -4922 -4941 -4901 -4902 -4842 -4881 -4882 -4862 -4821 -4861 -4841 5012 5059 5054 5033 -7723 -5000 5075 5123 -7727 -7729 -7725 -5020 7724 -4980 -4960 -4900 -4940 -4840 5144 7728 7730 7726 5038 -4880 -4920 -4820 -4800 -5042 5081 -5062 -5022 5058 -4919 -4860 -4899 -5021 5102 -5041 5061 5060 -5001 -4839 -4879 -5040 -4819 -4859 -5019 -4999 -4799 -4779 -4979 -4939 -4959 4992 5013 5034 -4998 -4838 -4978 -4938 -4958 -4898 4991 -4818 -4778 -4798 -4758 -4918 -4878 -7721 -4858 7722 5018 5039 -4836 -4837 -4756 -4757 -4816 -4796 -4777 -4817 -4737 -4736 -4716 -4797 -4776 4823 -4897 -4835 -4834 -4832 -7705 4844 4928 -4893 4865 -4877 -4857 -4815 -4755 -4795 -4774 -4754 -4794 -4814 7706 -7707 -4856 -4851 -4895 -4936 -4937 -4935 -7715 4949 -4896 -4830 -4833 4886 -4874 -4854 4907 -4876 -7709 -4734 -4695 -4735 -4775 -4694 7708 -4855 -4917 -4916 -4915 7716 4970 -7717 -4875 -4653 -4773 -4753 -4772 -4812 -4693 -4813 -4894 -7711 -7713 7710 -4714 -4715 -4733 -4674 -4853 -4793 -4957 -7719 7718 -4652 -4752 -4673 -4792 -4831 -4873 7712 7714 -4872 -4852 -4713 7720 -4956 -4632 -4712 -4732 -4672 -4692 -4771 -4770 -4790 -4810 -4811 -4914 -4977 -4691 -4651 -4671 -4751 -4710 -4750 -4670 -4590 -4690 -4650 -4730 -4791 4934 4829 -4631 -4611 -4610 -4731 -4630 4955 4850 4871 -4711 4976 4892 4913 4824 4929 4866 4887 4845 4950 4908 4971 4826 4868 4847 4889 4931 4910 4952 4973 4825 4867 4909 4930 4846 4888 4951 4972 4658 4760 -4769 -4749 -4688 -4748 -4649 -4689 -4709 -4729 -4648 -4628 -4668 -4728 -4708 -4629 -4669 -4548 -4608 -4568 -4609 -4569 -4589 -4588 4780 -4768 4781 -7699 -7703 4802 7700 7704 -4809 -4789 4827 4869 4890 4848 4932 4911 4953 4974 4759 -4747 -4687 -7697 -4727 -4567 -4647 -4667 -4607 7698 -4707 -4527 -4547 -4627 -4587 4761 4782 4656 -4645 -4606 -4586 -4566 -4546 -4526 -4506 4655 4718 -4686 -4565 4676 -4604 -4644 -4646 4697 -4666 -4485 -4505 -4545 -4525 -4564 -4624 -4625 -4605 -4626 -4544 -4524 -4504 -4484 -4464 -4585 -4584 4654 4739 4741 4696 4675 4698 -4642 4738 4717 -4685 4701 4764 -7687 -4643 -4684 4700 4762 4743 -7691 -7689 -4621 -4502 -7695 -7693 4740 -4665 4722 4785 7688 -4622 -4623 -4563 -4664 4783 7692 7690 -4481 7696 7694 4677 4679 -4601 -4582 -4602 -4603 -4543 -4503 4803 4719 -4663 -4726 -4706 -4705 -4561 -4581 -4583 -4523 -4422 -4462 -4482 -4442 -4483 -4443 -4562 -4401 -4441 -4461 -4421 -4463 -4541 -4542 -4522 -4521 -4501 4657 4699 4678 4720 4763 4721 4804 4784 4742 4805 4828 4891 4849 4870 4933 4912 4954 4975 4660 4745 4661 4766 4682 4787 4703 4724 4806 4659 4681 4744 4680 4702 4765 4723 4786 4807 4683 4725 4746 4704 4788 4808 4767 -7702 7701 4596 4530 -4540 -4499 -4500 -4520 -4498 -4478 -4379 -4439 -4400 -4440 -4480 -4479 -4378 -4438 -4419 -4420 -4459 -4460 -4458 -4358 -4418 -4399 -4398 4612 -4620 4633 -7683 -4600 -4538 -4559 -4580 -4560 -7685 7684 -4539 7686 -4518 -4519 -4497 -4437 -4477 -4377 -4357 -4397 -4417 -4457 -4337 4486 -4496 4528 -7671 4507 -4376 -4436 -4456 -4476 4591 4614 4593 4549 4570 -7675 -4578 4572 -4557 7672 -7673 -4356 -4416 -4396 -7681 4635 -7677 -4536 -7679 -4558 7676 7674 -4316 -4336 7682 7678 7680 -4537 4551 -4515 -4516 -4517 4617 -4599 -4579 -4495 -4494 -4374 4638 -4375 -4475 -4455 -4435 -4454 -4474 -4354 -4274 -4334 -4295 -4315 -4355 -4395 -4415 -4434 -4294 -4335 -4414 -4394 -4314 4383 -4371 -4372 -4393 -4373 -4211 -4351 -4333 -4352 -4332 -4311 -4293 -4353 -4313 -4331 -4271 -4312 -4253 -4273 -4251 -4291 -4272 -4292 -4252 -4232 -4231 -4391 -4206 -4204 4380 -4370 -4453 4465 4641 -7663 4381 -4369 4423 -7659 -4350 -4433 -4413 -7669 4662 7664 4402 4368 4493 -4209 -4329 -4309 -4289 -4349 -4269 -4431 -4411 4444 -7665 -4432 7660 -4210 -4310 -4270 -4330 -4412 7670 -4410 4389 4577 4514 4535 -4189 -4249 -4452 -7667 7666 -4190 -4290 -4250 -4392 -4473 -4390 -7655 -7662 4409 4598 4619 4556 -4169 -4229 7668 -4230 7656 7661 4430 4640 -4328 4403 4472 4451 -4308 4487 4424 4445 -4208 -4268 -4288 4529 4592 4508 4466 -4188 -4248 -4228 4613 4550 4571 4634 -4168 -4148 4212 -4205 -4126 -4207 -4187 4296 4233 4254 -4147 -4085 -7643 4340 -4185 -4084 -4124 -4184 -4166 -4186 -4145 -4167 -7651 -7653 4317 -7645 -4244 -4267 -4243 -4247 4275 -7647 -4127 7644 4341 -4064 -4164 -4165 -4146 -4125 7652 7654 4338 -4307 7646 -4223 -4202 -4203 -4227 -7649 -4266 7648 -4106 4362 -4123 -4144 -4105 -4104 -4287 -4286 -4285 4359 -4245 -4226 -4222 -4181 -4182 -4082 -4122 -4142 -4083 -4143 -4183 -4163 7650 -4246 -4265 -4063 -4103 -4348 -7657 -4224 -4201 -4161 -4162 -4061 -4042 -4101 -4102 -4121 -4043 -4062 -4264 -4225 -4327 -4306 7658 -4100 -4141 -4021 -4022 -4081 -4041 -4020 -4001 -4080 -4000 -4040 -4060 4086 -7631 4107 -4098 -4019 -4097 -4099 4214 -4096 4128 -4018 -4140 -4038 -4059 -4017 7632 -7633 -4078 -4058 -3998 -3978 -3999 -4076 -4036 -4077 -4016 4220 -4079 4256 4319 4298 4277 4235 -7635 -4139 4149 -3958 -4120 -4039 -3977 -3957 -3997 7634 -3979 -4057 -4056 -3916 -3976 -3996 4305 4263 4284 4347 4221 7636 -4119 4191 4170 -4160 -4158 -4159 -7637 -3937 -4118 -4037 -3956 4326 4242 -4137 -4138 -7641 -7639 -4179 -4095 7638 -3936 -4116 -4117 7642 7640 -4035 -4075 -4015 -4200 -4180 -4055 -3955 -3995 -3915 -4014 -3935 -3975 -3895 -3994 -3954 -3894 -3914 -3934 4094 -3874 -3974 4136 4178 4115 4157 4199 4002 -4013 -4034 -3992 -7623 4023 -3952 -3911 -3912 -4033 -3991 -3953 -3993 -3971 7624 -7625 4044 -4032 -3891 -4012 -3932 -3913 -3852 -3893 -3933 -3972 -3973 -4011 7626 -4054 -7627 -4053 4065 -3831 -3851 -3872 -3811 -3832 -3892 -3873 -3951 7628 -7629 -3871 -3853 -3931 7630 -4074 3917 -3910 -3928 -7613 -3909 -3930 3959 3938 -3807 -3908 4088 -3929 -3810 -3907 -3850 -3890 -3889 7614 -3809 -3849 3981 3980 -3949 -3950 -7617 -7615 -3887 -3888 -3868 4151 4109 4130 -3790 -3830 -3808 -3869 -3870 -3847 -3848 -3789 -3829 -3828 -7619 7618 7616 -3867 4172 4193 -3767 -3806 -3748 -3788 -3787 -3768 -3827 -3805 -3747 -3769 7620 -3725 -3785 -3786 -3745 3906 -3765 -3705 -3727 -3970 -3766 4031 3927 -3746 -3706 -3726 4052 4073 3990 3948 -3685 -7622 4010 3969 7621 3919 3940 3941 3962 3983 4003 4045 4087 4024 4066 4213 4171 4129 4108 4297 4360 4234 4276 4361 4255 4318 4192 4150 4339 4382 -3640 -3704 -3684 -3664 -3637 3812 -3803 3920 -3804 -7603 3833 -3724 -3783 -3763 3921 -3784 -3764 7604 -3846 3875 3854 -3845 3896 -3824 -7605 -3723 -3743 3942 -3744 -3826 -3825 -7609 -7607 -7611 7606 -3703 3963 7610 7608 7612 -3683 -3643 3984 4004 -3866 -3886 -3663 4025 4046 -3865 3899 4067 -3844 -3823 -3802 -3781 -3740 -3782 -3762 -3700 3822 -3761 -3741 -3722 -3742 -3702 3843 -3639 -3701 -3721 -3680 -3660 -3681 -3682 -3662 -3642 3864 -3619 -3720 -3661 -3641 -3621 -3622 -3600 3885 -3638 -3599 -3620 -3578 -3601 -3577 -3597 -3617 -3598 -3618 -3635 -3739 -3579 -3537 -3558 -3557 -3719 -3699 -3659 -3679 3707 3749 3770 -7593 3728 3878 3801 -7597 -3760 3791 -7599 7594 -7595 7598 -7601 -3780 7600 -3718 -3678 -3658 7596 7602 -3738 -3759 -3698 -3717 -3677 -3697 -3636 -3657 -3596 -3536 -3535 -3615 -3616 -3656 -3576 -3516 -3515 -3595 -3556 -3495 -3575 -3555 -3634 -3633 -3614 -3594 -3474 -3534 3580 3538 -3573 -3532 -3572 -3613 -3533 -3574 -3514 3581 -7583 -7579 3644 -3654 -3431 -3512 -3429 -7575 -3531 -3530 3559 3632 -3552 -3553 -3513 -3510 -3593 -3493 -3473 -3492 -3432 -3554 -3494 3602 7584 7580 3686 -7587 3665 -3655 -3612 -3411 7576 -3511 -3490 -3430 -7577 3716 -3453 -3472 -3452 3623 -3592 -3571 -7591 7588 -3676 -3675 -7589 3710 -3491 -3390 -3369 -3409 -3410 7578 3737 -7585 3800 3779 -3551 -3529 -3550 7592 7590 3752 3731 -3471 -3450 -3470 -3389 3758 7586 -3509 3570 -3696 3815 3773 -3451 3653 -3489 -3469 3591 3836 3794 3674 -3449 -3428 -7582 3611 3857 3695 -3427 -3388 -3408 -3368 -3347 -3387 -3348 7581 -3346 -3407 -3327 -3367 -3326 -3306 3286 -7553 -3284 3328 3307 -7551 -3285 -3283 -3345 3349 7554 -3264 -7555 -3305 -3282 7552 -3263 -3262 -3325 -3366 3433 -7557 -3344 3370 -3304 -3243 7556 -3261 -3241 -3242 3475 3501 -7565 3454 7558 -3324 -3303 3391 -7559 3412 -3365 -3323 -3221 -3222 3517 -7569 3496 -3468 -3467 -3426 -3466 3522 7566 -7567 -3385 -7561 7560 -7563 -3302 -3201 -7573 7570 -3488 -7571 -3448 -3425 -3447 -3363 -3343 -3364 -3406 -3424 -3446 -3403 -3384 -3360 3564 3543 3585 -3405 7568 7562 7564 -3281 7574 3528 7572 3465 -3404 -3362 -3300 -3342 -3322 -3200 -3386 3423 -3382 -3339 -3318 -3299 -3297 -3197 3605 -3445 -3280 -3508 3549 3486 -3383 -3341 -3320 -3240 -3321 -3301 3444 -3361 -3279 -3199 3647 3626 -3260 -3487 3507 -3298 -3319 -3340 -3220 -3259 -3239 -3179 3668 -3258 -3278 -3277 -3198 -3219 3689 -3196 -3218 3317 -3238 -3257 -3137 -3158 -3177 -3178 -3195 -3136 -3176 -3116 3338 3359 -3237 -3157 -3135 -3175 -3156 -3194 3380 -3217 -3115 -3155 -3174 -3094 -3134 -3256 -3154 -3072 -3074 3381 -3095 -3114 -3073 -3236 3402 -3052 3075 -3032 -3053 -3216 -7529 3117 3096 3138 -3070 -3071 3180 7530 -3133 -3113 -7533 3181 -7531 3159 -7535 -3051 -3010 -3050 -3030 -3011 -2990 -3193 -7543 -3215 -7539 -3091 -3093 7534 3202 7532 -7537 -3132 7536 -3031 -3173 -3068 3192 7544 7540 -3112 3223 -7549 -3255 -3092 7538 -3111 -3090 -3153 -3131 -3089 -3172 -3234 3244 -7545 7550 -3235 3296 -3152 -3069 -3048 -3110 -3130 -3151 -3214 3254 -3213 -7547 3265 7546 -3276 -3029 -3049 -2948 -2988 -3028 -3109 -3067 -2989 -7542 3212 7548 -3009 -3008 -2968 -3088 -2945 -2944 3066 -3047 -2947 -2969 7541 3233 3275 -2924 -2946 3129 3108 3087 -3027 -3007 -2864 -2943 -2927 -2862 -2926 -2884 -2905 -2925 -2885 -2904 3150 -2987 -2863 -2923 -2906 -2841 -2842 -2822 3171 -2967 -2843 -2903 -2821 -2801 -7527 -2883 7528 -3046 -3005 -3026 -3006 -2986 3012 -2985 -2966 -3004 -7523 3033 -2965 -2984 7524 -3025 3054 -7525 -2964 2949 7526 -2942 3044 3065 2970 -7517 -2962 2760 2954 2991 -2921 -2902 -2922 3086 -7519 7518 -2941 2996 -7521 -2881 -2882 -2901 3107 3149 7520 2975 -2840 3144 3081 3059 7522 -2861 3128 3170 -2963 -2820 -2800 -2758 3186 3165 3102 3080 3017 -2983 -2757 3191 -2880 -2878 -2879 -2737 3206 3123 3038 3253 3211 -2860 -2649 2928 -2920 -2756 -2838 -2798 -2858 -2859 -2839 2865 -2837 3227 3274 3232 -2799 -7515 -2940 -2900 -2736 -2716 -2817 -2778 -2819 -2777 -2818 -7509 2886 -2795 3248 3295 -2779 7516 -2899 -2797 -2755 7510 -2877 2907 -7511 -7513 -2898 -2753 3269 3316 -2695 -2735 -2796 -2857 2876 -2836 7512 7514 -2754 -2713 -2693 3290 3337 3400 3358 -2715 -2775 -2776 -7251 2897 2918 2960 3003 -2816 -2919 -2734 -2694 -2733 -2673 3311 3422 3401 3379 2759 -2586 7252 2939 2961 3024 3045 -2714 -2674 3332 3353 3443 3464 -2752 2780 -7497 2781 2823 2870 317 339 318 380 319 301 2982 -2653 3374 3485 3527 3506 3548 -2692 -2732 -2712 2655 2750 -2650 -2590 -2651 -2647 -7499 7498 2802 2844 -7505 2891 2933 338 340 322 3437 3395 3569 3590 -2672 -2652 2751 -2632 2633 2792 -2629 -2569 -2630 -2610 7500 2771 2772 2761 -7503 -2815 -2814 -7507 7506 2912 359 360 3458 3479 3416 3610 -2631 2793 -2611 2675 -2568 -2648 -7485 2654 -7487 2696 2813 -2506 -2548 -2609 -2774 2782 7504 -2794 -7502 2812 7508 3500 3631 -2589 -2628 -7489 -2587 -2607 -2588 -2627 -2567 -2546 7486 2717 7488 -7491 -2690 -2691 -2711 2833 2834 -2773 7501 2875 -2856 3652 3736 3778 3715 -2608 7490 -2526 -2566 -2547 -2527 2591 -2626 2738 -7493 2676 7492 -2670 -2671 2854 2855 2959 2896 2938 2917 -2835 3694 3673 3820 3757 3799 2697 -2669 -2585 -2584 2612 -7481 -2606 -7495 7494 2739 2718 2980 3863 3905 3821 -2525 -2565 -2524 -2544 -2564 -2397 -2395 -2458 -2523 -2543 -7483 7482 7496 2981 3884 3926 3947 3968 3842 -2505 -2485 -2545 -2504 -2443 -2356 -2440 -2503 7484 -2731 3002 4093 3989 4009 -2484 -2442 -2400 -2422 -2398 2583 -2483 -2463 -2605 -2710 3023 4114 4177 4135 4030 -2464 -2421 -2460 2549 -2522 -2401 -2377 -2145 2604 -2689 -2668 4219 4198 4156 4051 -2420 -7477 2570 -2501 -2502 -2462 2625 4283 4240 4241 4304 4346 4072 7478 -7479 -2481 -2482 -2441 2646 4262 4325 4367 7480 -2461 2444 2667 2688 4388 -2563 2465 -7467 -2459 2486 2709 4429 4408 -2542 -2499 -7469 7468 -2438 -2439 -2500 2507 -7471 2528 -7473 2730 4450 4492 4471 -2521 2592 -2457 -2479 7470 -2419 -2418 -2480 7472 -7475 7474 4513 4534 2613 2634 -2396 2445 -2437 2456 2454 -2478 -2399 -2358 7476 -2520 4555 4597 4576 4618 -2376 2394 -2355 -2375 2466 2508 2487 2571 -2417 2498 2477 2540 2496 2475 -2295 -2378 -2294 2380 -2379 2320 2541 4639 -2374 -2335 2529 2550 2519 2517 -2274 -2357 -1747 -7459 -2415 2381 2423 2562 -2334 -2354 2538 -2293 -2336 -2337 -2316 7460 2414 -7462 2402 -7465 -2314 2559 -2273 -2291 -2292 -653 -1620 -2315 7461 -2416 -7463 7466 2580 -2253 2296 -2271 -2251 -2272 -2231 -2252 -2290 -2232 654 7464 -2436 2581 2317 -7451 2359 -2311 2289 -2230 -2270 -2147 -2229 -1956 -2148 2288 -2211 2435 2602 -7453 2338 -7455 7452 -7457 -2333 2352 2309 -2210 -2250 -2146 -2209 -2127 -2106 2393 2455 2623 7454 -2312 7456 2310 7458 -2313 2330 -2190 -2125 -2126 -2105 -2189 -2169 -2085 2434 2413 2476 2497 2644 2331 2321 2351 -2353 2373 2149 2233 -7437 2170 2518 2665 2342 2372 -2332 -2227 -7445 -2228 2254 7438 -7439 2191 2539 2686 2363 -2207 7446 -2168 -2208 -2188 2275 -2249 -2248 -7447 7440 -2186 -7441 2212 -2187 2560 2707 2384 -7449 7448 -2167 -2166 -2144 -2165 7442 -7443 2561 2728 2404 7450 -2124 7444 2582 2749 2425 2446 -2269 -2104 -2206 2603 2687 2770 2791 2488 2467 2509 2593 -2084 -2064 -2143 -2185 2624 2645 2708 2832 2811 2551 2572 2530 2614 2741 2635 -1955 2065 -2043 -2083 -2123 -2063 -2018 -2102 -2079 -2080 -1958 -2164 2066 2666 2729 2874 2853 2762 2677 2656 -1935 2086 2107 -2082 -2062 -2040 -7429 -2103 -2081 1980 2078 -2059 2108 2150 2916 2895 2783 2698 2740 2719 -7431 -7433 2128 -2061 -2041 -2042 2159 7430 2099 2171 2297 2234 2937 2958 2803 2824 7432 7434 -7435 -2060 2075 -2021 -2022 2023 2223 2180 2096 2087 2192 2339 2318 2361 2360 2255 2979 2866 2845 2120 2129 2121 7436 -2039 2035 2117 -2020 -2001 2044 -2038 -2000 -7425 -2019 2244 2181 2213 2382 2276 3000 2950 2887 2142 -2122 -1957 2138 -7427 2077 -1977 -1998 -1978 1981 -7419 -1979 7426 -1999 2265 2286 2202 3043 3001 2992 3055 2971 3013 2929 2908 2163 -2101 -1535 -1178 -1936 -1873 -1831 -1954 -1872 -1617 1959 -1916 -1937 7428 2119 2098 2140 2002 7420 -7417 2056 2307 3064 3022 3034 3076 2184 2226 2205 -2100 -1915 -1746 -1852 -7385 -1870 -1748 -1830 -1894 -1618 -1934 -1745 1941 672 1953 -1871 1995 -1874 -1895 -2058 2141 -7423 7418 2328 3085 3106 3127 3148 3097 3118 2247 -1579 -1726 -1705 -1639 -1725 7386 -1367 -1727 1749 -1810 -1597 -1914 -1619 1962 -1851 -1850 -1975 -1832 1869 -1787 1875 -1853 -1997 -2037 -2017 2162 7424 1974 2349 3190 3169 3161 3160 3139 2268 -1303 -946 1616 -1304 -1010 -1706 -1744 -1599 -652 -1177 -1471 -1577 -1598 -1576 -1431 -1473 -1578 -1366 -1430 -1368 -1305 680 -840 1983 -1811 -1790 1911 1896 -7409 -1829 -1976 -2016 2183 2370 2391 3210 3182 -1283 -1685 -1724 1580 1743 -1663 -1703 1742 1668 651 -611 675 831 -7285 -400 566 -632 704 789 738 571 -7279 649 650 -485 -610 572 -505 -295 -7262 -506 676 633 641 636 838 -1157 -1094 -1557 -1555 -1474 1469 -1556 -1429 -1536 -1558 -1346 -1410 -1347 -1326 -1284 -1263 -1893 -7411 1917 7410 -1789 1833 1791 -1996 -7422 2015 2204 2225 2411 3231 -1704 -1684 -1664 1763 671 612 7286 556 -7259 677 -379 382 385 403 655 -7283 592 7280 670 486 -568 570 -590 -569 614 593 294 -253 -7247 -274 7261 507 446 504 440 -7267 498 634 697 465 508 696 717 662 657 1371 -1453 -1472 -1409 -1515 1475 -1432 -1537 -7371 1938 7412 -1913 -7413 1890 1812 -1769 1785 1854 -7405 -1828 1932 -7401 -7403 -1786 -1788 7421 2036 2246 2267 2453 2432 2495 3252 -1683 -1643 692 691 -631 7260 364 -7257 -358 496 405 7284 613 587 -7271 574 509 591 567 -548 635 315 -7245 -232 252 247 7248 402 437 619 760 528 7268 -7269 -1369 -1452 -1451 1470 -1179 -1389 1575 1433 -1411 -1390 1428 -800 -1516 -1495 1512 7372 -7415 -1892 7414 -1809 1770 -7397 1784 1827 -7407 7406 -1808 -1766 7402 7404 -1767 -1768 2003 2057 2474 2558 2516 3273 3294 1644 -1622 712 381 7258 377 356 434 -337 384 357 383 395 -7255 355 348 354 352 599 656 7272 595 529 -7281 608 588 549 7246 -7243 -211 268 275 280 261 435 273 290 439 398 -7265 423 640 -527 -7275 467 7270 1175 1176 1370 1365 -7293 1434 1286 -1348 -1327 1490 1161 -1095 -1053 1373 -1052 -1158 1180 -1136 1393 1454 -7365 1391 -7359 1415 1755 865 949 1511 1554 1496 -7369 -1494 7416 -7399 7398 1805 1848 7408 1806 1826 1847 -1807 2024 2600 2579 2643 2537 3315 1665 -1660 1686 -7387 -1601 1637 -7383 361 481 336 -7253 -316 404 378 415 7256 397 438 376 369 375 373 519 -484 -464 517 7282 629 609 -7277 7244 -7241 206 -190 203 204 246 251 245 -7249 282 455 311 460 418 7266 444 -7273 551 7276 488 1196 -1388 1476 1413 1412 7294 -1285 -1325 -1306 1328 -1243 -1264 1182 -1074 1096 1054 -1032 -1137 1159 -7367 7366 -7363 -7361 1477 -1387 1435 7360 1776 1553 1532 1734 1615 1517 1538 1559 -1514 7370 -1933 7400 1764 -1849 1868 2045 2748 2685 2601 2664 3357 3378 3336 -1662 -1600 -7389 -1682 -1642 -7391 1710 1707 7388 1658 7384 502 7254 425 424 399 343 341 417 458 480 459 390 396 394 487 -463 490 489 -443 -422 616 620 -589 630 7278 240 239 221 353 497 227 514 293 335 407 7242 -7239 -169 187 185 183 188 189 208 184 186 224 225 267 272 266 7250 303 476 332 461 503 456 441 483 7274 550 530 1497 1457 1478 725 733 1307 -7351 -7355 1349 -1324 1075 -7327 1138 -1116 -7337 7368 1449 1455 1456 7364 7362 1518 1539 1560 1541 1498 1386 1394 1392 1797 1574 1636 -7373 -7375 -1534 -7377 -1493 1491 1499 -1912 -1765 1910 1889 2769 2790 2706 2622 3399 -1641 1603 1700 1581 1602 1612 -7379 1561 7390 -1661 -1621 7392 -7393 1752 1728 1701 1679 1624 544 523 321 324 445 419 362 499 479 520 500 501 410 416 414 -7263 -442 511 510 -401 637 621 -547 577 241 242 477 436 374 518 248 575 314 201 210 205 7240 -7237 -148 168 164 166 167 209 229 207 288 287 281 289 482 524 462 525 545 538 531 535 540 1750 1520 1521 -7353 7352 7356 -7357 -7329 7328 -7335 -1135 1117 -7331 7338 -1450 -1408 1436 1414 1562 1519 1407 1818 1595 1657 7374 7376 1466 -1513 7378 -1891 1931 2810 2727 3420 -1640 1666 1623 1678 1633 7380 1582 1689 7394 1794 1792 1773 -7395 1722 1645 565 342 345 466 521 560 580 522 7264 -421 532 552 573 658 642 -526 598 262 263 457 478 559 539 269 596 222 231 226 181 285 7238 -7235 -127 230 250 228 309 308 302 310 564 546 586 607 541 1771 1876 1563 1540 1542 7354 -1282 7358 7330 7336 -1115 -7333 7332 -1156 1583 1839 1533 1487 1529 1508 -1492 1952 2831 2873 3421 3463 1687 1708 1699 1720 1654 1584 1596 1729 1731 1721 1815 1813 1834 7396 585 363 366 542 561 582 581 543 627 431 428 468 426 469 -420 553 615 617 594 678 283 284 243 202 306 161 7236 126 -7231 -106 -85 121 271 249 330 329 323 331 648 606 628 562 1918 1939 1897 -1261 -1262 -1222 1280 1223 -1219 -1345 -1073 7334 1604 1860 1550 1973 2852 2978 2957 2894 3442 3526 3568 3484 3547 3505 1675 -7382 1836 1855 -1723 645 387 563 646 603 602 584 452 449 447 759 739 638 698 304 305 264 223 244 326 327 182 155 141 147 7232 -7229 -64 83 84 142 292 270 291 351 350 344 669 732 583 604 1961 1960 -1239 -1241 -1242 -1201 -7345 1244 1265 -1240 -1198 -1114 1148 1625 1751 1861 1571 1994 2999 3020 2915 3589 1696 7381 1857 -1659 -1702 647 730 666 624 623 644 605 473 470 -758 780 782 -737 659 718 325 365 265 347 162 107 112 113 114 115 101 117 116 120 125 104 7230 -7227 105 163 313 312 372 392 433 371 690 753 795 858 625 1982 1259 -1221 -1200 7346 -7347 -7349 1323 -7343 -1093 1169 1646 1772 1835 1882 1592 2014 3021 2936 3609 1717 1878 -1638 -1681 668 731 689 687 708 667 688 751 793 686 665 626 494 512 491 -7295 746 744 -779 -7299 781 735 -7289 -674 734 740 -695 -716 679 346 386 286 368 -7233 122 146 81 7228 334 333 393 412 454 711 837 -1220 -7339 1181 7348 7350 1344 7344 1160 -1072 -1051 1667 1793 1856 1877 1903 3042 3651 3630 1738 1920 1919 1899 -1680 835 772 752 773 710 709 729 728 707 515 533 7296 797 776 -7297 763 721 774 7300 802 777 755 756 7290 -7287 754 775 794 796 741 823 786 788 803 804 713 701 -7291 720 700 699 866 785 719 367 388 406 307 389 7234 143 102 66 61 -43 413 475 1238 -1199 1202 7340 -1260 1281 -1218 -7319 -948 -906 -1031 1688 1709 1814 1924 1898 3105 3063 3672 3693 1759 1940 1921 1963 792 856 771 750 770 833 749 791 536 554 767 817 7298 824 742 784 798 681 693 683 7288 814 815 836 816 762 846 809 722 7292 886 806 408 427 349 328 409 123 82 -7225 -22 42 1197 1190 1302 1217 1216 7320 950 -7309 908 -864 928 -885 -1011 1730 1945 3126 3147 3084 3714 3735 1780 1942 1984 813 834 875 854 812 557 765 761 844 826 805 818 829 702 714 663 898 876 857 918 783 907 -843 764 743 -7311 429 448 370 430 451 144 103 7226 -7223 63 -7342 1237 1279 -947 970 -7317 991 1012 7310 -822 -7307 878 867 871 868 -7315 -927 920 913 -990 1008 -863 -969 1966 3189 3168 3777 3756 1781 2004 855 896 917 578 880 861 909 959 825 723 684 897 877 951 -904 -7313 -905 -7305 860 845 827 7312 450 391 472 513 471 493 165 124 41 7224 7341 1258 1300 -926 945 993 7318 1035 -989 1098 -7321 1056 -7323 1033 -1009 887 881 -801 -7303 7308 899 952 944 888 923 892 889 910 7316 929 1026 997 955 992 -799 -842 971 1076 1013 987 1987 3293 3209 3798 1802 2025 938 980 882 869 940 705 726 960 939 983 972 1055 -862 -883 7314 900 919 -736 -884 7306 847 953 901 492 411 534 576 145 62 21 -1 1210 1301 965 966 1007 -968 1141 1119 7322 1077 1139 1097 7324 1050 -7325 1100 1089 902 7304 879 -820 973 994 986 931 930 -925 1060 976 -778 -821 2007 3314 3230 3819 3840 3841 1823 2046 2067 1023 981 903 911 890 941 747 961 -841 921 934 943 -715 -673 -694 848 852 850 859 1058 974 922 432 555 660 597 -7222 1231 1322 1049 1028 1162 1140 -988 1014 1004 1018 1118 1029 1034 1025 1071 7326 1101 1131 1110 839 830 -819 1174 1057 1015 1061 1103 -757 2028 3356 3335 3251 3883 3904 3862 1865 1844 2088 2151 2109 1044 1002 924 995 932 962 768 982 942 964 1006 985 873 1078 1079 453 787 661 724 618 7221 1252 1343 1364 1070 1091 1183 1224 -967 1039 1092 1113 1046 1047 -1030 1122 1152 1173 872 851 -7302 1215 1195 1235 1236 1194 1099 1036 1082 1124 2049 3377 3419 3272 3967 3946 3925 1886 1907 2172 2256 2235 2130 1065 1016 1003 1005 963 984 1048 1027 1090 915 894 495 474 870 807 808 682 745 766 639 4 5 6 1273 1385 1406 1112 1266 1287 1203 1245 1133 1134 1067 1068 1164 1143 1278 912 914 893 7301 1277 1256 1257 1320 1214 1120 1121 1145 2070 3398 3440 3988 1928 2193 2277 2298 1086 1037 1024 1108 1087 1069 1111 1172 936 957 516 891 933 828 849 703 1315 1294 1427 1132 1308 1329 1153 1154 1155 1088 1185 1298 1299 1363 1321 996 975 954 935 956 811 1340 1319 1405 1184 1142 1166 2091 2133 3483 3441 4029 4008 1949 1970 2214 2319 1107 1045 1171 1129 1170 1128 1109 1193 1213 1192 978 537 1357 1336 1448 1350 1205 1404 1384 1342 1017 977 832 1341 1383 1426 1468 1225 1204 1226 1163 1187 2112 2154 3525 3504 3462 4092 4218 4071 4050 1991 2340 2341 1149 1066 1234 1191 1212 1150 1232 1211 1130 1233 1020 999 558 579 1399 1378 1446 1425 1467 1038 1059 998 853 916 1362 1447 1552 1489 1531 1510 1267 1246 1288 1247 1207 2175 3546 3567 3588 4134 4113 4176 4260 4345 4261 4239 2011 2362 1255 1254 1276 1274 1316 1253 1151 1296 1021 1019 600 1420 1488 1509 1551 1081 1080 874 1000 1043 958 937 979 1573 1614 1309 1289 1268 1228 2196 3629 3608 4155 4197 4366 4282 2032 2383 1275 1297 1318 1295 1337 1317 1042 1040 643 601 1421 1463 1530 1593 1572 1613 1102 895 1001 1064 1063 1085 1594 1635 1330 1331 1372 1310 1249 2217 3692 3650 4387 4303 2053 2074 2403 1359 1360 1338 1339 1358 1380 1041 664 685 622 1442 1484 1505 1634 1655 1739 1676 1123 1165 1022 1106 1084 1424 1146 1126 1656 1351 1352 1270 2281 2238 3734 3713 3755 3671 4428 4449 4407 4324 2095 2116 2424 1465 1361 1403 1400 1379 1423 1444 1381 1062 748 706 727 1547 1526 1760 1697 1144 1186 1127 1105 1445 1167 1147 1677 1698 1741 1719 1291 1333 2302 2259 3776 3818 4491 4470 4554 4512 2137 2179 1528 1507 1549 1486 1382 1401 1402 1104 1083 769 1568 1589 1803 1761 1845 1718 1227 1206 1188 1208 1168 1230 1762 1740 1783 1312 1354 1375 2323 2280 3797 3903 3839 3860 4533 4575 2158 2200 2201 1591 1570 1422 1125 790 1609 1824 1782 1866 1248 1269 1290 1229 1251 1356 1314 1189 1272 1293 1250 1867 1804 1825 1950 1396 1417 2344 3924 3966 3945 3861 2264 2222 1611 1443 1464 810 1630 1651 1929 1908 1887 1311 1374 1332 1292 1353 1271 1313 1377 1440 1335 1397 1209 1376 1888 1930 1909 1846 1971 1480 1438 2365 3987 3882 2285 2243 1632 1716 1674 1485 1506 1548 1672 1693 1992 1395 1416 1355 1334 1419 1398 1441 1418 1951 2013 2033 1972 1481 1459 2386 4007 2306 2327 1653 1737 1758 1695 1527 1569 1590 1610 1714 2012 1437 1479 1462 1439 1460 2076 2034 2055 2054 1993 1502 2406 4028 4091 2348 1779 1800 1673 1631 1735 1458 1500 1501 1483 1504 1544 1461 2097 2139 2118 1523 2427 2574 4049 4070 4217 4112 4175 4133 2369 1864 1801 1694 1715 1757 1756 1652 1522 1525 1565 1482 2160 2448 2595 4259 4280 4365 4238 4281 4196 4154 2390 1885 1927 1822 1843 1798 1736 1778 1777 1543 1546 1586 1503 1585 2161 2469 2511 2490 2616 4344 4323 4386 4302 2410 1906 1948 1990 1969 1819 1840 1799 1820 1564 1567 1606 1524 1566 1605 1626 2182 2532 2553 2637 4427 4406 2431 2452 2010 2031 1841 1821 2071 1669 1588 1587 1607 1629 1627 1545 1608 1647 2224 2203 2245 2658 4469 4448 4490 4532 2473 2557 2515 2494 2052 2073 1862 1842 2134 2113 2197 2092 1690 1650 1628 1670 1649 1648 1671 2266 2287 2743 2679 4511 4553 4574 4595 2578 2599 2620 2536 2094 2115 1883 1863 2155 2218 1711 1713 1754 1691 1774 1753 1712 1692 2308 2350 2764 2701 2700 4616 2621 2136 2157 2199 1904 1926 1884 1925 1905 2176 2239 1732 1733 1775 1837 1795 1796 1838 2329 2371 2785 2722 4637 2642 2178 2220 2221 1947 1968 1967 1946 2260 1879 1858 1816 1900 1817 1859 1880 2392 2805 2663 2242 1989 1988 2008 2261 2303 1964 1901 1965 1881 2433 2412 2826 2684 2705 2368 2284 2263 2029 2009 2072 2030 2282 2324 2026 1985 2048 2069 2027 1922 1986 1902 2868 2847 2726 2747 2389 2305 2326 2050 2093 2156 2051 2345 2366 2047 2068 2006 2005 2090 2111 2089 2132 2153 1943 1923 2952 2889 2789 2768 2830 2409 2430 2451 2347 2135 2114 2177 2198 2387 2194 2110 2152 2173 2174 2300 2237 2216 1944 2973 2994 3036 2910 2931 2809 2872 2851 2556 2514 2472 2493 2240 2219 2407 2236 2215 2131 2258 2195 2343 2301 2257 2299 2279 3015 3120 3057 3078 2893 2914 2956 2577 2619 2535 2346 2241 2428 2278 2364 2322 3184 3121 3099 2935 2977 3040 2598 2640 2367 2262 2449 2385 2426 2405 3204 3142 3019 2998 3083 3041 2746 2683 2641 2388 2408 2555 2450 2283 2470 2491 2447 3225 3267 3163 3104 3062 2767 2788 2704 2662 2429 2554 2618 2597 2576 2660 2471 2513 2304 2325 2512 2489 2468 3288 3246 3125 3146 2829 2808 2725 2596 2575 2639 2680 2661 2659 2703 2492 2534 2533 2510 2594 2552 2573 2531 3309 3351 3188 3167 2871 2850 2617 2636 2638 2615 2744 2681 2682 2724 2657 3372 3330 3250 3229 3208 2955 2892 2913 2934 2786 2765 2702 2745 2699 2784 2678 2720 3393 3271 3313 3292 3355 2976 2997 2806 2723 2766 2787 2804 2763 2721 3414 3334 3376 3418 3397 3039 3018 2846 2827 2888 2828 2807 2867 2825 2742 3456 3435 3439 3460 3060 2848 2909 2930 2951 2993 2849 3477 3503 3461 3061 3103 2869 3014 2972 3077 3498 3519 3583 3540 3524 3482 3082 3312 3145 3124 2953 2890 3035 3056 3098 3119 3140 3603 3541 3545 3566 3187 3333 3354 3375 3166 3037 2995 3058 3016 2974 2911 3224 3183 3141 3624 3562 3587 3207 3396 3079 2932 3308 3287 3245 3266 3434 3203 3162 3729 3708 3666 3645 3607 3228 3270 3417 3100 3185 3350 3329 3371 3392 3476 3539 3455 3771 3750 3813 3687 3628 3249 3291 3438 3480 3459 3143 3101 3205 3247 3413 3518 3497 3582 3561 3560 3792 3834 3961 3918 3876 3814 3712 3649 3754 3523 3481 3164 3122 3226 3268 3289 3877 3855 3897 3982 3939 3960 3898 3835 3856 3733 3880 3670 3775 3817 3544 3565 3627 3502 3310 3331 3923 3881 3691 3796 3859 3838 3586 3648 3669 3732 3415 3394 3352 3373 3436 3944 3902 3986 3606 3690 3816 3753 3457 3478 3499 3965 4006 4027 4048 3711 3900 3858 3879 3837 3901 3964 3774 3795 3584 3520 4005 4090 4069 3922 4047 3985 3604 3625 3563 3521 4089 4068 4026 4216 4111 4132 3943 3709 3667 3646 3542 4131 4110 4194 4215 4301 4237 4279 4258 4364 4343 4174 4153 3751 3730 3688 3772 4173 4152 4384 4278 4236 4363 4299 4322 4300 4385 4426 4195 3793 4404 4405 4257 4321 4320 4425 4447 4488 4531 4510 4489 4468 4446 4509 4342 4594 4636 4573 4552 4467 4615  0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3394501-1306079908/watcher-3394501-1306079908 -o /tmp/evaluation-result-3394501-1306079908/solver-3394501-1306079908 -C 5000 -W 5100 -M 15500 mono Main.exe HOME/instance-3394501-1306079908.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.08 2.07 2.07 2/408 20869
/proc/meminfo: memFree=17288060/32950904 swapFree=65784192/67111528
[pid=20869] ppid=20867 vsize=105640 CPUtime=0 cores=1,3,5,7
/proc/20869/stat : 20869 (mono) R 20867 20869 20321 0 -1 4202496 1314 0 0 0 0 0 0 0 25 0 9 0 719590525 108175360 1221 33554432000 4194304 7232020 140734164554976 18446744073709551615 5672143 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/20869/statm: 26410 1222 869 742 0 18981 0
[pid=20869/tid=20870] ppid=20867 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20870/stat : 20870 (mono) S 20867 20869 20321 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 719590526 108199936 1272 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20871] ppid=20867 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20871/stat : 20871 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590526 108199936 1275 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20872] ppid=20867 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20872/stat : 20872 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590526 108199936 1275 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20873] ppid=20867 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20873/stat : 20873 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590526 108199936 1277 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20874] ppid=20867 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20874/stat : 20874 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590526 108199936 1277 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20875] ppid=20867 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20875/stat : 20875 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590526 108199936 1277 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20876] ppid=20867 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20876/stat : 20876 (mono) S 20867 20869 20321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 719590526 108199936 1277 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20877] ppid=20867 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20877/stat : 20877 (mono) S 20867 20869 20321 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 719590526 108199936 1277 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290703281 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0

[startup+0.075116 s]
/proc/loadavg: 2.08 2.07 2.07 2/408 20869
/proc/meminfo: memFree=17288060/32950904 swapFree=65784192/67111528
[pid=20869] ppid=20867 vsize=107980 CPUtime=0.06 cores=1,3,5,7
/proc/20869/stat : 20869 (mono) R 20867 20869 20321 0 -1 4202496 1993 0 0 0 6 0 0 0 25 0 9 0 719590525 110571520 1896 33554432000 4194304 7232020 140734164554976 18446744073709551615 1091921274 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/20869/statm: 26995 1896 995 742 0 19566 0
[pid=20869/tid=20870] ppid=20867 vsize=107980 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20870/stat : 20870 (mono) S 20867 20869 20321 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 719590526 110571520 1896 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20871] ppid=20867 vsize=107980 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20871/stat : 20871 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590526 110571520 1896 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20872] ppid=20867 vsize=107980 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20872/stat : 20872 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590526 110571520 1896 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20873] ppid=20867 vsize=107980 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20873/stat : 20873 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590526 110571520 1896 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20874] ppid=20867 vsize=107980 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20874/stat : 20874 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590526 110571520 1896 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20875] ppid=20867 vsize=107980 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20875/stat : 20875 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590526 110571520 1896 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20876] ppid=20867 vsize=107980 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20876/stat : 20876 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590526 110571520 1896 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20877] ppid=20867 vsize=107980 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20877/stat : 20877 (mono) S 20867 20869 20321 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 719590526 110571520 1896 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290703281 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 107980

[startup+0.101112 s]
/proc/loadavg: 2.08 2.07 2.07 2/408 20869
/proc/meminfo: memFree=17288060/32950904 swapFree=65784192/67111528
[pid=20869] ppid=20867 vsize=118792 CPUtime=0.09 cores=1,3,5,7
/proc/20869/stat : 20869 (mono) R 20867 20869 20321 0 -1 4202496 4495 0 0 0 9 0 0 0 25 0 9 0 719590525 121643008 4398 33554432000 4194304 7232020 140734164554976 18446744073709551615 1091929792 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/20869/statm: 29698 4399 1000 742 0 22269 0
[pid=20869/tid=20870] ppid=20867 vsize=118792 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20870/stat : 20870 (mono) S 20867 20869 20321 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 719590526 121643008 4399 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20871] ppid=20867 vsize=118792 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20871/stat : 20871 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590526 121643008 4399 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20872] ppid=20867 vsize=118792 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20872/stat : 20872 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590526 121643008 4399 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20873] ppid=20867 vsize=118792 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20873/stat : 20873 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590526 121643008 4400 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20874] ppid=20867 vsize=118792 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20874/stat : 20874 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590526 121643008 4400 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20875] ppid=20867 vsize=118792 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20875/stat : 20875 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590526 121643008 4400 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20876] ppid=20867 vsize=118792 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20876/stat : 20876 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590526 121643008 4401 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20877] ppid=20867 vsize=118792 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20877/stat : 20877 (mono) S 20867 20869 20321 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 719590526 121643008 4401 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290703281 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 118792

[startup+0.301075 s]
/proc/loadavg: 2.08 2.07 2.07 2/408 20869
/proc/meminfo: memFree=17288060/32950904 swapFree=65784192/67111528
[pid=20869] ppid=20867 vsize=123100 CPUtime=0.29 cores=1,3,5,7
/proc/20869/stat : 20869 (mono) R 20867 20869 20321 0 -1 4202496 5877 0 0 0 28 1 0 0 25 0 9 0 719590525 126054400 5780 33554432000 4194304 7232020 140734164554976 18446744073709551615 1098507395 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/20869/statm: 30775 5780 1025 742 0 23346 0
[pid=20869/tid=20870] ppid=20867 vsize=123100 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20870/stat : 20870 (mono) S 20867 20869 20321 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 9 0 719590526 126054400 5780 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20871] ppid=20867 vsize=123100 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20871/stat : 20871 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 719590526 126054400 5780 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20872] ppid=20867 vsize=123100 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20872/stat : 20872 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 719590526 126054400 5780 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20873] ppid=20867 vsize=123100 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20873/stat : 20873 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 719590526 126054400 5780 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20874] ppid=20867 vsize=123100 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20874/stat : 20874 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 719590526 126054400 5780 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20875] ppid=20867 vsize=123100 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20875/stat : 20875 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 719590526 126054400 5780 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20876] ppid=20867 vsize=123100 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20876/stat : 20876 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 719590526 126054400 5780 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20877] ppid=20867 vsize=123100 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20877/stat : 20877 (mono) S 20867 20869 20321 0 -1 4202560 3 0 0 0 0 0 0 0 24 0 9 0 719590526 126054400 5780 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290703281 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 123100

[startup+0.701003 s]
/proc/loadavg: 2.08 2.07 2.07 2/408 20869
/proc/meminfo: memFree=17288060/32950904 swapFree=65784192/67111528
[pid=20869] ppid=20867 vsize=123228 CPUtime=0.69 cores=1,3,5,7
/proc/20869/stat : 20869 (mono) R 20867 20869 20321 0 -1 4202496 5902 0 0 0 68 1 0 0 25 0 9 0 719590525 126185472 5805 33554432000 4194304 7232020 140734164554976 18446744073709551615 1098511118 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/20869/statm: 30807 5805 1025 742 0 23378 0
[pid=20869/tid=20870] ppid=20867 vsize=123228 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20870/stat : 20870 (mono) S 20867 20869 20321 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 9 0 719590526 126185472 5805 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20871] ppid=20867 vsize=123228 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20871/stat : 20871 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 719590526 126185472 5805 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20872] ppid=20867 vsize=123228 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20872/stat : 20872 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 719590526 126185472 5805 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20873] ppid=20867 vsize=123228 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20873/stat : 20873 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 719590526 126185472 5805 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20874] ppid=20867 vsize=123228 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20874/stat : 20874 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 719590526 126185472 5805 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20875] ppid=20867 vsize=123228 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20875/stat : 20875 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 719590526 126185472 5805 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20876] ppid=20867 vsize=123228 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20876/stat : 20876 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 719590526 126185472 5805 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20877] ppid=20867 vsize=123228 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20877/stat : 20877 (mono) S 20867 20869 20321 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 9 0 719590526 126185472 5805 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290703281 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 123228

[startup+1.50086 s]
/proc/loadavg: 2.08 2.07 2.07 3/417 20878
/proc/meminfo: memFree=17267908/32950904 swapFree=65784192/67111528
[pid=20869] ppid=20867 vsize=128980 CPUtime=1.5 cores=1,3,5,7
/proc/20869/stat : 20869 (mono) R 20867 20869 20321 0 -1 4202496 6088 0 0 0 149 1 0 0 25 0 9 0 719590525 132075520 5991 33554432000 4194304 7232020 140734164554976 18446744073709551615 1098507577 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/20869/statm: 32245 5991 1025 742 0 24816 0
[pid=20869/tid=20870] ppid=20867 vsize=128980 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20870/stat : 20870 (mono) S 20867 20869 20321 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 719590526 132075520 5991 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20871] ppid=20867 vsize=128980 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20871/stat : 20871 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719590526 132075520 5991 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20872] ppid=20867 vsize=128980 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20872/stat : 20872 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719590526 132075520 5991 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20873] ppid=20867 vsize=128980 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20873/stat : 20873 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 719590526 132075520 5991 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20874] ppid=20867 vsize=128980 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20874/stat : 20874 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719590526 132075520 5991 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20875] ppid=20867 vsize=128980 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20875/stat : 20875 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719590526 132075520 5991 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20876] ppid=20867 vsize=128980 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20876/stat : 20876 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719590526 132075520 5991 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20877] ppid=20867 vsize=128980 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20877/stat : 20877 (mono) S 20867 20869 20321 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719590526 132075520 5991 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290703281 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 128980

[startup+3.10058 s]
/proc/loadavg: 2.08 2.07 2.07 3/417 20878
/proc/meminfo: memFree=17264684/32950904 swapFree=65784192/67111528
[pid=20869] ppid=20867 vsize=129108 CPUtime=3.11 cores=1,3,5,7
/proc/20869/stat : 20869 (mono) R 20867 20869 20321 0 -1 4202496 7065 0 0 0 310 1 0 0 25 0 9 0 719590525 132206592 6968 33554432000 4194304 7232020 140734164554976 18446744073709551615 1091932879 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/20869/statm: 32277 6968 1025 742 0 24848 0
[pid=20869/tid=20870] ppid=20867 vsize=129108 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20870/stat : 20870 (mono) S 20867 20869 20321 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 719590526 132206592 6968 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20871] ppid=20867 vsize=129108 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20871/stat : 20871 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 719590526 132206592 6968 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20872] ppid=20867 vsize=129108 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20872/stat : 20872 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719590526 132206592 6968 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20873] ppid=20867 vsize=129108 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20873/stat : 20873 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719590526 132206592 6968 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20874] ppid=20867 vsize=129108 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20874/stat : 20874 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719590526 132206592 6968 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20875] ppid=20867 vsize=129108 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20875/stat : 20875 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 719590526 132206592 6968 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20876] ppid=20867 vsize=129108 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20876/stat : 20876 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719590526 132206592 6968 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20877] ppid=20867 vsize=129108 CPUtime=0 cores=1,3,5,7
/proc/20869/task/20877/stat : 20877 (mono) S 20867 20869 20321 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719590526 132206592 6968 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290703281 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 129108

[startup+6.30101 s]
/proc/loadavg: 2.07 2.06 2.07 3/417 20878
/proc/meminfo: memFree=17255820/32950904 swapFree=65784192/67111528
[pid=20869] ppid=20867 vsize=136800 CPUtime=6.33 cores=1,3,5,7
/proc/20869/stat : 20869 (mono) R 20867 20869 20321 0 -1 4202496 8715 0 0 0 632 1 0 0 25 0 9 0 719590525 140083200 8618 33554432000 4194304 7232020 140734164554976 18446744073709551615 1098507598 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/20869/statm: 34200 8618 1025 742 0 26771 0

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

/proc/20869/stat : 20869 (mono) R 20867 20869 20321 0 -1 4202496 711314 0 0 0 351618 200 0 0 25 0 9 0 719590525 1061060608 212152 33554432000 4194304 7232020 140734164554976 18446744073709551615 6172898 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/20869/statm: 259048 212152 1037 742 0 251619 0
[pid=20869/tid=20870] ppid=20867 vsize=1036192 CPUtime=27.51 cores=1,3,5,7
/proc/20869/task/20870/stat : 20870 (mono) R 20867 20869 20321 0 -1 4202560 4 0 0 0 2743 8 0 0 15 0 9 0 719590526 1061060608 212152 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=20869/tid=20871] ppid=20867 vsize=1036192 CPUtime=28.63 cores=1,3,5,7
/proc/20869/task/20871/stat : 20871 (mono) R 20867 20869 20321 0 -1 4202560 2 0 0 0 2857 6 0 0 15 0 9 0 719590526 1061060608 212152 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290696847 0 0 4096 545260780 0 0 0 -1 3 0 0 0
[pid=20869/tid=20872] ppid=20867 vsize=1036192 CPUtime=29.03 cores=1,3,5,7
/proc/20869/task/20872/stat : 20872 (mono) R 20867 20869 20321 0 -1 4202560 2 0 0 0 2896 7 0 0 16 0 9 0 719590526 1061060608 212152 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=20869/tid=20873] ppid=20867 vsize=1036192 CPUtime=28.13 cores=1,3,5,7
/proc/20869/task/20873/stat : 20873 (mono) R 20867 20869 20321 0 -1 4202560 2 0 0 0 2806 7 0 0 15 0 9 0 719590526 1061060608 212152 33554432000 4194304 7232020 140734164554976 18446744073709551615 6173299 0 0 4096 545260780 0 0 0 -1 1 0 0 0
[pid=20869/tid=20874] ppid=20867 vsize=1036192 CPUtime=28.77 cores=1,3,5,7
/proc/20869/task/20874/stat : 20874 (mono) R 20867 20869 20321 0 -1 4202560 2 0 0 0 2870 7 0 0 16 0 9 0 719590526 1061060608 212152 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 0 0 0 -1 7 0 0 0
[pid=20869/tid=20875] ppid=20867 vsize=1036192 CPUtime=27.65 cores=1,3,5,7
/proc/20869/task/20875/stat : 20875 (mono) R 20867 20869 20321 0 -1 4202560 2 0 0 0 2757 8 0 0 15 0 9 0 719590526 1061060608 212152 33554432000 4194304 7232020 140734164554976 18446744073709551615 6173027 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=20869/tid=20876] ppid=20867 vsize=1036192 CPUtime=28.74 cores=1,3,5,7
/proc/20869/task/20876/stat : 20876 (mono) R 20867 20869 20321 0 -1 4202560 2 0 0 0 2866 8 0 0 16 0 9 0 719590526 1061060608 212152 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 0 0 0 -1 1 0 0 0
[pid=20869/tid=20877] ppid=20867 vsize=1036192 CPUtime=0.07 cores=1,3,5,7
/proc/20869/task/20877/stat : 20877 (mono) S 20867 20869 20321 0 -1 4194368 3 0 0 0 2 5 0 0 15 0 9 0 719590526 1061060608 212152 33554432000 4194304 7232020 140734164554976 18446744073709551615 237278267327 0 2138816217 4096 545260780 18446744071562694473 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3518.18
Current children cumulated vsize (KiB) 1036192

[startup+3372.7 s]
/proc/loadavg: 2.10 2.12 2.09 3/417 20980
/proc/meminfo: memFree=16411544/32950904 swapFree=65784192/67111528
[pid=20869] ppid=20867 vsize=1036192 CPUtime=3524.81 cores=1,3,5,7
/proc/20869/stat : 20869 (mono) R 20867 20869 20321 0 -1 4202496 711314 0 0 0 352281 200 0 0 25 0 9 0 719590525 1061060608 212152 33554432000 4194304 7232020 140734164554976 18446744073709551615 1098510453 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/20869/statm: 259048 212152 1037 742 0 251619 0
[pid=20869/tid=20870] ppid=20867 vsize=1036192 CPUtime=27.52 cores=1,3,5,7
/proc/20869/task/20870/stat : 20870 (mono) S 20867 20869 20321 0 -1 4202560 4 0 0 0 2744 8 0 0 16 0 9 0 719590526 1061060608 212152 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20871] ppid=20867 vsize=1036192 CPUtime=28.68 cores=1,3,5,7
/proc/20869/task/20871/stat : 20871 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2862 6 0 0 16 0 9 0 719590526 1061060608 212152 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20872] ppid=20867 vsize=1036192 CPUtime=29.07 cores=1,3,5,7
/proc/20869/task/20872/stat : 20872 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2900 7 0 0 16 0 9 0 719590526 1061060608 212152 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 5 0 0 0
[pid=20869/tid=20873] ppid=20867 vsize=1036192 CPUtime=28.18 cores=1,3,5,7
/proc/20869/task/20873/stat : 20873 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2811 7 0 0 16 0 9 0 719590526 1061060608 212152 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 5 0 0 0
[pid=20869/tid=20874] ppid=20867 vsize=1036192 CPUtime=28.81 cores=1,3,5,7
/proc/20869/task/20874/stat : 20874 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2874 7 0 0 16 0 9 0 719590526 1061060608 212152 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20875] ppid=20867 vsize=1036192 CPUtime=27.72 cores=1,3,5,7
/proc/20869/task/20875/stat : 20875 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2764 8 0 0 16 0 9 0 719590526 1061060608 212152 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20876] ppid=20867 vsize=1036192 CPUtime=28.81 cores=1,3,5,7
/proc/20869/task/20876/stat : 20876 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2873 8 0 0 16 0 9 0 719590526 1061060608 212152 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 1 0 0 0
[pid=20869/tid=20877] ppid=20867 vsize=1036192 CPUtime=0.08 cores=1,3,5,7
/proc/20869/task/20877/stat : 20877 (mono) S 20867 20869 20321 0 -1 4202560 3 0 0 0 2 6 0 0 15 0 9 0 719590526 1061060608 212152 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290703281 0 0 4096 545260780 18446604459431027648 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.81
Current children cumulated vsize (KiB) 1036192

[startup+3375.91 s]
/proc/loadavg: 2.10 2.12 2.09 3/417 20980
/proc/meminfo: memFree=16411416/32950904 swapFree=65784192/67111528
[pid=20869] ppid=20867 vsize=1036192 CPUtime=3528.2 cores=1,3,5,7
/proc/20869/stat : 20869 (mono) R 20867 20869 20321 0 -1 4202496 711343 0 0 0 352620 200 0 0 21 0 9 0 719590525 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 1098510634 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/20869/statm: 259048 212181 1037 742 0 251619 0
[pid=20869/tid=20870] ppid=20867 vsize=1036192 CPUtime=27.58 cores=1,3,5,7
/proc/20869/task/20870/stat : 20870 (mono) S 20867 20869 20321 0 -1 4202560 4 0 0 0 2750 8 0 0 16 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20871] ppid=20867 vsize=1036192 CPUtime=28.71 cores=1,3,5,7
/proc/20869/task/20871/stat : 20871 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2865 6 0 0 16 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20872] ppid=20867 vsize=1036192 CPUtime=29.1 cores=1,3,5,7
/proc/20869/task/20872/stat : 20872 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2903 7 0 0 16 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 1 0 0 0
[pid=20869/tid=20873] ppid=20867 vsize=1036192 CPUtime=28.21 cores=1,3,5,7
/proc/20869/task/20873/stat : 20873 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2814 7 0 0 16 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 5 0 0 0
[pid=20869/tid=20874] ppid=20867 vsize=1036192 CPUtime=28.85 cores=1,3,5,7
/proc/20869/task/20874/stat : 20874 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2878 7 0 0 15 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20875] ppid=20867 vsize=1036192 CPUtime=27.73 cores=1,3,5,7
/proc/20869/task/20875/stat : 20875 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2765 8 0 0 16 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 5 0 0 0
[pid=20869/tid=20876] ppid=20867 vsize=1036192 CPUtime=28.83 cores=1,3,5,7
/proc/20869/task/20876/stat : 20876 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2875 8 0 0 16 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 1 0 0 0
[pid=20869/tid=20877] ppid=20867 vsize=1036192 CPUtime=0.08 cores=1,3,5,7
/proc/20869/task/20877/stat : 20877 (mono) S 20867 20869 20321 0 -1 4202560 3 0 0 0 2 6 0 0 15 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290703281 0 0 4096 545260780 18446604459431027648 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3528.2
Current children cumulated vsize (KiB) 1036192

[startup+3379.1 s]
/proc/loadavg: 2.09 2.12 2.09 3/417 20980
/proc/meminfo: memFree=16411292/32950904 swapFree=65784192/67111528
[pid=20869] ppid=20867 vsize=1036192 CPUtime=3531.58 cores=1,3,5,7
/proc/20869/stat : 20869 (mono) R 20867 20869 20321 0 -1 4202496 711343 0 0 0 352958 200 0 0 25 0 9 0 719590525 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 1098511031 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/20869/statm: 259048 212181 1037 742 0 251619 0
[pid=20869/tid=20870] ppid=20867 vsize=1036192 CPUtime=27.62 cores=1,3,5,7
/proc/20869/task/20870/stat : 20870 (mono) S 20867 20869 20321 0 -1 4202560 4 0 0 0 2754 8 0 0 16 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20871] ppid=20867 vsize=1036192 CPUtime=28.75 cores=1,3,5,7
/proc/20869/task/20871/stat : 20871 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2869 6 0 0 15 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20872] ppid=20867 vsize=1036192 CPUtime=29.14 cores=1,3,5,7
/proc/20869/task/20872/stat : 20872 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2907 7 0 0 16 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20873] ppid=20867 vsize=1036192 CPUtime=28.22 cores=1,3,5,7
/proc/20869/task/20873/stat : 20873 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2815 7 0 0 16 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 5 0 0 0
[pid=20869/tid=20874] ppid=20867 vsize=1036192 CPUtime=28.86 cores=1,3,5,7
/proc/20869/task/20874/stat : 20874 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2879 7 0 0 16 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20875] ppid=20867 vsize=1036192 CPUtime=27.79 cores=1,3,5,7
/proc/20869/task/20875/stat : 20875 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2771 8 0 0 16 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 5 0 0 0
[pid=20869/tid=20876] ppid=20867 vsize=1036192 CPUtime=28.88 cores=1,3,5,7
/proc/20869/task/20876/stat : 20876 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2880 8 0 0 16 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 1 0 0 0
[pid=20869/tid=20877] ppid=20867 vsize=1036192 CPUtime=0.08 cores=1,3,5,7
/proc/20869/task/20877/stat : 20877 (mono) S 20867 20869 20321 0 -1 4202560 3 0 0 0 2 6 0 0 15 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290703281 0 0 4096 545260780 18446604459431027648 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3531.58
Current children cumulated vsize (KiB) 1036192

[startup+3379.9 s]
/proc/loadavg: 2.09 2.12 2.09 3/417 20980
/proc/meminfo: memFree=16411292/32950904 swapFree=65784192/67111528
[pid=20869] ppid=20867 vsize=1036192 CPUtime=3532.37 cores=1,3,5,7
/proc/20869/stat : 20869 (mono) R 20867 20869 20321 0 -1 4202496 711343 0 0 0 353037 200 0 0 25 0 9 0 719590525 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 1098510453 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/20869/statm: 259048 212181 1037 742 0 251619 0
[pid=20869/tid=20870] ppid=20867 vsize=1036192 CPUtime=27.62 cores=1,3,5,7
/proc/20869/task/20870/stat : 20870 (mono) S 20867 20869 20321 0 -1 4202560 4 0 0 0 2754 8 0 0 16 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20871] ppid=20867 vsize=1036192 CPUtime=28.75 cores=1,3,5,7
/proc/20869/task/20871/stat : 20871 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2869 6 0 0 15 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20872] ppid=20867 vsize=1036192 CPUtime=29.14 cores=1,3,5,7
/proc/20869/task/20872/stat : 20872 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2907 7 0 0 16 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20873] ppid=20867 vsize=1036192 CPUtime=28.22 cores=1,3,5,7
/proc/20869/task/20873/stat : 20873 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2815 7 0 0 16 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 5 0 0 0
[pid=20869/tid=20874] ppid=20867 vsize=1036192 CPUtime=28.86 cores=1,3,5,7
/proc/20869/task/20874/stat : 20874 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2879 7 0 0 16 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20875] ppid=20867 vsize=1036192 CPUtime=27.79 cores=1,3,5,7
/proc/20869/task/20875/stat : 20875 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2771 8 0 0 16 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 5 0 0 0
[pid=20869/tid=20876] ppid=20867 vsize=1036192 CPUtime=28.88 cores=1,3,5,7
/proc/20869/task/20876/stat : 20876 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2880 8 0 0 16 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 1 0 0 0
[pid=20869/tid=20877] ppid=20867 vsize=1036192 CPUtime=0.08 cores=1,3,5,7
/proc/20869/task/20877/stat : 20877 (mono) S 20867 20869 20321 0 -1 4202560 3 0 0 0 2 6 0 0 15 0 9 0 719590526 1061060608 212181 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290703281 0 0 4096 545260780 18446604459431027648 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3532.37
Current children cumulated vsize (KiB) 1036192

[startup+3380.7 s]
/proc/loadavg: 2.09 2.12 2.09 3/417 20980
/proc/meminfo: memFree=16412284/32950904 swapFree=65784192/67111528
[pid=20869] ppid=20867 vsize=1036192 CPUtime=3533.35 cores=1,3,5,7
/proc/20869/stat : 20869 (mono) R 20867 20869 20321 0 -1 4202496 711343 0 0 0 353135 200 0 0 25 0 9 0 719590525 1061060608 211889 33554432000 4194304 7232020 140734164554976 18446744073709551615 1098510453 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/20869/statm: 259048 211889 1037 742 0 251619 0
[pid=20869/tid=20870] ppid=20867 vsize=1036192 CPUtime=27.64 cores=1,3,5,7
/proc/20869/task/20870/stat : 20870 (mono) S 20867 20869 20321 0 -1 4202560 4 0 0 0 2756 8 0 0 15 0 9 0 719590526 1061060608 211889 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20871] ppid=20867 vsize=1036192 CPUtime=28.81 cores=1,3,5,7
/proc/20869/task/20871/stat : 20871 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2875 6 0 0 16 0 9 0 719590526 1061060608 211889 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 1 0 0 0
[pid=20869/tid=20872] ppid=20867 vsize=1036192 CPUtime=29.19 cores=1,3,5,7
/proc/20869/task/20872/stat : 20872 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2912 7 0 0 16 0 9 0 719590526 1061060608 211889 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20873] ppid=20867 vsize=1036192 CPUtime=28.27 cores=1,3,5,7
/proc/20869/task/20873/stat : 20873 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2820 7 0 0 16 0 9 0 719590526 1061060608 211889 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 5 0 0 0
[pid=20869/tid=20874] ppid=20867 vsize=1036192 CPUtime=28.9 cores=1,3,5,7
/proc/20869/task/20874/stat : 20874 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2883 7 0 0 16 0 9 0 719590526 1061060608 211889 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20875] ppid=20867 vsize=1036192 CPUtime=27.81 cores=1,3,5,7
/proc/20869/task/20875/stat : 20875 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2773 8 0 0 16 0 9 0 719590526 1061060608 211889 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20876] ppid=20867 vsize=1036192 CPUtime=28.91 cores=1,3,5,7
/proc/20869/task/20876/stat : 20876 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2883 8 0 0 16 0 9 0 719590526 1061060608 211889 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20877] ppid=20867 vsize=1036192 CPUtime=0.08 cores=1,3,5,7
/proc/20869/task/20877/stat : 20877 (mono) S 20867 20869 20321 0 -1 4202560 3 0 0 0 2 6 0 0 15 0 9 0 719590526 1061060608 211889 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290703281 0 0 4096 545260780 18446604459431027648 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3533.35
Current children cumulated vsize (KiB) 1036192

[startup+3380.9 s]
/proc/loadavg: 2.09 2.12 2.09 3/417 20980
/proc/meminfo: memFree=16412284/32950904 swapFree=65784192/67111528
[pid=20869] ppid=20867 vsize=1036280 CPUtime=3533.55 cores=1,3,5,7
/proc/20869/stat : 20869 (mono) R 20867 20869 20321 0 -1 4202496 711417 0 0 0 353155 200 0 0 25 0 9 0 719590525 1061150720 211962 33554432000 4194304 7232020 140734164554976 18446744073709551615 6137318 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/20869/statm: 259070 211962 1075 742 0 251641 0
[pid=20869/tid=20870] ppid=20867 vsize=1036280 CPUtime=27.64 cores=1,3,5,7
/proc/20869/task/20870/stat : 20870 (mono) S 20867 20869 20321 0 -1 4202560 4 0 0 0 2756 8 0 0 15 0 9 0 719590526 1061150720 211962 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20871] ppid=20867 vsize=1036280 CPUtime=28.81 cores=1,3,5,7
/proc/20869/task/20871/stat : 20871 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2875 6 0 0 16 0 9 0 719590526 1061150720 211962 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 1 0 0 0
[pid=20869/tid=20872] ppid=20867 vsize=1036280 CPUtime=29.19 cores=1,3,5,7
/proc/20869/task/20872/stat : 20872 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2912 7 0 0 16 0 9 0 719590526 1061150720 211962 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 7 0 0 0
[pid=20869/tid=20873] ppid=20867 vsize=1036280 CPUtime=28.27 cores=1,3,5,7
/proc/20869/task/20873/stat : 20873 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2820 7 0 0 16 0 9 0 719590526 1061150720 211962 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 5 0 0 0
[pid=20869/tid=20874] ppid=20867 vsize=1036280 CPUtime=28.9 cores=1,3,5,7
/proc/20869/task/20874/stat : 20874 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2883 7 0 0 16 0 9 0 719590526 1061150720 211962 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20875] ppid=20867 vsize=1036280 CPUtime=27.81 cores=1,3,5,7
/proc/20869/task/20875/stat : 20875 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2773 8 0 0 16 0 9 0 719590526 1061150720 211962 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20876] ppid=20867 vsize=1036280 CPUtime=28.91 cores=1,3,5,7
/proc/20869/task/20876/stat : 20876 (mono) S 20867 20869 20321 0 -1 4202560 2 0 0 0 2883 8 0 0 16 0 9 0 719590526 1061150720 211962 33554432000 4194304 7232020 140734164554976 18446744073709551615 237290695577 0 0 4096 545260780 18446604459431027648 0 0 -1 3 0 0 0
[pid=20869/tid=20877] ppid=20867 vsize=1036280 CPUtime=0.08 cores=1,3,5,7
/proc/20869/task/20877/stat : 20877 (mono) S 20867 20869 20321 0 -1 4194368 3 0 0 0 2 6 0 0 15 0 9 0 719590526 1061150720 211962 33554432000 4194304 7232020 140734164554976 18446744073709551615 237278267327 0 2138816217 4096 545260780 18446744071562694473 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3533.55
Current children cumulated vsize (KiB) 1036280

Child status: 0
Real time (s): 3380.98
CPU time (s): 3533.64
CPU user time (s): 3531.59
CPU system time (s): 2.04869
CPU usage (%): 104.515
Max. virtual memory (cumulated for all children) (KiB): 1036280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3531.59
system time used= 2.04869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 711473
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= 173740
involuntary context switches= 42786

runsolver used 12.6871 second user time and 30.4704 second system time

The end

Launcher Data 

Begin job on node121 at 2011-05-22 17:58:28
IDJOB=3394501
IDBENCH=83194
IDSOLVER=1880
FILE ID=node121/3394501-1306079908
RUNJOBID= node121-1306069996-20340
PBS_JOBID= 13387882
Free space on /tmp= 72984 MiB

SOLVER NAME= Sol 2011-04-04
BENCH NAME= SAT11/crafted/skvortsov/automata-synchronization/crn_20_361_s.cnf
COMMAND LINE= mono Main.exe BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394501-1306079908/watcher-3394501-1306079908 -o /tmp/evaluation-result-3394501-1306079908/solver-3394501-1306079908 -C 5000 -W 5100 -M 15500  mono Main.exe HOME/instance-3394501-1306079908.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 6e5ac2b9425e98989eedf4cf638bde54
RANDOM SEED=1741899180

node121.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.817
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.63
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.817
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.07
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.817
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.84
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.817
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.77
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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
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.74
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.817
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.817
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      17288216 kB
Buffers:        157116 kB
Cached:        3803152 kB
SwapCached:      32064 kB
Active:        8048500 kB
Inactive:      7374740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      17288216 kB
SwapTotal:    67111528 kB
SwapFree:     65784192 kB
Dirty:             424 kB
Writeback:           0 kB
AnonPages:    11437116 kB
Mapped:          34064 kB
Slab:           120500 kB
PageTables:      52440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 84032148 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= 72984 MiB
End job on node121 at 2011-05-22 18:54:49