Trace number 1780632

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 4669.06 573.971

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UCG-15-10p0.cnf
MD5SUMbcbcc9a4e4a7e3ebed9eeaa393ebdc32
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1004.76
Satisfiable
(Un)Satisfiability was proved
Number of variables199304
Number of clauses1005834
Sum of the clauses size2392967
Maximum clause length10
Minimum clause length1
Number of clauses of size 110249
Number of clauses of size 2756917
Number of clauses of size 3187708
Number of clauses of size 45660
Number of clauses of size 522640
Number of clauses of size over 522660

Solver Data 

4668.98/573.90	c Benchmark name    : HOME/instance-1780632-1244835167.cnf
4668.98/573.90	c Thread Num        :           16
4668.98/573.90	c restarts          :           14
4668.98/573.90	c conflicts         :        40322
4668.98/573.90	c decisions         :       355365           (      623 / sec      )
4668.98/573.90	c propagations      :    265305378           (   464851 / sec      )
4668.98/573.90	c inspects          :    796093144           (  1394864 / sec      )
4668.98/573.90	c conflict literals :      9947394           (    29.52 % deleted  )
4668.98/573.90	c cpu time          :       570.73           
4668.98/573.90	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-1780632-1244835167/watcher-1780632-1244835167 -o /tmp/evaluation-result-1780632-1244835167/solver-1780632-1244835167 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780632-1244835167.cnf 16 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 12.38 10.15 9.09 2/184 10517
/proc/meminfo: memFree=19110908/36427776 swapFree=4528/8620
[pid=10517] ppid=10515 vsize=7016 CPUtime=0
/proc/10517/stat : 10517 (satake) S 10515 10517 27791 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 17 0 642823118 7184384 350 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10517/statm: 1754 354 63 164 0 1589 0
[pid=10517/tid=10518] ppid=10515 vsize=7152 CPUtime=0
/proc/10517/task/10518/stat : 10518 (satake) S 10515 10517 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642823118 7323648 418 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10519] ppid=10515 vsize=7156 CPUtime=0
/proc/10517/task/10519/stat : 10519 (satake) D 10515 10517 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 17 0 642823118 7327744 419 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10520] ppid=10515 vsize=7288 CPUtime=0
/proc/10517/task/10520/stat : 10520 (satake) D 10515 10517 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 642823118 7462912 419 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10521] ppid=10515 vsize=7288 CPUtime=0
/proc/10517/task/10521/stat : 10521 (satake) R 10515 10517 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 642823119 7462912 425 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10522] ppid=10515 vsize=7288 CPUtime=0
/proc/10517/task/10522/stat : 10522 (satake) R 10515 10517 27791 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 17 0 642823119 7462912 425 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10523] ppid=10515 vsize=7288 CPUtime=0
/proc/10517/task/10523/stat : 10523 (satake) S 10515 10517 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 642823119 7462912 425 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10524] ppid=10515 vsize=7288 CPUtime=0
/proc/10517/task/10524/stat : 10524 (satake) R 10515 10517 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 642823119 7462912 426 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10517/tid=10525] ppid=10515 vsize=7288 CPUtime=0
/proc/10517/task/10525/stat : 10525 (satake) S 10515 10517 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 642823119 7462912 432 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=10517/tid=10526] ppid=10515 vsize=7288 CPUtime=0
/proc/10517/task/10526/stat : 10526 (satake) S 10515 10517 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642823119 7462912 432 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10527] ppid=10515 vsize=7288 CPUtime=0
/proc/10517/task/10527/stat : 10527 (satake) S 10515 10517 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642823119 7462912 451 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10528] ppid=10515 vsize=7288 CPUtime=0
/proc/10517/task/10528/stat : 10528 (satake) S 10515 10517 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 642823119 7462912 454 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10529] ppid=10515 vsize=7288 CPUtime=0
/proc/10517/task/10529/stat : 10529 (satake) D 10515 10517 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 17 0 642823119 7462912 454 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10530] ppid=10515 vsize=7548 CPUtime=0
/proc/10517/task/10530/stat : 10530 (satake) D 10515 10517 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 642823119 7729152 454 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10531] ppid=10515 vsize=7416 CPUtime=0
/proc/10517/task/10531/stat : 10531 (satake) S 10515 10517 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642823119 7593984 456 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=10517/tid=10532] ppid=10515 vsize=7416 CPUtime=0
/proc/10517/task/10532/stat : 10532 (satake) D 10515 10517 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 642823119 7593984 459 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10517/tid=10533] ppid=10515 vsize=7548 CPUtime=0
/proc/10517/task/10533/stat : 10533 (satake) R 10515 10517 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 642823119 7729152 459 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.08704 s]
/proc/loadavg: 12.38 10.15 9.09 2/184 10517
/proc/meminfo: memFree=19110908/36427776 swapFree=4528/8620
[pid=10517] ppid=10515 vsize=74520 CPUtime=0.42
/proc/10517/stat : 10517 (satake) S 10515 10517 27791 0 -1 4202496 11795 0 0 0 0 42 0 0 20 0 17 0 642823118 76308480 11751 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10517/statm: 18630 11758 63 164 0 18465 0
[pid=10517/tid=10518] ppid=10515 vsize=74520 CPUtime=0
/proc/10517/task/10518/stat : 10518 (satake) S 10515 10517 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642823118 76308480 11760 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10519] ppid=10515 vsize=74520 CPUtime=0.04
/proc/10517/task/10519/stat : 10519 (satake) R 10515 10517 27791 0 -1 4202560 1340 0 0 0 0 4 0 0 20 0 17 0 642823118 76308480 11760 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10520] ppid=10515 vsize=74520 CPUtime=0
/proc/10517/task/10520/stat : 10520 (satake) R 10515 10517 27791 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 17 0 642823118 76308480 11762 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10521] ppid=10515 vsize=74520 CPUtime=0.02
/proc/10517/task/10521/stat : 10521 (satake) R 10515 10517 27791 0 -1 4202560 649 0 0 0 0 2 0 0 20 0 17 0 642823119 76308480 11763 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10522] ppid=10515 vsize=74520 CPUtime=0.04
/proc/10517/task/10522/stat : 10522 (satake) R 10515 10517 27791 0 -1 4202560 991 0 0 0 0 4 0 0 20 0 17 0 642823119 76308480 11765 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10523] ppid=10515 vsize=74520 CPUtime=0
/proc/10517/task/10523/stat : 10523 (satake) R 10515 10517 27791 0 -1 4202560 363 0 0 0 0 0 0 0 20 0 17 0 642823119 76308480 11768 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10524] ppid=10515 vsize=74520 CPUtime=0.04
/proc/10517/task/10524/stat : 10524 (satake) R 10515 10517 27791 0 -1 4202560 1335 0 0 0 0 4 0 0 20 0 17 0 642823119 76308480 11770 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10517/tid=10525] ppid=10515 vsize=74520 CPUtime=0.04
/proc/10517/task/10525/stat : 10525 (satake) R 10515 10517 27791 0 -1 4202560 1225 0 0 0 0 4 0 0 20 0 17 0 642823119 76308480 11772 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10517/tid=10526] ppid=10515 vsize=74520 CPUtime=0.02
/proc/10517/task/10526/stat : 10526 (satake) R 10515 10517 27791 0 -1 4202560 512 0 0 0 0 2 0 0 20 0 17 0 642823119 76308480 11775 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10527] ppid=10515 vsize=74520 CPUtime=0.02
/proc/10517/task/10527/stat : 10527 (satake) R 10515 10517 27791 0 -1 4202560 812 0 0 0 0 2 0 0 20 0 17 0 642823119 76308480 11776 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10528] ppid=10515 vsize=74520 CPUtime=0.04
/proc/10517/task/10528/stat : 10528 (satake) R 10515 10517 27791 0 -1 4202560 845 0 0 0 0 4 0 0 20 0 17 0 642823119 76308480 11776 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10529] ppid=10515 vsize=74520 CPUtime=0.02
/proc/10517/task/10529/stat : 10529 (satake) R 10515 10517 27791 0 -1 4202560 405 0 0 0 0 2 0 0 20 0 17 0 642823119 76308480 11777 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10530] ppid=10515 vsize=74520 CPUtime=0.02
/proc/10517/task/10530/stat : 10530 (satake) R 10515 10517 27791 0 -1 4202560 591 0 0 0 0 2 0 0 20 0 17 0 642823119 76308480 11777 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10531] ppid=10515 vsize=74520 CPUtime=0.04
/proc/10517/task/10531/stat : 10531 (satake) R 10515 10517 27791 0 -1 4202560 1137 0 0 0 0 4 0 0 20 0 17 0 642823119 76308480 11778 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10517/tid=10532] ppid=10515 vsize=74520 CPUtime=0.02
/proc/10517/task/10532/stat : 10532 (satake) R 10515 10517 27791 0 -1 4202560 535 0 0 0 0 2 0 0 20 0 17 0 642823119 76308480 11780 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10517/tid=10533] ppid=10515 vsize=74520 CPUtime=0.02
/proc/10517/task/10533/stat : 10533 (satake) R 10515 10517 27791 0 -1 4202560 830 0 0 0 0 2 0 0 20 0 17 0 642823119 76308480 11782 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 74520

