Trace number 1780422

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) 8357.85 805.331

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-15-10p1.cnf
MD5SUM558e9ecf39a7773e94f4b47eef706f44
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3352.07
Satisfiable
(Un)Satisfiability was proved
Number of variables199996
Number of clauses1019200
Sum of the clauses size2430990
Maximum clause length10
Minimum clause length1
Number of clauses of size 110249
Number of clauses of size 2758992
Number of clauses of size 3198999
Number of clauses of size 45660
Number of clauses of size 522640
Number of clauses of size over 522660

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

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


[startup+0 s]
/proc/loadavg: 7.17 8.81 9.53 2/184 9598
/proc/meminfo: memFree=19109308/36427776 swapFree=3836/7828
[pid=9598] ppid=9596 vsize=9068 CPUtime=0
/proc/9598/stat : 9598 (satake) D 9596 9598 27791 0 -1 4202496 429 0 0 0 0 0 0 0 20 0 16 0 641953464 9285632 383 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134702225 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/9598/statm: 2267 384 63 164 0 2102 0
[pid=9598/tid=9599] ppid=9596 vsize=10092 CPUtime=0
/proc/9598/task/9599/stat : 9599 (satake) S 9596 9598 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 16 0 641953464 10334208 416 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=9598/tid=9600] ppid=9596 vsize=10092 CPUtime=0
/proc/9598/task/9600/stat : 9600 (satake) R 9596 9598 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 16 0 641953464 10334208 416 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9598/tid=9601] ppid=9596 vsize=10092 CPUtime=0
/proc/9598/task/9601/stat : 9601 (satake) R 9596 9598 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 16 0 641953464 10334208 416 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9598/tid=9602] ppid=9596 vsize=10092 CPUtime=0
/proc/9598/task/9602/stat : 9602 (satake) R 9596 9598 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 16 0 641953464 10334208 416 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9598/tid=9603] ppid=9596 vsize=10092 CPUtime=0
/proc/9598/task/9603/stat : 9603 (satake) R 9596 9598 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 16 0 641953464 10334208 416 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9598/tid=9604] ppid=9596 vsize=10092 CPUtime=0
/proc/9598/task/9604/stat : 9604 (satake) R 9596 9598 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 16 0 641953464 10334208 416 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9598/tid=9605] ppid=9596 vsize=10092 CPUtime=0
/proc/9598/task/9605/stat : 9605 (satake) S 9596 9598 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 641953464 10334208 418 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=9598/tid=9606] ppid=9596 vsize=10092 CPUtime=0
/proc/9598/task/9606/stat : 9606 (satake) D 9596 9598 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 16 0 641953464 10334208 419 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9598/tid=9607] ppid=9596 vsize=9200 CPUtime=0
/proc/9598/task/9607/stat : 9607 (satake) S 9596 9598 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 641953464 9420800 422 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=9598/tid=9608] ppid=9596 vsize=9200 CPUtime=0
/proc/9598/task/9608/stat : 9608 (satake) S 9596 9598 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 641953465 9420800 425 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=9598/tid=9609] ppid=9596 vsize=9200 CPUtime=0
/proc/9598/task/9609/stat : 9609 (satake) R 9596 9598 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 16 0 641953465 9420800 426 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9598/tid=9610] ppid=9596 vsize=9200 CPUtime=0
/proc/9598/task/9610/stat : 9610 (satake) R 9596 9598 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 641953465 9420800 427 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9598/tid=9611] ppid=9596 vsize=9200 CPUtime=0
/proc/9598/task/9611/stat : 9611 (satake) R 9596 9598 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 16 0 641953465 9420800 427 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9598/tid=9612] ppid=9596 vsize=9200 CPUtime=0
/proc/9598/task/9612/stat : 9612 (satake) R 9596 9598 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 16 0 641953465 9420800 427 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=9598/tid=9613] ppid=9596 vsize=9200 CPUtime=0
/proc/9598/task/9613/stat : 9613 (satake) R 9596 9598 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 16 0 641953465 9420800 427 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.042942 s]
/proc/loadavg: 7.17 8.81 9.53 2/184 9598
/proc/meminfo: memFree=19109308/36427776 swapFree=3836/7828
[pid=9598] ppid=9596 vsize=22744 CPUtime=0.19
/proc/9598/stat : 9598 (satake) S 9596 9598 27791 0 -1 4202496 2879 0 0 0 3 16 0 0 20 0 17 0 641953464 23289856 2817 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/9598/statm: 5686 2817 63 164 0 5521 0
[pid=9598/tid=9599] ppid=9596 vsize=22744 CPUtime=0
/proc/9598/task/9599/stat : 9599 (satake) S 9596 9598 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 641953464 23289856 2817 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=9598/tid=9600] ppid=9596 vsize=23768 CPUtime=0.02
/proc/9598/task/9600/stat : 9600 (satake) D 9596 9598 27791 0 -1 4202560 284 0 0 0 0 2 0 0 20 0 17 0 641953464 24338432 2817 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9598/tid=9601] ppid=9596 vsize=23768 CPUtime=0
/proc/9598/task/9601/stat : 9601 (satake) D 9596 9598 27791 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 17 0 641953464 24338432 2819 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9598/tid=9602] ppid=9596 vsize=23768 CPUtime=0.02
/proc/9598/task/9602/stat : 9602 (satake) R 9596 9598 27791 0 -1 4202560 274 0 0 0 0 2 0 0 20 0 17 0 641953464 24338432 2825 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9598/tid=9603] ppid=9596 vsize=23768 CPUtime=0
/proc/9598/task/9603/stat : 9603 (satake) R 9596 9598 27791 0 -1 4202560 229 0 0 0 0 0 0 0 20 0 17 0 641953464 24338432 2825 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9598/tid=9604] ppid=9596 vsize=23768 CPUtime=0.02
/proc/9598/task/9604/stat : 9604 (satake) R 9596 9598 27791 0 -1 4202560 290 0 0 0 0 2 0 0 20 0 17 0 641953464 24338432 2825 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9598/tid=9605] ppid=9596 vsize=23768 CPUtime=0
/proc/9598/task/9605/stat : 9605 (satake) R 9596 9598 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 17 0 641953464 24338432 2826 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9598/tid=9606] ppid=9596 vsize=23768 CPUtime=0
/proc/9598/task/9606/stat : 9606 (satake) R 9596 9598 27791 0 -1 4202560 177 0 0 0 0 0 0 0 20 0 17 0 641953464 24338432 2826 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9598/tid=9607] ppid=9596 vsize=23768 CPUtime=0
/proc/9598/task/9607/stat : 9607 (satake) R 9596 9598 27791 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 17 0 641953464 24338432 2826 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9598/tid=9608] ppid=9596 vsize=23768 CPUtime=0
/proc/9598/task/9608/stat : 9608 (satake) R 9596 9598 27791 0 -1 4202560 242 0 0 0 0 0 0 0 20 0 17 0 641953465 24338432 2826 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9598/tid=9609] ppid=9596 vsize=23768 CPUtime=0.02
/proc/9598/task/9609/stat : 9609 (satake) R 9596 9598 27791 0 -1 4202560 240 0 0 0 0 2 0 0 20 0 17 0 641953465 24338432 2826 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9598/tid=9610] ppid=9596 vsize=23768 CPUtime=0.02
/proc/9598/task/9610/stat : 9610 (satake) R 9596 9598 27791 0 -1 4202560 215 0 0 0 2 0 0 0 20 0 17 0 641953465 24338432 2826 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9598/tid=9611] ppid=9596 vsize=23768 CPUtime=0
/proc/9598/task/9611/stat : 9611 (satake) R 9596 9598 27791 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 17 0 641953465 24338432 2832 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9598/tid=9612] ppid=9596 vsize=23768 CPUtime=0.02
/proc/9598/task/9612/stat : 9612 (satake) R 9596 9598 27791 0 -1 4202560 206 0 0 0 0 2 0 0 20 0 17 0 641953465 24338432 2837 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=9598/tid=9613] ppid=9596 vsize=23768 CPUtime=0.02
/proc/9598/task/9613/stat : 9613 (satake) R 9596 9598 27791 0 -1 4202560 219 0 0 0 0 2 0 0 20 0 17 0 641953465 24338432 2852 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 22744

