Trace number 1775502

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Nameindustrial/anbulagan/
medium-unsat/total-10-13-u.cnf
MD5SUMa443b9e3a7093c1d9a47b42016a65c52
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1648.18
Satisfiable
(Un)Satisfiability was proved
Number of variables226208
Number of clauses1021181
Sum of the clauses size2332626
Maximum clause length10
Minimum clause length1
Number of clauses of size 119072
Number of clauses of size 2821353
Number of clauses of size 3137896
Number of clauses of size 44760
Number of clauses of size 519040
Number of clauses of size over 519060

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-1775502-1244709052/watcher-1775502-1244709052 -o /tmp/evaluation-result-1775502-1244709052/solver-1775502-1244709052 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775502-1244709052.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: 0.08 0.02 0.01 2/187 27889
/proc/meminfo: memFree=19126508/36427776 swapFree=6304/11180
[pid=27889] ppid=27887 vsize=8708 CPUtime=0
/proc/27889/stat : 27889 (satake) R 27887 27889 27791 34816 27791 4202496 541 0 0 0 0 0 0 0 20 0 17 0 630211670 8916992 497 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27889/statm: 2177 499 63 164 0 2012 0
[pid=27889/tid=27890] ppid=27887 vsize=8708 CPUtime=0
/proc/27889/task/27890/stat : 27890 (satake) S 27887 27889 27791 34816 27791 4202560 5 0 0 0 0 0 0 0 20 0 17 0 630211670 8916992 503 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=27889/tid=27891] ppid=27887 vsize=8708 CPUtime=0
/proc/27889/task/27891/stat : 27891 (satake) D 27887 27889 27791 34816 27791 4202560 76 0 0 0 0 0 0 0 20 0 17 0 630211670 8916992 504 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=27889/tid=27892] ppid=27887 vsize=8712 CPUtime=0
/proc/27889/task/27892/stat : 27892 (satake) D 27887 27889 27791 34816 27791 4202560 55 0 0 0 0 0 0 0 20 0 17 0 630211670 8921088 504 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=27889/tid=27893] ppid=27887 vsize=8716 CPUtime=0
/proc/27889/task/27893/stat : 27893 (satake) D 27887 27889 27791 34816 27791 4202560 49 0 0 0 0 0 0 0 20 0 17 0 630211671 8925184 504 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=27889/tid=27894] ppid=27887 vsize=8716 CPUtime=0
/proc/27889/task/27894/stat : 27894 (satake) D 27887 27889 27791 34816 27791 4202560 33 0 0 0 0 0 0 0 20 0 17 0 630211671 8925184 508 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=27889/tid=27895] ppid=27887 vsize=8716 CPUtime=0
/proc/27889/task/27895/stat : 27895 (satake) R 27887 27889 27791 34816 27791 4202560 37 0 0 0 0 0 0 0 20 0 17 0 630211671 8925184 512 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=27889/tid=27896] ppid=27887 vsize=8716 CPUtime=0
/proc/27889/task/27896/stat : 27896 (satake) R 27887 27889 27791 34816 27791 4202560 22 0 0 0 0 0 0 0 20 0 17 0 630211671 8925184 513 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=27889/tid=27897] ppid=27887 vsize=8716 CPUtime=0
/proc/27889/task/27897/stat : 27897 (satake) R 27887 27889 27791 34816 27791 4202560 42 0 0 0 0 0 0 0 20 0 17 0 630211671 8925184 513 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=27889/tid=27898] ppid=27887 vsize=8716 CPUtime=0
/proc/27889/task/27898/stat : 27898 (satake) S 27887 27889 27791 34816 27791 4202560 17 0 0 0 0 0 0 0 20 0 17 0 630211671 8925184 513 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=27889/tid=27899] ppid=27887 vsize=8716 CPUtime=0
/proc/27889/task/27899/stat : 27899 (satake) S 27887 27889 27791 34816 27791 4202560 17 0 0 0 0 0 0 0 20 0 17 0 630211671 8925184 514 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=27889/tid=27900] ppid=27887 vsize=8716 CPUtime=0
/proc/27889/task/27900/stat : 27900 (satake) R 27887 27889 27791 34816 27791 4202560 41 0 0 0 0 0 0 0 20 0 17 0 630211671 8925184 515 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=27889/tid=27901] ppid=27887 vsize=8716 CPUtime=0
/proc/27889/task/27901/stat : 27901 (satake) R 27887 27889 27791 34816 27791 4202560 21 0 0 0 0 0 0 0 20 0 17 0 630211671 8925184 515 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=27889/tid=27902] ppid=27887 vsize=8716 CPUtime=0
/proc/27889/task/27902/stat : 27902 (satake) R 27887 27889 27791 34816 27791 4202560 5 0 0 0 0 0 0 0 20 0 17 0 630211671 8925184 515 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=27889/tid=27903] ppid=27887 vsize=8716 CPUtime=0
/proc/27889/task/27903/stat : 27903 (satake) D 27887 27889 27791 34816 27791 4202560 9 0 0 0 0 0 0 0 20 0 17 0 630211671 8925184 518 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=27889/tid=27904] ppid=27887 vsize=8848 CPUtime=0
/proc/27889/task/27904/stat : 27904 (satake) D 27887 27889 27791 34816 27791 4202560 3 0 0 0 0 0 0 0 20 0 17 0 630211671 9060352 519 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=27889/tid=27905] ppid=27887 vsize=8848 CPUtime=0
/proc/27889/task/27905/stat : 27905 (satake) R 27887 27889 27791 34816 27791 4202560 0 0 0 0 0 0 0 0 20 0 17 0 630211671 9060352 522 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.031984 s]
/proc/loadavg: 0.08 0.02 0.01 2/187 27889
/proc/meminfo: memFree=19126508/36427776 swapFree=6304/11180
[pid=27889] ppid=27887 vsize=14500 CPUtime=0.15
/proc/27889/stat : 27889 (satake) S 27887 27889 27791 34816 27791 4202496 1710 0 0 0 7 8 0 0 20 0 17 0 630211670 14848000 1666 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27889/statm: 3625 1692 63 164 0 3460 0
[pid=27889/tid=27890] ppid=27887 vsize=14500 CPUtime=0
/proc/27889/task/27890/stat : 27890 (satake) S 27887 27889 27791 34816 27791 4202560 5 0 0 0 0 0 0 0 20 0 17 0 630211670 14848000 1693 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=27889/tid=27891] ppid=27887 vsize=14500 CPUtime=0
/proc/27889/task/27891/stat : 27891 (satake) D 27887 27889 27791 34816 27791 4202560 185 0 0 0 0 0 0 0 20 0 17 0 630211670 14848000 1693 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=27889/tid=27892] ppid=27887 vsize=14760 CPUtime=0
/proc/27889/task/27892/stat : 27892 (satake) D 27887 27889 27791 34816 27791 4202560 140 0 0 0 0 0 0 0 20 0 17 0 630211670 15114240 1693 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=27889/tid=27893] ppid=27887 vsize=14628 CPUtime=0
/proc/27889/task/27893/stat : 27893 (satake) D 27887 27889 27791 34816 27791 4202560 113 0 0 0 0 0 0 0 20 0 17 0 630211671 14979072 1694 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=27889/tid=27894] ppid=27887 vsize=14628 CPUtime=0
/proc/27889/task/27894/stat : 27894 (satake) D 27887 27889 27791 34816 27791 4202560 54 0 0 0 0 0 0 0 20 0 17 0 630211671 14979072 1698 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=27889/tid=27895] ppid=27887 vsize=14628 CPUtime=0
/proc/27889/task/27895/stat : 27895 (satake) D 27887 27889 27791 34816 27791 4202560 84 0 0 0 0 0 0 0 20 0 17 0 630211671 14979072 1699 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=27889/tid=27896] ppid=27887 vsize=14628 CPUtime=0
/proc/27889/task/27896/stat : 27896 (satake) R 27887 27889 27791 34816 27791 4202560 143 0 0 0 0 0 0 0 20 0 17 0 630211671 14979072 1700 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=27889/tid=27897] ppid=27887 vsize=14628 CPUtime=0
/proc/27889/task/27897/stat : 27897 (satake) R 27887 27889 27791 34816 27791 4202560 129 0 0 0 0 0 0 0 20 0 17 0 630211671 14979072 1702 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=27889/tid=27898] ppid=27887 vsize=14628 CPUtime=0
/proc/27889/task/27898/stat : 27898 (satake) R 27887 27889 27791 34816 27791 4202560 104 0 0 0 0 0 0 0 20 0 17 0 630211671 14979072 1703 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=27889/tid=27899] ppid=27887 vsize=14628 CPUtime=0
/proc/27889/task/27899/stat : 27899 (satake) R 27887 27889 27791 34816 27791 4202560 34 0 0 0 0 0 0 0 20 0 17 0 630211671 14979072 1704 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=27889/tid=27900] ppid=27887 vsize=14628 CPUtime=0
/proc/27889/task/27900/stat : 27900 (satake) R 27887 27889 27791 34816 27791 4202560 142 0 0 0 0 0 0 0 20 0 17 0 630211671 14979072 1704 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=27889/tid=27901] ppid=27887 vsize=14628 CPUtime=0
/proc/27889/task/27901/stat : 27901 (satake) R 27887 27889 27791 34816 27791 4202560 132 0 0 0 0 0 0 0 20 0 17 0 630211671 14979072 1704 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=27889/tid=27902] ppid=27887 vsize=14628 CPUtime=0
/proc/27889/task/27902/stat : 27902 (satake) R 27887 27889 27791 34816 27791 4202560 52 0 0 0 0 0 0 0 20 0 17 0 630211671 14979072 1704 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=27889/tid=27903] ppid=27887 vsize=14628 CPUtime=0
/proc/27889/task/27903/stat : 27903 (satake) R 27887 27889 27791 34816 27791 4202560 120 0 0 0 0 0 0 0 20 0 17 0 630211671 14979072 1704 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=27889/tid=27904] ppid=27887 vsize=14628 CPUtime=0
/proc/27889/task/27904/stat : 27904 (satake) R 27887 27889 27791 34816 27791 4202560 92 0 0 0 0 0 0 0 20 0 17 0 630211671 14979072 1704 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=27889/tid=27905] ppid=27887 vsize=14628 CPUtime=0
/proc/27889/task/27905/stat : 27905 (satake) R 27887 27889 27791 34816 27791 4202560 93 0 0 0 0 0 0 0 20 0 17 0 630211671 14979072 1704 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 14500

