Trace number 1776132

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)UNSAT 6514.17 618.878

General information on the benchmark

Nameindustrial/palacios/medium/
cube-11-h13-unsat.cnf
MD5SUM3a68d904935650d9da7e64e1ee7bae82
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark467.01
Satisfiable
(Un)Satisfiability was proved
Number of variables454385
Number of clauses1367522
Sum of the clauses size3191290
Maximum clause length19
Minimum clause length1
Number of clauses of size 11331
Number of clauses of size 2911962
Number of clauses of size 3451911
Number of clauses of size 42126
Number of clauses of size 518
Number of clauses of size over 5174

Solver Data 

6514.01/618.74	c Benchmark name    : HOME/instance-1776132-1244737355.cnf
6514.01/618.74	c Thread Num        :           16
6514.01/618.74	c restarts          :           11
6514.01/618.74	c conflicts         :        14417
6514.01/618.74	c decisions         :        62674           (      102 / sec      )
6514.01/618.74	c propagations      :    435778026           (   711149 / sec      )
6514.01/618.74	c inspects          :    937601434           (  1530077 / sec      )
6514.01/618.74	c conflict literals :      1797137           (    44.80 % deleted  )
6514.01/618.74	c cpu time          :       612.78           
6514.01/618.74	s UNSATISFIABLE

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-1776132-1244737355/watcher-1776132-1244737355 -o /tmp/evaluation-result-1776132-1244737355/solver-1776132-1244737355 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776132-1244737355.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: 15.03 13.83 9.89 2/184 30788
/proc/meminfo: memFree=19120796/36427776 swapFree=4352/8344
[pid=30788] ppid=30786 vsize=7792 CPUtime=0
/proc/30788/stat : 30788 (satake) D 30786 30788 27791 0 -1 4202496 406 0 0 0 0 0 0 0 20 0 15 0 633041979 7979008 362 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/30788/statm: 1948 362 63 164 0 1783 0
[pid=30788/tid=30789] ppid=30786 vsize=7856 CPUtime=0
/proc/30788/task/30789/stat : 30789 (satake) S 30786 30788 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 15 0 633041979 8044544 366 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=30788/tid=30790] ppid=30786 vsize=7984 CPUtime=0
/proc/30788/task/30790/stat : 30790 (satake) R 30786 30788 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 15 0 633041979 8175616 366 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30788/tid=30791] ppid=30786 vsize=7984 CPUtime=0
/proc/30788/task/30791/stat : 30791 (satake) S 30786 30788 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 633041979 8175616 371 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=30788/tid=30792] ppid=30786 vsize=8116 CPUtime=0
/proc/30788/task/30792/stat : 30792 (satake) S 30786 30788 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 15 0 633041979 8310784 371 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=30788/tid=30793] ppid=30786 vsize=8116 CPUtime=0
/proc/30788/task/30793/stat : 30793 (satake) R 30786 30788 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 15 0 633041979 8310784 378 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30788/tid=30794] ppid=30786 vsize=8116 CPUtime=0
/proc/30788/task/30794/stat : 30794 (satake) D 30786 30788 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 15 0 633041979 8310784 379 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30788/tid=30795] ppid=30786 vsize=8116 CPUtime=0
/proc/30788/task/30795/stat : 30795 (satake) S 30786 30788 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 633041979 8310784 381 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=30788/tid=30796] ppid=30786 vsize=8116 CPUtime=0
/proc/30788/task/30796/stat : 30796 (satake) R 30786 30788 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 15 0 633041979 8310784 381 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30788/tid=30797] ppid=30786 vsize=8116 CPUtime=0
/proc/30788/task/30797/stat : 30797 (satake) R 30786 30788 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 633041979 8310784 381 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30788/tid=30798] ppid=30786 vsize=8116 CPUtime=0
/proc/30788/task/30798/stat : 30798 (satake) R 30786 30788 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 15 0 633041979 8310784 381 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30788/tid=30799] ppid=30786 vsize=8116 CPUtime=0
/proc/30788/task/30799/stat : 30799 (satake) R 30786 30788 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 15 0 633041979 8310784 381 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30788/tid=30800] ppid=30786 vsize=8116 CPUtime=0
/proc/30788/task/30800/stat : 30800 (satake) R 30786 30788 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 15 0 633041979 8310784 383 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30788/tid=30801] ppid=30786 vsize=8116 CPUtime=0
/proc/30788/task/30801/stat : 30801 (satake) R 30786 30788 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 15 0 633041979 8310784 383 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30788/tid=30802] ppid=30786 vsize=8116 CPUtime=0
/proc/30788/task/30802/stat : 30802 (satake) D 30786 30788 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 15 0 633041980 8310784 383 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.117377 s]
/proc/loadavg: 15.03 13.83 9.89 2/184 30788
/proc/meminfo: memFree=19120796/36427776 swapFree=4352/8344
[pid=30788] ppid=30786 vsize=53480 CPUtime=1.03
/proc/30788/stat : 30788 (satake) S 30786 30788 27791 0 -1 4202496 7509 0 0 0 2 101 0 0 20 0 17 0 633041979 54763520 7449 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/30788/statm: 13370 7469 63 164 0 13205 0
[pid=30788/tid=30789] ppid=30786 vsize=53480 CPUtime=0
/proc/30788/task/30789/stat : 30789 (satake) S 30786 30788 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 633041979 54763520 7562 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=30788/tid=30790] ppid=30786 vsize=53480 CPUtime=0.06
/proc/30788/task/30790/stat : 30790 (satake) R 30786 30788 27791 0 -1 4202560 605 0 0 0 0 6 0 0 20 0 17 0 633041979 54763520 7600 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30788/tid=30791] ppid=30786 vsize=53480 CPUtime=0
/proc/30788/task/30791/stat : 30791 (satake) R 30786 30788 27791 0 -1 4202560 109 0 0 0 0 0 0 0 20 0 17 0 633041979 54763520 7627 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30788/tid=30792] ppid=30786 vsize=53480 CPUtime=0.08
/proc/30788/task/30792/stat : 30792 (satake) R 30786 30788 27791 0 -1 4202560 539 0 0 0 0 8 0 0 20 0 17 0 633041979 54763520 7674 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30788/tid=30793] ppid=30786 vsize=53480 CPUtime=0.08
/proc/30788/task/30793/stat : 30793 (satake) R 30786 30788 27791 0 -1 4202560 636 0 0 0 0 8 0 0 20 0 17 0 633041979 54763520 7729 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30788/tid=30794] ppid=30786 vsize=53480 CPUtime=0.08
/proc/30788/task/30794/stat : 30794 (satake) R 30786 30788 27791 0 -1 4202560 529 0 0 0 0 8 0 0 20 0 17 0 633041979 54763520 7800 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30788/tid=30795] ppid=30786 vsize=53480 CPUtime=0.06
/proc/30788/task/30795/stat : 30795 (satake) R 30786 30788 27791 0 -1 4202560 564 0 0 0 0 6 0 0 20 0 17 0 633041979 54763520 7814 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30788/tid=30796] ppid=30786 vsize=53480 CPUtime=0.08
/proc/30788/task/30796/stat : 30796 (satake) D 30786 30788 27791 0 -1 4202560 581 0 0 0 0 8 0 0 20 0 17 0 633041979 54763520 7814 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30788/tid=30797] ppid=30786 vsize=53480 CPUtime=0.08
/proc/30788/task/30797/stat : 30797 (satake) D 30786 30788 27791 0 -1 4202560 578 0 0 0 0 8 0 0 20 0 17 0 633041979 54763520 7814 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30788/tid=30798] ppid=30786 vsize=53480 CPUtime=0.08
/proc/30788/task/30798/stat : 30798 (satake) D 30786 30788 27791 0 -1 4202560 574 0 0 0 0 8 0 0 20 0 17 0 633041979 54763520 7814 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30788/tid=30799] ppid=30786 vsize=53480 CPUtime=0.08
/proc/30788/task/30799/stat : 30799 (satake) R 30786 30788 27791 0 -1 4202560 531 0 0 0 0 8 0 0 20 0 17 0 633041979 54763520 7814 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30788/tid=30800] ppid=30786 vsize=53480 CPUtime=0.08
/proc/30788/task/30800/stat : 30800 (satake) D 30786 30788 27791 0 -1 4202560 583 0 0 0 0 8 0 0 20 0 17 0 633041979 54763520 7814 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30788/tid=30801] ppid=30786 vsize=53480 CPUtime=0.06
/proc/30788/task/30801/stat : 30801 (satake) D 30786 30788 27791 0 -1 4202560 527 0 0 0 0 6 0 0 20 0 17 0 633041979 54763520 7814 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30788/tid=30802] ppid=30786 vsize=53480 CPUtime=0
/proc/30788/task/30802/stat : 30802 (satake) D 30786 30788 27791 0 -1 4202560 121 0 0 0 0 0 0 0 20 0 17 0 633041980 54763520 7814 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 53480

