Trace number 1780107

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) 47.539 3.7668

General information on the benchmark

NameAPPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf
MD5SUMc4aa2ddc60eee766fbdf95a32eed5b43
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 variables10950109
Number of clauses32697150
Sum of the clauses size76320846
Maximum clause length65
Minimum clause length1
Number of clauses of size 12415
Number of clauses of size 221783823
Number of clauses of size 310907882
Number of clauses of size 41592
Number of clauses of size 5131
Number of clauses of size over 51307

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-1780107-1244816168/watcher-1780107-1244816168 -o /tmp/evaluation-result-1780107-1244816168/solver-1780107-1244816168 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780107-1244816168.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: 7.99 9.03 6.71 2/184 8273
/proc/meminfo: memFree=18430992/36427776 swapFree=4640/8640
[pid=8273] ppid=8271 vsize=6676 CPUtime=0
/proc/8273/stat : 8273 (satake) D 8271 8273 27791 0 -1 4202496 540 0 0 0 0 0 0 0 20 0 13 0 640925335 6836224 497 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8273/statm: 1669 497 63 164 0 1504 0
[pid=8273/tid=8274] ppid=8271 vsize=8728 CPUtime=0
/proc/8273/task/8274/stat : 8274 (satake) S 8271 8273 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 13 0 640925336 8937472 518 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8273/tid=8275] ppid=8271 vsize=8728 CPUtime=0
/proc/8273/task/8275/stat : 8275 (satake) R 8271 8273 27791 0 -1 4202560 90 0 0 0 0 0 0 0 20 0 13 0 640925336 8937472 518 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8273/tid=8276] ppid=8271 vsize=8984 CPUtime=0
/proc/8273/task/8276/stat : 8276 (satake) R 8271 8273 27791 0 -1 4202560 76 0 0 0 0 0 0 0 20 0 13 0 640925336 9199616 519 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8273/tid=8277] ppid=8271 vsize=8984 CPUtime=0
/proc/8273/task/8277/stat : 8277 (satake) D 8271 8273 27791 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 13 0 640925336 9199616 524 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8273/tid=8278] ppid=8271 vsize=8984 CPUtime=0
/proc/8273/task/8278/stat : 8278 (satake) R 8271 8273 27791 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 13 0 640925336 9199616 525 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8273/tid=8279] ppid=8271 vsize=8984 CPUtime=0
/proc/8273/task/8279/stat : 8279 (satake) R 8271 8273 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 13 0 640925336 9199616 526 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8273/tid=8280] ppid=8271 vsize=8984 CPUtime=0
/proc/8273/task/8280/stat : 8280 (satake) R 8271 8273 27791 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 13 0 640925336 9199616 527 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8273/tid=8281] ppid=8271 vsize=8984 CPUtime=0
/proc/8273/task/8281/stat : 8281 (satake) R 8271 8273 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 13 0 640925336 9199616 527 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8273/tid=8282] ppid=8271 vsize=8984 CPUtime=0
/proc/8273/task/8282/stat : 8282 (satake) R 8271 8273 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 13 0 640925336 9199616 527 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8273/tid=8283] ppid=8271 vsize=8984 CPUtime=0
/proc/8273/task/8283/stat : 8283 (satake) R 8271 8273 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 13 0 640925336 9199616 527 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8273/tid=8284] ppid=8271 vsize=8984 CPUtime=0
/proc/8273/task/8284/stat : 8284 (satake) R 8271 8273 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 13 0 640925336 9199616 527 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8273/tid=8285] ppid=8271 vsize=8984 CPUtime=0
/proc/8273/task/8285/stat : 8285 (satake) R 8271 8273 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 13 0 640925336 9199616 527 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.055931 s]
/proc/loadavg: 7.99 9.03 6.71 2/184 8273
/proc/meminfo: memFree=18430992/36427776 swapFree=4640/8640
[pid=8273] ppid=8271 vsize=18948 CPUtime=0.34
/proc/8273/stat : 8273 (satake) S 8271 8273 27791 0 -1 4202496 2499 0 0 0 7 27 0 0 20 0 17 0 640925335 19402752 2456 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8273/statm: 4737 2458 63 164 0 4572 0
[pid=8273/tid=8274] ppid=8271 vsize=18948 CPUtime=0
/proc/8273/task/8274/stat : 8274 (satake) S 8271 8273 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 640925336 19402752 2458 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8273/tid=8275] ppid=8271 vsize=18948 CPUtime=0.02
/proc/8273/task/8275/stat : 8275 (satake) R 8271 8273 27791 0 -1 4202560 252 0 0 0 0 2 0 0 20 0 17 0 640925336 19402752 2460 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8273/tid=8276] ppid=8271 vsize=18948 CPUtime=0.02
/proc/8273/task/8276/stat : 8276 (satake) R 8271 8273 27791 0 -1 4202560 247 0 0 0 0 2 0 0 20 0 17 0 640925336 19402752 2461 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8273/tid=8277] ppid=8271 vsize=18948 CPUtime=0.02
/proc/8273/task/8277/stat : 8277 (satake) R 8271 8273 27791 0 -1 4202560 200 0 0 0 0 2 0 0 20 0 17 0 640925336 19402752 2462 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8273/tid=8278] ppid=8271 vsize=18948 CPUtime=0.02
/proc/8273/task/8278/stat : 8278 (satake) R 8271 8273 27791 0 -1 4202560 234 0 0 0 0 2 0 0 20 0 17 0 640925336 19402752 2463 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8273/tid=8279] ppid=8271 vsize=18948 CPUtime=0.02
/proc/8273/task/8279/stat : 8279 (satake) R 8271 8273 27791 0 -1 4202560 168 0 0 0 0 2 0 0 20 0 17 0 640925336 19402752 2463 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8273/tid=8280] ppid=8271 vsize=18948 CPUtime=0.02
/proc/8273/task/8280/stat : 8280 (satake) R 8271 8273 27791 0 -1 4202560 187 0 0 0 0 2 0 0 20 0 17 0 640925336 19402752 2463 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8273/tid=8281] ppid=8271 vsize=18948 CPUtime=0
/proc/8273/task/8281/stat : 8281 (satake) R 8271 8273 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 640925336 19402752 2466 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8273/tid=8282] ppid=8271 vsize=18948 CPUtime=0.02
/proc/8273/task/8282/stat : 8282 (satake) R 8271 8273 27791 0 -1 4202560 142 0 0 0 0 2 0 0 20 0 17 0 640925336 19402752 2467 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8273/tid=8283] ppid=8271 vsize=18948 CPUtime=0
/proc/8273/task/8283/stat : 8283 (satake) R 8271 8273 27791 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 17 0 640925336 19402752 2469 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8273/tid=8284] ppid=8271 vsize=18948 CPUtime=0.02
/proc/8273/task/8284/stat : 8284 (satake) R 8271 8273 27791 0 -1 4202560 173 0 0 0 0 2 0 0 20 0 17 0 640925336 19402752 2473 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8273/tid=8285] ppid=8271 vsize=18948 CPUtime=0
/proc/8273/task/8285/stat : 8285 (satake) D 8271 8273 27791 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 17 0 640925336 19402752 2481 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 18948

