Trace number 1776507

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) 2458.4 341.203

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
MD5SUMf0f4556999ccb446384994a4148fca28
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1791.24
Satisfiable
(Un)Satisfiability was proved
Number of variables44095
Number of clauses542253
Sum of the clauses size1554259
Maximum clause length93
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2500227
Number of clauses of size 310265
Number of clauses of size 43051
Number of clauses of size 55229
Number of clauses of size over 523480

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-1776507-1244749984/watcher-1776507-1244749984 -o /tmp/evaluation-result-1776507-1244749984/solver-1776507-1244749984 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776507-1244749984.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: 4.02 4.22 6.42 2/184 32370
/proc/meminfo: memFree=19133684/36427776 swapFree=4276/8244
[pid=32370] ppid=32368 vsize=7872 CPUtime=0
/proc/32370/stat : 32370 (satake) S 32368 32370 27791 0 -1 4202496 615 0 0 0 0 0 0 0 20 0 17 0 634304824 8060928 575 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32370/statm: 1968 590 63 164 0 1803 0
[pid=32370/tid=32371] ppid=32368 vsize=8004 CPUtime=0
/proc/32370/task/32371/stat : 32371 (satake) S 32368 32370 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634304824 8196096 607 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=32370/tid=32372] ppid=32368 vsize=8004 CPUtime=0
/proc/32370/task/32372/stat : 32372 (satake) R 32368 32370 27791 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 17 0 634304824 8196096 608 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32370/tid=32373] ppid=32368 vsize=8004 CPUtime=0
/proc/32370/task/32373/stat : 32373 (satake) R 32368 32370 27791 0 -1 4202560 78 0 0 0 0 0 0 0 20 0 17 0 634304824 8196096 608 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32370/tid=32374] ppid=32368 vsize=8004 CPUtime=0
/proc/32370/task/32374/stat : 32374 (satake) R 32368 32370 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 634304824 8196096 608 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32370/tid=32375] ppid=32368 vsize=8004 CPUtime=0
/proc/32370/task/32375/stat : 32375 (satake) S 32368 32370 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634304824 8196096 608 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=32370/tid=32376] ppid=32368 vsize=8004 CPUtime=0
/proc/32370/task/32376/stat : 32376 (satake) S 32368 32370 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 634304824 8196096 609 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=32370/tid=32377] ppid=32368 vsize=8004 CPUtime=0
/proc/32370/task/32377/stat : 32377 (satake) R 32368 32370 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 17 0 634304824 8196096 611 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32370/tid=32378] ppid=32368 vsize=8004 CPUtime=0
/proc/32370/task/32378/stat : 32378 (satake) S 32368 32370 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634304824 8196096 613 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=32370/tid=32379] ppid=32368 vsize=8004 CPUtime=0
/proc/32370/task/32379/stat : 32379 (satake) R 32368 32370 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 17 0 634304824 8196096 616 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32370/tid=32380] ppid=32368 vsize=8004 CPUtime=0
/proc/32370/task/32380/stat : 32380 (satake) R 32368 32370 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 634304824 8196096 619 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32370/tid=32381] ppid=32368 vsize=8004 CPUtime=0
/proc/32370/task/32381/stat : 32381 (satake) R 32368 32370 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 17 0 634304824 8196096 620 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32370/tid=32382] ppid=32368 vsize=8004 CPUtime=0
/proc/32370/task/32382/stat : 32382 (satake) R 32368 32370 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 634304824 8196096 620 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32370/tid=32383] ppid=32368 vsize=8004 CPUtime=0
/proc/32370/task/32383/stat : 32383 (satake) R 32368 32370 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 17 0 634304824 8196096 623 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32370/tid=32384] ppid=32368 vsize=8004 CPUtime=0
/proc/32370/task/32384/stat : 32384 (satake) S 32368 32370 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634304824 8196096 624 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=32370/tid=32385] ppid=32368 vsize=8004 CPUtime=0
/proc/32370/task/32385/stat : 32385 (satake) R 32368 32370 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 634304824 8196096 627 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32370/tid=32386] ppid=32368 vsize=8004 CPUtime=0
/proc/32370/task/32386/stat : 32386 (satake) S 32368 32370 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 634304825 8196096 630 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0

