Trace number 1780752

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_11_UNKNOWN.cnf
MD5SUMb02fa517730e45c506203f9bd7ebb62c
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 variables1740
Number of clauses104640
Sum of the clauses size311346
Maximum clause length12
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22781
Number of clauses of size 3101836
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

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-1780752-1244839738/watcher-1780752-1244839738 -o /tmp/evaluation-result-1780752-1244839738/solver-1780752-1244839738 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780752-1244839738.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: 11.42 10.19 9.71 2/184 11030
/proc/meminfo: memFree=19125212/36427776 swapFree=4352/7368
[pid=11030] ppid=11028 vsize=7032 CPUtime=0
/proc/11030/stat : 11030 (satake) R 11028 11030 27791 0 -1 4202496 410 0 0 0 0 0 0 0 20 0 17 0 643280124 7200768 367 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/11030/statm: 1758 368 63 164 0 1593 0
[pid=11030/tid=11031] ppid=11028 vsize=7556 CPUtime=0
/proc/11030/task/11031/stat : 11031 (satake) S 11028 11030 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 643280124 7737344 437 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=11030/tid=11032] ppid=11028 vsize=7556 CPUtime=0
/proc/11030/task/11032/stat : 11032 (satake) R 11028 11030 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 17 0 643280124 7737344 438 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11030/tid=11033] ppid=11028 vsize=7556 CPUtime=0
/proc/11030/task/11033/stat : 11033 (satake) R 11028 11030 27791 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 17 0 643280124 7737344 439 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11030/tid=11034] ppid=11028 vsize=7556 CPUtime=0
/proc/11030/task/11034/stat : 11034 (satake) R 11028 11030 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 17 0 643280124 7737344 442 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11030/tid=11035] ppid=11028 vsize=7556 CPUtime=0
/proc/11030/task/11035/stat : 11035 (satake) S 11028 11030 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 643280124 7737344 454 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=11030/tid=11036] ppid=11028 vsize=7556 CPUtime=0
/proc/11030/task/11036/stat : 11036 (satake) R 11028 11030 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 643280124 7737344 481 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=11030/tid=11037] ppid=11028 vsize=7556 CPUtime=0
/proc/11030/task/11037/stat : 11037 (satake) S 11028 11030 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 643280124 7737344 508 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=11030/tid=11038] ppid=11028 vsize=7556 CPUtime=0
/proc/11030/task/11038/stat : 11038 (satake) S 11028 11030 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 643280124 7737344 514 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=11030/tid=11039] ppid=11028 vsize=7556 CPUtime=0
/proc/11030/task/11039/stat : 11039 (satake) S 11028 11030 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 643280124 7737344 514 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=11030/tid=11040] ppid=11028 vsize=7688 CPUtime=0
/proc/11030/task/11040/stat : 11040 (satake) S 11028 11030 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 643280125 7872512 514 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=11030/tid=11041] ppid=11028 vsize=7688 CPUtime=0
/proc/11030/task/11041/stat : 11041 (satake) D 11028 11030 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 643280125 7872512 514 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11030/tid=11042] ppid=11028 vsize=7688 CPUtime=0
/proc/11030/task/11042/stat : 11042 (satake) R 11028 11030 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 17 0 643280125 7872512 516 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11030/tid=11043] ppid=11028 vsize=7688 CPUtime=0
/proc/11030/task/11043/stat : 11043 (satake) D 11028 11030 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 643280125 7872512 517 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11030/tid=11044] ppid=11028 vsize=7688 CPUtime=0
/proc/11030/task/11044/stat : 11044 (satake) D 11028 11030 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 643280125 7872512 519 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11030/tid=11045] ppid=11028 vsize=7820 CPUtime=0
/proc/11030/task/11045/stat : 11045 (satake) D 11028 11030 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 643280125 8007680 519 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11030/tid=11046] ppid=11028 vsize=7820 CPUtime=0
/proc/11030/task/11046/stat : 11046 (satake) D 11028 11030 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 643280125 8007680 519 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 8 0 0 0 0 0

