Trace number 1775682

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) 6775.51 1000.19

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
MD5SUM1f049803198bb32ab05476465773cc39
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 variables246502
Number of clauses1169243
Sum of the clauses size2711964
Maximum clause length10
Minimum clause length1
Number of clauses of size 120518
Number of clauses of size 2893029
Number of clauses of size 3209596
Number of clauses of size 45120
Number of clauses of size 520480
Number of clauses of size over 520500

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-1775682-1244715104/watcher-1775682-1244715104 -o /tmp/evaluation-result-1775682-1244715104/solver-1775682-1244715104 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775682-1244715104.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.29 12.24 11.27 2/184 28698
/proc/meminfo: memFree=19127560/36427776 swapFree=4128/6788
[pid=28698] ppid=28696 vsize=8096 CPUtime=0
/proc/28698/stat : 28698 (satake) D 28696 28698 27791 0 -1 4202496 398 0 0 0 0 0 0 0 20 0 16 0 630816882 8290304 355 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/28698/statm: 2024 360 63 164 0 1859 0
[pid=28698/tid=28699] ppid=28696 vsize=8096 CPUtime=0
/proc/28698/task/28699/stat : 28699 (satake) S 28696 28698 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 16 0 630816883 8290304 361 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=28698/tid=28700] ppid=28696 vsize=8096 CPUtime=0
/proc/28698/task/28700/stat : 28700 (satake) D 28696 28698 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 16 0 630816883 8290304 361 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28698/tid=28701] ppid=28696 vsize=8096 CPUtime=0
/proc/28698/task/28701/stat : 28701 (satake) R 28696 28698 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 16 0 630816883 8290304 361 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28698/tid=28702] ppid=28696 vsize=8096 CPUtime=0
/proc/28698/task/28702/stat : 28702 (satake) D 28696 28698 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 16 0 630816883 8290304 363 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28698/tid=28703] ppid=28696 vsize=8096 CPUtime=0
/proc/28698/task/28703/stat : 28703 (satake) D 28696 28698 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 16 0 630816883 8290304 363 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28698/tid=28704] ppid=28696 vsize=8096 CPUtime=0
/proc/28698/task/28704/stat : 28704 (satake) S 28696 28698 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 630816883 8290304 364 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=28698/tid=28705] ppid=28696 vsize=8096 CPUtime=0
/proc/28698/task/28705/stat : 28705 (satake) S 28696 28698 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 630816883 8290304 368 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=28698/tid=28706] ppid=28696 vsize=8096 CPUtime=0
/proc/28698/task/28706/stat : 28706 (satake) D 28696 28698 27791 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 16 0 630816883 8290304 369 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28698/tid=28707] ppid=28696 vsize=8096 CPUtime=0
/proc/28698/task/28707/stat : 28707 (satake) D 28696 28698 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 16 0 630816883 8290304 370 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28698/tid=28708] ppid=28696 vsize=8096 CPUtime=0
/proc/28698/task/28708/stat : 28708 (satake) R 28696 28698 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 16 0 630816883 8290304 371 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28698/tid=28709] ppid=28696 vsize=8096 CPUtime=0
/proc/28698/task/28709/stat : 28709 (satake) D 28696 28698 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 16 0 630816883 8290304 372 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28698/tid=28710] ppid=28696 vsize=8096 CPUtime=0
/proc/28698/task/28710/stat : 28710 (satake) R 28696 28698 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 16 0 630816883 8290304 372 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28698/tid=28711] ppid=28696 vsize=8096 CPUtime=0
/proc/28698/task/28711/stat : 28711 (satake) R 28696 28698 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 16 0 630816883 8290304 372 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28698/tid=28712] ppid=28696 vsize=8096 CPUtime=0
/proc/28698/task/28712/stat : 28712 (satake) R 28696 28698 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 630816883 8290304 373 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28698/tid=28713] ppid=28696 vsize=8096 CPUtime=0
/proc/28698/task/28713/stat : 28713 (satake) R 28696 28698 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 630816884 8290304 373 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28698/tid=28714] ppid=28696 vsize=8096 CPUtime=0
/proc/28698/task/28714/stat : 28714 (satake) R 28696 28698 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 630816884 8290304 373 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134705812 0 0 1 0 0 0 0 -1 5 0 0 0 0 0

