Trace number 1781097

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)? (MO) 8571.59 601.18

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_16_UNKNOWN.cnf
MD5SUM85279cb74dedd2e1c7356e22d8e98939
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 variables3366
Number of clauses362797
Sum of the clauses size1083511
Maximum clause length17
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25314
Number of clauses of size 3357452
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

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-1781097-1244854286/watcher-1781097-1244854286 -o /tmp/evaluation-result-1781097-1244854286/solver-1781097-1244854286 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781097-1244854286.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: 12.06 12.58 10.80 2/184 12547
/proc/meminfo: memFree=19121460/36427776 swapFree=4244/8280
[pid=12547] ppid=12545 vsize=7072 CPUtime=0
/proc/12547/stat : 12547 (satake) R 12545 12547 27791 0 -1 4202496 445 0 0 0 0 0 0 0 20 0 16 0 644734959 7241728 398 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/12547/statm: 1769 398 63 164 0 1604 0
[pid=12547/tid=12548] ppid=12545 vsize=7476 CPUtime=0
/proc/12547/task/12548/stat : 12548 (satake) S 12545 12547 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 644734959 7655424 480 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=12547/tid=12549] ppid=12545 vsize=7476 CPUtime=0
/proc/12547/task/12549/stat : 12549 (satake) R 12545 12547 27791 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 17 0 644734959 7655424 493 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12547/tid=12550] ppid=12545 vsize=7476 CPUtime=0
/proc/12547/task/12550/stat : 12550 (satake) S 12545 12547 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 644734959 7655424 500 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=12547/tid=12551] ppid=12545 vsize=7476 CPUtime=0
/proc/12547/task/12551/stat : 12551 (satake) S 12545 12547 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 644734959 7655424 502 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=12547/tid=12552] ppid=12545 vsize=7476 CPUtime=0
/proc/12547/task/12552/stat : 12552 (satake) D 12545 12547 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 644734959 7655424 505 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12547/tid=12553] ppid=12545 vsize=7476 CPUtime=0
/proc/12547/task/12553/stat : 12553 (satake) D 12545 12547 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 17 0 644734959 7655424 505 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12547/tid=12554] ppid=12545 vsize=7604 CPUtime=0
/proc/12547/task/12554/stat : 12554 (satake) D 12545 12547 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 17 0 644734959 7786496 505 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=12547/tid=12555] ppid=12545 vsize=7604 CPUtime=0
/proc/12547/task/12555/stat : 12555 (satake) D 12545 12547 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 17 0 644734959 7786496 508 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12547/tid=12556] ppid=12545 vsize=7604 CPUtime=0
/proc/12547/task/12556/stat : 12556 (satake) R 12545 12547 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 644734959 7786496 510 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12547/tid=12557] ppid=12545 vsize=7604 CPUtime=0
/proc/12547/task/12557/stat : 12557 (satake) R 12545 12547 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 17 0 644734959 7786496 511 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=12547/tid=12558] ppid=12545 vsize=7604 CPUtime=0
/proc/12547/task/12558/stat : 12558 (satake) S 12545 12547 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 644734960 7786496 513 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=12547/tid=12559] ppid=12545 vsize=7604 CPUtime=0
/proc/12547/task/12559/stat : 12559 (satake) R 12545 12547 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 644734960 7786496 516 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=12547/tid=12560] ppid=12545 vsize=7604 CPUtime=0
/proc/12547/task/12560/stat : 12560 (satake) S 12545 12547 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 644734960 7786496 517 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=12547/tid=12561] ppid=12545 vsize=7604 CPUtime=0
/proc/12547/task/12561/stat : 12561 (satake) S 12545 12547 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 644734960 7786496 519 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=12547/tid=12562] ppid=12545 vsize=7604 CPUtime=0
/proc/12547/task/12562/stat : 12562 (satake) R 12545 12547 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 644734960 7786496 524 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12547/tid=12563] ppid=12545 vsize=7604 CPUtime=0
/proc/12547/task/12563/stat : 12563 (satake) R 12545 12547 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 644734960 7786496 524 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0

