Trace number 1780827

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) 7709.88 537.479

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_17_UNKNOWN.cnf
MD5SUMd554330e1400d4f25a793413df9abc4e
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 variables3582
Number of clauses395999
Sum of the clauses size1182858
Maximum clause length18
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25604
Number of clauses of size 3390364
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

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-1780827-1244843006/watcher-1780827-1244843006 -o /tmp/evaluation-result-1780827-1244843006/solver-1780827-1244843006 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780827-1244843006.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: 13.83 14.61 13.14 2/184 11362
/proc/meminfo: memFree=19122276/36427776 swapFree=4392/8320
[pid=11362] ppid=11360 vsize=8120 CPUtime=0
/proc/11362/stat : 11362 (satake) D 11360 11362 27791 0 -1 4202496 605 0 0 0 0 0 0 0 20 0 15 0 643606999 8314880 561 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/11362/statm: 2031 563 63 164 0 1866 0
[pid=11362/tid=11363] ppid=11360 vsize=8188 CPUtime=0
/proc/11362/task/11363/stat : 11363 (satake) S 11360 11362 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 16 0 643607000 8384512 600 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=11362/tid=11364] ppid=11360 vsize=8188 CPUtime=0
/proc/11362/task/11364/stat : 11364 (satake) R 11360 11362 27791 0 -1 4202560 99 0 0 0 0 0 0 0 20 0 16 0 643607000 8384512 602 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11362/tid=11365] ppid=11360 vsize=8188 CPUtime=0
/proc/11362/task/11365/stat : 11365 (satake) R 11360 11362 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 16 0 643607000 8384512 603 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11362/tid=11366] ppid=11360 vsize=8188 CPUtime=0
/proc/11362/task/11366/stat : 11366 (satake) S 11360 11362 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 16 0 643607000 8384512 603 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=11362/tid=11367] ppid=11360 vsize=8188 CPUtime=0
/proc/11362/task/11367/stat : 11367 (satake) R 11360 11362 27791 0 -1 4202560 89 0 0 0 0 0 0 0 20 0 16 0 643607000 8384512 603 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11362/tid=11368] ppid=11360 vsize=8188 CPUtime=0
/proc/11362/task/11368/stat : 11368 (satake) R 11360 11362 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 16 0 643607000 8384512 603 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11362/tid=11369] ppid=11360 vsize=8188 CPUtime=0
/proc/11362/task/11369/stat : 11369 (satake) R 11360 11362 27791 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 16 0 643607000 8384512 604 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11362/tid=11370] ppid=11360 vsize=8188 CPUtime=0
/proc/11362/task/11370/stat : 11370 (satake) D 11360 11362 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 16 0 643607000 8384512 604 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11362/tid=11371] ppid=11360 vsize=8188 CPUtime=0
/proc/11362/task/11371/stat : 11371 (satake) S 11360 11362 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 16 0 643607000 8384512 604 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=11362/tid=11372] ppid=11360 vsize=8188 CPUtime=0
/proc/11362/task/11372/stat : 11372 (satake) D 11360 11362 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 643607000 8384512 605 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134702083 0 0 1 0 18446744071564503468 0 0 -1 12 0 0 0 0 0
[pid=11362/tid=11373] ppid=11360 vsize=8192 CPUtime=0
/proc/11362/task/11373/stat : 11373 (satake) D 11360 11362 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 16 0 643607000 8388608 605 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11362/tid=11374] ppid=11360 vsize=8192 CPUtime=0
/proc/11362/task/11374/stat : 11374 (satake) D 11360 11362 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 16 0 643607000 8388608 605 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11362/tid=11375] ppid=11360 vsize=8192 CPUtime=0
/proc/11362/task/11375/stat : 11375 (satake) D 11360 11362 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 16 0 643607000 8388608 605 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11362/tid=11376] ppid=11360 vsize=8320 CPUtime=0
/proc/11362/task/11376/stat : 11376 (satake) D 11360 11362 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 16 0 643607000 8519680 605 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=11362/tid=11377] ppid=11360 vsize=8320 CPUtime=0
/proc/11362/task/11377/stat : 11377 (satake) D 11360 11362 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 643607000 8519680 605 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.095016 s]
/proc/loadavg: 13.83 14.61 13.14 2/184 11362
/proc/meminfo: memFree=19122276/36427776 swapFree=4392/8320
[pid=11362] ppid=11360 vsize=64296 CPUtime=0.64
/proc/11362/stat : 11362 (satake) S 11360 11362 27791 0 -1 4202496 9862 0 0 0 0 64 0 0 20 0 17 0 643606999 65839104 9825 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/11362/statm: 16074 9855 63 164 0 15909 0
[pid=11362/tid=11363] ppid=11360 vsize=64296 CPUtime=0
/proc/11362/task/11363/stat : 11363 (satake) S 11360 11362 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 643607000 65839104 9866 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=11362/tid=11364] ppid=11360 vsize=64296 CPUtime=0.02
/proc/11362/task/11364/stat : 11364 (satake) R 11360 11362 27791 0 -1 4202560 612 0 0 0 0 2 0 0 20 0 17 0 643607000 65839104 9882 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11362/tid=11365] ppid=11360 vsize=64296 CPUtime=0.02
/proc/11362/task/11365/stat : 11365 (satake) R 11360 11362 27791 0 -1 4202560 360 0 0 0 0 2 0 0 20 0 17 0 643607000 65839104 9899 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11362/tid=11366] ppid=11360 vsize=64296 CPUtime=0.04
/proc/11362/task/11366/stat : 11366 (satake) D 11360 11362 27791 0 -1 4202560 642 0 0 0 0 4 0 0 20 0 17 0 643607000 65839104 9907 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11362/tid=11367] ppid=11360 vsize=64808 CPUtime=0.06
/proc/11362/task/11367/stat : 11367 (satake) D 11360 11362 27791 0 -1 4202560 1091 0 0 0 0 6 0 0 20 0 17 0 643607000 66363392 9908 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11362/tid=11368] ppid=11360 vsize=64808 CPUtime=0.04
/proc/11362/task/11368/stat : 11368 (satake) D 11360 11362 27791 0 -1 4202560 577 0 0 0 0 4 0 0 20 0 17 0 643607000 66363392 9912 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11362/tid=11369] ppid=11360 vsize=64808 CPUtime=0.06
/proc/11362/task/11369/stat : 11369 (satake) R 11360 11362 27791 0 -1 4202560 936 0 0 0 0 6 0 0 20 0 17 0 643607000 66363392 9915 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11362/tid=11370] ppid=11360 vsize=64808 CPUtime=0.06
/proc/11362/task/11370/stat : 11370 (satake) D 11360 11362 27791 0 -1 4202560 919 0 0 0 0 6 0 0 20 0 17 0 643607000 66363392 9916 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11362/tid=11371] ppid=11360 vsize=64808 CPUtime=0.04
/proc/11362/task/11371/stat : 11371 (satake) R 11360 11362 27791 0 -1 4202560 610 0 0 0 0 4 0 0 20 0 17 0 643607000 66363392 9917 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11362/tid=11372] ppid=11360 vsize=64808 CPUtime=0
/proc/11362/task/11372/stat : 11372 (satake) R 11360 11362 27791 0 -1 4202560 147 0 0 0 0 0 0 0 20 0 17 0 643607000 66363392 9917 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11362/tid=11373] ppid=11360 vsize=64808 CPUtime=0.02
/proc/11362/task/11373/stat : 11373 (satake) R 11360 11362 27791 0 -1 4202560 299 0 0 0 0 2 0 0 20 0 17 0 643607000 66363392 9918 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11362/tid=11374] ppid=11360 vsize=64808 CPUtime=0.06
/proc/11362/task/11374/stat : 11374 (satake) R 11360 11362 27791 0 -1 4202560 651 0 0 0 0 6 0 0 20 0 17 0 643607000 66363392 9918 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11362/tid=11375] ppid=11360 vsize=64808 CPUtime=0.04
/proc/11362/task/11375/stat : 11375 (satake) R 11360 11362 27791 0 -1 4202560 644 0 0 0 0 4 0 0 20 0 17 0 643607000 66363392 9918 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11362/tid=11376] ppid=11360 vsize=64808 CPUtime=0.06
/proc/11362/task/11376/stat : 11376 (satake) R 11360 11362 27791 0 -1 4202560 654 0 0 0 0 6 0 0 20 0 17 0 643607000 66363392 9918 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=11362/tid=11377] ppid=11360 vsize=64808 CPUtime=0.06
/proc/11362/task/11377/stat : 11377 (satake) R 11360 11362 27791 0 -1 4202560 793 0 0 0 0 6 0 0 20 0 17 0 643607000 66363392 9919 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 64296