[startup+0.105585 s]
/proc/loadavg: 0.08 0.02 0.01 2/187 27889
/proc/meminfo: memFree=19126508/36427776 swapFree=6304/11180
[pid=27889] ppid=27887 vsize=49316 CPUtime=0.93
/proc/27889/stat : 27889 (satake) S 27887 27889 27791 34816 27791 4202496 7083 0 0 0 7 86 0 0 20 0 17 0 630211670 50499584 7043 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27889/statm: 12329 7091 63 164 0 12164 0
[pid=27889/tid=27890] ppid=27887 vsize=49316 CPUtime=0
/proc/27889/task/27890/stat : 27890 (satake) S 27887 27889 27791 34816 27791 4202560 5 0 0 0 0 0 0 0 20 0 17 0 630211670 50499584 7091 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=27889/tid=27891] ppid=27887 vsize=49316 CPUtime=0.08
/proc/27889/task/27891/stat : 27891 (satake) D 27887 27889 27791 34816 27791 4202560 588 0 0 0 0 8 0 0 20 0 17 0 630211670 50499584 7091 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=27889/tid=27892] ppid=27887 vsize=49316 CPUtime=0.06
/proc/27889/task/27892/stat : 27892 (satake) R 27887 27889 27791 34816 27791 4202560 531 0 0 0 0 6 0 0 20 0 17 0 630211670 50499584 7091 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=27889/tid=27893] ppid=27887 vsize=49316 CPUtime=0.04
/proc/27889/task/27893/stat : 27893 (satake) D 27887 27889 27791 34816 27791 4202560 351 0 0 0 0 4 0 0 20 0 17 0 630211671 50499584 7091 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=27889/tid=27894] ppid=27887 vsize=49316 CPUtime=0.04
/proc/27889/task/27894/stat : 27894 (satake) R 27887 27889 27791 34816 27791 4202560 404 0 0 0 0 4 0 0 20 0 17 0 630211671 50499584 7091 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=27889/tid=27895] ppid=27887 vsize=49316 CPUtime=0.02
/proc/27889/task/27895/stat : 27895 (satake) D 27887 27889 27791 34816 27791 4202560 300 0 0 0 0 2 0 0 20 0 17 0 630211671 50499584 7091 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=27889/tid=27896] ppid=27887 vsize=49316 CPUtime=0.06
/proc/27889/task/27896/stat : 27896 (satake) D 27887 27889 27791 34816 27791 4202560 583 0 0 0 0 6 0 0 20 0 17 0 630211671 50499584 7091 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=27889/tid=27897] ppid=27887 vsize=49316 CPUtime=0.06
/proc/27889/task/27897/stat : 27897 (satake) D 27887 27889 27791 34816 27791 4202560 539 0 0 0 0 6 0 0 20 0 17 0 630211671 50499584 7091 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=27889/tid=27898] ppid=27887 vsize=49316 CPUtime=0.04
/proc/27889/task/27898/stat : 27898 (satake) D 27887 27889 27791 34816 27791 4202560 388 0 0 0 0 4 0 0 20 0 17 0 630211671 50499584 7091 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=27889/tid=27899] ppid=27887 vsize=49316 CPUtime=0.02
/proc/27889/task/27899/stat : 27899 (satake) D 27887 27889 27791 34816 27791 4202560 180 0 0 0 0 2 0 0 20 0 17 0 630211671 50499584 7091 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=27889/tid=27900] ppid=27887 vsize=49316 CPUtime=0.06
/proc/27889/task/27900/stat : 27900 (satake) D 27887 27889 27791 34816 27791 4202560 475 0 0 0 0 6 0 0 20 0 17 0 630211671 50499584 7091 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=27889/tid=27901] ppid=27887 vsize=49316 CPUtime=0.06
/proc/27889/task/27901/stat : 27901 (satake) D 27887 27889 27791 34816 27791 4202560 545 0 0 0 0 6 0 0 20 0 17 0 630211671 50499584 7091 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=27889/tid=27902] ppid=27887 vsize=49316 CPUtime=0.06
/proc/27889/task/27902/stat : 27902 (satake) D 27887 27889 27791 34816 27791 4202560 582 0 0 0 0 6 0 0 20 0 17 0 630211671 50499584 7091 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=27889/tid=27903] ppid=27887 vsize=49316 CPUtime=0.06
/proc/27889/task/27903/stat : 27903 (satake) D 27887 27889 27791 34816 27791 4202560 580 0 0 0 0 6 0 0 20 0 17 0 630211671 50499584 7091 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=27889/tid=27904] ppid=27887 vsize=49316 CPUtime=0.06
/proc/27889/task/27904/stat : 27904 (satake) D 27887 27889 27791 34816 27791 4202560 460 0 0 0 0 6 0 0 20 0 17 0 630211671 50499584 7091 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=27889/tid=27905] ppid=27887 vsize=49316 CPUtime=0.06
/proc/27889/task/27905/stat : 27905 (satake) D 27887 27889 27791 34816 27791 4202560 501 0 0 0 0 6 0 0 20 0 17 0 630211671 50499584 7091 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 49316

