Trace number 1781067

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
satake 2009-03-22 (16 threads)? (TO) 10001.6 715.513

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_12_UNKNOWN.cnf
MD5SUMd18a114d646a89f18fb3efba2be009e6
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1898
Number of clauses118441
Sum of the clauses size352559
Maximum clause length13
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22994
Number of clauses of size 3115424
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data


Verifier Data 

sh: BIN/SAT-verifier: No such file or directory

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1781067-1244852566/watcher-1781067-1244852566 -o /tmp/evaluation-result-1781067-1244852566/solver-1781067-1244852566 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781067-1244852566.cnf 16 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.82 3.54 5.31 2/184 12407
/proc/meminfo: memFree=19128004/36427776 swapFree=4020/8188
[pid=12407] ppid=12405 vsize=6912 CPUtime=0
/proc/12407/stat : 12407 (satake) R 12405 12407 27791 0 -1 4202496 408 0 0 0 0 0 0 0 20 0 16 0 644562960 7077888 365 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12407/statm: 1728 365 63 164 0 1563 0
[pid=12407/tid=12408] ppid=12405 vsize=7308 CPUtime=0
/proc/12407/task/12408/stat : 12408 (satake) S 12405 12407 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 644562961 7483392 411 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=12407/tid=12409] ppid=12405 vsize=7308 CPUtime=0
/proc/12407/task/12409/stat : 12409 (satake) R 12405 12407 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 17 0 644562961 7483392 413 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12407/tid=12410] ppid=12405 vsize=7308 CPUtime=0
/proc/12407/task/12410/stat : 12410 (satake) R 12405 12407 27791 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 17 0 644562961 7483392 413 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=12407/tid=12411] ppid=12405 vsize=7308 CPUtime=0
/proc/12407/task/12411/stat : 12411 (satake) R 12405 12407 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 644562961 7483392 413 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=12407/tid=12412] ppid=12405 vsize=7308 CPUtime=0
/proc/12407/task/12412/stat : 12412 (satake) R 12405 12407 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 17 0 644562961 7483392 413 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12407/tid=12413] ppid=12405 vsize=7308 CPUtime=0
/proc/12407/task/12413/stat : 12413 (satake) D 12405 12407 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 644562961 7483392 416 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12407/tid=12414] ppid=12405 vsize=7308 CPUtime=0
/proc/12407/task/12414/stat : 12414 (satake) D 12405 12407 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 644562961 7483392 418 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12407/tid=12415] ppid=12405 vsize=7312 CPUtime=0
/proc/12407/task/12415/stat : 12415 (satake) D 12405 12407 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 644562961 7487488 420 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12407/tid=12416] ppid=12405 vsize=7312 CPUtime=0
/proc/12407/task/12416/stat : 12416 (satake) S 12405 12407 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 644562961 7487488 423 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=12407/tid=12417] ppid=12405 vsize=7312 CPUtime=0
/proc/12407/task/12417/stat : 12417 (satake) D 12405 12407 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 644562961 7487488 425 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=12407/tid=12418] ppid=12405 vsize=7312 CPUtime=0
/proc/12407/task/12418/stat : 12418 (satake) R 12405 12407 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 644562961 7487488 426 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=12407/tid=12419] ppid=12405 vsize=7312 CPUtime=0
/proc/12407/task/12419/stat : 12419 (satake) D 12405 12407 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 17 0 644562961 7487488 426 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=12407/tid=12420] ppid=12405 vsize=7312 CPUtime=0
/proc/12407/task/12420/stat : 12420 (satake) R 12405 12407 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 644562961 7487488 426 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=12407/tid=12421] ppid=12405 vsize=7444 CPUtime=0
/proc/12407/task/12421/stat : 12421 (satake) R 12405 12407 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 644562961 7622656 426 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=12407/tid=12422] ppid=12405 vsize=7444 CPUtime=0
/proc/12407/task/12422/stat : 12422 (satake) R 12405 12407 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 644562961 7622656 426 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=12407/tid=12423] ppid=12405 vsize=7444 CPUtime=0
/proc/12407/task/12423/stat : 12423 (satake) D 12405 12407 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 644562962 7622656 426 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0

