Trace number 1780617

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-10p0.cnf
MD5SUM209f7789e3588d11f275f2003f2c6a67
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3581.48
Satisfiable
(Un)Satisfiability was proved
Number of variables259616
Number of clauses1374599
Sum of the clauses size3310772
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2982807
Number of clauses of size 3313283
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

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-1780617-1244834575/watcher-1780617-1244834575 -o /tmp/evaluation-result-1780617-1244834575/solver-1780617-1244834575 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780617-1244834575.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: 9.64 9.14 8.81 2/184 10452
/proc/meminfo: memFree=19102992/36427776 swapFree=4664/8176
[pid=10452] ppid=10450 vsize=9124 CPUtime=0
/proc/10452/stat : 10452 (satake) R 10450 10452 27791 0 -1 4202496 390 0 0 0 0 0 0 0 20 0 16 0 642763953 9342976 346 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/10452/statm: 2281 346 63 164 0 2116 0
[pid=10452/tid=10453] ppid=10450 vsize=8104 CPUtime=0
/proc/10452/task/10453/stat : 10453 (satake) S 10450 10452 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 642763953 8298496 379 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=10452/tid=10454] ppid=10450 vsize=8104 CPUtime=0
/proc/10452/task/10454/stat : 10454 (satake) D 10450 10452 27791 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 17 0 642763953 8298496 380 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10452/tid=10455] ppid=10450 vsize=8104 CPUtime=0
/proc/10452/task/10455/stat : 10455 (satake) R 10450 10452 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 17 0 642763953 8298496 380 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10452/tid=10456] ppid=10450 vsize=8104 CPUtime=0
/proc/10452/task/10456/stat : 10456 (satake) R 10450 10452 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 17 0 642763953 8298496 380 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10452/tid=10457] ppid=10450 vsize=8104 CPUtime=0
/proc/10452/task/10457/stat : 10457 (satake) S 10450 10452 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642763953 8298496 380 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=10452/tid=10458] ppid=10450 vsize=8104 CPUtime=0
/proc/10452/task/10458/stat : 10458 (satake) R 10450 10452 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 642763953 8298496 381 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10452/tid=10459] ppid=10450 vsize=8104 CPUtime=0
/proc/10452/task/10459/stat : 10459 (satake) S 10450 10452 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 642763953 8298496 382 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=10452/tid=10460] ppid=10450 vsize=8104 CPUtime=0
/proc/10452/task/10460/stat : 10460 (satake) D 10450 10452 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 642763953 8298496 382 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10452/tid=10461] ppid=10450 vsize=8104 CPUtime=0
/proc/10452/task/10461/stat : 10461 (satake) D 10450 10452 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 642763954 8298496 383 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10452/tid=10462] ppid=10450 vsize=8232 CPUtime=0
/proc/10452/task/10462/stat : 10462 (satake) D 10450 10452 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 642763954 8429568 383 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10452/tid=10463] ppid=10450 vsize=8232 CPUtime=0
/proc/10452/task/10463/stat : 10463 (satake) D 10450 10452 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 17 0 642763954 8429568 384 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10452/tid=10464] ppid=10450 vsize=8232 CPUtime=0
/proc/10452/task/10464/stat : 10464 (satake) D 10450 10452 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 642763954 8429568 386 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10452/tid=10465] ppid=10450 vsize=8232 CPUtime=0
/proc/10452/task/10465/stat : 10465 (satake) R 10450 10452 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 642763954 8429568 391 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10452/tid=10466] ppid=10450 vsize=8232 CPUtime=0
/proc/10452/task/10466/stat : 10466 (satake) R 10450 10452 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 642763954 8429568 392 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10452/tid=10467] ppid=10450 vsize=8232 CPUtime=0
/proc/10452/task/10467/stat : 10467 (satake) R 10450 10452 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 642763954 8429568 392 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10452/tid=10468] ppid=10450 vsize=8232 CPUtime=0
/proc/10452/task/10468/stat : 10468 (satake) R 10450 10452 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 642763954 8429568 393 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.036732 s]
/proc/loadavg: 9.64 9.14 8.81 2/184 10452
/proc/meminfo: memFree=19102992/36427776 swapFree=4664/8176
[pid=10452] ppid=10450 vsize=16344 CPUtime=0.14
/proc/10452/stat : 10452 (satake) S 10450 10452 27791 0 -1 4202496 1973 0 0 0 3 11 0 0 20 0 17 0 642763953 16736256 1929 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/10452/statm: 4086 1960 63 164 0 3921 0
[pid=10452/tid=10453] ppid=10450 vsize=16344 CPUtime=0
/proc/10452/task/10453/stat : 10453 (satake) S 10450 10452 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 642763953 16736256 1960 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=10452/tid=10454] ppid=10450 vsize=16344 CPUtime=0.02
/proc/10452/task/10454/stat : 10454 (satake) D 10450 10452 27791 0 -1 4202560 223 0 0 0 0 2 0 0 20 0 17 0 642763953 16736256 1960 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10452/tid=10455] ppid=10450 vsize=17368 CPUtime=0
/proc/10452/task/10455/stat : 10455 (satake) D 10450 10452 27791 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 17 0 642763953 17784832 1985 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10452/tid=10456] ppid=10450 vsize=17368 CPUtime=0.02
/proc/10452/task/10456/stat : 10456 (satake) D 10450 10452 27791 0 -1 4202560 170 0 0 0 0 2 0 0 20 0 17 0 642763953 17784832 1985 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10452/tid=10457] ppid=10450 vsize=17368 CPUtime=0
/proc/10452/task/10457/stat : 10457 (satake) D 10450 10452 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 17 0 642763953 17784832 1989 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10452/tid=10458] ppid=10450 vsize=17368 CPUtime=0.02
/proc/10452/task/10458/stat : 10458 (satake) D 10450 10452 27791 0 -1 4202560 178 0 0 0 2 0 0 0 20 0 17 0 642763953 17784832 2054 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10452/tid=10459] ppid=10450 vsize=17624 CPUtime=0
/proc/10452/task/10459/stat : 10459 (satake) D 10450 10452 27791 0 -1 4202560 91 0 0 0 0 0 0 0 20 0 17 0 642763953 18046976 2054 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10452/tid=10460] ppid=10450 vsize=17624 CPUtime=0.02
/proc/10452/task/10460/stat : 10460 (satake) R 10450 10452 27791 0 -1 4202560 174 0 0 0 0 2 0 0 20 0 17 0 642763953 18046976 2060 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10452/tid=10461] ppid=10450 vsize=17624 CPUtime=0.02
/proc/10452/task/10461/stat : 10461 (satake) D 10450 10452 27791 0 -1 4202560 151 0 0 0 2 0 0 0 20 0 17 0 642763954 18046976 2061 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10452/tid=10462] ppid=10450 vsize=17624 CPUtime=0
/proc/10452/task/10462/stat : 10462 (satake) R 10450 10452 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 17 0 642763954 18046976 2108 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10452/tid=10463] ppid=10450 vsize=17624 CPUtime=0.02
/proc/10452/task/10463/stat : 10463 (satake) D 10450 10452 27791 0 -1 4202560 159 0 0 0 2 0 0 0 20 0 17 0 642763954 18046976 2110 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10452/tid=10464] ppid=10450 vsize=17624 CPUtime=0
/proc/10452/task/10464/stat : 10464 (satake) D 10450 10452 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 642763954 18046976 2110 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10452/tid=10465] ppid=10450 vsize=17624 CPUtime=0
/proc/10452/task/10465/stat : 10465 (satake) D 10450 10452 27791 0 -1 4202560 104 0 0 0 0 0 0 0 20 0 17 0 642763954 18046976 2110 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10452/tid=10466] ppid=10450 vsize=18136 CPUtime=0
/proc/10452/task/10466/stat : 10466 (satake) R 10450 10452 27791 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 17 0 642763954 18571264 2110 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10452/tid=10467] ppid=10450 vsize=18136 CPUtime=0.02
/proc/10452/task/10467/stat : 10467 (satake) D 10450 10452 27791 0 -1 4202560 202 0 0 0 0 2 0 0 20 0 17 0 642763954 18571264 2170 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10452/tid=10468] ppid=10450 vsize=18648 CPUtime=0
/proc/10452/task/10468/stat : 10468 (satake) R 10450 10452 27791 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 17 0 642763954 19095552 2172 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 16344