[startup+0.307999 s]
/proc/loadavg: 0.08 0.02 0.01 2/187 27889
/proc/meminfo: memFree=19126508/36427776 swapFree=6304/11180
[pid=27889] ppid=27887 vsize=216228 CPUtime=3.27
/proc/27889/stat : 27889 (satake) S 27887 27889 27791 34816 27791 4202496 33161 0 0 0 7 320 0 0 20 0 17 0 630211670 221417472 33126 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27889/statm: 54057 33211 63 164 0 53892 0
[pid=27889/tid=27890] ppid=27887 vsize=216228 CPUtime=0
/proc/27889/task/27890/stat : 27890 (satake) S 27887 27889 27791 34816 27791 4202560 5 0 0 0 0 0 0 0 20 0 17 0 630211670 221417472 33252 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=27889/tid=27891] ppid=27887 vsize=216228 CPUtime=0.26
/proc/27889/task/27891/stat : 27891 (satake) R 27887 27889 27791 34816 27791 4202560 2686 0 0 0 0 26 0 0 20 0 17 0 630211670 221417472 33294 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=27889/tid=27892] ppid=27887 vsize=216228 CPUtime=0.24
/proc/27889/task/27892/stat : 27892 (satake) R 27887 27889 27791 34816 27791 4202560 2271 0 0 0 0 24 0 0 20 0 17 0 630211670 221417472 33315 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=27889/tid=27893] ppid=27887 vsize=216228 CPUtime=0.14
/proc/27889/task/27893/stat : 27893 (satake) R 27887 27889 27791 34816 27791 4202560 2069 0 0 0 0 14 0 0 20 0 17 0 630211671 221417472 33355 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=27889/tid=27894] ppid=27887 vsize=216228 CPUtime=0.22
/proc/27889/task/27894/stat : 27894 (satake) R 27887 27889 27791 34816 27791 4202560 2063 0 0 0 0 22 0 0 20 0 17 0 630211671 221417472 33399 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=27889/tid=27895] ppid=27887 vsize=216228 CPUtime=0.12
/proc/27889/task/27895/stat : 27895 (satake) R 27887 27889 27791 34816 27791 4202560 1931 0 0 0 0 12 0 0 20 0 17 0 630211671 221417472 33444 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=27889/tid=27896] ppid=27887 vsize=216228 CPUtime=0.24
/proc/27889/task/27896/stat : 27896 (satake) R 27887 27889 27791 34816 27791 4202560 2480 0 0 0 0 24 0 0 20 0 17 0 630211671 221417472 33478 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=27889/tid=27897] ppid=27887 vsize=216228 CPUtime=0.24
/proc/27889/task/27897/stat : 27897 (satake) R 27887 27889 27791 34816 27791 4202560 2169 0 0 0 0 24 0 0 20 0 17 0 630211671 221417472 33504 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=27889/tid=27898] ppid=27887 vsize=216228 CPUtime=0.16
/proc/27889/task/27898/stat : 27898 (satake) R 27887 27889 27791 34816 27791 4202560 1620 0 0 0 0 16 0 0 20 0 17 0 630211671 221417472 33560 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=27889/tid=27899] ppid=27887 vsize=216228 CPUtime=0.08
/proc/27889/task/27899/stat : 27899 (satake) R 27887 27889 27791 34816 27791 4202560 998 0 0 0 0 8 0 0 20 0 17 0 630211671 221417472 33583 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=27889/tid=27900] ppid=27887 vsize=216228 CPUtime=0.24
/proc/27889/task/27900/stat : 27900 (satake) R 27887 27889 27791 34816 27791 4202560 2167 0 0 0 0 24 0 0 20 0 17 0 630211671 221417472 33626 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=27889/tid=27901] ppid=27887 vsize=216228 CPUtime=0.24
/proc/27889/task/27901/stat : 27901 (satake) R 27887 27889 27791 34816 27791 4202560 2285 0 0 0 0 24 0 0 20 0 17 0 630211671 221417472 33661 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=27889/tid=27902] ppid=27887 vsize=216228 CPUtime=0.24
/proc/27889/task/27902/stat : 27902 (satake) R 27887 27889 27791 34816 27791 4202560 2458 0 0 0 0 24 0 0 20 0 17 0 630211671 221417472 33686 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=27889/tid=27903] ppid=27887 vsize=216228 CPUtime=0.26
/proc/27889/task/27903/stat : 27903 (satake) R 27887 27889 27791 34816 27791 4202560 3074 0 0 0 0 26 0 0 20 0 17 0 630211671 221417472 33717 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=27889/tid=27904] ppid=27887 vsize=216228 CPUtime=0.26
/proc/27889/task/27904/stat : 27904 (satake) R 27887 27889 27791 34816 27791 4202560 3066 0 0 0 0 26 0 0 20 0 17 0 630211671 221417472 33760 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=27889/tid=27905] ppid=27887 vsize=216228 CPUtime=0.24
/proc/27889/task/27905/stat : 27905 (satake) R 27887 27889 27791 34816 27791 4202560 2129 0 0 0 0 24 0 0 20 0 17 0 630211671 221417472 33792 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 216228