[startup+0.205203 s]
/proc/loadavg: 15.03 13.83 9.89 2/184 30788
/proc/meminfo: memFree=19120796/36427776 swapFree=4352/8344
[pid=30788] ppid=30786 vsize=113896 CPUtime=2.08
/proc/30788/stat : 30788 (satake) S 30786 30788 27791 0 -1 4202496 16692 0 0 0 2 206 0 0 20 0 17 0 633041979 116629504 16640 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/30788/statm: 28474 16686 63 164 0 28309 0
[pid=30788/tid=30789] ppid=30786 vsize=113896 CPUtime=0
/proc/30788/task/30789/stat : 30789 (satake) S 30786 30788 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 633041979 116629504 16706 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=30788/tid=30790] ppid=30786 vsize=113896 CPUtime=0.14
/proc/30788/task/30790/stat : 30790 (satake) R 30786 30788 27791 0 -1 4202560 1041 0 0 0 0 14 0 0 20 0 17 0 633041979 116629504 16733 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30788/tid=30791] ppid=30786 vsize=113896 CPUtime=0.08
/proc/30788/task/30791/stat : 30791 (satake) R 30786 30788 27791 0 -1 4202560 663 0 0 0 0 8 0 0 20 0 17 0 633041979 116629504 16756 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30788/tid=30792] ppid=30786 vsize=113896 CPUtime=0.14
/proc/30788/task/30792/stat : 30792 (satake) R 30786 30788 27791 0 -1 4202560 1218 0 0 0 0 14 0 0 20 0 17 0 633041979 116629504 16781 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30788/tid=30793] ppid=30786 vsize=113896 CPUtime=0.16
/proc/30788/task/30793/stat : 30793 (satake) R 30786 30788 27791 0 -1 4202560 1250 0 0 0 0 16 0 0 20 0 17 0 633041979 116629504 16802 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30788/tid=30794] ppid=30786 vsize=113896 CPUtime=0.16
/proc/30788/task/30794/stat : 30794 (satake) R 30786 30788 27791 0 -1 4202560 1090 0 0 0 0 16 0 0 20 0 17 0 633041979 116629504 16838 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30788/tid=30795] ppid=30786 vsize=113896 CPUtime=0.1
/proc/30788/task/30795/stat : 30795 (satake) R 30786 30788 27791 0 -1 4202560 893 0 0 0 0 10 0 0 20 0 17 0 633041979 116629504 16867 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30788/tid=30796] ppid=30786 vsize=113896 CPUtime=0.16
/proc/30788/task/30796/stat : 30796 (satake) R 30786 30788 27791 0 -1 4202560 1138 0 0 0 0 16 0 0 20 0 17 0 633041979 116629504 16900 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30788/tid=30797] ppid=30786 vsize=113896 CPUtime=0.16
/proc/30788/task/30797/stat : 30797 (satake) R 30786 30788 27791 0 -1 4202560 1149 0 0 0 0 16 0 0 20 0 17 0 633041979 116629504 16912 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30788/tid=30798] ppid=30786 vsize=113896 CPUtime=0.16
/proc/30788/task/30798/stat : 30798 (satake) R 30786 30788 27791 0 -1 4202560 1196 0 0 0 0 16 0 0 20 0 17 0 633041979 116629504 16929 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30788/tid=30799] ppid=30786 vsize=113896 CPUtime=0.16
/proc/30788/task/30799/stat : 30799 (satake) R 30786 30788 27791 0 -1 4202560 1139 0 0 0 0 16 0 0 20 0 17 0 633041979 116629504 16960 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30788/tid=30800] ppid=30786 vsize=113896 CPUtime=0.16
/proc/30788/task/30800/stat : 30800 (satake) R 30786 30788 27791 0 -1 4202560 1123 0 0 0 0 16 0 0 20 0 17 0 633041979 116629504 16987 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30788/tid=30801] ppid=30786 vsize=113896 CPUtime=0.14
/proc/30788/task/30801/stat : 30801 (satake) R 30786 30788 27791 0 -1 4202560 1138 0 0 0 0 14 0 0 20 0 17 0 633041979 116629504 17001 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30788/tid=30802] ppid=30786 vsize=113896 CPUtime=0.04
/proc/30788/task/30802/stat : 30802 (satake) R 30786 30788 27791 0 -1 4202560 613 0 0 0 0 4 0 0 20 0 17 0 633041980 116629504 17012 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 113896