[startup+0.090442 s]
/proc/loadavg: 12.06 12.58 10.80 2/184 12547
/proc/meminfo: memFree=19121460/36427776 swapFree=4244/8280
[pid=12547] ppid=12545 vsize=75800 CPUtime=0.46
/proc/12547/stat : 12547 (satake) S 12545 12547 27791 0 -1 4202496 12077 0 0 0 1 45 0 0 20 0 17 0 644734959 77619200 12014 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/12547/statm: 18950 12014 63 164 0 18785 0
[pid=12547/tid=12548] ppid=12545 vsize=75800 CPUtime=0
/proc/12547/task/12548/stat : 12548 (satake) S 12545 12547 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 644734959 77619200 12014 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=12547/tid=12549] ppid=12545 vsize=83996 CPUtime=0
/proc/12547/task/12549/stat : 12549 (satake) D 12545 12547 27791 0 -1 4202560 151 0 0 0 0 0 0 0 20 0 17 0 644734959 86011904 12014 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12547/tid=12550] ppid=12545 vsize=79896 CPUtime=0.04
/proc/12547/task/12550/stat : 12550 (satake) D 12545 12547 27791 0 -1 4202560 1240 0 0 0 0 4 0 0 20 0 17 0 644734959 81813504 12014 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12547/tid=12551] ppid=12545 vsize=79896 CPUtime=0.04
/proc/12547/task/12551/stat : 12551 (satake) R 12545 12547 27791 0 -1 4202560 1122 0 0 0 0 4 0 0 20 0 17 0 644734959 81813504 12018 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12547/tid=12552] ppid=12545 vsize=79896 CPUtime=0
/proc/12547/task/12552/stat : 12552 (satake) D 12545 12547 27791 0 -1 4202560 364 0 0 0 0 0 0 0 20 0 17 0 644734959 81813504 12019 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12547/tid=12553] ppid=12545 vsize=79896 CPUtime=0.04
/proc/12547/task/12553/stat : 12553 (satake) R 12545 12547 27791 0 -1 4202560 1328 0 0 0 0 4 0 0 20 0 17 0 644734959 81813504 12022 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12547/tid=12554] ppid=12545 vsize=79896 CPUtime=0.04
/proc/12547/task/12554/stat : 12554 (satake) R 12545 12547 27791 0 -1 4202560 1356 0 0 0 0 4 0 0 20 0 17 0 644734959 81813504 12022 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=12547/tid=12555] ppid=12545 vsize=79896 CPUtime=0.04
/proc/12547/task/12555/stat : 12555 (satake) R 12545 12547 27791 0 -1 4202560 928 0 0 0 0 4 0 0 20 0 17 0 644734959 81813504 12022 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=12547/tid=12556] ppid=12545 vsize=79896 CPUtime=0
/proc/12547/task/12556/stat : 12556 (satake) R 12545 12547 27791 0 -1 4202560 76 0 0 0 0 0 0 0 20 0 17 0 644734959 81813504 12022 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12547/tid=12557] ppid=12545 vsize=79896 CPUtime=0
/proc/12547/task/12557/stat : 12557 (satake) R 12545 12547 27791 0 -1 4202560 326 0 0 0 0 0 0 0 20 0 17 0 644734959 81813504 12022 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=12547/tid=12558] ppid=12545 vsize=79896 CPUtime=0.04
/proc/12547/task/12558/stat : 12558 (satake) R 12545 12547 27791 0 -1 4202560 772 0 0 0 0 4 0 0 20 0 17 0 644734960 81813504 12022 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=12547/tid=12559] ppid=12545 vsize=79896 CPUtime=0.02
/proc/12547/task/12559/stat : 12559 (satake) R 12545 12547 27791 0 -1 4202560 431 0 0 0 0 2 0 0 20 0 17 0 644734960 81813504 12022 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=12547/tid=12560] ppid=12545 vsize=79896 CPUtime=0.04
/proc/12547/task/12560/stat : 12560 (satake) R 12545 12547 27791 0 -1 4202560 1263 0 0 0 0 4 0 0 20 0 17 0 644734960 81813504 12022 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=12547/tid=12561] ppid=12545 vsize=79896 CPUtime=0.04
/proc/12547/task/12561/stat : 12561 (satake) R 12545 12547 27791 0 -1 4202560 1356 0 0 0 0 4 0 0 20 0 17 0 644734960 81813504 12026 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=12547/tid=12562] ppid=12545 vsize=79896 CPUtime=0.04
/proc/12547/task/12562/stat : 12562 (satake) R 12545 12547 27791 0 -1 4202560 1043 0 0 0 0 4 0 0 20 0 17 0 644734960 81813504 12030 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12547/tid=12563] ppid=12545 vsize=79896 CPUtime=0
/proc/12547/task/12563/stat : 12563 (satake) R 12545 12547 27791 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 17 0 644734960 81813504 12031 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 75800