[startup+0.05436 s]
/proc/loadavg: 13.29 12.24 11.27 2/184 28698
/proc/meminfo: memFree=19127560/36427776 swapFree=4128/6788
[pid=28698] ppid=28696 vsize=27544 CPUtime=0.26
/proc/28698/stat : 28698 (satake) S 28696 28698 27791 0 -1 4202496 4011 0 0 0 0 26 0 0 20 0 17 0 630816882 28205056 3951 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/28698/statm: 6886 3951 63 164 0 6721 0
[pid=28698/tid=28699] ppid=28696 vsize=27544 CPUtime=0
/proc/28698/task/28699/stat : 28699 (satake) S 28696 28698 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 630816883 28205056 3951 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=28698/tid=28700] ppid=28696 vsize=28568 CPUtime=0.02
/proc/28698/task/28700/stat : 28700 (satake) D 28696 28698 27791 0 -1 4202560 416 0 0 0 0 2 0 0 20 0 17 0 630816883 29253632 3951 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28698/tid=28701] ppid=28696 vsize=28568 CPUtime=0.02
/proc/28698/task/28701/stat : 28701 (satake) R 28696 28698 27791 0 -1 4202560 274 0 0 0 0 2 0 0 20 0 17 0 630816883 29253632 3952 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28698/tid=28702] ppid=28696 vsize=28568 CPUtime=0.02
/proc/28698/task/28702/stat : 28702 (satake) D 28696 28698 27791 0 -1 4202560 382 0 0 0 0 2 0 0 20 0 17 0 630816883 29253632 3957 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28698/tid=28703] ppid=28696 vsize=28568 CPUtime=0.02
/proc/28698/task/28703/stat : 28703 (satake) R 28696 28698 27791 0 -1 4202560 400 0 0 0 0 2 0 0 20 0 17 0 630816883 29253632 3960 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28698/tid=28704] ppid=28696 vsize=28568 CPUtime=0
/proc/28698/task/28704/stat : 28704 (satake) R 28696 28698 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 17 0 630816883 29253632 3960 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28698/tid=28705] ppid=28696 vsize=28568 CPUtime=0.02
/proc/28698/task/28705/stat : 28705 (satake) R 28696 28698 27791 0 -1 4202560 275 0 0 0 0 2 0 0 20 0 17 0 630816883 29253632 3960 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28698/tid=28706] ppid=28696 vsize=28568 CPUtime=0.02
/proc/28698/task/28706/stat : 28706 (satake) R 28696 28698 27791 0 -1 4202560 383 0 0 0 0 2 0 0 20 0 17 0 630816883 29253632 3960 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28698/tid=28707] ppid=28696 vsize=28568 CPUtime=0
/proc/28698/task/28707/stat : 28707 (satake) R 28696 28698 27791 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 17 0 630816883 29253632 3961 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28698/tid=28708] ppid=28696 vsize=28568 CPUtime=0.02
/proc/28698/task/28708/stat : 28708 (satake) R 28696 28698 27791 0 -1 4202560 283 0 0 0 0 2 0 0 20 0 17 0 630816883 29253632 3964 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28698/tid=28709] ppid=28696 vsize=28568 CPUtime=0
/proc/28698/task/28709/stat : 28709 (satake) R 28696 28698 27791 0 -1 4202560 119 0 0 0 0 0 0 0 20 0 17 0 630816883 29253632 3965 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28698/tid=28710] ppid=28696 vsize=28568 CPUtime=0.02
/proc/28698/task/28710/stat : 28710 (satake) R 28696 28698 27791 0 -1 4202560 355 0 0 0 0 2 0 0 20 0 17 0 630816883 29253632 3967 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28698/tid=28711] ppid=28696 vsize=28568 CPUtime=0
/proc/28698/task/28711/stat : 28711 (satake) R 28696 28698 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 630816883 29253632 3968 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28698/tid=28712] ppid=28696 vsize=28568 CPUtime=0.02
/proc/28698/task/28712/stat : 28712 (satake) R 28696 28698 27791 0 -1 4202560 336 0 0 0 0 2 0 0 20 0 17 0 630816883 29253632 3982 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28698/tid=28713] ppid=28696 vsize=28568 CPUtime=0
/proc/28698/task/28713/stat : 28713 (satake) R 28696 28698 27791 0 -1 4202560 114 0 0 0 0 0 0 0 20 0 17 0 630816884 29253632 3993 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28698/tid=28714] ppid=28696 vsize=28568 CPUtime=0.02
/proc/28698/task/28714/stat : 28714 (satake) R 28696 28698 27791 0 -1 4202560 402 0 0 0 0 2 0 0 20 0 17 0 630816884 29253632 4007 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 27544

