Trace number 1776387

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Nameindustrial/grieu/
vmpc_34.cnf
MD5SUMa27d41b3e10d867544cd2bff7d005be2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1886.11
Satisfiable
(Un)Satisfiability was proved
Number of variables1156
Number of clauses194072
Sum of the clauses size507926
Maximum clause length34
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 276398
Number of clauses of size 3117606
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 568

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

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


[startup+0 s]
/proc/loadavg: 11.30 11.13 11.33 2/184 31898
/proc/meminfo: memFree=19140092/36427776 swapFree=4096/7784
[pid=31898] ppid=31896 vsize=7920 CPUtime=0
/proc/31898/stat : 31898 (satake) R 31896 31898 27791 0 -1 4202496 576 0 0 0 0 0 0 0 20 0 14 0 634089049 8110080 532 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31898/statm: 1980 532 63 164 0 1815 0
[pid=31898/tid=31899] ppid=31896 vsize=8052 CPUtime=0
/proc/31898/task/31899/stat : 31899 (satake) S 31896 31898 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 14 0 634089049 8245248 539 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31898/tid=31900] ppid=31896 vsize=8052 CPUtime=0
/proc/31898/task/31900/stat : 31900 (satake) R 31896 31898 27791 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 14 0 634089049 8245248 539 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31898/tid=31901] ppid=31896 vsize=8052 CPUtime=0
/proc/31898/task/31901/stat : 31901 (satake) R 31896 31898 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 14 0 634089049 8245248 539 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31898/tid=31902] ppid=31896 vsize=8052 CPUtime=0
/proc/31898/task/31902/stat : 31902 (satake) R 31896 31898 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 14 0 634089049 8245248 539 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31898/tid=31903] ppid=31896 vsize=8052 CPUtime=0
/proc/31898/task/31903/stat : 31903 (satake) R 31896 31898 27791 0 -1 4202560 69 0 0 0 0 0 0 0 20 0 14 0 634089049 8245248 539 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31898/tid=31904] ppid=31896 vsize=8052 CPUtime=0
/proc/31898/task/31904/stat : 31904 (satake) D 31896 31898 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 14 0 634089049 8245248 542 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31898/tid=31905] ppid=31896 vsize=8052 CPUtime=0
/proc/31898/task/31905/stat : 31905 (satake) R 31896 31898 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 14 0 634089049 8245248 543 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31898/tid=31906] ppid=31896 vsize=8052 CPUtime=0
/proc/31898/task/31906/stat : 31906 (satake) R 31896 31898 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 14 0 634089049 8245248 550 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31898/tid=31907] ppid=31896 vsize=8052 CPUtime=0
/proc/31898/task/31907/stat : 31907 (satake) S 31896 31898 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 14 0 634089049 8245248 551 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=31898/tid=31908] ppid=31896 vsize=8052 CPUtime=0
/proc/31898/task/31908/stat : 31908 (satake) R 31896 31898 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 14 0 634089049 8245248 551 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31898/tid=31909] ppid=31896 vsize=8052 CPUtime=0
/proc/31898/task/31909/stat : 31909 (satake) R 31896 31898 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 14 0 634089049 8245248 551 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31898/tid=31910] ppid=31896 vsize=8052 CPUtime=0
/proc/31898/task/31910/stat : 31910 (satake) R 31896 31898 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 14 0 634089050 8245248 552 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31898/tid=31911] ppid=31896 vsize=8052 CPUtime=0
/proc/31898/task/31911/stat : 31911 (satake) R 31896 31898 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 14 0 634089050 8245248 556 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0