[startup+0.102998 s]
/proc/loadavg: 13.83 14.61 13.14 2/184 11362
/proc/meminfo: memFree=19122276/36427776 swapFree=4392/8320
[pid=11362] ppid=11360 vsize=69928 CPUtime=0.73
/proc/11362/stat : 11362 (satake) S 11360 11362 27791 0 -1 4202496 11336 0 0 0 0 73 0 0 20 0 17 0 643606999 71606272 11299 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/11362/statm: 17482 11317 63 164 0 17317 0
[pid=11362/tid=11363] ppid=11360 vsize=69928 CPUtime=0
/proc/11362/task/11363/stat : 11363 (satake) S 11360 11362 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 643607000 71606272 11320 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=11362/tid=11364] ppid=11360 vsize=69928 CPUtime=0.02
/proc/11362/task/11364/stat : 11364 (satake) R 11360 11362 27791 0 -1 4202560 616 0 0 0 0 2 0 0 20 0 17 0 643607000 71606272 11321 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11362/tid=11365] ppid=11360 vsize=69928 CPUtime=0.02
/proc/11362/task/11365/stat : 11365 (satake) D 11360 11362 27791 0 -1 4202560 364 0 0 0 0 2 0 0 20 0 17 0 643607000 71606272 11321 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11362/tid=11366] ppid=11360 vsize=69928 CPUtime=0.04
/proc/11362/task/11366/stat : 11366 (satake) D 11360 11362 27791 0 -1 4202560 757 0 0 0 0 4 0 0 20 0 17 0 643607000 71606272 11321 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11362/tid=11367] ppid=11360 vsize=69928 CPUtime=0.06
/proc/11362/task/11367/stat : 11367 (satake) D 11360 11362 27791 0 -1 4202560 1094 0 0 0 0 6 0 0 20 0 17 0 643607000 71606272 11321 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11362/tid=11368] ppid=11360 vsize=69928 CPUtime=0.04
/proc/11362/task/11368/stat : 11368 (satake) D 11360 11362 27791 0 -1 4202560 686 0 0 0 0 4 0 0 20 0 17 0 643607000 71606272 11321 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11362/tid=11369] ppid=11360 vsize=69928 CPUtime=0.06
/proc/11362/task/11369/stat : 11369 (satake) D 11360 11362 27791 0 -1 4202560 1063 0 0 0 0 6 0 0 20 0 17 0 643607000 71606272 11321 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11362/tid=11370] ppid=11360 vsize=69928 CPUtime=0.06
/proc/11362/task/11370/stat : 11370 (satake) R 11360 11362 27791 0 -1 4202560 1042 0 0 0 0 6 0 0 20 0 17 0 643607000 71606272 11321 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11362/tid=11371] ppid=11360 vsize=69928 CPUtime=0.04
/proc/11362/task/11371/stat : 11371 (satake) D 11360 11362 27791 0 -1 4202560 780 0 0 0 0 4 0 0 20 0 17 0 643607000 71606272 11321 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11362/tid=11372] ppid=11360 vsize=69928 CPUtime=0
/proc/11362/task/11372/stat : 11372 (satake) D 11360 11362 27791 0 -1 4202560 314 0 0 0 0 0 0 0 20 0 17 0 643607000 71606272 11321 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11362/tid=11373] ppid=11360 vsize=69928 CPUtime=0.02
/proc/11362/task/11373/stat : 11373 (satake) D 11360 11362 27791 0 -1 4202560 302 0 0 0 0 2 0 0 20 0 17 0 643607000 71606272 11321 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11362/tid=11374] ppid=11360 vsize=69928 CPUtime=0.06
/proc/11362/task/11374/stat : 11374 (satake) D 11360 11362 27791 0 -1 4202560 765 0 0 0 0 6 0 0 20 0 17 0 643607000 71606272 11321 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11362/tid=11375] ppid=11360 vsize=69928 CPUtime=0.06
/proc/11362/task/11375/stat : 11375 (satake) D 11360 11362 27791 0 -1 4202560 750 0 0 0 0 6 0 0 20 0 17 0 643607000 71606272 11321 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11362/tid=11376] ppid=11360 vsize=69928 CPUtime=0.06
/proc/11362/task/11376/stat : 11376 (satake) D 11360 11362 27791 0 -1 4202560 767 0 0 0 0 6 0 0 20 0 17 0 643607000 71606272 11321 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=11362/tid=11377] ppid=11360 vsize=69928 CPUtime=0.06
/proc/11362/task/11377/stat : 11377 (satake) D 11360 11362 27791 0 -1 4202560 908 0 0 0 0 6 0 0 20 0 17 0 643607000 71606272 11321 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 69928

