Trace number 3495317

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
OptimuS p100_sourceUNSAT 9.01763 9.0208

General information on the benchmark

Namemus/marques-silva/
fpga-routing/apex7_gr_2pin_w4.shuffled.cnf
MD5SUM81c3db80400852b88f14d6ae9ef61e0e
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.020995
Satisfiable
(Un)Satisfiability was proved
Number of variables1322
Number of clauses10940
Sum of the clauses size40872
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21444
Number of clauses of size 30
Number of clauses of size 49496
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

8.99/9.01	c - Reading the instance.. OK! Totally clauses:    10940; Vars:     1322; Time: 0.01
8.99/9.01	c - Unit propagation..     OK! Removed clauses:        0;                 Time: 0.00
8.99/9.01	c - Delete by resolution.. OK! Removed clauses:      136;                 Time: 0.02
8.99/9.01	c   - Solving the original instance..
8.99/9.01	c     - OK - UNSAT! Continue to clause elimination..
8.99/9.01	c   - round:    1;   Skips in previous round:    0
8.99/9.01	c     - clauses done:  1%; among them skipped: 0.00%;
8.99/9.01	c     - clauses done: 10%; among them skipped: 0.00%;
8.99/9.01	c     - clauses done: 20%; among them skipped: 0.00%;
8.99/9.01	c     - clauses done: 30%; among them skipped: 0.00%;
8.99/9.01	c     - clauses done: 40%; among them skipped: 0.00%;
8.99/9.01	c     - clauses done: 50%; among them skipped: 0.00%;
8.99/9.01	c     - clauses done: 60%; among them skipped: 0.00%;
8.99/9.01	c     - clauses done: 70%; among them skipped: 0.00%;
8.99/9.01	c     - clauses done: 80%; among them skipped: 0.00%;
8.99/9.01	c     - clauses done: 90%; among them skipped: 0.00%;
8.99/9.01	c     - clauses done: 99%; among them skipped: 0.00%;
8.99/9.01	c - Finish! Unsat core size: 950 / 10940; Time: 9.01 s
8.99/9.01	c - ---------------------------------------------------------------------------
8.99/9.01	c - Statistics: |    unit   |    BCE    | sat-saved | sat-check | unsat-check |
8.99/9.01	c -             |       0   |    2772   |     355   |     595   |    7218     |
8.99/9.01	c - ---------------------------------------------------------------------------
8.99/9.01	s UNSATISFIABLE
8.99/9.01	v 1422 1766 2398 2534 2581 2772 2806 3058 3138 3217 3253 3586 3588 3644 3731 3832 3877 3935 4086 4188 4215 4296 4378 4481 4488 4576 4593 4647 4660 4699 4719 4756 4814 4891 4923 4958 4978 4991 5016 5058 5115 5127 5217 5235 5293 5308 5337 5366 5374 5389 5422 5478 5505 5511 5517 5523 5625 5626 5651 5656 5686 5704 5708 5744 5751 5768 5802 5804 5814 5834 5846 5848 5873 5900 5946 5948 5969 6009 6035 6050 6051 6052 6063 6069 6079 6091 6099 6108 6115 6140 6144 6167 6172 6184 6210 6211 6216 6223 6226 6266 6287 6295 6298 6300 6306 6319 6336 6338 6341 6367 6371 6373 6375 6383 6395 6398 6413 6420 6421 6434 6443 6451 6456 6479 6480 6481 6484 6490 6498 6514 6526 6556 6562 6563 6583 6587 6599 6607 6611 6618 6633 6634 6641 6650 6652 6670 6686 6695 6711 6715 6716 6730 6731 6752 6797 6820 6843 6850 6859 6867 6872 6874 6875 6887 6901 6913 6919 6920 6925 6937 6943 6960 6966 6970 6977 6983 6992 6998 7005 7010 7013 7016 7017 7035 7086 7087 7094 7105 7113 7130 7154 7164 7166 7168 7169 7175 7176 7182 7183 7184 7192 7193 7206 7213 7216 7221 7223 7230 7238 7240 7241 7246 7272 7278 7290 7296 7301 7315 7319 7326 7327 7343 7349 7354 7380 7393 7399 7401 7404 7407 7416 7437 7441 7457 7460 7461 7469 7473 7474 7477 7491 7496 7497 7502 7503 7504 7542 7543 7549 7556 7572 7579 7596 7597 7605 7617 7622 7626 7631 7634 7637 7643 7652 7653 7657 7658 7668 7675 7700 7705 7706 7716 7717 7721 7725 7727 7733 7734 7737 7750 7758 7771 7789 7790 7791 7795 7796 7801 7811 7818 7826 7838 7844 7857 7862 7872 7879 7884 7885 7888 7889 7900 7901 7902 7906 7913 7914 7921 7925 7933 7941 7945 7947 7949 7953 7954 7966 7970 7978 7984 7987 7992 7993 8000 8002 8004 8007 8016 8020 8040 8041 8042 8044 8047 8050 8052 8062 8071 8073 8074 8082 8104 8125 8126 8127 8154 8155 8157 8158 8176 8177 8178 8179 8185 8187 8188 8190 8192 8194 8195 8196 8202 8206 8208 8209 8213 8214 8217 8218 8219 8226 8235 8242 8247 8249 8250 8255 8258 8263 8265 8270 8271 8278 8284 8287 8289 8294 8305 8321 8326 8346 8349 8361 8362 8381 8392 8398 8401 8406 8414 8416 8417 8418 8424 8425 8437 8445 8450 8453 8459 8460 8465 8470 8472 8478 8491 8498 8499 8500 8505 8509 8517 8524 8527 8533 8535 8538 8546 8550 8555 8557 8558 8564 8565 8570 8571 8573 8575 8579 8581 8590 8592 8593 8597 8601 8605 8614 8622 8626 8627 8631 8632 8647 8649 8658 8661 8664 8679 8684 8685 8688 8689 8695 8702 8713 8722 8724 8725 8727 8732 8734 8739 8743 8750 8759 8762 8766 8770 8779 8783 8786 8792 8800 8807 8813 8816 8824 8826 8828 8830 8832 8836 8838 8842 8845 8850 8856 8859 8864 8866 8868 8869 8878 8884 8885 8895 8902 8912 8915 8919 8921 8926 8948 8953 8955 8962 8964 8965 8966 8969 8974 8975 8982 8990 8992 8997 8999 9000 9003 9006 9010 9013 9017 9041 9042 9049 9050 9056 9058 9064 9066 9070 9078 9080 9085 9090 9092 9104 9110 9112 9118 9120 9121 9125 9127 9136 9144 9147 9156 9158 9161 9167 9168 9169 9178 9189 9193 9200 9202 9207 9211 9212 9224 9226 9231 9240 9244 9247 9270 9276 9277 9279 9280 9285 9290 9292 9295 9298 9304 9316 9319 9325 9329 9338 9346 9348 9354 9359 9360 9365 9369 9374 9375 9376 9380 9381 9382 9384 9385 9396 9397 9403 9406 9408 9409 9410 9423 9428 9432 9437 9443 9450 9457 9461 9464 9475 9476 9478 9489 9490 9494 9498 9499 9503 9504 9505 9507 9514 9528 9538 9547 9549 9550 9569 9571 9572 9574 9577 9578 9579 9580 9591 9602 9603 9607 9625 9631 9634 9646 9647 9662 9669 9670 9671 9679 9680 9685 9692 9695 9701 9702 9703 9705 9710 9714 9720 9724 9726 9728 9733 9734 9739 9740 9742 9743 9748 9751 9753 9756 9758 9762 9764 9776 9777 9794 9795 9797 9798 9799 9800 9802 9810 9818 9829 9831 9836 9847 9855 9858 9861 9862 9866 9871 9873 9876 9885 9887 9889 9890 9891 9893 9898 9901 9908 9917 9919 9921 9923 9932 9936 9942 9943 9948 9959 9960 9976 9980 9981 9982 9987 9991 9992 9993 10001 10002 10003 10005 10006 10009 10012 10014 10015 10027 10033 10039 10046 10049 10062 10070 10072 10076 10083 10086 10087 10088 10090 10093 10094 10095 10096 10103 10123 10129 10140 10143 10149 10151 10152 10156 10163 10164 10165 10174 10186 10192 10195 10197 10198 10209 10221 10225 10232 10233 10239 10243 10249 10256 10257 10267 10281 10285 10288 10290 10291 10292 10293 10296 10298 10308 10310 10321 10323 10324 10328 10344 10347 10350 10359 10360 10361 10369 10394 10402 10410 10412 10413 10422 10423 10424 10427 10432 10435 10441 10449 10450 10454 10458 10461 10467 10481 10484 10493 10494 10509 10511 10517 10519 10520 10522 10524 10525 10527 10529 10531 10533 10535 10540 10541 10544 10546 10551 10555 10557 10561 10562 10563 10566 10569 10571 10572 10574 10576 10580 10587 10591 10592 10601 10602 10605 10621 10626 10629 10640 10647 10651 10653 10658 10663 10670 10671 10674 10679 10691 10696 10697 10699 10706 10707 10709 10716 10718 10725 10735 10739 10744 10746 10748 10750 10751 10762 10763 10765 10768 10773 10775 10787 10788 10791 10798 10802 10803 10814 10816 10819 10822 10828 10829 10832 10847 10848 10849 10859 10860 10872 10874 10880 10881 10890 10893 10898 10899 10905 10909 10916 10918 10925 10926 10931 10933 10940 0