[startup+0.703478 s]
/proc/loadavg: 0.08 0.02 0.01 2/187 27889
/proc/meminfo: memFree=19126508/36427776 swapFree=6304/11180
[pid=27889] ppid=27887 vsize=329492 CPUtime=7.5
/proc/27889/stat : 27889 (satake) S 27887 27889 27791 34816 27791 4202496 59355 0 0 0 7 743 0 0 20 0 17 0 630211670 337399808 59311 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27889/statm: 82373 59311 63 164 0 82208 0
[pid=27889/tid=27890] ppid=27887 vsize=329492 CPUtime=0
/proc/27889/task/27890/stat : 27890 (satake) S 27887 27889 27791 34816 27791 4202560 5 0 0 0 0 0 0 0 20 0 17 0 630211670 337399808 59311 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=27889/tid=27891] ppid=27887 vsize=329492 CPUtime=0.56
/proc/27889/task/27891/stat : 27891 (satake) R 27887 27889 27791 34816 27791 4202560 4683 0 0 0 0 56 0 0 20 0 17 0 630211670 337399808 59311 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=27889/tid=27892] ppid=27887 vsize=329492 CPUtime=0.58
/proc/27889/task/27892/stat : 27892 (satake) R 27887 27889 27791 34816 27791 4202560 4369 0 0 0 0 58 0 0 20 0 17 0 630211670 337399808 59311 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=27889/tid=27893] ppid=27887 vsize=329492 CPUtime=0.3
/proc/27889/task/27893/stat : 27893 (satake) R 27887 27889 27791 34816 27791 4202560 3090 0 0 0 0 30 0 0 20 0 17 0 630211671 337399808 59313 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=27889/tid=27894] ppid=27887 vsize=329492 CPUtime=0.52
/proc/27889/task/27894/stat : 27894 (satake) R 27887 27889 27791 34816 27791 4202560 3817 0 0 0 0 52 0 0 20 0 17 0 630211671 337399808 59314 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=27889/tid=27895] ppid=27887 vsize=329492 CPUtime=0.3
/proc/27889/task/27895/stat : 27895 (satake) R 27887 27889 27791 34816 27791 4202560 3290 0 0 0 0 30 0 0 20 0 17 0 630211671 337399808 59316 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=27889/tid=27896] ppid=27887 vsize=329492 CPUtime=0.56
/proc/27889/task/27896/stat : 27896 (satake) R 27887 27889 27791 34816 27791 4202560 4320 0 0 0 0 56 0 0 20 0 17 0 630211671 337399808 59319 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=27889/tid=27897] ppid=27887 vsize=329492 CPUtime=0.56
/proc/27889/task/27897/stat : 27897 (satake) R 27887 27889 27791 34816 27791 4202560 4266 0 0 0 0 56 0 0 20 0 17 0 630211671 337399808 59320 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=27889/tid=27898] ppid=27887 vsize=329492 CPUtime=0.32
/proc/27889/task/27898/stat : 27898 (satake) R 27887 27889 27791 34816 27791 4202560 2601 0 0 0 0 32 0 0 20 0 17 0 630211671 337399808 59320 18446744073709551615 134512640 135180984 4288938272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=27889/tid=27899] ppid=27887 vsize=329492 CPUtime=0.26

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