[startup+0.108838 s]
/proc/loadavg: 12.38 10.15 9.09 2/184 10517
/proc/meminfo: memFree=19110908/36427776 swapFree=4528/8620
[pid=10517] ppid=10515 vsize=97048 CPUtime=0.61
/proc/10517/stat : 10517 (satake) S 10515 10517 27791 0 -1 4202496 17653 0 0 0 0 61 0 0 20 0 17 0 642823118 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10517/statm: 24262 17609 63 164 0 24097 0
[pid=10517/tid=10518] ppid=10515 vsize=97048 CPUtime=0
/proc/10517/task/10518/stat : 10518 (satake) S 10515 10517 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642823118 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10519] ppid=10515 vsize=97048 CPUtime=0.06
/proc/10517/task/10519/stat : 10519 (satake) D 10515 10517 27791 0 -1 4202560 2072 0 0 0 0 6 0 0 20 0 17 0 642823118 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10520] ppid=10515 vsize=97048 CPUtime=0
/proc/10517/task/10520/stat : 10520 (satake) D 10515 10517 27791 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 17 0 642823118 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10521] ppid=10515 vsize=97048 CPUtime=0.04
/proc/10517/task/10521/stat : 10521 (satake) D 10515 10517 27791 0 -1 4202560 1336 0 0 0 0 4 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10522] ppid=10515 vsize=97048 CPUtime=0.06
/proc/10517/task/10522/stat : 10522 (satake) D 10515 10517 27791 0 -1 4202560 1591 0 0 0 0 6 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10523] ppid=10515 vsize=97048 CPUtime=0
/proc/10517/task/10523/stat : 10523 (satake) D 10515 10517 27791 0 -1 4202560 370 0 0 0 0 0 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10524] ppid=10515 vsize=97048 CPUtime=0.06
/proc/10517/task/10524/stat : 10524 (satake) R 10515 10517 27791 0 -1 4202560 2066 0 0 0 0 6 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10517/tid=10525] ppid=10515 vsize=97048 CPUtime=0.06
/proc/10517/task/10525/stat : 10525 (satake) D 10515 10517 27791 0 -1 4202560 1787 0 0 0 0 6 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10517/tid=10526] ppid=10515 vsize=97048 CPUtime=0.02
/proc/10517/task/10526/stat : 10526 (satake) D 10515 10517 27791 0 -1 4202560 519 0 0 0 0 2 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10527] ppid=10515 vsize=97048 CPUtime=0.04
/proc/10517/task/10527/stat : 10527 (satake) D 10515 10517 27791 0 -1 4202560 1327 0 0 0 0 4 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10528] ppid=10515 vsize=97048 CPUtime=0.04
/proc/10517/task/10528/stat : 10528 (satake) D 10515 10517 27791 0 -1 4202560 1047 0 0 0 0 4 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10529] ppid=10515 vsize=97048 CPUtime=0.02
/proc/10517/task/10529/stat : 10529 (satake) D 10515 10517 27791 0 -1 4202560 783 0 0 0 0 2 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10530] ppid=10515 vsize=97048 CPUtime=0.02
/proc/10517/task/10530/stat : 10530 (satake) D 10515 10517 27791 0 -1 4202560 808 0 0 0 0 2 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10517/tid=10531] ppid=10515 vsize=97048 CPUtime=0.06
/proc/10517/task/10531/stat : 10531 (satake) D 10515 10517 27791 0 -1 4202560 1808 0 0 0 0 6 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10517/tid=10532] ppid=10515 vsize=97048 CPUtime=0.04
/proc/10517/task/10532/stat : 10532 (satake) D 10515 10517 27791 0 -1 4202560 1049 0 0 0 0 4 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10517/tid=10533] ppid=10515 vsize=97048 CPUtime=0.02
/proc/10517/task/10533/stat : 10533 (satake) D 10515 10517 27791 0 -1 4202560 837 0 0 0 0 2 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 97048

