Trace number 1775802

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) 3992.55 337.199

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
MD5SUM8e22d84b1ae625d44fbf300a32374a2d
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 variables164158
Number of clauses730719
Sum of the clauses size1660140
Maximum clause length10
Minimum clause length1
Number of clauses of size 112474
Number of clauses of size 2600009
Number of clauses of size 387256
Number of clauses of size 43440
Number of clauses of size 513760
Number of clauses of size over 513780

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-1775802-1244721903/watcher-1775802-1244721903 -o /tmp/evaluation-result-1775802-1244721903/solver-1775802-1244721903 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775802-1244721903.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: 13.01 12.24 10.22 2/184 29259
/proc/meminfo: memFree=19135692/36427776 swapFree=4468/7796
[pid=29259] ppid=29257 vsize=8496 CPUtime=0
/proc/29259/stat : 29259 (satake) D 29257 29259 27791 0 -1 4202496 541 0 0 0 0 0 0 0 20 0 16 0 631496739 8699904 488 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29259/statm: 2124 488 63 164 0 1959 0
[pid=29259/tid=29260] ppid=29257 vsize=8496 CPUtime=0
/proc/29259/task/29260/stat : 29260 (satake) S 29257 29259 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 16 0 631496739 8699904 488 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=29259/tid=29261] ppid=29257 vsize=8496 CPUtime=0
/proc/29259/task/29261/stat : 29261 (satake) R 29257 29259 27791 0 -1 4202560 89 0 0 0 0 0 0 0 20 0 16 0 631496739 8699904 488 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29262] ppid=29257 vsize=8496 CPUtime=0
/proc/29259/task/29262/stat : 29262 (satake) D 29257 29259 27791 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 16 0 631496739 8699904 489 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29259/tid=29263] ppid=29257 vsize=8496 CPUtime=0
/proc/29259/task/29263/stat : 29263 (satake) D 29257 29259 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 16 0 631496739 8699904 490 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29264] ppid=29257 vsize=8496 CPUtime=0
/proc/29259/task/29264/stat : 29264 (satake) D 29257 29259 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 17 0 631496739 8699904 493 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29259/tid=29265] ppid=29257 vsize=8628 CPUtime=0
/proc/29259/task/29265/stat : 29265 (satake) D 29257 29259 27791 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 17 0 631496739 8835072 493 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29266] ppid=29257 vsize=8628 CPUtime=0
/proc/29259/task/29266/stat : 29266 (satake) R 29257 29259 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 631496740 8835072 496 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29259/tid=29267] ppid=29257 vsize=8628 CPUtime=0
/proc/29259/task/29267/stat : 29267 (satake) S 29257 29259 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 631496740 8835072 498 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=29259/tid=29268] ppid=29257 vsize=8628 CPUtime=0
/proc/29259/task/29268/stat : 29268 (satake) D 29257 29259 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 631496740 8835072 499 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29259/tid=29269] ppid=29257 vsize=8628 CPUtime=0
/proc/29259/task/29269/stat : 29269 (satake) R 29257 29259 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 631496740 8835072 500 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29259/tid=29270] ppid=29257 vsize=8628 CPUtime=0
/proc/29259/task/29270/stat : 29270 (satake) R 29257 29259 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 631496740 8835072 500 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29259/tid=29271] ppid=29257 vsize=8628 CPUtime=0
/proc/29259/task/29271/stat : 29271 (satake) S 29257 29259 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 631496740 8835072 500 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=29259/tid=29272] ppid=29257 vsize=8628 CPUtime=0
/proc/29259/task/29272/stat : 29272 (satake) R 29257 29259 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 631496740 8835072 500 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29259/tid=29273] ppid=29257 vsize=8628 CPUtime=0
/proc/29259/task/29273/stat : 29273 (satake) D 29257 29259 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 631496740 8835072 501 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29259/tid=29274] ppid=29257 vsize=8628 CPUtime=0
/proc/29259/task/29274/stat : 29274 (satake) D 29257 29259 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 631496740 8835072 501 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29259/tid=29275] ppid=29257 vsize=8628 CPUtime=0
/proc/29259/task/29275/stat : 29275 (satake) D 29257 29259 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 631496740 8835072 502 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0