deleting IPC queue 2555982
deleting IPC queue 2588751
deleting IPC queue 2621520
deleting IPC queue 2654289
deleting IPC queue 2687058
deleting IPC queue 2719827
deleting IPC queue 2752596
deleting IPC queue 2785365
deleting IPC queue 2818134
deleting IPC queue 2850903
deleting IPC queue 2883672
deleting IPC queue 2916441
deleting IPC queue 2949210
deleting IPC queue 2981979
deleting IPC queue 3014748
deleting IPC queue 3047517
deleting IPC queue 3080286
deleting IPC queue 3113055
deleting IPC queue 3145824
deleting IPC queue 3178593
deleting IPC queue 3211362
deleting IPC queue 3244131
deleting IPC queue 3276900
deleting IPC queue 3309669
deleting IPC queue 3342438
deleting IPC queue 3375207
deleting IPC queue 3407976
deleting IPC queue 3440745
deleting IPC queue 3473514
deleting IPC queue 3506283
deleting IPC queue 3539052
deleting IPC queue 3571821
deleting IPC queue 3604590
deleting IPC queue 3637359
deleting IPC queue 3670128
deleting IPC queue 3702897
deleting IPC queue 3735666
deleting IPC queue 3768435
deleting IPC queue 3801204
deleting IPC queue 3833973
deleting IPC queue 3866742
deleting IPC queue 3899511
deleting IPC queue 3932280
deleting IPC queue 3965049
deleting IPC queue 3997818
deleting IPC queue 4030587
deleting IPC queue 4063356
deleting IPC queue 4096125
deleting IPC queue 4128894
deleting IPC queue 4161663
deleting IPC queue 4194432
deleting IPC queue 4227201
deleting IPC queue 4259970
deleting IPC queue 4292739
deleting IPC queue 4325508
deleting IPC queue 4358277
deleting IPC queue 4391046
deleting IPC queue 4423815
deleting IPC queue 4456584
deleting IPC queue 4489353
deleting IPC queue 4522122
deleting IPC queue 4554891
deleting IPC queue 4587660
deleting IPC queue 4620429
deleting IPC queue 4653198
deleting IPC queue 4685967
deleting IPC queue 4718736
deleting IPC queue 4751505
deleting IPC queue 4784274
deleting IPC queue 4817043
deleting IPC queue 4849812
deleting IPC queue 4882581
deleting IPC queue 4915350
deleting IPC queue 4948119
deleting IPC queue 4980888
deleting IPC queue 5013657
deleting IPC queue 5046426
deleting IPC queue 5079195
deleting IPC queue 5111964
deleting IPC queue 5144733
deleting IPC queue 5177502
deleting IPC queue 5210271
deleting IPC queue 5243040
deleting IPC queue 5275809
deleting IPC queue 5308578
deleting IPC queue 5341347
deleting IPC queue 5374116
deleting IPC queue 5406885
deleting IPC queue 5439654
deleting IPC queue 5472423
deleting IPC queue 5505192
deleting IPC queue 5537961
deleting IPC queue 5570730
deleting IPC queue 5603499
deleting IPC queue 5636268
deleting IPC queue 5669037
deleting IPC queue 5701806
deleting IPC queue 5734575
deleting IPC queue 5767344
deleting IPC queue 5800113
deleting IPC queue 5832882
deleting IPC queue 5865651
deleting IPC queue 5898420
deleting IPC queue 5931189
deleting IPC queue 5963958
deleting IPC queue 5996727
deleting IPC queue 6029496
deleting IPC queue 6062265
deleting IPC queue 6095034
deleting IPC queue 6127803
deleting IPC queue 6160572
deleting IPC queue 6193341
deleting IPC queue 6226110
deleting IPC queue 6258879
deleting IPC queue 6291648
deleting IPC queue 6324417
deleting IPC queue 6357186
deleting IPC queue 6389955
deleting IPC queue 6422724
deleting IPC queue 6455493
deleting IPC queue 6488262
deleting IPC queue 6521031
deleting IPC queue 6553800
deleting IPC queue 6586569
deleting IPC queue 6619338
deleting IPC queue 6652107
deleting IPC queue 6684876
deleting IPC queue 6717645
deleting IPC queue 6750414
deleting IPC queue 6783183
deleting IPC queue 6815952
deleting IPC queue 6848721
deleting IPC queue 6881490
deleting IPC queue 6914259
deleting IPC queue 6947028
deleting IPC queue 6979797
deleting IPC queue 7012566
deleting IPC queue 7045335
deleting IPC queue 7078104
deleting IPC queue 7110873
deleting IPC queue 7143642
deleting IPC queue 7176411
deleting IPC queue 7209180
deleting IPC queue 7241949
deleting IPC queue 7274718
deleting IPC queue 7307487
deleting IPC queue 7340256
deleting IPC queue 7373025
deleting IPC queue 7405794
deleting IPC queue 7438563
deleting IPC queue 7471332
deleting IPC queue 7504101
deleting IPC queue 7536870
deleting IPC queue 7569639
deleting IPC queue 7602408
deleting IPC queue 7635177
deleting IPC queue 7667946
deleting IPC queue 7700715
deleting IPC queue 7733484
deleting IPC queue 7766253
deleting IPC queue 7799022
deleting IPC queue 7831791
deleting IPC queue 7864560
deleting IPC queue 7897329
deleting IPC queue 7930098
deleting IPC queue 7962867
deleting IPC queue 7995636
deleting IPC queue 8028405
deleting IPC queue 8061174
deleting IPC queue 8093943
deleting IPC queue 8126712
deleting IPC queue 8159481
deleting IPC queue 8192250
deleting IPC queue 8225019
deleting IPC queue 8257788
deleting IPC queue 8290557
deleting IPC queue 8323326
deleting IPC queue 8356095

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5411.27
system time used= 490.939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344817
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= 47499308
involuntary context switches= 1491698

runsolver used 4.64029 second user time and 12.7928 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 10:30:52
IDJOB=1775502
IDBENCH=20342
IDSOLVER=631
FILE ID=xenhost3-49/1775502-1244709052
PBS_JOBID=
Free space on /tmp= 7024 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/anbulagan/medium-unsat/total-10-13-u.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775502-1244709052/watcher-1775502-1244709052 -o /tmp/evaluation-result-1775502-1244709052/solver-1775502-1244709052 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775502-1244709052.cnf 16 10000

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

MD5SUM BENCH= a443b9e3a7093c1d9a47b42016a65c52
RANDOM SEED= 1662532192

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:      19126508 kB
Buffers:        431808 kB
Cached:       14117120 kB
SwapCached:          0 kB
Active:        4079364 kB
Inactive:     10481152 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           18860 kB
Writeback:           0 kB
AnonPages:       11180 kB
Mapped:           5640 kB
Slab:           687440 kB
SReclaimable:   660936 kB
SUnreclaim:      26504 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    36600 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7024 MiB
End job on xenhost3-49 at 2009-06-11 10:47:35