[startup+0.107461 s]
/proc/loadavg: 12.06 12.58 10.80 2/184 12547
/proc/meminfo: memFree=19121460/36427776 swapFree=4244/8280
[pid=12547] ppid=12545 vsize=76684 CPUtime=0.6
/proc/12547/stat : 12547 (satake) S 12545 12547 27791 0 -1 4202496 14391 0 0 0 3 57 0 0 20 0 17 0 644734959 78524416 14328 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/12547/statm: 19171 14330 63 164 0 19006 0
[pid=12547/tid=12548] ppid=12545 vsize=76684 CPUtime=0
/proc/12547/task/12548/stat : 12548 (satake) S 12545 12547 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 644734959 78524416 14331 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=12547/tid=12549] ppid=12545 vsize=76684 CPUtime=0
/proc/12547/task/12549/stat : 12549 (satake) R 12545 12547 27791 0 -1 4202560 228 0 0 0 0 0 0 0 20 0 17 0 644734959 78524416 14333 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12547/tid=12550] ppid=12545 vsize=76684 CPUtime=0.06
/proc/12547/task/12550/stat : 12550 (satake) R 12545 12547 27791 0 -1 4202560 1491 0 0 0 0 6 0 0 20 0 17 0 644734959 78524416 14333 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12547/tid=12551] ppid=12545 vsize=76684 CPUtime=0.04
/proc/12547/task/12551/stat : 12551 (satake) R 12545 12547 27791 0 -1 4202560 1335 0 0 0 0 4 0 0 20 0 17 0 644734959 78524416 14334 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12547/tid=12552] ppid=12545 vsize=76684 CPUtime=0.02
/proc/12547/task/12552/stat : 12552 (satake) R 12545 12547 27791 0 -1 4202560 432 0 0 0 0 2 0 0 20 0 17 0 644734959 78524416 14334 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12547/tid=12553] ppid=12545 vsize=76684 CPUtime=0.06
/proc/12547/task/12553/stat : 12553 (satake) R 12545 12547 27791 0 -1 4202560 1525 0 0 0 0 6 0 0 20 0 17 0 644734959 78524416 14334 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12547/tid=12554] ppid=12545 vsize=76684 CPUtime=0.06
/proc/12547/task/12554/stat : 12554 (satake) R 12545 12547 27791 0 -1 4202560 1587 0 0 0 0 6 0 0 20 0 17 0 644734959 78524416 14334 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=12547/tid=12555] ppid=12545 vsize=76684 CPUtime=0.04
/proc/12547/task/12555/stat : 12555 (satake) R 12545 12547 27791 0 -1 4202560 997 0 0 0 0 4 0 0 20 0 17 0 644734959 78524416 14335 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=12547/tid=12556] ppid=12545 vsize=76684 CPUtime=0
/proc/12547/task/12556/stat : 12556 (satake) R 12545 12547 27791 0 -1 4202560 144 0 0 0 0 0 0 0 20 0 17 0 644734959 78524416 14339 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12547/tid=12557] ppid=12545 vsize=76684 CPUtime=0.02
/proc/12547/task/12557/stat : 12557 (satake) R 12545 12547 27791 0 -1 4202560 497 0 0 0 0 2 0 0 20 0 17 0 644734959 78524416 14340 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=12547/tid=12558] ppid=12545 vsize=76684 CPUtime=0.04
/proc/12547/task/12558/stat : 12558 (satake) R 12545 12547 27791 0 -1 4202560 991 0 0 0 0 4 0 0 20 0 17 0 644734960 78524416 14342 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=12547/tid=12559] ppid=12545 vsize=76684 CPUtime=0.02
/proc/12547/task/12559/stat : 12559 (satake) R 12545 12547 27791 0 -1 4202560 458 0 0 0 0 2 0 0 20 0 17 0 644734960 78524416 14344 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=12547/tid=12560] ppid=12545 vsize=76684 CPUtime=0.06
/proc/12547/task/12560/stat : 12560 (satake) R 12545 12547 27791 0 -1 4202560 1508 0 0 0 0 6 0 0 20 0 17 0 644734960 78524416 14346 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=12547/tid=12561] ppid=12545 vsize=76684 CPUtime=0.06
/proc/12547/task/12561/stat : 12561 (satake) R 12545 12547 27791 0 -1 4202560 1583 0 0 0 0 6 0 0 20 0 17 0 644734960 78524416 14346 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=12547/tid=12562] ppid=12545 vsize=76684 CPUtime=0.04
/proc/12547/task/12562/stat : 12562 (satake) R 12545 12547 27791 0 -1 4202560 1271 0 0 0 0 4 0 0 20 0 17 0 644734960 78524416 14348 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12547/tid=12563] ppid=12545 vsize=76684 CPUtime=0
/proc/12547/task/12563/stat : 12563 (satake) R 12545 12547 27791 0 -1 4202560 222 0 0 0 0 0 0 0 20 0 17 0 644734960 78524416 14350 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 76684

