Trace number 1780887

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
MD5SUM57b85ec7870f670f13b00667a6315c05
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 variables2058
Number of clauses144294
Sum of the clauses size429916
Maximum clause length14
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23219
Number of clauses of size 3141052
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

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-1780887-1244844975/watcher-1780887-1244844975 -o /tmp/evaluation-result-1780887-1244844975/solver-1780887-1244844975 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780887-1244844975.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: 12.14 14.19 14.25 2/184 11616
/proc/meminfo: memFree=19123104/36427776 swapFree=5192/8188
[pid=11616] ppid=11614 vsize=6528 CPUtime=0
/proc/11616/stat : 11616 (satake) D 11614 11616 27791 0 -1 4202496 485 0 0 0 0 0 0 0 20 0 14 0 643803849 6684672 442 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/11616/statm: 1632 442 63 164 0 1467 0
[pid=11616/tid=11617] ppid=11614 vsize=6536 CPUtime=0
/proc/11616/task/11617/stat : 11617 (satake) S 11614 11616 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 643803850 6692864 475 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=11616/tid=11618] ppid=11614 vsize=6536 CPUtime=0
/proc/11616/task/11618/stat : 11618 (satake) R 11614 11616 27791 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 15 0 643803850 6692864 475 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11616/tid=11619] ppid=11614 vsize=6536 CPUtime=0
/proc/11616/task/11619/stat : 11619 (satake) R 11614 11616 27791 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 15 0 643803850 6692864 475 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11616/tid=11620] ppid=11614 vsize=6536 CPUtime=0
/proc/11616/task/11620/stat : 11620 (satake) R 11614 11616 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 15 0 643803850 6692864 475 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11616/tid=11621] ppid=11614 vsize=6536 CPUtime=0
/proc/11616/task/11621/stat : 11621 (satake) R 11614 11616 27791 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 15 0 643803850 6692864 477 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11616/tid=11622] ppid=11614 vsize=6536 CPUtime=0
/proc/11616/task/11622/stat : 11622 (satake) R 11614 11616 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 15 0 643803850 6692864 478 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11616/tid=11623] ppid=11614 vsize=6536 CPUtime=0
/proc/11616/task/11623/stat : 11623 (satake) R 11614 11616 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 15 0 643803850 6692864 479 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11616/tid=11624] ppid=11614 vsize=6536 CPUtime=0
/proc/11616/task/11624/stat : 11624 (satake) D 11614 11616 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 15 0 643803850 6692864 485 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11616/tid=11625] ppid=11614 vsize=6536 CPUtime=0
/proc/11616/task/11625/stat : 11625 (satake) D 11614 11616 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 15 0 643803850 6692864 485 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11616/tid=11626] ppid=11614 vsize=6600 CPUtime=0
/proc/11616/task/11626/stat : 11626 (satake) D 11614 11616 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 15 0 643803850 6758400 485 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11616/tid=11627] ppid=11614 vsize=6600 CPUtime=0
/proc/11616/task/11627/stat : 11627 (satake) R 11614 11616 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 15 0 643803850 6758400 488 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=11616/tid=11628] ppid=11614 vsize=6600 CPUtime=0
/proc/11616/task/11628/stat : 11628 (satake) D 11614 11616 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 643803850 6758400 490 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11616/tid=11629] ppid=11614 vsize=6600 CPUtime=0
/proc/11616/task/11629/stat : 11629 (satake) D 11614 11616 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 15 0 643803850 6758400 491 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11616/tid=11630] ppid=11614 vsize=6600 CPUtime=0
/proc/11616/task/11630/stat : 11630 (satake) R 11614 11616 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 15 0 643803851 6758400 493 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.097417 s]
/proc/loadavg: 12.14 14.19 14.25 2/184 11616
/proc/meminfo: memFree=19123104/36427776 swapFree=5192/8188
[pid=11616] ppid=11614 vsize=32948 CPUtime=0.83
/proc/11616/stat : 11616 (satake) S 11614 11616 27791 0 -1 4202496 5352 0 0 0 0 83 0 0 20 0 17 0 643803849 33738752 5297 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/11616/statm: 8237 5341 63 164 0 8072 0
[pid=11616/tid=11617] ppid=11614 vsize=32948 CPUtime=0
/proc/11616/task/11617/stat : 11617 (satake) S 11614 11616 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 643803850 33738752 5356 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=11616/tid=11618] ppid=11614 vsize=32948 CPUtime=0.06
/proc/11616/task/11618/stat : 11618 (satake) R 11614 11616 27791 0 -1 4202560 410 0 0 0 0 6 0 0 20 0 17 0 643803850 33738752 5374 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11616/tid=11619] ppid=11614 vsize=32948 CPUtime=0.06
/proc/11616/task/11619/stat : 11619 (satake) R 11614 11616 27791 0 -1 4202560 457 0 0 0 0 6 0 0 20 0 17 0 643803850 33738752 5390 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11616/tid=11620] ppid=11614 vsize=32948 CPUtime=0.06
/proc/11616/task/11620/stat : 11620 (satake) R 11614 11616 27791 0 -1 4202560 398 0 0 0 0 6 0 0 20 0 17 0 643803850 33738752 5404 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11616/tid=11621] ppid=11614 vsize=32948 CPUtime=0.06
/proc/11616/task/11621/stat : 11621 (satake) R 11614 11616 27791 0 -1 4202560 362 0 0 0 0 6 0 0 20 0 17 0 643803850 33738752 5429 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11616/tid=11622] ppid=11614 vsize=32948 CPUtime=0.06
/proc/11616/task/11622/stat : 11622 (satake) R 11614 11616 27791 0 -1 4202560 357 0 0 0 0 6 0 0 20 0 17 0 643803850 33738752 5456 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11616/tid=11623] ppid=11614 vsize=32948 CPUtime=0.06
/proc/11616/task/11623/stat : 11623 (satake) R 11614 11616 27791 0 -1 4202560 372 0 0 0 0 6 0 0 20 0 17 0 643803850 33738752 5481 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11616/tid=11624] ppid=11614 vsize=32948 CPUtime=0.02
/proc/11616/task/11624/stat : 11624 (satake) R 11614 11616 27791 0 -1 4202560 238 0 0 0 0 2 0 0 20 0 17 0 643803850 33738752 5492 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11616/tid=11625] ppid=11614 vsize=32948 CPUtime=0.06
/proc/11616/task/11625/stat : 11625 (satake) R 11614 11616 27791 0 -1 4202560 476 0 0 0 0 6 0 0 20 0 17 0 643803850 33738752 5507 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11616/tid=11626] ppid=11614 vsize=32948 CPUtime=0.06
/proc/11616/task/11626/stat : 11626 (satake) D 11614 11616 27791 0 -1 4202560 316 0 0 0 0 6 0 0 20 0 17 0 643803850 33738752 5512 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11616/tid=11627] ppid=11614 vsize=33972 CPUtime=0.06
/proc/11616/task/11627/stat : 11627 (satake) D 11614 11616 27791 0 -1 4202560 348 0 0 0 0 6 0 0 20 0 17 0 643803850 34787328 5512 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=11616/tid=11628] ppid=11614 vsize=33972 CPUtime=0.06
/proc/11616/task/11628/stat : 11628 (satake) R 11614 11616 27791 0 -1 4202560 300 0 0 0 0 6 0 0 20 0 17 0 643803850 34787328 5515 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11616/tid=11629] ppid=11614 vsize=33972 CPUtime=0.02
/proc/11616/task/11629/stat : 11629 (satake) D 11614 11616 27791 0 -1 4202560 209 0 0 0 0 2 0 0 20 0 17 0 643803850 34787328 5518 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11616/tid=11630] ppid=11614 vsize=33972 CPUtime=0.04
/proc/11616/task/11630/stat : 11630 (satake) R 11614 11616 27791 0 -1 4202560 274 0 0 0 0 4 0 0 20 0 17 0 643803851 34787328 5519 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 32948

