Trace number 1776492

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
MD5SUM580dc3969c4e46e50013253fd4ac9139
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables209724
Number of clauses3634677
Sum of the clauses size10547961
Maximum clause length169
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 23415202
Number of clauses of size 349840
Number of clauses of size 46998
Number of clauses of size 514973
Number of clauses of size over 5147663

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

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


[startup+0 s]
/proc/loadavg: 3.54 4.13 6.42 2/184 32315
/proc/meminfo: memFree=19064708/36427776 swapFree=3764/8448
[pid=32315] ppid=32313 vsize=8276 CPUtime=0
/proc/32315/stat : 32315 (satake) R 32313 32315 27791 0 -1 4202496 639 0 0 0 0 0 0 0 20 0 17 0 634303405 8474624 580 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/32315/statm: 2069 581 63 164 0 1904 0
[pid=32315/tid=32316] ppid=32313 vsize=8276 CPUtime=0
/proc/32315/task/32316/stat : 32316 (satake) S 32313 32315 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634303405 8474624 593 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=32315/tid=32317] ppid=32313 vsize=8276 CPUtime=0
/proc/32315/task/32317/stat : 32317 (satake) R 32313 32315 27791 0 -1 4202560 99 0 0 0 0 0 0 0 20 0 17 0 634303405 8474624 594 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32315/tid=32318] ppid=32313 vsize=8276 CPUtime=0
/proc/32315/task/32318/stat : 32318 (satake) R 32313 32315 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 17 0 634303405 8474624 599 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32315/tid=32319] ppid=32313 vsize=8276 CPUtime=0
/proc/32315/task/32319/stat : 32319 (satake) D 32313 32315 27791 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 17 0 634303405 8474624 606 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32315/tid=32320] ppid=32313 vsize=8280 CPUtime=0
/proc/32315/task/32320/stat : 32320 (satake) D 32313 32315 27791 0 -1 4202560 88 0 0 0 0 0 0 0 20 0 17 0 634303405 8478720 607 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32315/tid=32321] ppid=32313 vsize=8280 CPUtime=0
/proc/32315/task/32321/stat : 32321 (satake) R 32313 32315 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 17 0 634303405 8478720 612 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32315/tid=32322] ppid=32313 vsize=8280 CPUtime=0
/proc/32315/task/32322/stat : 32322 (satake) R 32313 32315 27791 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 17 0 634303405 8478720 612 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32315/tid=32323] ppid=32313 vsize=8280 CPUtime=0
/proc/32315/task/32323/stat : 32323 (satake) S 32313 32315 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 634303405 8478720 619 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=32315/tid=32324] ppid=32313 vsize=8280 CPUtime=0
/proc/32315/task/32324/stat : 32324 (satake) S 32313 32315 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634303405 8478720 624 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=32315/tid=32325] ppid=32313 vsize=8280 CPUtime=0
/proc/32315/task/32325/stat : 32325 (satake) S 32313 32315 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634303405 8478720 625 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=32315/tid=32326] ppid=32313 vsize=8280 CPUtime=0
/proc/32315/task/32326/stat : 32326 (satake) S 32313 32315 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634303406 8478720 625 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=32315/tid=32327] ppid=32313 vsize=8536 CPUtime=0
/proc/32315/task/32327/stat : 32327 (satake) D 32313 32315 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 17 0 634303406 8740864 625 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32315/tid=32328] ppid=32313 vsize=8536 CPUtime=0
/proc/32315/task/32328/stat : 32328 (satake) S 32313 32315 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 634303406 8740864 629 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=32315/tid=32329] ppid=32313 vsize=8536 CPUtime=0
/proc/32315/task/32329/stat : 32329 (satake) D 32313 32315 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 634303406 8740864 631 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32315/tid=32330] ppid=32313 vsize=8536 CPUtime=0
/proc/32315/task/32330/stat : 32330 (satake) R 32313 32315 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634303406 8740864 631 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32315/tid=32331] ppid=32313 vsize=8536 CPUtime=0
/proc/32315/task/32331/stat : 32331 (satake) R 32313 32315 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634303406 8740864 631 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0