[startup+0.30822 s]
/proc/loadavg: 15.03 13.83 9.89 2/184 30788
/proc/meminfo: memFree=19120796/36427776 swapFree=4352/8344
[pid=30788] ppid=30786 vsize=175336 CPUtime=3.39
/proc/30788/stat : 30788 (satake) S 30786 30788 27791 0 -1 4202496 28273 0 0 0 2 337 0 0 20 0 17 0 633041979 179544064 28221 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/30788/statm: 43834 28262 63 164 0 43669 0
[pid=30788/tid=30789] ppid=30786 vsize=175336 CPUtime=0
/proc/30788/task/30789/stat : 30789 (satake) S 30786 30788 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 633041979 179544064 28276 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=30788/tid=30790] ppid=30786 vsize=175336 CPUtime=0.22
/proc/30788/task/30790/stat : 30790 (satake) R 30786 30788 27791 0 -1 4202560 1779 0 0 0 0 22 0 0 20 0 17 0 633041979 179544064 28296 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30788/tid=30791] ppid=30786 vsize=175336 CPUtime=0.18
/proc/30788/task/30791/stat : 30791 (satake) R 30786 30788 27791 0 -1 4202560 1289 0 0 0 0 18 0 0 20 0 17 0 633041979 179544064 28323 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30788/tid=30792] ppid=30786 vsize=175336 CPUtime=0.24
/proc/30788/task/30792/stat : 30792 (satake) R 30786 30788 27791 0 -1 4202560 1946 0 0 0 0 24 0 0 20 0 17 0 633041979 179544064 28340 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30788/tid=30793] ppid=30786 vsize=175336 CPUtime=0.24
/proc/30788/task/30793/stat : 30793 (satake) R 30786 30788 27791 0 -1 4202560 2344 0 0 0 0 24 0 0 20 0 17 0 633041979 179544064 28366 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30788/tid=30794] ppid=30786 vsize=175336 CPUtime=0.24
/proc/30788/task/30794/stat : 30794 (satake) R 30786 30788 27791 0 -1 4202560 2139 0 0 0 0 24 0 0 20 0 17 0 633041979 179544064 28384 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30788/tid=30795] ppid=30786 vsize=175336 CPUtime=0.16
/proc/30788/task/30795/stat : 30795 (satake) R 30786 30788 27791 0 -1 4202560 1282 0 0 0 0 16 0 0 20 0 17 0 633041979 179544064 28420 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30788/tid=30796] ppid=30786 vsize=175336 CPUtime=0.24
/proc/30788/task/30796/stat : 30796 (satake) R 30786 30788 27791 0 -1 4202560 1781 0 0 0 0 24 0 0 20 0 17 0 633041979 179544064 28442 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30788/tid=30797] ppid=30786 vsize=175336 CPUtime=0.24
/proc/30788/task/30797/stat : 30797 (satake) R 30786 30788 27791 0 -1 4202560 1850 0 0 0 0 24 0 0 20 0 17 0 633041979 179544064 28473 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30788/tid=30798] ppid=30786 vsize=175336 CPUtime=0.24
/proc/30788/task/30798/stat : 30798 (satake) R 30786 30788 27791 0 -1 4202560 2233 0 0 0 0 24 0 0 20 0 17 0 633041979 179544064 28517 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30788/tid=30799] ppid=30786 vsize=175336 CPUtime=0.24
/proc/30788/task/30799/stat : 30799 (satake) R 30786 30788 27791 0 -1 4202560 2208 0 0 0 0 24 0 0 20 0 17 0 633041979 179544064 28543 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30788/tid=30800] ppid=30786 vsize=175336 CPUtime=0.24
/proc/30788/task/30800/stat : 30800 (satake) R 30786 30788 27791 0 -1 4202560 1912 0 0 0 0 24 0 0 20 0 17 0 633041979 179544064 28613 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30788/tid=30801] ppid=30786 vsize=175336 CPUtime=0.24
/proc/30788/task/30801/stat : 30801 (satake) R 30786 30788 27791 0 -1 4202560 1855 0 0 0 0 24 0 0 20 0 17 0 633041979 179544064 28627 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30788/tid=30802] ppid=30786 vsize=175336 CPUtime=0.08
/proc/30788/task/30802/stat : 30802 (satake) R 30786 30788 27791 0 -1 4202560 1024 0 0 0 0 8 0 0 20 0 17 0 633041980 179544064 28656 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 175336