[startup+0.107535 s]
/proc/loadavg: 7.99 9.03 6.71 2/184 8273
/proc/meminfo: memFree=18430992/36427776 swapFree=4640/8640
[pid=8273] ppid=8271 vsize=38020 CPUtime=1.01
/proc/8273/stat : 8273 (satake) S 8271 8273 27791 0 -1 4202496 6000 0 0 0 7 94 0 0 20 0 17 0 640925335 38932480 5957 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8273/statm: 9505 5959 63 164 0 9340 0
[pid=8273/tid=8274] ppid=8271 vsize=38020 CPUtime=0
/proc/8273/task/8274/stat : 8274 (satake) S 8271 8273 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 640925336 38932480 5960 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8273/tid=8275] ppid=8271 vsize=38020 CPUtime=0.08
/proc/8273/task/8275/stat : 8275 (satake) R 8271 8273 27791 0 -1 4202560 538 0 0 0 0 8 0 0 20 0 17 0 640925336 38932480 5960 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8273/tid=8276] ppid=8271 vsize=38020 CPUtime=0.08
/proc/8273/task/8276/stat : 8276 (satake) R 8271 8273 27791 0 -1 4202560 602 0 0 0 0 8 0 0 20 0 17 0 640925336 38932480 5962 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8273/tid=8277] ppid=8271 vsize=38020 CPUtime=0.08
/proc/8273/task/8277/stat : 8277 (satake) R 8271 8273 27791 0 -1 4202560 443 0 0 0 0 8 0 0 20 0 17 0 640925336 38932480 5962 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8273/tid=8278] ppid=8271 vsize=38020 CPUtime=0.08
/proc/8273/task/8278/stat : 8278 (satake) R 8271 8273 27791 0 -1 4202560 474 0 0 0 0 8 0 0 20 0 17 0 640925336 38932480 5962 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8273/tid=8279] ppid=8271 vsize=38020 CPUtime=0.08
/proc/8273/task/8279/stat : 8279 (satake) R 8271 8273 27791 0 -1 4202560 403 0 0 0 0 8 0 0 20 0 17 0 640925336 38932480 5962 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8273/tid=8280] ppid=8271 vsize=38020 CPUtime=0.06
/proc/8273/task/8280/stat : 8280 (satake) R 8271 8273 27791 0 -1 4202560 425 0 0 0 0 6 0 0 20 0 17 0 640925336 38932480 5962 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8273/tid=8281] ppid=8271 vsize=38020 CPUtime=0.04
/proc/8273/task/8281/stat : 8281 (satake) R 8271 8273 27791 0 -1 4202560 274 0 0 0 0 4 0 0 20 0 17 0 640925336 38932480 5963 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8273/tid=8282] ppid=8271 vsize=38020 CPUtime=0.06
/proc/8273/task/8282/stat : 8282 (satake) R 8271 8273 27791 0 -1 4202560 351 0 0 0 0 6 0 0 20 0 17 0 640925336 38932480 5963 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8273/tid=8283] ppid=8271 vsize=38020 CPUtime=0.04
/proc/8273/task/8283/stat : 8283 (satake) R 8271 8273 27791 0 -1 4202560 253 0 0 0 0 4 0 0 20 0 17 0 640925336 38932480 5963 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8273/tid=8284] ppid=8271 vsize=38020 CPUtime=0.06
/proc/8273/task/8284/stat : 8284 (satake) R 8271 8273 27791 0 -1 4202560 409 0 0 0 0 6 0 0 20 0 17 0 640925336 38932480 5964 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8273/tid=8285] ppid=8271 vsize=38020 CPUtime=0.06
/proc/8273/task/8285/stat : 8285 (satake) R 8271 8273 27791 0 -1 4202560 392 0 0 0 0 6 0 0 20 0 17 0 640925336 38932480 5967 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 38020