[startup+0.112519 s]
/proc/loadavg: 9.64 9.14 8.81 2/184 10452
/proc/meminfo: memFree=19102992/36427776 swapFree=4664/8176
[pid=10452] ppid=10450 vsize=84312 CPUtime=0.82
/proc/10452/stat : 10452 (satake) S 10450 10452 27791 0 -1 4202496 14052 0 0 0 6 76 0 0 20 0 17 0 642763953 86335488 14008 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/10452/statm: 21078 14009 63 164 0 20913 0
[pid=10452/tid=10453] ppid=10450 vsize=84312 CPUtime=0
/proc/10452/task/10453/stat : 10453 (satake) S 10450 10452 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 642763953 86335488 14009 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=10452/tid=10454] ppid=10450 vsize=84312 CPUtime=0.08
/proc/10452/task/10454/stat : 10454 (satake) R 10450 10452 27791 0 -1 4202560 1721 0 0 0 0 8 0 0 20 0 17 0 642763953 86335488 14009 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10452/tid=10455] ppid=10450 vsize=84312 CPUtime=0.06
/proc/10452/task/10455/stat : 10455 (satake) R 10450 10452 27791 0 -1 4202560 1163 0 0 0 0 6 0 0 20 0 17 0 642763953 86335488 14009 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10452/tid=10456] ppid=10450 vsize=84312 CPUtime=0.08
/proc/10452/task/10456/stat : 10456 (satake) R 10450 10452 27791 0 -1 4202560 1328 0 0 0 0 8 0 0 20 0 17 0 642763953 86335488 14009 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10452/tid=10457] ppid=10450 vsize=84312 CPUtime=0
/proc/10452/task/10457/stat : 10457 (satake) D 10450 10452 27791 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 17 0 642763953 86335488 14009 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10452/tid=10458] ppid=10450 vsize=84312 CPUtime=0.08
/proc/10452/task/10458/stat : 10458 (satake) R 10450 10452 27791 0 -1 4202560 1158 0 0 0 2 6 0 0 20 0 17 0 642763953 86335488 14009 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10452/tid=10459] ppid=10450 vsize=84312 CPUtime=0.06
/proc/10452/task/10459/stat : 10459 (satake) D 10450 10452 27791 0 -1 4202560 997 0 0 0 0 6 0 0 20 0 17 0 642763953 86335488 14009 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10452/tid=10460] ppid=10450 vsize=84312 CPUtime=0.06
/proc/10452/task/10460/stat : 10460 (satake) R 10450 10452 27791 0 -1 4202560 832 0 0 0 0 6 0 0 20 0 17 0 642763953 86335488 14009 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10452/tid=10461] ppid=10450 vsize=84312 CPUtime=0.08
/proc/10452/task/10461/stat : 10461 (satake) D 10450 10452 27791 0 -1 4202560 1040 0 0 0 2 6 0 0 20 0 17 0 642763954 86335488 14009 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10452/tid=10462] ppid=10450 vsize=84312 CPUtime=0
/proc/10452/task/10462/stat : 10462 (satake) D 10450 10452 27791 0 -1 4202560 81 0 0 0 0 0 0 0 20 0 17 0 642763954 86335488 14009 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10452/tid=10463] ppid=10450 vsize=84312 CPUtime=0.08
/proc/10452/task/10463/stat : 10463 (satake) D 10450 10452 27791 0 -1 4202560 1161 0 0 0 2 6 0 0 20 0 17 0 642763954 86335488 14009 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10452/tid=10464] ppid=10450 vsize=84312 CPUtime=0.02
/proc/10452/task/10464/stat : 10464 (satake) D 10450 10452 27791 0 -1 4202560 425 0 0 0 0 2 0 0 20 0 17 0 642763954 86335488 14009 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10452/tid=10465] ppid=10450 vsize=84312 CPUtime=0
/proc/10452/task/10465/stat : 10465 (satake) D 10450 10452 27791 0 -1 4202560 141 0 0 0 0 0 0 0 20 0 17 0 642763954 86335488 14009 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10452/tid=10466] ppid=10450 vsize=84312 CPUtime=0.06
/proc/10452/task/10466/stat : 10466 (satake) D 10450 10452 27791 0 -1 4202560 1020 0 0 0 0 6 0 0 20 0 17 0 642763954 86335488 14009 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10452/tid=10467] ppid=10450 vsize=84312 CPUtime=0.08
/proc/10452/task/10467/stat : 10467 (satake) D 10450 10452 27791 0 -1 4202560 1732 0 0 0 0 8 0 0 20 0 17 0 642763954 86335488 14009 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10452/tid=10468] ppid=10450 vsize=84312 CPUtime=0.06
/proc/10452/task/10468/stat : 10468 (satake) D 10450 10452 27791 0 -1 4202560 1042 0 0 0 0 6 0 0 20 0 17 0 642763954 86335488 14009 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 84312