Verifier Data

OK	950

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3495317-1307809910/watcher-3495317-1307809910 -o /tmp/evaluation-result-3495317-1307809910/solver-3495317-1307809910 -C 1800 -W 1850 -M 7680 OptimuS_release HOME/instance-3495317-1307809910.cnf 

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 1.15 1.88 2.78 6/189 25531
/proc/meminfo: memFree=31341136/32951124 swapFree=67055520/67111528
[pid=25531] ppid=25529 vsize=19648 CPUtime=0 cores=5,7
/proc/25531/stat : 25531 (OptimuS_release) R 25529 25531 23230 0 -1 4202496 532 0 0 0 0 0 0 0 25 0 1 0 873406614 20119552 463 33554432000 4194304 4279399 140733562316880 18446744073709551615 4265489 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25531/statm: 4912 464 223 21 0 1549 0

[startup+0.0180039 s]
/proc/loadavg: 1.15 1.88 2.78 6/189 25531
/proc/meminfo: memFree=31341136/32951124 swapFree=67055520/67111528
[pid=25531] ppid=25529 vsize=21992 CPUtime=0.01 cores=5,7
/proc/25531/stat : 25531 (OptimuS_release) R 25529 25531 23230 0 -1 4202496 1111 0 0 0 1 0 0 0 25 0 1 0 873406614 22519808 1033 33554432000 4194304 4279399 140733562316880 18446744073709551615 270338383616 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25531/statm: 5498 1034 239 21 0 2135 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21992