[startup+0.105528 s]
/proc/loadavg: 12.14 14.19 14.25 2/184 11616
/proc/meminfo: memFree=19123104/36427776 swapFree=5192/8188
[pid=11616] ppid=11614 vsize=36020 CPUtime=0.9
/proc/11616/stat : 11616 (satake) S 11614 11616 27791 0 -1 4202496 6129 0 0 0 0 90 0 0 20 0 17 0 643803849 36884480 6076 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/11616/statm: 9005 6106 63 164 0 8840 0
[pid=11616/tid=11617] ppid=11614 vsize=36020 CPUtime=0
/proc/11616/task/11617/stat : 11617 (satake) S 11614 11616 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 643803850 36884480 6120 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=11616/tid=11618] ppid=11614 vsize=36020 CPUtime=0.06
/proc/11616/task/11618/stat : 11618 (satake) D 11614 11616 27791 0 -1 4202560 460 0 0 0 0 6 0 0 20 0 17 0 643803850 36884480 6121 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11616/tid=11619] ppid=11614 vsize=36020 CPUtime=0.06
/proc/11616/task/11619/stat : 11619 (satake) D 11614 11616 27791 0 -1 4202560 525 0 0 0 0 6 0 0 20 0 17 0 643803850 36884480 6121 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11616/tid=11620] ppid=11614 vsize=36020 CPUtime=0.06
/proc/11616/task/11620/stat : 11620 (satake) D 11614 11616 27791 0 -1 4202560 429 0 0 0 0 6 0 0 20 0 17 0 643803850 36884480 6121 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11616/tid=11621] ppid=11614 vsize=36020 CPUtime=0.06
/proc/11616/task/11621/stat : 11621 (satake) D 11614 11616 27791 0 -1 4202560 407 0 0 0 0 6 0 0 20 0 17 0 643803850 36884480 6121 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11616/tid=11622] ppid=11614 vsize=36020 CPUtime=0.06
/proc/11616/task/11622/stat : 11622 (satake) D 11614 11616 27791 0 -1 4202560 397 0 0 0 0 6 0 0 20 0 17 0 643803850 36884480 6121 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11616/tid=11623] ppid=11614 vsize=36020 CPUtime=0.06
/proc/11616/task/11623/stat : 11623 (satake) D 11614 11616 27791 0 -1 4202560 414 0 0 0 0 6 0 0 20 0 17 0 643803850 36884480 6121 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11616/tid=11624] ppid=11614 vsize=36020 CPUtime=0.02
/proc/11616/task/11624/stat : 11624 (satake) D 11614 11616 27791 0 -1 4202560 241 0 0 0 0 2 0 0 20 0 17 0 643803850 36884480 6121 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11616/tid=11625] ppid=11614 vsize=36020 CPUtime=0.06
/proc/11616/task/11625/stat : 11625 (satake) R 11614 11616 27791 0 -1 4202560 531 0 0 0 0 6 0 0 20 0 17 0 643803850 36884480 6121 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11616/tid=11626] ppid=11614 vsize=36020 CPUtime=0.06
/proc/11616/task/11626/stat : 11626 (satake) D 11614 11616 27791 0 -1 4202560 359 0 0 0 0 6 0 0 20 0 17 0 643803850 36884480 6121 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11616/tid=11627] ppid=11614 vsize=36020 CPUtime=0.06
/proc/11616/task/11627/stat : 11627 (satake) D 11614 11616 27791 0 -1 4202560 389 0 0 0 0 6 0 0 20 0 17 0 643803850 36884480 6121 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=11616/tid=11628] ppid=11614 vsize=36020 CPUtime=0.06
/proc/11616/task/11628/stat : 11628 (satake) D 11614 11616 27791 0 -1 4202560 347 0 0 0 0 6 0 0 20 0 17 0 643803850 36884480 6121 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11616/tid=11629] ppid=11614 vsize=38068 CPUtime=0.04
/proc/11616/task/11629/stat : 11629 (satake) D 11614 11616 27791 0 -1 4202560 246 0 0 0 0 4 0 0 20 0 17 0 643803850 38981632 6121 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11616/tid=11630] ppid=11614 vsize=38068 CPUtime=0.06
/proc/11616/task/11630/stat : 11630 (satake) D 11614 11616 27791 0 -1 4202560 300 0 0 0 0 6 0 0 20 0 17 0 643803851 38981632 6125 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 36020