[startup+0.044161 s]
/proc/loadavg: 11.42 10.19 9.71 2/184 11030
/proc/meminfo: memFree=19125212/36427776 swapFree=4352/7368
[pid=11030] ppid=11028 vsize=23716 CPUtime=0.2
/proc/11030/stat : 11030 (satake) S 11028 11030 27791 0 -1 4202496 3250 0 0 0 4 16 0 0 20 0 17 0 643280124 24285184 3207 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/11030/statm: 5929 3212 63 164 0 5764 0
[pid=11030/tid=11031] ppid=11028 vsize=23716 CPUtime=0
/proc/11030/task/11031/stat : 11031 (satake) S 11028 11030 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 643280124 24285184 3213 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=11030/tid=11032] ppid=11028 vsize=23716 CPUtime=0.02
/proc/11030/task/11032/stat : 11032 (satake) R 11028 11030 27791 0 -1 4202560 401 0 0 0 0 2 0 0 20 0 17 0 643280124 24285184 3215 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11030/tid=11033] ppid=11028 vsize=23716 CPUtime=0.02
/proc/11030/task/11033/stat : 11033 (satake) R 11028 11030 27791 0 -1 4202560 390 0 0 0 0 2 0 0 20 0 17 0 643280124 24285184 3217 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11030/tid=11034] ppid=11028 vsize=23716 CPUtime=0
/proc/11030/task/11034/stat : 11034 (satake) R 11028 11030 27791 0 -1 4202560 65 0 0 0 0 0 0 0 20 0 17 0 643280124 24285184 3217 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11030/tid=11035] ppid=11028 vsize=23716 CPUtime=0
/proc/11030/task/11035/stat : 11035 (satake) R 11028 11030 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 643280124 24285184 3217 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11030/tid=11036] ppid=11028 vsize=23716 CPUtime=0.02
/proc/11030/task/11036/stat : 11036 (satake) R 11028 11030 27791 0 -1 4202560 296 0 0 0 0 2 0 0 20 0 17 0 643280124 24285184 3219 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=11030/tid=11037] ppid=11028 vsize=23716 CPUtime=0.02
/proc/11030/task/11037/stat : 11037 (satake) R 11028 11030 27791 0 -1 4202560 280 0 0 0 0 2 0 0 20 0 17 0 643280124 24285184 3222 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11030/tid=11038] ppid=11028 vsize=23716 CPUtime=0
/proc/11030/task/11038/stat : 11038 (satake) R 11028 11030 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 643280124 24285184 3222 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11030/tid=11039] ppid=11028 vsize=23716 CPUtime=0.02
/proc/11030/task/11039/stat : 11039 (satake) R 11028 11030 27791 0 -1 4202560 236 0 0 0 0 2 0 0 20 0 17 0 643280124 24285184 3225 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11030/tid=11040] ppid=11028 vsize=23716 CPUtime=0
/proc/11030/task/11040/stat : 11040 (satake) S 11028 11030 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 643280125 24285184 3226 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=11030/tid=11041] ppid=11028 vsize=23716 CPUtime=0.02
/proc/11030/task/11041/stat : 11041 (satake) R 11028 11030 27791 0 -1 4202560 276 0 0 0 0 2 0 0 20 0 17 0 643280125 24285184 3226 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11030/tid=11042] ppid=11028 vsize=23716 CPUtime=0.02
/proc/11030/task/11042/stat : 11042 (satake) D 11028 11030 27791 0 -1 4202560 274 0 0 0 2 0 0 0 20 0 17 0 643280125 24285184 3226 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11030/tid=11043] ppid=11028 vsize=23716 CPUtime=0.02
/proc/11030/task/11043/stat : 11043 (satake) R 11028 11030 27791 0 -1 4202560 253 0 0 0 0 2 0 0 20 0 17 0 643280125 24285184 3226 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11030/tid=11044] ppid=11028 vsize=23716 CPUtime=0.02
/proc/11030/task/11044/stat : 11044 (satake) D 11028 11030 27791 0 -1 4202560 275 0 0 0 0 2 0 0 20 0 17 0 643280125 24285184 3230 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11030/tid=11045] ppid=11028 vsize=23716 CPUtime=0
/proc/11030/task/11045/stat : 11045 (satake) D 11028 11030 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 643280125 24285184 3230 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11030/tid=11046] ppid=11028 vsize=23716 CPUtime=0.02
/proc/11030/task/11046/stat : 11046 (satake) D 11028 11030 27791 0 -1 4202560 278 0 0 0 2 0 0 0 20 0 17 0 643280125 24285184 3230 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 23716