[startup+0.302298 s]
/proc/loadavg: 7.99 9.03 6.71 2/184 8273
/proc/meminfo: memFree=18430992/36427776 swapFree=4640/8640
[pid=8273] ppid=8271 vsize=145540 CPUtime=3.43
/proc/8273/stat : 8273 (satake) S 8271 8273 27791 0 -1 4202496 25875 0 0 0 7 336 0 0 20 0 17 0 640925335 149032960 25840 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8273/statm: 36385 25877 63 164 0 36220 0
[pid=8273/tid=8274] ppid=8271 vsize=145540 CPUtime=0
/proc/8273/task/8274/stat : 8274 (satake) S 8271 8273 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 640925336 149032960 25883 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8273/tid=8275] ppid=8271 vsize=145540 CPUtime=0.24
/proc/8273/task/8275/stat : 8275 (satake) R 8271 8273 27791 0 -1 4202560 1919 0 0 0 0 24 0 0 20 0 17 0 640925336 149032960 25896 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8273/tid=8276] ppid=8271 vsize=145540 CPUtime=0.26
/proc/8273/task/8276/stat : 8276 (satake) R 8271 8273 27791 0 -1 4202560 2944 0 0 0 0 26 0 0 20 0 17 0 640925336 149032960 25911 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8273/tid=8277] ppid=8271 vsize=145540 CPUtime=0.24
/proc/8273/task/8277/stat : 8277 (satake) R 8271 8273 27791 0 -1 4202560 1883 0 0 0 0 24 0 0 20 0 17 0 640925336 149032960 25928 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8273/tid=8278] ppid=8271 vsize=145540 CPUtime=0.24
/proc/8273/task/8278/stat : 8278 (satake) R 8271 8273 27791 0 -1 4202560 1748 0 0 0 0 24 0 0 20 0 17 0 640925336 149032960 25945 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8273/tid=8279] ppid=8271 vsize=145540 CPUtime=0.24
/proc/8273/task/8279/stat : 8279 (satake) R 8271 8273 27791 0 -1 4202560 1528 0 0 0 0 24 0 0 20 0 17 0 640925336 149032960 25958 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8273/tid=8280] ppid=8271 vsize=145540 CPUtime=0.24
/proc/8273/task/8280/stat : 8280 (satake) R 8271 8273 27791 0 -1 4202560 2398 0 0 0 0 24 0 0 20 0 17 0 640925336 149032960 25969 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8273/tid=8281] ppid=8271 vsize=145540 CPUtime=0.22
/proc/8273/task/8281/stat : 8281 (satake) R 8271 8273 27791 0 -1 4202560 1565 0 0 0 0 22 0 0 20 0 17 0 640925336 149032960 25976 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8273/tid=8282] ppid=8271 vsize=145540 CPUtime=0.24
/proc/8273/task/8282/stat : 8282 (satake) R 8271 8273 27791 0 -1 4202560 1580 0 0 0 0 24 0 0 20 0 17 0 640925336 149032960 25995 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8273/tid=8283] ppid=8271 vsize=145540 CPUtime=0.12
/proc/8273/task/8283/stat : 8283 (satake) R 8271 8273 27791 0 -1 4202560 810 0 0 0 0 12 0 0 20 0 17 0 640925336 149032960 26010 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8273/tid=8284] ppid=8271 vsize=145540 CPUtime=0.24
/proc/8273/task/8284/stat : 8284 (satake) R 8271 8273 27791 0 -1 4202560 1692 0 0 0 0 24 0 0 20 0 17 0 640925336 149032960 26026 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8273/tid=8285] ppid=8271 vsize=145540 CPUtime=0.22
/proc/8273/task/8285/stat : 8285 (satake) R 8271 8273 27791 0 -1 4202560 2149 0 0 0 0 22 0 0 20 0 17 0 640925336 149032960 26026 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 145540

