Trace number 1780077

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
satake 2009-03-22 (16 threads)? (MO) 1809.23 711.141

General information on the benchmark

NameAPPLICATIONS/c32sat/
post-cbmc-aes-d-r2-noholes.cnf
MD5SUM17bffac3a21734cf7ff7fa9ecba23d9d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark760.5
Satisfiable
(Un)Satisfiability was proved
Number of variables276895
Number of clauses1607567
Sum of the clauses size4321960
Maximum clause length184
Minimum clause length1
Number of clauses of size 140271
Number of clauses of size 21154041
Number of clauses of size 3332345
Number of clauses of size 410685
Number of clauses of size 50
Number of clauses of size over 570225

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-1780077-1244814452/watcher-1780077-1244814452 -o /tmp/evaluation-result-1780077-1244814452/solver-1780077-1244814452 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780077-1244814452.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: 3.75 3.82 3.22 2/184 8133
/proc/meminfo: memFree=19099668/36427776 swapFree=4348/8316
[pid=8133] ppid=8131 vsize=5192 CPUtime=0
/proc/8133/stat : 8133 (satake) R 8131 8133 27791 0 -1 4202496 296 0 0 0 0 0 0 0 20 0 13 0 640751631 5316608 253 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/8133/statm: 1363 253 62 164 0 1198 0
[pid=8133/tid=8134] ppid=8131 vsize=7308 CPUtime=0
/proc/8133/task/8134/stat : 8134 (satake) S 8131 8133 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 14 0 640751631 7483392 274 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=8133/tid=8135] ppid=8131 vsize=7308 CPUtime=0
/proc/8133/task/8135/stat : 8135 (satake) R 8131 8133 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 14 0 640751631 7483392 275 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8133/tid=8136] ppid=8131 vsize=7308 CPUtime=0
/proc/8133/task/8136/stat : 8136 (satake) R 8131 8133 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 14 0 640751631 7483392 279 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8133/tid=8137] ppid=8131 vsize=7308 CPUtime=0
/proc/8133/task/8137/stat : 8137 (satake) R 8131 8133 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 14 0 640751631 7483392 280 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8133/tid=8138] ppid=8131 vsize=7308 CPUtime=0
/proc/8133/task/8138/stat : 8138 (satake) R 8131 8133 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 14 0 640751631 7483392 281 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8133/tid=8139] ppid=8131 vsize=7308 CPUtime=0
/proc/8133/task/8139/stat : 8139 (satake) S 8131 8133 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 14 0 640751632 7483392 281 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=8133/tid=8140] ppid=8131 vsize=7308 CPUtime=0
/proc/8133/task/8140/stat : 8140 (satake) R 8131 8133 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 14 0 640751632 7483392 281 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=8133/tid=8141] ppid=8131 vsize=7308 CPUtime=0
/proc/8133/task/8141/stat : 8141 (satake) D 8131 8133 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 14 0 640751632 7483392 281 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8133/tid=8142] ppid=8131 vsize=7308 CPUtime=0
/proc/8133/task/8142/stat : 8142 (satake) R 8131 8133 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 14 0 640751632 7483392 281 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8133/tid=8143] ppid=8131 vsize=7308 CPUtime=0
/proc/8133/task/8143/stat : 8143 (satake) R 8131 8133 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 14 0 640751632 7483392 281 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8133/tid=8144] ppid=8131 vsize=6676 CPUtime=0
/proc/8133/task/8144/stat : 8144 (satake) D 8131 8133 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 14 0 640751632 6836224 281 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8133/tid=8145] ppid=8131 vsize=6676 CPUtime=0
/proc/8133/task/8145/stat : 8145 (satake) D 8131 8133 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 14 0 640751632 6836224 282 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8133/tid=8146] ppid=8131 vsize=6740 CPUtime=0
/proc/8133/task/8146/stat : 8146 (satake) R 8131 8133 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 14 0 640751632 6901760 282 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.116493 s]
/proc/loadavg: 3.75 3.82 3.22 2/184 8133
/proc/meminfo: memFree=19099668/36427776 swapFree=4348/8316
[pid=8133] ppid=8131 vsize=94424 CPUtime=0.72
/proc/8133/stat : 8133 (satake) S 8131 8133 27791 0 -1 4202496 15549 0 0 0 0 72 0 0 20 0 17 0 640751631 96690176 15495 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/8133/statm: 23606 15554 63 164 0 23441 0
[pid=8133/tid=8134] ppid=8131 vsize=94424 CPUtime=0
/proc/8133/task/8134/stat : 8134 (satake) S 8131 8133 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 640751631 96690176 15571 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=8133/tid=8135] ppid=8131 vsize=94424 CPUtime=0.08
/proc/8133/task/8135/stat : 8135 (satake) R 8131 8133 27791 0 -1 4202560 1609 0 0 0 0 8 0 0 20 0 17 0 640751631 96690176 15597 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8133/tid=8136] ppid=8131 vsize=94424 CPUtime=0.06
/proc/8133/task/8136/stat : 8136 (satake) R 8131 8133 27791 0 -1 4202560 1166 0 0 0 0 6 0 0 20 0 17 0 640751631 96690176 15611 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8133/tid=8137] ppid=8131 vsize=94424 CPUtime=0.02
/proc/8133/task/8137/stat : 8137 (satake) R 8131 8133 27791 0 -1 4202560 427 0 0 0 0 2 0 0 20 0 17 0 640751631 96690176 15632 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8133/tid=8138] ppid=8131 vsize=94424 CPUtime=0.08
/proc/8133/task/8138/stat : 8138 (satake) R 8131 8133 27791 0 -1 4202560 1331 0 0 0 0 8 0 0 20 0 17 0 640751631 96690176 15656 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8133/tid=8139] ppid=8131 vsize=94424 CPUtime=0.06
/proc/8133/task/8139/stat : 8139 (satake) R 8131 8133 27791 0 -1 4202560 1665 0 0 0 0 6 0 0 20 0 17 0 640751632 96690176 15670 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8133/tid=8140] ppid=8131 vsize=94424 CPUtime=0.08
/proc/8133/task/8140/stat : 8140 (satake) D 8131 8133 27791 0 -1 4202560 1460 0 0 0 0 8 0 0 20 0 17 0 640751632 96690176 15692 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=8133/tid=8141] ppid=8131 vsize=94424 CPUtime=0.08
/proc/8133/task/8141/stat : 8141 (satake) D 8131 8133 27791 0 -1 4202560 1451 0 0 0 0 8 0 0 20 0 17 0 640751632 96690176 15693 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8133/tid=8142] ppid=8131 vsize=94424 CPUtime=0.06
/proc/8133/task/8142/stat : 8142 (satake) D 8131 8133 27791 0 -1 4202560 982 0 0 0 0 6 0 0 20 0 17 0 640751632 96690176 15693 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8133/tid=8143] ppid=8131 vsize=94424 CPUtime=0.06
/proc/8133/task/8143/stat : 8143 (satake) D 8131 8133 27791 0 -1 4202560 1814 0 0 0 0 6 0 0 20 0 17 0 640751632 96690176 15693 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8133/tid=8144] ppid=8131 vsize=94424 CPUtime=0.06
/proc/8133/task/8144/stat : 8144 (satake) D 8131 8133 27791 0 -1 4202560 1306 0 0 0 0 6 0 0 20 0 17 0 640751632 96690176 15693 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8133/tid=8145] ppid=8131 vsize=94424 CPUtime=0
/proc/8133/task/8145/stat : 8145 (satake) D 8131 8133 27791 0 -1 4202560 301 0 0 0 0 0 0 0 20 0 17 0 640751632 96690176 15693 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8133/tid=8146] ppid=8131 vsize=94424 CPUtime=0
/proc/8133/task/8146/stat : 8146 (satake) R 8131 8133 27791 0 -1 4202560 274 0 0 0 0 0 0 0 20 0 17 0 640751632 96690176 15693 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 94424