[startup+0.102992 s]
/proc/loadavg: 7.17 8.81 9.53 2/184 9598
/proc/meminfo: memFree=19109308/36427776 swapFree=3836/7828
[pid=9598] ppid=9596 vsize=93912 CPUtime=0.65
/proc/9598/stat : 9598 (satake) S 9596 9598 27791 0 -1 4202496 14168 0 0 0 6 59 0 0 20 0 17 0 641953464 96165888 14108 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/9598/statm: 23478 14112 63 164 0 23313 0
[pid=9598/tid=9599] ppid=9596 vsize=93912 CPUtime=0
/proc/9598/task/9599/stat : 9599 (satake) S 9596 9598 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 641953464 96165888 14112 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=9598/tid=9600] ppid=9596 vsize=93912 CPUtime=0.06
/proc/9598/task/9600/stat : 9600 (satake) R 9596 9598 27791 0 -1 4202560 1206 0 0 0 0 6 0 0 20 0 17 0 641953464 96165888 14113 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9598/tid=9601] ppid=9596 vsize=93912 CPUtime=0
/proc/9598/task/9601/stat : 9601 (satake) R 9596 9598 27791 0 -1 4202560 308 0 0 0 0 0 0 0 20 0 17 0 641953464 96165888 14115 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9598/tid=9602] ppid=9596 vsize=93912 CPUtime=0.06
/proc/9598/task/9602/stat : 9602 (satake) R 9596 9598 27791 0 -1 4202560 1161 0 0 0 0 6 0 0 20 0 17 0 641953464 96165888 14117 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9598/tid=9603] ppid=9596 vsize=93912 CPUtime=0.06
/proc/9598/task/9603/stat : 9603 (satake) R 9596 9598 27791 0 -1 4202560 1625 0 0 0 0 6 0 0 20 0 17 0 641953464 96165888 14118 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9598/tid=9604] ppid=9596 vsize=93912 CPUtime=0.06
/proc/9598/task/9604/stat : 9604 (satake) R 9596 9598 27791 0 -1 4202560 1626 0 0 0 0 6 0 0 20 0 17 0 641953464 96165888 14118 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9598/tid=9605] ppid=9596 vsize=93912 CPUtime=0
/proc/9598/task/9605/stat : 9605 (satake) R 9596 9598 27791 0 -1 4202560 230 0 0 0 0 0 0 0 20 0 17 0 641953464 96165888 14119 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9598/tid=9606] ppid=9596 vsize=93912 CPUtime=0.02
/proc/9598/task/9606/stat : 9606 (satake) R 9596 9598 27791 0 -1 4202560 440 0 0 0 0 2 0 0 20 0 17 0 641953464 96165888 14119 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9598/tid=9607] ppid=9596 vsize=93912 CPUtime=0.04
/proc/9598/task/9607/stat : 9607 (satake) R 9596 9598 27791 0 -1 4202560 1043 0 0 0 0 4 0 0 20 0 17 0 641953464 96165888 14121 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9598/tid=9608] ppid=9596 vsize=93912 CPUtime=0.06
/proc/9598/task/9608/stat : 9608 (satake) R 9596 9598 27791 0 -1 4202560 1281 0 0 0 0 6 0 0 20 0 17 0 641953465 96165888 14140 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9598/tid=9609] ppid=9596 vsize=93912 CPUtime=0.06
/proc/9598/task/9609/stat : 9609 (satake) R 9596 9598 27791 0 -1 4202560 1383 0 0 0 0 6 0 0 20 0 17 0 641953465 96165888 14152 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9598/tid=9610] ppid=9596 vsize=93912 CPUtime=0.04
/proc/9598/task/9610/stat : 9610 (satake) R 9596 9598 27791 0 -1 4202560 931 0 0 0 2 2 0 0 20 0 17 0 641953465 96165888 14174 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9598/tid=9611] ppid=9596 vsize=93912 CPUtime=0.02
/proc/9598/task/9611/stat : 9611 (satake) R 9596 9598 27791 0 -1 4202560 311 0 0 0 0 2 0 0 20 0 17 0 641953465 96165888 14194 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9598/tid=9612] ppid=9596 vsize=93912 CPUtime=0.06
/proc/9598/task/9612/stat : 9612 (satake) R 9596 9598 27791 0 -1 4202560 1174 0 0 0 0 6 0 0 20 0 17 0 641953465 96165888 14210 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=9598/tid=9613] ppid=9596 vsize=93912 CPUtime=0.06
/proc/9598/task/9613/stat : 9613 (satake) R 9596 9598 27791 0 -1 4202560 1265 0 0 0 0 6 0 0 20 0 17 0 641953465 96165888 14232 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 93912

