Trace number 1780002

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) 1663.68 1000.07

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l47_lambda.cnf
MD5SUMed7689c65135a913d97feca3ab3874eb
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark390.06
Satisfiable
(Un)Satisfiability was proved
Number of variables33871
Number of clauses170161
Sum of the clauses size490938
Maximum clause length9
Minimum clause length1
Number of clauses of size 14346
Number of clauses of size 241947
Number of clauses of size 3100545
Number of clauses of size 416116
Number of clauses of size 57066
Number of clauses of size over 5141

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-1780002-1244810573/watcher-1780002-1244810573 -o /tmp/evaluation-result-1780002-1244810573/solver-1780002-1244810573 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780002-1244810573.cnf 16 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 3.24 2.59 2.58 2/184 7690
/proc/meminfo: memFree=19128748/36427776 swapFree=3260/7284
[pid=7690] ppid=7688 vsize=7144 CPUtime=0
/proc/7690/stat : 7690 (satake) R 7688 7690 27791 0 -1 4202496 390 0 0 0 0 0 0 0 20 0 15 0 640363644 7315456 347 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/7690/statm: 1786 350 63 164 0 1621 0
[pid=7690/tid=7691] ppid=7688 vsize=7212 CPUtime=0
/proc/7690/task/7691/stat : 7691 (satake) S 7688 7690 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 16 0 640363644 7385088 379 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=7690/tid=7692] ppid=7688 vsize=7212 CPUtime=0
/proc/7690/task/7692/stat : 7692 (satake) R 7688 7690 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 16 0 640363644 7385088 382 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=7690/tid=7693] ppid=7688 vsize=7212 CPUtime=0
/proc/7690/task/7693/stat : 7693 (satake) R 7688 7690 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 16 0 640363644 7385088 385 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=7690/tid=7694] ppid=7688 vsize=7212 CPUtime=0
/proc/7690/task/7694/stat : 7694 (satake) R 7688 7690 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 16 0 640363645 7385088 387 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=7690/tid=7695] ppid=7688 vsize=7212 CPUtime=0
/proc/7690/task/7695/stat : 7695 (satake) R 7688 7690 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 16 0 640363645 7385088 388 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=7690/tid=7696] ppid=7688 vsize=7212 CPUtime=0
/proc/7690/task/7696/stat : 7696 (satake) S 7688 7690 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 640363645 7385088 389 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=7690/tid=7697] ppid=7688 vsize=7212 CPUtime=0
/proc/7690/task/7697/stat : 7697 (satake) S 7688 7690 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 640363645 7385088 392 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=7690/tid=7698] ppid=7688 vsize=7212 CPUtime=0
/proc/7690/task/7698/stat : 7698 (satake) R 7688 7690 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 16 0 640363645 7385088 397 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=7690/tid=7699] ppid=7688 vsize=7212 CPUtime=0
/proc/7690/task/7699/stat : 7699 (satake) S 7688 7690 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 640363645 7385088 419 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=7690/tid=7700] ppid=7688 vsize=7212 CPUtime=0
/proc/7690/task/7700/stat : 7700 (satake) R 7688 7690 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 640363645 7385088 422 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=7690/tid=7701] ppid=7688 vsize=7212 CPUtime=0
/proc/7690/task/7701/stat : 7701 (satake) S 7688 7690 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 640363645 7385088 422 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=7690/tid=7702] ppid=7688 vsize=7212 CPUtime=0
/proc/7690/task/7702/stat : 7702 (satake) D 7688 7690 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 640363645 7385088 422 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=7690/tid=7703] ppid=7688 vsize=7212 CPUtime=0
/proc/7690/task/7703/stat : 7703 (satake) D 7688 7690 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 640363645 7385088 422 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=7690/tid=7704] ppid=7688 vsize=7472 CPUtime=0
/proc/7690/task/7704/stat : 7704 (satake) D 7688 7690 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 640363645 7651328 422 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7705] ppid=7688 vsize=7340 CPUtime=0
/proc/7690/task/7705/stat : 7705 (satake) D 7688 7690 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 640363645 7516160 422 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=7690/tid=7706] ppid=7688 vsize=7468 CPUtime=0
/proc/7690/task/7706/stat : 7706 (satake) D 7688 7690 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 640363646 7647232 422 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0

