Trace number 1779282

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 63.928 9.07549

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-04.cnf
MD5SUM019984f9d84c315e8eec645fb9d169da
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark8.15
Satisfiable
(Un)Satisfiability was proved
Number of variables68679
Number of clauses223994
Sum of the clauses size580546
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 291178
Number of clauses of size 3132687
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

63.84/9.05	c Benchmark name    : HOME/instance-1779282-1244790193.cnf
63.84/9.05	c Thread Num        :           16
63.84/9.05	c restarts          :            3
63.84/9.05	c conflicts         :          324
63.84/9.05	c decisions         :         2126           (      261 / sec      )
63.84/9.05	c propagations      :      5384381           (   660978 / sec      )
63.84/9.05	c inspects          :     13809294           (  1695206 / sec      )
63.84/9.05	c conflict literals :        17781           (    52.27 % deleted  )
63.84/9.05	c cpu time          :         8.15           
63.84/9.05	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-1779282-1244790193/watcher-1779282-1244790193 -o /tmp/evaluation-result-1779282-1244790193/solver-1779282-1244790193 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779282-1244790193.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: 9.24 8.76 8.08 2/184 4656
/proc/meminfo: memFree=19133860/36427776 swapFree=4048/7304
[pid=4656] ppid=4654 vsize=8176 CPUtime=0
/proc/4656/stat : 4656 (satake) D 4654 4656 27791 0 -1 4202496 414 0 0 0 0 0 0 0 20 0 17 0 638325697 8372224 370 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 2044 370 64 164 0 1879 0
[pid=4656/tid=4657] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4657/stat : 4657 (satake) S 4654 4656 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 596 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4658] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4658/stat : 4658 (satake) R 4654 4656 27791 0 -1 4202560 76 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 598 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4659] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4659/stat : 4659 (satake) R 4654 4656 27791 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 601 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4660] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4660/stat : 4660 (satake) R 4654 4656 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 602 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4661] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4661/stat : 4661 (satake) R 4654 4656 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 606 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4662] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4662/stat : 4662 (satake) R 4654 4656 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 606 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4663] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4663/stat : 4663 (satake) R 4654 4656 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 610 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4664] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4664/stat : 4664 (satake) R 4654 4656 27791 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 625 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4665] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4665/stat : 4665 (satake) R 4654 4656 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 644 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4666] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4666/stat : 4666 (satake) S 4654 4656 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 653 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4667] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4667/stat : 4667 (satake) S 4654 4656 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 653 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4668] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4668/stat : 4668 (satake) S 4654 4656 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 653 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4669] ppid=4654 vsize=9732 CPUtime=0
/proc/4656/task/4669/stat : 4669 (satake) D 4654 4656 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 17 0 638325697 9965568 653 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4670] ppid=4654 vsize=9732 CPUtime=0
/proc/4656/task/4670/stat : 4670 (satake) D 4654 4656 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 638325697 9965568 656 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4671] ppid=4654 vsize=9732 CPUtime=0
/proc/4656/task/4671/stat : 4671 (satake) D 4654 4656 27791 0 -1 4202560 65 0 0 0 0 0 0 0 20 0 17 0 638325698 9965568 656 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4656/tid=4672] ppid=4654 vsize=9732 CPUtime=0
/proc/4656/task/4672/stat : 4672 (satake) D 4654 4656 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 638325698 9965568 656 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.070046 s]
/proc/loadavg: 9.24 8.76 8.08 2/184 4656
/proc/meminfo: memFree=19133860/36427776 swapFree=4048/7304
[pid=4656] ppid=4654 vsize=51116 CPUtime=0.27
/proc/4656/stat : 4656 (satake) S 4654 4656 27791 0 -1 4202496 9470 0 0 0 0 27 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 12779 9426 64 164 0 12614 0
[pid=4656/tid=4657] ppid=4654 vsize=51116 CPUtime=0
/proc/4656/task/4657/stat : 4657 (satake) S 4654 4656 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4658] ppid=4654 vsize=51116 CPUtime=0.02
/proc/4656/task/4658/stat : 4658 (satake) D 4654 4656 27791 0 -1 4202560 650 0 0 0 0 2 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4659] ppid=4654 vsize=51116 CPUtime=0
/proc/4656/task/4659/stat : 4659 (satake) D 4654 4656 27791 0 -1 4202560 355 0 0 0 0 0 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4660] ppid=4654 vsize=51116 CPUtime=0.04
/proc/4656/task/4660/stat : 4660 (satake) D 4654 4656 27791 0 -1 4202560 1068 0 0 0 0 4 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4661] ppid=4654 vsize=51116 CPUtime=0.02
/proc/4656/task/4661/stat : 4661 (satake) D 4654 4656 27791 0 -1 4202560 871 0 0 0 0 2 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4662] ppid=4654 vsize=51116 CPUtime=0
/proc/4656/task/4662/stat : 4662 (satake) D 4654 4656 27791 0 -1 4202560 382 0 0 0 0 0 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4663] ppid=4654 vsize=51116 CPUtime=0.02
/proc/4656/task/4663/stat : 4663 (satake) D 4654 4656 27791 0 -1 4202560 587 0 0 0 0 2 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4664] ppid=4654 vsize=51116 CPUtime=0.04
/proc/4656/task/4664/stat : 4664 (satake) D 4654 4656 27791 0 -1 4202560 1083 0 0 0 0 4 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4665] ppid=4654 vsize=51116 CPUtime=0
/proc/4656/task/4665/stat : 4665 (satake) R 4654 4656 27791 0 -1 4202560 142 0 0 0 0 0 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4666] ppid=4654 vsize=51116 CPUtime=0
/proc/4656/task/4666/stat : 4666 (satake) D 4654 4656 27791 0 -1 4202560 274 0 0 0 0 0 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4667] ppid=4654 vsize=51116 CPUtime=0.02
/proc/4656/task/4667/stat : 4667 (satake) D 4654 4656 27791 0 -1 4202560 776 0 0 0 0 2 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4668] ppid=4654 vsize=51116 CPUtime=0.02
/proc/4656/task/4668/stat : 4668 (satake) D 4654 4656 27791 0 -1 4202560 848 0 0 0 0 2 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4669] ppid=4654 vsize=51116 CPUtime=0.02
/proc/4656/task/4669/stat : 4669 (satake) D 4654 4656 27791 0 -1 4202560 1028 0 0 0 0 2 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4670] ppid=4654 vsize=51116 CPUtime=0
/proc/4656/task/4670/stat : 4670 (satake) D 4654 4656 27791 0 -1 4202560 120 0 0 0 0 0 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4671] ppid=4654 vsize=51116 CPUtime=0.02
/proc/4656/task/4671/stat : 4671 (satake) D 4654 4656 27791 0 -1 4202560 1031 0 0 0 0 2 0 0 20 0 17 0 638325698 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4656/tid=4672] ppid=4654 vsize=51116 CPUtime=0
/proc/4656/task/4672/stat : 4672 (satake) D 4654 4656 27791 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 17 0 638325698 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 51116