[startup+0.703252 s]
/proc/loadavg: 7.99 9.03 6.71 2/184 8273
/proc/meminfo: memFree=18430992/36427776 swapFree=4640/8640
[pid=8273] ppid=8271 vsize=456836 CPUtime=8.61
/proc/8273/stat : 8273 (satake) S 8271 8273 27791 0 -1 4202496 72927 0 0 0 7 854 0 0 20 0 17 0 640925335 467800064 72885 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8273/statm: 114209 72890 63 164 0 114044 0
[pid=8273/tid=8274] ppid=8271 vsize=456836 CPUtime=0
/proc/8273/task/8274/stat : 8274 (satake) S 8271 8273 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 640925336 467800064 72890 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8273/tid=8275] ppid=8271 vsize=456836 CPUtime=0.62
/proc/8273/task/8275/stat : 8275 (satake) R 8271 8273 27791 0 -1 4202560 5324 0 0 0 0 62 0 0 20 0 17 0 640925336 467800064 72894 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8273/tid=8276] ppid=8271 vsize=456836 CPUtime=0.62
/proc/8273/task/8276/stat : 8276 (satake) R 8271 8273 27791 0 -1 4202560 6772 0 0 0 0 62 0 0 20 0 17 0 640925336 467800064 72895 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8273/tid=8277] ppid=8271 vsize=456836 CPUtime=0.62
/proc/8273/task/8277/stat : 8277 (satake) R 8271 8273 27791 0 -1 4202560 4828 0 0 0 0 62 0 0 20 0 17 0 640925336 467800064 72896 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8273/tid=8278] ppid=8271 vsize=456836 CPUtime=0.62
/proc/8273/task/8278/stat : 8278 (satake) R 8271 8273 27791 0 -1 4202560 4531 0 0 0 0 62 0 0 20 0 17 0 640925336 467800064 72897 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8273/tid=8279] ppid=8271 vsize=456836 CPUtime=0.62
/proc/8273/task/8279/stat : 8279 (satake) R 8271 8273 27791 0 -1 4202560 4323 0 0 0 0 62 0 0 20 0 17 0 640925336 467800064 72898 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8273/tid=8280] ppid=8271 vsize=456836 CPUtime=0.6
/proc/8273/task/8280/stat : 8280 (satake) R 8271 8273 27791 0 -1 4202560 7269 0 0 0 0 60 0 0 20 0 17 0 640925336 467800064 72910 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8273/tid=8281] ppid=8271 vsize=456836 CPUtime=0.58
/proc/8273/task/8281/stat : 8281 (satake) R 8271 8273 27791 0 -1 4202560 4742 0 0 0 0 58 0 0 20 0 17 0 640925336 467800064 72918 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8273/tid=8282] ppid=8271 vsize=456836 CPUtime=0.62
/proc/8273/task/8282/stat : 8282 (satake) R 8271 8273 27791 0 -1 4202560 4843 0 0 0 0 62 0 0 20 0 17 0 640925336 467800064 72931 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8273/tid=8283] ppid=8271 vsize=456836 CPUtime=0.34
/proc/8273/task/8283/stat : 8283 (satake) R 8271 8273 27791 0 -1 4202560 3212 0 0 0 0 34 0 0 20 0 17 0 640925336 467800064 72942 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8273/tid=8284] ppid=8271 vsize=456836 CPUtime=0.62
/proc/8273/task/8284/stat : 8284 (satake) R 8271 8273 27791 0 -1 4202560 4879 0 0 0 0 62 0 0 20 0 17 0 640925336 467800064 72959 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8273/tid=8285] ppid=8271 vsize=456836 CPUtime=0.6
/proc/8273/task/8285/stat : 8285 (satake) R 8271 8273 27791 0 -1 4202560 5674 0 0 0 0 60 0 0 20 0 17 0 640925336 467800064 72971 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.61
Current children cumulated vsize (KiB) 456836