[startup+0.043932 s]
/proc/loadavg: 3.24 2.59 2.58 2/184 7690
/proc/meminfo: memFree=19128748/36427776 swapFree=3260/7284
[pid=7690] ppid=7688 vsize=22996 CPUtime=0.18
/proc/7690/stat : 7690 (satake) S 7688 7690 27791 0 -1 4202496 3009 0 0 0 4 14 0 0 20 0 17 0 640363644 23547904 2967 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/7690/statm: 5749 2969 63 164 0 5584 0
[pid=7690/tid=7691] ppid=7688 vsize=22996 CPUtime=0
/proc/7690/task/7691/stat : 7691 (satake) S 7688 7690 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 640363644 23547904 2973 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=7690/tid=7692] ppid=7688 vsize=22996 CPUtime=0.02
/proc/7690/task/7692/stat : 7692 (satake) R 7688 7690 27791 0 -1 4202560 270 0 0 0 0 2 0 0 20 0 17 0 640363644 23547904 2974 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=7690/tid=7693] ppid=7688 vsize=22996 CPUtime=0.02
/proc/7690/task/7693/stat : 7693 (satake) R 7688 7690 27791 0 -1 4202560 308 0 0 0 0 2 0 0 20 0 17 0 640363644 23547904 2974 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=7690/tid=7694] ppid=7688 vsize=22996 CPUtime=0.02
/proc/7690/task/7694/stat : 7694 (satake) R 7688 7690 27791 0 -1 4202560 283 0 0 0 0 2 0 0 20 0 17 0 640363645 23547904 2976 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=7690/tid=7695] ppid=7688 vsize=22996 CPUtime=0.02
/proc/7690/task/7695/stat : 7695 (satake) R 7688 7690 27791 0 -1 4202560 306 0 0 0 0 2 0 0 20 0 17 0 640363645 23547904 2979 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=7690/tid=7696] ppid=7688 vsize=22996 CPUtime=0
/proc/7690/task/7696/stat : 7696 (satake) R 7688 7690 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 17 0 640363645 23547904 2980 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=7690/tid=7697] ppid=7688 vsize=22996 CPUtime=0.02
/proc/7690/task/7697/stat : 7697 (satake) R 7688 7690 27791 0 -1 4202560 303 0 0 0 0 2 0 0 20 0 17 0 640363645 23547904 2980 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=7690/tid=7698] ppid=7688 vsize=22996 CPUtime=0.02
/proc/7690/task/7698/stat : 7698 (satake) R 7688 7690 27791 0 -1 4202560 278 0 0 0 0 2 0 0 20 0 17 0 640363645 23547904 2987 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=7690/tid=7699] ppid=7688 vsize=22996 CPUtime=0.02
/proc/7690/task/7699/stat : 7699 (satake) R 7688 7690 27791 0 -1 4202560 262 0 0 0 2 0 0 0 20 0 17 0 640363645 23547904 3000 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=7690/tid=7700] ppid=7688 vsize=22996 CPUtime=0.02
/proc/7690/task/7700/stat : 7700 (satake) R 7688 7690 27791 0 -1 4202560 344 0 0 0 0 2 0 0 20 0 17 0 640363645 23547904 3018 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=7690/tid=7701] ppid=7688 vsize=22996 CPUtime=0.02
/proc/7690/task/7701/stat : 7701 (satake) R 7688 7690 27791 0 -1 4202560 251 0 0 0 2 0 0 0 20 0 17 0 640363645 23547904 3034 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=7690/tid=7702] ppid=7688 vsize=22996 CPUtime=0
/proc/7690/task/7702/stat : 7702 (satake) R 7688 7690 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 640363645 23547904 3056 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=7690/tid=7703] ppid=7688 vsize=22996 CPUtime=0
/proc/7690/task/7703/stat : 7703 (satake) R 7688 7690 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 17 0 640363645 23547904 3074 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=7690/tid=7704] ppid=7688 vsize=22996 CPUtime=0
/proc/7690/task/7704/stat : 7704 (satake) R 7688 7690 27791 0 -1 4202560 126 0 0 0 0 0 0 0 20 0 17 0 640363645 23547904 3089 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7705] ppid=7688 vsize=22996 CPUtime=0
/proc/7690/task/7705/stat : 7705 (satake) S 7688 7690 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 640363645 23547904 3102 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=7690/tid=7706] ppid=7688 vsize=22996 CPUtime=0
/proc/7690/task/7706/stat : 7706 (satake) D 7688 7690 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 640363646 23547904 3103 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 22996