[startup+0.106913 s]
/proc/loadavg: 2.82 3.54 5.31 2/184 12407
/proc/meminfo: memFree=19128004/36427776 swapFree=4020/8188
[pid=12407] ppid=12405 vsize=36208 CPUtime=0.56
/proc/12407/stat : 12407 (satake) S 12405 12407 27791 0 -1 4202496 6871 0 0 0 2 54 0 0 20 0 17 0 644562960 37076992 6828 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12407/statm: 9052 6831 63 164 0 8887 0
[pid=12407/tid=12408] ppid=12405 vsize=36208 CPUtime=0
/proc/12407/task/12408/stat : 12408 (satake) S 12405 12407 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 644562961 37076992 6831 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=12407/tid=12409] ppid=12405 vsize=36208 CPUtime=0.04
/proc/12407/task/12409/stat : 12409 (satake) S 12405 12407 27791 0 -1 4202560 543 0 0 0 0 4 0 0 20 0 17 0 644562961 37076992 6831 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=12407/tid=12410] ppid=12405 vsize=36208 CPUtime=0.04
/proc/12407/task/12410/stat : 12410 (satake) R 12405 12407 27791 0 -1 4202560 538 0 0 0 0 4 0 0 20 0 17 0 644562961 37076992 6835 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=12407/tid=12411] ppid=12405 vsize=36208 CPUtime=0.04
/proc/12407/task/12411/stat : 12411 (satake) R 12405 12407 27791 0 -1 4202560 549 0 0 0 0 4 0 0 20 0 17 0 644562961 37076992 6837 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=12407/tid=12412] ppid=12405 vsize=36208 CPUtime=0.06
/proc/12407/task/12412/stat : 12412 (satake) D 12405 12407 27791 0 -1 4202560 552 0 0 0 0 6 0 0 20 0 17 0 644562961 37076992 6837 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12407/tid=12413] ppid=12405 vsize=36208 CPUtime=0.04
/proc/12407/task/12413/stat : 12413 (satake) D 12405 12407 27791 0 -1 4202560 522 0 0 0 0 4 0 0 20 0 17 0 644562961 37076992 6838 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12407/tid=12414] ppid=12405 vsize=36208 CPUtime=0.04
/proc/12407/task/12414/stat : 12414 (satake) D 12405 12407 27791 0 -1 4202560 563 0 0 0 0 4 0 0 20 0 17 0 644562961 37076992 6839 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12407/tid=12415] ppid=12405 vsize=36208 CPUtime=0.02
/proc/12407/task/12415/stat : 12415 (satake) D 12405 12407 27791 0 -1 4202560 238 0 0 0 0 2 0 0 20 0 17 0 644562961 37076992 6840 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12407/tid=12416] ppid=12405 vsize=36208 CPUtime=0.04
/proc/12407/task/12416/stat : 12416 (satake) R 12405 12407 27791 0 -1 4202560 559 0 0 0 0 4 0 0 20 0 17 0 644562961 37076992 6844 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12407/tid=12417] ppid=12405 vsize=36208 CPUtime=0
/proc/12407/task/12417/stat : 12417 (satake) D 12405 12407 27791 0 -1 4202560 206 0 0 0 0 0 0 0 20 0 17 0 644562961 37076992 6846 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=12407/tid=12418] ppid=12405 vsize=36208 CPUtime=0.06
/proc/12407/task/12418/stat : 12418 (satake) R 12405 12407 27791 0 -1 4202560 558 0 0 0 0 6 0 0 20 0 17 0 644562961 37076992 6847 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=12407/tid=12419] ppid=12405 vsize=36208 CPUtime=0.02
/proc/12407/task/12419/stat : 12419 (satake) R 12405 12407 27791 0 -1 4202560 302 0 0 0 0 2 0 0 20 0 17 0 644562961 37076992 6847 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=12407/tid=12420] ppid=12405 vsize=36208 CPUtime=0.04
/proc/12407/task/12420/stat : 12420 (satake) R 12405 12407 27791 0 -1 4202560 452 0 0 0 0 4 0 0 20 0 17 0 644562961 37076992 6847 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=12407/tid=12421] ppid=12405 vsize=36208 CPUtime=0.04
/proc/12407/task/12421/stat : 12421 (satake) R 12405 12407 27791 0 -1 4202560 535 0 0 0 0 4 0 0 20 0 17 0 644562961 37076992 6847 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=12407/tid=12422] ppid=12405 vsize=36208 CPUtime=0.02
/proc/12407/task/12422/stat : 12422 (satake) R 12405 12407 27791 0 -1 4202560 425 0 0 0 0 2 0 0 20 0 17 0 644562961 37076992 6847 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=12407/tid=12423] ppid=12405 vsize=36208 CPUtime=0.02
/proc/12407/task/12423/stat : 12423 (satake) D 12405 12407 27791 0 -1 4202560 215 0 0 0 2 0 0 0 20 0 17 0 644562962 37076992 6847 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 36208