[startup+0.104147 s]
/proc/loadavg: 11.42 10.19 9.71 2/184 11030
/proc/meminfo: memFree=19125212/36427776 swapFree=4352/7368
[pid=11030] ppid=11028 vsize=34596 CPUtime=0.47
/proc/11030/stat : 11030 (satake) S 11028 11030 27791 0 -1 4202496 6370 0 0 0 4 43 0 0 20 0 17 0 643280124 35426304 6328 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/11030/statm: 8649 6332 63 164 0 8484 0
[pid=11030/tid=11031] ppid=11028 vsize=34596 CPUtime=0
/proc/11030/task/11031/stat : 11031 (satake) S 11028 11030 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 643280124 35426304 6332 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=11030/tid=11032] ppid=11028 vsize=34596 CPUtime=0.04
/proc/11030/task/11032/stat : 11032 (satake) S 11028 11030 27791 0 -1 4202560 497 0 0 0 0 4 0 0 20 0 17 0 643280124 35426304 6332 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=11030/tid=11033] ppid=11028 vsize=34596 CPUtime=0.02
/proc/11030/task/11033/stat : 11033 (satake) S 11028 11030 27791 0 -1 4202560 495 0 0 0 0 2 0 0 20 0 17 0 643280124 35426304 6332 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=11030/tid=11034] ppid=11028 vsize=34596 CPUtime=0.02
/proc/11030/task/11034/stat : 11034 (satake) R 11028 11030 27791 0 -1 4202560 319 0 0 0 0 2 0 0 20 0 17 0 643280124 35426304 6332 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11030/tid=11035] ppid=11028 vsize=34596 CPUtime=0.02
/proc/11030/task/11035/stat : 11035 (satake) R 11028 11030 27791 0 -1 4202560 314 0 0 0 0 2 0 0 20 0 17 0 643280124 35426304 6332 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11030/tid=11036] ppid=11028 vsize=34596 CPUtime=0.04
/proc/11030/task/11036/stat : 11036 (satake) D 11028 11030 27791 0 -1 4202560 510 0 0 0 0 4 0 0 20 0 17 0 643280124 35426304 6332 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=11030/tid=11037] ppid=11028 vsize=34596 CPUtime=0.02
/proc/11030/task/11037/stat : 11037 (satake) S 11028 11030 27791 0 -1 4202560 497 0 0 0 0 2 0 0 20 0 17 0 643280124 35426304 6332 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=11030/tid=11038] ppid=11028 vsize=34596 CPUtime=0
/proc/11030/task/11038/stat : 11038 (satake) D 11028 11030 27791 0 -1 4202560 193 0 0 0 0 0 0 0 20 0 17 0 643280124 35426304 6333 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11030/tid=11039] ppid=11028 vsize=34596 CPUtime=0.04
/proc/11030/task/11039/stat : 11039 (satake) R 11028 11030 27791 0 -1 4202560 477 0 0 0 0 4 0 0 20 0 17 0 643280124 35426304 6333 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11030/tid=11040] ppid=11028 vsize=34596 CPUtime=0
/proc/11030/task/11040/stat : 11040 (satake) D 11028 11030 27791 0 -1 4202560 265 0 0 0 0 0 0 0 20 0 17 0 643280125 35426304 6334 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11030/tid=11041] ppid=11028 vsize=34596 CPUtime=0.04
/proc/11030/task/11041/stat : 11041 (satake) D 11028 11030 27791 0 -1 4202560 500 0 0 0 0 4 0 0 20 0 17 0 643280125 35426304 6334 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11030/tid=11042] ppid=11028 vsize=34596 CPUtime=0.04
/proc/11030/task/11042/stat : 11042 (satake) D 11028 11030 27791 0 -1 4202560 492 0 0 0 2 2 0 0 20 0 17 0 643280125 35426304 6336 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11030/tid=11043] ppid=11028 vsize=34596 CPUtime=0.04
/proc/11030/task/11043/stat : 11043 (satake) D 11028 11030 27791 0 -1 4202560 474 0 0 0 0 4 0 0 20 0 17 0 643280125 35426304 6339 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11030/tid=11044] ppid=11028 vsize=34596 CPUtime=0.04
/proc/11030/task/11044/stat : 11044 (satake) S 11028 11030 27791 0 -1 4202560 513 0 0 0 0 4 0 0 20 0 17 0 643280125 35426304 6339 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=11030/tid=11045] ppid=11028 vsize=34596 CPUtime=0
/proc/11030/task/11045/stat : 11045 (satake) D 11028 11030 27791 0 -1 4202560 209 0 0 0 0 0 0 0 20 0 17 0 643280125 35426304 6339 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11030/tid=11046] ppid=11028 vsize=34596 CPUtime=0.04
/proc/11030/task/11046/stat : 11046 (satake) R 11028 11030 27791 0 -1 4202560 491 0 0 0 2 2 0 0 20 0 17 0 643280125 35426304 6339 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 34596