[startup+0.080851 s]
/proc/loadavg: 3.54 4.13 6.42 2/184 32315
/proc/meminfo: memFree=19064708/36427776 swapFree=3764/8448
[pid=32315] ppid=32313 vsize=68084 CPUtime=0.49
/proc/32315/stat : 32315 (satake) S 32313 32315 27791 0 -1 4202496 10693 0 0 0 1 48 0 0 20 0 17 0 634303405 69718016 10641 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/32315/statm: 17021 10689 63 164 0 16856 0
[pid=32315/tid=32316] ppid=32313 vsize=68084 CPUtime=0
/proc/32315/task/32316/stat : 32316 (satake) S 32313 32315 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634303405 69718016 10713 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=32315/tid=32317] ppid=32313 vsize=68084 CPUtime=0.04
/proc/32315/task/32317/stat : 32317 (satake) R 32313 32315 27791 0 -1 4202560 751 0 0 0 0 4 0 0 20 0 17 0 634303405 69718016 10743 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32315/tid=32318] ppid=32313 vsize=68084 CPUtime=0
/proc/32315/task/32318/stat : 32318 (satake) R 32313 32315 27791 0 -1 4202560 284 0 0 0 0 0 0 0 20 0 17 0 634303405 69718016 10762 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32315/tid=32319] ppid=32313 vsize=68084 CPUtime=0.04
/proc/32315/task/32319/stat : 32319 (satake) R 32313 32315 27791 0 -1 4202560 1079 0 0 0 0 4 0 0 20 0 17 0 634303405 69718016 10784 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32315/tid=32320] ppid=32313 vsize=68084 CPUtime=0.04
/proc/32315/task/32320/stat : 32320 (satake) R 32313 32315 27791 0 -1 4202560 1258 0 0 0 0 4 0 0 20 0 17 0 634303405 69718016 10803 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32315/tid=32321] ppid=32313 vsize=68084 CPUtime=0
/proc/32315/task/32321/stat : 32321 (satake) R 32313 32315 27791 0 -1 4202560 79 0 0 0 0 0 0 0 20 0 17 0 634303405 69718016 10829 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32315/tid=32322] ppid=32313 vsize=68084 CPUtime=0.04
/proc/32315/task/32322/stat : 32322 (satake) R 32313 32315 27791 0 -1 4202560 1023 0 0 0 0 4 0 0 20 0 17 0 634303405 69718016 10847 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32315/tid=32323] ppid=32313 vsize=68084 CPUtime=0.04
/proc/32315/task/32323/stat : 32323 (satake) R 32313 32315 27791 0 -1 4202560 1251 0 0 0 0 4 0 0 20 0 17 0 634303405 69718016 10871 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32315/tid=32324] ppid=32313 vsize=68084 CPUtime=0
/proc/32315/task/32324/stat : 32324 (satake) R 32313 32315 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 634303405 69718016 10886 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32315/tid=32325] ppid=32313 vsize=68084 CPUtime=0.04
/proc/32315/task/32325/stat : 32325 (satake) R 32313 32315 27791 0 -1 4202560 870 0 0 0 0 4 0 0 20 0 17 0 634303405 69718016 10941 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32315/tid=32326] ppid=32313 vsize=68084 CPUtime=0.04
/proc/32315/task/32326/stat : 32326 (satake) R 32313 32315 27791 0 -1 4202560 963 0 0 0 0 4 0 0 20 0 17 0 634303406 69718016 10967 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32315/tid=32327] ppid=32313 vsize=68084 CPUtime=0.04
/proc/32315/task/32327/stat : 32327 (satake) R 32313 32315 27791 0 -1 4202560 747 0 0 0 0 4 0 0 20 0 17 0 634303406 69718016 10981 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32315/tid=32328] ppid=32313 vsize=68084 CPUtime=0
/proc/32315/task/32328/stat : 32328 (satake) R 32313 32315 27791 0 -1 4202560 174 0 0 0 0 0 0 0 20 0 17 0 634303406 69718016 11002 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32315/tid=32329] ppid=32313 vsize=68084 CPUtime=0
/proc/32315/task/32329/stat : 32329 (satake) R 32313 32315 27791 0 -1 4202560 223 0 0 0 0 0 0 0 20 0 17 0 634303406 69718016 11035 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32315/tid=32330] ppid=32313 vsize=68084 CPUtime=0.04
/proc/32315/task/32330/stat : 32330 (satake) R 32313 32315 27791 0 -1 4202560 1133 0 0 0 0 4 0 0 20 0 17 0 634303406 69718016 11061 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32315/tid=32331] ppid=32313 vsize=68084 CPUtime=0.04
/proc/32315/task/32331/stat : 32331 (satake) D 32313 32315 27791 0 -1 4202560 960 0 0 0 0 4 0 0 20 0 17 0 634303406 69718016 11081 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 68084