[startup+0.022197 s]
/proc/loadavg: 11.30 11.13 11.33 2/184 31898
/proc/meminfo: memFree=19140092/36427776 swapFree=4096/7784
[pid=31898] ppid=31896 vsize=11280 CPUtime=0.06
/proc/31898/stat : 31898 (satake) S 31896 31898 27791 0 -1 4202496 906 0 0 0 3 3 0 0 20 0 17 0 634089049 11550720 862 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31898/statm: 2820 862 63 164 0 2655 0
[pid=31898/tid=31899] ppid=31896 vsize=11280 CPUtime=0
/proc/31898/task/31899/stat : 31899 (satake) S 31896 31898 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634089049 11550720 862 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31898/tid=31900] ppid=31896 vsize=11280 CPUtime=0
/proc/31898/task/31900/stat : 31900 (satake) D 31896 31898 27791 0 -1 4202560 97 0 0 0 0 0 0 0 20 0 17 0 634089049 11550720 862 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31898/tid=31901] ppid=31896 vsize=11280 CPUtime=0
/proc/31898/task/31901/stat : 31901 (satake) D 31896 31898 27791 0 -1 4202560 86 0 0 0 0 0 0 0 20 0 17 0 634089049 11550720 862 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31898/tid=31902] ppid=31896 vsize=11280 CPUtime=0
/proc/31898/task/31902/stat : 31902 (satake) D 31896 31898 27791 0 -1 4202560 86 0 0 0 0 0 0 0 20 0 17 0 634089049 11550720 862 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31898/tid=31903] ppid=31896 vsize=11280 CPUtime=0
/proc/31898/task/31903/stat : 31903 (satake) D 31896 31898 27791 0 -1 4202560 94 0 0 0 0 0 0 0 20 0 17 0 634089049 11550720 862 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31898/tid=31904] ppid=31896 vsize=11280 CPUtime=0
/proc/31898/task/31904/stat : 31904 (satake) D 31896 31898 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 17 0 634089049 11550720 862 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31898/tid=31905] ppid=31896 vsize=11280 CPUtime=0
/proc/31898/task/31905/stat : 31905 (satake) D 31896 31898 27791 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 17 0 634089049 11550720 862 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31898/tid=31906] ppid=31896 vsize=11280 CPUtime=0
/proc/31898/task/31906/stat : 31906 (satake) D 31896 31898 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 634089049 11550720 862 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31898/tid=31907] ppid=31896 vsize=11280 CPUtime=0
/proc/31898/task/31907/stat : 31907 (satake) D 31896 31898 27791 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 17 0 634089049 11550720 862 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31898/tid=31908] ppid=31896 vsize=11280 CPUtime=0
/proc/31898/task/31908/stat : 31908 (satake) D 31896 31898 27791 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 17 0 634089049 11550720 862 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31898/tid=31909] ppid=31896 vsize=11280 CPUtime=0
/proc/31898/task/31909/stat : 31909 (satake) R 31896 31898 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 634089049 11550720 862 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31898/tid=31910] ppid=31896 vsize=11280 CPUtime=0
/proc/31898/task/31910/stat : 31910 (satake) D 31896 31898 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 17 0 634089050 11550720 862 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31898/tid=31911] ppid=31896 vsize=11280 CPUtime=0
/proc/31898/task/31911/stat : 31911 (satake) D 31896 31898 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 634089050 11550720 862 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11280