[startup+0.104018 s]
/proc/loadavg: 3.24 2.59 2.58 2/184 7690
/proc/meminfo: memFree=19128748/36427776 swapFree=3260/7284
[pid=7690] ppid=7688 vsize=47672 CPUtime=0.61
/proc/7690/stat : 7690 (satake) S 7688 7690 27791 0 -1 4202496 8724 0 0 0 6 55 0 0 20 0 17 0 640363644 48816128 8648 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/7690/statm: 11918 8651 63 164 0 11753 0
[pid=7690/tid=7691] ppid=7688 vsize=47672 CPUtime=0
/proc/7690/task/7691/stat : 7691 (satake) S 7688 7690 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 640363644 48816128 8655 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=7690/tid=7692] ppid=7688 vsize=47672 CPUtime=0.04
/proc/7690/task/7692/stat : 7692 (satake) D 7688 7690 27791 0 -1 4202560 707 0 0 0 0 4 0 0 20 0 17 0 640363644 48816128 8656 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=7690/tid=7693] ppid=7688 vsize=47672 CPUtime=0.04
/proc/7690/task/7693/stat : 7693 (satake) D 7688 7690 27791 0 -1 4202560 695 0 0 0 0 4 0 0 20 0 17 0 640363644 48816128 8656 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=7690/tid=7694] ppid=7688 vsize=47672 CPUtime=0.06
/proc/7690/task/7694/stat : 7694 (satake) D 7688 7690 27791 0 -1 4202560 785 0 0 0 0 6 0 0 20 0 17 0 640363645 48816128 8657 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=7690/tid=7695] ppid=7688 vsize=47672 CPUtime=0.06
/proc/7690/task/7695/stat : 7695 (satake) S 7688 7690 27791 0 -1 4202560 821 0 0 0 0 6 0 0 20 0 17 0 640363645 48816128 8657 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=7690/tid=7696] ppid=7688 vsize=47672 CPUtime=0
/proc/7690/task/7696/stat : 7696 (satake) D 7688 7690 27791 0 -1 4202560 236 0 0 0 0 0 0 0 20 0 17 0 640363645 48816128 8659 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=7690/tid=7697] ppid=7688 vsize=47672 CPUtime=0.04
/proc/7690/task/7697/stat : 7697 (satake) R 7688 7690 27791 0 -1 4202560 760 0 0 0 0 4 0 0 20 0 17 0 640363645 48816128 8663 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=7690/tid=7698] ppid=7688 vsize=47672 CPUtime=0.06
/proc/7690/task/7698/stat : 7698 (satake) R 7688 7690 27791 0 -1 4202560 814 0 0 0 0 6 0 0 20 0 17 0 640363645 48816128 8664 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=7690/tid=7699] ppid=7688 vsize=47672 CPUtime=0.04
/proc/7690/task/7699/stat : 7699 (satake) R 7688 7690 27791 0 -1 4202560 817 0 0 0 2 2 0 0 20 0 17 0 640363645 48816128 8665 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=7690/tid=7700] ppid=7688 vsize=47672 CPUtime=0.06
/proc/7690/task/7700/stat : 7700 (satake) R 7688 7690 27791 0 -1 4202560 857 0 0 0 0 6 0 0 20 0 17 0 640363645 48816128 8665 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=7690/tid=7701] ppid=7688 vsize=47672 CPUtime=0.06
/proc/7690/task/7701/stat : 7701 (satake) R 7688 7690 27791 0 -1 4202560 774 0 0 0 2 4 0 0 20 0 17 0 640363645 48816128 8665 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=7690/tid=7702] ppid=7688 vsize=47672 CPUtime=0.02
/proc/7690/task/7702/stat : 7702 (satake) R 7688 7690 27791 0 -1 4202560 220 0 0 0 0 2 0 0 20 0 17 0 640363645 48816128 8666 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=7690/tid=7703] ppid=7688 vsize=47672 CPUtime=0
/proc/7690/task/7703/stat : 7703 (satake) R 7688 7690 27791 0 -1 4202560 181 0 0 0 0 0 0 0 20 0 17 0 640363645 48816128 8670 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=7690/tid=7704] ppid=7688 vsize=47672 CPUtime=0.04
/proc/7690/task/7704/stat : 7704 (satake) R 7688 7690 27791 0 -1 4202560 726 0 0 0 0 4 0 0 20 0 17 0 640363645 48816128 8671 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7705] ppid=7688 vsize=47672 CPUtime=0
/proc/7690/task/7705/stat : 7705 (satake) R 7688 7690 27791 0 -1 4202560 86 0 0 0 0 0 0 0 20 0 17 0 640363645 48816128 8671 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=7690/tid=7706] ppid=7688 vsize=47672 CPUtime=0
/proc/7690/task/7706/stat : 7706 (satake) R 7688 7690 27791 0 -1 4202560 128 0 0 0 0 0 0 0 20 0 17 0 640363646 48816128 8671 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 47672