[startup+0.108869 s]
/proc/loadavg: 3.54 4.13 6.42 2/184 32315
/proc/meminfo: memFree=19064708/36427776 swapFree=3764/8448
[pid=32315] ppid=32313 vsize=93300 CPUtime=0.72
/proc/32315/stat : 32315 (satake) S 32313 32315 27791 0 -1 4202496 16329 0 0 0 3 69 0 0 20 0 17 0 634303405 95539200 16270 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/32315/statm: 23325 16272 63 164 0 23160 0
[pid=32315/tid=32316] ppid=32313 vsize=93300 CPUtime=0
/proc/32315/task/32316/stat : 32316 (satake) S 32313 32315 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634303405 95539200 16272 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=32315/tid=32317] ppid=32313 vsize=93300 CPUtime=0.04
/proc/32315/task/32317/stat : 32317 (satake) R 32313 32315 27791 0 -1 4202560 948 0 0 0 0 4 0 0 20 0 17 0 634303405 95539200 16272 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32315/tid=32318] ppid=32313 vsize=93300 CPUtime=0.02
/proc/32315/task/32318/stat : 32318 (satake) R 32313 32315 27791 0 -1 4202560 531 0 0 0 0 2 0 0 20 0 17 0 634303405 95539200 16272 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32315/tid=32319] ppid=32313 vsize=93300 CPUtime=0.06
/proc/32315/task/32319/stat : 32319 (satake) R 32313 32315 27791 0 -1 4202560 1427 0 0 0 0 6 0 0 20 0 17 0 634303405 95539200 16298 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32315/tid=32320] ppid=32313 vsize=93300 CPUtime=0.06
/proc/32315/task/32320/stat : 32320 (satake) R 32313 32315 27791 0 -1 4202560 1879 0 0 0 0 6 0 0 20 0 17 0 634303405 95539200 16329 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32315/tid=32321] ppid=32313 vsize=93300 CPUtime=0
/proc/32315/task/32321/stat : 32321 (satake) R 32313 32315 27791 0 -1 4202560 214 0 0 0 0 0 0 0 20 0 17 0 634303405 95539200 16348 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32315/tid=32322] ppid=32313 vsize=93300 CPUtime=0.06
/proc/32315/task/32322/stat : 32322 (satake) R 32313 32315 27791 0 -1 4202560 1507 0 0 0 0 6 0 0 20 0 17 0 634303405 95539200 16379 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32315/tid=32323] ppid=32313 vsize=93300 CPUtime=0.06
/proc/32315/task/32323/stat : 32323 (satake) R 32313 32315 27791 0 -1 4202560 1861 0 0 0 0 6 0 0 20 0 17 0 634303405 95539200 16404 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32315/tid=32324] ppid=32313 vsize=93300 CPUtime=0
/proc/32315/task/32324/stat : 32324 (satake) R 32313 32315 27791 0 -1 4202560 256 0 0 0 0 0 0 0 20 0 17 0 634303405 95539200 16423 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32315/tid=32325] ppid=32313 vsize=93300 CPUtime=0.06
/proc/32315/task/32325/stat : 32325 (satake) R 32313 32315 27791 0 -1 4202560 1293 0 0 0 0 6 0 0 20 0 17 0 634303405 95539200 16454 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32315/tid=32326] ppid=32313 vsize=93300 CPUtime=0.06
/proc/32315/task/32326/stat : 32326 (satake) R 32313 32315 27791 0 -1 4202560 1511 0 0 0 0 6 0 0 20 0 17 0 634303406 95539200 16482 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32315/tid=32327] ppid=32313 vsize=93300 CPUtime=0.06
/proc/32315/task/32327/stat : 32327 (satake) R 32313 32315 27791 0 -1 4202560 1238 0 0 0 0 6 0 0 20 0 17 0 634303406 95539200 16508 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32315/tid=32328] ppid=32313 vsize=93300 CPUtime=0
/proc/32315/task/32328/stat : 32328 (satake) R 32313 32315 27791 0 -1 4202560 216 0 0 0 0 0 0 0 20 0 17 0 634303406 95539200 16523 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32315/tid=32329] ppid=32313 vsize=93300 CPUtime=0
/proc/32315/task/32329/stat : 32329 (satake) R 32313 32315 27791 0 -1 4202560 283 0 0 0 0 0 0 0 20 0 17 0 634303406 95539200 16551 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32315/tid=32330] ppid=32313 vsize=93300 CPUtime=0.06
/proc/32315/task/32330/stat : 32330 (satake) R 32313 32315 27791 0 -1 4202560 1681 0 0 0 0 6 0 0 20 0 17 0 634303406 95539200 16594 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32315/tid=32331] ppid=32313 vsize=93300 CPUtime=0.06
/proc/32315/task/32331/stat : 32331 (satake) R 32313 32315 27791 0 -1 4202560 1526 0 0 0 0 6 0 0 20 0 17 0 634303406 95539200 16628 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 93300