[startup+0.101969 s]
/proc/loadavg: 9.24 8.76 8.08 2/184 4656
/proc/meminfo: memFree=19133860/36427776 swapFree=4048/7304
[pid=4656] ppid=4654 vsize=72628 CPUtime=0.47
/proc/4656/stat : 4656 (satake) S 4654 4656 27791 0 -1 4202496 10674 0 0 0 2 45 0 0 20 0 17 0 638325697 74371072 10630 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 18157 10633 64 164 0 17992 0
[pid=4656/tid=4657] ppid=4654 vsize=72628 CPUtime=0
/proc/4656/task/4657/stat : 4657 (satake) S 4654 4656 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 638325697 74371072 10643 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4658] ppid=4654 vsize=72628 CPUtime=0.02
/proc/4656/task/4658/stat : 4658 (satake) D 4654 4656 27791 0 -1 4202560 743 0 0 0 0 2 0 0 20 0 17 0 638325697 74371072 10648 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4659] ppid=4654 vsize=72628 CPUtime=0.02
/proc/4656/task/4659/stat : 4659 (satake) D 4654 4656 27791 0 -1 4202560 437 0 0 0 0 2 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4660] ppid=4654 vsize=72628 CPUtime=0.04
/proc/4656/task/4660/stat : 4660 (satake) D 4654 4656 27791 0 -1 4202560 1163 0 0 0 0 4 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4661] ppid=4654 vsize=72628 CPUtime=0.04
/proc/4656/task/4661/stat : 4661 (satake) D 4654 4656 27791 0 -1 4202560 964 0 0 0 0 4 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4662] ppid=4654 vsize=72628 CPUtime=0.02
/proc/4656/task/4662/stat : 4662 (satake) D 4654 4656 27791 0 -1 4202560 468 0 0 0 0 2 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4663] ppid=4654 vsize=72628 CPUtime=0.02
/proc/4656/task/4663/stat : 4663 (satake) D 4654 4656 27791 0 -1 4202560 667 0 0 0 0 2 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4664] ppid=4654 vsize=72628 CPUtime=0.06
/proc/4656/task/4664/stat : 4664 (satake) D 4654 4656 27791 0 -1 4202560 1188 0 0 0 0 6 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4665] ppid=4654 vsize=72628 CPUtime=0
/proc/4656/task/4665/stat : 4665 (satake) R 4654 4656 27791 0 -1 4202560 209 0 0 0 0 0 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4666] ppid=4654 vsize=72628 CPUtime=0.02
/proc/4656/task/4666/stat : 4666 (satake) D 4654 4656 27791 0 -1 4202560 355 0 0 0 0 2 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4667] ppid=4654 vsize=72628 CPUtime=0.02
/proc/4656/task/4667/stat : 4667 (satake) D 4654 4656 27791 0 -1 4202560 859 0 0 0 0 2 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4668] ppid=4654 vsize=72628 CPUtime=0.04
/proc/4656/task/4668/stat : 4668 (satake) D 4654 4656 27791 0 -1 4202560 937 0 0 0 0 4 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4669] ppid=4654 vsize=72628 CPUtime=0.04
/proc/4656/task/4669/stat : 4669 (satake) R 4654 4656 27791 0 -1 4202560 1085 0 0 0 0 4 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4670] ppid=4654 vsize=72628 CPUtime=0
/proc/4656/task/4670/stat : 4670 (satake) D 4654 4656 27791 0 -1 4202560 191 0 0 0 0 0 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4671] ppid=4654 vsize=72628 CPUtime=0.04
/proc/4656/task/4671/stat : 4671 (satake) D 4654 4656 27791 0 -1 4202560 1087 0 0 0 0 4 0 0 20 0 17 0 638325698 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4656/tid=4672] ppid=4654 vsize=72628 CPUtime=0
/proc/4656/task/4672/stat : 4672 (satake) D 4654 4656 27791 0 -1 4202560 209 0 0 0 0 0 0 0 20 0 17 0 638325698 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 72628