[startup+0.02224 s]
/proc/loadavg: 13.01 12.24 10.22 2/184 29259
/proc/meminfo: memFree=19135692/36427776 swapFree=4468/7796
[pid=29259] ppid=29257 vsize=13904 CPUtime=0.04
/proc/29259/stat : 29259 (satake) S 29257 29259 27791 0 -1 4202496 1380 0 0 0 2 2 0 0 20 0 17 0 631496739 14237696 1328 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29259/statm: 3509 1339 63 164 0 3344 0
[pid=29259/tid=29260] ppid=29257 vsize=14036 CPUtime=0
/proc/29259/task/29260/stat : 29260 (satake) S 29257 29259 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 631496739 14372864 1358 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=29259/tid=29261] ppid=29257 vsize=14292 CPUtime=0
/proc/29259/task/29261/stat : 29261 (satake) D 29257 29259 27791 0 -1 4202560 181 0 0 0 0 0 0 0 20 0 17 0 631496739 14635008 1358 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29262] ppid=29257 vsize=14292 CPUtime=0
/proc/29259/task/29262/stat : 29262 (satake) R 29257 29259 27791 0 -1 4202560 189 0 0 0 0 0 0 0 20 0 17 0 631496739 14635008 1364 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29259/tid=29263] ppid=29257 vsize=14292 CPUtime=0
/proc/29259/task/29263/stat : 29263 (satake) D 29257 29259 27791 0 -1 4202560 69 0 0 0 0 0 0 0 20 0 17 0 631496739 14635008 1493 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29264] ppid=29257 vsize=14424 CPUtime=0
/proc/29259/task/29264/stat : 29264 (satake) D 29257 29259 27791 0 -1 4202560 132 0 0 0 0 0 0 0 20 0 17 0 631496739 14770176 1613 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29259/tid=29265] ppid=29257 vsize=14424 CPUtime=0
/proc/29259/task/29265/stat : 29265 (satake) D 29257 29259 27791 0 -1 4202560 188 0 0 0 0 0 0 0 20 0 17 0 631496739 14770176 1614 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29266] ppid=29257 vsize=14680 CPUtime=0
/proc/29259/task/29266/stat : 29266 (satake) D 29257 29259 27791 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 17 0 631496740 15032320 1616 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29259/tid=29267] ppid=29257 vsize=14680 CPUtime=0
/proc/29259/task/29267/stat : 29267 (satake) R 29257 29259 27791 0 -1 4202560 115 0 0 0 0 0 0 0 20 0 17 0 631496740 15032320 1620 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29259/tid=29268] ppid=29257 vsize=14680 CPUtime=0
/proc/29259/task/29268/stat : 29268 (satake) D 29257 29259 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 631496740 15032320 1649 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29259/tid=29269] ppid=29257 vsize=14936 CPUtime=0
/proc/29259/task/29269/stat : 29269 (satake) D 29257 29259 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 631496740 15294464 1649 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29259/tid=29270] ppid=29257 vsize=14936 CPUtime=0
/proc/29259/task/29270/stat : 29270 (satake) D 29257 29259 27791 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 17 0 631496740 15294464 1654 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29259/tid=29271] ppid=29257 vsize=15064 CPUtime=0
/proc/29259/task/29271/stat : 29271 (satake) R 29257 29259 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 631496740 15425536 1658 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29259/tid=29272] ppid=29257 vsize=15064 CPUtime=0
/proc/29259/task/29272/stat : 29272 (satake) R 29257 29259 27791 0 -1 4202560 119 0 0 0 0 0 0 0 20 0 17 0 631496740 15425536 1661 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29259/tid=29273] ppid=29257 vsize=15064 CPUtime=0
/proc/29259/task/29273/stat : 29273 (satake) D 29257 29259 27791 0 -1 4202560 122 0 0 0 0 0 0 0 20 0 17 0 631496740 15425536 1802 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29259/tid=29274] ppid=29257 vsize=15064 CPUtime=0
/proc/29259/task/29274/stat : 29274 (satake) D 29257 29259 27791 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 17 0 631496740 15425536 1802 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29259/tid=29275] ppid=29257 vsize=15064 CPUtime=0
/proc/29259/task/29275/stat : 29275 (satake) D 29257 29259 27791 0 -1 4202560 100 0 0 0 0 0 0 0 20 0 17 0 631496740 15425536 1802 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13904