[startup+0.068283 s]
/proc/loadavg: 4.02 4.22 6.42 2/184 32370
/proc/meminfo: memFree=19133684/36427776 swapFree=4276/8244
[pid=32370] ppid=32368 vsize=40024 CPUtime=0.39
/proc/32370/stat : 32370 (satake) S 32368 32370 27791 0 -1 4202496 6215 0 0 0 0 39 0 0 20 0 17 0 634304824 40984576 6171 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32370/statm: 10006 6171 63 164 0 9841 0
[pid=32370/tid=32371] ppid=32368 vsize=41048 CPUtime=0
/proc/32370/task/32371/stat : 32371 (satake) S 32368 32370 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634304824 42033152 6171 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=32370/tid=32372] ppid=32368 vsize=41048 CPUtime=0.04
/proc/32370/task/32372/stat : 32372 (satake) D 32368 32370 27791 0 -1 4202560 726 0 0 0 0 4 0 0 20 0 17 0 634304824 42033152 6173 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32370/tid=32373] ppid=32368 vsize=41048 CPUtime=0.04
/proc/32370/task/32373/stat : 32373 (satake) R 32368 32370 27791 0 -1 4202560 609 0 0 0 0 4 0 0 20 0 17 0 634304824 42033152 6177 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32370/tid=32374] ppid=32368 vsize=41048 CPUtime=0
/proc/32370/task/32374/stat : 32374 (satake) D 32368 32370 27791 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 17 0 634304824 42033152 6179 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32370/tid=32375] ppid=32368 vsize=41048 CPUtime=0.02
/proc/32370/task/32375/stat : 32375 (satake) R 32368 32370 27791 0 -1 4202560 384 0 0 0 0 2 0 0 20 0 17 0 634304824 42033152 6179 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32370/tid=32376] ppid=32368 vsize=41048 CPUtime=0.02
/proc/32370/task/32376/stat : 32376 (satake) D 32368 32370 27791 0 -1 4202560 549 0 0 0 0 2 0 0 20 0 17 0 634304824 42033152 6180 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32370/tid=32377] ppid=32368 vsize=41048 CPUtime=0
/proc/32370/task/32377/stat : 32377 (satake) R 32368 32370 27791 0 -1 4202560 90 0 0 0 0 0 0 0 20 0 17 0 634304824 42033152 6181 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32370/tid=32378] ppid=32368 vsize=41048 CPUtime=0.02
/proc/32370/task/32378/stat : 32378 (satake) R 32368 32370 27791 0 -1 4202560 348 0 0 0 0 2 0 0 20 0 17 0 634304824 42033152 6181 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32370/tid=32379] ppid=32368 vsize=41048 CPUtime=0.02
/proc/32370/task/32379/stat : 32379 (satake) R 32368 32370 27791 0 -1 4202560 297 0 0 0 0 2 0 0 20 0 17 0 634304824 42033152 6181 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32370/tid=32380] ppid=32368 vsize=41048 CPUtime=0.02
/proc/32370/task/32380/stat : 32380 (satake) R 32368 32370 27791 0 -1 4202560 275 0 0 0 0 2 0 0 20 0 17 0 634304824 42033152 6181 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32370/tid=32381] ppid=32368 vsize=41048 CPUtime=0
/proc/32370/task/32381/stat : 32381 (satake) R 32368 32370 27791 0 -1 4202560 231 0 0 0 0 0 0 0 20 0 17 0 634304824 42033152 6181 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32370/tid=32382] ppid=32368 vsize=41048 CPUtime=0.04
/proc/32370/task/32382/stat : 32382 (satake) R 32368 32370 27791 0 -1 4202560 547 0 0 0 0 4 0 0 20 0 17 0 634304824 42033152 6181 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32370/tid=32383] ppid=32368 vsize=41048 CPUtime=0.04
/proc/32370/task/32383/stat : 32383 (satake) R 32368 32370 27791 0 -1 4202560 522 0 0 0 0 4 0 0 20 0 17 0 634304824 42033152 6181 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32370/tid=32384] ppid=32368 vsize=41048 CPUtime=0.02
/proc/32370/task/32384/stat : 32384 (satake) R 32368 32370 27791 0 -1 4202560 407 0 0 0 0 2 0 0 20 0 17 0 634304824 42033152 6182 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32370/tid=32385] ppid=32368 vsize=41048 CPUtime=0.04
/proc/32370/task/32385/stat : 32385 (satake) R 32368 32370 27791 0 -1 4202560 504 0 0 0 0 4 0 0 20 0 17 0 634304824 42033152 6184 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32370/tid=32386] ppid=32368 vsize=41048 CPUtime=0.04
/proc/32370/task/32386/stat : 32386 (satake) R 32368 32370 27791 0 -1 4202560 528 0 0 0 0 4 0 0 20 0 17 0 634304825 42033152 6186 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 40024