[startup+0.306674 s]
/proc/loadavg: 9.24 8.76 8.08 2/184 4656
/proc/meminfo: memFree=19133860/36427776 swapFree=4048/7304
[pid=4656] ppid=4654 vsize=162768 CPUtime=1.42
/proc/4656/stat : 4656 (satake) S 4654 4656 27791 0 -1 4202496 19069 0 0 0 2 140 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 40692 19009 64 164 0 40527 0
[pid=4656/tid=4657] ppid=4654 vsize=162768 CPUtime=0
/proc/4656/task/4657/stat : 4657 (satake) S 4654 4656 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4658] ppid=4654 vsize=162768 CPUtime=0.08
/proc/4656/task/4658/stat : 4658 (satake) D 4654 4656 27791 0 -1 4202560 1315 0 0 0 0 8 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4659] ppid=4654 vsize=162768 CPUtime=0.08
/proc/4656/task/4659/stat : 4659 (satake) D 4654 4656 27791 0 -1 4202560 1030 0 0 0 0 8 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4660] ppid=4654 vsize=162768 CPUtime=0.12
/proc/4656/task/4660/stat : 4660 (satake) D 4654 4656 27791 0 -1 4202560 1702 0 0 0 0 12 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4661] ppid=4654 vsize=162768 CPUtime=0.1
/proc/4656/task/4661/stat : 4661 (satake) D 4654 4656 27791 0 -1 4202560 1468 0 0 0 0 10 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4662] ppid=4654 vsize=162768 CPUtime=0.08
/proc/4656/task/4662/stat : 4662 (satake) D 4654 4656 27791 0 -1 4202560 1047 0 0 0 0 8 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4663] ppid=4654 vsize=162768 CPUtime=0.08
/proc/4656/task/4663/stat : 4663 (satake) D 4654 4656 27791 0 -1 4202560 1223 0 0 0 0 8 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4664] ppid=4654 vsize=162768 CPUtime=0.14
/proc/4656/task/4664/stat : 4664 (satake) D 4654 4656 27791 0 -1 4202560 1802 0 0 0 0 14 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4665] ppid=4654 vsize=162768 CPUtime=0.06
/proc/4656/task/4665/stat : 4665 (satake) R 4654 4656 27791 0 -1 4202560 814 0 0 0 0 6 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4666] ppid=4654 vsize=162768 CPUtime=0.08
/proc/4656/task/4666/stat : 4666 (satake) D 4654 4656 27791 0 -1 4202560 985 0 0 0 0 8 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4667] ppid=4654 vsize=162768 CPUtime=0.1
/proc/4656/task/4667/stat : 4667 (satake) D 4654 4656 27791 0 -1 4202560 1377 0 0 0 0 10 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4668] ppid=4654 vsize=162768 CPUtime=0.08
/proc/4656/task/4668/stat : 4668 (satake) D 4654 4656 27791 0 -1 4202560 1429 0 0 0 0 8 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4669] ppid=4654 vsize=162768 CPUtime=0.1
/proc/4656/task/4669/stat : 4669 (satake) R 4654 4656 27791 0 -1 4202560 1589 0 0 0 0 10 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522268 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4670] ppid=4654 vsize=162768 CPUtime=0.06
/proc/4656/task/4670/stat : 4670 (satake) D 4654 4656 27791 0 -1 4202560 774 0 0 0 0 6 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4671] ppid=4654 vsize=162768 CPUtime=0.1
/proc/4656/task/4671/stat : 4671 (satake) D 4654 4656 27791 0 -1 4202560 1548 0 0 0 0 10 0 0 20 0 17 0 638325698 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4656/tid=4672] ppid=4654 vsize=162768 CPUtime=0.06
/proc/4656/task/4672/stat : 4672 (satake) D 4654 4656 27791 0 -1 4202560 835 0 0 0 0 6 0 0 20 0 17 0 638325698 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 162768