[startup+0.206943 s]
/proc/loadavg: 2.82 3.54 5.31 2/184 12407
/proc/meminfo: memFree=19128004/36427776 swapFree=4020/8188
[pid=12407] ppid=12405 vsize=49300 CPUtime=1
/proc/12407/stat : 12407 (satake) S 12405 12407 27791 0 -1 4202496 9891 0 0 0 4 96 0 0 20 0 17 0 644562960 50483200 9848 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12407/statm: 12325 9848 63 164 0 12160 0
[pid=12407/tid=12408] ppid=12405 vsize=49300 CPUtime=0
/proc/12407/task/12408/stat : 12408 (satake) S 12405 12407 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 644562961 50483200 9848 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=12407/tid=12409] ppid=12405 vsize=49300 CPUtime=0.06
/proc/12407/task/12409/stat : 12409 (satake) D 12405 12407 27791 0 -1 4202560 625 0 0 0 0 6 0 0 20 0 17 0 644562961 50483200 9848 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12407/tid=12410] ppid=12405 vsize=49300 CPUtime=0.08
/proc/12407/task/12410/stat : 12410 (satake) D 12405 12407 27791 0 -1 4202560 764 0 0 0 0 8 0 0 20 0 17 0 644562961 50483200 9848 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=12407/tid=12411] ppid=12405 vsize=49300 CPUtime=0.06
/proc/12407/task/12411/stat : 12411 (satake) D 12405 12407 27791 0 -1 4202560 638 0 0 0 0 6 0 0 20 0 17 0 644562961 50483200 9848 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=12407/tid=12412] ppid=12405 vsize=49300 CPUtime=0.1
/proc/12407/task/12412/stat : 12412 (satake) D 12405 12407 27791 0 -1 4202560 747 0 0 0 0 10 0 0 20 0 17 0 644562961 50483200 9848 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12407/tid=12413] ppid=12405 vsize=49300 CPUtime=0.06
/proc/12407/task/12413/stat : 12413 (satake) D 12405 12407 27791 0 -1 4202560 659 0 0 0 0 6 0 0 20 0 17 0 644562961 50483200 9848 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12407/tid=12414] ppid=12405 vsize=49300 CPUtime=0.1
/proc/12407/task/12414/stat : 12414 (satake) D 12405 12407 27791 0 -1 4202560 766 0 0 0 0 10 0 0 20 0 17 0 644562961 50483200 9848 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12407/tid=12415] ppid=12405 vsize=49300 CPUtime=0.04
/proc/12407/task/12415/stat : 12415 (satake) S 12405 12407 27791 0 -1 4202560 575 0 0 0 0 4 0 0 20 0 17 0 644562961 50483200 9848 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=12407/tid=12416] ppid=12405 vsize=49300 CPUtime=0.06
/proc/12407/task/12416/stat : 12416 (satake) S 12405 12407 27791 0 -1 4202560 653 0 0 0 0 6 0 0 20 0 17 0 644562961 50483200 9848 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=12407/tid=12417] ppid=12405 vsize=49300 CPUtime=0.04
/proc/12407/task/12417/stat : 12417 (satake) R 12405 12407 27791 0 -1 4202560 570 0 0 0 0 4 0 0 20 0 17 0 644562961 50483200 9848 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=12407/tid=12418] ppid=12405 vsize=49300 CPUtime=0.1
/proc/12407/task/12418/stat : 12418 (satake) D 12405 12407 27791 0 -1 4202560 768 0 0 0 2 8 0 0 20 0 17 0 644562961 50483200 9848 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=12407/tid=12419] ppid=12405 vsize=49300 CPUtime=0.04
/proc/12407/task/12419/stat : 12419 (satake) S 12405 12407 27791 0 -1 4202560 585 0 0 0 0 4 0 0 20 0 17 0 644562961 50483200 9848 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=12407/tid=12420] ppid=12405 vsize=49300 CPUtime=0.06
/proc/12407/task/12420/stat : 12420 (satake) S 12405 12407 27791 0 -1 4202560 585 0 0 0 0 6 0 0 20 0 17 0 644562961 50483200 9848 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=12407/tid=12421] ppid=12405 vsize=49300 CPUtime=0.06
/proc/12407/task/12421/stat : 12421 (satake) D 12405 12407 27791 0 -1 4202560 649 0 0 0 0 6 0 0 20 0 17 0 644562961 50483200 9848 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=12407/tid=12422] ppid=12405 vsize=49300 CPUtime=0.06
/proc/12407/task/12422/stat : 12422 (satake) S 12405 12407 27791 0 -1 4202560 589 0 0 0 0 6 0 0 20 0 17 0 644562961 50483200 9848 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=12407/tid=12423] ppid=12405 vsize=49300 CPUtime=0.04
/proc/12407/task/12423/stat : 12423 (satake) D 12405 12407 27791 0 -1 4202560 589 0 0 0 2 2 0 0 20 0 17 0 644562962 50483200 9848 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 49300