[startup+0.10414 s]
/proc/loadavg: 4.02 4.22 6.42 2/184 32370
/proc/meminfo: memFree=19133684/36427776 swapFree=4276/8244
[pid=32370] ppid=32368 vsize=72024 CPUtime=0.7
/proc/32370/stat : 32370 (satake) S 32368 32370 27791 0 -1 4202496 11773 0 0 0 0 70 0 0 20 0 17 0 634304824 73752576 11729 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32370/statm: 18006 11729 63 164 0 17841 0
[pid=32370/tid=32371] ppid=32368 vsize=72024 CPUtime=0
/proc/32370/task/32371/stat : 32371 (satake) S 32368 32370 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634304824 73752576 11729 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=32370/tid=32372] ppid=32368 vsize=72024 CPUtime=0.06
/proc/32370/task/32372/stat : 32372 (satake) D 32368 32370 27791 0 -1 4202560 1207 0 0 0 0 6 0 0 20 0 17 0 634304824 73752576 11729 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32370/tid=32373] ppid=32368 vsize=72024 CPUtime=0.06
/proc/32370/task/32373/stat : 32373 (satake) D 32368 32370 27791 0 -1 4202560 1147 0 0 0 0 6 0 0 20 0 17 0 634304824 73752576 11729 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32370/tid=32374] ppid=32368 vsize=72024 CPUtime=0
/proc/32370/task/32374/stat : 32374 (satake) D 32368 32370 27791 0 -1 4202560 162 0 0 0 0 0 0 0 20 0 17 0 634304824 73752576 11729 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32370/tid=32375] ppid=32368 vsize=72024 CPUtime=0.06
/proc/32370/task/32375/stat : 32375 (satake) D 32368 32370 27791 0 -1 4202560 792 0 0 0 0 6 0 0 20 0 17 0 634304824 73752576 11729 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32370/tid=32376] ppid=32368 vsize=72024 CPUtime=0.06
/proc/32370/task/32376/stat : 32376 (satake) D 32368 32370 27791 0 -1 4202560 885 0 0 0 0 6 0 0 20 0 17 0 634304824 73752576 11729 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32370/tid=32377] ppid=32368 vsize=72024 CPUtime=0
/proc/32370/task/32377/stat : 32377 (satake) D 32368 32370 27791 0 -1 4202560 179 0 0 0 0 0 0 0 20 0 17 0 634304824 73752576 11729 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32370/tid=32378] ppid=32368 vsize=76120 CPUtime=0.04
/proc/32370/task/32378/stat : 32378 (satake) R 32368 32370 27791 0 -1 4202560 863 0 0 0 0 4 0 0 20 0 17 0 634304824 77946880 11729 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32370/tid=32379] ppid=32368 vsize=76120 CPUtime=0.02
/proc/32370/task/32379/stat : 32379 (satake) D 32368 32370 27791 0 -1 4202560 418 0 0 0 0 2 0 0 20 0 17 0 634304824 77946880 11733 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32370/tid=32380] ppid=32368 vsize=76120 CPUtime=0.04
/proc/32370/task/32380/stat : 32380 (satake) R 32368 32370 27791 0 -1 4202560 653 0 0 0 0 4 0 0 20 0 17 0 634304824 77946880 11736 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32370/tid=32381] ppid=32368 vsize=76120 CPUtime=0.02
/proc/32370/task/32381/stat : 32381 (satake) D 32368 32370 27791 0 -1 4202560 608 0 0 0 0 2 0 0 20 0 17 0 634304824 77946880 11736 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32370/tid=32382] ppid=32368 vsize=76120 CPUtime=0.06
/proc/32370/task/32382/stat : 32382 (satake) R 32368 32370 27791 0 -1 4202560 1043 0 0 0 0 6 0 0 20 0 17 0 634304824 77946880 11737 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32370/tid=32383] ppid=32368 vsize=76120 CPUtime=0.06
/proc/32370/task/32383/stat : 32383 (satake) R 32368 32370 27791 0 -1 4202560 1016 0 0 0 0 6 0 0 20 0 17 0 634304824 77946880 11737 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32370/tid=32384] ppid=32368 vsize=76120 CPUtime=0.02
/proc/32370/task/32384/stat : 32384 (satake) D 32368 32370 27791 0 -1 4202560 638 0 0 0 0 2 0 0 20 0 17 0 634304824 77946880 11738 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32370/tid=32385] ppid=32368 vsize=76120 CPUtime=0.06
/proc/32370/task/32385/stat : 32385 (satake) R 32368 32370 27791 0 -1 4202560 1060 0 0 0 0 6 0 0 20 0 17 0 634304824 77946880 11739 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32370/tid=32386] ppid=32368 vsize=76120 CPUtime=0.06
/proc/32370/task/32386/stat : 32386 (satake) R 32368 32370 27791 0 -1 4202560 976 0 0 0 0 6 0 0 20 0 17 0 634304825 77946880 11739 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 72024