[startup+0.305079 s]
/proc/loadavg: 12.14 14.19 14.25 2/184 11616
/proc/meminfo: memFree=19123104/36427776 swapFree=5192/8188
[pid=11616] ppid=11614 vsize=54816 CPUtime=2.22
/proc/11616/stat : 11616 (satake) S 11614 11616 27791 0 -1 4202496 11823 0 0 0 6 216 0 0 20 0 17 0 643803849 56131584 11764 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/11616/statm: 13704 11764 63 164 0 13539 0
[pid=11616/tid=11617] ppid=11614 vsize=54816 CPUtime=0
/proc/11616/task/11617/stat : 11617 (satake) S 11614 11616 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 643803850 56131584 11764 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=11616/tid=11618] ppid=11614 vsize=54816 CPUtime=0.16
/proc/11616/task/11618/stat : 11618 (satake) D 11614 11616 27791 0 -1 4202560 839 0 0 0 0 16 0 0 20 0 17 0 643803850 56131584 11764 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11616/tid=11619] ppid=11614 vsize=54816 CPUtime=0.14
/proc/11616/task/11619/stat : 11619 (satake) D 11614 11616 27791 0 -1 4202560 766 0 0 0 0 14 0 0 20 0 17 0 643803850 56131584 11764 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11616/tid=11620] ppid=11614 vsize=54816 CPUtime=0.16
/proc/11616/task/11620/stat : 11620 (satake) D 11614 11616 27791 0 -1 4202560 812 0 0 0 0 16 0 0 20 0 17 0 643803850 56131584 11764 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11616/tid=11621] ppid=11614 vsize=54816 CPUtime=0.16
/proc/11616/task/11621/stat : 11621 (satake) D 11614 11616 27791 0 -1 4202560 772 0 0 0 0 16 0 0 20 0 17 0 643803850 56131584 11764 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11616/tid=11622] ppid=11614 vsize=54816 CPUtime=0.16
/proc/11616/task/11622/stat : 11622 (satake) D 11614 11616 27791 0 -1 4202560 795 0 0 0 2 14 0 0 20 0 17 0 643803850 56131584 11764 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11616/tid=11623] ppid=11614 vsize=54816 CPUtime=0.14
/proc/11616/task/11623/stat : 11623 (satake) S 11614 11616 27791 0 -1 4202560 714 0 0 0 0 14 0 0 20 0 17 0 643803850 56131584 11764 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=11616/tid=11624] ppid=11614 vsize=54816 CPUtime=0.08
/proc/11616/task/11624/stat : 11624 (satake) S 11614 11616 27791 0 -1 4202560 731 0 0 0 0 8 0 0 20 0 17 0 643803850 56131584 11764 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=11616/tid=11625] ppid=11614 vsize=54816 CPUtime=0.14
/proc/11616/task/11625/stat : 11625 (satake) D 11614 11616 27791 0 -1 4202560 767 0 0 0 0 14 0 0 20 0 17 0 643803850 56131584 11764 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11616/tid=11626] ppid=11614 vsize=54816 CPUtime=0.16
/proc/11616/task/11626/stat : 11626 (satake) D 11614 11616 27791 0 -1 4202560 805 0 0 0 0 16 0 0 20 0 17 0 643803850 56131584 11764 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11616/tid=11627] ppid=11614 vsize=54816 CPUtime=0.16
/proc/11616/task/11627/stat : 11627 (satake) D 11614 11616 27791 0 -1 4202560 765 0 0 0 0 16 0 0 20 0 17 0 643803850 56131584 11764 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=11616/tid=11628] ppid=11614 vsize=54816 CPUtime=0.14
/proc/11616/task/11628/stat : 11628 (satake) D 11614 11616 27791 0 -1 4202560 721 0 0 0 0 14 0 0 20 0 17 0 643803850 56131584 11764 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11616/tid=11629] ppid=11614 vsize=54816 CPUtime=0.1
/proc/11616/task/11629/stat : 11629 (satake) S 11614 11616 27791 0 -1 4202560 701 0 0 0 0 10 0 0 20 0 17 0 643803850 56131584 11764 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=11616/tid=11630] ppid=11614 vsize=54816 CPUtime=0.14
/proc/11616/task/11630/stat : 11630 (satake) D 11614 11616 27791 0 -1 4202560 759 0 0 0 0 14 0 0 20 0 17 0 643803851 56131584 11764 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 54816