[startup+0.307376 s]
/proc/loadavg: 2.82 3.54 5.31 2/184 12407
/proc/meminfo: memFree=19128004/36427776 swapFree=4020/8188
[pid=12407] ppid=12405 vsize=55680 CPUtime=1.37
/proc/12407/stat : 12407 (satake) S 12405 12407 27791 0 -1 4202496 11947 0 0 0 12 125 0 0 20 0 17 0 644562960 57016320 11904 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12407/statm: 13920 11908 63 164 0 13755 0
[pid=12407/tid=12408] ppid=12405 vsize=55680 CPUtime=0
/proc/12407/task/12408/stat : 12408 (satake) S 12405 12407 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 644562961 57016320 11909 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=12407/tid=12409] ppid=12405 vsize=55680 CPUtime=0.08
/proc/12407/task/12409/stat : 12409 (satake) D 12405 12407 27791 0 -1 4202560 798 0 0 0 0 8 0 0 20 0 17 0 644562961 57016320 11909 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12407/tid=12410] ppid=12405 vsize=55680 CPUtime=0.12
/proc/12407/task/12410/stat : 12410 (satake) D 12405 12407 27791 0 -1 4202560 978 0 0 0 2 10 0 0 20 0 17 0 644562961 57016320 11910 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=12407/tid=12411] ppid=12405 vsize=55680 CPUtime=0.08
/proc/12407/task/12411/stat : 12411 (satake) S 12405 12407 27791 0 -1 4202560 788 0 0 0 0 8 0 0 20 0 17 0 644562961 57016320 11910 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=12407/tid=12412] ppid=12405 vsize=55680 CPUtime=0.12
/proc/12407/task/12412/stat : 12412 (satake) R 12405 12407 27791 0 -1 4202560 933 0 0 0 0 12 0 0 20 0 17 0 644562961 57016320 11912 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12407/tid=12413] ppid=12405 vsize=55680 CPUtime=0.08
/proc/12407/task/12413/stat : 12413 (satake) R 12405 12407 27791 0 -1 4202560 846 0 0 0 0 8 0 0 20 0 17 0 644562961 57016320 11912 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12407/tid=12414] ppid=12405 vsize=55680 CPUtime=0.12
/proc/12407/task/12414/stat : 12414 (satake) D 12405 12407 27791 0 -1 4202560 947 0 0 0 0 12 0 0 20 0 17 0 644562961 57016320 11912 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12407/tid=12415] ppid=12405 vsize=55680 CPUtime=0.06
/proc/12407/task/12415/stat : 12415 (satake) S 12405 12407 27791 0 -1 4202560 647 0 0 0 0 6 0 0 20 0 17 0 644562961 57016320 11915 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=12407/tid=12416] ppid=12405 vsize=55680 CPUtime=0.08
/proc/12407/task/12416/stat : 12416 (satake) S 12405 12407 27791 0 -1 4202560 813 0 0 0 0 8 0 0 20 0 17 0 644562961 57016320 11915 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=12407/tid=12417] ppid=12405 vsize=55680 CPUtime=0.06
/proc/12407/task/12417/stat : 12417 (satake) R 12405 12407 27791 0 -1 4202560 651 0 0 0 0 6 0 0 20 0 17 0 644562961 57016320 11915 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=12407/tid=12418] ppid=12405 vsize=55680 CPUtime=0.14
/proc/12407/task/12418/stat : 12418 (satake) R 12405 12407 27791 0 -1 4202560 967 0 0 0 6 8 0 0 20 0 17 0 644562961 57016320 11917 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=12407/tid=12419] ppid=12405 vsize=55680 CPUtime=0.04
/proc/12407/task/12419/stat : 12419 (satake) S 12405 12407 27791 0 -1 4202560 627 0 0 0 0 4 0 0 20 0 17 0 644562961 57016320 11917 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=12407/tid=12420] ppid=12405 vsize=55680 CPUtime=0.06
/proc/12407/task/12420/stat : 12420 (satake) S 12405 12407 27791 0 -1 4202560 628 0 0 0 0 6 0 0 20 0 17 0 644562961 57016320 11917 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=12407/tid=12421] ppid=12405 vsize=55680 CPUtime=0.1
/proc/12407/task/12421/stat : 12421 (satake) D 12405 12407 27791 0 -1 4202560 807 0 0 0 0 10 0 0 20 0 17 0 644562961 57016320 11918 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=12407/tid=12422] ppid=12405 vsize=55680 CPUtime=0.08
/proc/12407/task/12422/stat : 12422 (satake) R 12405 12407 27791 0 -1 4202560 648 0 0 0 0 8 0 0 20 0 17 0 644562961 57016320 11918 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=12407/tid=12423] ppid=12405 vsize=55680 CPUtime=0.06
/proc/12407/task/12423/stat : 12423 (satake) D 12405 12407 27791 0 -1 4202560 750 0 0 0 2 4 0 0 20 0 17 0 644562962 57016320 11921 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 55680