[startup+0.304203 s]
/proc/loadavg: 4.02 4.22 6.42 2/184 32370
/proc/meminfo: memFree=19133684/36427776 swapFree=4276/8244
[pid=32370] ppid=32368 vsize=158936 CPUtime=2.28
/proc/32370/stat : 32370 (satake) S 32368 32370 27791 0 -1 4202496 32405 0 0 0 0 228 0 0 20 0 17 0 634304824 162750464 32361 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32370/statm: 39734 32361 63 164 0 39569 0
[pid=32370/tid=32371] ppid=32368 vsize=158936 CPUtime=0
/proc/32370/task/32371/stat : 32371 (satake) S 32368 32370 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634304824 162750464 32361 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=32370/tid=32372] ppid=32368 vsize=158936 CPUtime=0.14
/proc/32370/task/32372/stat : 32372 (satake) D 32368 32370 27791 0 -1 4202560 2467 0 0 0 0 14 0 0 20 0 17 0 634304824 162750464 32361 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32370/tid=32373] ppid=32368 vsize=158936 CPUtime=0.22
/proc/32370/task/32373/stat : 32373 (satake) S 32368 32370 27791 0 -1 4202560 2796 0 0 0 0 22 0 0 20 0 17 0 634304824 162750464 32361 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=32370/tid=32374] ppid=32368 vsize=158936 CPUtime=0.08
/proc/32370/task/32374/stat : 32374 (satake) D 32368 32370 27791 0 -1 4202560 1170 0 0 0 0 8 0 0 20 0 17 0 634304824 162750464 32361 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32370/tid=32375] ppid=32368 vsize=158936 CPUtime=0.2
/proc/32370/task/32375/stat : 32375 (satake) D 32368 32370 27791 0 -1 4202560 2764 0 0 0 0 20 0 0 20 0 17 0 634304824 162750464 32361 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32370/tid=32376] ppid=32368 vsize=158936 CPUtime=0.14
/proc/32370/task/32376/stat : 32376 (satake) D 32368 32370 27791 0 -1 4202560 2169 0 0 0 0 14 0 0 20 0 17 0 634304824 162750464 32361 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32370/tid=32377] ppid=32368 vsize=158936 CPUtime=0.06
/proc/32370/task/32377/stat : 32377 (satake) R 32368 32370 27791 0 -1 4202560 1042 0 0 0 0 6 0 0 20 0 17 0 634304824 162750464 32361 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32370/tid=32378] ppid=32368 vsize=158936 CPUtime=0.16
/proc/32370/task/32378/stat : 32378 (satake) S 32368 32370 27791 0 -1 4202560 2638 0 0 0 0 16 0 0 20 0 17 0 634304824 162750464 32361 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=32370/tid=32379] ppid=32368 vsize=158936 CPUtime=0.12
/proc/32370/task/32379/stat : 32379 (satake) D 32368 32370 27791 0 -1 4202560 1950 0 0 0 0 12 0 0 20 0 17 0 634304824 162750464 32361 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32370/tid=32380] ppid=32368 vsize=158936 CPUtime=0.1
/proc/32370/task/32380/stat : 32380 (satake) D 32368 32370 27791 0 -1 4202560 1558 0 0 0 0 10 0 0 20 0 17 0 634304824 162750464 32361 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32370/tid=32381] ppid=32368 vsize=158936 CPUtime=0.1
/proc/32370/task/32381/stat : 32381 (satake) D 32368 32370 27791 0 -1 4202560 1379 0 0 0 0 10 0 0 20 0 17 0 634304824 162750464 32361 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32370/tid=32382] ppid=32368 vsize=158936 CPUtime=0.2
/proc/32370/task/32382/stat : 32382 (satake) S 32368 32370 27791 0 -1 4202560 2607 0 0 0 0 20 0 0 20 0 17 0 634304824 162750464 32361 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=32370/tid=32383] ppid=32368 vsize=158936 CPUtime=0.2
/proc/32370/task/32383/stat : 32383 (satake) S 32368 32370 27791 0 -1 4202560 2619 0 0 0 0 20 0 0 20 0 17 0 634304824 162750464 32361 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=32370/tid=32384] ppid=32368 vsize=158936 CPUtime=0.12
/proc/32370/task/32384/stat : 32384 (satake) D 32368 32370 27791 0 -1 4202560 1823 0 0 0 0 12 0 0 20 0 17 0 634304824 162750464 32361 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32370/tid=32385] ppid=32368 vsize=158936 CPUtime=0.2
/proc/32370/task/32385/stat : 32385 (satake) S 32368 32370 27791 0 -1 4202560 2676 0 0 0 0 20 0 0 20 0 17 0 634304824 162750464 32361 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=32370/tid=32386] ppid=32368 vsize=158936 CPUtime=0.2
/proc/32370/task/32386/stat : 32386 (satake) D 32368 32370 27791 0 -1 4202560 2617 0 0 0 0 20 0 0 20 0 17 0 634304825 162750464 32361 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 158936