[startup+0.102421 s]
/proc/loadavg: 13.29 12.24 11.27 2/184 28698
/proc/meminfo: memFree=19127560/36427776 swapFree=4128/6788
[pid=28698] ppid=28696 vsize=69400 CPUtime=0.65
/proc/28698/stat : 28698 (satake) S 28696 28698 27791 0 -1 4202496 11336 0 0 0 0 65 0 0 20 0 17 0 630816882 71065600 11277 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/28698/statm: 17350 11281 63 164 0 17185 0
[pid=28698/tid=28699] ppid=28696 vsize=69400 CPUtime=0
/proc/28698/task/28699/stat : 28699 (satake) S 28696 28698 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 630816883 71065600 11283 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=28698/tid=28700] ppid=28696 vsize=69400 CPUtime=0.06
/proc/28698/task/28700/stat : 28700 (satake) R 28696 28698 27791 0 -1 4202560 1263 0 0 0 0 6 0 0 20 0 17 0 630816883 71065600 11295 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28698/tid=28701] ppid=28696 vsize=69400 CPUtime=0.06
/proc/28698/task/28701/stat : 28701 (satake) R 28696 28698 27791 0 -1 4202560 915 0 0 0 0 6 0 0 20 0 17 0 630816883 71065600 11308 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28698/tid=28702] ppid=28696 vsize=69400 CPUtime=0.06
/proc/28698/task/28702/stat : 28702 (satake) R 28696 28698 27791 0 -1 4202560 1080 0 0 0 0 6 0 0 20 0 17 0 630816883 71065600 11322 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28698/tid=28703] ppid=28696 vsize=69400 CPUtime=0.04
/proc/28698/task/28703/stat : 28703 (satake) R 28696 28698 27791 0 -1 4202560 807 0 0 0 0 4 0 0 20 0 17 0 630816883 71065600 11345 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28698/tid=28704] ppid=28696 vsize=69400 CPUtime=0
/proc/28698/task/28704/stat : 28704 (satake) R 28696 28698 27791 0 -1 4202560 91 0 0 0 0 0 0 0 20 0 17 0 630816883 71065600 11362 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28698/tid=28705] ppid=28696 vsize=69400 CPUtime=0.04
/proc/28698/task/28705/stat : 28705 (satake) R 28696 28698 27791 0 -1 4202560 762 0 0 0 0 4 0 0 20 0 17 0 630816883 71065600 11384 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28698/tid=28706] ppid=28696 vsize=69400 CPUtime=0.06
/proc/28698/task/28706/stat : 28706 (satake) R 28696 28698 27791 0 -1 4202560 1024 0 0 0 0 6 0 0 20 0 17 0 630816883 71065600 11405 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28698/tid=28707] ppid=28696 vsize=69400 CPUtime=0.02
/proc/28698/task/28707/stat : 28707 (satake) R 28696 28698 27791 0 -1 4202560 474 0 0 0 0 2 0 0 20 0 17 0 630816883 71065600 11432 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28698/tid=28708] ppid=28696 vsize=69400 CPUtime=0.04
/proc/28698/task/28708/stat : 28708 (satake) R 28696 28698 27791 0 -1 4202560 781 0 0 0 0 4 0 0 20 0 17 0 630816883 71065600 11445 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28698/tid=28709] ppid=28696 vsize=69400 CPUtime=0.02
/proc/28698/task/28709/stat : 28709 (satake) R 28696 28698 27791 0 -1 4202560 344 0 0 0 0 2 0 0 20 0 17 0 630816883 71065600 11463 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28698/tid=28710] ppid=28696 vsize=69400 CPUtime=0.04
/proc/28698/task/28710/stat : 28710 (satake) R 28696 28698 27791 0 -1 4202560 801 0 0 0 0 4 0 0 20 0 17 0 630816883 71065600 11476 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28698/tid=28711] ppid=28696 vsize=69400 CPUtime=0.02
/proc/28698/task/28711/stat : 28711 (satake) R 28696 28698 27791 0 -1 4202560 491 0 0 0 0 2 0 0 20 0 17 0 630816883 71065600 11496 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28698/tid=28712] ppid=28696 vsize=69400 CPUtime=0.06
/proc/28698/task/28712/stat : 28712 (satake) R 28696 28698 27791 0 -1 4202560 982 0 0 0 0 6 0 0 20 0 17 0 630816883 71065600 11512 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28698/tid=28713] ppid=28696 vsize=69400 CPUtime=0.02
/proc/28698/task/28713/stat : 28713 (satake) R 28696 28698 27791 0 -1 4202560 297 0 0 0 0 2 0 0 20 0 17 0 630816884 71065600 11533 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28698/tid=28714] ppid=28696 vsize=69400 CPUtime=0.06
/proc/28698/task/28714/stat : 28714 (satake) R 28696 28698 27791 0 -1 4202560 1237 0 0 0 0 6 0 0 20 0 17 0 630816884 71065600 11553 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 69400

