Trace number 1775712

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
satake 2009-03-22 (16 threads)? (TO) 2650.3 1000.12

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
MD5SUMc716daea92d5e29b94f85a19b52859ac
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark437.98
Satisfiable
(Un)Satisfiability was proved
Number of variables151952
Number of clauses697321
Sum of the clauses size1601192
Maximum clause length10
Minimum clause length1
Number of clauses of size 112754
Number of clauses of size 2551183
Number of clauses of size 3104744
Number of clauses of size 43180
Number of clauses of size 512720
Number of clauses of size over 512740

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-1775712-1244716419/watcher-1775712-1244716419 -o /tmp/evaluation-result-1775712-1244716419/solver-1775712-1244716419 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775712-1244716419.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.82 11.83 10.41 2/184 28831
/proc/meminfo: memFree=19137576/36427776 swapFree=3652/8384
[pid=28831] ppid=28829 vsize=9276 CPUtime=0
/proc/28831/stat : 28831 (satake) S 28829 28831 27791 0 -1 4202496 419 0 0 0 0 0 0 0 20 0 17 0 630948289 9498624 375 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28831/statm: 2319 376 63 164 0 2154 0
[pid=28831/tid=28832] ppid=28829 vsize=9276 CPUtime=0
/proc/28831/task/28832/stat : 28832 (satake) S 28829 28831 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 630948290 9498624 377 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=28831/tid=28833] ppid=28829 vsize=9276 CPUtime=0
/proc/28831/task/28833/stat : 28833 (satake) R 28829 28831 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 17 0 630948290 9498624 377 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28831/tid=28834] ppid=28829 vsize=9276 CPUtime=0
/proc/28831/task/28834/stat : 28834 (satake) R 28829 28831 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 630948290 9498624 377 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28831/tid=28835] ppid=28829 vsize=9276 CPUtime=0
/proc/28831/task/28835/stat : 28835 (satake) D 28829 28831 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 630948290 9498624 377 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28831/tid=28836] ppid=28829 vsize=9276 CPUtime=0
/proc/28831/task/28836/stat : 28836 (satake) D 28829 28831 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 630948290 9498624 377 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28831/tid=28837] ppid=28829 vsize=8876 CPUtime=0
/proc/28831/task/28837/stat : 28837 (satake) S 28829 28831 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 630948290 9089024 377 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=28831/tid=28838] ppid=28829 vsize=8876 CPUtime=0
/proc/28831/task/28838/stat : 28838 (satake) D 28829 28831 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 630948290 9089024 377 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28831/tid=28839] ppid=28829 vsize=8876 CPUtime=0
/proc/28831/task/28839/stat : 28839 (satake) R 28829 28831 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 630948290 9089024 382 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28831/tid=28840] ppid=28829 vsize=8876 CPUtime=0
/proc/28831/task/28840/stat : 28840 (satake) S 28829 28831 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 630948290 9089024 384 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=28831/tid=28841] ppid=28829 vsize=8876 CPUtime=0
/proc/28831/task/28841/stat : 28841 (satake) S 28829 28831 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 630948290 9089024 385 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=28831/tid=28842] ppid=28829 vsize=8876 CPUtime=0
/proc/28831/task/28842/stat : 28842 (satake) R 28829 28831 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 630948290 9089024 386 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28831/tid=28843] ppid=28829 vsize=8876 CPUtime=0
/proc/28831/task/28843/stat : 28843 (satake) R 28829 28831 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 17 0 630948290 9089024 386 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28831/tid=28844] ppid=28829 vsize=8876 CPUtime=0
/proc/28831/task/28844/stat : 28844 (satake) R 28829 28831 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 630948290 9089024 387 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=28831/tid=28845] ppid=28829 vsize=8876 CPUtime=0
/proc/28831/task/28845/stat : 28845 (satake) R 28829 28831 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 630948290 9089024 387 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28831/tid=28846] ppid=28829 vsize=8876 CPUtime=0
/proc/28831/task/28846/stat : 28846 (satake) D 28829 28831 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 630948290 9089024 387 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28831/tid=28847] ppid=28829 vsize=8876 CPUtime=0
/proc/28831/task/28847/stat : 28847 (satake) R 28829 28831 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 630948291 9089024 387 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.026973 s]
/proc/loadavg: 13.82 11.83 10.41 2/184 28831
/proc/meminfo: memFree=19137576/36427776 swapFree=3652/8384
[pid=28831] ppid=28829 vsize=11496 CPUtime=0.13
/proc/28831/stat : 28831 (satake) S 28829 28831 27791 0 -1 4202496 986 0 0 0 5 8 0 0 20 0 17 0 630948289 11771904 942 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28831/statm: 2874 952 63 164 0 2709 0
[pid=28831/tid=28832] ppid=28829 vsize=11496 CPUtime=0
/proc/28831/task/28832/stat : 28832 (satake) S 28829 28831 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 630948290 11771904 964 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=28831/tid=28833] ppid=28829 vsize=11496 CPUtime=0
/proc/28831/task/28833/stat : 28833 (satake) R 28829 28831 27791 0 -1 4202560 104 0 0 0 0 0 0 0 20 0 17 0 630948290 11771904 966 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28831/tid=28834] ppid=28829 vsize=11496 CPUtime=0
/proc/28831/task/28834/stat : 28834 (satake) D 28829 28831 27791 0 -1 4202560 61 0 0 0 0 0 0 0 20 0 17 0 630948290 11771904 967 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28831/tid=28835] ppid=28829 vsize=11496 CPUtime=0
/proc/28831/task/28835/stat : 28835 (satake) D 28829 28831 27791 0 -1 4202560 88 0 0 0 0 0 0 0 20 0 17 0 630948290 11771904 967 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28831/tid=28836] ppid=28829 vsize=11624 CPUtime=0
/proc/28831/task/28836/stat : 28836 (satake) R 28829 28831 27791 0 -1 4202560 90 0 0 0 0 0 0 0 20 0 17 0 630948290 11902976 967 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28831/tid=28837] ppid=28829 vsize=11624 CPUtime=0
/proc/28831/task/28837/stat : 28837 (satake) D 28829 28831 27791 0 -1 4202560 65 0 0 0 0 0 0 0 20 0 17 0 630948290 11902976 972 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28831/tid=28838] ppid=28829 vsize=11624 CPUtime=0
/proc/28831/task/28838/stat : 28838 (satake) D 28829 28831 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 17 0 630948290 11902976 975 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28831/tid=28839] ppid=28829 vsize=11624 CPUtime=0
/proc/28831/task/28839/stat : 28839 (satake) D 28829 28831 27791 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 17 0 630948290 11902976 976 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28831/tid=28840] ppid=28829 vsize=11624 CPUtime=0
/proc/28831/task/28840/stat : 28840 (satake) R 28829 28831 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 630948290 11902976 978 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28831/tid=28841] ppid=28829 vsize=11624 CPUtime=0
/proc/28831/task/28841/stat : 28841 (satake) R 28829 28831 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 630948290 11902976 978 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28831/tid=28842] ppid=28829 vsize=11624 CPUtime=0
/proc/28831/task/28842/stat : 28842 (satake) R 28829 28831 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 17 0 630948290 11902976 978 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28831/tid=28843] ppid=28829 vsize=11624 CPUtime=0
/proc/28831/task/28843/stat : 28843 (satake) R 28829 28831 27791 0 -1 4202560 65 0 0 0 0 0 0 0 20 0 17 0 630948290 11902976 978 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28831/tid=28844] ppid=28829 vsize=11624 CPUtime=0
/proc/28831/task/28844/stat : 28844 (satake) R 28829 28831 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 630948290 11902976 978 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=28831/tid=28845] ppid=28829 vsize=11624 CPUtime=0
/proc/28831/task/28845/stat : 28845 (satake) R 28829 28831 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 630948290 11902976 978 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28831/tid=28846] ppid=28829 vsize=11624 CPUtime=0
/proc/28831/task/28846/stat : 28846 (satake) R 28829 28831 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 17 0 630948290 11902976 979 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28831/tid=28847] ppid=28829 vsize=11624 CPUtime=0
/proc/28831/task/28847/stat : 28847 (satake) R 28829 28831 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 630948291 11902976 979 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 11496