[startup+0.106835 s]
/proc/loadavg: 11.30 11.13 11.33 2/184 31898
/proc/meminfo: memFree=19140092/36427776 swapFree=4096/7784
[pid=31898] ppid=31896 vsize=43936 CPUtime=0.83
/proc/31898/stat : 31898 (satake) S 31896 31898 27791 0 -1 4202496 7041 0 0 0 3 80 0 0 20 0 17 0 634089049 44990464 6981 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31898/statm: 10984 6981 63 164 0 10819 0
[pid=31898/tid=31899] ppid=31896 vsize=43936 CPUtime=0
/proc/31898/task/31899/stat : 31899 (satake) S 31896 31898 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634089049 44990464 6981 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31898/tid=31900] ppid=31896 vsize=43936 CPUtime=0.06
/proc/31898/task/31900/stat : 31900 (satake) D 31896 31898 27791 0 -1 4202560 561 0 0 0 0 6 0 0 20 0 17 0 634089049 44990464 6981 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31898/tid=31901] ppid=31896 vsize=43936 CPUtime=0.06
/proc/31898/task/31901/stat : 31901 (satake) D 31896 31898 27791 0 -1 4202560 538 0 0 0 0 6 0 0 20 0 17 0 634089049 44990464 6981 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31898/tid=31902] ppid=31896 vsize=43936 CPUtime=0.06
/proc/31898/task/31902/stat : 31902 (satake) D 31896 31898 27791 0 -1 4202560 737 0 0 0 0 6 0 0 20 0 17 0 634089049 44990464 6981 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31898/tid=31903] ppid=31896 vsize=43936 CPUtime=0.04
/proc/31898/task/31903/stat : 31903 (satake) D 31896 31898 27791 0 -1 4202560 391 0 0 0 0 4 0 0 20 0 17 0 634089049 44990464 6981 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31898/tid=31904] ppid=31896 vsize=43936 CPUtime=0.02
/proc/31898/task/31904/stat : 31904 (satake) D 31896 31898 27791 0 -1 4202560 232 0 0 0 0 2 0 0 20 0 17 0 634089049 44990464 6981 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31898/tid=31905] ppid=31896 vsize=43936 CPUtime=0.06
/proc/31898/task/31905/stat : 31905 (satake) D 31896 31898 27791 0 -1 4202560 546 0 0 0 0 6 0 0 20 0 17 0 634089049 44990464 6981 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31898/tid=31906] ppid=31896 vsize=43936 CPUtime=0.04
/proc/31898/task/31906/stat : 31906 (satake) D 31896 31898 27791 0 -1 4202560 357 0 0 0 0 4 0 0 20 0 17 0 634089049 44990464 6981 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31898/tid=31907] ppid=31896 vsize=43936 CPUtime=0.02
/proc/31898/task/31907/stat : 31907 (satake) D 31896 31898 27791 0 -1 4202560 250 0 0 0 0 2 0 0 20 0 17 0 634089049 44990464 6981 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31898/tid=31908] ppid=31896 vsize=43936 CPUtime=0.06
/proc/31898/task/31908/stat : 31908 (satake) D 31896 31898 27791 0 -1 4202560 530 0 0 0 0 6 0 0 20 0 17 0 634089049 44990464 6981 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31898/tid=31909] ppid=31896 vsize=43936 CPUtime=0.06
/proc/31898/task/31909/stat : 31909 (satake) R 31896 31898 27791 0 -1 4202560 514 0 0 0 0 6 0 0 20 0 17 0 634089049 44990464 6981 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31898/tid=31910] ppid=31896 vsize=43936 CPUtime=0.06
/proc/31898/task/31910/stat : 31910 (satake) D 31896 31898 27791 0 -1 4202560 438 0 0 0 0 6 0 0 20 0 17 0 634089050 44990464 6981 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31898/tid=31911] ppid=31896 vsize=43936 CPUtime=0.04
/proc/31898/task/31911/stat : 31911 (satake) D 31896 31898 27791 0 -1 4202560 420 0 0 0 0 4 0 0 20 0 17 0 634089050 44990464 6981 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 43936