[startup+0.305142 s]
/proc/loadavg: 12.06 12.58 10.80 2/184 12547
/proc/meminfo: memFree=19121460/36427776 swapFree=4244/8280
[pid=12547] ppid=12545 vsize=117816 CPUtime=1.58
/proc/12547/stat : 12547 (satake) S 12545 12547 27791 0 -1 4202496 24484 0 0 0 10 148 0 0 20 0 17 0 644734959 120643584 24424 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/12547/statm: 29454 24438 63 164 0 29289 0
[pid=12547/tid=12548] ppid=12545 vsize=117816 CPUtime=0
/proc/12547/task/12548/stat : 12548 (satake) S 12545 12547 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 644734959 120643584 24438 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=12547/tid=12549] ppid=12545 vsize=117816 CPUtime=0.08
/proc/12547/task/12549/stat : 12549 (satake) R 12545 12547 27791 0 -1 4202560 1331 0 0 0 0 8 0 0 20 0 17 0 644734959 120643584 24438 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12547/tid=12550] ppid=12545 vsize=117816 CPUtime=0.1
/proc/12547/task/12550/stat : 12550 (satake) S 12545 12547 27791 0 -1 4202560 1701 0 0 0 0 10 0 0 20 0 17 0 644734959 120643584 24441 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=12547/tid=12551] ppid=12545 vsize=117816 CPUtime=0.1
/proc/12547/task/12551/stat : 12551 (satake) R 12545 12547 27791 0 -1 4202560 1752 0 0 0 0 10 0 0 20 0 17 0 644734959 120643584 24441 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12547/tid=12552] ppid=12545 vsize=117816 CPUtime=0.08
/proc/12547/task/12552/stat : 12552 (satake) D 12545 12547 27791 0 -1 4202560 1546 0 0 0 0 8 0 0 20 0 17 0 644734959 120643584 24441 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12547/tid=12553] ppid=12545 vsize=117816 CPUtime=0.1
/proc/12547/task/12553/stat : 12553 (satake) R 12545 12547 27791 0 -1 4202560 1747 0 0 0 0 10 0 0 20 0 17 0 644734959 120643584 24441 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12547/tid=12554] ppid=12545 vsize=117816 CPUtime=0.18
/proc/12547/task/12554/stat : 12554 (satake) D 12545 12547 27791 0 -1 4202560 2017 0 0 0 6 12 0 0 20 0 17 0 644734959 120643584 24442 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=12547/tid=12555] ppid=12545 vsize=117816 CPUtime=0.1
/proc/12547/task/12555/stat : 12555 (satake) R 12545 12547 27791 0 -1 4202560 1688 0 0 0 0 10 0 0 20 0 17 0 644734959 120643584 24442 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=12547/tid=12556] ppid=12545 vsize=117816 CPUtime=0.08
/proc/12547/task/12556/stat : 12556 (satake) R 12545 12547 27791 0 -1 4202560 1478 0 0 0 0 8 0 0 20 0 17 0 644734959 120643584 24442 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12547/tid=12557] ppid=12545 vsize=117816 CPUtime=0.06
/proc/12547/task/12557/stat : 12557 (satake) D 12545 12547 27791 0 -1 4202560 1354 0 0 0 0 6 0 0 20 0 17 0 644734959 120643584 24442 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=12547/tid=12558] ppid=12545 vsize=117816 CPUtime=0.1
/proc/12547/task/12558/stat : 12558 (satake) D 12545 12547 27791 0 -1 4202560 1694 0 0 0 0 10 0 0 20 0 17 0 644734960 120643584 24442 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=12547/tid=12559] ppid=12545 vsize=117816 CPUtime=0.08
/proc/12547/task/12559/stat : 12559 (satake) D 12545 12547 27791 0 -1 4202560 1458 0 0 0 0 8 0 0 20 0 17 0 644734960 120643584 24443 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=12547/tid=12560] ppid=12545 vsize=117816 CPUtime=0.12
/proc/12547/task/12560/stat : 12560 (satake) D 12545 12547 27791 0 -1 4202560 1726 0 0 0 0 12 0 0 20 0 17 0 644734960 120643584 24444 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=12547/tid=12561] ppid=12545 vsize=117816 CPUtime=0.14
/proc/12547/task/12561/stat : 12561 (satake) D 12545 12547 27791 0 -1 4202560 1901 0 0 0 2 12 0 0 20 0 17 0 644734960 120643584 24444 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=12547/tid=12562] ppid=12545 vsize=117816 CPUtime=0.12
/proc/12547/task/12562/stat : 12562 (satake) R 12545 12547 27791 0 -1 4202560 1753 0 0 0 0 12 0 0 20 0 17 0 644734960 120643584 24447 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12547/tid=12563] ppid=12545 vsize=117816 CPUtime=0.06
/proc/12547/task/12563/stat : 12563 (satake) R 12545 12547 27791 0 -1 4202560 1226 0 0 0 0 6 0 0 20 0 17 0 644734960 120643584 24450 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 117816