[startup+0.706237 s]
/proc/loadavg: 9.24 8.76 8.08 2/184 4656
/proc/meminfo: memFree=19133860/36427776 swapFree=4048/7304
[pid=4656] ppid=4654 vsize=240364 CPUtime=2.76
/proc/4656/stat : 4656 (satake) S 4654 4656 27791 0 -1 4202496 31503 0 0 0 2 274 0 0 20 0 17 0 638325697 246132736 31443 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 60091 31443 64 164 0 59926 0
[pid=4656/tid=4657] ppid=4654 vsize=240364 CPUtime=0
/proc/4656/task/4657/stat : 4657 (satake) S 4654 4656 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 638325697 246132736 31443 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4658] ppid=4654 vsize=240364 CPUtime=0.18
/proc/4656/task/4658/stat : 4658 (satake) D 4654 4656 27791 0 -1 4202560 2102 0 0 0 0 18 0 0 20 0 17 0 638325697 246132736 31443 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4659] ppid=4654 vsize=240364 CPUtime=0.18
/proc/4656/task/4659/stat : 4659 (satake) D 4654 4656 27791 0 -1 4202560 1894 0 0 0 0 18 0 0 20 0 17 0 638325697 246132736 31443 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4660] ppid=4654 vsize=240364 CPUtime=0.2
/proc/4656/task/4660/stat : 4660 (satake) D 4654 4656 27791 0 -1 4202560 2522 0 0 0 0 20 0 0 20 0 17 0 638325697 246132736 31443 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4661] ppid=4654 vsize=240364 CPUtime=0.18
/proc/4656/task/4661/stat : 4661 (satake) D 4654 4656 27791 0 -1 4202560 2289 0 0 0 0 18 0 0 20 0 17 0 638325697 246132736 31443 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4662] ppid=4654 vsize=240364 CPUtime=0.16
/proc/4656/task/4662/stat : 4662 (satake) D 4654 4656 27791 0 -1 4202560 1902 0 0 0 0 16 0 0 20 0 17 0 638325697 246132736 31443 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4663] ppid=4654 vsize=240364 CPUtime=0.18
/proc/4656/task/4663/stat : 4663 (satake) D 4654 4656 27791 0 -1 4202560 2037 0 0 0 0 18 0 0 20 0 17 0 638325697 246132736 31443 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522268 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4664] ppid=4654 vsize=240364 CPUtime=0.26
/proc/4656/task/4664/stat : 4664 (satake) D 4654 4656 27791 0 -1 4202560 2652 0 0 0 0 26 0 0 20 0 17 0 638325697 246132736 31443 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4665] ppid=4654 vsize=240364 CPUtime=0.14
/proc/4656/task/4665/stat : 4665 (satake) R 4654 4656 27791 0 -1 4202560 1657 0 0 0 0 14 0 0 20 0 17 0 638325697 246132736 31443 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4666] ppid=4654 vsize=240364 CPUtime=0.18

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