[startup+0.204648 s]
/proc/loadavg: 3.75 3.82 3.22 2/184 8133
/proc/meminfo: memFree=19099668/36427776 swapFree=4348/8316
[pid=8133] ppid=8131 vsize=232664 CPUtime=1.42
/proc/8133/stat : 8133 (satake) S 8131 8133 27791 0 -1 4202496 38627 0 0 0 0 142 0 0 20 0 17 0 640751631 238247936 38568 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/8133/statm: 58166 38568 63 164 0 58001 0
[pid=8133/tid=8134] ppid=8131 vsize=232664 CPUtime=0
/proc/8133/task/8134/stat : 8134 (satake) S 8131 8133 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 640751631 238247936 38568 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=8133/tid=8135] ppid=8131 vsize=232664 CPUtime=0.14
/proc/8133/task/8135/stat : 8135 (satake) D 8131 8133 27791 0 -1 4202560 4271 0 0 0 0 14 0 0 20 0 17 0 640751631 238247936 38568 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8133/tid=8136] ppid=8131 vsize=232664 CPUtime=0.1
/proc/8133/task/8136/stat : 8136 (satake) D 8131 8133 27791 0 -1 4202560 2816 0 0 0 0 10 0 0 20 0 17 0 640751631 238247936 38568 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8133/tid=8137] ppid=8131 vsize=232664 CPUtime=0.04
/proc/8133/task/8137/stat : 8137 (satake) D 8131 8133 27791 0 -1 4202560 955 0 0 0 0 4 0 0 20 0 17 0 640751631 238247936 38568 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8133/tid=8138] ppid=8131 vsize=232664 CPUtime=0.14
/proc/8133/task/8138/stat : 8138 (satake) D 8131 8133 27791 0 -1 4202560 3246 0 0 0 0 14 0 0 20 0 17 0 640751631 238247936 38568 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8133/tid=8139] ppid=8131 vsize=232664 CPUtime=0.1
/proc/8133/task/8139/stat : 8139 (satake) D 8131 8133 27791 0 -1 4202560 2706 0 0 0 0 10 0 0 20 0 17 0 640751632 238247936 38568 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8133/tid=8140] ppid=8131 vsize=232664 CPUtime=0.14
/proc/8133/task/8140/stat : 8140 (satake) R 8131 8133 27791 0 -1 4202560 4115 0 0 0 0 14 0 0 20 0 17 0 640751632 238247936 38568 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=8133/tid=8141] ppid=8131 vsize=232664 CPUtime=0.14
/proc/8133/task/8141/stat : 8141 (satake) D 8131 8133 27791 0 -1 4202560 3422 0 0 0 0 14 0 0 20 0 17 0 640751632 238247936 38568 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8133/tid=8142] ppid=8131 vsize=232664 CPUtime=0.1
/proc/8133/task/8142/stat : 8142 (satake) D 8131 8133 27791 0 -1 4202560 2375 0 0 0 0 10 0 0 20 0 17 0 640751632 238247936 38568 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8133/tid=8143] ppid=8131 vsize=232664 CPUtime=0.14
/proc/8133/task/8143/stat : 8143 (satake) D 8131 8133 27791 0 -1 4202560 4464 0 0 0 0 14 0 0 20 0 17 0 640751632 238247936 38568 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8133/tid=8144] ppid=8131 vsize=232664 CPUtime=0.1
/proc/8133/task/8144/stat : 8144 (satake) D 8131 8133 27791 0 -1 4202560 2663 0 0 0 0 10 0 0 20 0 17 0 640751632 238247936 38568 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8133/tid=8145] ppid=8131 vsize=232664 CPUtime=0.04
/proc/8133/task/8145/stat : 8145 (satake) D 8131 8133 27791 0 -1 4202560 1143 0 0 0 0 4 0 0 20 0 17 0 640751632 238247936 38568 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8133/tid=8146] ppid=8131 vsize=232664 CPUtime=0.04
/proc/8133/task/8146/stat : 8146 (satake) D 8131 8133 27791 0 -1 4202560 1962 0 0 0 0 4 0 0 20 0 17 0 640751632 238247936 38568 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 232664