[startup+0.704 s]
/proc/loadavg: 15.03 13.83 9.89 2/184 30788
/proc/meminfo: memFree=19120796/36427776 swapFree=4352/8344
[pid=30788] ppid=30786 vsize=441512 CPUtime=8.49
/proc/30788/stat : 30788 (satake) S 30786 30788 27791 0 -1 4202496 71671 0 0 0 2 847 0 0 20 0 17 0 633041979 452108288 71611 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/30788/statm: 110378 71611 63 164 0 110213 0
[pid=30788/tid=30789] ppid=30786 vsize=441512 CPUtime=0
/proc/30788/task/30789/stat : 30789 (satake) S 30786 30788 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 633041979 452108288 71611 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=30788/tid=30790] ppid=30786 vsize=441512 CPUtime=0.58
/proc/30788/task/30790/stat : 30790 (satake) R 30786 30788 27791 0 -1 4202560 4672 0 0 0 0 58 0 0 20 0 17 0 633041979 452108288 71611 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30788/tid=30791] ppid=30786 vsize=441512 CPUtime=0.54
/proc/30788/task/30791/stat : 30791 (satake) D 30786 30788 27791 0 -1 4202560 3802 0 0 0 0 54 0 0 20 0 17 0 633041979 452108288 71611 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30788/tid=30792] ppid=30786 vsize=441512 CPUtime=0.6
/proc/30788/task/30792/stat : 30792 (satake) D 30786 30788 27791 0 -1 4202560 5157 0 0 0 0 60 0 0 20 0 17 0 633041979 452108288 71611 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30788/tid=30793] ppid=30786 vsize=441512 CPUtime=0.62
/proc/30788/task/30793/stat : 30793 (satake) D 30786 30788 27791 0 -1 4202560 6065 0 0 0 0 62 0 0 20 0 17 0 633041979 452108288 71611 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30788/tid=30794] ppid=30786 vsize=441512 CPUtime=0.6
/proc/30788/task/30794/stat : 30794 (satake) D 30786 30788 27791 0 -1 4202560 5102 0 0 0 0 60 0 0 20 0 17 0 633041979 452108288 71611 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30788/tid=30795] ppid=30786 vsize=441512 CPUtime=0.34
/proc/30788/task/30795/stat : 30795 (satake) D 30786 30788 27791 0 -1 4202560 2918 0 0 0 0 34 0 0 20 0 17 0 633041979 452108288 71611 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30788/tid=30796] ppid=30786 vsize=441512 CPUtime=0.62
/proc/30788/task/30796/stat : 30796 (satake) D 30786 30788 27791 0 -1 4202560 4363 0 0 0 0 62 0 0 20 0 17 0 633041979 452108288 71611 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30788/tid=30797] ppid=30786 vsize=441512 CPUtime=0.62
/proc/30788/task/30797/stat : 30797 (satake) D 30786 30788 27791 0 -1 4202560 4665 0 0 0 0 62 0 0 20 0 17 0 633041979 452108288 71611 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30788/tid=30798] ppid=30786 vsize=441512 CPUtime=0.6
/proc/30788/task/30798/stat : 30798 (satake) D 30786 30788 27791 0 -1 4202560 5779 0 0 0 0 60 0 0 20 0 17 0 633041979 452108288 71611 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30788/tid=30799] ppid=30786 vsize=441512 CPUtime=0.6
/proc/30788/task/30799/stat : 30799 (satake) D 30786 30788 27791 0 -1 4202560 5644 0 0 0 0 60 0 0 20 0 17 0 633041979 452108288 71611 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30788/tid=30800] ppid=30786 vsize=441512 CPUtime=0.6
/proc/30788/task/30800/stat : 30800 (satake) D 30786 30788 27791 0 -1 4202560 5419 0 0 0 0 60 0 0 20 0 17 0 633041979 452108288 71611 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30788/tid=30801] ppid=30786 vsize=441512 CPUtime=0.6
/proc/30788/task/30801/stat : 30801 (satake) D 30786 30788 27791 0 -1 4202560 4628 0 0 0 0 60 0 0 20 0 17 0 633041979 452108288 71611 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30788/tid=30802] ppid=30786 vsize=441512 CPUtime=0.28
/proc/30788/task/30802/stat : 30802 (satake) D 30786 30788 27791 0 -1 4202560 2405 0 0 0 0 28 0 0 20 0 17 0 633041980 452108288 71611 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.49
Current children cumulated vsize (KiB) 441512