[startup+0.304205 s]
/proc/loadavg: 11.42 10.19 9.71 2/184 11030
/proc/meminfo: memFree=19125212/36427776 swapFree=4352/7368
[pid=11030] ppid=11028 vsize=50712 CPUtime=1.18
/proc/11030/stat : 11030 (satake) S 11028 11030 27791 0 -1 4202496 11194 0 0 0 13 105 0 0 20 0 17 0 643280124 51929088 11151 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/11030/statm: 12678 11151 63 164 0 12513 0
[pid=11030/tid=11031] ppid=11028 vsize=50712 CPUtime=0
/proc/11030/task/11031/stat : 11031 (satake) S 11028 11030 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 643280124 51929088 11152 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=11030/tid=11032] ppid=11028 vsize=50712 CPUtime=0.08
/proc/11030/task/11032/stat : 11032 (satake) D 11028 11030 27791 0 -1 4202560 758 0 0 0 0 8 0 0 20 0 17 0 643280124 51929088 11153 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11030/tid=11033] ppid=11028 vsize=50712 CPUtime=0.06
/proc/11030/task/11033/stat : 11033 (satake) D 11028 11030 27791 0 -1 4202560 653 0 0 0 0 6 0 0 20 0 17 0 643280124 51929088 11153 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11030/tid=11034] ppid=11028 vsize=50712 CPUtime=0.04
/proc/11030/task/11034/stat : 11034 (satake) S 11028 11030 27791 0 -1 4202560 553 0 0 0 0 4 0 0 20 0 17 0 643280124 51929088 11154 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=11030/tid=11035] ppid=11028 vsize=50712 CPUtime=0.06
/proc/11030/task/11035/stat : 11035 (satake) S 11028 11030 27791 0 -1 4202560 647 0 0 0 0 6 0 0 20 0 17 0 643280124 51929088 11154 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=11030/tid=11036] ppid=11028 vsize=50712 CPUtime=0.12
/proc/11030/task/11036/stat : 11036 (satake) R 11028 11030 27791 0 -1 4202560 943 0 0 0 2 10 0 0 20 0 17 0 643280124 51929088 11155 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=11030/tid=11037] ppid=11028 vsize=50712 CPUtime=0.08
/proc/11030/task/11037/stat : 11037 (satake) R 11028 11030 27791 0 -1 4202560 875 0 0 0 4 4 0 0 20 0 17 0 643280124 51929088 11155 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11030/tid=11038] ppid=11028 vsize=50712 CPUtime=0.04
/proc/11030/task/11038/stat : 11038 (satake) R 11028 11030 27791 0 -1 4202560 610 0 0 0 0 4 0 0 20 0 17 0 643280124 51929088 11159 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11030/tid=11039] ppid=11028 vsize=50712 CPUtime=0.1
/proc/11030/task/11039/stat : 11039 (satake) S 11028 11030 27791 0 -1 4202560 893 0 0 0 0 10 0 0 20 0 17 0 643280124 51929088 11160 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=11030/tid=11040] ppid=11028 vsize=50712 CPUtime=0.04
/proc/11030/task/11040/stat : 11040 (satake) S 11028 11030 27791 0 -1 4202560 578 0 0 0 0 4 0 0 20 0 17 0 643280125 51929088 11162 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=11030/tid=11041] ppid=11028 vsize=50712 CPUtime=0.1
/proc/11030/task/11041/stat : 11041 (satake) S 11028 11030 27791 0 -1 4202560 889 0 0 0 0 10 0 0 20 0 17 0 643280125 51929088 11162 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=11030/tid=11042] ppid=11028 vsize=50712 CPUtime=0.08
/proc/11030/task/11042/stat : 11042 (satake) D 11028 11030 27791 0 -1 4202560 684 0 0 0 2 6 0 0 20 0 17 0 643280125 51929088 11162 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11030/tid=11043] ppid=11028 vsize=50712 CPUtime=0.06
/proc/11030/task/11043/stat : 11043 (satake) S 11028 11030 27791 0 -1 4202560 612 0 0 0 0 6 0 0 20 0 17 0 643280125 51929088 11162 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=11030/tid=11044] ppid=11028 vsize=50712 CPUtime=0.1
/proc/11030/task/11044/stat : 11044 (satake) R 11028 11030 27791 0 -1 4202560 863 0 0 0 2 8 0 0 20 0 17 0 643280125 51929088 11163 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11030/tid=11045] ppid=11028 vsize=50712 CPUtime=0.04
/proc/11030/task/11045/stat : 11045 (satake) D 11028 11030 27791 0 -1 4202560 627 0 0 0 0 4 0 0 20 0 17 0 643280125 51929088 11164 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11030/tid=11046] ppid=11028 vsize=50712 CPUtime=0.12
/proc/11030/task/11046/stat : 11046 (satake) R 11028 11030 27791 0 -1 4202560 884 0 0 0 2 10 0 0 20 0 17 0 643280125 51929088 11164 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 50712