[startup+0.303015 s]
/proc/loadavg: 7.17 8.81 9.53 2/184 9598
/proc/meminfo: memFree=19109308/36427776 swapFree=3836/7828
[pid=9598] ppid=9596 vsize=267532 CPUtime=2.14
/proc/9598/stat : 9598 (satake) S 9596 9598 27791 0 -1 4202496 51152 0 0 0 6 208 0 0 20 0 17 0 641953464 273952768 51090 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/9598/statm: 66883 51094 63 164 0 66718 0
[pid=9598/tid=9599] ppid=9596 vsize=267532 CPUtime=0
/proc/9598/task/9599/stat : 9599 (satake) S 9596 9598 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 641953464 273952768 51094 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=9598/tid=9600] ppid=9596 vsize=267532 CPUtime=0.12
/proc/9598/task/9600/stat : 9600 (satake) R 9596 9598 27791 0 -1 4202560 3556 0 0 0 0 12 0 0 20 0 17 0 641953464 273952768 51094 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9598/tid=9601] ppid=9596 vsize=267532 CPUtime=0.08
/proc/9598/task/9601/stat : 9601 (satake) R 9596 9598 27791 0 -1 4202560 1863 0 0 0 0 8 0 0 20 0 17 0 641953464 273952768 51094 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9598/tid=9602] ppid=9596 vsize=267532 CPUtime=0.12
/proc/9598/task/9602/stat : 9602 (satake) D 9596 9598 27791 0 -1 4202560 2798 0 0 0 0 12 0 0 20 0 17 0 641953464 273952768 51094 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9598/tid=9603] ppid=9596 vsize=267532 CPUtime=0.2
/proc/9598/task/9603/stat : 9603 (satake) D 9596 9598 27791 0 -1 4202560 5151 0 0 0 0 20 0 0 20 0 17 0 641953464 273952768 51096 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9598/tid=9604] ppid=9596 vsize=267532 CPUtime=0.14
/proc/9598/task/9604/stat : 9604 (satake) D 9596 9598 27791 0 -1 4202560 3388 0 0 0 0 14 0 0 20 0 17 0 641953464 273952768 51099 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9598/tid=9605] ppid=9596 vsize=267532 CPUtime=0.08
/proc/9598/task/9605/stat : 9605 (satake) D 9596 9598 27791 0 -1 4202560 2256 0 0 0 0 8 0 0 20 0 17 0 641953464 273952768 51099 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9598/tid=9606] ppid=9596 vsize=267532 CPUtime=0.1
/proc/9598/task/9606/stat : 9606 (satake) R 9596 9598 27791 0 -1 4202560 2384 0 0 0 0 10 0 0 20 0 17 0 641953464 273952768 51101 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9598/tid=9607] ppid=9596 vsize=267532 CPUtime=0.12
/proc/9598/task/9607/stat : 9607 (satake) D 9596 9598 27791 0 -1 4202560 3164 0 0 0 0 12 0 0 20 0 17 0 641953464 273952768 51106 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9598/tid=9608] ppid=9596 vsize=267532 CPUtime=0.2
/proc/9598/task/9608/stat : 9608 (satake) R 9596 9598 27791 0 -1 4202560 4931 0 0 0 0 20 0 0 20 0 17 0 641953465 273952768 51107 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9598/tid=9609] ppid=9596 vsize=267532 CPUtime=0.2
/proc/9598/task/9609/stat : 9609 (satake) R 9596 9598 27791 0 -1 4202560 4900 0 0 0 0 20 0 0 20 0 17 0 641953465 273952768 51108 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9598/tid=9610] ppid=9596 vsize=267532 CPUtime=0.12
/proc/9598/task/9610/stat : 9610 (satake) R 9596 9598 27791 0 -1 4202560 3067 0 0 0 2 10 0 0 20 0 17 0 641953465 273952768 51108 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9598/tid=9611] ppid=9596 vsize=267532 CPUtime=0.08
/proc/9598/task/9611/stat : 9611 (satake) R 9596 9598 27791 0 -1 4202560 2238 0 0 0 0 8 0 0 20 0 17 0 641953465 273952768 51108 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9598/tid=9612] ppid=9596 vsize=267532 CPUtime=0.2
/proc/9598/task/9612/stat : 9612 (satake) S 9596 9598 27791 0 -1 4202560 4882 0 0 0 0 20 0 0 20 0 17 0 641953465 273952768 51108 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=9598/tid=9613] ppid=9596 vsize=267532 CPUtime=0.2
/proc/9598/task/9613/stat : 9613 (satake) R 9596 9598 27791 0 -1 4202560 4565 0 0 0 0 20 0 0 20 0 17 0 641953465 273952768 51125 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 267532