[startup+0.30139 s]
/proc/loadavg: 12.38 10.15 9.09 2/184 10517
/proc/meminfo: memFree=19110908/36427776 swapFree=4528/8620
[pid=10517] ppid=10515 vsize=288180 CPUtime=2.07
/proc/10517/stat : 10517 (satake) S 10515 10517 27791 0 -1 4202496 50352 0 0 0 0 207 0 0 20 0 17 0 642823118 295096320 50308 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10517/statm: 72045 50311 63 164 0 71880 0
[pid=10517/tid=10518] ppid=10515 vsize=288180 CPUtime=0
/proc/10517/task/10518/stat : 10518 (satake) S 10515 10517 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642823118 295096320 50316 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10519] ppid=10515 vsize=288180 CPUtime=0.12
/proc/10517/task/10519/stat : 10519 (satake) R 10515 10517 27791 0 -1 4202560 3095 0 0 0 0 12 0 0 20 0 17 0 642823118 295096320 50316 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10520] ppid=10515 vsize=288180 CPUtime=0.1
/proc/10517/task/10520/stat : 10520 (satake) R 10515 10517 27791 0 -1 4202560 3030 0 0 0 0 10 0 0 20 0 17 0 642823118 295096320 50316 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10521] ppid=10515 vsize=288180 CPUtime=0.18
/proc/10517/task/10521/stat : 10521 (satake) R 10515 10517 27791 0 -1 4202560 4569 0 0 0 0 18 0 0 20 0 17 0 642823119 295096320 50317 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10522] ppid=10515 vsize=288180 CPUtime=0.12
/proc/10517/task/10522/stat : 10522 (satake) R 10515 10517 27791 0 -1 4202560 3047 0 0 0 0 12 0 0 20 0 17 0 642823119 295096320 50318 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10523] ppid=10515 vsize=288180 CPUtime=0.08
/proc/10517/task/10523/stat : 10523 (satake) R 10515 10517 27791 0 -1 4202560 2009 0 0 0 0 8 0 0 20 0 17 0 642823119 295096320 50318 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10524] ppid=10515 vsize=288180 CPUtime=0.2
/proc/10517/task/10524/stat : 10524 (satake) R 10515 10517 27791 0 -1 4202560 5570 0 0 0 0 20 0 0 20 0 17 0 642823119 295096320 50318 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10517/tid=10525] ppid=10515 vsize=288180 CPUtime=0.2
/proc/10517/task/10525/stat : 10525 (satake) D 10515 10517 27791 0 -1 4202560 4559 0 0 0 0 20 0 0 20 0 17 0 642823119 295096320 50318 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10517/tid=10526] ppid=10515 vsize=288180 CPUtime=0.12
/proc/10517/task/10526/stat : 10526 (satake) D 10515 10517 27791 0 -1 4202560 2588 0 0 0 0 12 0 0 20 0 17 0 642823119 295096320 50322 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10527] ppid=10515 vsize=288180 CPUtime=0.1
/proc/10517/task/10527/stat : 10527 (satake) D 10515 10517 27791 0 -1 4202560 2340 0 0 0 0 10 0 0 20 0 17 0 642823119 295096320 50322 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10528] ppid=10515 vsize=288180 CPUtime=0.1
/proc/10517/task/10528/stat : 10528 (satake) D 10515 10517 27791 0 -1 4202560 2916 0 0 0 0 10 0 0 20 0 17 0 642823119 295096320 50322 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10529] ppid=10515 vsize=288180 CPUtime=0.1
/proc/10517/task/10529/stat : 10529 (satake) D 10515 10517 27791 0 -1 4202560 2734 0 0 0 0 10 0 0 20 0 17 0 642823119 295096320 50322 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10530] ppid=10515 vsize=288180 CPUtime=0.16
/proc/10517/task/10530/stat : 10530 (satake) R 10515 10517 27791 0 -1 4202560 3511 0 0 0 0 16 0 0 20 0 17 0 642823119 295096320 50322 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10517/tid=10531] ppid=10515 vsize=288180 CPUtime=0.2
/proc/10517/task/10531/stat : 10531 (satake) D 10515 10517 27791 0 -1 4202560 5331 0 0 0 0 20 0 0 20 0 17 0 642823119 295096320 50322 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10517/tid=10532] ppid=10515 vsize=288180 CPUtime=0.1
/proc/10517/task/10532/stat : 10532 (satake) D 10515 10517 27791 0 -1 4202560 2141 0 0 0 0 10 0 0 20 0 17 0 642823119 295096320 50322 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10517/tid=10533] ppid=10515 vsize=288180 CPUtime=0.12
/proc/10517/task/10533/stat : 10533 (satake) D 10515 10517 27791 0 -1 4202560 2795 0 0 0 0 12 0 0 20 0 17 0 642823119 295096320 50322 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 288180