[startup+1.50411 s]
/proc/loadavg: 15.03 13.83 9.89 13/201 30805
/proc/meminfo: memFree=18785252/36427776 swapFree=4400/349400
[pid=30788] ppid=30786 vsize=433152 CPUtime=15.2

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

/proc/30788/task/30798/stat : 30798 (satake) R 30786 30788 27791 0 -1 4202560 31704 0 0 0 40445 552 0 0 20 0 17 0 633041979 1813893120 397357 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30788/tid=30799] ppid=30786 vsize=1771380 CPUtime=405.8
/proc/30788/task/30799/stat : 30799 (satake) R 30786 30788 27791 0 -1 4202560 31647 0 0 0 39978 602 0 0 20 0 17 0 633041979 1813893120 397357 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134519935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30788/tid=30800] ppid=30786 vsize=1771380 CPUtime=412.83
/proc/30788/task/30800/stat : 30800 (satake) S 30786 30788 27791 0 -1 4202560 31966 0 0 0 40755 528 0 0 20 0 17 0 633041979 1813893120 397357 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30788/tid=30801] ppid=30786 vsize=1771380 CPUtime=414.5
/proc/30788/task/30801/stat : 30801 (satake) R 30786 30788 27791 0 -1 4202560 31922 0 0 0 40868 582 0 0 20 0 17 0 633041979 1813893120 397357 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134522980 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30788/tid=30802] ppid=30786 vsize=1771380 CPUtime=401.29
/proc/30788/task/30802/stat : 30802 (satake) R 30786 30788 27791 0 -1 4202560 32153 0 0 0 39621 508 0 0 20 0 17 0 633041980 1813893120 397357 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30788/tid=30803] ppid=30786 vsize=1771380 CPUtime=408.78
/proc/30788/task/30803/stat : 30803 (satake) R 30786 30788 27791 0 -1 4202560 31982 0 0 0 40340 538 0 0 20 0 17 0 633041980 1813893120 397357 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30788/tid=30805] ppid=30786 vsize=1771380 CPUtime=403.5
/proc/30788/task/30805/stat : 30805 (satake) R 30786 30788 27791 0 -1 4202560 31896 0 0 0 39778 572 0 0 20 0 17 0 633041980 1813893120 397357 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134532454 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6316.92
Current children cumulated vsize (KiB) 1771380

[startup+608.004 s]
/proc/loadavg: 13.45 12.64 10.91 16/201 30815
/proc/meminfo: memFree=17529492/36427776 swapFree=4588/1599600
[pid=30788] ppid=30786 vsize=1771700 CPUtime=6405.42
/proc/30788/stat : 30788 (satake) S 30786 30788 27791 0 -1 4202496 489381 0 0 0 612059 28483 0 0 20 0 17 0 633041979 1814220800 397386 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/30788/statm: 442925 397386 68 164 0 442760 0
[pid=30788/tid=30789] ppid=30786 vsize=1771700 CPUtime=215.81
/proc/30788/task/30789/stat : 30789 (satake) S 30786 30788 27791 0 -1 4202560 9594 0 0 0 1470 20111 0 0 20 0 17 0 633041979 1814220800 397386 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=30788/tid=30790] ppid=30786 vsize=1771700 CPUtime=414.54
/proc/30788/task/30790/stat : 30790 (satake) R 30786 30788 27791 0 -1 4202560 31864 0 0 0 40840 614 0 0 20 0 17 0 633041979 1814220800 397386 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30788/tid=30791] ppid=30786 vsize=1771700 CPUtime=412.67
/proc/30788/task/30791/stat : 30791 (satake) R 30786 30788 27791 0 -1 4202560 32051 0 0 0 40757 510 0 0 20 0 17 0 633041979 1814220800 397386 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134528454 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30788/tid=30792] ppid=30786 vsize=1771700 CPUtime=414.09
/proc/30788/task/30792/stat : 30792 (satake) R 30786 30788 27791 0 -1 4202560 32237 0 0 0 40891 518 0 0 20 0 17 0 633041979 1814220800 397386 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30788/tid=30793] ppid=30786 vsize=1771700 CPUtime=415.15
/proc/30788/task/30793/stat : 30793 (satake) R 30786 30788 27791 0 -1 4202560 32351 0 0 0 40971 544 0 0 20 0 17 0 633041979 1814220800 397386 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134522980 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30788/tid=30794] ppid=30786 vsize=1771700 CPUtime=402.66
/proc/30788/task/30794/stat : 30794 (satake) R 30786 30788 27791 0 -1 4202560 32090 0 0 0 39686 580 0 0 20 0 17 0 633041979 1814220800 397386 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134528984 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30788/tid=30795] ppid=30786 vsize=1771700 CPUtime=409.48
/proc/30788/task/30795/stat : 30795 (satake) R 30786 30788 27791 0 -1 4202560 31981 0 0 0 40400 548 0 0 20 0 17 0 633041979 1814220800 397386 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134532454 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30788/tid=30796] ppid=30786 vsize=1771700 CPUtime=412.29
/proc/30788/task/30796/stat : 30796 (satake) R 30786 30788 27791 0 -1 4202560 32040 0 0 0 40701 528 0 0 20 0 17 0 633041979 1814220800 397386 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30788/tid=30797] ppid=30786 vsize=1771700 CPUtime=412.13
/proc/30788/task/30797/stat : 30797 (satake) R 30786 30788 27791 0 -1 4202560 31768 0 0 0 40605 608 0 0 20 0 17 0 633041979 1814220800 397386 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30788/tid=30798] ppid=30786 vsize=1771700 CPUtime=415.88
/proc/30788/task/30798/stat : 30798 (satake) R 30786 30788 27791 0 -1 4202560 31709 0 0 0 41036 552 0 0 20 0 17 0 633041979 1814220800 397386 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134532624 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30788/tid=30799] ppid=30786 vsize=1771700 CPUtime=411.33
/proc/30788/task/30799/stat : 30799 (satake) R 30786 30788 27791 0 -1 4202560 31648 0 0 0 40523 610 0 0 20 0 17 0 633041979 1814220800 397386 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134528514 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30788/tid=30800] ppid=30786 vsize=1771700 CPUtime=418.23
/proc/30788/task/30800/stat : 30800 (satake) R 30786 30788 27791 0 -1 4202560 31967 0 0 0 41287 536 0 0 20 0 17 0 633041979 1814220800 397386 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30788/tid=30801] ppid=30786 vsize=1771700 CPUtime=420.4
/proc/30788/task/30801/stat : 30801 (satake) R 30786 30788 27791 0 -1 4202560 31923 0 0 0 41452 588 0 0 20 0 17 0 633041979 1814220800 397386 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134523851 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30788/tid=30802] ppid=30786 vsize=1771700 CPUtime=406.85
/proc/30788/task/30802/stat : 30802 (satake) R 30786 30788 27791 0 -1 4202560 32153 0 0 0 40171 514 0 0 20 0 17 0 633041980 1814220800 397386 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134523811 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30788/tid=30803] ppid=30786 vsize=1771700 CPUtime=414.48
/proc/30788/task/30803/stat : 30803 (satake) R 30786 30788 27791 0 -1 4202560 31983 0 0 0 40902 546 0 0 20 0 17 0 633041980 1814220800 397386 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30788/tid=30805] ppid=30786 vsize=1771700 CPUtime=409.34
/proc/30788/task/30805/stat : 30805 (satake) R 30786 30788 27791 0 -1 4202560 31896 0 0 0 40362 572 0 0 20 0 17 0 633041980 1814220800 397386 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6405.42
Current children cumulated vsize (KiB) 1771700