[startup+0.112437 s]
/proc/loadavg: 13.01 12.24 10.22 2/184 29259
/proc/meminfo: memFree=19135692/36427776 swapFree=4468/7796
[pid=29259] ppid=29257 vsize=76120 CPUtime=0.84
/proc/29259/stat : 29259 (satake) S 29257 29259 27791 0 -1 4202496 12840 0 0 0 5 79 0 0 20 0 17 0 631496739 77946880 12787 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29259/statm: 19030 12787 63 164 0 18865 0
[pid=29259/tid=29260] ppid=29257 vsize=76120 CPUtime=0
/proc/29259/task/29260/stat : 29260 (satake) S 29257 29259 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 631496739 77946880 12787 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=29259/tid=29261] ppid=29257 vsize=76120 CPUtime=0.04
/proc/29259/task/29261/stat : 29261 (satake) D 29257 29259 27791 0 -1 4202560 511 0 0 0 0 4 0 0 20 0 17 0 631496739 77946880 12787 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29262] ppid=29257 vsize=76120 CPUtime=0.08
/proc/29259/task/29262/stat : 29262 (satake) D 29257 29259 27791 0 -1 4202560 1220 0 0 0 0 8 0 0 20 0 17 0 631496739 77946880 12787 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29259/tid=29263] ppid=29257 vsize=76120 CPUtime=0.04
/proc/29259/task/29263/stat : 29263 (satake) D 29257 29259 27791 0 -1 4202560 669 0 0 0 0 4 0 0 20 0 17 0 631496739 77946880 12787 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29264] ppid=29257 vsize=76120 CPUtime=0.06
/proc/29259/task/29264/stat : 29264 (satake) D 29257 29259 27791 0 -1 4202560 906 0 0 0 0 6 0 0 20 0 17 0 631496739 77946880 12787 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29259/tid=29265] ppid=29257 vsize=76120 CPUtime=0.08
/proc/29259/task/29265/stat : 29265 (satake) D 29257 29259 27791 0 -1 4202560 1107 0 0 0 0 8 0 0 20 0 17 0 631496739 77946880 12787 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29266] ppid=29257 vsize=76120 CPUtime=0.06
/proc/29259/task/29266/stat : 29266 (satake) D 29257 29259 27791 0 -1 4202560 1075 0 0 0 0 6 0 0 20 0 17 0 631496740 77946880 12787 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29259/tid=29267] ppid=29257 vsize=76120 CPUtime=0.06
/proc/29259/task/29267/stat : 29267 (satake) D 29257 29259 27791 0 -1 4202560 1008 0 0 0 0 6 0 0 20 0 17 0 631496740 77946880 12787 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29259/tid=29268] ppid=29257 vsize=76120 CPUtime=0
/proc/29259/task/29268/stat : 29268 (satake) D 29257 29259 27791 0 -1 4202560 186 0 0 0 0 0 0 0 20 0 17 0 631496740 77946880 12787 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29259/tid=29269] ppid=29257 vsize=76120 CPUtime=0
/proc/29259/task/29269/stat : 29269 (satake) D 29257 29259 27791 0 -1 4202560 76 0 0 0 0 0 0 0 20 0 17 0 631496740 77946880 12787 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29259/tid=29270] ppid=29257 vsize=76120 CPUtime=0.04
/proc/29259/task/29270/stat : 29270 (satake) D 29257 29259 27791 0 -1 4202560 921 0 0 0 0 4 0 0 20 0 17 0 631496740 77946880 12787 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29259/tid=29271] ppid=29257 vsize=76120 CPUtime=0.06
/proc/29259/task/29271/stat : 29271 (satake) D 29257 29259 27791 0 -1 4202560 938 0 0 0 0 6 0 0 20 0 17 0 631496740 77946880 12787 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29259/tid=29272] ppid=29257 vsize=84316 CPUtime=0.08
/proc/29259/task/29272/stat : 29272 (satake) D 29257 29259 27791 0 -1 4202560 1426 0 0 0 0 8 0 0 20 0 17 0 631496740 86339584 12787 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29259/tid=29273] ppid=29257 vsize=80216 CPUtime=0.06
/proc/29259/task/29273/stat : 29273 (satake) D 29257 29259 27791 0 -1 4202560 1006 0 0 0 0 6 0 0 20 0 17 0 631496740 82141184 12787 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29259/tid=29274] ppid=29257 vsize=80216 CPUtime=0.06
/proc/29259/task/29274/stat : 29274 (satake) R 29257 29259 27791 0 -1 4202560 1042 0 0 0 0 6 0 0 20 0 17 0 631496740 82141184 12792 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29259/tid=29275] ppid=29257 vsize=80216 CPUtime=0.02
/proc/29259/task/29275/stat : 29275 (satake) D 29257 29259 27791 0 -1 4202560 616 0 0 0 0 2 0 0 20 0 17 0 631496740 82141184 12793 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 76120