[startup+0.304538 s]
/proc/loadavg: 3.75 3.82 3.22 2/184 8133
/proc/meminfo: memFree=19099668/36427776 swapFree=4348/8316
[pid=8133] ppid=8131 vsize=351448 CPUtime=2.28
/proc/8133/stat : 8133 (satake) S 8131 8133 27791 0 -1 4202496 70783 0 0 0 0 228 0 0 20 0 17 0 640751631 359882752 70724 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/8133/statm: 87862 70724 63 164 0 87697 0
[pid=8133/tid=8134] ppid=8131 vsize=351448 CPUtime=0
/proc/8133/task/8134/stat : 8134 (satake) S 8131 8133 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 640751631 359882752 70724 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=8133/tid=8135] ppid=8131 vsize=351448 CPUtime=0.22
/proc/8133/task/8135/stat : 8135 (satake) D 8131 8133 27791 0 -1 4202560 8095 0 0 0 0 22 0 0 20 0 17 0 640751631 359882752 70724 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8133/tid=8136] ppid=8131 vsize=351448 CPUtime=0.14
/proc/8133/task/8136/stat : 8136 (satake) D 8131 8133 27791 0 -1 4202560 4000 0 0 0 0 14 0 0 20 0 17 0 640751631 359882752 70724 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8133/tid=8137] ppid=8131 vsize=351448 CPUtime=0.08
/proc/8133/task/8137/stat : 8137 (satake) D 8131 8133 27791 0 -1 4202560 2792 0 0 0 0 8 0 0 20 0 17 0 640751631 359882752 70724 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8133/tid=8138] ppid=8131 vsize=351448 CPUtime=0.22
/proc/8133/task/8138/stat : 8138 (satake) D 8131 8133 27791 0 -1 4202560 5897 0 0 0 0 22 0 0 20 0 17 0 640751631 359882752 70724 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8133/tid=8139] ppid=8131 vsize=351448 CPUtime=0.16
/proc/8133/task/8139/stat : 8139 (satake) D 8131 8133 27791 0 -1 4202560 5329 0 0 0 0 16 0 0 20 0 17 0 640751632 359882752 70724 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8133/tid=8140] ppid=8131 vsize=351448 CPUtime=0.22
/proc/8133/task/8140/stat : 8140 (satake) D 8131 8133 27791 0 -1 4202560 7958 0 0 0 0 22 0 0 20 0 17 0 640751632 359882752 70724 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=8133/tid=8141] ppid=8131 vsize=351448 CPUtime=0.22
/proc/8133/task/8141/stat : 8141 (satake) D 8131 8133 27791 0 -1 4202560 6458 0 0 0 0 22 0 0 20 0 17 0 640751632 359882752 70724 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8133/tid=8142] ppid=8131 vsize=351448 CPUtime=0.12
/proc/8133/task/8142/stat : 8142 (satake) D 8131 8133 27791 0 -1 4202560 3046 0 0 0 0 12 0 0 20 0 17 0 640751632 359882752 70724 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8133/tid=8143] ppid=8131 vsize=351448 CPUtime=0.22
/proc/8133/task/8143/stat : 8143 (satake) R 8131 8133 27791 0 -1 4202560 8211 0 0 0 0 22 0 0 20 0 17 0 640751632 359882752 70724 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8133/tid=8144] ppid=8131 vsize=351448 CPUtime=0.12
/proc/8133/task/8144/stat : 8144 (satake) D 8131 8133 27791 0 -1 4202560 3716 0 0 0 0 12 0 0 20 0 17 0 640751632 359882752 70724 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8133/tid=8145] ppid=8131 vsize=351448 CPUtime=0.08
/proc/8133/task/8145/stat : 8145 (satake) D 8131 8133 27791 0 -1 4202560 2875 0 0 0 0 8 0 0 20 0 17 0 640751632 359882752 70724 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8133/tid=8146] ppid=8131 vsize=351448 CPUtime=0.08
/proc/8133/task/8146/stat : 8146 (satake) D 8131 8133 27791 0 -1 4202560 3170 0 0 0 0 8 0 0 20 0 17 0 640751632 359882752 70724 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 351448