[startup+0.100979 s]
/proc/loadavg: 1.15 1.88 2.78 6/189 25531
/proc/meminfo: memFree=31341136/32951124 swapFree=67055520/67111528
[pid=25531] ppid=25529 vsize=22720 CPUtime=0.09 cores=5,7
/proc/25531/stat : 25531 (OptimuS_release) R 25529 25531 23230 0 -1 4202496 1334 0 0 0 9 0 0 0 25 0 1 0 873406614 23265280 1255 33554432000 4194304 4279399 140733562316880 18446744073709551615 4257997 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25531/statm: 5680 1255 270 21 0 2317 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22720

[startup+0.300939 s]
/proc/loadavg: 1.15 1.88 2.78 6/189 25531
/proc/meminfo: memFree=31341136/32951124 swapFree=67055520/67111528
[pid=25531] ppid=25529 vsize=22848 CPUtime=0.29 cores=5,7
/proc/25531/stat : 25531 (OptimuS_release) R 25529 25531 23230 0 -1 4202496 1495 0 0 0 29 0 0 0 25 0 1 0 873406614 23396352 1416 33554432000 4194304 4279399 140733562316880 18446744073709551615 4241856 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25531/statm: 5712 1416 270 21 0 2349 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22848

[startup+0.700857 s]
/proc/loadavg: 1.15 1.88 2.78 6/189 25531
/proc/meminfo: memFree=31341136/32951124 swapFree=67055520/67111528
[pid=25531] ppid=25529 vsize=22848 CPUtime=0.69 cores=5,7
/proc/25531/stat : 25531 (OptimuS_release) R 25529 25531 23230 0 -1 4202496 1586 0 0 0 69 0 0 0 25 0 1 0 873406614 23396352 1505 33554432000 4194304 4279399 140733562316880 18446744073709551615 4209411 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25531/statm: 5712 1505 270 21 0 2349 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22848