[startup+0.704834 s]
/proc/loadavg: 12.14 14.19 14.25 2/184 11616
/proc/meminfo: memFree=19123104/36427776 swapFree=5192/8188
[pid=11616] ppid=11614 vsize=89672 CPUtime=4.06
/proc/11616/stat : 11616 (satake) S 11614 11616 27791 0 -1 4202496 19542 0 0 0 57 349 0 0 20 0 17 0 643803849 91824128 19483 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/11616/statm: 22418 19483 63 164 0 22253 0
[pid=11616/tid=11617] ppid=11614 vsize=89672 CPUtime=0
/proc/11616/task/11617/stat : 11617 (satake) S 11614 11616 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 643803850 91824128 19483 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=11616/tid=11618] ppid=11614 vsize=89672 CPUtime=0.32
/proc/11616/task/11618/stat : 11618 (satake) D 11614 11616 27791 0 -1 4202560 1552 0 0 0 6 26 0 0 20 0 17 0 643803850 91824128 19483 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11616/tid=11619] ppid=11614 vsize=89672 CPUtime=0.28
/proc/11616/task/11619/stat : 11619 (satake) D 11614 11616 27791 0 -1 4202560 1317 0 0 0 4 24 0 0 20 0 17 0 643803850 91824128 19483 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11616/tid=11620] ppid=11614 vsize=89672 CPUtime=0.28
/proc/11616/task/11620/stat : 11620 (satake) S 11614 11616 27791 0 -1 4202560 1432 0 0 0 4 24 0 0 20 0 17 0 643803850 91824128 19483 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=11616/tid=11621] ppid=11614 vsize=89672 CPUtime=0.3
/proc/11616/task/11621/stat : 11621 (satake) D 11614 11616 27791 0 -1 4202560 1362 0 0 0 2 28 0 0 20 0 17 0 643803850 91824128 19483 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11616/tid=11622] ppid=11614 vsize=89672 CPUtime=0.32
/proc/11616/task/11622/stat : 11622 (satake) D 11614 11616 27791 0 -1 4202560 1416 0 0 0 10 22 0 0 20 0 17 0 643803850 91824128 19483 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11616/tid=11623] ppid=11614 vsize=89672 CPUtime=0.22
/proc/11616/task/11623/stat : 11623 (satake) S 11614 11616 27791 0 -1 4202560 1000 0 0 0 0 22 0 0 20 0 17 0 643803850 91824128 19483 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=11616/tid=11624] ppid=11614 vsize=89672 CPUtime=0.18
/proc/11616/task/11624/stat : 11624 (satake) S 11614 11616 27791 0 -1 4202560 1150 0 0 0 2 16 0 0 20 0 17 0 643803850 91824128 19483 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=11616/tid=11625] ppid=11614 vsize=89672 CPUtime=0.26
/proc/11616/task/11625/stat : 11625 (satake) D 11614 11616 27791 0 -1 4202560 1339 0 0 0 2 24 0 0 20 0 17 0 643803850 91824128 19483 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11616/tid=11626] ppid=11614 vsize=89672 CPUtime=0.3
/proc/11616/task/11626/stat : 11626 (satake) S 11614 11616 27791 0 -1 4202560 1367 0 0 0 4 26 0 0 20 0 17 0 643803850 91824128 19483 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=11616/tid=11627] ppid=11614 vsize=89672 CPUtime=0.28
/proc/11616/task/11627/stat : 11627 (satake) D 11614 11616 27791 0 -1 4202560 1278 0 0 0 4 24 0 0 20 0 17 0 643803850 91824128 19483 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=11616/tid=11628] ppid=11614 vsize=89672 CPUtime=0.22
/proc/11616/task/11628/stat : 11628 (satake) D 11614 11616 27791 0 -1 4202560 960 0 0 0 0 22 0 0 20 0 17 0 643803850 91824128 19483 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11616/tid=11629] ppid=11614 vsize=89672 CPUtime=0.16
/proc/11616/task/11629/stat : 11629 (satake) D 11614 11616 27791 0 -1 4202560 1010 0 0 0 4 12 0 0 20 0 17 0 643803850 91824128 19483 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11616/tid=11630] ppid=11614 vsize=89672 CPUtime=0.28
/proc/11616/task/11630/stat : 11630 (satake) D 11614 11616 27791 0 -1 4202560 1300 0 0 0 2 26 0 0 20 0 17 0 643803851 91824128 19483 18446744073709551615 134512640 135180984 4292193344 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 89672