[startup+1.5048 s]
/proc/loadavg: 7.99 9.03 6.71 16/201 8290
/proc/meminfo: memFree=17984048/36427776 swapFree=4348/457320
[pid=8273] ppid=8271 vsize=923780 CPUtime=19.2
/proc/8273/stat : 8273 (satake) S 8271 8273 27791 0 -1 4202496 178572 0 0 0 7 1913 0 0 20 0 17 0 640925335 945950720 178529 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8273/statm: 230945 178532 63 164 0 230780 0
[pid=8273/tid=8274] ppid=8271 vsize=923780 CPUtime=0
/proc/8273/task/8274/stat : 8274 (satake) S 8271 8273 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 640925336 945950720 178534 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8273/tid=8275] ppid=8271 vsize=923780 CPUtime=1.38
/proc/8273/task/8275/stat : 8275 (satake) R 8271 8273 27791 0 -1 4202560 11325 0 0 0 0 138 0 0 20 0 17 0 640925336 945950720 178534 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8273/tid=8276] ppid=8271 vsize=923780 CPUtime=1.38
/proc/8273/task/8276/stat : 8276 (satake) R 8271 8273 27791 0 -1 4202560 15239 0 0 0 0 138 0 0 20 0 17 0 640925336 945950720 178534 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8273/tid=8277] ppid=8271 vsize=923780 CPUtime=1.38
/proc/8273/task/8277/stat : 8277 (satake) R 8271 8273 27791 0 -1 4202560 11252 0 0 0 0 138 0 0 20 0 17 0 640925336 945950720 178534 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8273/tid=8278] ppid=8271 vsize=923780 CPUtime=1.38
/proc/8273/task/8278/stat : 8278 (satake) R 8271 8273 27791 0 -1 4202560 12465 0 0 0 0 138 0 0 20 0 17 0 640925336 945950720 178538 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8273/tid=8279] ppid=8271 vsize=923780 CPUtime=1.38
/proc/8273/task/8279/stat : 8279 (satake) R 8271 8273 27791 0 -1 4202560 12263 0 0 0 0 138 0 0 20 0 17 0 640925336 945950720 178540 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8273/tid=8280] ppid=8271 vsize=923780 CPUtime=1.34
/proc/8273/task/8280/stat : 8280 (satake) R 8271 8273 27791 0 -1 4202560 14128 0 0 0 0 134 0 0 20 0 17 0 640925336 945950720 178541 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8273/tid=8281] ppid=8271 vsize=923780 CPUtime=1.34
/proc/8273/task/8281/stat : 8281 (satake) R 8271 8273 27791 0 -1 4202560 11807 0 0 0 0 134 0 0 20 0 17 0 640925336 945950720 178542 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8273/tid=8282] ppid=8271 vsize=923780 CPUtime=1.38
/proc/8273/task/8282/stat : 8282 (satake) R 8271 8273 27791 0 -1 4202560 13047 0 0 0 0 138 0 0 20 0 17 0 640925336 945950720 178546 18446744073709551615 134512640 135180984 4292861152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0

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