[startup+0.306007 s]
/proc/loadavg: 3.54 4.13 6.42 2/184 32315
/proc/meminfo: memFree=19064708/36427776 swapFree=3764/8448
[pid=32315] ppid=32313 vsize=350324 CPUtime=2.59
/proc/32315/stat : 32315 (satake) S 32313 32315 27791 0 -1 4202496 64576 0 0 0 3 256 0 0 20 0 17 0 634303405 358731776 64523 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/32315/statm: 87581 64584 63 164 0 87416 0
[pid=32315/tid=32316] ppid=32313 vsize=350324 CPUtime=0
/proc/32315/task/32316/stat : 32316 (satake) S 32313 32315 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634303405 358731776 64609 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=32315/tid=32317] ppid=32313 vsize=350324 CPUtime=0.14
/proc/32315/task/32317/stat : 32317 (satake) R 32313 32315 27791 0 -1 4202560 3195 0 0 0 0 14 0 0 20 0 17 0 634303405 358731776 64637 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32315/tid=32318] ppid=32313 vsize=350324 CPUtime=0.08
/proc/32315/task/32318/stat : 32318 (satake) R 32313 32315 27791 0 -1 4202560 2070 0 0 0 0 8 0 0 20 0 17 0 634303405 358731776 64659 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32315/tid=32319] ppid=32313 vsize=350324 CPUtime=0.14
/proc/32315/task/32319/stat : 32319 (satake) R 32313 32315 27791 0 -1 4202560 3249 0 0 0 0 14 0 0 20 0 17 0 634303405 358731776 64679 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32315/tid=32320] ppid=32313 vsize=350324 CPUtime=0.24
/proc/32315/task/32320/stat : 32320 (satake) R 32313 32315 27791 0 -1 4202560 6791 0 0 0 0 24 0 0 20 0 17 0 634303405 358731776 64709 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32315/tid=32321] ppid=32313 vsize=350324 CPUtime=0.1
/proc/32315/task/32321/stat : 32321 (satake) R 32313 32315 27791 0 -1 4202560 2290 0 0 0 0 10 0 0 20 0 17 0 634303405 358731776 64733 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32315/tid=32322] ppid=32313 vsize=350324 CPUtime=0.24
/proc/32315/task/32322/stat : 32322 (satake) R 32313 32315 27791 0 -1 4202560 5781 0 0 0 0 24 0 0 20 0 17 0 634303405 358731776 64752 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32315/tid=32323] ppid=32313 vsize=350324 CPUtime=0.24
/proc/32315/task/32323/stat : 32323 (satake) R 32313 32315 27791 0 -1 4202560 6059 0 0 0 0 24 0 0 20 0 17 0 634303405 358731776 64781 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32315/tid=32324] ppid=32313 vsize=350324 CPUtime=0.16
/proc/32315/task/32324/stat : 32324 (satake) R 32313 32315 27791 0 -1 4202560 4020 0 0 0 0 16 0 0 20 0 17 0 634303405 358731776 64797 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32315/tid=32325] ppid=32313 vsize=350324 CPUtime=0.24
/proc/32315/task/32325/stat : 32325 (satake) R 32313 32315 27791 0 -1 4202560 5039 0 0 0 0 24 0 0 20 0 17 0 634303405 358731776 64824 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32315/tid=32326] ppid=32313 vsize=350324 CPUtime=0.14
/proc/32315/task/32326/stat : 32326 (satake) R 32313 32315 27791 0 -1 4202560 3830 0 0 0 0 14 0 0 20 0 17 0 634303406 358731776 64849 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32315/tid=32327] ppid=32313 vsize=350324 CPUtime=0.14
/proc/32315/task/32327/stat : 32327 (satake) R 32313 32315 27791 0 -1 4202560 3766 0 0 0 0 14 0 0 20 0 17 0 634303406 358731776 64872 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32315/tid=32328] ppid=32313 vsize=350324 CPUtime=0.1
/proc/32315/task/32328/stat : 32328 (satake) R 32313 32315 27791 0 -1 4202560 2422 0 0 0 0 10 0 0 20 0 17 0 634303406 358731776 64897 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32315/tid=32329] ppid=32313 vsize=350324 CPUtime=0.1
/proc/32315/task/32329/stat : 32329 (satake) R 32313 32315 27791 0 -1 4202560 3235 0 0 0 0 10 0 0 20 0 17 0 634303406 358731776 64926 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32315/tid=32330] ppid=32313 vsize=350324 CPUtime=0.24
/proc/32315/task/32330/stat : 32330 (satake) R 32313 32315 27791 0 -1 4202560 6125 0 0 0 0 24 0 0 20 0 17 0 634303406 358731776 64954 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32315/tid=32331] ppid=32313 vsize=350324 CPUtime=0.24
/proc/32315/task/32331/stat : 32331 (satake) R 32313 32315 27791 0 -1 4202560 6862 0 0 0 0 24 0 0 20 0 17 0 634303406 358731776 64983 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 350324