[startup+0.30599 s]
/proc/loadavg: 11.30 11.13 11.33 2/184 31898
/proc/meminfo: memFree=19140092/36427776 swapFree=4096/7784
[pid=31898] ppid=31896 vsize=63844 CPUtime=1.99
/proc/31898/stat : 31898 (satake) S 31896 31898 27791 0 -1 4202496 13616 0 0 0 8 191 0 0 20 0 17 0 634089049 65376256 13556 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31898/statm: 15961 13558 63 164 0 15796 0
[pid=31898/tid=31899] ppid=31896 vsize=63844 CPUtime=0
/proc/31898/task/31899/stat : 31899 (satake) S 31896 31898 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634089049 65376256 13560 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31898/tid=31900] ppid=31896 vsize=63844 CPUtime=0.14
/proc/31898/task/31900/stat : 31900 (satake) R 31896 31898 27791 0 -1 4202560 905 0 0 0 0 14 0 0 20 0 17 0 634089049 65376256 13560 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31898/tid=31901] ppid=31896 vsize=63844 CPUtime=0.14
/proc/31898/task/31901/stat : 31901 (satake) S 31896 31898 27791 0 -1 4202560 885 0 0 0 0 14 0 0 20 0 17 0 634089049 65376256 13561 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=31898/tid=31902] ppid=31896 vsize=63844 CPUtime=0.16
/proc/31898/task/31902/stat : 31902 (satake) D 31896 31898 27791 0 -1 4202560 1023 0 0 0 0 16 0 0 20 0 17 0 634089049 65376256 13561 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31898/tid=31903] ppid=31896 vsize=63844 CPUtime=0.1
/proc/31898/task/31903/stat : 31903 (satake) D 31896 31898 27791 0 -1 4202560 873 0 0 0 0 10 0 0 20 0 17 0 634089049 65376256 13561 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31898/tid=31904] ppid=31896 vsize=63844 CPUtime=0.08
/proc/31898/task/31904/stat : 31904 (satake) D 31896 31898 27791 0 -1 4202560 796 0 0 0 0 8 0 0 20 0 17 0 634089049 65376256 13564 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31898/tid=31905] ppid=31896 vsize=63844 CPUtime=0.18
/proc/31898/task/31905/stat : 31905 (satake) R 31896 31898 27791 0 -1 4202560 1106 0 0 0 2 16 0 0 20 0 17 0 634089049 65376256 13564 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31898/tid=31906] ppid=31896 vsize=63844 CPUtime=0.1
/proc/31898/task/31906/stat : 31906 (satake) S 31896 31898 27791 0 -1 4202560 830 0 0 0 0 10 0 0 20 0 17 0 634089049 65376256 13564 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=31898/tid=31907] ppid=31896 vsize=63844 CPUtime=0.08
/proc/31898/task/31907/stat : 31907 (satake) R 31896 31898 27791 0 -1 4202560 885 0 0 0 2 6 0 0 20 0 17 0 634089049 65376256 13568 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31898/tid=31908] ppid=31896 vsize=63844 CPUtime=0.14
/proc/31898/task/31908/stat : 31908 (satake) D 31896 31898 27791 0 -1 4202560 837 0 0 0 0 14 0 0 20 0 17 0 634089049 65376256 13570 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31898/tid=31909] ppid=31896 vsize=63844 CPUtime=0.14
/proc/31898/task/31909/stat : 31909 (satake) R 31896 31898 27791 0 -1 4202560 863 0 0 0 0 14 0 0 20 0 17 0 634089049 65376256 13570 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31898/tid=31910] ppid=31896 vsize=63844 CPUtime=0.14
/proc/31898/task/31910/stat : 31910 (satake) S 31896 31898 27791 0 -1 4202560 957 0 0 0 0 14 0 0 20 0 17 0 634089050 65376256 13570 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=31898/tid=31911] ppid=31896 vsize=63844 CPUtime=0.1
/proc/31898/task/31911/stat : 31911 (satake) S 31896 31898 27791 0 -1 4202560 825 0 0 0 0 10 0 0 20 0 17 0 634089050 65376256 13571 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 63844