Current children cumulated vsize (KiB) 289644

[startup+3.10567 s]
/proc/loadavg: 9.70 8.87 8.11 5/201 4673
/proc/meminfo: memFree=18890428/36427776 swapFree=4572/254852
[pid=4656] ppid=4654 vsize=313376 CPUtime=13.41
/proc/4656/stat : 4656 (satake) S 4654 4656 27791 0 -1 4202496 72828 0 0 0 779 562 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 78344 57603 68 164 0 78179 0
[pid=4656/tid=4657] ppid=4654 vsize=313376 CPUtime=0.04
/proc/4656/task/4657/stat : 4657 (satake) R 4654 4656 27791 0 -1 4202560 1181 0 0 0 4 0 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4658] ppid=4654 vsize=313376 CPUtime=0.88
/proc/4656/task/4658/stat : 4658 (satake) R 4654 4656 27791 0 -1 4202560 4841 0 0 0 48 40 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134523638 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4659] ppid=4654 vsize=313376 CPUtime=0.8
/proc/4656/task/4659/stat : 4659 (satake) R 4654 4656 27791 0 -1 4202560 4815 0 0 0 38 42 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4660] ppid=4654 vsize=313376 CPUtime=1.06
/proc/4656/task/4660/stat : 4660 (satake) R 4654 4656 27791 0 -1 4202560 4651 0 0 0 68 38 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134528760 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4661] ppid=4654 vsize=313376 CPUtime=0.86
/proc/4656/task/4661/stat : 4661 (satake) R 4654 4656 27791 0 -1 4202560 4805 0 0 0 54 32 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4662] ppid=4654 vsize=313376 CPUtime=0.84
/proc/4656/task/4662/stat : 4662 (satake) R 4654 4656 27791 0 -1 4202560 4758 0 0 0 50 34 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134527257 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4663] ppid=4654 vsize=313376 CPUtime=0.92
/proc/4656/task/4663/stat : 4663 (satake) R 4654 4656 27791 0 -1 4202560 4860 0 0 0 50 42 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134520027 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4664] ppid=4654 vsize=313376 CPUtime=1.14
/proc/4656/task/4664/stat : 4664 (satake) R 4654 4656 27791 0 -1 4202560 4669 0 0 0 66 48 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4665] ppid=4654 vsize=313376 CPUtime=0.74
/proc/4656/task/4665/stat : 4665 (satake) S 4654 4656 27791 0 -1 4202560 4757 0 0 0 42 32 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4666] ppid=4654 vsize=313376 CPUtime=0.78
/proc/4656/task/4666/stat : 4666 (satake) R 4654 4656 27791 0 -1 4202560 4779 0 0 0 34 44 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4667] ppid=4654 vsize=313376 CPUtime=0.8
/proc/4656/task/4667/stat : 4667 (satake) D 4654 4656 27791 0 -1 4202560 4821 0 0 0 46 34 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4668] ppid=4654 vsize=313376 CPUtime=0.94
/proc/4656/task/4668/stat : 4668 (satake) R 4654 4656 27791 0 -1 4202560 4751 0 0 0 62 32 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134526206 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4669] ppid=4654 vsize=313376 CPUtime=0.98
/proc/4656/task/4669/stat : 4669 (satake) R 4654 4656 27791 0 -1 4202560 4756 0 0 0 62 36 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4656/tid=4670] ppid=4654 vsize=313376 CPUtime=0.82
/proc/4656/task/4670/stat : 4670 (satake) R 4654 4656 27791 0 -1 4202560 4652 0 0 0 50 32 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4671] ppid=4654 vsize=313376 CPUtime=0.88
/proc/4656/task/4671/stat : 4671 (satake) R 4654 4656 27791 0 -1 4202560 4805 0 0 0 52 36 0 0 20 0 17 0 638325698 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134525309 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4672] ppid=4654 vsize=313376 CPUtime=0.82
/proc/4656/task/4672/stat : 4672 (satake) R 4654 4656 27791 0 -1 4202560 4802 0 0 0 50 32 0 0 20 0 17 0 638325698 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 13.41
Current children cumulated vsize (KiB) 313376