[startup+0.704542 s]
/proc/loadavg: 12.06 12.58 10.80 2/184 12547
/proc/meminfo: memFree=19121460/36427776 swapFree=4244/8280
[pid=12547] ppid=12545 vsize=145216 CPUtime=2.99
/proc/12547/stat : 12547 (satake) S 12545 12547 27791 0 -1 4202496 33691 0 0 0 51 248 0 0 20 0 17 0 644734959 148701184 33628 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/12547/statm: 36304 33629 63 164 0 36139 0
[pid=12547/tid=12548] ppid=12545 vsize=145216 CPUtime=0
/proc/12547/task/12548/stat : 12548 (satake) S 12545 12547 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 644734959 148701184 33629 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=12547/tid=12549] ppid=12545 vsize=145216 CPUtime=0.16
/proc/12547/task/12549/stat : 12549 (satake) D 12545 12547 27791 0 -1 4202560 2107 0 0 0 2 14 0 0 20 0 17 0 644734959 148701184 33630 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12547/tid=12550] ppid=12545 vsize=145216 CPUtime=0.18
/proc/12547/task/12550/stat : 12550 (satake) R 12545 12547 27791 0 -1 4202560 2083 0 0 0 0 18 0 0 20 0 17 0 644734959 148701184 33630 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12547/tid=12551] ppid=12545 vsize=145216 CPUtime=0.18
/proc/12547/task/12551/stat : 12551 (satake) S 12545 12547 27791 0 -1 4202560 2253 0 0 0 4 14 0 0 20 0 17 0 644734959 148701184 33630 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=12547/tid=12552] ppid=12545 vsize=145216 CPUtime=0.16
/proc/12547/task/12552/stat : 12552 (satake) S 12545 12547 27791 0 -1 4202560 2079 0 0 0 2 14 0 0 20 0 17 0 644734959 148701184 33630 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=12547/tid=12553] ppid=12545 vsize=145216 CPUtime=0.2
/proc/12547/task/12553/stat : 12553 (satake) D 12545 12547 27791 0 -1 4202560 2393 0 0 0 6 14 0 0 20 0 17 0 644734959 148701184 33630 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12547/tid=12554] ppid=12545 vsize=145216 CPUtime=0.3
/proc/12547/task/12554/stat : 12554 (satake) D 12545 12547 27791 0 -1 4202560 2981 0 0 0 12 18 0 0 20 0 17 0 644734959 148701184 33633 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=12547/tid=12555] ppid=12545 vsize=145216 CPUtime=0.18
/proc/12547/task/12555/stat : 12555 (satake) R 12545 12547 27791 0 -1 4202560 2119 0 0 0 2 16 0 0 20 0 17 0 644734959 148701184 33633 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=12547/tid=12556] ppid=12545 vsize=145216 CPUtime=0.16
/proc/12547/task/12556/stat : 12556 (satake) R 12545 12547 27791 0 -1 4202560 1980 0 0 0 0 16 0 0 20 0 17 0 644734959 148701184 33636 18446744073709551615 134512640 135180984 4292023312 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12547/tid=12557] ppid=12545 vsize=145216 CPUtime=0.16

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