[startup+0.70422 s]
/proc/loadavg: 11.42 10.19 9.71 2/184 11030
/proc/meminfo: memFree=19125212/36427776 swapFree=4352/7368
[pid=11030] ppid=11028 vsize=80644 CPUtime=2.48
/proc/11030/stat : 11030 (satake) S 11028 11030 27791 0 -1 4202496 19183 0 0 0 80 168 0 0 20 0 17 0 643280124 82579456 17500 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/11030/statm: 20161 17504 66 164 0 19996 0
[pid=11030/tid=11031] ppid=11028 vsize=80644 CPUtime=0
/proc/11030/task/11031/stat : 11031 (satake) S 11028 11030 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 643280124 82579456 17504 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=11030/tid=11032] ppid=11028 vsize=80644 CPUtime=0.16
/proc/11030/task/11032/stat : 11032 (satake) D 11028 11030 27791 0 -1 4202560 1340 0 0 0 6 10 0 0 20 0 17 0 643280124 82579456 17504 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11030/tid=11033] ppid=11028 vsize=80644 CPUtime=0.16
/proc/11030/task/11033/stat : 11033 (satake) D 11028 11030 27791 0 -1 4202560 1296 0 0 0 6 10 0 0 20 0 17 0 643280124 82579456 17505 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11030/tid=11034] ppid=11028 vsize=80644 CPUtime=0.1
/proc/11030/task/11034/stat : 11034 (satake) R 11028 11030 27791 0 -1 4202560 1030 0 0 0 4 6 0 0 20 0 17 0 643280124 82579456 17505 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11030/tid=11035] ppid=11028 vsize=80644 CPUtime=0.14
/proc/11030/task/11035/stat : 11035 (satake) D 11028 11030 27791 0 -1 4202560 1261 0 0 0 4 10 0 0 20 0 17 0 643280124 82579456 17505 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11030/tid=11036] ppid=11028 vsize=80644 CPUtime=0.2
/proc/11030/task/11036/stat : 11036 (satake) S 11028 11030 27791 0 -1 4202560 1390 0 0 0 8 12 0 0 20 0 17 0 643280124 82579456 17506 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=11030/tid=11037] ppid=11028 vsize=80644 CPUtime=0.16
/proc/11030/task/11037/stat : 11037 (satake) S 11028 11030 27791 0 -1 4202560 1383 0 0 0 4 12 0 0 20 0 17 0 643280124 82579456 17506 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=11030/tid=11038] ppid=11028 vsize=80644 CPUtime=0.12
/proc/11030/task/11038/stat : 11038 (satake) R 11028 11030 27791 0 -1 4202560 1193 0 0 0 2 10 0 0 20 0 17 0 643280124 82579456 17508 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11030/tid=11039] ppid=11028 vsize=80644 CPUtime=0.2
/proc/11030/task/11039/stat : 11039 (satake) S 11028 11030 27791 0 -1 4202560 1392 0 0 0 4 16 0 0 20 0 17 0 643280124 82579456 17508 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=11030/tid=11040] ppid=11028 vsize=80644 CPUtime=0.12

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