[startup+614.404 s]
/proc/loadavg: 13.49 12.66 10.93 7/200 30815
/proc/meminfo: memFree=17547464/36427776 swapFree=4624/1580908
[pid=30788] ppid=30786 vsize=1734104 CPUtime=6491.07
/proc/30788/stat : 30788 (satake) S 30786 30788 27791 0 -1 4202496 489408 0 0 0 620223 28884 0 0 20 0 16 0 633041979 1775722496 390740 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/30788/statm: 433526 390740 77 164 0 433361 0
[pid=30788/tid=30790] ppid=30786 vsize=1734104 CPUtime=420.5
/proc/30788/task/30790/stat : 30790 (satake) R 30786 30788 27791 0 -1 4202560 31864 0 0 0 41434 616 0 0 20 0 16 0 633041979 1775722496 390740 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134520909 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30788/tid=30791] ppid=30786 vsize=1734104 CPUtime=418.3
/proc/30788/task/30791/stat : 30791 (satake) R 30786 30788 27791 0 -1 4202560 32056 0 0 0 41314 516 0 0 20 0 16 0 633041979 1775722496 390740 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30788/tid=30792] ppid=30786 vsize=1734104 CPUtime=418.47
/proc/30788/task/30792/stat : 30792 (satake) S 30786 30788 27791 0 -1 4202560 32246 0 0 0 41279 568 0 0 20 0 16 0 633041979 1775722496 390740 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=30788/tid=30793] ppid=30786 vsize=1734104 CPUtime=420.77
/proc/30788/task/30793/stat : 30793 (satake) R 30786 30788 27791 0 -1 4202560 32352 0 0 0 41499 578 0 0 20 0 16 0 633041979 1775722496 390740 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30788/tid=30794] ppid=30786 vsize=1734104 CPUtime=407.42
/proc/30788/task/30794/stat : 30794 (satake) R 30786 30788 27791 0 -1 4202560 32091 0 0 0 40146 596 0 0 20 0 16 0 633041979 1775722496 390740 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30788/tid=30795] ppid=30786 vsize=1734104 CPUtime=415.3
/proc/30788/task/30795/stat : 30795 (satake) R 30786 30788 27791 0 -1 4202560 31981 0 0 0 40958 572 0 0 20 0 16 0 633041979 1775722496 390740 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30788/tid=30796] ppid=30786 vsize=1734104 CPUtime=418.33
/proc/30788/task/30796/stat : 30796 (satake) R 30786 30788 27791 0 -1 4202560 32040 0 0 0 41301 532 0 0 20 0 16 0 633041979 1775722496 390740 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134528267 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30788/tid=30797] ppid=30786 vsize=1734104 CPUtime=418.21
/proc/30788/task/30797/stat : 30797 (satake) R 30786 30788 27791 0 -1 4202560 31768 0 0 0 41205 616 0 0 20 0 16 0 633041979 1775722496 390740 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134523641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30788/tid=30798] ppid=30786 vsize=1734104 CPUtime=421.38
/proc/30788/task/30798/stat : 30798 (satake) R 30786 30788 27791 0 -1 4202560 31709 0 0 0 41554 584 0 0 20 0 16 0 633041979 1775722496 390740 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30788/tid=30799] ppid=30786 vsize=1734104 CPUtime=417.64
/proc/30788/task/30799/stat : 30799 (satake) R 30786 30788 27791 0 -1 4202560 31648 0 0 0 41146 618 0 0 20 0 16 0 633041979 1775722496 390740 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30788/tid=30800] ppid=30786 vsize=1734104 CPUtime=423.35
/proc/30788/task/30800/stat : 30800 (satake) R 30786 30788 27791 0 -1 4202560 31967 0 0 0 41785 550 0 0 20 0 16 0 633041979 1775722496 390740 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134518218 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30788/tid=30801] ppid=30786 vsize=1734104 CPUtime=425.76
/proc/30788/task/30801/stat : 30801 (satake) R 30786 30788 27791 0 -1 4202560 31923 0 0 0 41978 598 0 0 20 0 16 0 633041979 1775722496 390740 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30788/tid=30802] ppid=30786 vsize=1734104 CPUtime=412.49
/proc/30788/task/30802/stat : 30802 (satake) R 30786 30788 27791 0 -1 4202560 32153 0 0 0 40709 540 0 0 20 0 16 0 633041980 1775722496 390740 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30788/tid=30803] ppid=30786 vsize=1734104 CPUtime=420.32
/proc/30788/task/30803/stat : 30803 (satake) R 30786 30788 27791 0 -1 4202560 31989 0 0 0 41484 548 0 0 20 0 16 0 633041980 1775722496 390740 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134528267 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30788/tid=30805] ppid=30786 vsize=1734104 CPUtime=415.05
/proc/30788/task/30805/stat : 30805 (satake) R 30786 30788 27791 0 -1 4202560 31897 0 0 0 40915 590 0 0 20 0 16 0 633041980 1775722496 390740 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6491.07
Current children cumulated vsize (KiB) 1734104