[startup+0.306465 s]
/proc/loadavg: 13.29 12.24 11.27 2/184 28698
/proc/meminfo: memFree=19127560/36427776 swapFree=4128/6788
[pid=28698] ppid=28696 vsize=287624 CPUtime=2.28
/proc/28698/stat : 28698 (satake) S 28696 28698 27791 0 -1 4202496 50457 0 0 0 0 228 0 0 20 0 17 0 630816882 294526976 50397 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/28698/statm: 71906 50402 63 164 0 71741 0
[pid=28698/tid=28699] ppid=28696 vsize=287624 CPUtime=0
/proc/28698/task/28699/stat : 28699 (satake) S 28696 28698 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 630816883 294526976 50403 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=28698/tid=28700] ppid=28696 vsize=287624 CPUtime=0.22
/proc/28698/task/28700/stat : 28700 (satake) R 28696 28698 27791 0 -1 4202560 5431 0 0 0 0 22 0 0 20 0 17 0 630816883 294526976 50404 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28698/tid=28701] ppid=28696 vsize=287624 CPUtime=0.22
/proc/28698/task/28701/stat : 28701 (satake) R 28696 28698 27791 0 -1 4202560 4345 0 0 0 0 22 0 0 20 0 17 0 630816883 294526976 50405 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28698/tid=28702] ppid=28696 vsize=287624 CPUtime=0.16
/proc/28698/task/28702/stat : 28702 (satake) R 28696 28698 27791 0 -1 4202560 3088 0 0 0 0 16 0 0 20 0 17 0 630816883 294526976 50405 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28698/tid=28703] ppid=28696 vsize=287624 CPUtime=0.14
/proc/28698/task/28703/stat : 28703 (satake) R 28696 28698 27791 0 -1 4202560 3417 0 0 0 0 14 0 0 20 0 17 0 630816883 294526976 50405 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28698/tid=28704] ppid=28696 vsize=287624 CPUtime=0.12
/proc/28698/task/28704/stat : 28704 (satake) R 28696 28698 27791 0 -1 4202560 2981 0 0 0 0 12 0 0 20 0 17 0 630816883 294526976 50405 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=28698/tid=28705] ppid=28696 vsize=287624 CPUtime=0.12
/proc/28698/task/28705/stat : 28705 (satake) R 28696 28698 27791 0 -1 4202560 2625 0 0 0 0 12 0 0 20 0 17 0 630816883 294526976 50408 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28698/tid=28706] ppid=28696 vsize=287624 CPUtime=0.22
/proc/28698/task/28706/stat : 28706 (satake) R 28696 28698 27791 0 -1 4202560 4139 0 0 0 0 22 0 0 20 0 17 0 630816883 294526976 50410 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28698/tid=28707] ppid=28696 vsize=287624 CPUtime=0.08
/proc/28698/task/28707/stat : 28707 (satake) R 28696 28698 27791 0 -1 4202560 2267 0 0 0 0 8 0 0 20 0 17 0 630816883 294526976 50411 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28698/tid=28708] ppid=28696 vsize=287624 CPUtime=0.14
/proc/28698/task/28708/stat : 28708 (satake) R 28696 28698 27791 0 -1 4202560 2925 0 0 0 0 14 0 0 20 0 17 0 630816883 294526976 50412 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28698/tid=28709] ppid=28696 vsize=287624 CPUtime=0.08
/proc/28698/task/28709/stat : 28709 (satake) R 28696 28698 27791 0 -1 4202560 1954 0 0 0 0 8 0 0 20 0 17 0 630816883 294526976 50413 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28698/tid=28710] ppid=28696 vsize=287624 CPUtime=0.14
/proc/28698/task/28710/stat : 28710 (satake) R 28696 28698 27791 0 -1 4202560 4033 0 0 0 0 14 0 0 20 0 17 0 630816883 294526976 50415 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28698/tid=28711] ppid=28696 vsize=287624 CPUtime=0.06
/proc/28698/task/28711/stat : 28711 (satake) R 28696 28698 27791 0 -1 4202560 1856 0 0 0 0 6 0 0 20 0 17 0 630816883 294526976 50429 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28698/tid=28712] ppid=28696 vsize=287624 CPUtime=0.22
/proc/28698/task/28712/stat : 28712 (satake) R 28696 28698 27791 0 -1 4202560 4328 0 0 0 0 22 0 0 20 0 17 0 630816883 294526976 50449 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28698/tid=28713] ppid=28696 vsize=287624 CPUtime=0.08
/proc/28698/task/28713/stat : 28713 (satake) R 28696 28698 27791 0 -1 4202560 1614 0 0 0 0 8 0 0 20 0 17 0 630816884 294526976 50465 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28698/tid=28714] ppid=28696 vsize=287624 CPUtime=0.2
/proc/28698/task/28714/stat : 28714 (satake) R 28696 28698 27791 0 -1 4202560 5338 0 0 0 0 20 0 0 20 0 17 0 630816884 294526976 50488 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 287624