[startup+0.304737 s]
/proc/loadavg: 13.01 12.24 10.22 2/184 29259
/proc/meminfo: memFree=19135692/36427776 swapFree=4468/7796
[pid=29259] ppid=29257 vsize=189776 CPUtime=2.52
/proc/29259/stat : 29259 (satake) S 29257 29259 27791 0 -1 4202496 37509 0 0 0 5 247 0 0 20 0 17 0 631496739 194330624 37456 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29259/statm: 47444 37456 63 164 0 47279 0
[pid=29259/tid=29260] ppid=29257 vsize=189776 CPUtime=0
/proc/29259/task/29260/stat : 29260 (satake) S 29257 29259 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 631496739 194330624 37456 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=29259/tid=29261] ppid=29257 vsize=189776 CPUtime=0.1
/proc/29259/task/29261/stat : 29261 (satake) D 29257 29259 27791 0 -1 4202560 1538 0 0 0 0 10 0 0 20 0 17 0 631496739 194330624 37456 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29262] ppid=29257 vsize=189776 CPUtime=0.14
/proc/29259/task/29262/stat : 29262 (satake) D 29257 29259 27791 0 -1 4202560 2094 0 0 0 0 14 0 0 20 0 17 0 631496739 194330624 37456 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29259/tid=29263] ppid=29257 vsize=189776 CPUtime=0.12
/proc/29259/task/29263/stat : 29263 (satake) D 29257 29259 27791 0 -1 4202560 1899 0 0 0 0 12 0 0 20 0 17 0 631496739 194330624 37456 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29264] ppid=29257 vsize=189776 CPUtime=0.14
/proc/29259/task/29264/stat : 29264 (satake) D 29257 29259 27791 0 -1 4202560 1957 0 0 0 0 14 0 0 20 0 17 0 631496739 194330624 37456 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29259/tid=29265] ppid=29257 vsize=189776 CPUtime=0.22
/proc/29259/task/29265/stat : 29265 (satake) D 29257 29259 27791 0 -1 4202560 3385 0 0 0 0 22 0 0 20 0 17 0 631496739 194330624 37456 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29266] ppid=29257 vsize=189776 CPUtime=0.2
/proc/29259/task/29266/stat : 29266 (satake) R 29257 29259 27791 0 -1 4202560 3196 0 0 0 0 20 0 0 20 0 17 0 631496740 194330624 37456 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29259/tid=29267] ppid=29257 vsize=189776 CPUtime=0.22
/proc/29259/task/29267/stat : 29267 (satake) D 29257 29259 27791 0 -1 4202560 3187 0 0 0 0 22 0 0 20 0 17 0 631496740 194330624 37456 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29259/tid=29268] ppid=29257 vsize=189776 CPUtime=0.08
/proc/29259/task/29268/stat : 29268 (satake) D 29257 29259 27791 0 -1 4202560 1149 0 0 0 0 8 0 0 20 0 17 0 631496740 194330624 37456 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29259/tid=29269] ppid=29257 vsize=189776 CPUtime=0.1
/proc/29259/task/29269/stat : 29269 (satake) D 29257 29259 27791 0 -1 4202560 1546 0 0 0 0 10 0 0 20 0 17 0 631496740 194330624 37456 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29259/tid=29270] ppid=29257 vsize=189776 CPUtime=0.1
/proc/29259/task/29270/stat : 29270 (satake) D 29257 29259 27791 0 -1 4202560 1972 0 0 0 0 10 0 0 20 0 17 0 631496740 194330624 37456 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29259/tid=29271] ppid=29257 vsize=189776 CPUtime=0.22
/proc/29259/task/29271/stat : 29271 (satake) D 29257 29259 27791 0 -1 4202560 3136 0 0 0 0 22 0 0 20 0 17 0 631496740 194330624 37456 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29259/tid=29272] ppid=29257 vsize=189776 CPUtime=0.22
/proc/29259/task/29272/stat : 29272 (satake) D 29257 29259 27791 0 -1 4202560 3958 0 0 0 0 22 0 0 20 0 17 0 631496740 194330624 37456 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29259/tid=29273] ppid=29257 vsize=189776 CPUtime=0.22
/proc/29259/task/29273/stat : 29273 (satake) D 29257 29259 27791 0 -1 4202560 2971 0 0 0 0 22 0 0 20 0 17 0 631496740 194330624 37456 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29259/tid=29274] ppid=29257 vsize=189776 CPUtime=0.2
/proc/29259/task/29274/stat : 29274 (satake) D 29257 29259 27791 0 -1 4202560 3216 0 0 0 0 20 0 0 20 0 17 0 631496740 194330624 37456 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29259/tid=29275] ppid=29257 vsize=189776 CPUtime=0.12
/proc/29259/task/29275/stat : 29275 (satake) D 29257 29259 27791 0 -1 4202560 2172 0 0 0 0 12 0 0 20 0 17 0 631496740 194330624 37456 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 189776