[startup+0.303042 s]
/proc/loadavg: 13.83 14.61 13.14 2/184 11362
/proc/meminfo: memFree=19122276/36427776 swapFree=4392/8320
[pid=11362] ppid=11360 vsize=119576 CPUtime=2.04
/proc/11362/stat : 11362 (satake) S 11360 11362 27791 0 -1 4202496 25304 0 0 0 1 203 0 0 20 0 17 0 643606999 122445824 25260 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/11362/statm: 29894 25260 63 164 0 29729 0
[pid=11362/tid=11363] ppid=11360 vsize=119576 CPUtime=0
/proc/11362/task/11363/stat : 11363 (satake) S 11360 11362 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 643607000 122445824 25264 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=11362/tid=11364] ppid=11360 vsize=119576 CPUtime=0.1
/proc/11362/task/11364/stat : 11364 (satake) R 11360 11362 27791 0 -1 4202560 1798 0 0 0 0 10 0 0 20 0 17 0 643607000 122445824 25265 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134522704 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11362/tid=11365] ppid=11360 vsize=119576 CPUtime=0.1
/proc/11362/task/11365/stat : 11365 (satake) R 11360 11362 27791 0 -1 4202560 1329 0 0 0 0 10 0 0 20 0 17 0 643607000 122445824 25265 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11362/tid=11366] ppid=11360 vsize=119576 CPUtime=0.12
/proc/11362/task/11366/stat : 11366 (satake) R 11360 11362 27791 0 -1 4202560 1692 0 0 0 0 12 0 0 20 0 17 0 643607000 122445824 25265 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11362/tid=11367] ppid=11360 vsize=119576 CPUtime=0.12
/proc/11362/task/11367/stat : 11367 (satake) R 11360 11362 27791 0 -1 4202560 1829 0 0 0 0 12 0 0 20 0 17 0 643607000 122445824 25265 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11362/tid=11368] ppid=11360 vsize=119576 CPUtime=0.1
/proc/11362/task/11368/stat : 11368 (satake) R 11360 11362 27791 0 -1 4202560 1351 0 0 0 0 10 0 0 20 0 17 0 643607000 122445824 25265 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11362/tid=11369] ppid=11360 vsize=119576 CPUtime=0.18
/proc/11362/task/11369/stat : 11369 (satake) D 11360 11362 27791 0 -1 4202560 1965 0 0 0 0 18 0 0 20 0 17 0 643607000 122445824 25267 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11362/tid=11370] ppid=11360 vsize=119576 CPUtime=0.18
/proc/11362/task/11370/stat : 11370 (satake) D 11360 11362 27791 0 -1 4202560 1956 0 0 0 0 18 0 0 20 0 17 0 643607000 122445824 25267 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11362/tid=11371] ppid=11360 vsize=119576 CPUtime=0.1
/proc/11362/task/11371/stat : 11371 (satake) R 11360 11362 27791 0 -1 4202560 1513 0 0 0 0 10 0 0 20 0 17 0 643607000 122445824 25267 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11362/tid=11372] ppid=11360 vsize=119576 CPUtime=0.08
/proc/11362/task/11372/stat : 11372 (satake) D 11360 11362 27791 0 -1 4202560 1436 0 0 0 0 8 0 0 20 0 17 0 643607000 122445824 25268 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11362/tid=11373] ppid=11360 vsize=119576 CPUtime=0.06
/proc/11362/task/11373/stat : 11373 (satake) R 11360 11362 27791 0 -1 4202560 1003 0 0 0 0 6 0 0 20 0 17 0 643607000 122445824 25270 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11362/tid=11374] ppid=11360 vsize=119576 CPUtime=0.16
/proc/11362/task/11374/stat : 11374 (satake) D 11360 11362 27791 0 -1 4202560 1838 0 0 0 0 16 0 0 20 0 17 0 643607000 122445824 25272 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11362/tid=11375] ppid=11360 vsize=119576 CPUtime=0.16
/proc/11362/task/11375/stat : 11375 (satake) R 11360 11362 27791 0 -1 4202560 1838 0 0 0 0 16 0 0 20 0 17 0 643607000 122445824 25273 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11362/tid=11376] ppid=11360 vsize=119576 CPUtime=0.18
/proc/11362/task/11376/stat : 11376 (satake) R 11360 11362 27791 0 -1 4202560 1866 0 0 0 0 18 0 0 20 0 17 0 643607000 122445824 25273 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=11362/tid=11377] ppid=11360 vsize=119576 CPUtime=0.16
/proc/11362/task/11377/stat : 11377 (satake) R 11360 11362 27791 0 -1 4202560 1856 0 0 0 0 16 0 0 20 0 17 0 643607000 122445824 25275 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 119576