[startup+0.70567 s]
/proc/loadavg: 13.29 12.24 11.27 2/184 28698
/proc/meminfo: memFree=19127560/36427776 swapFree=4128/6788
[pid=28698] ppid=28696 vsize=377764 CPUtime=5.27
/proc/28698/stat : 28698 (satake) S 28696 28698 27791 0 -1 4202496 72867 0 0 0 6 521 0 0 20 0 17 0 630816882 386830336 72807 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/28698/statm: 94441 72818 63 164 0 94276 0
[pid=28698/tid=28699] ppid=28696 vsize=377764 CPUtime=0
/proc/28698/task/28699/stat : 28699 (satake) S 28696 28698 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 630816883 386830336 72819 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=28698/tid=28700] ppid=28696 vsize=377764 CPUtime=0.48
/proc/28698/task/28700/stat : 28700 (satake) R 28696 28698 27791 0 -1 4202560 6635 0 0 0 0 48 0 0 20 0 17 0 630816883 386830336 72819 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28698/tid=28701] ppid=28696 vsize=377764 CPUtime=0.48
/proc/28698/task/28701/stat : 28701 (satake) R 28696 28698 27791 0 -1 4202560 5931 0 0 0 0 48 0 0 20 0 17 0 630816883 386830336 72824 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28698/tid=28702] ppid=28696 vsize=377764 CPUtime=0.42
/proc/28698/task/28702/stat : 28702 (satake) R 28696 28698 27791 0 -1 4202560 5232 0 0 0 0 42 0 0 20 0 17 0 630816883 386830336 72824 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28698/tid=28703] ppid=28696 vsize=377764 CPUtime=0.28
/proc/28698/task/28703/stat : 28703 (satake) D 28696 28698 27791 0 -1 4202560 4651 0 0 0 0 28 0 0 20 0 17 0 630816883 386830336 72825 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28698/tid=28704] ppid=28696 vsize=377764 CPUtime=0.38
/proc/28698/task/28704/stat : 28704 (satake) R 28696 28698 27791 0 -1 4202560 5073 0 0 0 0 38 0 0 20 0 17 0 630816883 386830336 72825 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=28698/tid=28705] ppid=28696 vsize=377764 CPUtime=0.28
/proc/28698/task/28705/stat : 28705 (satake) D 28696 28698 27791 0 -1 4202560 4025 0 0 0 0 28 0 0 20 0 17 0 630816883 386830336 72825 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28698/tid=28706] ppid=28696 vsize=377764 CPUtime=0.44
/proc/28698/task/28706/stat : 28706 (satake) R 28696 28698 27791 0 -1 4202560 5908 0 0 0 0 44 0 0 20 0 17 0 630816883 386830336 72826 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28698/tid=28707] ppid=28696 vsize=377764 CPUtime=0.24
/proc/28698/task/28707/stat : 28707 (satake) R 28696 28698 27791 0 -1 4202560 3668 0 0 0 0 24 0 0 20 0 17 0 630816883 386830336 72826 18446744073709551615 134512640 135180984 4293854672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28698/tid=28708] ppid=28696 vsize=377764 CPUtime=0.28

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