[startup+0.703277 s]
/proc/loadavg: 7.17 8.81 9.53 2/184 9598
/proc/meminfo: memFree=19109308/36427776 swapFree=3836/7828
[pid=9598] ppid=9596 vsize=329816 CPUtime=4.74
/proc/9598/stat : 9598 (satake) S 9596 9598 27791 0 -1 4202496 66376 0 0 0 6 468 0 0 20 0 17 0 641953464 337731584 66315 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/9598/statm: 82454 66320 63 164 0 82289 0
[pid=9598/tid=9599] ppid=9596 vsize=329816 CPUtime=0
/proc/9598/task/9599/stat : 9599 (satake) S 9596 9598 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 641953464 337731584 66320 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=9598/tid=9600] ppid=9596 vsize=329816 CPUtime=0.28
/proc/9598/task/9600/stat : 9600 (satake) R 9596 9598 27791 0 -1 4202560 4566 0 0 0 0 28 0 0 20 0 17 0 641953464 337731584 66320 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9598/tid=9601] ppid=9596 vsize=329816 CPUtime=0.22
/proc/9598/task/9601/stat : 9601 (satake) D 9596 9598 27791 0 -1 4202560 2809 0 0 0 0 22 0 0 20 0 17 0 641953464 337731584 66323 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9598/tid=9602] ppid=9596 vsize=329816 CPUtime=0.28
/proc/9598/task/9602/stat : 9602 (satake) D 9596 9598 27791 0 -1 4202560 3823 0 0 0 0 28 0 0 20 0 17 0 641953464 337731584 66325 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9598/tid=9603] ppid=9596 vsize=329816 CPUtime=0.44
/proc/9598/task/9603/stat : 9603 (satake) R 9596 9598 27791 0 -1 4202560 6437 0 0 0 0 44 0 0 20 0 17 0 641953464 337731584 66325 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9598/tid=9604] ppid=9596 vsize=329816 CPUtime=0.28
/proc/9598/task/9604/stat : 9604 (satake) D 9596 9598 27791 0 -1 4202560 4358 0 0 0 0 28 0 0 20 0 17 0 641953464 337731584 66325 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9598/tid=9605] ppid=9596 vsize=329816 CPUtime=0.22
/proc/9598/task/9605/stat : 9605 (satake) R 9596 9598 27791 0 -1 4202560 3227 0 0 0 0 22 0 0 20 0 17 0 641953464 337731584 66325 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9598/tid=9606] ppid=9596 vsize=329816 CPUtime=0.24
/proc/9598/task/9606/stat : 9606 (satake) R 9596 9598 27791 0 -1 4202560 3396 0 0 0 0 24 0 0 20 0 17 0 641953464 337731584 66325 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9598/tid=9607] ppid=9596 vsize=329816 CPUtime=0.24
/proc/9598/task/9607/stat : 9607 (satake) D 9596 9598 27791 0 -1 4202560 4078 0 0 0 0 24 0 0 20 0 17 0 641953464 337731584 66325 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9598/tid=9608] ppid=9596 vsize=329816 CPUtime=0.44
/proc/9598/task/9608/stat : 9608 (satake) R 9596 9598 27791 0 -1 4202560 6004 0 0 0 0 44 0 0 20 0 17 0 641953465 337731584 66325 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9598/tid=9609] ppid=9596 vsize=329816 CPUtime=0.44
/proc/9598/task/9609/stat : 9609 (satake) R 9596 9598 27791 0 -1 4202560 5871 0 0 0 0 44 0 0 20 0 17 0 641953465 337731584 66325 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9598/tid=9610] ppid=9596 vsize=329816 CPUtime=0.28
/proc/9598/task/9610/stat : 9610 (satake) D 9596 9598 27791 0 -1 4202560 4060 0 0 0 2 26 0 0 20 0 17 0 641953465 337731584 66326 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9598/tid=9611] ppid=9596 vsize=329816 CPUtime=0.22
/proc/9598/task/9611/stat : 9611 (satake) R 9596 9598 27791 0 -1 4202560 3195 0 0 0 0 22 0 0 20 0 17 0 641953465 337731584 66328 18446744073709551615 134512640 135180984 4288049232 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9598/tid=9612] ppid=9596 vsize=329816 CPUtime=0.42

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