[startup+0.703169 s]
/proc/loadavg: 12.38 10.15 9.09 2/184 10517
/proc/meminfo: memFree=19110908/36427776 swapFree=4528/8620
[pid=10517] ppid=10515 vsize=292600 CPUtime=4.71
/proc/10517/stat : 10517 (satake) S 10515 10517 27791 0 -1 4202496 65408 0 0 0 0 471 0 0 20 0 17 0 642823118 299622400 65366 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10517/statm: 73150 65368 63 164 0 72985 0
[pid=10517/tid=10518] ppid=10515 vsize=292856 CPUtime=0
/proc/10517/task/10518/stat : 10518 (satake) S 10515 10517 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642823118 299884544 65368 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10519] ppid=10515 vsize=292856 CPUtime=0.26
/proc/10517/task/10519/stat : 10519 (satake) D 10515 10517 27791 0 -1 4202560 4088 0 0 0 0 26 0 0 20 0 17 0 642823118 299884544 65373 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10520] ppid=10515 vsize=292856 CPUtime=0.24
/proc/10517/task/10520/stat : 10520 (satake) R 10515 10517 27791 0 -1 4202560 3950 0 0 0 0 24 0 0 20 0 17 0 642823118 299884544 65375 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10521] ppid=10515 vsize=292856 CPUtime=0.4
/proc/10517/task/10521/stat : 10521 (satake) R 10515 10517 27791 0 -1 4202560 5642 0 0 0 0 40 0 0 20 0 17 0 642823119 299884544 65376 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10522] ppid=10515 vsize=292856 CPUtime=0.28
/proc/10517/task/10522/stat : 10522 (satake) R 10515 10517 27791 0 -1 4202560 4027 0 0 0 0 28 0 0 20 0 17 0 642823119 299884544 65376 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10523] ppid=10515 vsize=292856 CPUtime=0.22
/proc/10517/task/10523/stat : 10523 (satake) R 10515 10517 27791 0 -1 4202560 2947 0 0 0 0 22 0 0 20 0 17 0 642823119 299884544 65376 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10524] ppid=10515 vsize=292856 CPUtime=0.44
/proc/10517/task/10524/stat : 10524 (satake) R 10515 10517 27791 0 -1 4202560 6541 0 0 0 0 44 0 0 20 0 17 0 642823119 299884544 65376 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10517/tid=10525] ppid=10515 vsize=292856 CPUtime=0.44
/proc/10517/task/10525/stat : 10525 (satake) R 10515 10517 27791 0 -1 4202560 5754 0 0 0 0 44 0 0 20 0 17 0 642823119 299884544 65376 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10517/tid=10526] ppid=10515 vsize=292856 CPUtime=0.26
/proc/10517/task/10526/stat : 10526 (satake) R 10515 10517 27791 0 -1 4202560 3515 0 0 0 0 26 0 0 20 0 17 0 642823119 299884544 65376 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10527] ppid=10515 vsize=292856 CPUtime=0.26

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