[startup+0.704261 s]
/proc/loadavg: 4.02 4.22 6.42 2/184 32370
/proc/meminfo: memFree=19133684/36427776 swapFree=4276/8244
[pid=32370] ppid=32368 vsize=197776 CPUtime=4.3
/proc/32370/stat : 32370 (satake) S 32368 32370 27791 0 -1 4202496 47362 0 0 0 37 393 0 0 20 0 17 0 634304824 202522624 47318 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32370/statm: 49444 47320 63 164 0 49279 0
[pid=32370/tid=32371] ppid=32368 vsize=197776 CPUtime=0
/proc/32370/task/32371/stat : 32371 (satake) S 32368 32370 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634304824 202522624 47321 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=32370/tid=32372] ppid=32368 vsize=197776 CPUtime=0.24
/proc/32370/task/32372/stat : 32372 (satake) R 32368 32370 27791 0 -1 4202560 3121 0 0 0 2 22 0 0 20 0 17 0 634304824 202522624 47321 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32370/tid=32373] ppid=32368 vsize=197776 CPUtime=0.36
/proc/32370/task/32373/stat : 32373 (satake) S 32368 32370 27791 0 -1 4202560 3428 0 0 0 2 34 0 0 20 0 17 0 634304824 202522624 47323 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=32370/tid=32374] ppid=32368 vsize=197776 CPUtime=0.2
/proc/32370/task/32374/stat : 32374 (satake) S 32368 32370 27791 0 -1 4202560 2913 0 0 0 4 16 0 0 20 0 17 0 634304824 202522624 47324 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=32370/tid=32375] ppid=32368 vsize=197776 CPUtime=0.34
/proc/32370/task/32375/stat : 32375 (satake) S 32368 32370 27791 0 -1 4202560 3411 0 0 0 6 28 0 0 20 0 17 0 634304824 202522624 47324 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=32370/tid=32376] ppid=32368 vsize=197776 CPUtime=0.26
/proc/32370/task/32376/stat : 32376 (satake) D 32368 32370 27791 0 -1 4202560 3089 0 0 0 0 26 0 0 20 0 17 0 634304824 202522624 47324 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134702260 0 0 1 0 18446744071565523402 0 0 -1 13 0 0 0 0 0
[pid=32370/tid=32377] ppid=32368 vsize=197776 CPUtime=0.2
/proc/32370/task/32377/stat : 32377 (satake) R 32368 32370 27791 0 -1 4202560 2944 0 0 0 0 20 0 0 20 0 17 0 634304824 202522624 47324 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32370/tid=32378] ppid=32368 vsize=197776 CPUtime=0.28
/proc/32370/task/32378/stat : 32378 (satake) S 32368 32370 27791 0 -1 4202560 3178 0 0 0 0 28 0 0 20 0 17 0 634304824 202522624 47324 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=32370/tid=32379] ppid=32368 vsize=197776 CPUtime=0.26
/proc/32370/task/32379/stat : 32379 (satake) R 32368 32370 27791 0 -1 4202560 3124 0 0 0 0 26 0 0 20 0 17 0 634304824 202522624 47324 18446744073709551615 134512640 135180984 4290011696 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32370/tid=32380] ppid=32368 vsize=197776 CPUtime=0.24

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