deleting IPC queue 1797718094
deleting IPC queue 1797750863
deleting IPC queue 1797783632
deleting IPC queue 1797816401
deleting IPC queue 1797849170
deleting IPC queue 1797881939
deleting IPC queue 1797914708
deleting IPC queue 1797947477
deleting IPC queue 1797980246
deleting IPC queue 1798013015
deleting IPC queue 1798045784
deleting IPC queue 1798078553
deleting IPC queue 1798111322
deleting IPC queue 1798144091
deleting IPC queue 1798176860
deleting IPC queue 1798209629
deleting IPC queue 1798242398
deleting IPC queue 1798275167
deleting IPC queue 1798307936
deleting IPC queue 1798340705
deleting IPC queue 1798373474
deleting IPC queue 1798406243
deleting IPC queue 1798439012
deleting IPC queue 1798471781
deleting IPC queue 1798504550
deleting IPC queue 1798537319
deleting IPC queue 1798570088
deleting IPC queue 1798602857
deleting IPC queue 1798635626
deleting IPC queue 1798668395
deleting IPC queue 1798701164
deleting IPC queue 1798733933
deleting IPC queue 1798766702
deleting IPC queue 1798799471
deleting IPC queue 1798832240
deleting IPC queue 1798865009
deleting IPC queue 1798897778
deleting IPC queue 1798930547
deleting IPC queue 1798963316
deleting IPC queue 1798996085
deleting IPC queue 1799028854
deleting IPC queue 1799061623
deleting IPC queue 1799094392
deleting IPC queue 1799127161
deleting IPC queue 1799159930
deleting IPC queue 1799192699
deleting IPC queue 1799225468
deleting IPC queue 1799258237
deleting IPC queue 1799291006
deleting IPC queue 1799323775
deleting IPC queue 1799356544
deleting IPC queue 1799389313
deleting IPC queue 1799422082
deleting IPC queue 1799454851
deleting IPC queue 1799487620
deleting IPC queue 1799520389
deleting IPC queue 1799553158
deleting IPC queue 1799585927
deleting IPC queue 1799618696
deleting IPC queue 1799651465
deleting IPC queue 1799684234
deleting IPC queue 1799717003
deleting IPC queue 1799749772
deleting IPC queue 1799782541
deleting IPC queue 1799815310
deleting IPC queue 1799848079
deleting IPC queue 1799880848
deleting IPC queue 1799913617
deleting IPC queue 1799946386
deleting IPC queue 1799979155
deleting IPC queue 1800011924
deleting IPC queue 1800044693
deleting IPC queue 1800077462
deleting IPC queue 1800110231
deleting IPC queue 1800143000
deleting IPC queue 1800175769
deleting IPC queue 1800208538
deleting IPC queue 1800241307
deleting IPC queue 1800274076
deleting IPC queue 1800306845
deleting IPC queue 1800339614
deleting IPC queue 1800372383
deleting IPC queue 1800405152
deleting IPC queue 1800437921
deleting IPC queue 1800470690
deleting IPC queue 1800503459
deleting IPC queue 1800536228
deleting IPC queue 1800568997
deleting IPC queue 1800601766
deleting IPC queue 1800634535
deleting IPC queue 1800667304
deleting IPC queue 1800700073
deleting IPC queue 1800732842
deleting IPC queue 1800765611
deleting IPC queue 1800798380
deleting IPC queue 1800831149
deleting IPC queue 1800863918
deleting IPC queue 1800896687
deleting IPC queue 1800929456
deleting IPC queue 1800962225
deleting IPC queue 1800994994
deleting IPC queue 1801027763
deleting IPC queue 1801060532
deleting IPC queue 1801093301
deleting IPC queue 1801126070
deleting IPC queue 1801158839
deleting IPC queue 1801191608
deleting IPC queue 1801224377
deleting IPC queue 1801257146
deleting IPC queue 1801289915
deleting IPC queue 1801322684
deleting IPC queue 1801355453
deleting IPC queue 1801388222
deleting IPC queue 1801420991
deleting IPC queue 1801453760
deleting IPC queue 1801486529
deleting IPC queue 1801519298
deleting IPC queue 1801552067
deleting IPC queue 1801584836
deleting IPC queue 1801617605
deleting IPC queue 1801650374
deleting IPC queue 1801683143
deleting IPC queue 1801715912
deleting IPC queue 1801748681
deleting IPC queue 1801781450
deleting IPC queue 1801814219
deleting IPC queue 1801846988
deleting IPC queue 1801879757
deleting IPC queue 1801912526
deleting IPC queue 1801945295
deleting IPC queue 1801978064
deleting IPC queue 1802010833
deleting IPC queue 1802043602
deleting IPC queue 1802076371
deleting IPC queue 1802109140
deleting IPC queue 1802141909
deleting IPC queue 1802174678
deleting IPC queue 1802207447
deleting IPC queue 1802240216
deleting IPC queue 1802272985
deleting IPC queue 1802305754
deleting IPC queue 1802338523
deleting IPC queue 1802371292
deleting IPC queue 1802404061
deleting IPC queue 1802436830
deleting IPC queue 1802469599
deleting IPC queue 1802502368
deleting IPC queue 1802535137
deleting IPC queue 1802567906
deleting IPC queue 1802600675
deleting IPC queue 1802633444
deleting IPC queue 1802666213
deleting IPC queue 1802698982
deleting IPC queue 1802731751
deleting IPC queue 1802764520
deleting IPC queue 1802797289
deleting IPC queue 1802830058
deleting IPC queue 1802862827
deleting IPC queue 1802895596
deleting IPC queue 1802928365
deleting IPC queue 1802961134
deleting IPC queue 1802993903
deleting IPC queue 1803026672
deleting IPC queue 1803059441
deleting IPC queue 1803092210
deleting IPC queue 1803124979
deleting IPC queue 1803157748
deleting IPC queue 1803190517
deleting IPC queue 1803223286
deleting IPC queue 1803256055
deleting IPC queue 1803288824
deleting IPC queue 1803321593
deleting IPC queue 1803354362
deleting IPC queue 1803387131
deleting IPC queue 1803419900
deleting IPC queue 1803452669
deleting IPC queue 1803485438
deleting IPC queue 1803518207

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7989.94
system time used= 367.919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 568724
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= 28117628
involuntary context switches= 1257493

runsolver used 3.81224 second user time and 11.3287 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 19:07:50
IDJOB=1780422
IDBENCH=71005
IDSOLVER=631
FILE ID=xenhost3-49/1780422-1244826470
PBS_JOBID=
Free space on /tmp= 7011 MiB

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

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

MD5SUM BENCH= 558e9ecf39a7773e94f4b47eef706f44
RANDOM SEED= 161553587

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:      19109308 kB
Buffers:        435244 kB
Cached:       14129492 kB
SwapCached:          0 kB
Active:        4079924 kB
Inactive:     10492532 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           19332 kB
Writeback:           0 kB
AnonPages:        7828 kB
Mapped:           3172 kB
Slab:           689900 kB
SReclaimable:   662984 kB
SUnreclaim:      26916 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= 7011 MiB
End job on xenhost3-49 at 2009-06-12 19:21:18