[startup+1.50613 s]
/proc/loadavg: 12.14 14.19 14.25 2/201 11633
/proc/meminfo: memFree=19031564/36427776 swapFree=4564/106468
[pid=11616] ppid=11614 vsize=101388 CPUtime=7.71

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

deleting IPC queue 2057764942
deleting IPC queue 2057797711
deleting IPC queue 2057830480
deleting IPC queue 2057863249
deleting IPC queue 2057896018
deleting IPC queue 2057928787
deleting IPC queue 2057961556
deleting IPC queue 2057994325
deleting IPC queue 2058027094
deleting IPC queue 2058059863
deleting IPC queue 2058092632
deleting IPC queue 2058125401
deleting IPC queue 2058158170
deleting IPC queue 2058190939
deleting IPC queue 2058223708
deleting IPC queue 2058256477
deleting IPC queue 2058289246
deleting IPC queue 2058322015
deleting IPC queue 2058354784
deleting IPC queue 2058387553
deleting IPC queue 2058420322
deleting IPC queue 2058453091
deleting IPC queue 2058485860
deleting IPC queue 2058518629
deleting IPC queue 2058551398
deleting IPC queue 2058584167
deleting IPC queue 2058616936
deleting IPC queue 2058649705
deleting IPC queue 2058682474
deleting IPC queue 2058715243
deleting IPC queue 2058748012
deleting IPC queue 2058780781
deleting IPC queue 2058813550
deleting IPC queue 2058846319
deleting IPC queue 2058879088
deleting IPC queue 2058911857
deleting IPC queue 2058944626
deleting IPC queue 2058977395
deleting IPC queue 2059010164
deleting IPC queue 2059042933
deleting IPC queue 2059075702
deleting IPC queue 2059108471
deleting IPC queue 2059141240
deleting IPC queue 2059174009
deleting IPC queue 2059206778
deleting IPC queue 2059239547
deleting IPC queue 2059272316
deleting IPC queue 2059305085
deleting IPC queue 2059337854
deleting IPC queue 2059370623
deleting IPC queue 2059403392
deleting IPC queue 2059436161
deleting IPC queue 2059468930
deleting IPC queue 2059501699
deleting IPC queue 2059534468
deleting IPC queue 2059567237
deleting IPC queue 2059600006
deleting IPC queue 2059632775
deleting IPC queue 2059665544
deleting IPC queue 2059698313
deleting IPC queue 2059731082
deleting IPC queue 2059763851
deleting IPC queue 2059796620
deleting IPC queue 2059829389
deleting IPC queue 2059862158
deleting IPC queue 2059894927
deleting IPC queue 2059927696
deleting IPC queue 2059960465
deleting IPC queue 2059993234
deleting IPC queue 2060026003
deleting IPC queue 2060058772
deleting IPC queue 2060091541
deleting IPC queue 2060124310
deleting IPC queue 2060157079
deleting IPC queue 2060189848
deleting IPC queue 2060222617
deleting IPC queue 2060255386
deleting IPC queue 2060288155
deleting IPC queue 2060320924
deleting IPC queue 2060353693
deleting IPC queue 2060386462
deleting IPC queue 2060419231
deleting IPC queue 2060452000
deleting IPC queue 2060484769
deleting IPC queue 2060517538
deleting IPC queue 2060550307
deleting IPC queue 2060583076
deleting IPC queue 2060615845
deleting IPC queue 2060648614
deleting IPC queue 2060681383
deleting IPC queue 2060714152
deleting IPC queue 2060746921
deleting IPC queue 2060779690
deleting IPC queue 2060812459
deleting IPC queue 2060845228
deleting IPC queue 2060877997
deleting IPC queue 2060910766
deleting IPC queue 2060943535
deleting IPC queue 2060976304
deleting IPC queue 2061009073
deleting IPC queue 2061041842
deleting IPC queue 2061074611
deleting IPC queue 2061107380
deleting IPC queue 2061140149
deleting IPC queue 2061172918
deleting IPC queue 2061205687
deleting IPC queue 2061238456
deleting IPC queue 2061271225
deleting IPC queue 2061303994
deleting IPC queue 2061336763
deleting IPC queue 2061369532
deleting IPC queue 2061402301
deleting IPC queue 2061435070
deleting IPC queue 2061467839
deleting IPC queue 2061500608
deleting IPC queue 2061533377
deleting IPC queue 2061566146
deleting IPC queue 2061598915
deleting IPC queue 2061631684
deleting IPC queue 2061664453
deleting IPC queue 2061697222
deleting IPC queue 2061729991
deleting IPC queue 2061762760
deleting IPC queue 2061795529
deleting IPC queue 2061828298
deleting IPC queue 2061861067
deleting IPC queue 2061893836
deleting IPC queue 2061926605
deleting IPC queue 2061959374
deleting IPC queue 2061992143
deleting IPC queue 2062024912
deleting IPC queue 2062057681
deleting IPC queue 2062090450
deleting IPC queue 2062123219
deleting IPC queue 2062155988
deleting IPC queue 2062188757
deleting IPC queue 2062221526
deleting IPC queue 2062254295
deleting IPC queue 2062287064
deleting IPC queue 2062319833
deleting IPC queue 2062352602
deleting IPC queue 2062385371
deleting IPC queue 2062418140
deleting IPC queue 2062450909
deleting IPC queue 2062483678
deleting IPC queue 2062516447
deleting IPC queue 2062549216
deleting IPC queue 2062581985
deleting IPC queue 2062614754
deleting IPC queue 2062647523
deleting IPC queue 2062680292
deleting IPC queue 2062713061
deleting IPC queue 2062745830
deleting IPC queue 2062778599
deleting IPC queue 2062811368
deleting IPC queue 2062844137
deleting IPC queue 2062876906
deleting IPC queue 2062909675
deleting IPC queue 2062942444
deleting IPC queue 2062975213
deleting IPC queue 2063007982
deleting IPC queue 2063040751
deleting IPC queue 2063073520
deleting IPC queue 2063106289
deleting IPC queue 2063139058
deleting IPC queue 2063171827
deleting IPC queue 2063204596
deleting IPC queue 2063237365
deleting IPC queue 2063270134
deleting IPC queue 2063302903
deleting IPC queue 2063335672
deleting IPC queue 2063368441
deleting IPC queue 2063401210
deleting IPC queue 2063433979
deleting IPC queue 2063466748
deleting IPC queue 2063499517
deleting IPC queue 2063532286
deleting IPC queue 2063565055

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9927.94
system time used= 73.3206
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353258
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= 4253388
involuntary context switches= 1838600

runsolver used 2.95218 second user time and 10.3966 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 00:16:15
IDJOB=1780887
IDBENCH=71076
IDSOLVER=631
FILE ID=xenhost3-49/1780887-1244844975
PBS_JOBID=
Free space on /tmp= 7026 MiB

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

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

MD5SUM BENCH= 57b85ec7870f670f13b00667a6315c05
RANDOM SEED= 1740265982

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:      19122996 kB
Buffers:        435592 kB
Cached:       14114432 kB
SwapCached:          0 kB
Active:        4081044 kB
Inactive:     10478028 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2616 kB
Writeback:           0 kB
AnonPages:        8068 kB
Mapped:           4272 kB
Slab:           689612 kB
SReclaimable:   662664 kB
SUnreclaim:      26948 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7026 MiB
End job on xenhost3-49 at 2009-06-13 00:27:46