[startup+0.704903 s]
/proc/loadavg: 11.30 11.13 11.33 2/184 31898
/proc/meminfo: memFree=19140092/36427776 swapFree=4096/7784
[pid=31898] ppid=31896 vsize=96824 CPUtime=3.86
/proc/31898/stat : 31898 (satake) S 31896 31898 27791 0 -1 4202496 22000 0 0 0 86 300 0 0 20 0 17 0 634089049 99147776 21941 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31898/statm: 24206 21942 63 164 0 24041 0
[pid=31898/tid=31899] ppid=31896 vsize=96824 CPUtime=0
/proc/31898/task/31899/stat : 31899 (satake) S 31896 31898 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634089049 99147776 21943 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31898/tid=31900] ppid=31896 vsize=96824 CPUtime=0.26
/proc/31898/task/31900/stat : 31900 (satake) D 31896 31898 27791 0 -1 4202560 1279 0 0 0 2 24 0 0 20 0 17 0 634089049 99147776 21943 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31898/tid=31901] ppid=31896 vsize=96824 CPUtime=0.26
/proc/31898/task/31901/stat : 31901 (satake) D 31896 31898 27791 0 -1 4202560 1302 0 0 0 4 22 0 0 20 0 17 0 634089049 99147776 21943 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134702260 0 0 1 0 18446744071565523402 0 0 -1 8 0 0 0 0 0
[pid=31898/tid=31902] ppid=31896 vsize=96824 CPUtime=0.32
/proc/31898/task/31902/stat : 31902 (satake) D 31896 31898 27791 0 -1 4202560 1853 0 0 0 10 22 0 0 20 0 17 0 634089049 99147776 21943 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31898/tid=31903] ppid=31896 vsize=96824 CPUtime=0.2
/proc/31898/task/31903/stat : 31903 (satake) S 31896 31898 27791 0 -1 4202560 1340 0 0 0 2 18 0 0 20 0 17 0 634089049 99147776 21943 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=31898/tid=31904] ppid=31896 vsize=96824 CPUtime=0.16
/proc/31898/task/31904/stat : 31904 (satake) D 31896 31898 27791 0 -1 4202560 1207 0 0 0 4 12 0 0 20 0 17 0 634089049 99147776 21943 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31898/tid=31905] ppid=31896 vsize=96824 CPUtime=0.36
/proc/31898/task/31905/stat : 31905 (satake) D 31896 31898 27791 0 -1 4202560 2318 0 0 0 8 28 0 0 20 0 17 0 634089049 99147776 21943 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31898/tid=31906] ppid=31896 vsize=96824 CPUtime=0.22
/proc/31898/task/31906/stat : 31906 (satake) S 31896 31898 27791 0 -1 4202560 1200 0 0 0 4 18 0 0 20 0 17 0 634089049 99147776 21943 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=31898/tid=31907] ppid=31896 vsize=96824 CPUtime=0.18
/proc/31898/task/31907/stat : 31907 (satake) S 31896 31898 27791 0 -1 4202560 1428 0 0 0 6 12 0 0 20 0 17 0 634089049 99147776 21943 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=31898/tid=31908] ppid=31896 vsize=96824 CPUtime=0.26
/proc/31898/task/31908/stat : 31908 (satake) S 31896 31898 27791 0 -1 4202560 1205 0 0 0 4 22 0 0 20 0 17 0 634089049 99147776 21943 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=31898/tid=31909] ppid=31896 vsize=96824 CPUtime=0.28
/proc/31898/task/31909/stat : 31909 (satake) R 31896 31898 27791 0 -1 4202560 1349 0 0 0 4 24 0 0 20 0 17 0 634089049 99147776 21943 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31898/tid=31910] ppid=31896 vsize=96824 CPUtime=0.3
/proc/31898/task/31910/stat : 31910 (satake) D 31896 31898 27791 0 -1 4202560 1612 0 0 0 4 26 0 0 20 0 17 0 634089050 99147776 21943 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31898/tid=31911] ppid=31896 vsize=96824 CPUtime=0.2
/proc/31898/task/31911/stat : 31911 (satake) S 31896 31898 27791 0 -1 4202560 1214 0 0 0 6 14 0 0 20 0 17 0 634089050 99147776 21943 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 96824