[startup+0.706144 s]
/proc/loadavg: 13.01 12.24 10.22 2/184 29259
/proc/meminfo: memFree=19135692/36427776 swapFree=4468/7796
[pid=29259] ppid=29257 vsize=257032 CPUtime=5.11
/proc/29259/stat : 29259 (satake) S 29257 29259 27791 0 -1 4202496 50457 0 0 0 9 502 0 0 20 0 17 0 631496739 263200768 50406 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29259/statm: 64258 50408 63 164 0 64093 0
[pid=29259/tid=29260] ppid=29257 vsize=257032 CPUtime=0
/proc/29259/task/29260/stat : 29260 (satake) S 29257 29259 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 631496739 263200768 50408 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=29259/tid=29261] ppid=29257 vsize=257032 CPUtime=0.24
/proc/29259/task/29261/stat : 29261 (satake) D 29257 29259 27791 0 -1 4202560 2467 0 0 0 0 24 0 0 20 0 17 0 631496739 263200768 50408 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29262] ppid=29257 vsize=257032 CPUtime=0.26
/proc/29259/task/29262/stat : 29262 (satake) D 29257 29259 27791 0 -1 4202560 3003 0 0 0 0 26 0 0 20 0 17 0 631496739 263200768 50408 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29259/tid=29263] ppid=29257 vsize=257032 CPUtime=0.24
/proc/29259/task/29263/stat : 29263 (satake) D 29257 29259 27791 0 -1 4202560 2865 0 0 0 0 24 0 0 20 0 17 0 631496739 263200768 50408 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29259/tid=29264] ppid=29257 vsize=257032 CPUtime=0.28
/proc/29259/task/29264/stat : 29264 (satake) D 29257 29259 27791 0 -1 4202560 2902 0 0 0 0 28 0 0 20 0 17 0 631496739 263200768 50408 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29259/tid=29265] ppid=29257 vsize=257032 CPUtime=0.44
/proc/29259/task/29265/stat : 29265 (satake) S 29257 29259 27791 0 -1 4202560 4064 0 0 0 0 44 0 0 20 0 17 0 631496739 263200768 50408 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=29259/tid=29266] ppid=29257 vsize=257032 CPUtime=0.42
/proc/29259/task/29266/stat : 29266 (satake) R 29257 29259 27791 0 -1 4202560 3994 0 0 0 0 42 0 0 20 0 17 0 631496740 263200768 50408 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29259/tid=29267] ppid=29257 vsize=257032 CPUtime=0.44
/proc/29259/task/29267/stat : 29267 (satake) D 29257 29259 27791 0 -1 4202560 4018 0 0 0 0 44 0 0 20 0 17 0 631496740 263200768 50408 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29259/tid=29268] ppid=29257 vsize=257032 CPUtime=0.22
/proc/29259/task/29268/stat : 29268 (satake) D 29257 29259 27791 0 -1 4202560 2108 0 0 0 0 22 0 0 20 0 17 0 631496740 263200768 50408 18446744073709551615 134512640 135180984 4288067664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29259/tid=29269] ppid=29257 vsize=257032 CPUtime=0.24

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