[startup+0.304091 s]
/proc/loadavg: 3.24 2.59 2.58 2/184 7690
/proc/meminfo: memFree=19128748/36427776 swapFree=3260/7284
[pid=7690] ppid=7688 vsize=72628 CPUtime=1.47
/proc/7690/stat : 7690 (satake) S 7688 7690 27791 0 -1 4202496 16188 0 0 0 11 136 0 0 20 0 17 0 640363644 74371072 16112 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/7690/statm: 18157 16112 63 164 0 17992 0
[pid=7690/tid=7691] ppid=7688 vsize=72628 CPUtime=0
/proc/7690/task/7691/stat : 7691 (satake) S 7688 7690 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 640363644 74371072 16114 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=7690/tid=7692] ppid=7688 vsize=72628 CPUtime=0.1
/proc/7690/task/7692/stat : 7692 (satake) R 7688 7690 27791 0 -1 4202560 1088 0 0 0 0 10 0 0 20 0 17 0 640363644 74371072 16114 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=7690/tid=7693] ppid=7688 vsize=72628 CPUtime=0.1
/proc/7690/task/7693/stat : 7693 (satake) D 7688 7690 27791 0 -1 4202560 1143 0 0 0 0 10 0 0 20 0 17 0 640363644 74371072 16114 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=7690/tid=7694] ppid=7688 vsize=72628 CPUtime=0.08
/proc/7690/task/7694/stat : 7694 (satake) R 7688 7690 27791 0 -1 4202560 963 0 0 0 0 8 0 0 20 0 17 0 640363645 74371072 16117 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=7690/tid=7695] ppid=7688 vsize=72628 CPUtime=0.14
/proc/7690/task/7695/stat : 7695 (satake) R 7688 7690 27791 0 -1 4202560 1309 0 0 0 2 12 0 0 20 0 17 0 640363645 74371072 16120 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=7690/tid=7696] ppid=7688 vsize=72628 CPUtime=0.06
/proc/7690/task/7696/stat : 7696 (satake) S 7688 7690 27791 0 -1 4202560 884 0 0 0 0 6 0 0 20 0 17 0 640363645 74371072 16120 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=7690/tid=7697] ppid=7688 vsize=72628 CPUtime=0.08
/proc/7690/task/7697/stat : 7697 (satake) D 7688 7690 27791 0 -1 4202560 997 0 0 0 0 8 0 0 20 0 17 0 640363645 74371072 16120 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=7690/tid=7698] ppid=7688 vsize=72628 CPUtime=0.1
/proc/7690/task/7698/stat : 7698 (satake) R 7688 7690 27791 0 -1 4202560 991 0 0 0 0 10 0 0 20 0 17 0 640363645 74371072 16120 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=7690/tid=7699] ppid=7688 vsize=72628 CPUtime=0.12
/proc/7690/task/7699/stat : 7699 (satake) R 7688 7690 27791 0 -1 4202560 1271 0 0 0 2 10 0 0 20 0 17 0 640363645 74371072 16120 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=7690/tid=7700] ppid=7688 vsize=72628 CPUtime=0.14
/proc/7690/task/7700/stat : 7700 (satake) R 7688 7690 27791 0 -1 4202560 1366 0 0 0 2 12 0 0 20 0 17 0 640363645 74371072 16120 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=7690/tid=7701] ppid=7688 vsize=72628 CPUtime=0.12
/proc/7690/task/7701/stat : 7701 (satake) D 7688 7690 27791 0 -1 4202560 1106 0 0 0 2 10 0 0 20 0 17 0 640363645 74371072 16120 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=7690/tid=7702] ppid=7688 vsize=72628 CPUtime=0.06
/proc/7690/task/7702/stat : 7702 (satake) R 7688 7690 27791 0 -1 4202560 940 0 0 0 0 6 0 0 20 0 17 0 640363645 74371072 16120 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=7690/tid=7703] ppid=7688 vsize=72628 CPUtime=0.06
/proc/7690/task/7703/stat : 7703 (satake) D 7688 7690 27791 0 -1 4202560 926 0 0 0 0 6 0 0 20 0 17 0 640363645 74371072 16121 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134522361 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=7690/tid=7704] ppid=7688 vsize=72628 CPUtime=0.12
/proc/7690/task/7704/stat : 7704 (satake) D 7688 7690 27791 0 -1 4202560 1181 0 0 0 0 12 0 0 20 0 17 0 640363645 74371072 16121 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7705] ppid=7688 vsize=72628 CPUtime=0.06
/proc/7690/task/7705/stat : 7705 (satake) R 7688 7690 27791 0 -1 4202560 966 0 0 0 0 6 0 0 20 0 17 0 640363645 74371072 16121 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=7690/tid=7706] ppid=7688 vsize=72628 CPUtime=0.06
/proc/7690/task/7706/stat : 7706 (satake) S 7688 7690 27791 0 -1 4202560 930 0 0 0 0 6 0 0 20 0 17 0 640363646 74371072 16122 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 72628