[startup+6.30709 s]
/proc/loadavg: 9.70 8.87 8.11 14/201 4673
/proc/meminfo: memFree=18902712/36427776 swapFree=4588/243788
[pid=4656] ppid=4654 vsize=319852 CPUtime=40.49
/proc/4656/stat : 4656 (satake) S 4654 4656 27791 0 -1 4202496 74153 0 0 0 3379 670 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 79963 58928 68 164 0 79798 0
[pid=4656/tid=4657] ppid=4654 vsize=319852 CPUtime=1.2
/proc/4656/task/4657/stat : 4657 (satake) D 4654 4656 27791 0 -1 4202560 1194 0 0 0 12 108 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4658] ppid=4654 vsize=319852 CPUtime=2.3
/proc/4656/task/4658/stat : 4658 (satake) R 4654 4656 27791 0 -1 4202560 4907 0 0 0 190 40 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134527342 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4659] ppid=4654 vsize=319852 CPUtime=2.78
/proc/4656/task/4659/stat : 4659 (satake) R 4654 4656 27791 0 -1 4202560 4916 0 0 0 236 42 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134518214 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4660] ppid=4654 vsize=319852 CPUtime=2.64
/proc/4656/task/4660/stat : 4660 (satake) R 4654 4656 27791 0 -1 4202560 4738 0 0 0 226 38 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134524814 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4661] ppid=4654 vsize=319852 CPUtime=3.04
/proc/4656/task/4661/stat : 4661 (satake) R 4654 4656 27791 0 -1 4202560 4899 0 0 0 272 32 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134526529 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4656/tid=4662] ppid=4654 vsize=319852 CPUtime=2.28
/proc/4656/task/4662/stat : 4662 (satake) R 4654 4656 27791 0 -1 4202560 4853 0 0 0 194 34 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4663] ppid=4654 vsize=319852 CPUtime=2.32
/proc/4656/task/4663/stat : 4663 (satake) R 4654 4656 27791 0 -1 4202560 4910 0 0 0 190 42 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134518629 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4664] ppid=4654 vsize=319852 CPUtime=2.5
/proc/4656/task/4664/stat : 4664 (satake) R 4654 4656 27791 0 -1 4202560 4814 0 0 0 202 48 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134565122 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4656/tid=4665] ppid=4654 vsize=319852 CPUtime=2.52
/proc/4656/task/4665/stat : 4665 (satake) R 4654 4656 27791 0 -1 4202560 4845 0 0 0 220 32 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522790 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4656/tid=4666] ppid=4654 vsize=319852 CPUtime=2.52
/proc/4656/task/4666/stat : 4666 (satake) S 4654 4656 27791 0 -1 4202560 4894 0 0 0 208 44 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4667] ppid=4654 vsize=319852 CPUtime=2.62
/proc/4656/task/4667/stat : 4667 (satake) R 4654 4656 27791 0 -1 4202560 4883 0 0 0 228 34 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522980 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4668] ppid=4654 vsize=319852 CPUtime=2.78
/proc/4656/task/4668/stat : 4668 (satake) R 4654 4656 27791 0 -1 4202560 4853 0 0 0 246 32 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134520875 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4669] ppid=4654 vsize=319852 CPUtime=2.3
/proc/4656/task/4669/stat : 4669 (satake) S 4654 4656 27791 0 -1 4202560 4809 0 0 0 194 36 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=4656/tid=4670] ppid=4654 vsize=319852 CPUtime=3.12
/proc/4656/task/4670/stat : 4670 (satake) R 4654 4656 27791 0 -1 4202560 4721 0 0 0 280 32 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4656/tid=4671] ppid=4654 vsize=319852 CPUtime=3.38
/proc/4656/task/4671/stat : 4671 (satake) R 4654 4656 27791 0 -1 4202560 4911 0 0 0 302 36 0 0 20 0 17 0 638325698 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522992 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4672] ppid=4654 vsize=319852 CPUtime=2.06
/proc/4656/task/4672/stat : 4672 (satake) S 4654 4656 27791 0 -1 4202560 4881 0 0 0 174 32 0 0 20 0 17 0 638325698 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 40.49
Current children cumulated vsize (KiB) 319852

Solver just ended. Dumping a history of the last processes samples