[startup+616.004 s]
/proc/loadavg: 13.49 12.66 10.93 7/196 30815
/proc/meminfo: memFree=17715028/36427776 swapFree=4624/1409588
[pid=30788] ppid=30786 vsize=1515848 CPUtime=6505.17
/proc/30788/stat : 30788 (satake) S 30786 30788 27791 0 -1 4202496 489408 0 0 0 621377 29140 0 0 20 0 12 0 633041979 1552228352 349811 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/30788/statm: 378962 349811 77 164 0 378797 0
[pid=30788/tid=30790] ppid=30786 vsize=1515848 CPUtime=422.11
/proc/30788/task/30790/stat : 30790 (satake) R 30786 30788 27791 0 -1 4202560 31864 0 0 0 41595 616 0 0 20 0 12 0 633041979 1552228352 349811 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134532624 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30788/tid=30791] ppid=30786 vsize=1515848 CPUtime=418.88
/proc/30788/task/30791/stat : 30791 (satake) S 30786 30788 27791 0 -1 4202560 32056 0 0 0 41340 548 0 0 20 0 12 0 633041979 1552228352 349811 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=30788/tid=30794] ppid=30786 vsize=1515848 CPUtime=408.79
/proc/30788/task/30794/stat : 30794 (satake) S 30786 30788 27791 0 -1 4202560 32091 0 0 0 40279 600 0 0 20 0 12 0 633041979 1552228352 349811 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=30788/tid=30796] ppid=30786 vsize=1515848 CPUtime=419.92
/proc/30788/task/30796/stat : 30796 (satake) R 30786 30788 27791 0 -1 4202560 32040 0 0 0 41460 532 0 0 20 0 12 0 633041979 1552228352 349811 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134666577 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30788/tid=30797] ppid=30786 vsize=1515848 CPUtime=419.82
/proc/30788/task/30797/stat : 30797 (satake) R 30786 30788 27791 0 -1 4202560 31768 0 0 0 41366 616 0 0 20 0 12 0 633041979 1552228352 349811 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134522776 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30788/tid=30799] ppid=30786 vsize=1515848 CPUtime=418.28
/proc/30788/task/30799/stat : 30799 (satake) S 30786 30788 27791 0 -1 4202560 31648 0 0 0 41180 648 0 0 20 0 12 0 633041979 1552228352 349811 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=30788/tid=30800] ppid=30786 vsize=1515848 CPUtime=424.75
/proc/30788/task/30800/stat : 30800 (satake) R 30786 30788 27791 0 -1 4202560 31967 0 0 0 41925 550 0 0 20 0 12 0 633041979 1552228352 349811 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30788/tid=30801] ppid=30786 vsize=1515848 CPUtime=426.53
/proc/30788/task/30801/stat : 30801 (satake) R 30786 30788 27791 0 -1 4202560 31923 0 0 0 42029 624 0 0 20 0 12 0 633041979 1552228352 349811 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134666377 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30788/tid=30802] ppid=30786 vsize=1515848 CPUtime=413.12
/proc/30788/task/30802/stat : 30802 (satake) S 30786 30788 27791 0 -1 4202560 32153 0 0 0 40738 574 0 0 20 0 12 0 633041980 1552228352 349811 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=30788/tid=30803] ppid=30786 vsize=1515848 CPUtime=421.93
/proc/30788/task/30803/stat : 30803 (satake) R 30786 30788 27791 0 -1 4202560 31989 0 0 0 41645 548 0 0 20 0 12 0 633041980 1552228352 349811 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30788/tid=30805] ppid=30786 vsize=1515848 CPUtime=415.67
/proc/30788/task/30805/stat : 30805 (satake) S 30786 30788 27791 0 -1 4202560 31897 0 0 0 40941 626 0 0 20 0 12 0 633041980 1552228352 349811 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6505.17
Current children cumulated vsize (KiB) 1515848