[startup+0.704721 s]
/proc/loadavg: 2.82 3.54 5.31 2/184 12407
/proc/meminfo: memFree=19128004/36427776 swapFree=4020/8188
[pid=12407] ppid=12405 vsize=87748 CPUtime=2.71
/proc/12407/stat : 12407 (satake) S 12405 12407 27791 0 -1 4202496 19936 0 0 0 47 224 0 0 20 0 17 0 644562960 89853952 18953 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12407/statm: 21937 18953 66 164 0 21772 0
[pid=12407/tid=12408] ppid=12405 vsize=87748 CPUtime=0
/proc/12407/task/12408/stat : 12408 (satake) S 12405 12407 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 644562961 89853952 18954 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=12407/tid=12409] ppid=12405 vsize=87748 CPUtime=0.16
/proc/12407/task/12409/stat : 12409 (satake) D 12405 12407 27791 0 -1 4202560 1355 0 0 0 2 14 0 0 20 0 17 0 644562961 89853952 18956 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12407/tid=12410] ppid=12405 vsize=87748 CPUtime=0.24
/proc/12407/task/12410/stat : 12410 (satake) S 12405 12407 27791 0 -1 4202560 1580 0 0 0 8 16 0 0 20 0 17 0 644562961 89853952 18958 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=12407/tid=12411] ppid=12405 vsize=87748 CPUtime=0.18
/proc/12407/task/12411/stat : 12411 (satake) D 12405 12407 27791 0 -1 4202560 1435 0 0 0 0 18 0 0 20 0 17 0 644562961 89853952 18959 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=12407/tid=12412] ppid=12405 vsize=87748 CPUtime=0.24
/proc/12407/task/12412/stat : 12412 (satake) D 12405 12407 27791 0 -1 4202560 1485 0 0 0 0 24 0 0 20 0 17 0 644562961 89853952 18959 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12407/tid=12413] ppid=12405 vsize=87748 CPUtime=0.18
/proc/12407/task/12413/stat : 12413 (satake) D 12405 12407 27791 0 -1 4202560 1484 0 0 0 4 14 0 0 20 0 17 0 644562961 89853952 18963 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12407/tid=12414] ppid=12405 vsize=87748 CPUtime=0.22
/proc/12407/task/12414/stat : 12414 (satake) S 12405 12407 27791 0 -1 4202560 1355 0 0 0 2 20 0 0 20 0 17 0 644562961 89853952 18963 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=12407/tid=12415] ppid=12405 vsize=87748 CPUtime=0.14
/proc/12407/task/12415/stat : 12415 (satake) S 12405 12407 27791 0 -1 4202560 1178 0 0 0 4 10 0 0 20 0 17 0 644562961 89853952 18964 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=12407/tid=12416] ppid=12405 vsize=87748 CPUtime=0.18
/proc/12407/task/12416/stat : 12416 (satake) R 12405 12407 27791 0 -1 4202560 1336 0 0 0 8 10 0 0 20 0 17 0 644562961 89853952 18964 18446744073709551615 134512640 135180984 4290486944 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12407/tid=12417] ppid=12405 vsize=87748 CPUtime=0.14

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