[startup+7.90409 s]
/proc/loadavg: 10.12 8.97 8.15 13/201 4673
/proc/meminfo: memFree=18900852/36427776 swapFree=4588/245556
[pid=4656] ppid=4654 vsize=320012 CPUtime=55.37
/proc/4656/stat : 4656 (satake) S 4654 4656 27791 0 -1 4202496 74349 0 0 0 4806 731 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 80003 59124 68 164 0 79838 0
[pid=4656/tid=4657] ppid=4654 vsize=320012 CPUtime=1.84
/proc/4656/task/4657/stat : 4657 (satake) R 4654 4656 27791 0 -1 4202560 1196 0 0 0 18 166 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4658] ppid=4654 vsize=320012 CPUtime=3.24
/proc/4656/task/4658/stat : 4658 (satake) R 4654 4656 27791 0 -1 4202560 4918 0 0 0 284 40 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134527318 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4659] ppid=4654 vsize=320012 CPUtime=3.34
/proc/4656/task/4659/stat : 4659 (satake) R 4654 4656 27791 0 -1 4202560 4925 0 0 0 292 42 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4660] ppid=4654 vsize=320012 CPUtime=3.3
/proc/4656/task/4660/stat : 4660 (satake) R 4654 4656 27791 0 -1 4202560 4746 0 0 0 290 40 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4661] ppid=4654 vsize=320012 CPUtime=4.24
/proc/4656/task/4661/stat : 4661 (satake) R 4654 4656 27791 0 -1 4202560 4910 0 0 0 392 32 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522980 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4656/tid=4662] ppid=4654 vsize=320012 CPUtime=3.4
/proc/4656/task/4662/stat : 4662 (satake) R 4654 4656 27791 0 -1 4202560 4863 0 0 0 306 34 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134520667 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4663] ppid=4654 vsize=320012 CPUtime=3.6
/proc/4656/task/4663/stat : 4663 (satake) R 4654 4656 27791 0 -1 4202560 4918 0 0 0 318 42 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134520896 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4664] ppid=4654 vsize=320012 CPUtime=3.06
/proc/4656/task/4664/stat : 4664 (satake) R 4654 4656 27791 0 -1 4202560 4821 0 0 0 258 48 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522790 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4656/tid=4665] ppid=4654 vsize=320012 CPUtime=3.28
/proc/4656/task/4665/stat : 4665 (satake) R 4654 4656 27791 0 -1 4202560 4867 0 0 0 296 32 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134520035 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4656/tid=4666] ppid=4654 vsize=320012 CPUtime=3.9
/proc/4656/task/4666/stat : 4666 (satake) R 4654 4656 27791 0 -1 4202560 4905 0 0 0 346 44 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4667] ppid=4654 vsize=320012 CPUtime=3.32
/proc/4656/task/4667/stat : 4667 (satake) R 4654 4656 27791 0 -1 4202560 4886 0 0 0 298 34 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522790 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4656/tid=4668] ppid=4654 vsize=320012 CPUtime=3.58
/proc/4656/task/4668/stat : 4668 (satake) R 4654 4656 27791 0 -1 4202560 4861 0 0 0 326 32 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134526427 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4669] ppid=4654 vsize=320012 CPUtime=3.1
/proc/4656/task/4669/stat : 4669 (satake) R 4654 4656 27791 0 -1 4202560 4828 0 0 0 274 36 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4656/tid=4670] ppid=4654 vsize=320012 CPUtime=4.62
/proc/4656/task/4670/stat : 4670 (satake) R 4654 4656 27791 0 -1 4202560 4766 0 0 0 430 32 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4656/tid=4671] ppid=4654 vsize=320012 CPUtime=4.5
/proc/4656/task/4671/stat : 4671 (satake) R 4654 4656 27791 0 -1 4202560 4921 0 0 0 414 36 0 0 20 0 17 0 638325698 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134520896 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4672] ppid=4654 vsize=320012 CPUtime=2.92
/proc/4656/task/4672/stat : 4672 (satake) R 4654 4656 27791 0 -1 4202560 4893 0 0 0 260 32 0 0 20 0 17 0 638325698 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134518209 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 55.37
Current children cumulated vsize (KiB) 320012