[startup+1.50606 s]
/proc/loadavg: 11.30 11.13 11.33 5/201 31915
/proc/meminfo: memFree=19039088/36427776 swapFree=4868/115796
[pid=31898] ppid=31896 vsize=137652 CPUtime=7.04
/proc/31898/stat : 31898 (satake) S 31896 31898 27791 0 -1 4202496 37545 0 0 0 296 408 0 0 20 0 17 0 634089049 140955648 30575 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31898/statm: 34413 30578 68 164 0 34248 0
[pid=31898/tid=31899] ppid=31896 vsize=137652 CPUtime=0
/proc/31898/task/31899/stat : 31899 (satake) S 31896 31898 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 634089049 140955648 30578 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31898/tid=31900] ppid=31896 vsize=137652 CPUtime=0.48
/proc/31898/task/31900/stat : 31900 (satake) S 31896 31898 27791 0 -1 4202560 2467 0 0 0 14 34 0 0 20 0 17 0 634089049 140955648 30578 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=31898/tid=31901] ppid=31896 vsize=137652 CPUtime=0.48
/proc/31898/task/31901/stat : 31901 (satake) D 31896 31898 27791 0 -1 4202560 2447 0 0 0 20 28 0 0 20 0 17 0 634089049 140955648 30578 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31898/tid=31902] ppid=31896 vsize=137652 CPUtime=0.52
/proc/31898/task/31902/stat : 31902 (satake) D 31896 31898 27791 0 -1 4202560 2786 0 0 0 22 30 0 0 20 0 17 0 634089049 140955648 30578 18446744073709551615 134512640 135180984 4292394096 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 7 0 0 0 0 0

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