[pid=10517/tid=10529] ppid=10515 vsize=1422880 CPUtime=287.53
/proc/10517/task/10529/stat : 10529 (satake) R 10515 10517 27791 0 -1 4202560 26293 0 0 0 28169 584 0 0 20 0 17 0 642823119 1457029120 328323 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134521040 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10517/tid=10530] ppid=10515 vsize=1422880 CPUtime=285.83
/proc/10517/task/10530/stat : 10530 (satake) S 10515 10517 27791 0 -1 4202560 26526 0 0 0 28033 550 0 0 20 0 17 0 642823119 1457029120 328323 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=10517/tid=10531] ppid=10515 vsize=1422880 CPUtime=287.84
/proc/10517/task/10531/stat : 10531 (satake) R 10515 10517 27791 0 -1 4202560 26941 0 0 0 28266 518 0 0 20 0 17 0 642823119 1457029120 328323 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10517/tid=10532] ppid=10515 vsize=1422880 CPUtime=294.31
/proc/10517/task/10532/stat : 10532 (satake) R 10515 10517 27791 0 -1 4202560 25866 0 0 0 28879 552 0 0 20 0 17 0 642823119 1457029120 328323 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134522980 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10533] ppid=10515 vsize=1422880 CPUtime=294.24
/proc/10517/task/10533/stat : 10533 (satake) R 10515 10517 27791 0 -1 4202560 26543 0 0 0 28818 606 0 0 20 0 17 0 642823119 1457029120 328323 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134532624 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4585.59
Current children cumulated vsize (KiB) 1422880

[startup+569.504 s]
/proc/loadavg: 8.67 9.84 9.36 11/201 10544
/proc/meminfo: memFree=17795440/36427776 swapFree=4588/1323432
[pid=10517] ppid=10515 vsize=1422880 CPUtime=4640.03
/proc/10517/stat : 10517 (satake) S 10515 10517 27791 0 -1 4202496 397786 0 0 0 436208 27795 0 0 20 0 17 0 642823118 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10517/statm: 355720 328337 68 164 0 355555 0
[pid=10517/tid=10518] ppid=10515 vsize=1422880 CPUtime=211.41
/proc/10517/task/10518/stat : 10518 (satake) D 10515 10517 27791 0 -1 4202560 3107 0 0 0 1946 19195 0 0 20 0 17 0 642823118 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10517/tid=10519] ppid=10515 vsize=1422880 CPUtime=280.75
/proc/10517/task/10519/stat : 10519 (satake) S 10515 10517 27791 0 -1 4202560 25683 0 0 0 27465 610 0 0 20 0 17 0 642823118 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10520] ppid=10515 vsize=1422880 CPUtime=303.08
/proc/10517/task/10520/stat : 10520 (satake) S 10515 10517 27791 0 -1 4202560 26588 0 0 0 29740 568 0 0 20 0 17 0 642823118 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=10517/tid=10521] ppid=10515 vsize=1422880 CPUtime=284.14
/proc/10517/task/10521/stat : 10521 (satake) S 10515 10517 27791 0 -1 4202560 26324 0 0 0 27838 576 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10522] ppid=10515 vsize=1422880 CPUtime=301.42
/proc/10517/task/10522/stat : 10522 (satake) R 10515 10517 27791 0 -1 4202560 26126 0 0 0 29508 634 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134523762 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10523] ppid=10515 vsize=1422880 CPUtime=298.39
/proc/10517/task/10523/stat : 10523 (satake) S 10515 10517 27791 0 -1 4202560 25907 0 0 0 29251 588 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=10517/tid=10524] ppid=10515 vsize=1422880 CPUtime=299.92
/proc/10517/task/10524/stat : 10524 (satake) S 10515 10517 27791 0 -1 4202560 25536 0 0 0 29456 536 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=10517/tid=10525] ppid=10515 vsize=1422880 CPUtime=301.27
/proc/10517/task/10525/stat : 10525 (satake) S 10515 10517 27791 0 -1 4202560 27091 0 0 0 29563 564 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=10517/tid=10526] ppid=10515 vsize=1422880 CPUtime=300.05
/proc/10517/task/10526/stat : 10526 (satake) R 10515 10517 27791 0 -1 4202560 26009 0 0 0 29497 508 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10517/tid=10527] ppid=10515 vsize=1422880 CPUtime=303.06
/proc/10517/task/10527/stat : 10527 (satake) R 10515 10517 27791 0 -1 4202560 26493 0 0 0 29774 532 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134518246 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10517/tid=10528] ppid=10515 vsize=1422880 CPUtime=289.27
/proc/10517/task/10528/stat : 10528 (satake) S 10515 10517 27791 0 -1 4202560 26630 0 0 0 28285 642 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10529] ppid=10515 vsize=1422880 CPUtime=291.09
/proc/10517/task/10529/stat : 10529 (satake) R 10515 10517 27791 0 -1 4202560 26293 0 0 0 28515 594 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134528398 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10517/tid=10530] ppid=10515 vsize=1422880 CPUtime=289.5
/proc/10517/task/10530/stat : 10530 (satake) S 10515 10517 27791 0 -1 4202560 26526 0 0 0 28398 552 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=10517/tid=10531] ppid=10515 vsize=1422880 CPUtime=291.53
/proc/10517/task/10531/stat : 10531 (satake) R 10515 10517 27791 0 -1 4202560 26941 0 0 0 28633 520 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134528267 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10517/tid=10532] ppid=10515 vsize=1422880 CPUtime=297.46
/proc/10517/task/10532/stat : 10532 (satake) R 10515 10517 27791 0 -1 4202560 25866 0 0 0 29184 562 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134522959 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10533] ppid=10515 vsize=1422880 CPUtime=297.56
/proc/10517/task/10533/stat : 10533 (satake) R 10515 10517 27791 0 -1 4202560 26543 0 0 0 29146 610 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4640.03
Current children cumulated vsize (KiB) 1422880