[startup+0.303795 s]
/proc/loadavg: 9.64 9.14 8.81 2/184 10452
/proc/meminfo: memFree=19102992/36427776 swapFree=4664/8176
[pid=10452] ppid=10450 vsize=297256 CPUtime=2.51
/proc/10452/stat : 10452 (satake) S 10450 10452 27791 0 -1 4202496 53258 0 0 0 6 245 0 0 20 0 17 0 642763953 304390144 53214 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/10452/statm: 74314 53214 63 164 0 74149 0
[pid=10452/tid=10453] ppid=10450 vsize=297256 CPUtime=0
/proc/10452/task/10453/stat : 10453 (satake) S 10450 10452 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 642763953 304390144 53214 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=10452/tid=10454] ppid=10450 vsize=297256 CPUtime=0.24
/proc/10452/task/10454/stat : 10454 (satake) D 10450 10452 27791 0 -1 4202560 6615 0 0 0 0 24 0 0 20 0 17 0 642763953 304390144 53214 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10452/tid=10455] ppid=10450 vsize=297256 CPUtime=0.14
/proc/10452/task/10455/stat : 10455 (satake) D 10450 10452 27791 0 -1 4202560 2905 0 0 0 0 14 0 0 20 0 17 0 642763953 304390144 53214 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10452/tid=10456] ppid=10450 vsize=297256 CPUtime=0.22
/proc/10452/task/10456/stat : 10456 (satake) D 10450 10452 27791 0 -1 4202560 5200 0 0 0 0 22 0 0 20 0 17 0 642763953 304390144 53214 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10452/tid=10457] ppid=10450 vsize=297256 CPUtime=0.08
/proc/10452/task/10457/stat : 10457 (satake) D 10450 10452 27791 0 -1 4202560 1864 0 0 0 0 8 0 0 20 0 17 0 642763953 304390144 53214 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10452/tid=10458] ppid=10450 vsize=297256 CPUtime=0.22
/proc/10452/task/10458/stat : 10458 (satake) R 10450 10452 27791 0 -1 4202560 4601 0 0 0 2 20 0 0 20 0 17 0 642763953 304390144 53214 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10452/tid=10459] ppid=10450 vsize=297256 CPUtime=0.14
/proc/10452/task/10459/stat : 10459 (satake) D 10450 10452 27791 0 -1 4202560 2404 0 0 0 0 14 0 0 20 0 17 0 642763953 304390144 53214 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10452/tid=10460] ppid=10450 vsize=297256 CPUtime=0.14
/proc/10452/task/10460/stat : 10460 (satake) D 10450 10452 27791 0 -1 4202560 2650 0 0 0 0 14 0 0 20 0 17 0 642763953 304390144 53214 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10452/tid=10461] ppid=10450 vsize=297256 CPUtime=0.12
/proc/10452/task/10461/stat : 10461 (satake) D 10450 10452 27791 0 -1 4202560 2129 0 0 0 2 10 0 0 20 0 17 0 642763954 304390144 53214 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10452/tid=10462] ppid=10450 vsize=297256 CPUtime=0.1
/proc/10452/task/10462/stat : 10462 (satake) D 10450 10452 27791 0 -1 4202560 1954 0 0 0 0 10 0 0 20 0 17 0 642763954 304390144 53214 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10452/tid=10463] ppid=10450 vsize=297256 CPUtime=0.22
/proc/10452/task/10463/stat : 10463 (satake) D 10450 10452 27791 0 -1 4202560 4522 0 0 0 2 20 0 0 20 0 17 0 642763954 304390144 53214 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10452/tid=10464] ppid=10450 vsize=297256 CPUtime=0.1
/proc/10452/task/10464/stat : 10464 (satake) D 10450 10452 27791 0 -1 4202560 2118 0 0 0 0 10 0 0 20 0 17 0 642763954 304390144 53214 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10452/tid=10465] ppid=10450 vsize=297256 CPUtime=0.08
/proc/10452/task/10465/stat : 10465 (satake) D 10450 10452 27791 0 -1 4202560 1706 0 0 0 0 8 0 0 20 0 17 0 642763954 304390144 53214 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10452/tid=10466] ppid=10450 vsize=297256 CPUtime=0.22
/proc/10452/task/10466/stat : 10466 (satake) D 10450 10452 27791 0 -1 4202560 3921 0 0 0 0 22 0 0 20 0 17 0 642763954 304390144 53214 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10452/tid=10467] ppid=10450 vsize=297256 CPUtime=0.22
/proc/10452/task/10467/stat : 10467 (satake) D 10450 10452 27791 0 -1 4202560 6613 0 0 0 0 22 0 0 20 0 17 0 642763954 304390144 53214 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10452/tid=10468] ppid=10450 vsize=297256 CPUtime=0.22
/proc/10452/task/10468/stat : 10468 (satake) D 10450 10452 27791 0 -1 4202560 3926 0 0 0 0 22 0 0 20 0 17 0 642763954 304390144 53214 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 297256