deleting IPC queue 1621557326
deleting IPC queue 1621590095
deleting IPC queue 1621622864
deleting IPC queue 1621655633
deleting IPC queue 1621688402
deleting IPC queue 1621721171
deleting IPC queue 1621753940
deleting IPC queue 1621786709
deleting IPC queue 1621819478
deleting IPC queue 1621852247
deleting IPC queue 1621885016
deleting IPC queue 1621917785
deleting IPC queue 1621950554
deleting IPC queue 1621983323
deleting IPC queue 1622016092
deleting IPC queue 1622048861
deleting IPC queue 1622081630
deleting IPC queue 1622114399
deleting IPC queue 1622147168
deleting IPC queue 1622179937
deleting IPC queue 1622212706
deleting IPC queue 1622245475
deleting IPC queue 1622278244
deleting IPC queue 1622311013
deleting IPC queue 1622343782
deleting IPC queue 1622376551
deleting IPC queue 1622409320
deleting IPC queue 1622442089
deleting IPC queue 1622474858
deleting IPC queue 1622507627
deleting IPC queue 1622540396
deleting IPC queue 1622573165
deleting IPC queue 1622605934
deleting IPC queue 1622638703
deleting IPC queue 1622671472
deleting IPC queue 1622704241
deleting IPC queue 1622737010
deleting IPC queue 1622769779
deleting IPC queue 1622802548
deleting IPC queue 1622835317
deleting IPC queue 1622868086
deleting IPC queue 1622900855
deleting IPC queue 1622933624
deleting IPC queue 1622966393
deleting IPC queue 1622999162
deleting IPC queue 1623031931
deleting IPC queue 1623064700
deleting IPC queue 1623097469
deleting IPC queue 1623130238
deleting IPC queue 1623163007
deleting IPC queue 1623195776
deleting IPC queue 1623228545
deleting IPC queue 1623261314
deleting IPC queue 1623294083
deleting IPC queue 1623326852
deleting IPC queue 1623359621
deleting IPC queue 1623392390
deleting IPC queue 1623425159
deleting IPC queue 1623457928
deleting IPC queue 1623490697
deleting IPC queue 1623523466
deleting IPC queue 1623556235
deleting IPC queue 1623589004
deleting IPC queue 1623621773
deleting IPC queue 1623654542
deleting IPC queue 1623687311
deleting IPC queue 1623720080
deleting IPC queue 1623752849
deleting IPC queue 1623785618
deleting IPC queue 1623818387
deleting IPC queue 1623851156
deleting IPC queue 1623883925
deleting IPC queue 1623916694
deleting IPC queue 1623949463
deleting IPC queue 1623982232
deleting IPC queue 1624015001
deleting IPC queue 1624047770
deleting IPC queue 1624080539
deleting IPC queue 1624113308
deleting IPC queue 1624146077
deleting IPC queue 1624178846
deleting IPC queue 1624211615
deleting IPC queue 1624244384
deleting IPC queue 1624277153
deleting IPC queue 1624309922
deleting IPC queue 1624342691
deleting IPC queue 1624375460
deleting IPC queue 1624408229
deleting IPC queue 1624440998
deleting IPC queue 1624473767
deleting IPC queue 1624506536
deleting IPC queue 1624539305
deleting IPC queue 1624572074
deleting IPC queue 1624604843
deleting IPC queue 1624637612
deleting IPC queue 1624670381
deleting IPC queue 1624703150
deleting IPC queue 1624735919
deleting IPC queue 1624768688
deleting IPC queue 1624801457
deleting IPC queue 1624834226
deleting IPC queue 1624866995
deleting IPC queue 1624899764
deleting IPC queue 1624932533
deleting IPC queue 1624965302
deleting IPC queue 1624998071
deleting IPC queue 1625030840
deleting IPC queue 1625063609
deleting IPC queue 1625096378
deleting IPC queue 1625129147
deleting IPC queue 1625161916
deleting IPC queue 1625194685
deleting IPC queue 1625227454
deleting IPC queue 1625260223
deleting IPC queue 1625292992
deleting IPC queue 1625325761
deleting IPC queue 1625358530
deleting IPC queue 1625391299
deleting IPC queue 1625424068
deleting IPC queue 1625456837
deleting IPC queue 1625489606
deleting IPC queue 1625522375
deleting IPC queue 1625555144
deleting IPC queue 1625587913
deleting IPC queue 1625620682
deleting IPC queue 1625653451
deleting IPC queue 1625686220
deleting IPC queue 1625718989
deleting IPC queue 1625751758
deleting IPC queue 1625784527
deleting IPC queue 1625817296
deleting IPC queue 1625850065
deleting IPC queue 1625882834
deleting IPC queue 1625915603
deleting IPC queue 1625948372
deleting IPC queue 1625981141
deleting IPC queue 1626013910
deleting IPC queue 1626046679
deleting IPC queue 1626079448
deleting IPC queue 1626112217
deleting IPC queue 1626144986
deleting IPC queue 1626177755
deleting IPC queue 1626210524
deleting IPC queue 1626243293
deleting IPC queue 1626276062
deleting IPC queue 1626308831
deleting IPC queue 1626341600
deleting IPC queue 1626374369
deleting IPC queue 1626407138
deleting IPC queue 1626439907
deleting IPC queue 1626472676
deleting IPC queue 1626505445
deleting IPC queue 1626538214
deleting IPC queue 1626570983
deleting IPC queue 1626603752
deleting IPC queue 1626636521
deleting IPC queue 1626669290
deleting IPC queue 1626702059
deleting IPC queue 1626734828
deleting IPC queue 1626767597
deleting IPC queue 1626800366
deleting IPC queue 1626833135
deleting IPC queue 1626865904
deleting IPC queue 1626898673
deleting IPC queue 1626931442
deleting IPC queue 1626964211
deleting IPC queue 1626996980
deleting IPC queue 1627029749
deleting IPC queue 1627062518
deleting IPC queue 1627095287
deleting IPC queue 1627128056
deleting IPC queue 1627160825
deleting IPC queue 1627193594
deleting IPC queue 1627226363
deleting IPC queue 1627259132
deleting IPC queue 1627291901
deleting IPC queue 1627324670
deleting IPC queue 1627357439

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.064004
system time used= 47.475
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 438184
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= 2599
involuntary context switches= 170

runsolver used 0.020001 second user time and 0.16001 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 16:16:08
IDJOB=1780107
IDBENCH=70953
IDSOLVER=631
FILE ID=xenhost3-49/1780107-1244816168
PBS_JOBID=
Free space on /tmp= 6362 MiB

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

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

MD5SUM BENCH= c4aa2ddc60eee766fbdf95a32eed5b43
RANDOM SEED= 1446365317

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:      18430992 kB
Buffers:        434780 kB
Cached:       14793956 kB
SwapCached:          0 kB
Active:        4080236 kB
Inactive:     11157012 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:          685756 kB
Writeback:           0 kB
AnonPages:        8640 kB
Mapped:           3976 kB
Slab:           706112 kB
SReclaimable:   678996 kB
SUnreclaim:      27116 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= 6362 MiB
End job on xenhost3-49 at 2009-06-12 16:16:35