[startup+571.104 s]
/proc/loadavg: 8.67 9.84 9.36 17/201 10544
/proc/meminfo: memFree=17795440/36427776 swapFree=4588/1323436
[pid=10517] ppid=10515 vsize=1422236 CPUtime=4651.05
/proc/10517/stat : 10517 (satake) S 10515 10517 27791 0 -1 4202496 397798 0 0 0 436947 28158 0 0 20 0 17 0 642823118 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10517/statm: 355559 328252 77 164 0 355394 0
[pid=10517/tid=10518] ppid=10515 vsize=1422236 CPUtime=212.31
/proc/10517/task/10518/stat : 10518 (satake) S 10515 10517 27791 0 -1 4202560 3109 0 0 0 1964 19267 0 0 20 0 17 0 642823118 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=10517/tid=10519] ppid=10515 vsize=1422236 CPUtime=281.13
/proc/10517/task/10519/stat : 10519 (satake) R 10515 10517 27791 0 -1 4202560 25683 0 0 0 27485 628 0 0 20 0 17 0 642823118 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10520] ppid=10515 vsize=1422236 CPUtime=303.67
/proc/10517/task/10520/stat : 10520 (satake) R 10515 10517 27791 0 -1 4202560 26588 0 0 0 29779 588 0 0 20 0 17 0 642823118 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10517/tid=10521] ppid=10515 vsize=1422236 CPUtime=284.62
/proc/10517/task/10521/stat : 10521 (satake) R 10515 10517 27791 0 -1 4202560 26324 0 0 0 27866 596 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10522] ppid=10515 vsize=1422236 CPUtime=302.28
/proc/10517/task/10522/stat : 10522 (satake) R 10515 10517 27791 0 -1 4202560 26126 0 0 0 29576 652 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10523] ppid=10515 vsize=1422236 CPUtime=298.98
/proc/10517/task/10523/stat : 10523 (satake) R 10515 10517 27791 0 -1 4202560 25908 0 0 0 29288 610 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10517/tid=10524] ppid=10515 vsize=1422236 CPUtime=300.48
/proc/10517/task/10524/stat : 10524 (satake) S 10515 10517 27791 0 -1 4202560 25536 0 0 0 29492 556 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=10517/tid=10525] ppid=10515 vsize=1422236 CPUtime=301.75
/proc/10517/task/10525/stat : 10525 (satake) R 10515 10517 27791 0 -1 4202560 27091 0 0 0 29591 584 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10517/tid=10526] ppid=10515 vsize=1422236 CPUtime=300.83
/proc/10517/task/10526/stat : 10526 (satake) R 10515 10517 27791 0 -1 4202560 26009 0 0 0 29553 530 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10517/tid=10527] ppid=10515 vsize=1422236 CPUtime=303.99
/proc/10517/task/10527/stat : 10527 (satake) R 10515 10517 27791 0 -1 4202560 26493 0 0 0 29849 550 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10517/tid=10528] ppid=10515 vsize=1422236 CPUtime=289.6
/proc/10517/task/10528/stat : 10528 (satake) R 10515 10517 27791 0 -1 4202560 26639 0 0 0 28298 662 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10529] ppid=10515 vsize=1422236 CPUtime=291.73
/proc/10517/task/10529/stat : 10529 (satake) S 10515 10517 27791 0 -1 4202560 26293 0 0 0 28559 614 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=10517/tid=10530] ppid=10515 vsize=1422236 CPUtime=290.02
/proc/10517/task/10530/stat : 10530 (satake) R 10515 10517 27791 0 -1 4202560 26526 0 0 0 28430 572 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10517/tid=10531] ppid=10515 vsize=1422236 CPUtime=292.46
/proc/10517/task/10531/stat : 10531 (satake) R 10515 10517 27791 0 -1 4202560 26941 0 0 0 28710 536 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10517/tid=10532] ppid=10515 vsize=1422236 CPUtime=298.79
/proc/10517/task/10532/stat : 10532 (satake) R 10515 10517 27791 0 -1 4202560 25866 0 0 0 29299 580 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10533] ppid=10515 vsize=1422236 CPUtime=298.25
/proc/10517/task/10533/stat : 10533 (satake) R 10515 10517 27791 0 -1 4202560 26543 0 0 0 29197 628 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4651.05
Current children cumulated vsize (KiB) 1422236