[startup+0.705716 s]
/proc/loadavg: 9.64 9.14 8.81 2/184 10452
/proc/meminfo: memFree=19102992/36427776 swapFree=4664/8176
[pid=10452] ppid=10450 vsize=380380 CPUtime=5.78
/proc/10452/stat : 10452 (satake) S 10450 10452 27791 0 -1 4202496 74473 0 0 0 6 572 0 0 20 0 17 0 642763953 389509120 74429 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/10452/statm: 95128 74437 63 164 0 94963 0
[pid=10452/tid=10453] ppid=10450 vsize=380512 CPUtime=0
/proc/10452/task/10453/stat : 10453 (satake) S 10450 10452 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 642763953 389644288 74438 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=10452/tid=10454] ppid=10450 vsize=380512 CPUtime=0.5
/proc/10452/task/10454/stat : 10454 (satake) R 10450 10452 27791 0 -1 4202560 8264 0 0 0 0 50 0 0 20 0 17 0 642763953 389644288 74438 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10452/tid=10455] ppid=10450 vsize=380512 CPUtime=0.3
/proc/10452/task/10455/stat : 10455 (satake) R 10450 10452 27791 0 -1 4202560 4242 0 0 0 0 30 0 0 20 0 17 0 642763953 389644288 74438 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10452/tid=10456] ppid=10450 vsize=380512 CPUtime=0.52
/proc/10452/task/10456/stat : 10456 (satake) R 10450 10452 27791 0 -1 4202560 6958 0 0 0 0 52 0 0 20 0 17 0 642763953 389644288 74438 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10452/tid=10457] ppid=10450 vsize=380512 CPUtime=0.24
/proc/10452/task/10457/stat : 10457 (satake) R 10450 10452 27791 0 -1 4202560 2848 0 0 0 0 24 0 0 20 0 17 0 642763953 389644288 74438 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10452/tid=10458] ppid=10450 vsize=380512 CPUtime=0.5
/proc/10452/task/10458/stat : 10458 (satake) R 10450 10452 27791 0 -1 4202560 6475 0 0 0 2 48 0 0 20 0 17 0 642763953 389644288 74440 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10452/tid=10459] ppid=10450 vsize=380512 CPUtime=0.3
/proc/10452/task/10459/stat : 10459 (satake) R 10450 10452 27791 0 -1 4202560 3406 0 0 0 0 30 0 0 20 0 17 0 642763953 389644288 74445 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10452/tid=10460] ppid=10450 vsize=380512 CPUtime=0.3
/proc/10452/task/10460/stat : 10460 (satake) R 10450 10452 27791 0 -1 4202560 3781 0 0 0 0 30 0 0 20 0 17 0 642763953 389644288 74446 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10452/tid=10461] ppid=10450 vsize=380512 CPUtime=0.28
/proc/10452/task/10461/stat : 10461 (satake) R 10450 10452 27791 0 -1 4202560 3305 0 0 0 2 26 0 0 20 0 17 0 642763954 389644288 74447 18446744073709551615 134512640 135180984 4291226448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10452/tid=10462] ppid=10450 vsize=380512 CPUtime=0.26

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