[startup+0.703036 s]
/proc/loadavg: 13.83 14.61 13.14 2/184 11362
/proc/meminfo: memFree=19122276/36427776 swapFree=4392/8320
[pid=11362] ppid=11360 vsize=149764 CPUtime=3.62
/proc/11362/stat : 11362 (satake) S 11360 11362 27791 0 -1 4202496 35259 0 0 0 40 322 0 0 20 0 17 0 643606999 153358336 35216 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/11362/statm: 37441 35218 63 164 0 37276 0
[pid=11362/tid=11363] ppid=11360 vsize=149764 CPUtime=0
/proc/11362/task/11363/stat : 11363 (satake) S 11360 11362 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 643607000 153358336 35218 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=11362/tid=11364] ppid=11360 vsize=149764 CPUtime=0.18
/proc/11362/task/11364/stat : 11364 (satake) R 11360 11362 27791 0 -1 4202560 2255 0 0 0 0 18 0 0 20 0 17 0 643607000 153358336 35220 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11362/tid=11365] ppid=11360 vsize=149764 CPUtime=0.16
/proc/11362/task/11365/stat : 11365 (satake) R 11360 11362 27791 0 -1 4202560 2032 0 0 0 2 14 0 0 20 0 17 0 643607000 153358336 35222 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11362/tid=11366] ppid=11360 vsize=149764 CPUtime=0.18
/proc/11362/task/11366/stat : 11366 (satake) R 11360 11362 27791 0 -1 4202560 2136 0 0 0 2 16 0 0 20 0 17 0 643607000 153358336 35222 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11362/tid=11367] ppid=11360 vsize=149764 CPUtime=0.18
/proc/11362/task/11367/stat : 11367 (satake) R 11360 11362 27791 0 -1 4202560 2083 0 0 0 0 18 0 0 20 0 17 0 643607000 153358336 35222 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11362/tid=11368] ppid=11360 vsize=149764 CPUtime=0.16
/proc/11362/task/11368/stat : 11368 (satake) R 11360 11362 27791 0 -1 4202560 2029 0 0 0 0 16 0 0 20 0 17 0 643607000 153358336 35222 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11362/tid=11369] ppid=11360 vsize=149764 CPUtime=0.34
/proc/11362/task/11369/stat : 11369 (satake) R 11360 11362 27791 0 -1 4202560 2831 0 0 0 6 28 0 0 20 0 17 0 643607000 153358336 35222 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11362/tid=11370] ppid=11360 vsize=149764 CPUtime=0.32
/proc/11362/task/11370/stat : 11370 (satake) D 11360 11362 27791 0 -1 4202560 2739 0 0 0 6 26 0 0 20 0 17 0 643607000 153358336 35222 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11362/tid=11371] ppid=11360 vsize=149764 CPUtime=0.16
/proc/11362/task/11371/stat : 11371 (satake) D 11360 11362 27791 0 -1 4202560 2027 0 0 0 0 16 0 0 20 0 17 0 643607000 153358336 35222 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11362/tid=11372] ppid=11360 vsize=149764 CPUtime=0.18
/proc/11362/task/11372/stat : 11372 (satake) S 11360 11362 27791 0 -1 4202560 2101 0 0 0 0 18 0 0 20 0 17 0 643607000 153358336 35222 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=11362/tid=11373] ppid=11360 vsize=149764 CPUtime=0.16
/proc/11362/task/11373/stat : 11373 (satake) D 11360 11362 27791 0 -1 4202560 2028 0 0 0 0 16 0 0 20 0 17 0 643607000 153358336 35222 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11362/tid=11374] ppid=11360 vsize=149764 CPUtime=0.28
/proc/11362/task/11374/stat : 11374 (satake) D 11360 11362 27791 0 -1 4202560 2420 0 0 0 0 28 0 0 20 0 17 0 643607000 153358336 35222 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11362/tid=11375] ppid=11360 vsize=149764 CPUtime=0.28
/proc/11362/task/11375/stat : 11375 (satake) D 11360 11362 27791 0 -1 4202560 2492 0 0 0 6 22 0 0 20 0 17 0 643607000 153358336 35222 18446744073709551615 134512640 135180984 4289622480 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11362/tid=11376] ppid=11360 vsize=149764 CPUtime=0.32

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