deleting IPC queue 170328142
deleting IPC queue 170360911
deleting IPC queue 170393680
deleting IPC queue 170426449
deleting IPC queue 170459218
deleting IPC queue 170491987
deleting IPC queue 170524756
deleting IPC queue 170557525
deleting IPC queue 170590294
deleting IPC queue 170623063
deleting IPC queue 170655832
deleting IPC queue 170688601
deleting IPC queue 170721370
deleting IPC queue 170754139
deleting IPC queue 170786908
deleting IPC queue 170819677
deleting IPC queue 170852446
deleting IPC queue 170885215
deleting IPC queue 170917984
deleting IPC queue 170950753
deleting IPC queue 170983522
deleting IPC queue 171016291
deleting IPC queue 171049060
deleting IPC queue 171081829
deleting IPC queue 171114598
deleting IPC queue 171147367
deleting IPC queue 171180136
deleting IPC queue 171212905
deleting IPC queue 171245674
deleting IPC queue 171278443
deleting IPC queue 171311212
deleting IPC queue 171343981
deleting IPC queue 171376750
deleting IPC queue 171409519
deleting IPC queue 171442288
deleting IPC queue 171475057
deleting IPC queue 171507826
deleting IPC queue 171540595
deleting IPC queue 171573364
deleting IPC queue 171606133
deleting IPC queue 171638902
deleting IPC queue 171671671
deleting IPC queue 171704440
deleting IPC queue 171737209
deleting IPC queue 171769978
deleting IPC queue 171802747
deleting IPC queue 171835516
deleting IPC queue 171868285
deleting IPC queue 171901054
deleting IPC queue 171933823
deleting IPC queue 171966592
deleting IPC queue 171999361
deleting IPC queue 172032130
deleting IPC queue 172064899
deleting IPC queue 172097668
deleting IPC queue 172130437
deleting IPC queue 172163206
deleting IPC queue 172195975
deleting IPC queue 172228744
deleting IPC queue 172261513
deleting IPC queue 172294282
deleting IPC queue 172327051
deleting IPC queue 172359820
deleting IPC queue 172392589
deleting IPC queue 172425358
deleting IPC queue 172458127
deleting IPC queue 172490896
deleting IPC queue 172523665
deleting IPC queue 172556434
deleting IPC queue 172589203
deleting IPC queue 172621972
deleting IPC queue 172654741
deleting IPC queue 172687510
deleting IPC queue 172720279
deleting IPC queue 172753048
deleting IPC queue 172785817
deleting IPC queue 172818586
deleting IPC queue 172851355
deleting IPC queue 172884124
deleting IPC queue 172916893
deleting IPC queue 172949662
deleting IPC queue 172982431
deleting IPC queue 173015200
deleting IPC queue 173047969
deleting IPC queue 173080738
deleting IPC queue 173113507
deleting IPC queue 173146276
deleting IPC queue 173179045
deleting IPC queue 173211814
deleting IPC queue 173244583
deleting IPC queue 173277352
deleting IPC queue 173310121
deleting IPC queue 173342890
deleting IPC queue 173375659
deleting IPC queue 173408428
deleting IPC queue 173441197
deleting IPC queue 173473966
deleting IPC queue 173506735
deleting IPC queue 173539504
deleting IPC queue 173572273
deleting IPC queue 173605042
deleting IPC queue 173637811
deleting IPC queue 173670580
deleting IPC queue 173703349
deleting IPC queue 173736118
deleting IPC queue 173768887
deleting IPC queue 173801656
deleting IPC queue 173834425
deleting IPC queue 173867194
deleting IPC queue 173899963
deleting IPC queue 173932732
deleting IPC queue 173965501
deleting IPC queue 173998270
deleting IPC queue 174031039
deleting IPC queue 174063808
deleting IPC queue 174096577
deleting IPC queue 174129346
deleting IPC queue 174162115
deleting IPC queue 174194884
deleting IPC queue 174227653
deleting IPC queue 174260422
deleting IPC queue 174293191
deleting IPC queue 174325960
deleting IPC queue 174358729
deleting IPC queue 174391498
deleting IPC queue 174424267
deleting IPC queue 174457036
deleting IPC queue 174489805
deleting IPC queue 174522574
deleting IPC queue 174555343
deleting IPC queue 174588112
deleting IPC queue 174620881
deleting IPC queue 174653650
deleting IPC queue 174686419
deleting IPC queue 174719188
deleting IPC queue 174751957
deleting IPC queue 174784726
deleting IPC queue 174817495
deleting IPC queue 174850264
deleting IPC queue 174883033
deleting IPC queue 174915802
deleting IPC queue 174948571
deleting IPC queue 174981340
deleting IPC queue 175014109
deleting IPC queue 175046878
deleting IPC queue 175079647
deleting IPC queue 175112416
deleting IPC queue 175145185
deleting IPC queue 175177954
deleting IPC queue 175210723
deleting IPC queue 175243492
deleting IPC queue 175276261
deleting IPC queue 175309030
deleting IPC queue 175341799
deleting IPC queue 175374568
deleting IPC queue 175407337
deleting IPC queue 175440106
deleting IPC queue 175472875
deleting IPC queue 175505644
deleting IPC queue 175538413
deleting IPC queue 175571182
deleting IPC queue 175603951
deleting IPC queue 175636720
deleting IPC queue 175669489
deleting IPC queue 175702258
deleting IPC queue 175735027
deleting IPC queue 175767796
deleting IPC queue 175800565
deleting IPC queue 175833334
deleting IPC queue 175866103
deleting IPC queue 175898872
deleting IPC queue 175931641
deleting IPC queue 175964410
deleting IPC queue 175997179
deleting IPC queue 176029948
deleting IPC queue 176062717
deleting IPC queue 176095486
deleting IPC queue 176128255

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3851.3
system time used= 141.257
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 531064
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= 10286468
involuntary context switches= 4470576

runsolver used 1.44809 second user time and 4.7723 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 14:05:03
IDJOB=1775802
IDBENCH=20386
IDSOLVER=631
FILE ID=xenhost3-49/1775802-1244721903
PBS_JOBID=
Free space on /tmp= 7028 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775802-1244721903/watcher-1775802-1244721903 -o /tmp/evaluation-result-1775802-1244721903/solver-1775802-1244721903 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775802-1244721903.cnf 16 10000

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

MD5SUM BENCH= 8e22d84b1ae625d44fbf300a32374a2d
RANDOM SEED= 984187646

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:      19135612 kB
Buffers:        432080 kB
Cached:       14112404 kB
SwapCached:          0 kB
Active:        4076656 kB
Inactive:     10475492 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           13332 kB
Writeback:           0 kB
AnonPages:        7648 kB
Mapped:           3652 kB
Slab:           687460 kB
SReclaimable:   660720 kB
SUnreclaim:      26740 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7028 MiB
End job on xenhost3-49 at 2009-06-11 14:10:43