[startup+0.70646 s]
/proc/loadavg: 3.75 3.82 3.22 2/184 8133
/proc/meminfo: memFree=19099668/36427776 swapFree=4348/8316
[pid=8133] ppid=8131 vsize=461324 CPUtime=5.29
/proc/8133/stat : 8133 (satake) S 8131 8133 27791 0 -1 4202496 90912 0 0 0 9 520 0 0 20 0 17 0 640751631 472395776 90853 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/8133/statm: 115331 90859 63 164 0 115166 0
[pid=8133/tid=8134] ppid=8131 vsize=461324 CPUtime=0
/proc/8133/task/8134/stat : 8134 (satake) S 8131 8133 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 640751631 472395776 90860 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=8133/tid=8135] ppid=8131 vsize=461324 CPUtime=0.5
/proc/8133/task/8135/stat : 8135 (satake) R 8131 8133 27791 0 -1 4202560 9188 0 0 0 2 48 0 0 20 0 17 0 640751631 472395776 90860 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8133/tid=8136] ppid=8131 vsize=461324 CPUtime=0.34
/proc/8133/task/8136/stat : 8136 (satake) R 8131 8133 27791 0 -1 4202560 5905 0 0 0 0 34 0 0 20 0 17 0 640751631 472395776 90860 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8133/tid=8137] ppid=8131 vsize=461324 CPUtime=0.34
/proc/8133/task/8137/stat : 8137 (satake) R 8131 8133 27791 0 -1 4202560 4745 0 0 0 0 34 0 0 20 0 17 0 640751631 472395776 90860 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8133/tid=8138] ppid=8131 vsize=461324 CPUtime=0.48
/proc/8133/task/8138/stat : 8138 (satake) R 8131 8133 27791 0 -1 4202560 7873 0 0 0 0 48 0 0 20 0 17 0 640751631 472395776 90860 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8133/tid=8139] ppid=8131 vsize=461324 CPUtime=0.3
/proc/8133/task/8139/stat : 8139 (satake) R 8131 8133 27791 0 -1 4202560 6544 0 0 0 0 30 0 0 20 0 17 0 640751632 472395776 90860 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8133/tid=8140] ppid=8131 vsize=461324 CPUtime=0.5
/proc/8133/task/8140/stat : 8140 (satake) D 8131 8133 27791 0 -1 4202560 8888 0 0 0 2 48 0 0 20 0 17 0 640751632 472395776 90860 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=8133/tid=8141] ppid=8131 vsize=461324 CPUtime=0.48
/proc/8133/task/8141/stat : 8141 (satake) R 8131 8133 27791 0 -1 4202560 8341 0 0 0 0 48 0 0 20 0 17 0 640751632 472395776 90860 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8133/tid=8142] ppid=8131 vsize=461324 CPUtime=0.28
/proc/8133/task/8142/stat : 8142 (satake) D 8131 8133 27791 0 -1 4202560 4427 0 0 0 0 28 0 0 20 0 17 0 640751632 472395776 90862 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8133/tid=8143] ppid=8131 vsize=461324 CPUtime=0.5
/proc/8133/task/8143/stat : 8143 (satake) D 8131 8133 27791 0 -1 4202560 8941 0 0 0 2 48 0 0 20 0 17 0 640751632 472395776 90863 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8133/tid=8144] ppid=8131 vsize=461324 CPUtime=0.28
/proc/8133/task/8144/stat : 8144 (satake) D 8131 8133 27791 0 -1 4202560 4860 0 0 0 0 28 0 0 20 0 17 0 640751632 472395776 90863 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8133/tid=8145] ppid=8131 vsize=461324 CPUtime=0.24
/proc/8133/task/8145/stat : 8145 (satake) D 8131 8133 27791 0 -1 4202560 4101 0 0 0 0 24 0 0 20 0 17 0 640751632 472395776 90868 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8133/tid=8146] ppid=8131 vsize=461324 CPUtime=0.22
/proc/8133/task/8146/stat : 8146 (satake) R 8131 8133 27791 0 -1 4202560 4365 0 0 0 0 22 0 0 20 0 17 0 640751632 472395776 90870 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 461324