[startup+0.704957 s]
/proc/loadavg: 3.54 4.13 6.42 2/184 32315
/proc/meminfo: memFree=19064708/36427776 swapFree=3764/8448
[pid=32315] ppid=32313 vsize=858228 CPUtime=6.39
/proc/32315/stat : 32315 (satake) S 32313 32315 27791 0 -1 4202496 169563 0 0 0 3 636 0 0 20 0 17 0 634303405 878825472 169511 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/32315/statm: 214557 169552 63 164 0 214392 0
[pid=32315/tid=32316] ppid=32313 vsize=858228 CPUtime=0
/proc/32315/task/32316/stat : 32316 (satake) S 32313 32315 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634303405 878825472 169580 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=32315/tid=32317] ppid=32313 vsize=858228 CPUtime=0.3
/proc/32315/task/32317/stat : 32317 (satake) R 32313 32315 27791 0 -1 4202560 7143 0 0 0 0 30 0 0 20 0 17 0 634303405 878825472 169603 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32315/tid=32318] ppid=32313 vsize=858228 CPUtime=0.28
/proc/32315/task/32318/stat : 32318 (satake) R 32313 32315 27791 0 -1 4202560 7804 0 0 0 0 28 0 0 20 0 17 0 634303405 878825472 169653 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32315/tid=32319] ppid=32313 vsize=858228 CPUtime=0.32
/proc/32315/task/32319/stat : 32319 (satake) R 32313 32315 27791 0 -1 4202560 7883 0 0 0 0 32 0 0 20 0 17 0 634303405 878825472 169668 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32315/tid=32320] ppid=32313 vsize=858228 CPUtime=0.58
/proc/32315/task/32320/stat : 32320 (satake) R 32313 32315 27791 0 -1 4202560 15977 0 0 0 0 58 0 0 20 0 17 0 634303405 878825472 169690 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32315/tid=32321] ppid=32313 vsize=858228 CPUtime=0.26
/proc/32315/task/32321/stat : 32321 (satake) R 32313 32315 27791 0 -1 4202560 6095 0 0 0 0 26 0 0 20 0 17 0 634303405 878825472 169723 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32315/tid=32322] ppid=32313 vsize=858228 CPUtime=0.58
/proc/32315/task/32322/stat : 32322 (satake) R 32313 32315 27791 0 -1 4202560 15365 0 0 0 0 58 0 0 20 0 17 0 634303405 878825472 169742 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32315/tid=32323] ppid=32313 vsize=858228 CPUtime=0.58
/proc/32315/task/32323/stat : 32323 (satake) R 32313 32315 27791 0 -1 4202560 15035 0 0 0 0 58 0 0 20 0 17 0 634303405 878825472 169765 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32315/tid=32324] ppid=32313 vsize=858228 CPUtime=0.5
/proc/32315/task/32324/stat : 32324 (satake) R 32313 32315 27791 0 -1 4202560 12361 0 0 0 0 50 0 0 20 0 17 0 634303405 878825472 169785 18446744073709551615 134512640 135180984 4293817808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32315/tid=32325] ppid=32313 vsize=858228 CPUtime=0.58

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