[startup+1.5007 s]
/proc/loadavg: 1.15 1.88 2.78 5/190 25532
/proc/meminfo: memFree=31333208/32951124 swapFree=67055520/67111528
[pid=25531] ppid=25529 vsize=19648 CPUtime=1.49 cores=5,7
/proc/25531/stat : 25531 (OptimuS_release) R 25529 25531 23230 0 -1 4202496 1854 0 0 0 149 0 0 0 25 0 1 0 873406614 20119552 1420 33554432000 4194304 4279399 140733562316880 18446744073709551615 270338408343 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25531/statm: 4912 1420 270 21 0 1549 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19648

[startup+3.10039 s]
/proc/loadavg: 1.15 1.88 2.78 5/190 25532
/proc/meminfo: memFree=31314364/32951124 swapFree=67055520/67111528
[pid=25531] ppid=25529 vsize=20956 CPUtime=3.09 cores=5,7
/proc/25531/stat : 25531 (OptimuS_release) R 25529 25531 23230 0 -1 4202496 2469 0 0 0 309 0 0 0 25 0 1 0 873406614 21458944 1778 33554432000 4194304 4279399 140733562316880 18446744073709551615 4208391 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25531/statm: 5239 1778 270 21 0 1876 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20956

[startup+6.30075 s]
/proc/loadavg: 1.37 1.91 2.79 5/190 25532
/proc/meminfo: memFree=31287384/32951124 swapFree=67055520/67111528
[pid=25531] ppid=25529 vsize=23644 CPUtime=6.29 cores=5,7
/proc/25531/stat : 25531 (OptimuS_release) R 25529 25531 23230 0 -1 4202496 3173 0 0 0 629 0 0 0 25 0 1 0 873406614 24211456 2451 33554432000 4194304 4279399 140733562316880 18446744073709551615 4242034 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25531/statm: 5911 2451 270 21 0 2548 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23644

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

[startup+7.90045 s]
/proc/loadavg: 1.37 1.91 2.79 5/190 25532
/proc/meminfo: memFree=31272768/32951124 swapFree=67055520/67111528
[pid=25531] ppid=25529 vsize=29028 CPUtime=7.89 cores=5,7
/proc/25531/stat : 25531 (OptimuS_release) R 25529 25531 23230 0 -1 4202496 4279 0 0 0 789 0 0 0 25 0 1 0 873406614 29724672 3541 33554432000 4194304 4279399 140733562316880 18446744073709551615 4237933 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25531/statm: 7257 3541 270 21 0 3894 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 29028