[startup+0.107054 s]
/proc/loadavg: 13.82 11.83 10.41 2/184 28831
/proc/meminfo: memFree=19137576/36427776 swapFree=3652/8384
[pid=28831] ppid=28829 vsize=51048 CPUtime=0.88
/proc/28831/stat : 28831 (satake) S 28829 28831 27791 0 -1 4202496 7451 0 0 0 8 80 0 0 20 0 17 0 630948289 52273152 7407 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28831/statm: 13274 7407 63 164 0 13109 0
[pid=28831/tid=28832] ppid=28829 vsize=53096 CPUtime=0
/proc/28831/task/28832/stat : 28832 (satake) S 28829 28831 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 630948290 54370304 7409 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=28831/tid=28833] ppid=28829 vsize=53096 CPUtime=0.06
/proc/28831/task/28833/stat : 28833 (satake) R 28829 28831 27791 0 -1 4202560 579 0 0 0 0 6 0 0 20 0 17 0 630948290 54370304 7414 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28831/tid=28834] ppid=28829 vsize=53096 CPUtime=0.04
/proc/28831/task/28834/stat : 28834 (satake) D 28829 28831 27791 0 -1 4202560 431 0 0 0 0 4 0 0 20 0 17 0 630948290 54370304 7416 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28831/tid=28835] ppid=28829 vsize=53096 CPUtime=0.06
/proc/28831/task/28835/stat : 28835 (satake) R 28829 28831 27791 0 -1 4202560 568 0 0 0 0 6 0 0 20 0 17 0 630948290 54370304 7417 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28831/tid=28836] ppid=28829 vsize=53096 CPUtime=0.08
/proc/28831/task/28836/stat : 28836 (satake) R 28829 28831 27791 0 -1 4202560 685 0 0 0 0 8 0 0 20 0 17 0 630948290 54370304 7417 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28831/tid=28837] ppid=28829 vsize=53096 CPUtime=0.06
/proc/28831/task/28837/stat : 28837 (satake) R 28829 28831 27791 0 -1 4202560 498 0 0 0 0 6 0 0 20 0 17 0 630948290 54370304 7418 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28831/tid=28838] ppid=28829 vsize=53096 CPUtime=0
/proc/28831/task/28838/stat : 28838 (satake) R 28829 28831 27791 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 17 0 630948290 54370304 7418 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28831/tid=28839] ppid=28829 vsize=53096 CPUtime=0.06
/proc/28831/task/28839/stat : 28839 (satake) R 28829 28831 27791 0 -1 4202560 696 0 0 0 0 6 0 0 20 0 17 0 630948290 54370304 7418 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28831/tid=28840] ppid=28829 vsize=53096 CPUtime=0
/proc/28831/task/28840/stat : 28840 (satake) R 28829 28831 27791 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 17 0 630948290 54370304 7418 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28831/tid=28841] ppid=28829 vsize=53096 CPUtime=0.06
/proc/28831/task/28841/stat : 28841 (satake) R 28829 28831 27791 0 -1 4202560 601 0 0 0 0 6 0 0 20 0 17 0 630948290 54370304 7418 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28831/tid=28842] ppid=28829 vsize=53096 CPUtime=0.06
/proc/28831/task/28842/stat : 28842 (satake) R 28829 28831 27791 0 -1 4202560 486 0 0 0 0 6 0 0 20 0 17 0 630948290 54370304 7418 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28831/tid=28843] ppid=28829 vsize=53096 CPUtime=0.06
/proc/28831/task/28843/stat : 28843 (satake) R 28829 28831 27791 0 -1 4202560 587 0 0 0 0 6 0 0 20 0 17 0 630948290 54370304 7418 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28831/tid=28844] ppid=28829 vsize=53096 CPUtime=0.06
/proc/28831/task/28844/stat : 28844 (satake) R 28829 28831 27791 0 -1 4202560 531 0 0 0 0 6 0 0 20 0 17 0 630948290 54370304 7421 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=28831/tid=28845] ppid=28829 vsize=53096 CPUtime=0.06
/proc/28831/task/28845/stat : 28845 (satake) R 28829 28831 27791 0 -1 4202560 619 0 0 0 0 6 0 0 20 0 17 0 630948290 54370304 7421 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28831/tid=28846] ppid=28829 vsize=53096 CPUtime=0.02
/proc/28831/task/28846/stat : 28846 (satake) R 28829 28831 27791 0 -1 4202560 220 0 0 0 2 0 0 0 20 0 17 0 630948290 54370304 7421 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28831/tid=28847] ppid=28829 vsize=53096 CPUtime=0.06
/proc/28831/task/28847/stat : 28847 (satake) R 28829 28831 27791 0 -1 4202560 568 0 0 0 0 6 0 0 20 0 17 0 630948291 54370304 7436 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 51048