deleting IPC queue 556204110
deleting IPC queue 556236879
deleting IPC queue 556269648
deleting IPC queue 556302417
deleting IPC queue 556335186
deleting IPC queue 556367955
deleting IPC queue 556400724
deleting IPC queue 556433493
deleting IPC queue 556466262
deleting IPC queue 556499031
deleting IPC queue 556531800
deleting IPC queue 556564569
deleting IPC queue 556597338
deleting IPC queue 556630107
deleting IPC queue 556662876
deleting IPC queue 556695645
deleting IPC queue 556728414
deleting IPC queue 556761183
deleting IPC queue 556793952
deleting IPC queue 556826721
deleting IPC queue 556859490
deleting IPC queue 556892259
deleting IPC queue 556925028
deleting IPC queue 556957797
deleting IPC queue 556990566
deleting IPC queue 557023335
deleting IPC queue 557056104
deleting IPC queue 557088873
deleting IPC queue 557121642
deleting IPC queue 557154411
deleting IPC queue 557187180
deleting IPC queue 557219949
deleting IPC queue 557252718
deleting IPC queue 557285487
deleting IPC queue 557318256
deleting IPC queue 557351025
deleting IPC queue 557383794
deleting IPC queue 557416563
deleting IPC queue 557449332
deleting IPC queue 557482101
deleting IPC queue 557514870
deleting IPC queue 557547639
deleting IPC queue 557580408
deleting IPC queue 557613177
deleting IPC queue 557645946
deleting IPC queue 557678715
deleting IPC queue 557711484
deleting IPC queue 557744253
deleting IPC queue 557777022
deleting IPC queue 557809791
deleting IPC queue 557842560
deleting IPC queue 557875329
deleting IPC queue 557908098
deleting IPC queue 557940867
deleting IPC queue 557973636
deleting IPC queue 558006405
deleting IPC queue 558039174
deleting IPC queue 558071943
deleting IPC queue 558104712
deleting IPC queue 558137481
deleting IPC queue 558170250
deleting IPC queue 558203019
deleting IPC queue 558235788
deleting IPC queue 558268557
deleting IPC queue 558301326
deleting IPC queue 558334095
deleting IPC queue 558366864
deleting IPC queue 558399633
deleting IPC queue 558432402
deleting IPC queue 558465171
deleting IPC queue 558497940
deleting IPC queue 558530709
deleting IPC queue 558563478
deleting IPC queue 558596247
deleting IPC queue 558629016
deleting IPC queue 558661785
deleting IPC queue 558694554
deleting IPC queue 558727323
deleting IPC queue 558760092
deleting IPC queue 558792861
deleting IPC queue 558825630
deleting IPC queue 558858399
deleting IPC queue 558891168
deleting IPC queue 558923937
deleting IPC queue 558956706
deleting IPC queue 558989475
deleting IPC queue 559022244
deleting IPC queue 559055013
deleting IPC queue 559087782
deleting IPC queue 559120551
deleting IPC queue 559153320
deleting IPC queue 559186089
deleting IPC queue 559218858
deleting IPC queue 559251627
deleting IPC queue 559284396
deleting IPC queue 559317165
deleting IPC queue 559349934
deleting IPC queue 559382703
deleting IPC queue 559415472
deleting IPC queue 559448241
deleting IPC queue 559481010
deleting IPC queue 559513779
deleting IPC queue 559546548
deleting IPC queue 559579317
deleting IPC queue 559612086
deleting IPC queue 559644855
deleting IPC queue 559677624
deleting IPC queue 559710393
deleting IPC queue 559743162
deleting IPC queue 559775931
deleting IPC queue 559808700
deleting IPC queue 559841469
deleting IPC queue 559874238
deleting IPC queue 559907007
deleting IPC queue 559939776
deleting IPC queue 559972545
deleting IPC queue 560005314
deleting IPC queue 560038083
deleting IPC queue 560070852
deleting IPC queue 560103621
deleting IPC queue 560136390
deleting IPC queue 560169159
deleting IPC queue 560201928
deleting IPC queue 560234697
deleting IPC queue 560267466
deleting IPC queue 560300235
deleting IPC queue 560333004
deleting IPC queue 560365773
deleting IPC queue 560398542
deleting IPC queue 560431311
deleting IPC queue 560464080
deleting IPC queue 560496849
deleting IPC queue 560529618
deleting IPC queue 560562387
deleting IPC queue 560595156
deleting IPC queue 560627925
deleting IPC queue 560660694
deleting IPC queue 560693463
deleting IPC queue 560726232
deleting IPC queue 560759001
deleting IPC queue 560791770
deleting IPC queue 560824539
deleting IPC queue 560857308
deleting IPC queue 560890077
deleting IPC queue 560922846
deleting IPC queue 560955615
deleting IPC queue 560988384
deleting IPC queue 561021153
deleting IPC queue 561053922
deleting IPC queue 561086691
deleting IPC queue 561119460
deleting IPC queue 561152229
deleting IPC queue 561184998
deleting IPC queue 561217767
deleting IPC queue 561250536
deleting IPC queue 561283305
deleting IPC queue 561316074
deleting IPC queue 561348843
deleting IPC queue 561381612
deleting IPC queue 561414381
deleting IPC queue 561447150
deleting IPC queue 561479919
deleting IPC queue 561512688
deleting IPC queue 561545457
deleting IPC queue 561578226
deleting IPC queue 561610995
deleting IPC queue 561643764
deleting IPC queue 561676533
deleting IPC queue 561709302
deleting IPC queue 561742071
deleting IPC queue 561774840
deleting IPC queue 561807609
deleting IPC queue 561840378
deleting IPC queue 561873147
deleting IPC queue 561905916
deleting IPC queue 561938685
deleting IPC queue 561971454
deleting IPC queue 562004223

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.4052
system time used= 34.2901
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 499125
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= 541143
involuntary context switches= 2022

runsolver used 0.064004 second user time and 0.192012 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 21:52:48
IDJOB=1776492
IDBENCH=20576
IDSOLVER=631
FILE ID=xenhost3-49/1776492-1244749968
PBS_JOBID=
Free space on /tmp= 6964 MiB

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

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

MD5SUM BENCH= 580dc3969c4e46e50013253fd4ac9139
RANDOM SEED= 1196118934

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:      19064708 kB
Buffers:        432740 kB
Cached:       14178020 kB
SwapCached:          0 kB
Active:        4077960 kB
Inactive:     10541244 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           77600 kB
Writeback:           0 kB
AnonPages:        8448 kB
Mapped:           3764 kB
Slab:           689956 kB
SReclaimable:   662940 kB
SUnreclaim:      27016 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= 6964 MiB
End job on xenhost3-49 at 2009-06-11 21:53:04