[startup+617.601 s]
/proc/loadavg: 12.89 12.55 10.90 8/191 30815
/proc/meminfo: memFree=17875628/36427776 swapFree=4624/1247420
[pid=30788] ppid=30786 vsize=1277868 CPUtime=6511.78
/proc/30788/stat : 30788 (satake) S 30786 30788 27791 0 -1 4202496 489408 0 0 0 621880 29298 0 0 20 0 7 0 633041979 1308536832 303421 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/30788/statm: 319467 303421 77 164 0 319302 0
[pid=30788/tid=30790] ppid=30786 vsize=1277868 CPUtime=422.98
/proc/30788/task/30790/stat : 30790 (satake) S 30786 30788 27791 0 -1 4202560 31864 0 0 0 41660 638 0 0 20 0 7 0 633041979 1308536832 303421 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=30788/tid=30794] ppid=30786 vsize=1277868 CPUtime=410.26
/proc/30788/task/30794/stat : 30794 (satake) R 30786 30788 27791 0 -1 4202560 32091 0 0 0 40426 600 0 0 20 0 7 0 633041979 1308536832 303421 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134666303 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30788/tid=30796] ppid=30786 vsize=1277868 CPUtime=420.65
/proc/30788/task/30796/stat : 30796 (satake) S 30786 30788 27791 0 -1 4202560 32040 0 0 0 41511 554 0 0 20 0 7 0 633041979 1308536832 303421 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=30788/tid=30797] ppid=30786 vsize=1277868 CPUtime=420.6
/proc/30788/task/30797/stat : 30797 (satake) S 30786 30788 27791 0 -1 4202560 31768 0 0 0 41426 634 0 0 20 0 7 0 633041979 1308536832 303421 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=30788/tid=30800] ppid=30786 vsize=1277868 CPUtime=425.42
/proc/30788/task/30800/stat : 30800 (satake) S 30786 30788 27791 0 -1 4202560 31967 0 0 0 41970 572 0 0 20 0 7 0 633041979 1308536832 303421 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30788/tid=30803] ppid=30786 vsize=1277868 CPUtime=422.75
/proc/30788/task/30803/stat : 30803 (satake) S 30786 30788 27791 0 -1 4202560 31989 0 0 0 41717 558 0 0 20 0 7 0 633041980 1308536832 303421 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6511.78
Current children cumulated vsize (KiB) 1277868

[startup+618.401 s]
/proc/loadavg: 12.89 12.55 10.90 3/188 30815
/proc/meminfo: memFree=17993632/36427776 swapFree=4624/1128436
[pid=30788] ppid=30786 vsize=1128812 CPUtime=6513.69
/proc/30788/stat : 30788 (satake) S 30786 30788 27791 0 -1 4202496 489409 0 0 0 622050 29319 0 0 20 0 3 0 633041979 1155903488 272249 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/30788/statm: 282203 272249 77 164 0 282038 0
[pid=30788/tid=30794] ppid=30786 vsize=1128812 CPUtime=410.9
/proc/30788/task/30794/stat : 30794 (satake) S 30786 30788 27791 0 -1 4202560 32092 0 0 0 40490 600 0 0 20 0 3 0 633041979 1155903488 272249 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=30788/tid=30803] ppid=30786 vsize=1128812 CPUtime=423.21
/proc/30788/task/30803/stat : 30803 (satake) R 30786 30788 27791 0 -1 4202560 31989 0 0 0 41759 562 0 0 20 0 3 0 633041980 1155903488 272249 18446744073709551615 134512640 135180984 4292185152 18446744073709551615 134666322 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6513.69
Current children cumulated vsize (KiB) 1128812

[startup+618.801 s]
/proc/loadavg: 12.89 12.55 10.90 3/188 30815
/proc/meminfo: memFree=17993632/36427776 swapFree=4624/1128436
[pid=30788] ppid=30786 vsize=0 CPUtime=6514.09
/proc/30788/stat : 30788 (satake) R 30786 30788 27791 0 -1 4202500 489410 0 0 0 622081 29328 0 0 20 0 1 0 633041979 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/30788/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6514.09
Current children cumulated vsize (KiB) 0

Child status: 16
Real time (s): 618.878
CPU time (s): 6514.17
CPU user time (s): 6220.81
CPU system time (s): 293.366
CPU usage (%): 1052.58
Max. virtual memory (cumulated for all children) (KiB): 1795200


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6220.8
system time used= 293.366
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 489410
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= 21750338
involuntary context switches= 1635085

runsolver used 2.74817 second user time and 9.13657 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 18:22:35
IDJOB=1776132
IDBENCH=20424
IDSOLVER=631
FILE ID=xenhost3-49/1776132-1244737355
PBS_JOBID=
Free space on /tmp= 7016 MiB

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

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

MD5SUM BENCH= 3a68d904935650d9da7e64e1ee7bae82
RANDOM SEED= 1870850072

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:      19120796 kB
Buffers:        432272 kB
Cached:       14125212 kB
SwapCached:          0 kB
Active:        4077248 kB
Inactive:     10488476 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           25296 kB
Writeback:           0 kB
AnonPages:        8344 kB
Mapped:           3688 kB
Slab:           688352 kB
SReclaimable:   661456 kB
SUnreclaim:      26896 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29852 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7016 MiB
End job on xenhost3-49 at 2009-06-11 18:32:55