[startup+0.703967 s]
/proc/loadavg: 3.24 2.59 2.58 2/184 7690
/proc/meminfo: memFree=19128748/36427776 swapFree=3260/7284
[pid=7690] ppid=7688 vsize=124548 CPUtime=2.98
/proc/7690/stat : 7690 (satake) S 7688 7690 27791 0 -1 4202496 26976 0 0 0 72 226 0 0 20 0 17 0 640363644 127537152 26900 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/7690/statm: 31137 26902 63 164 0 30972 0
[pid=7690/tid=7691] ppid=7688 vsize=124548 CPUtime=0
/proc/7690/task/7691/stat : 7691 (satake) S 7688 7690 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 640363644 127537152 26904 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=7690/tid=7692] ppid=7688 vsize=124548 CPUtime=0.18
/proc/7690/task/7692/stat : 7692 (satake) R 7688 7690 27791 0 -1 4202560 1725 0 0 0 2 16 0 0 20 0 17 0 640363644 127537152 26905 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=7690/tid=7693] ppid=7688 vsize=124548 CPUtime=0.2
/proc/7690/task/7693/stat : 7693 (satake) D 7688 7690 27791 0 -1 4202560 1881 0 0 0 6 14 0 0 20 0 17 0 640363644 127537152 26905 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=7690/tid=7694] ppid=7688 vsize=124548 CPUtime=0.18
/proc/7690/task/7694/stat : 7694 (satake) S 7688 7690 27791 0 -1 4202560 1730 0 0 0 6 12 0 0 20 0 17 0 640363645 127537152 26906 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=7690/tid=7695] ppid=7688 vsize=124548 CPUtime=0.26
/proc/7690/task/7695/stat : 7695 (satake) S 7688 7690 27791 0 -1 4202560 2108 0 0 0 6 20 0 0 20 0 17 0 640363645 127537152 26906 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=7690/tid=7696] ppid=7688 vsize=124548 CPUtime=0.14
/proc/7690/task/7696/stat : 7696 (satake) S 7688 7690 27791 0 -1 4202560 1575 0 0 0 2 12 0 0 20 0 17 0 640363645 127537152 26914 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=7690/tid=7697] ppid=7688 vsize=124548 CPUtime=0.2
/proc/7690/task/7697/stat : 7697 (satake) R 7688 7690 27791 0 -1 4202560 1672 0 0 0 6 14 0 0 20 0 17 0 640363645 127537152 26916 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=7690/tid=7698] ppid=7688 vsize=124548 CPUtime=0.2
/proc/7690/task/7698/stat : 7698 (satake) R 7688 7690 27791 0 -1 4202560 1771 0 0 0 2 18 0 0 20 0 17 0 640363645 127537152 26917 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=7690/tid=7699] ppid=7688 vsize=124548 CPUtime=0.2
/proc/7690/task/7699/stat : 7699 (satake) S 7688 7690 27791 0 -1 4202560 1956 0 0 0 8 12 0 0 20 0 17 0 640363645 127537152 26918 18446744073709551615 134512640 135180984 4287954992 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=7690/tid=7700] ppid=7688 vsize=124548 CPUtime=0.26

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