[startup+0.307173 s]
/proc/loadavg: 13.82 11.83 10.41 2/184 28831
/proc/meminfo: memFree=19137576/36427776 swapFree=3652/8384
[pid=28831] ppid=28829 vsize=191584 CPUtime=2.92
/proc/28831/stat : 28831 (satake) S 28829 28831 27791 0 -1 4202496 33445 0 0 0 8 284 0 0 20 0 17 0 630948289 196182016 33401 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28831/statm: 47896 33423 63 164 0 47731 0
[pid=28831/tid=28832] ppid=28829 vsize=191584 CPUtime=0
/proc/28831/task/28832/stat : 28832 (satake) S 28829 28831 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 630948290 196182016 33429 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=28831/tid=28833] ppid=28829 vsize=191584 CPUtime=0.24
/proc/28831/task/28833/stat : 28833 (satake) D 28829 28831 27791 0 -1 4202560 2442 0 0 0 0 24 0 0 20 0 17 0 630948290 196182016 33429 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28831/tid=28834] ppid=28829 vsize=191584 CPUtime=0.1
/proc/28831/task/28834/stat : 28834 (satake) D 28829 28831 27791 0 -1 4202560 1219 0 0 0 0 10 0 0 20 0 17 0 630948290 196182016 33429 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28831/tid=28835] ppid=28829 vsize=191584 CPUtime=0.14
/proc/28831/task/28835/stat : 28835 (satake) R 28829 28831 27791 0 -1 4202560 1645 0 0 0 0 14 0 0 20 0 17 0 630948290 196182016 33432 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28831/tid=28836] ppid=28829 vsize=191584 CPUtime=0.24
/proc/28831/task/28836/stat : 28836 (satake) D 28829 28831 27791 0 -1 4202560 3130 0 0 0 0 24 0 0 20 0 17 0 630948290 196182016 33433 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28831/tid=28837] ppid=28829 vsize=191584 CPUtime=0.12
/proc/28831/task/28837/stat : 28837 (satake) R 28829 28831 27791 0 -1 4202560 1361 0 0 0 0 12 0 0 20 0 17 0 630948290 196182016 33434 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28831/tid=28838] ppid=28829 vsize=191584 CPUtime=0.1
/proc/28831/task/28838/stat : 28838 (satake) R 28829 28831 27791 0 -1 4202560 1328 0 0 0 0 10 0 0 20 0 17 0 630948290 196182016 33436 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28831/tid=28839] ppid=28829 vsize=191584 CPUtime=0.24
/proc/28831/task/28839/stat : 28839 (satake) R 28829 28831 27791 0 -1 4202560 3106 0 0 0 0 24 0 0 20 0 17 0 630948290 196182016 33436 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28831/tid=28840] ppid=28829 vsize=191584 CPUtime=0.1
/proc/28831/task/28840/stat : 28840 (satake) R 28829 28831 27791 0 -1 4202560 1300 0 0 0 0 10 0 0 20 0 17 0 630948290 196182016 33437 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28831/tid=28841] ppid=28829 vsize=191584 CPUtime=0.24
/proc/28831/task/28841/stat : 28841 (satake) R 28829 28831 27791 0 -1 4202560 3025 0 0 0 0 24 0 0 20 0 17 0 630948290 196182016 33438 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28831/tid=28842] ppid=28829 vsize=191584 CPUtime=0.24
/proc/28831/task/28842/stat : 28842 (satake) R 28829 28831 27791 0 -1 4202560 2391 0 0 0 0 24 0 0 20 0 17 0 630948290 196182016 33440 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28831/tid=28843] ppid=28829 vsize=191584 CPUtime=0.24
/proc/28831/task/28843/stat : 28843 (satake) R 28829 28831 27791 0 -1 4202560 3033 0 0 0 0 24 0 0 20 0 17 0 630948290 196182016 33440 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28831/tid=28844] ppid=28829 vsize=191584 CPUtime=0.24
/proc/28831/task/28844/stat : 28844 (satake) R 28829 28831 27791 0 -1 4202560 2284 0 0 0 0 24 0 0 20 0 17 0 630948290 196182016 33440 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=28831/tid=28845] ppid=28829 vsize=191584 CPUtime=0.22
/proc/28831/task/28845/stat : 28845 (satake) R 28829 28831 27791 0 -1 4202560 2689 0 0 0 0 22 0 0 20 0 17 0 630948290 196182016 33440 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28831/tid=28846] ppid=28829 vsize=191584 CPUtime=0.12
/proc/28831/task/28846/stat : 28846 (satake) R 28829 28831 27791 0 -1 4202560 1276 0 0 0 2 10 0 0 20 0 17 0 630948290 196182016 33440 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28831/tid=28847] ppid=28829 vsize=191584 CPUtime=0.24
/proc/28831/task/28847/stat : 28847 (satake) R 28829 28831 27791 0 -1 4202560 3120 0 0 0 0 24 0 0 20 0 17 0 630948291 196182016 33443 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 191584