[startup+572.704 s]
/proc/loadavg: 9.10 9.91 9.39 2/200 10544
/proc/meminfo: memFree=17799880/36427776 swapFree=4624/1318412
[pid=10517] ppid=10515 vsize=1382304 CPUtime=4661.91
/proc/10517/stat : 10517 (satake) S 10515 10517 27791 0 -1 4202496 397798 0 0 0 437501 28690 0 0 20 0 16 0 642823118 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10517/statm: 345576 320720 77 164 0 345411 0
[pid=10517/tid=10519] ppid=10515 vsize=1382304 CPUtime=281.72
/proc/10517/task/10519/stat : 10519 (satake) S 10515 10517 27791 0 -1 4202560 25683 0 0 0 27516 656 0 0 20 0 16 0 642823118 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10520] ppid=10515 vsize=1382304 CPUtime=304.47
/proc/10517/task/10520/stat : 10520 (satake) S 10515 10517 27791 0 -1 4202560 26588 0 0 0 29827 620 0 0 20 0 16 0 642823118 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=10517/tid=10521] ppid=10515 vsize=1382304 CPUtime=285.41
/proc/10517/task/10521/stat : 10521 (satake) S 10515 10517 27791 0 -1 4202560 26324 0 0 0 27907 634 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10522] ppid=10515 vsize=1382304 CPUtime=302.93
/proc/10517/task/10522/stat : 10522 (satake) S 10515 10517 27791 0 -1 4202560 26126 0 0 0 29609 684 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10523] ppid=10515 vsize=1382304 CPUtime=299.66
/proc/10517/task/10523/stat : 10523 (satake) S 10515 10517 27791 0 -1 4202560 25908 0 0 0 29324 642 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=10517/tid=10524] ppid=10515 vsize=1382304 CPUtime=301.27
/proc/10517/task/10524/stat : 10524 (satake) S 10515 10517 27791 0 -1 4202560 25536 0 0 0 29537 590 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=10517/tid=10525] ppid=10515 vsize=1382304 CPUtime=302.37
/proc/10517/task/10525/stat : 10525 (satake) S 10515 10517 27791 0 -1 4202560 27091 0 0 0 29621 616 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=10517/tid=10526] ppid=10515 vsize=1382304 CPUtime=301.47
/proc/10517/task/10526/stat : 10526 (satake) R 10515 10517 27791 0 -1 4202560 26009 0 0 0 29581 566 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134666377 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10517/tid=10527] ppid=10515 vsize=1382304 CPUtime=304.64
/proc/10517/task/10527/stat : 10527 (satake) S 10515 10517 27791 0 -1 4202560 26493 0 0 0 29880 584 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=10517/tid=10528] ppid=10515 vsize=1382304 CPUtime=290.3
/proc/10517/task/10528/stat : 10528 (satake) R 10515 10517 27791 0 -1 4202560 26639 0 0 0 28334 696 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134666416 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10529] ppid=10515 vsize=1382304 CPUtime=292.35
/proc/10517/task/10529/stat : 10529 (satake) S 10515 10517 27791 0 -1 4202560 26293 0 0 0 28589 646 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=10517/tid=10530] ppid=10515 vsize=1382304 CPUtime=290.68
/proc/10517/task/10530/stat : 10530 (satake) S 10515 10517 27791 0 -1 4202560 26526 0 0 0 28460 608 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=10517/tid=10531] ppid=10515 vsize=1382304 CPUtime=293.14
/proc/10517/task/10531/stat : 10531 (satake) S 10515 10517 27791 0 -1 4202560 26941 0 0 0 28742 572 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=10517/tid=10532] ppid=10515 vsize=1382304 CPUtime=299.52
/proc/10517/task/10532/stat : 10532 (satake) S 10515 10517 27791 0 -1 4202560 25866 0 0 0 29336 616 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10533] ppid=10515 vsize=1382304 CPUtime=298.93
/proc/10517/task/10533/stat : 10533 (satake) S 10515 10517 27791 0 -1 4202560 26543 0 0 0 29229 664 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4661.91
Current children cumulated vsize (KiB) 1382304