deleting IPC queue 1562837070
deleting IPC queue 1562869839
deleting IPC queue 1562902608
deleting IPC queue 1562935377
deleting IPC queue 1562968146
deleting IPC queue 1563000915
deleting IPC queue 1563033684
deleting IPC queue 1563066453
deleting IPC queue 1563099222
deleting IPC queue 1563131991
deleting IPC queue 1563164760
deleting IPC queue 1563197529
deleting IPC queue 1563230298
deleting IPC queue 1563263067
deleting IPC queue 1563295836
deleting IPC queue 1563328605
deleting IPC queue 1563361374
deleting IPC queue 1563394143
deleting IPC queue 1563426912
deleting IPC queue 1563459681
deleting IPC queue 1563492450
deleting IPC queue 1563525219
deleting IPC queue 1563557988
deleting IPC queue 1563590757
deleting IPC queue 1563623526
deleting IPC queue 1563656295
deleting IPC queue 1563689064
deleting IPC queue 1563721833
deleting IPC queue 1563754602
deleting IPC queue 1563787371
deleting IPC queue 1563820140
deleting IPC queue 1563852909
deleting IPC queue 1563885678
deleting IPC queue 1563918447
deleting IPC queue 1563951216
deleting IPC queue 1563983985
deleting IPC queue 1564016754
deleting IPC queue 1564049523
deleting IPC queue 1564082292
deleting IPC queue 1564115061
deleting IPC queue 1564147830
deleting IPC queue 1564180599
deleting IPC queue 1564213368
deleting IPC queue 1564246137
deleting IPC queue 1564278906
deleting IPC queue 1564311675
deleting IPC queue 1564344444
deleting IPC queue 1564377213
deleting IPC queue 1564409982
deleting IPC queue 1564442751
deleting IPC queue 1564475520
deleting IPC queue 1564508289
deleting IPC queue 1564541058
deleting IPC queue 1564573827
deleting IPC queue 1564606596
deleting IPC queue 1564639365
deleting IPC queue 1564672134
deleting IPC queue 1564704903
deleting IPC queue 1564737672
deleting IPC queue 1564770441
deleting IPC queue 1564803210
deleting IPC queue 1564835979
deleting IPC queue 1564868748
deleting IPC queue 1564901517
deleting IPC queue 1564934286
deleting IPC queue 1564967055
deleting IPC queue 1564999824
deleting IPC queue 1565032593
deleting IPC queue 1565065362
deleting IPC queue 1565098131
deleting IPC queue 1565130900
deleting IPC queue 1565163669
deleting IPC queue 1565196438
deleting IPC queue 1565229207
deleting IPC queue 1565261976
deleting IPC queue 1565294745
deleting IPC queue 1565327514
deleting IPC queue 1565360283
deleting IPC queue 1565393052
deleting IPC queue 1565425821
deleting IPC queue 1565458590
deleting IPC queue 1565491359
deleting IPC queue 1565524128
deleting IPC queue 1565556897
deleting IPC queue 1565589666
deleting IPC queue 1565622435
deleting IPC queue 1565655204
deleting IPC queue 1565687973
deleting IPC queue 1565720742
deleting IPC queue 1565753511
deleting IPC queue 1565786280
deleting IPC queue 1565819049
deleting IPC queue 1565851818
deleting IPC queue 1565884587
deleting IPC queue 1565917356
deleting IPC queue 1565950125
deleting IPC queue 1565982894
deleting IPC queue 1566015663
deleting IPC queue 1566048432
deleting IPC queue 1566081201
deleting IPC queue 1566113970
deleting IPC queue 1566146739
deleting IPC queue 1566179508
deleting IPC queue 1566212277
deleting IPC queue 1566245046
deleting IPC queue 1566277815
deleting IPC queue 1566310584
deleting IPC queue 1566343353
deleting IPC queue 1566376122
deleting IPC queue 1566408891
deleting IPC queue 1566441660
deleting IPC queue 1566474429
deleting IPC queue 1566507198
deleting IPC queue 1566539967
deleting IPC queue 1566572736
deleting IPC queue 1566605505
deleting IPC queue 1566638274
deleting IPC queue 1566671043
deleting IPC queue 1566703812
deleting IPC queue 1566736581
deleting IPC queue 1566769350
deleting IPC queue 1566802119
deleting IPC queue 1566834888
deleting IPC queue 1566867657
deleting IPC queue 1566900426
deleting IPC queue 1566933195
deleting IPC queue 1566965964
deleting IPC queue 1566998733
deleting IPC queue 1567031502
deleting IPC queue 1567064271
deleting IPC queue 1567097040
deleting IPC queue 1567129809
deleting IPC queue 1567162578
deleting IPC queue 1567195347
deleting IPC queue 1567228116
deleting IPC queue 1567260885
deleting IPC queue 1567293654
deleting IPC queue 1567326423
deleting IPC queue 1567359192
deleting IPC queue 1567391961
deleting IPC queue 1567424730
deleting IPC queue 1567457499
deleting IPC queue 1567490268
deleting IPC queue 1567523037
deleting IPC queue 1567555806
deleting IPC queue 1567588575
deleting IPC queue 1567621344
deleting IPC queue 1567654113
deleting IPC queue 1567686882
deleting IPC queue 1567719651
deleting IPC queue 1567752420
deleting IPC queue 1567785189
deleting IPC queue 1567817958
deleting IPC queue 1567850727
deleting IPC queue 1567883496
deleting IPC queue 1567916265
deleting IPC queue 1567949034
deleting IPC queue 1567981803
deleting IPC queue 1568014572
deleting IPC queue 1568047341
deleting IPC queue 1568080110
deleting IPC queue 1568112879
deleting IPC queue 1568145648
deleting IPC queue 1568178417
deleting IPC queue 1568211186
deleting IPC queue 1568243955
deleting IPC queue 1568276724
deleting IPC queue 1568309493
deleting IPC queue 1568342262
deleting IPC queue 1568375031
deleting IPC queue 1568407800
deleting IPC queue 1568440569
deleting IPC queue 1568473338
deleting IPC queue 1568506107
deleting IPC queue 1568538876
deleting IPC queue 1568571645
deleting IPC queue 1568604414
deleting IPC queue 1568637183

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 950.039
system time used= 713.645
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116675
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= 59482893
involuntary context switches= 7534606

runsolver used 4.32427 second user time and 10.9967 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 14:42:53
IDJOB=1780002
IDBENCH=70946
IDSOLVER=631
FILE ID=xenhost3-49/1780002-1244810573
PBS_JOBID=
Free space on /tmp= 7028 MiB

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

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

MD5SUM BENCH= ed7689c65135a913d97feca3ab3874eb
RANDOM SEED= 978379063

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:      19128748 kB
Buffers:        434052 kB
Cached:       14112424 kB
SwapCached:          0 kB
Active:        4078920 kB
Inactive:     10475412 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3872 kB
Writeback:           0 kB
AnonPages:        7284 kB
Mapped:           3260 kB
Slab:           688420 kB
SReclaimable:   661656 kB
SUnreclaim:      26764 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7028 MiB
End job on xenhost3-49 at 2009-06-12 14:59:35