[startup+0.70217 s]
/proc/loadavg: 13.82 11.83 10.41 2/184 28831
/proc/meminfo: memFree=19137576/36427776 swapFree=3652/8384
[pid=28831] ppid=28829 vsize=211216 CPUtime=6.27
/proc/28831/stat : 28831 (satake) S 28829 28831 27791 0 -1 4202496 44482 0 0 0 9 618 0 0 20 0 17 0 630948289 216285184 44438 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28831/statm: 52804 44441 63 164 0 52639 0
[pid=28831/tid=28832] ppid=28829 vsize=211216 CPUtime=0
/proc/28831/task/28832/stat : 28832 (satake) S 28829 28831 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 630948290 216285184 44446 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=28831/tid=28833] ppid=28829 vsize=211216 CPUtime=0.5
/proc/28831/task/28833/stat : 28833 (satake) R 28829 28831 27791 0 -1 4202560 3302 0 0 0 0 50 0 0 20 0 17 0 630948290 216285184 44446 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28831/tid=28834] ppid=28829 vsize=211216 CPUtime=0.3
/proc/28831/task/28834/stat : 28834 (satake) D 28829 28831 27791 0 -1 4202560 1980 0 0 0 0 30 0 0 20 0 17 0 630948290 216285184 44446 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28831/tid=28835] ppid=28829 vsize=211216 CPUtime=0.3
/proc/28831/task/28835/stat : 28835 (satake) D 28829 28831 27791 0 -1 4202560 2416 0 0 0 0 30 0 0 20 0 17 0 630948290 216285184 44446 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28831/tid=28836] ppid=28829 vsize=211216 CPUtime=0.5
/proc/28831/task/28836/stat : 28836 (satake) D 28829 28831 27791 0 -1 4202560 3783 0 0 0 0 50 0 0 20 0 17 0 630948290 216285184 44446 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28831/tid=28837] ppid=28829 vsize=211216 CPUtime=0.4
/proc/28831/task/28837/stat : 28837 (satake) D 28829 28831 27791 0 -1 4202560 2252 0 0 0 0 40 0 0 20 0 17 0 630948290 216285184 44447 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28831/tid=28838] ppid=28829 vsize=211216 CPUtime=0.36
/proc/28831/task/28838/stat : 28838 (satake) R 28829 28831 27791 0 -1 4202560 2192 0 0 0 0 36 0 0 20 0 17 0 630948290 216285184 44447 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=28831/tid=28839] ppid=28829 vsize=211216 CPUtime=0.46
/proc/28831/task/28839/stat : 28839 (satake) D 28829 28831 27791 0 -1 4202560 3664 0 0 0 0 46 0 0 20 0 17 0 630948290 216285184 44447 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28831/tid=28840] ppid=28829 vsize=211216 CPUtime=0.24
/proc/28831/task/28840/stat : 28840 (satake) R 28829 28831 27791 0 -1 4202560 1985 0 0 0 0 24 0 0 20 0 17 0 630948290 216285184 44448 18446744073709551615 134512640 135180984 4290298480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28831/tid=28841] ppid=28829 vsize=211216 CPUtime=0.5

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