deleting IPC queue 2024210510
deleting IPC queue 2024243279
deleting IPC queue 2024276048
deleting IPC queue 2024308817
deleting IPC queue 2024341586
deleting IPC queue 2024374355
deleting IPC queue 2024407124
deleting IPC queue 2024439893
deleting IPC queue 2024472662
deleting IPC queue 2024505431
deleting IPC queue 2024538200
deleting IPC queue 2024570969
deleting IPC queue 2024603738
deleting IPC queue 2024636507
deleting IPC queue 2024669276
deleting IPC queue 2024702045
deleting IPC queue 2024734814
deleting IPC queue 2024767583
deleting IPC queue 2024800352
deleting IPC queue 2024833121
deleting IPC queue 2024865890
deleting IPC queue 2024898659
deleting IPC queue 2024931428
deleting IPC queue 2024964197
deleting IPC queue 2024996966
deleting IPC queue 2025029735
deleting IPC queue 2025062504
deleting IPC queue 2025095273
deleting IPC queue 2025128042
deleting IPC queue 2025160811
deleting IPC queue 2025193580
deleting IPC queue 2025226349
deleting IPC queue 2025259118
deleting IPC queue 2025291887
deleting IPC queue 2025324656
deleting IPC queue 2025357425
deleting IPC queue 2025390194
deleting IPC queue 2025422963
deleting IPC queue 2025455732
deleting IPC queue 2025488501
deleting IPC queue 2025521270
deleting IPC queue 2025554039
deleting IPC queue 2025586808
deleting IPC queue 2025619577
deleting IPC queue 2025652346
deleting IPC queue 2025685115
deleting IPC queue 2025717884
deleting IPC queue 2025750653
deleting IPC queue 2025783422
deleting IPC queue 2025816191
deleting IPC queue 2025848960
deleting IPC queue 2025881729
deleting IPC queue 2025914498
deleting IPC queue 2025947267
deleting IPC queue 2025980036
deleting IPC queue 2026012805
deleting IPC queue 2026045574
deleting IPC queue 2026078343
deleting IPC queue 2026111112
deleting IPC queue 2026143881
deleting IPC queue 2026176650
deleting IPC queue 2026209419
deleting IPC queue 2026242188
deleting IPC queue 2026274957
deleting IPC queue 2026307726
deleting IPC queue 2026340495
deleting IPC queue 2026373264
deleting IPC queue 2026406033
deleting IPC queue 2026438802
deleting IPC queue 2026471571
deleting IPC queue 2026504340
deleting IPC queue 2026537109
deleting IPC queue 2026569878
deleting IPC queue 2026602647
deleting IPC queue 2026635416
deleting IPC queue 2026668185
deleting IPC queue 2026700954
deleting IPC queue 2026733723
deleting IPC queue 2026766492
deleting IPC queue 2026799261
deleting IPC queue 2026832030
deleting IPC queue 2026864799
deleting IPC queue 2026897568
deleting IPC queue 2026930337
deleting IPC queue 2026963106
deleting IPC queue 2026995875
deleting IPC queue 2027028644
deleting IPC queue 2027061413
deleting IPC queue 2027094182
deleting IPC queue 2027126951
deleting IPC queue 2027159720
deleting IPC queue 2027192489
deleting IPC queue 2027225258
deleting IPC queue 2027258027
deleting IPC queue 2027290796
deleting IPC queue 2027323565
deleting IPC queue 2027356334
deleting IPC queue 2027389103
deleting IPC queue 2027421872
deleting IPC queue 2027454641
deleting IPC queue 2027487410
deleting IPC queue 2027520179
deleting IPC queue 2027552948
deleting IPC queue 2027585717
deleting IPC queue 2027618486
deleting IPC queue 2027651255
deleting IPC queue 2027684024
deleting IPC queue 2027716793
deleting IPC queue 2027749562
deleting IPC queue 2027782331
deleting IPC queue 2027815100
deleting IPC queue 2027847869
deleting IPC queue 2027880638
deleting IPC queue 2027913407
deleting IPC queue 2027946176
deleting IPC queue 2027978945
deleting IPC queue 2028011714
deleting IPC queue 2028044483
deleting IPC queue 2028077252
deleting IPC queue 2028110021
deleting IPC queue 2028142790
deleting IPC queue 2028175559
deleting IPC queue 2028208328
deleting IPC queue 2028241097
deleting IPC queue 2028273866
deleting IPC queue 2028306635
deleting IPC queue 2028339404
deleting IPC queue 2028372173
deleting IPC queue 2028404942
deleting IPC queue 2028437711
deleting IPC queue 2028470480
deleting IPC queue 2028503249
deleting IPC queue 2028536018
deleting IPC queue 2028568787
deleting IPC queue 2028601556
deleting IPC queue 2028634325
deleting IPC queue 2028667094
deleting IPC queue 2028699863
deleting IPC queue 2028732632
deleting IPC queue 2028765401
deleting IPC queue 2028798170
deleting IPC queue 2028830939
deleting IPC queue 2028863708
deleting IPC queue 2028896477
deleting IPC queue 2028929246
deleting IPC queue 2028962015
deleting IPC queue 2028994784
deleting IPC queue 2029027553
deleting IPC queue 2029060322
deleting IPC queue 2029093091
deleting IPC queue 2029125860
deleting IPC queue 2029158629
deleting IPC queue 2029191398
deleting IPC queue 2029224167
deleting IPC queue 2029256936
deleting IPC queue 2029289705
deleting IPC queue 2029322474
deleting IPC queue 2029355243
deleting IPC queue 2029388012
deleting IPC queue 2029420781
deleting IPC queue 2029453550
deleting IPC queue 2029486319
deleting IPC queue 2029519088
deleting IPC queue 2029551857
deleting IPC queue 2029584626
deleting IPC queue 2029617395
deleting IPC queue 2029650164
deleting IPC queue 2029682933
deleting IPC queue 2029715702
deleting IPC queue 2029748471
deleting IPC queue 2029781240
deleting IPC queue 2029814009
deleting IPC queue 2029846778
deleting IPC queue 2029879547
deleting IPC queue 2029912316
deleting IPC queue 2029945085
deleting IPC queue 2029977854
deleting IPC queue 2030010623

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7617
system time used= 92.8738
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 537104
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= 5250179
involuntary context switches= 2486366

runsolver used 2.66817 second user time and 7.59247 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 23:43:26
IDJOB=1780827
IDBENCH=71069
IDSOLVER=631
FILE ID=xenhost3-49/1780827-1244843006
PBS_JOBID=
Free space on /tmp= 7022 MiB

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

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

MD5SUM BENCH= d554330e1400d4f25a793413df9abc4e
RANDOM SEED= 1047941797

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:      19122276 kB
Buffers:        435564 kB
Cached:       14119212 kB
SwapCached:          0 kB
Active:        4080880 kB
Inactive:     10482220 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            7384 kB
Writeback:           0 kB
AnonPages:        8320 kB
Mapped:           3728 kB
Slab:           689596 kB
SReclaimable:   662668 kB
SUnreclaim:      26928 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= 7021 MiB
End job on xenhost3-49 at 2009-06-12 23:52:26