[startup+8.70028 s]
/proc/loadavg: 1.37 1.91 2.79 5/190 25532
/proc/meminfo: memFree=31262100/32951124 swapFree=67055520/67111528
[pid=25531] ppid=25529 vsize=29028 CPUtime=8.69 cores=5,7
/proc/25531/stat : 25531 (OptimuS_release) R 25529 25531 23230 0 -1 4202496 4279 0 0 0 869 0 0 0 25 0 1 0 873406614 29724672 3541 33554432000 4194304 4279399 140733562316880 18446744073709551615 4237812 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25531/statm: 7257 3541 270 21 0 3894 0
Current children cumulated CPU time (s) 8.69
Current children cumulated vsize (KiB) 29028

[startup+8.90023 s]
/proc/loadavg: 1.37 1.91 2.79 5/190 25532
/proc/meminfo: memFree=31262100/32951124 swapFree=67055520/67111528
[pid=25531] ppid=25529 vsize=29028 CPUtime=8.89 cores=5,7
/proc/25531/stat : 25531 (OptimuS_release) R 25529 25531 23230 0 -1 4202496 4279 0 0 0 889 0 0 0 25 0 1 0 873406614 29724672 3541 33554432000 4194304 4279399 140733562316880 18446744073709551615 4260832 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25531/statm: 7257 3541 270 21 0 3894 0
Current children cumulated CPU time (s) 8.89
Current children cumulated vsize (KiB) 29028

[startup+9.00022 s]
/proc/loadavg: 1.37 1.91 2.79 5/190 25532
/proc/meminfo: memFree=31262100/32951124 swapFree=67055520/67111528
[pid=25531] ppid=25529 vsize=29028 CPUtime=8.99 cores=5,7
/proc/25531/stat : 25531 (OptimuS_release) R 25529 25531 23230 0 -1 4202496 4279 0 0 0 899 0 0 0 25 0 1 0 873406614 29724672 3541 33554432000 4194304 4279399 140733562316880 18446744073709551615 4237806 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25531/statm: 7257 3541 270 21 0 3894 0
Current children cumulated CPU time (s) 8.99
Current children cumulated vsize (KiB) 29028

Child status: 20
Real time (s): 9.0208
CPU time (s): 9.01763
CPU user time (s): 9.01063
CPU system time (s): 0.006998
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 29028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.01063
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4280
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= 5
involuntary context switches= 11

runsolver used 0.015997 second user time and 0.038994 second system time

The end

Launcher Data

Begin job on node143 at 2011-06-11 18:31:50
IDJOB=3495317
IDBENCH=89618
IDSOLVER=1987
FILE ID=node143/3495317-1307809910
RUNJOBID= node143-1307809909-25362
PBS_JOBID= 13551005
Free space on /tmp= 74084 MiB

SOLVER NAME= OptimuS p100_source
BENCH NAME= SAT11/mus/marques-silva/fpga-routing/apex7_gr_2pin_w4.shuffled.cnf
COMMAND LINE= OptimuS_release BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495317-1307809910/watcher-3495317-1307809910 -o /tmp/evaluation-result-3495317-1307809910/solver-3495317-1307809910 -C 1800 -W 1850 -M 7680  OptimuS_release HOME/instance-3495317-1307809910.cnf

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

MD5SUM BENCH= 81c3db80400852b88f14d6ae9ef61e0e
RANDOM SEED=1506572088

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.75
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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31342052 kB
Buffers:        150208 kB
Cached:        1249000 kB
SwapCached:       8636 kB
Active:         368916 kB
Inactive:      1080792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31342052 kB
SwapTotal:    67111528 kB
SwapFree:     67055520 kB
Dirty:            3508 kB
Writeback:           0 kB
AnonPages:       48144 kB
Mapped:          13140 kB
Slab:            94228 kB
PageTables:       4856 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   291080 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= 74084 MiB
End job on node143 at 2011-06-11 18:31:59