[startup+1.50373 s]
/proc/loadavg: 3.75 3.82 3.22 7/201 8150
/proc/meminfo: memFree=18689564/36427776 swapFree=4392/422968
[pid=8133] ppid=8131 vsize=533908 CPUtime=10.49
/proc/8133/stat : 8133 (satake) S 8131 8133 27791 0 -1 4202496 115505 0 0 0 34 1015 0 0 20 0 17 0 640751631 546721792 115446 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/8133/statm: 133477 115447 63 164 0 133312 0
[pid=8133/tid=8134] ppid=8131 vsize=533908 CPUtime=0
/proc/8133/task/8134/stat : 8134 (satake) S 8131 8133 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 640751631 546721792 115447 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=8133/tid=8135] ppid=8131 vsize=533908 CPUtime=0.96
/proc/8133/task/8135/stat : 8135 (satake) D 8131 8133 27791 0 -1 4202560 10131 0 0 0 6 90 0 0 20 0 17 0 640751631 546721792 115447 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8133/tid=8136] ppid=8131 vsize=533908 CPUtime=0.78
/proc/8133/task/8136/stat : 8136 (satake) R 8131 8133 27791 0 -1 4202560 8285 0 0 0 0 78 0 0 20 0 17 0 640751631 546721792 115449 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8133/tid=8137] ppid=8131 vsize=533908 CPUtime=0.76
/proc/8133/task/8137/stat : 8137 (satake) D 8131 8133 27791 0 -1 4202560 7113 0 0 0 0 76 0 0 20 0 17 0 640751631 546721792 115450 18446744073709551615 134512640 135180984 4293811664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0

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