deleting IPC queue 10944590
deleting IPC queue 10977359
deleting IPC queue 11010128
deleting IPC queue 11042897
deleting IPC queue 11075666
deleting IPC queue 11108435
deleting IPC queue 11141204
deleting IPC queue 11173973
deleting IPC queue 11206742
deleting IPC queue 11239511
deleting IPC queue 11272280
deleting IPC queue 11305049
deleting IPC queue 11337818
deleting IPC queue 11370587
deleting IPC queue 11403356
deleting IPC queue 11436125
deleting IPC queue 11468894
deleting IPC queue 11501663
deleting IPC queue 11534432
deleting IPC queue 11567201
deleting IPC queue 11599970
deleting IPC queue 11632739
deleting IPC queue 11665508
deleting IPC queue 11698277
deleting IPC queue 11731046
deleting IPC queue 11763815
deleting IPC queue 11796584
deleting IPC queue 11829353
deleting IPC queue 11862122
deleting IPC queue 11894891
deleting IPC queue 11927660
deleting IPC queue 11960429
deleting IPC queue 11993198
deleting IPC queue 12025967
deleting IPC queue 12058736
deleting IPC queue 12091505
deleting IPC queue 12124274
deleting IPC queue 12157043
deleting IPC queue 12189812
deleting IPC queue 12222581
deleting IPC queue 12255350
deleting IPC queue 12288119
deleting IPC queue 12320888
deleting IPC queue 12353657
deleting IPC queue 12386426
deleting IPC queue 12419195
deleting IPC queue 12451964
deleting IPC queue 12484733
deleting IPC queue 12517502
deleting IPC queue 12550271
deleting IPC queue 12583040
deleting IPC queue 12615809
deleting IPC queue 12648578
deleting IPC queue 12681347
deleting IPC queue 12714116
deleting IPC queue 12746885
deleting IPC queue 12779654
deleting IPC queue 12812423
deleting IPC queue 12845192
deleting IPC queue 12877961
deleting IPC queue 12910730
deleting IPC queue 12943499
deleting IPC queue 12976268
deleting IPC queue 13009037
deleting IPC queue 13041806
deleting IPC queue 13074575
deleting IPC queue 13107344
deleting IPC queue 13140113
deleting IPC queue 13172882
deleting IPC queue 13205651
deleting IPC queue 13238420
deleting IPC queue 13271189
deleting IPC queue 13303958
deleting IPC queue 13336727
deleting IPC queue 13369496
deleting IPC queue 13402265
deleting IPC queue 13435034
deleting IPC queue 13467803
deleting IPC queue 13500572
deleting IPC queue 13533341
deleting IPC queue 13566110
deleting IPC queue 13598879
deleting IPC queue 13631648
deleting IPC queue 13664417
deleting IPC queue 13697186
deleting IPC queue 13729955
deleting IPC queue 13762724
deleting IPC queue 13795493
deleting IPC queue 13828262
deleting IPC queue 13861031
deleting IPC queue 13893800
deleting IPC queue 13926569
deleting IPC queue 13959338
deleting IPC queue 13992107
deleting IPC queue 14024876
deleting IPC queue 14057645
deleting IPC queue 14090414
deleting IPC queue 14123183
deleting IPC queue 14155952
deleting IPC queue 14188721
deleting IPC queue 14221490
deleting IPC queue 14254259
deleting IPC queue 14287028
deleting IPC queue 14319797
deleting IPC queue 14352566
deleting IPC queue 14385335
deleting IPC queue 14418104
deleting IPC queue 14450873
deleting IPC queue 14483642
deleting IPC queue 14516411
deleting IPC queue 14549180
deleting IPC queue 14581949
deleting IPC queue 14614718
deleting IPC queue 14647487
deleting IPC queue 14680256
deleting IPC queue 14713025
deleting IPC queue 14745794
deleting IPC queue 14778563
deleting IPC queue 14811332
deleting IPC queue 14844101
deleting IPC queue 14876870
deleting IPC queue 14909639
deleting IPC queue 14942408
deleting IPC queue 14975177
deleting IPC queue 15007946
deleting IPC queue 15040715
deleting IPC queue 15073484
deleting IPC queue 15106253
deleting IPC queue 15139022
deleting IPC queue 15171791
deleting IPC queue 15204560
deleting IPC queue 15237329
deleting IPC queue 15270098
deleting IPC queue 15302867
deleting IPC queue 15335636
deleting IPC queue 15368405
deleting IPC queue 15401174
deleting IPC queue 15433943
deleting IPC queue 15466712
deleting IPC queue 15499481
deleting IPC queue 15532250
deleting IPC queue 15565019
deleting IPC queue 15597788
deleting IPC queue 15630557
deleting IPC queue 15663326
deleting IPC queue 15696095
deleting IPC queue 15728864
deleting IPC queue 15761633
deleting IPC queue 15794402
deleting IPC queue 15827171
deleting IPC queue 15859940
deleting IPC queue 15892709
deleting IPC queue 15925478
deleting IPC queue 15958247
deleting IPC queue 15991016
deleting IPC queue 16023785
deleting IPC queue 16056554
deleting IPC queue 16089323
deleting IPC queue 16122092
deleting IPC queue 16154861
deleting IPC queue 16187630
deleting IPC queue 16220399
deleting IPC queue 16253168
deleting IPC queue 16285937
deleting IPC queue 16318706
deleting IPC queue 16351475
deleting IPC queue 16384244
deleting IPC queue 16417013
deleting IPC queue 16449782
deleting IPC queue 16482551
deleting IPC queue 16515320
deleting IPC queue 16548089
deleting IPC queue 16580858
deleting IPC queue 16613627
deleting IPC queue 16646396
deleting IPC queue 16679165
deleting IPC queue 16711934
deleting IPC queue 16744703

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9883.37
system time used= 118.227
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283502
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= 8648228
involuntary context switches= 3726937