[startup+573.505 s]
/proc/loadavg: 9.10 9.91 9.39 16/200 10544
/proc/meminfo: memFree=17850300/36427776 swapFree=4624/1261300
[pid=10517] ppid=10515 vsize=1193316 CPUtime=4668.02
/proc/10517/stat : 10517 (satake) S 10515 10517 27791 0 -1 4202496 397798 0 0 0 437847 28955 0 0 20 0 9 0 642823118 1221955584 285527 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10517/statm: 298329 285527 77 164 0 298164 0
[pid=10517/tid=10519] ppid=10515 vsize=1193316 CPUtime=282.22
/proc/10517/task/10519/stat : 10519 (satake) R 10515 10517 27791 0 -1 4202560 25683 0 0 0 27546 676 0 0 20 0 9 0 642823118 1221955584 285527 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10520] ppid=10515 vsize=1193316 CPUtime=304.97
/proc/10517/task/10520/stat : 10520 (satake) S 10515 10517 27791 0 -1 4202560 26588 0 0 0 29853 644 0 0 20 0 9 0 642823118 1221955584 285527 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=10517/tid=10523] ppid=10515 vsize=1193316 CPUtime=300.13
/proc/10517/task/10523/stat : 10523 (satake) R 10515 10517 27791 0 -1 4202560 25908 0 0 0 29353 660 0 0 20 0 9 0 642823119 1221955584 285527 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10517/tid=10525] ppid=10515 vsize=1193316 CPUtime=302.85
/proc/10517/task/10525/stat : 10525 (satake) R 10515 10517 27791 0 -1 4202560 27091 0 0 0 29651 634 0 0 20 0 9 0 642823119 1221955584 285527 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10517/tid=10526] ppid=10515 vsize=1193316 CPUtime=301.95
/proc/10517/task/10526/stat : 10526 (satake) R 10515 10517 27791 0 -1 4202560 26009 0 0 0 29607 588 0 0 20 0 9 0 642823119 1221955584 285527 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10517/tid=10527] ppid=10515 vsize=1193316 CPUtime=305.15
/proc/10517/task/10527/stat : 10527 (satake) R 10515 10517 27791 0 -1 4202560 26493 0 0 0 29911 604 0 0 20 0 9 0 642823119 1221955584 285527 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10517/tid=10528] ppid=10515 vsize=1193316 CPUtime=290.84
/proc/10517/task/10528/stat : 10528 (satake) R 10515 10517 27791 0 -1 4202560 26639 0 0 0 28368 716 0 0 20 0 9 0 642823119 1221955584 285527 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10529] ppid=10515 vsize=1193316 CPUtime=292.83
/proc/10517/task/10529/stat : 10529 (satake) R 10515 10517 27791 0 -1 4202560 26293 0 0 0 28609 674 0 0 20 0 9 0 642823119 1221955584 285527 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4668.02
Current children cumulated vsize (KiB) 1193316

[startup+573.902 s]
/proc/loadavg: 9.10 9.91 9.39 16/200 10544
/proc/meminfo: memFree=17850300/36427776 swapFree=4624/1261300
[pid=10517] ppid=10515 vsize=492972 CPUtime=4668.98
/proc/10517/stat : 10517 (satake) S 10515 10517 27791 0 -1 4202496 397798 0 0 0 437893 29005 0 0 20 0 2 0 642823118 504803328 117336 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10517/statm: 123243 117336 77 164 0 123078 0
[pid=10517/tid=10523] ppid=10515 vsize=492972 CPUtime=300.49
/proc/10517/task/10523/stat : 10523 (satake) R 10515 10517 27791 0 -1 4202560 25908 0 0 0 29365 684 0 0 20 0 2 0 642823119 504803328 117336 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4668.98
Current children cumulated vsize (KiB) 492972

Child status: 16
Real time (s): 573.971
CPU time (s): 4669.06
CPU user time (s): 4378.94
CPU system time (s): 290.126
CPU usage (%): 813.467
Max. virtual memory (cumulated for all children) (KiB): 1422880


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4378.94
system time used= 290.126
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 397799
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= 23940326
involuntary context switches= 1489273

runsolver used 2.73217 second user time and 7.71648 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 21:32:47
IDJOB=1780632
IDBENCH=71039
IDSOLVER=631
FILE ID=xenhost3-49/1780632-1244835167
PBS_JOBID=
Free space on /tmp= 7011 MiB

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

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

MD5SUM BENCH= bcbcc9a4e4a7e3ebed9eeaa393ebdc32
RANDOM SEED= 944201930

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:      19111056 kB
Buffers:        435456 kB
Cached:       14130476 kB
SwapCached:          0 kB
Active:        4080848 kB
Inactive:     10493112 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           19244 kB
Writeback:           0 kB
AnonPages:        8752 kB
Mapped:           4056 kB
Slab:           689992 kB
SReclaimable:   663060 kB
SUnreclaim:      26932 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7011 MiB
End job on xenhost3-49 at 2009-06-12 21:42:22