deleting IPC queue 27721806
deleting IPC queue 27754575
deleting IPC queue 27787344
deleting IPC queue 27820113
deleting IPC queue 27852882
deleting IPC queue 27885651
deleting IPC queue 27918420
deleting IPC queue 27951189
deleting IPC queue 27983958
deleting IPC queue 28016727
deleting IPC queue 28049496
deleting IPC queue 28082265
deleting IPC queue 28115034
deleting IPC queue 28147803
deleting IPC queue 28180572
deleting IPC queue 28213341
deleting IPC queue 28246110
deleting IPC queue 28278879
deleting IPC queue 28311648
deleting IPC queue 28344417
deleting IPC queue 28377186
deleting IPC queue 28409955
deleting IPC queue 28442724
deleting IPC queue 28475493
deleting IPC queue 28508262
deleting IPC queue 28541031
deleting IPC queue 28573800
deleting IPC queue 28606569
deleting IPC queue 28639338
deleting IPC queue 28672107
deleting IPC queue 28704876
deleting IPC queue 28737645
deleting IPC queue 28770414
deleting IPC queue 28803183
deleting IPC queue 28835952
deleting IPC queue 28868721
deleting IPC queue 28901490
deleting IPC queue 28934259
deleting IPC queue 28967028
deleting IPC queue 28999797
deleting IPC queue 29032566
deleting IPC queue 29065335
deleting IPC queue 29098104
deleting IPC queue 29130873
deleting IPC queue 29163642
deleting IPC queue 29196411
deleting IPC queue 29229180
deleting IPC queue 29261949
deleting IPC queue 29294718
deleting IPC queue 29327487
deleting IPC queue 29360256
deleting IPC queue 29393025
deleting IPC queue 29425794
deleting IPC queue 29458563
deleting IPC queue 29491332
deleting IPC queue 29524101
deleting IPC queue 29556870
deleting IPC queue 29589639
deleting IPC queue 29622408
deleting IPC queue 29655177
deleting IPC queue 29687946
deleting IPC queue 29720715
deleting IPC queue 29753484
deleting IPC queue 29786253
deleting IPC queue 29819022
deleting IPC queue 29851791
deleting IPC queue 29884560
deleting IPC queue 29917329
deleting IPC queue 29950098
deleting IPC queue 29982867
deleting IPC queue 30015636
deleting IPC queue 30048405
deleting IPC queue 30081174
deleting IPC queue 30113943
deleting IPC queue 30146712
deleting IPC queue 30179481
deleting IPC queue 30212250
deleting IPC queue 30245019
deleting IPC queue 30277788
deleting IPC queue 30310557
deleting IPC queue 30343326
deleting IPC queue 30376095
deleting IPC queue 30408864
deleting IPC queue 30441633
deleting IPC queue 30474402
deleting IPC queue 30507171
deleting IPC queue 30539940
deleting IPC queue 30572709
deleting IPC queue 30605478
deleting IPC queue 30638247
deleting IPC queue 30671016
deleting IPC queue 30703785
deleting IPC queue 30736554
deleting IPC queue 30769323
deleting IPC queue 30802092
deleting IPC queue 30834861
deleting IPC queue 30867630
deleting IPC queue 30900399
deleting IPC queue 30933168
deleting IPC queue 30965937
deleting IPC queue 30998706
deleting IPC queue 31031475
deleting IPC queue 31064244
deleting IPC queue 31097013
deleting IPC queue 31129782
deleting IPC queue 31162551
deleting IPC queue 31195320
deleting IPC queue 31228089
deleting IPC queue 31260858
deleting IPC queue 31293627
deleting IPC queue 31326396
deleting IPC queue 31359165
deleting IPC queue 31391934
deleting IPC queue 31424703
deleting IPC queue 31457472
deleting IPC queue 31490241
deleting IPC queue 31523010
deleting IPC queue 31555779
deleting IPC queue 31588548
deleting IPC queue 31621317
deleting IPC queue 31654086
deleting IPC queue 31686855
deleting IPC queue 31719624
deleting IPC queue 31752393
deleting IPC queue 31785162
deleting IPC queue 31817931
deleting IPC queue 31850700
deleting IPC queue 31883469
deleting IPC queue 31916238
deleting IPC queue 31949007
deleting IPC queue 31981776
deleting IPC queue 32014545
deleting IPC queue 32047314
deleting IPC queue 32080083
deleting IPC queue 32112852
deleting IPC queue 32145621
deleting IPC queue 32178390
deleting IPC queue 32211159
deleting IPC queue 32243928
deleting IPC queue 32276697
deleting IPC queue 32309466
deleting IPC queue 32342235
deleting IPC queue 32375004
deleting IPC queue 32407773
deleting IPC queue 32440542
deleting IPC queue 32473311
deleting IPC queue 32506080
deleting IPC queue 32538849
deleting IPC queue 32571618
deleting IPC queue 32604387
deleting IPC queue 32637156
deleting IPC queue 32669925
deleting IPC queue 32702694
deleting IPC queue 32735463
deleting IPC queue 32768232
deleting IPC queue 32801001
deleting IPC queue 32833770
deleting IPC queue 32866539
deleting IPC queue 32899308
deleting IPC queue 32932077
deleting IPC queue 32964846
deleting IPC queue 32997615
deleting IPC queue 33030384
deleting IPC queue 33063153
deleting IPC queue 33095922
deleting IPC queue 33128691
deleting IPC queue 33161460
deleting IPC queue 33194229
deleting IPC queue 33226998
deleting IPC queue 33259767
deleting IPC queue 33292536
deleting IPC queue 33325305
deleting IPC queue 33358074
deleting IPC queue 33390843
deleting IPC queue 33423612
deleting IPC queue 33456381
deleting IPC queue 33489150
deleting IPC queue 33521919

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8476.7
system time used= 94.8859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 532507
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= 5500295
involuntary context switches= 2572490

runsolver used 2.67217 second user time and 8.74855 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 02:51:26
IDJOB=1781097
IDBENCH=71096
IDSOLVER=631
FILE ID=xenhost3-49/1781097-1244854286
PBS_JOBID=
Free space on /tmp= 7022 MiB

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

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

MD5SUM BENCH= 85279cb74dedd2e1c7356e22d8e98939
RANDOM SEED= 302285757

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:      19121460 kB
Buffers:        435660 kB
Cached:       14119156 kB
SwapCached:          0 kB
Active:        4080536 kB
Inactive:     10481876 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            6656 kB
Writeback:           0 kB
AnonPages:        8280 kB
Mapped:           3580 kB
Slab:           689496 kB
SReclaimable:   662684 kB
SUnreclaim:      26812 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29852 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7021 MiB
End job on xenhost3-49 at 2009-06-13 03:01:29