deleting IPC queue 103219278
deleting IPC queue 103252047
deleting IPC queue 103284816
deleting IPC queue 103317585
deleting IPC queue 103350354
deleting IPC queue 103383123
deleting IPC queue 103415892
deleting IPC queue 103448661
deleting IPC queue 103481430
deleting IPC queue 103514199
deleting IPC queue 103546968
deleting IPC queue 103579737
deleting IPC queue 103612506
deleting IPC queue 103645275
deleting IPC queue 103678044
deleting IPC queue 103710813
deleting IPC queue 103743582
deleting IPC queue 103776351
deleting IPC queue 103809120
deleting IPC queue 103841889
deleting IPC queue 103874658
deleting IPC queue 103907427
deleting IPC queue 103940196
deleting IPC queue 103972965
deleting IPC queue 104005734
deleting IPC queue 104038503
deleting IPC queue 104071272
deleting IPC queue 104104041
deleting IPC queue 104136810
deleting IPC queue 104169579
deleting IPC queue 104202348
deleting IPC queue 104235117
deleting IPC queue 104267886
deleting IPC queue 104300655
deleting IPC queue 104333424
deleting IPC queue 104366193
deleting IPC queue 104398962
deleting IPC queue 104431731
deleting IPC queue 104464500
deleting IPC queue 104497269
deleting IPC queue 104530038
deleting IPC queue 104562807
deleting IPC queue 104595576
deleting IPC queue 104628345
deleting IPC queue 104661114
deleting IPC queue 104693883
deleting IPC queue 104726652
deleting IPC queue 104759421
deleting IPC queue 104792190
deleting IPC queue 104824959
deleting IPC queue 104857728
deleting IPC queue 104890497
deleting IPC queue 104923266
deleting IPC queue 104956035
deleting IPC queue 104988804
deleting IPC queue 105021573
deleting IPC queue 105054342
deleting IPC queue 105087111
deleting IPC queue 105119880
deleting IPC queue 105152649
deleting IPC queue 105185418
deleting IPC queue 105218187
deleting IPC queue 105250956
deleting IPC queue 105283725
deleting IPC queue 105316494
deleting IPC queue 105349263
deleting IPC queue 105382032
deleting IPC queue 105414801
deleting IPC queue 105447570
deleting IPC queue 105480339
deleting IPC queue 105513108
deleting IPC queue 105545877
deleting IPC queue 105578646
deleting IPC queue 105611415
deleting IPC queue 105644184
deleting IPC queue 105676953
deleting IPC queue 105709722
deleting IPC queue 105742491
deleting IPC queue 105775260
deleting IPC queue 105808029
deleting IPC queue 105840798
deleting IPC queue 105873567
deleting IPC queue 105906336
deleting IPC queue 105939105
deleting IPC queue 105971874
deleting IPC queue 106004643
deleting IPC queue 106037412
deleting IPC queue 106070181
deleting IPC queue 106102950
deleting IPC queue 106135719
deleting IPC queue 106168488
deleting IPC queue 106201257
deleting IPC queue 106234026
deleting IPC queue 106266795
deleting IPC queue 106299564
deleting IPC queue 106332333
deleting IPC queue 106365102
deleting IPC queue 106397871
deleting IPC queue 106430640
deleting IPC queue 106463409
deleting IPC queue 106496178
deleting IPC queue 106528947
deleting IPC queue 106561716
deleting IPC queue 106594485
deleting IPC queue 106627254
deleting IPC queue 106660023
deleting IPC queue 106692792
deleting IPC queue 106725561
deleting IPC queue 106758330
deleting IPC queue 106791099
deleting IPC queue 106823868
deleting IPC queue 106856637
deleting IPC queue 106889406
deleting IPC queue 106922175
deleting IPC queue 106954944
deleting IPC queue 106987713
deleting IPC queue 107020482
deleting IPC queue 107053251
deleting IPC queue 107086020
deleting IPC queue 107118789
deleting IPC queue 107151558
deleting IPC queue 107184327
deleting IPC queue 107217096
deleting IPC queue 107249865
deleting IPC queue 107282634
deleting IPC queue 107315403
deleting IPC queue 107348172
deleting IPC queue 107380941
deleting IPC queue 107413710
deleting IPC queue 107446479
deleting IPC queue 107479248
deleting IPC queue 107512017
deleting IPC queue 107544786
deleting IPC queue 107577555
deleting IPC queue 107610324
deleting IPC queue 107643093
deleting IPC queue 107675862
deleting IPC queue 107708631
deleting IPC queue 107741400
deleting IPC queue 107774169
deleting IPC queue 107806938
deleting IPC queue 107839707
deleting IPC queue 107872476
deleting IPC queue 107905245
deleting IPC queue 107938014
deleting IPC queue 107970783
deleting IPC queue 108003552
deleting IPC queue 108036321
deleting IPC queue 108069090
deleting IPC queue 108101859
deleting IPC queue 108134628
deleting IPC queue 108167397
deleting IPC queue 108200166
deleting IPC queue 108232935
deleting IPC queue 108265704
deleting IPC queue 108298473
deleting IPC queue 108331242
deleting IPC queue 108364011
deleting IPC queue 108396780
deleting IPC queue 108429549
deleting IPC queue 108462318
deleting IPC queue 108495087
deleting IPC queue 108527856
deleting IPC queue 108560625
deleting IPC queue 108593394
deleting IPC queue 108626163
deleting IPC queue 108658932
deleting IPC queue 108691701
deleting IPC queue 108724470
deleting IPC queue 108757239
deleting IPC queue 108790008
deleting IPC queue 108822777
deleting IPC queue 108855546
deleting IPC queue 108888315
deleting IPC queue 108921084
deleting IPC queue 108953853
deleting IPC queue 108986622
deleting IPC queue 109019391

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6267.44
system time used= 508.068
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 446234
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= 46037610
involuntary context switches= 3935758

runsolver used 4.53228 second user time and 12.1608 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 12:11:44
IDJOB=1775682
IDBENCH=20372
IDSOLVER=631
FILE ID=xenhost3-49/1775682-1244715104
PBS_JOBID=
Free space on /tmp= 7020 MiB

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

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

MD5SUM BENCH= 1f049803198bb32ab05476465773cc39
RANDOM SEED= 273591105

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:      19127560 kB
Buffers:        431964 kB
Cached:       14120884 kB
SwapCached:          0 kB
Active:        4076472 kB
Inactive:     10483924 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           21952 kB
Writeback:           0 kB
AnonPages:        6788 kB
Mapped:           3464 kB
Slab:           687812 kB
SReclaimable:   661092 kB
SUnreclaim:      26720 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7020 MiB
End job on xenhost3-49 at 2009-06-11 12:28:27