runsolver used 3.04019 second user time and 10.5127 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 02:22:46
IDJOB=1781067
IDBENCH=71092
IDSOLVER=631
FILE ID=xenhost3-49/1781067-1244852566
PBS_JOBID=
Free space on /tmp= 7026 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_12_UNKNOWN.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1781067-1244852566/watcher-1781067-1244852566 -o /tmp/evaluation-result-1781067-1244852566/solver-1781067-1244852566 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781067-1244852566.cnf 16 10000

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16

MD5SUM BENCH= d18a114d646a89f18fb3efba2be009e6
RANDOM SEED= 487052184

Linux xenhost3-49 2.6.27.5 #1 SMP Mon Mar 30 10:34:22 CEST 2009 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 8
initial apicid	: 8
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 24
initial apicid	: 24
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 10
initial apicid	: 10
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 26
initial apicid	: 26
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 9
initial apicid	: 9
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 25
initial apicid	: 25
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 11
initial apicid	: 11
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 27
initial apicid	: 27
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:     36427776 kB
MemFree:      19128004 kB
Buffers:        435636 kB
Cached:       14115456 kB
SwapCached:          0 kB
Active:        4081276 kB
Inactive:     10477920 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2788 kB
Writeback:           0 kB
AnonPages:        8188 kB
Mapped:           3356 kB
Slab:           689480 kB
SReclaimable:   662696 kB
SUnreclaim:      26784 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7026 MiB
End job on xenhost3-49 at 2009-06-13 02:34:43