[startup+8.70252 s]
/proc/loadavg: 10.12 8.97 8.15 6/190 4673
/proc/meminfo: memFree=18954352/36427776 swapFree=4624/188708
[pid=4656] ppid=4654 vsize=215828 CPUtime=62.9
/proc/4656/stat : 4656 (satake) S 4654 4656 27791 0 -1 4202496 74400 0 0 0 5547 743 0 0 20 0 6 0 638325697 221007872 44405 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 53957 44405 77 164 0 53792 0
[pid=4656/tid=4664] ppid=4654 vsize=215828 CPUtime=3.7
/proc/4656/task/4664/stat : 4664 (satake) R 4654 4656 27791 0 -1 4202560 4822 0 0 0 322 48 0 0 20 0 6 0 638325697 221007872 44405 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4656/tid=4665] ppid=4654 vsize=215828 CPUtime=3.92
/proc/4656/task/4665/stat : 4665 (satake) R 4654 4656 27791 0 -1 4202560 4867 0 0 0 360 32 0 0 20 0 6 0 638325697 221007872 44405 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4656/tid=4667] ppid=4654 vsize=215828 CPUtime=4.1
/proc/4656/task/4667/stat : 4667 (satake) R 4654 4656 27791 0 -1 4202560 4888 0 0 0 376 34 0 0 20 0 6 0 638325697 221007872 44405 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4656/tid=4668] ppid=4654 vsize=215828 CPUtime=4.38
/proc/4656/task/4668/stat : 4668 (satake) R 4654 4656 27791 0 -1 4202560 4861 0 0 0 406 32 0 0 20 0 6 0 638325697 221007872 44405 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134519935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4672] ppid=4654 vsize=215828 CPUtime=3.74
/proc/4656/task/4672/stat : 4672 (satake) R 4654 4656 27791 0 -1 4202560 4909 0 0 0 342 32 0 0 20 0 6 0 638325698 221007872 44405 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134518208 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 62.9
Current children cumulated vsize (KiB) 215828

[startup+8.90253 s]
/proc/loadavg: 10.12 8.97 8.15 6/190 4673
/proc/meminfo: memFree=18954352/36427776 swapFree=4624/188708
[pid=4656] ppid=4654 vsize=185000 CPUtime=63.67
/proc/4656/stat : 4656 (satake) S 4654 4656 27791 0 -1 4202496 74400 0 0 0 5624 743 0 0 20 0 3 0 638325697 189440000 40100 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 46250 40100 77 164 0 46085 0
[pid=4656/tid=4664] ppid=4654 vsize=185000 CPUtime=3.9
/proc/4656/task/4664/stat : 4664 (satake) R 4654 4656 27791 0 -1 4202560 4822 0 0 0 342 48 0 0 20 0 3 0 638325697 189440000 40100 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134518634 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4656/tid=4667] ppid=4654 vsize=185000 CPUtime=4.28
/proc/4656/task/4667/stat : 4667 (satake) R 4654 4656 27791 0 -1 4202560 4888 0 0 0 394 34 0 0 20 0 3 0 638325697 189440000 40100 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 63.67
Current children cumulated vsize (KiB) 185000

[startup+9.00254 s]
/proc/loadavg: 10.12 8.97 8.15 6/190 4673
/proc/meminfo: memFree=18954352/36427776 swapFree=4624/188708
[pid=4656] ppid=4654 vsize=174884 CPUtime=63.84
/proc/4656/stat : 4656 (satake) S 4654 4656 27791 0 -1 4202496 74400 0 0 0 5641 743 0 0 20 0 2 0 638325697 179081216 38681 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 43721 38681 77 164 0 43556 0
[pid=4656/tid=4664] ppid=4654 vsize=174884 CPUtime=4
/proc/4656/task/4664/stat : 4664 (satake) R 4654 4656 27791 0 -1 4202560 4822 0 0 0 352 48 0 0 20 0 2 0 638325697 179081216 38681 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134519912 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 63.84
Current children cumulated vsize (KiB) 174884

Child status: 16
Real time (s): 9.07549
CPU time (s): 63.928
CPU user time (s): 56.4715
CPU system time (s): 7.45647
CPU usage (%): 704.403
Max. virtual memory (cumulated for all children) (KiB): 343024


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56.4715
system time used= 7.45647
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74401
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= 335188
involuntary context switches= 144628

runsolver used 0.048003 second user time and 0.120007 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 09:03:13
IDJOB=1779282
IDBENCH=70827
IDSOLVER=631
FILE ID=xenhost3-49/1779282-1244790193
PBS_JOBID=
Free space on /tmp= 7033 MiB

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

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

MD5SUM BENCH= 019984f9d84c315e8eec645fb9d169da
RANDOM SEED= 1481262197

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:      19133860 kB
Buffers:        433776 kB
Cached:       14108000 kB
SwapCached:          0 kB
Active:        4079264 kB
Inactive:     10470748 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            4984 kB
Writeback:           0 kB
AnonPages:        7304 kB
Mapped:           4048 kB
Slab:           688380 kB
SReclaimable:   661528 kB
SUnreclaim:      26852 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= 7033 MiB
End job on xenhost3-49 at 2009-06-12 09:03:22