deleting IPC queue 1982267470
deleting IPC queue 1982300239
deleting IPC queue 1982333008
deleting IPC queue 1982365777
deleting IPC queue 1982398546
deleting IPC queue 1982431315
deleting IPC queue 1982464084
deleting IPC queue 1982496853
deleting IPC queue 1982529622
deleting IPC queue 1982562391
deleting IPC queue 1982595160
deleting IPC queue 1982627929
deleting IPC queue 1982660698
deleting IPC queue 1982693467
deleting IPC queue 1982726236
deleting IPC queue 1982759005
deleting IPC queue 1982791774
deleting IPC queue 1982824543
deleting IPC queue 1982857312
deleting IPC queue 1982890081
deleting IPC queue 1982922850
deleting IPC queue 1982955619
deleting IPC queue 1982988388
deleting IPC queue 1983021157
deleting IPC queue 1983053926
deleting IPC queue 1983086695
deleting IPC queue 1983119464
deleting IPC queue 1983152233
deleting IPC queue 1983185002
deleting IPC queue 1983217771
deleting IPC queue 1983250540
deleting IPC queue 1983283309
deleting IPC queue 1983316078
deleting IPC queue 1983348847
deleting IPC queue 1983381616
deleting IPC queue 1983414385
deleting IPC queue 1983447154
deleting IPC queue 1983479923
deleting IPC queue 1983512692
deleting IPC queue 1983545461
deleting IPC queue 1983578230
deleting IPC queue 1983610999
deleting IPC queue 1983643768
deleting IPC queue 1983676537
deleting IPC queue 1983709306
deleting IPC queue 1983742075
deleting IPC queue 1983774844
deleting IPC queue 1983807613
deleting IPC queue 1983840382
deleting IPC queue 1983873151
deleting IPC queue 1983905920
deleting IPC queue 1983938689
deleting IPC queue 1983971458
deleting IPC queue 1984004227
deleting IPC queue 1984036996
deleting IPC queue 1984069765
deleting IPC queue 1984102534
deleting IPC queue 1984135303
deleting IPC queue 1984168072
deleting IPC queue 1984200841
deleting IPC queue 1984233610
deleting IPC queue 1984266379
deleting IPC queue 1984299148
deleting IPC queue 1984331917
deleting IPC queue 1984364686
deleting IPC queue 1984397455
deleting IPC queue 1984430224
deleting IPC queue 1984462993
deleting IPC queue 1984495762
deleting IPC queue 1984528531
deleting IPC queue 1984561300
deleting IPC queue 1984594069
deleting IPC queue 1984626838
deleting IPC queue 1984659607
deleting IPC queue 1984692376
deleting IPC queue 1984725145
deleting IPC queue 1984757914
deleting IPC queue 1984790683
deleting IPC queue 1984823452
deleting IPC queue 1984856221
deleting IPC queue 1984888990
deleting IPC queue 1984921759
deleting IPC queue 1984954528
deleting IPC queue 1984987297
deleting IPC queue 1985020066
deleting IPC queue 1985052835
deleting IPC queue 1985085604
deleting IPC queue 1985118373
deleting IPC queue 1985151142
deleting IPC queue 1985183911
deleting IPC queue 1985216680
deleting IPC queue 1985249449
deleting IPC queue 1985282218
deleting IPC queue 1985314987
deleting IPC queue 1985347756
deleting IPC queue 1985380525
deleting IPC queue 1985413294
deleting IPC queue 1985446063
deleting IPC queue 1985478832
deleting IPC queue 1985511601
deleting IPC queue 1985544370
deleting IPC queue 1985577139
deleting IPC queue 1985609908
deleting IPC queue 1985642677
deleting IPC queue 1985675446
deleting IPC queue 1985708215
deleting IPC queue 1985740984
deleting IPC queue 1985773753
deleting IPC queue 1985806522
deleting IPC queue 1985839291
deleting IPC queue 1985872060
deleting IPC queue 1985904829
deleting IPC queue 1985937598
deleting IPC queue 1985970367
deleting IPC queue 1986003136
deleting IPC queue 1986035905
deleting IPC queue 1986068674
deleting IPC queue 1986101443
deleting IPC queue 1986134212
deleting IPC queue 1986166981
deleting IPC queue 1986199750
deleting IPC queue 1986232519
deleting IPC queue 1986265288
deleting IPC queue 1986298057
deleting IPC queue 1986330826
deleting IPC queue 1986363595
deleting IPC queue 1986396364
deleting IPC queue 1986429133
deleting IPC queue 1986461902
deleting IPC queue 1986494671
deleting IPC queue 1986527440
deleting IPC queue 1986560209
deleting IPC queue 1986592978
deleting IPC queue 1986625747
deleting IPC queue 1986658516
deleting IPC queue 1986691285
deleting IPC queue 1986724054
deleting IPC queue 1986756823
deleting IPC queue 1986789592
deleting IPC queue 1986822361
deleting IPC queue 1986855130
deleting IPC queue 1986887899
deleting IPC queue 1986920668
deleting IPC queue 1986953437
deleting IPC queue 1986986206
deleting IPC queue 1987018975
deleting IPC queue 1987051744
deleting IPC queue 1987084513
deleting IPC queue 1987117282
deleting IPC queue 1987150051
deleting IPC queue 1987182820
deleting IPC queue 1987215589
deleting IPC queue 1987248358
deleting IPC queue 1987281127
deleting IPC queue 1987313896
deleting IPC queue 1987346665
deleting IPC queue 1987379434
deleting IPC queue 1987412203
deleting IPC queue 1987444972
deleting IPC queue 1987477741
deleting IPC queue 1987510510
deleting IPC queue 1987543279
deleting IPC queue 1987576048
deleting IPC queue 1987608817
deleting IPC queue 1987641586
deleting IPC queue 1987674355
deleting IPC queue 1987707124
deleting IPC queue 1987739893
deleting IPC queue 1987772662
deleting IPC queue 1987805431
deleting IPC queue 1987838200
deleting IPC queue 1987870969
deleting IPC queue 1987903738
deleting IPC queue 1987936507
deleting IPC queue 1987969276
deleting IPC queue 1988002045
deleting IPC queue 1988034814
deleting IPC queue 1988067583

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9819.89
system time used= 181.187
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215948
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= 14712474
involuntary context switches= 6279608

runsolver used 3.68023 second user time and 10.4487 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 22:48:58
IDJOB=1780752
IDBENCH=71064
IDSOLVER=631
FILE ID=xenhost3-49/1780752-1244839738
PBS_JOBID=
Free space on /tmp= 7027 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_11_UNKNOWN.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780752-1244839738/watcher-1780752-1244839738 -o /tmp/evaluation-result-1780752-1244839738/solver-1780752-1244839738 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780752-1244839738.cnf 16 10000

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

MD5SUM BENCH= b02fa517730e45c506203f9bd7ebb62c
RANDOM SEED= 1692437097

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:      19124768 kB
Buffers:        435540 kB
Cached:       14114068 kB
SwapCached:          0 kB
Active:        4080692 kB
Inactive:     10476888 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2532 kB
Writeback:           0 kB
AnonPages:        7368 kB
Mapped:           3688 kB
Slab:           689424 kB
SReclaimable:   662636 kB
SUnreclaim:      26788 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= 7026 MiB
End job on xenhost3-49 at 2009-06-12 23:01:32