deleting IPC queue 1906769998
deleting IPC queue 1906802767
deleting IPC queue 1906835536
deleting IPC queue 1906868305
deleting IPC queue 1906901074
deleting IPC queue 1906933843
deleting IPC queue 1906966612
deleting IPC queue 1906999381
deleting IPC queue 1907032150
deleting IPC queue 1907064919
deleting IPC queue 1907097688
deleting IPC queue 1907130457
deleting IPC queue 1907163226
deleting IPC queue 1907195995
deleting IPC queue 1907228764
deleting IPC queue 1907261533
deleting IPC queue 1907294302
deleting IPC queue 1907327071
deleting IPC queue 1907359840
deleting IPC queue 1907392609
deleting IPC queue 1907425378
deleting IPC queue 1907458147
deleting IPC queue 1907490916
deleting IPC queue 1907523685
deleting IPC queue 1907556454
deleting IPC queue 1907589223
deleting IPC queue 1907621992
deleting IPC queue 1907654761
deleting IPC queue 1907687530
deleting IPC queue 1907720299
deleting IPC queue 1907753068
deleting IPC queue 1907785837
deleting IPC queue 1907818606
deleting IPC queue 1907851375
deleting IPC queue 1907884144
deleting IPC queue 1907916913
deleting IPC queue 1907949682
deleting IPC queue 1907982451
deleting IPC queue 1908015220
deleting IPC queue 1908047989
deleting IPC queue 1908080758
deleting IPC queue 1908113527
deleting IPC queue 1908146296
deleting IPC queue 1908179065
deleting IPC queue 1908211834
deleting IPC queue 1908244603
deleting IPC queue 1908277372
deleting IPC queue 1908310141
deleting IPC queue 1908342910
deleting IPC queue 1908375679
deleting IPC queue 1908408448
deleting IPC queue 1908441217
deleting IPC queue 1908473986
deleting IPC queue 1908506755
deleting IPC queue 1908539524
deleting IPC queue 1908572293
deleting IPC queue 1908605062
deleting IPC queue 1908637831
deleting IPC queue 1908670600
deleting IPC queue 1908703369
deleting IPC queue 1908736138
deleting IPC queue 1908768907
deleting IPC queue 1908801676
deleting IPC queue 1908834445
deleting IPC queue 1908867214
deleting IPC queue 1908899983
deleting IPC queue 1908932752
deleting IPC queue 1908965521
deleting IPC queue 1908998290
deleting IPC queue 1909031059
deleting IPC queue 1909063828
deleting IPC queue 1909096597
deleting IPC queue 1909129366
deleting IPC queue 1909162135
deleting IPC queue 1909194904
deleting IPC queue 1909227673
deleting IPC queue 1909260442
deleting IPC queue 1909293211
deleting IPC queue 1909325980
deleting IPC queue 1909358749
deleting IPC queue 1909391518
deleting IPC queue 1909424287
deleting IPC queue 1909457056
deleting IPC queue 1909489825
deleting IPC queue 1909522594
deleting IPC queue 1909555363
deleting IPC queue 1909588132
deleting IPC queue 1909620901
deleting IPC queue 1909653670
deleting IPC queue 1909686439
deleting IPC queue 1909719208
deleting IPC queue 1909751977
deleting IPC queue 1909784746
deleting IPC queue 1909817515
deleting IPC queue 1909850284
deleting IPC queue 1909883053
deleting IPC queue 1909915822
deleting IPC queue 1909948591
deleting IPC queue 1909981360
deleting IPC queue 1910014129
deleting IPC queue 1910046898
deleting IPC queue 1910079667
deleting IPC queue 1910112436
deleting IPC queue 1910145205
deleting IPC queue 1910177974
deleting IPC queue 1910210743
deleting IPC queue 1910243512
deleting IPC queue 1910276281
deleting IPC queue 1910309050
deleting IPC queue 1910341819
deleting IPC queue 1910374588
deleting IPC queue 1910407357
deleting IPC queue 1910440126
deleting IPC queue 1910472895
deleting IPC queue 1910505664
deleting IPC queue 1910538433
deleting IPC queue 1910571202
deleting IPC queue 1910603971
deleting IPC queue 1910636740
deleting IPC queue 1910669509
deleting IPC queue 1910702278
deleting IPC queue 1910735047
deleting IPC queue 1910767816
deleting IPC queue 1910800585
deleting IPC queue 1910833354
deleting IPC queue 1910866123
deleting IPC queue 1910898892
deleting IPC queue 1910931661
deleting IPC queue 1910964430
deleting IPC queue 1910997199
deleting IPC queue 1911029968
deleting IPC queue 1911062737
deleting IPC queue 1911095506
deleting IPC queue 1911128275
deleting IPC queue 1911161044
deleting IPC queue 1911193813
deleting IPC queue 1911226582
deleting IPC queue 1911259351
deleting IPC queue 1911292120
deleting IPC queue 1911324889
deleting IPC queue 1911357658
deleting IPC queue 1911390427
deleting IPC queue 1911423196
deleting IPC queue 1911455965
deleting IPC queue 1911488734
deleting IPC queue 1911521503
deleting IPC queue 1911554272
deleting IPC queue 1911587041
deleting IPC queue 1911619810
deleting IPC queue 1911652579
deleting IPC queue 1911685348
deleting IPC queue 1911718117
deleting IPC queue 1911750886
deleting IPC queue 1911783655
deleting IPC queue 1911816424
deleting IPC queue 1911849193
deleting IPC queue 1911881962
deleting IPC queue 1911914731
deleting IPC queue 1911947500
deleting IPC queue 1911980269
deleting IPC queue 1912013038
deleting IPC queue 1912045807
deleting IPC queue 1912078576
deleting IPC queue 1912111345
deleting IPC queue 1912144114
deleting IPC queue 1912176883
deleting IPC queue 1912209652
deleting IPC queue 1912242421
deleting IPC queue 1912275190
deleting IPC queue 1912307959
deleting IPC queue 1912340728
deleting IPC queue 1912373497
deleting IPC queue 1912406266
deleting IPC queue 1912439035
deleting IPC queue 1912471804
deleting IPC queue 1912504573
deleting IPC queue 1912537342
deleting IPC queue 1912570111

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3930.53
system time used= 330.305
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 598030
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= 27547799
involuntary context switches= 8839667

runsolver used 2.78817 second user time and 7.35246 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 21:22:55
IDJOB=1780617
IDBENCH=71037
IDSOLVER=631
FILE ID=xenhost3-49/1780617-1244834575
PBS_JOBID=
Free space on /tmp= 7004 MiB

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

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

MD5SUM BENCH= 209f7789e3588d11f275f2003f2c6a67
RANDOM SEED= 1805580527

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:      19102992 kB
Buffers:        435448 kB
Cached:       14137912 kB
SwapCached:          0 kB
Active:        4081116 kB
Inactive:     10500920 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           26996 kB
Writeback:           0 kB
AnonPages:        8176 kB
Mapped:           4000 kB
Slab:           690012 kB
SReclaimable:   663024 kB
SUnreclaim:      26988 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= 7003 MiB
End job on xenhost3-49 at 2009-06-12 21:32:47