deleting IPC queue 119996494
deleting IPC queue 120029263
deleting IPC queue 120062032
deleting IPC queue 120094801
deleting IPC queue 120127570
deleting IPC queue 120160339
deleting IPC queue 120193108
deleting IPC queue 120225877
deleting IPC queue 120258646
deleting IPC queue 120291415
deleting IPC queue 120324184
deleting IPC queue 120356953
deleting IPC queue 120389722
deleting IPC queue 120422491
deleting IPC queue 120455260
deleting IPC queue 120488029
deleting IPC queue 120520798
deleting IPC queue 120553567
deleting IPC queue 120586336
deleting IPC queue 120619105
deleting IPC queue 120651874
deleting IPC queue 120684643
deleting IPC queue 120717412
deleting IPC queue 120750181
deleting IPC queue 120782950
deleting IPC queue 120815719
deleting IPC queue 120848488
deleting IPC queue 120881257
deleting IPC queue 120914026
deleting IPC queue 120946795
deleting IPC queue 120979564
deleting IPC queue 121012333
deleting IPC queue 121045102
deleting IPC queue 121077871
deleting IPC queue 121110640
deleting IPC queue 121143409
deleting IPC queue 121176178
deleting IPC queue 121208947
deleting IPC queue 121241716
deleting IPC queue 121274485
deleting IPC queue 121307254
deleting IPC queue 121340023
deleting IPC queue 121372792
deleting IPC queue 121405561
deleting IPC queue 121438330
deleting IPC queue 121471099
deleting IPC queue 121503868
deleting IPC queue 121536637
deleting IPC queue 121569406
deleting IPC queue 121602175
deleting IPC queue 121634944
deleting IPC queue 121667713
deleting IPC queue 121700482
deleting IPC queue 121733251
deleting IPC queue 121766020
deleting IPC queue 121798789
deleting IPC queue 121831558
deleting IPC queue 121864327
deleting IPC queue 121897096
deleting IPC queue 121929865
deleting IPC queue 121962634
deleting IPC queue 121995403
deleting IPC queue 122028172
deleting IPC queue 122060941
deleting IPC queue 122093710
deleting IPC queue 122126479
deleting IPC queue 122159248
deleting IPC queue 122192017
deleting IPC queue 122224786
deleting IPC queue 122257555
deleting IPC queue 122290324
deleting IPC queue 122323093
deleting IPC queue 122355862
deleting IPC queue 122388631
deleting IPC queue 122421400
deleting IPC queue 122454169
deleting IPC queue 122486938
deleting IPC queue 122519707
deleting IPC queue 122552476
deleting IPC queue 122585245
deleting IPC queue 122618014
deleting IPC queue 122650783
deleting IPC queue 122683552
deleting IPC queue 122716321
deleting IPC queue 122749090
deleting IPC queue 122781859
deleting IPC queue 122814628
deleting IPC queue 122847397
deleting IPC queue 122880166
deleting IPC queue 122912935
deleting IPC queue 122945704
deleting IPC queue 122978473
deleting IPC queue 123011242
deleting IPC queue 123044011
deleting IPC queue 123076780
deleting IPC queue 123109549
deleting IPC queue 123142318
deleting IPC queue 123175087
deleting IPC queue 123207856
deleting IPC queue 123240625
deleting IPC queue 123273394
deleting IPC queue 123306163
deleting IPC queue 123338932
deleting IPC queue 123371701
deleting IPC queue 123404470
deleting IPC queue 123437239
deleting IPC queue 123470008
deleting IPC queue 123502777
deleting IPC queue 123535546
deleting IPC queue 123568315
deleting IPC queue 123601084
deleting IPC queue 123633853
deleting IPC queue 123666622
deleting IPC queue 123699391
deleting IPC queue 123732160
deleting IPC queue 123764929
deleting IPC queue 123797698
deleting IPC queue 123830467
deleting IPC queue 123863236
deleting IPC queue 123896005
deleting IPC queue 123928774
deleting IPC queue 123961543
deleting IPC queue 123994312
deleting IPC queue 124027081
deleting IPC queue 124059850
deleting IPC queue 124092619
deleting IPC queue 124125388
deleting IPC queue 124158157
deleting IPC queue 124190926
deleting IPC queue 124223695
deleting IPC queue 124256464
deleting IPC queue 124289233
deleting IPC queue 124322002
deleting IPC queue 124354771
deleting IPC queue 124387540
deleting IPC queue 124420309
deleting IPC queue 124453078
deleting IPC queue 124485847
deleting IPC queue 124518616
deleting IPC queue 124551385
deleting IPC queue 124584154
deleting IPC queue 124616923
deleting IPC queue 124649692
deleting IPC queue 124682461
deleting IPC queue 124715230
deleting IPC queue 124747999
deleting IPC queue 124780768
deleting IPC queue 124813537
deleting IPC queue 124846306
deleting IPC queue 124879075
deleting IPC queue 124911844
deleting IPC queue 124944613
deleting IPC queue 124977382
deleting IPC queue 125010151
deleting IPC queue 125042920
deleting IPC queue 125075689
deleting IPC queue 125108458
deleting IPC queue 125141227
deleting IPC queue 125173996
deleting IPC queue 125206765
deleting IPC queue 125239534
deleting IPC queue 125272303
deleting IPC queue 125305072
deleting IPC queue 125337841
deleting IPC queue 125370610
deleting IPC queue 125403379
deleting IPC queue 125436148
deleting IPC queue 125468917
deleting IPC queue 125501686
deleting IPC queue 125534455
deleting IPC queue 125567224
deleting IPC queue 125599993
deleting IPC queue 125632762
deleting IPC queue 125665531
deleting IPC queue 125698300
deleting IPC queue 125731069
deleting IPC queue 125763838
deleting IPC queue 125796607

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1912.81
system time used= 737.486
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244171
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= 62936912
involuntary context switches= 3146257

runsolver used 4.49228 second user time and 11.1887 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 12:33:39
IDJOB=1775712
IDBENCH=20374
IDSOLVER=631
FILE ID=xenhost3-49/1775712-1244716419
PBS_JOBID=
Free space on /tmp= 7029 MiB

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

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

MD5SUM BENCH= c716daea92d5e29b94f85a19b52859ac
RANDOM SEED= 993604235

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:      19137576 kB
Buffers:        431984 kB
Cached:       14111880 kB
SwapCached:          0 kB
Active:        4076936 kB
Inactive:     10474664 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           12648 kB
Writeback:           0 kB
AnonPages:        8384 kB
Mapped:           3652 kB
Slab:           687428 kB
SReclaimable:   660676 kB
SUnreclaim:      26752 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= 7029 MiB
End job on xenhost3-49 at 2009-06-11 12:50:21