deleting IPC queue 497483854
deleting IPC queue 497516623
deleting IPC queue 497549392
deleting IPC queue 497582161
deleting IPC queue 497614930
deleting IPC queue 497647699
deleting IPC queue 497680468
deleting IPC queue 497713237
deleting IPC queue 497746006
deleting IPC queue 497778775
deleting IPC queue 497811544
deleting IPC queue 497844313
deleting IPC queue 497877082
deleting IPC queue 497909851
deleting IPC queue 497942620
deleting IPC queue 497975389
deleting IPC queue 498008158
deleting IPC queue 498040927
deleting IPC queue 498073696
deleting IPC queue 498106465
deleting IPC queue 498139234
deleting IPC queue 498172003
deleting IPC queue 498204772
deleting IPC queue 498237541
deleting IPC queue 498270310
deleting IPC queue 498303079
deleting IPC queue 498335848
deleting IPC queue 498368617
deleting IPC queue 498401386
deleting IPC queue 498434155
deleting IPC queue 498466924
deleting IPC queue 498499693
deleting IPC queue 498532462
deleting IPC queue 498565231
deleting IPC queue 498598000
deleting IPC queue 498630769
deleting IPC queue 498663538
deleting IPC queue 498696307
deleting IPC queue 498729076
deleting IPC queue 498761845
deleting IPC queue 498794614
deleting IPC queue 498827383
deleting IPC queue 498860152
deleting IPC queue 498892921
deleting IPC queue 498925690
deleting IPC queue 498958459
deleting IPC queue 498991228
deleting IPC queue 499023997
deleting IPC queue 499056766
deleting IPC queue 499089535
deleting IPC queue 499122304
deleting IPC queue 499155073
deleting IPC queue 499187842
deleting IPC queue 499220611
deleting IPC queue 499253380
deleting IPC queue 499286149
deleting IPC queue 499318918
deleting IPC queue 499351687
deleting IPC queue 499384456
deleting IPC queue 499417225
deleting IPC queue 499449994
deleting IPC queue 499482763
deleting IPC queue 499515532
deleting IPC queue 499548301
deleting IPC queue 499581070
deleting IPC queue 499613839
deleting IPC queue 499646608
deleting IPC queue 499679377
deleting IPC queue 499712146
deleting IPC queue 499744915
deleting IPC queue 499777684
deleting IPC queue 499810453
deleting IPC queue 499843222
deleting IPC queue 499875991
deleting IPC queue 499908760
deleting IPC queue 499941529
deleting IPC queue 499974298
deleting IPC queue 500007067
deleting IPC queue 500039836
deleting IPC queue 500072605
deleting IPC queue 500105374
deleting IPC queue 500138143
deleting IPC queue 500170912
deleting IPC queue 500203681
deleting IPC queue 500236450
deleting IPC queue 500269219
deleting IPC queue 500301988
deleting IPC queue 500334757
deleting IPC queue 500367526
deleting IPC queue 500400295
deleting IPC queue 500433064
deleting IPC queue 500465833
deleting IPC queue 500498602
deleting IPC queue 500531371
deleting IPC queue 500564140
deleting IPC queue 500596909
deleting IPC queue 500629678
deleting IPC queue 500662447
deleting IPC queue 500695216
deleting IPC queue 500727985
deleting IPC queue 500760754
deleting IPC queue 500793523
deleting IPC queue 500826292
deleting IPC queue 500859061
deleting IPC queue 500891830
deleting IPC queue 500924599
deleting IPC queue 500957368
deleting IPC queue 500990137
deleting IPC queue 501022906
deleting IPC queue 501055675
deleting IPC queue 501088444
deleting IPC queue 501121213
deleting IPC queue 501153982
deleting IPC queue 501186751
deleting IPC queue 501219520
deleting IPC queue 501252289
deleting IPC queue 501285058
deleting IPC queue 501317827
deleting IPC queue 501350596
deleting IPC queue 501383365
deleting IPC queue 501416134
deleting IPC queue 501448903
deleting IPC queue 501481672
deleting IPC queue 501514441
deleting IPC queue 501547210
deleting IPC queue 501579979
deleting IPC queue 501612748
deleting IPC queue 501645517
deleting IPC queue 501678286
deleting IPC queue 501711055
deleting IPC queue 501743824
deleting IPC queue 501776593
deleting IPC queue 501809362
deleting IPC queue 501842131
deleting IPC queue 501874900
deleting IPC queue 501907669
deleting IPC queue 501940438
deleting IPC queue 501973207
deleting IPC queue 502005976
deleting IPC queue 502038745
deleting IPC queue 502071514
deleting IPC queue 502104283
deleting IPC queue 502137052
deleting IPC queue 502169821
deleting IPC queue 502202590
deleting IPC queue 502235359
deleting IPC queue 502268128
deleting IPC queue 502300897
deleting IPC queue 502333666
deleting IPC queue 502366435
deleting IPC queue 502399204
deleting IPC queue 502431973
deleting IPC queue 502464742
deleting IPC queue 502497511
deleting IPC queue 502530280
deleting IPC queue 502563049
deleting IPC queue 502595818
deleting IPC queue 502628587
deleting IPC queue 502661356
deleting IPC queue 502694125
deleting IPC queue 502726894
deleting IPC queue 502759663
deleting IPC queue 502792432
deleting IPC queue 502825201
deleting IPC queue 502857970
deleting IPC queue 502890739
deleting IPC queue 502923508
deleting IPC queue 502956277
deleting IPC queue 502989046
deleting IPC queue 503021815
deleting IPC queue 503054584
deleting IPC queue 503087353
deleting IPC queue 503120122
deleting IPC queue 503152891
deleting IPC queue 503185660
deleting IPC queue 503218429
deleting IPC queue 503251198
deleting IPC queue 503283967

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9802.08
system time used= 199.664
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 437389
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= 15024312
involuntary context switches= 6851822

runsolver used 2.97619 second user time and 10.9727 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 21:17:07
IDJOB=1776387
IDBENCH=20493
IDSOLVER=631
FILE ID=xenhost3-49/1776387-1244747827
PBS_JOBID=
Free space on /tmp= 7037 MiB

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

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

MD5SUM BENCH= a27d41b3e10d867544cd2bff7d005be2
RANDOM SEED= 1749121140

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:      19140092 kB
Buffers:        432376 kB
Cached:       14103912 kB
SwapCached:          0 kB
Active:        4077344 kB
Inactive:     10467340 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3368 kB
Writeback:           0 kB
AnonPages:        7784 kB
Mapped:           3432 kB
Slab:           687588 kB
SReclaimable:   660864 kB
SUnreclaim:      26724 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= 7037 MiB
End job on xenhost3-49 at 2009-06-11 21:29:19