deleting IPC queue 1604780110
deleting IPC queue 1604812879
deleting IPC queue 1604845648
deleting IPC queue 1604878417
deleting IPC queue 1604911186
deleting IPC queue 1604943955
deleting IPC queue 1604976724
deleting IPC queue 1605009493
deleting IPC queue 1605042262
deleting IPC queue 1605075031
deleting IPC queue 1605107800
deleting IPC queue 1605140569
deleting IPC queue 1605173338
deleting IPC queue 1605206107
deleting IPC queue 1605238876
deleting IPC queue 1605271645
deleting IPC queue 1605304414
deleting IPC queue 1605337183
deleting IPC queue 1605369952
deleting IPC queue 1605402721
deleting IPC queue 1605435490
deleting IPC queue 1605468259
deleting IPC queue 1605501028
deleting IPC queue 1605533797
deleting IPC queue 1605566566
deleting IPC queue 1605599335
deleting IPC queue 1605632104
deleting IPC queue 1605664873
deleting IPC queue 1605697642
deleting IPC queue 1605730411
deleting IPC queue 1605763180
deleting IPC queue 1605795949
deleting IPC queue 1605828718
deleting IPC queue 1605861487
deleting IPC queue 1605894256
deleting IPC queue 1605927025
deleting IPC queue 1605959794
deleting IPC queue 1605992563
deleting IPC queue 1606025332
deleting IPC queue 1606058101
deleting IPC queue 1606090870
deleting IPC queue 1606123639
deleting IPC queue 1606156408
deleting IPC queue 1606189177
deleting IPC queue 1606221946
deleting IPC queue 1606254715
deleting IPC queue 1606287484
deleting IPC queue 1606320253
deleting IPC queue 1606353022
deleting IPC queue 1606385791
deleting IPC queue 1606418560
deleting IPC queue 1606451329
deleting IPC queue 1606484098
deleting IPC queue 1606516867
deleting IPC queue 1606549636
deleting IPC queue 1606582405
deleting IPC queue 1606615174
deleting IPC queue 1606647943
deleting IPC queue 1606680712
deleting IPC queue 1606713481
deleting IPC queue 1606746250
deleting IPC queue 1606779019
deleting IPC queue 1606811788
deleting IPC queue 1606844557
deleting IPC queue 1606877326
deleting IPC queue 1606910095
deleting IPC queue 1606942864
deleting IPC queue 1606975633
deleting IPC queue 1607008402
deleting IPC queue 1607041171
deleting IPC queue 1607073940
deleting IPC queue 1607106709
deleting IPC queue 1607139478
deleting IPC queue 1607172247
deleting IPC queue 1607205016
deleting IPC queue 1607237785
deleting IPC queue 1607270554
deleting IPC queue 1607303323
deleting IPC queue 1607336092
deleting IPC queue 1607368861
deleting IPC queue 1607401630
deleting IPC queue 1607434399
deleting IPC queue 1607467168
deleting IPC queue 1607499937
deleting IPC queue 1607532706
deleting IPC queue 1607565475
deleting IPC queue 1607598244
deleting IPC queue 1607631013
deleting IPC queue 1607663782
deleting IPC queue 1607696551
deleting IPC queue 1607729320
deleting IPC queue 1607762089
deleting IPC queue 1607794858
deleting IPC queue 1607827627
deleting IPC queue 1607860396
deleting IPC queue 1607893165
deleting IPC queue 1607925934
deleting IPC queue 1607958703
deleting IPC queue 1607991472
deleting IPC queue 1608024241
deleting IPC queue 1608057010
deleting IPC queue 1608089779
deleting IPC queue 1608122548
deleting IPC queue 1608155317
deleting IPC queue 1608188086
deleting IPC queue 1608220855
deleting IPC queue 1608253624
deleting IPC queue 1608286393
deleting IPC queue 1608319162
deleting IPC queue 1608351931
deleting IPC queue 1608384700
deleting IPC queue 1608417469
deleting IPC queue 1608450238
deleting IPC queue 1608483007
deleting IPC queue 1608515776
deleting IPC queue 1608548545
deleting IPC queue 1608581314
deleting IPC queue 1608614083
deleting IPC queue 1608646852
deleting IPC queue 1608679621
deleting IPC queue 1608712390
deleting IPC queue 1608745159
deleting IPC queue 1608777928
deleting IPC queue 1608810697
deleting IPC queue 1608843466
deleting IPC queue 1608876235
deleting IPC queue 1608909004
deleting IPC queue 1608941773
deleting IPC queue 1608974542
deleting IPC queue 1609007311
deleting IPC queue 1609040080
deleting IPC queue 1609072849
deleting IPC queue 1609105618
deleting IPC queue 1609138387
deleting IPC queue 1609171156
deleting IPC queue 1609203925
deleting IPC queue 1609236694
deleting IPC queue 1609269463
deleting IPC queue 1609302232
deleting IPC queue 1609335001
deleting IPC queue 1609367770
deleting IPC queue 1609400539
deleting IPC queue 1609433308
deleting IPC queue 1609466077
deleting IPC queue 1609498846
deleting IPC queue 1609531615
deleting IPC queue 1609564384
deleting IPC queue 1609597153
deleting IPC queue 1609629922
deleting IPC queue 1609662691
deleting IPC queue 1609695460
deleting IPC queue 1609728229
deleting IPC queue 1609760998
deleting IPC queue 1609793767
deleting IPC queue 1609826536
deleting IPC queue 1609859305
deleting IPC queue 1609892074
deleting IPC queue 1609924843
deleting IPC queue 1609957612
deleting IPC queue 1609990381
deleting IPC queue 1610023150
deleting IPC queue 1610055919
deleting IPC queue 1610088688
deleting IPC queue 1610121457
deleting IPC queue 1610154226
deleting IPC queue 1610186995
deleting IPC queue 1610219764
deleting IPC queue 1610252533
deleting IPC queue 1610285302
deleting IPC queue 1610318071
deleting IPC queue 1610350840
deleting IPC queue 1610383609
deleting IPC queue 1610416378
deleting IPC queue 1610449147
deleting IPC queue 1610481916
deleting IPC queue 1610514685
deleting IPC queue 1610547454
deleting IPC queue 1610580223

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.5
system time used= 508.732
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 556570
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= 40635415
involuntary context switches= 4154308

runsolver used 3.00419 second user time and 8.30852 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 15:47:32
IDJOB=1780077
IDBENCH=70951
IDSOLVER=631
FILE ID=xenhost3-49/1780077-1244814452
PBS_JOBID=
Free space on /tmp= 6999 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-cbmc-aes-d-r2-noholes.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780077-1244814452/watcher-1780077-1244814452 -o /tmp/evaluation-result-1780077-1244814452/solver-1780077-1244814452 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780077-1244814452.cnf 16 10000

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

MD5SUM BENCH= 17bffac3a21734cf7ff7fa9ecba23d9d
RANDOM SEED= 1977131741

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:      19099668 kB
Buffers:        434120 kB
Cached:       14142652 kB
SwapCached:          0 kB
Active:        4079308 kB
Inactive:     10505704 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           33748 kB
Writeback:           0 kB
AnonPages:        8316 kB
Mapped:           3684 kB
Slab:           689564 kB
SReclaimable:   662548 kB
SUnreclaim:      27016 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 6999 MiB
End job on xenhost3-49 at 2009-06-12 15:59:26