deleting IPC queue 564592718
deleting IPC queue 564625487
deleting IPC queue 564658256
deleting IPC queue 564691025
deleting IPC queue 564723794
deleting IPC queue 564756563
deleting IPC queue 564789332
deleting IPC queue 564822101
deleting IPC queue 564854870
deleting IPC queue 564887639
deleting IPC queue 564920408
deleting IPC queue 564953177
deleting IPC queue 564985946
deleting IPC queue 565018715
deleting IPC queue 565051484
deleting IPC queue 565084253
deleting IPC queue 565117022
deleting IPC queue 565149791
deleting IPC queue 565182560
deleting IPC queue 565215329
deleting IPC queue 565248098
deleting IPC queue 565280867
deleting IPC queue 565313636
deleting IPC queue 565346405
deleting IPC queue 565379174
deleting IPC queue 565411943
deleting IPC queue 565444712
deleting IPC queue 565477481
deleting IPC queue 565510250
deleting IPC queue 565543019
deleting IPC queue 565575788
deleting IPC queue 565608557
deleting IPC queue 565641326
deleting IPC queue 565674095
deleting IPC queue 565706864
deleting IPC queue 565739633
deleting IPC queue 565772402
deleting IPC queue 565805171
deleting IPC queue 565837940
deleting IPC queue 565870709
deleting IPC queue 565903478
deleting IPC queue 565936247
deleting IPC queue 565969016
deleting IPC queue 566001785
deleting IPC queue 566034554
deleting IPC queue 566067323
deleting IPC queue 566100092
deleting IPC queue 566132861
deleting IPC queue 566165630
deleting IPC queue 566198399
deleting IPC queue 566231168
deleting IPC queue 566263937
deleting IPC queue 566296706
deleting IPC queue 566329475
deleting IPC queue 566362244
deleting IPC queue 566395013
deleting IPC queue 566427782
deleting IPC queue 566460551
deleting IPC queue 566493320
deleting IPC queue 566526089
deleting IPC queue 566558858
deleting IPC queue 566591627
deleting IPC queue 566624396
deleting IPC queue 566657165
deleting IPC queue 566689934
deleting IPC queue 566722703
deleting IPC queue 566755472
deleting IPC queue 566788241
deleting IPC queue 566821010
deleting IPC queue 566853779
deleting IPC queue 566886548
deleting IPC queue 566919317
deleting IPC queue 566952086
deleting IPC queue 566984855
deleting IPC queue 567017624
deleting IPC queue 567050393
deleting IPC queue 567083162
deleting IPC queue 567115931
deleting IPC queue 567148700
deleting IPC queue 567181469
deleting IPC queue 567214238
deleting IPC queue 567247007
deleting IPC queue 567279776
deleting IPC queue 567312545
deleting IPC queue 567345314
deleting IPC queue 567378083
deleting IPC queue 567410852
deleting IPC queue 567443621
deleting IPC queue 567476390
deleting IPC queue 567509159
deleting IPC queue 567541928
deleting IPC queue 567574697
deleting IPC queue 567607466
deleting IPC queue 567640235
deleting IPC queue 567673004
deleting IPC queue 567705773
deleting IPC queue 567738542
deleting IPC queue 567771311
deleting IPC queue 567804080
deleting IPC queue 567836849
deleting IPC queue 567869618
deleting IPC queue 567902387
deleting IPC queue 567935156
deleting IPC queue 567967925
deleting IPC queue 568000694
deleting IPC queue 568033463
deleting IPC queue 568066232
deleting IPC queue 568099001
deleting IPC queue 568131770
deleting IPC queue 568164539
deleting IPC queue 568197308
deleting IPC queue 568230077
deleting IPC queue 568262846
deleting IPC queue 568295615
deleting IPC queue 568328384
deleting IPC queue 568361153
deleting IPC queue 568393922
deleting IPC queue 568426691
deleting IPC queue 568459460
deleting IPC queue 568492229
deleting IPC queue 568524998
deleting IPC queue 568557767
deleting IPC queue 568590536
deleting IPC queue 568623305
deleting IPC queue 568656074
deleting IPC queue 568688843
deleting IPC queue 568721612
deleting IPC queue 568754381
deleting IPC queue 568787150
deleting IPC queue 568819919
deleting IPC queue 568852688
deleting IPC queue 568885457
deleting IPC queue 568918226
deleting IPC queue 568950995
deleting IPC queue 568983764
deleting IPC queue 569016533
deleting IPC queue 569049302
deleting IPC queue 569082071
deleting IPC queue 569114840
deleting IPC queue 569147609
deleting IPC queue 569180378
deleting IPC queue 569213147
deleting IPC queue 569245916
deleting IPC queue 569278685
deleting IPC queue 569311454
deleting IPC queue 569344223
deleting IPC queue 569376992
deleting IPC queue 569409761
deleting IPC queue 569442530
deleting IPC queue 569475299
deleting IPC queue 569508068
deleting IPC queue 569540837
deleting IPC queue 569573606
deleting IPC queue 569606375
deleting IPC queue 569639144
deleting IPC queue 569671913
deleting IPC queue 569704682
deleting IPC queue 569737451
deleting IPC queue 569770220
deleting IPC queue 569802989
deleting IPC queue 569835758
deleting IPC queue 569868527
deleting IPC queue 569901296
deleting IPC queue 569934065
deleting IPC queue 569966834
deleting IPC queue 569999603
deleting IPC queue 570032372
deleting IPC queue 570065141
deleting IPC queue 570097910
deleting IPC queue 570130679
deleting IPC queue 570163448
deleting IPC queue 570196217
deleting IPC queue 570228986
deleting IPC queue 570261755
deleting IPC queue 570294524
deleting IPC queue 570327293
deleting IPC queue 570360062
deleting IPC queue 570392831

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2285.77
system time used= 172.631
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 548011
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= 14347487
involuntary context switches= 3095009

runsolver used 1.5401 second user time and 4.40027 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 21:53:04
IDJOB=1776507
IDBENCH=20577
IDSOLVER=631
FILE ID=xenhost3-49/1776507-1244749984
PBS_JOBID=
Free space on /tmp= 7029 MiB

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

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

MD5SUM BENCH= f0f4556999ccb446384994a4148fca28
RANDOM SEED= 1652447392

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:      19134128 kB
Buffers:        432748 kB
Cached:       14110992 kB
SwapCached:          0 kB
Active:        4077692 kB
Inactive:     10474220 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           10512 kB
Writeback:           0 kB
AnonPages:        8244 kB
Mapped:           3612 kB
Slab:           688152 kB
SReclaimable:   661220 kB
SUnreclaim:      26932 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= 7029 MiB
End job on xenhost3-49 at 2009-06-11 21:58:48