Trace number 1780647

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 891.84 217.501

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-10-10p0.cnf
MD5SUM76f64a29755badc2dae8f70e8e96bc3e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark109.84
Satisfiable
(Un)Satisfiability was proved
Number of variables130859
Number of clauses627223
Sum of the clauses size1471348
Maximum clause length10
Minimum clause length1
Number of clauses of size 16856
Number of clauses of size 2498729
Number of clauses of size 387598
Number of clauses of size 43780
Number of clauses of size 515120
Number of clauses of size over 515140

Solver Data 

891.72/217.44	c Benchmark name    : HOME/instance-1780647-1244835742.cnf
891.72/217.44	c Thread Num        :           16
891.72/217.44	c restarts          :           12
891.72/217.44	c conflicts         :        24644
891.72/217.44	c decisions         :       140869           (      654 / sec      )
891.72/217.44	c propagations      :     50433634           (   233983 / sec      )
891.72/217.44	c inspects          :    155698866           (   722353 / sec      )
891.72/217.44	c conflict literals :      4761705           (    24.90 % deleted  )
891.72/217.44	c cpu time          :       215.54           
891.72/217.44	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-1780647-1244835742/watcher-1780647-1244835742 -o /tmp/evaluation-result-1780647-1244835742/solver-1780647-1244835742 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780647-1244835742.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.10 9.91 9.39 2/184 10581
/proc/meminfo: memFree=19116312/36427776 swapFree=4420/7504
[pid=10581] ppid=10579 vsize=8432 CPUtime=0
/proc/10581/stat : 10581 (satake) S 10579 10581 27791 0 -1 4202496 480 0 0 0 0 0 0 0 20 0 17 0 642880576 8634368 432 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10581/statm: 2108 432 64 164 0 1943 0
[pid=10581/tid=10582] ppid=10579 vsize=8568 CPUtime=0
/proc/10581/task/10582/stat : 10582 (satake) S 10579 10581 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 642880576 8773632 510 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10583] ppid=10579 vsize=8568 CPUtime=0
/proc/10581/task/10583/stat : 10583 (satake) R 10579 10581 27791 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 17 0 642880576 8773632 539 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10584] ppid=10579 vsize=8568 CPUtime=0
/proc/10581/task/10584/stat : 10584 (satake) S 10579 10581 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 17 0 642880576 8773632 550 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10585] ppid=10579 vsize=8568 CPUtime=0
/proc/10581/task/10585/stat : 10585 (satake) D 10579 10581 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 642880576 8773632 553 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10586] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10586/stat : 10586 (satake) D 10579 10581 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 642880576 8908800 553 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10587] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10587/stat : 10587 (satake) D 10579 10581 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 642880576 8908800 557 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10588] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10588/stat : 10588 (satake) R 10579 10581 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 17 0 642880576 8908800 560 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10589] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10589/stat : 10589 (satake) S 10579 10581 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 642880576 8908800 560 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10590] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10590/stat : 10590 (satake) R 10579 10581 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 17 0 642880576 8908800 560 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10591] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10591/stat : 10591 (satake) R 10579 10581 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642880577 8908800 563 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10592] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10592/stat : 10592 (satake) R 10579 10581 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 642880577 8908800 567 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10581/tid=10593] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10593/stat : 10593 (satake) R 10579 10581 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 642880577 8908800 568 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10594] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10594/stat : 10594 (satake) S 10579 10581 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642880577 8908800 569 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10595] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10595/stat : 10595 (satake) R 10579 10581 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 642880577 8908800 573 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10596] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10596/stat : 10596 (satake) S 10579 10581 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 642880577 8908800 575 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=10581/tid=10597] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10597/stat : 10597 (satake) D 10579 10581 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642880577 8908800 576 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0

[startup+0.062569 s]
/proc/loadavg: 9.10 9.91 9.39 2/184 10581
/proc/meminfo: memFree=19116312/36427776 swapFree=4420/7504
[pid=10581] ppid=10579 vsize=50904 CPUtime=0.27
/proc/10581/stat : 10581 (satake) S 10579 10581 27791 0 -1 4202496 8740 0 0 0 7 20 0 0 20 0 17 0 642880576 52125696 8676 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10581/statm: 12726 8678 64 164 0 12561 0
[pid=10581/tid=10582] ppid=10579 vsize=50904 CPUtime=0
/proc/10581/task/10582/stat : 10582 (satake) S 10579 10581 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 642880576 52125696 8678 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10583] ppid=10579 vsize=50904 CPUtime=0.02
/proc/10581/task/10583/stat : 10583 (satake) R 10579 10581 27791 0 -1 4202560 535 0 0 0 2 0 0 0 20 0 17 0 642880576 52125696 8678 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10584] ppid=10579 vsize=50904 CPUtime=0.02
/proc/10581/task/10584/stat : 10584 (satake) R 10579 10581 27791 0 -1 4202560 952 0 0 0 2 0 0 0 20 0 17 0 642880576 52125696 8678 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10585] ppid=10579 vsize=50904 CPUtime=0.02
/proc/10581/task/10585/stat : 10585 (satake) R 10579 10581 27791 0 -1 4202560 925 0 0 0 0 2 0 0 20 0 17 0 642880576 52125696 8678 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10586] ppid=10579 vsize=50904 CPUtime=0
/proc/10581/task/10586/stat : 10586 (satake) R 10579 10581 27791 0 -1 4202560 235 0 0 0 0 0 0 0 20 0 17 0 642880576 52125696 8679 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10587] ppid=10579 vsize=50904 CPUtime=0.02
/proc/10581/task/10587/stat : 10587 (satake) R 10579 10581 27791 0 -1 4202560 997 0 0 0 0 2 0 0 20 0 17 0 642880576 52125696 8682 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10588] ppid=10579 vsize=50904 CPUtime=0
/proc/10581/task/10588/stat : 10588 (satake) R 10579 10581 27791 0 -1 4202560 184 0 0 0 0 0 0 0 20 0 17 0 642880576 52125696 8684 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10589] ppid=10579 vsize=50904 CPUtime=0.02
/proc/10581/task/10589/stat : 10589 (satake) R 10579 10581 27791 0 -1 4202560 567 0 0 0 0 2 0 0 20 0 17 0 642880576 52125696 8685 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10590] ppid=10579 vsize=50904 CPUtime=0
/proc/10581/task/10590/stat : 10590 (satake) R 10579 10581 27791 0 -1 4202560 104 0 0 0 0 0 0 0 20 0 17 0 642880576 52125696 8685 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10591] ppid=10579 vsize=50904 CPUtime=0.02
/proc/10581/task/10591/stat : 10591 (satake) R 10579 10581 27791 0 -1 4202560 817 0 0 0 0 2 0 0 20 0 17 0 642880577 52125696 8686 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10592] ppid=10579 vsize=50904 CPUtime=0.02
/proc/10581/task/10592/stat : 10592 (satake) R 10579 10581 27791 0 -1 4202560 1020 0 0 0 0 2 0 0 20 0 17 0 642880577 52125696 8689 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10581/tid=10593] ppid=10579 vsize=50904 CPUtime=0
/proc/10581/task/10593/stat : 10593 (satake) R 10579 10581 27791 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 17 0 642880577 52125696 8690 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10594] ppid=10579 vsize=50904 CPUtime=0.02
/proc/10581/task/10594/stat : 10594 (satake) R 10579 10581 27791 0 -1 4202560 684 0 0 0 0 2 0 0 20 0 17 0 642880577 52125696 8692 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10595] ppid=10579 vsize=50904 CPUtime=0
/proc/10581/task/10595/stat : 10595 (satake) R 10579 10581 27791 0 -1 4202560 386 0 0 0 0 0 0 0 20 0 17 0 642880577 52125696 8693 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10596] ppid=10579 vsize=50904 CPUtime=0.02
/proc/10581/task/10596/stat : 10596 (satake) R 10579 10581 27791 0 -1 4202560 857 0 0 0 0 2 0 0 20 0 17 0 642880577 52125696 8693 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10581/tid=10597] ppid=10579 vsize=50904 CPUtime=0
/proc/10581/task/10597/stat : 10597 (satake) R 10579 10581 27791 0 -1 4202560 205 0 0 0 0 0 0 0 20 0 17 0 642880577 52125696 8699 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 50904

[startup+0.102456 s]
/proc/loadavg: 9.10 9.91 9.39 2/184 10581
/proc/meminfo: memFree=19116312/36427776 swapFree=4420/7504
[pid=10581] ppid=10579 vsize=121560 CPUtime=0.51
/proc/10581/stat : 10581 (satake) S 10579 10581 27791 0 -1 4202496 19943 0 0 0 9 42 0 0 20 0 17 0 642880576 124477440 19888 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10581/statm: 30390 19940 64 164 0 30225 0
[pid=10581/tid=10582] ppid=10579 vsize=121560 CPUtime=0
/proc/10581/task/10582/stat : 10582 (satake) S 10579 10581 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 642880576 124477440 19968 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10583] ppid=10579 vsize=121560 CPUtime=0.04
/proc/10581/task/10583/stat : 10583 (satake) R 10579 10581 27791 0 -1 4202560 1914 0 0 0 2 2 0 0 20 0 17 0 642880576 124477440 19994 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10584] ppid=10579 vsize=121560 CPUtime=0.04
/proc/10581/task/10584/stat : 10584 (satake) R 10579 10581 27791 0 -1 4202560 2375 0 0 0 2 2 0 0 20 0 17 0 642880576 124477440 20028 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10585] ppid=10579 vsize=121560 CPUtime=0.04
/proc/10581/task/10585/stat : 10585 (satake) R 10579 10581 27791 0 -1 4202560 2029 0 0 0 0 4 0 0 20 0 17 0 642880576 124477440 20051 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10586] ppid=10579 vsize=121560 CPUtime=0.02
/proc/10581/task/10586/stat : 10586 (satake) R 10579 10581 27791 0 -1 4202560 1693 0 0 0 0 2 0 0 20 0 17 0 642880576 124477440 20073 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10587] ppid=10579 vsize=121560 CPUtime=0.06
/proc/10581/task/10587/stat : 10587 (satake) R 10579 10581 27791 0 -1 4202560 2382 0 0 0 0 6 0 0 20 0 17 0 642880576 124477440 20094 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10588] ppid=10579 vsize=121560 CPUtime=0
/proc/10581/task/10588/stat : 10588 (satake) R 10579 10581 27791 0 -1 4202560 202 0 0 0 0 0 0 0 20 0 17 0 642880576 124477440 20116 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10589] ppid=10579 vsize=121560 CPUtime=0.02
/proc/10581/task/10589/stat : 10589 (satake) R 10579 10581 27791 0 -1 4202560 585 0 0 0 0 2 0 0 20 0 17 0 642880576 124477440 20135 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10590] ppid=10579 vsize=121560 CPUtime=0
/proc/10581/task/10590/stat : 10590 (satake) R 10579 10581 27791 0 -1 4202560 122 0 0 0 0 0 0 0 20 0 17 0 642880576 124477440 20162 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10591] ppid=10579 vsize=121560 CPUtime=0.02
/proc/10581/task/10591/stat : 10591 (satake) R 10579 10581 27791 0 -1 4202560 835 0 0 0 0 2 0 0 20 0 17 0 642880577 124477440 20188 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10592] ppid=10579 vsize=121560 CPUtime=0.06
/proc/10581/task/10592/stat : 10592 (satake) R 10579 10581 27791 0 -1 4202560 2447 0 0 0 0 6 0 0 20 0 17 0 642880577 124477440 20217 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10581/tid=10593] ppid=10579 vsize=121560 CPUtime=0
/proc/10581/task/10593/stat : 10593 (satake) R 10579 10581 27791 0 -1 4202560 462 0 0 0 0 0 0 0 20 0 17 0 642880577 124477440 20246 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10594] ppid=10579 vsize=121560 CPUtime=0.04
/proc/10581/task/10594/stat : 10594 (satake) R 10579 10581 27791 0 -1 4202560 1691 0 0 0 0 4 0 0 20 0 17 0 642880577 124477440 20266 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10595] ppid=10579 vsize=121560 CPUtime=0.02
/proc/10581/task/10595/stat : 10595 (satake) R 10579 10581 27791 0 -1 4202560 801 0 0 0 2 0 0 0 20 0 17 0 642880577 124477440 20283 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10596] ppid=10579 vsize=121560 CPUtime=0.02
/proc/10581/task/10596/stat : 10596 (satake) R 10579 10581 27791 0 -1 4202560 1278 0 0 0 0 2 0 0 20 0 17 0 642880577 124477440 20313 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10581/tid=10597] ppid=10579 vsize=121560 CPUtime=0.02
/proc/10581/task/10597/stat : 10597 (satake) R 10579 10581 27791 0 -1 4202560 1271 0 0 0 0 2 0 0 20 0 17 0 642880577 124477440 20344 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 121560

[startup+0.30482 s]
/proc/loadavg: 9.10 9.91 9.39 2/184 10581
/proc/meminfo: memFree=19116312/36427776 swapFree=4420/7504
[pid=10581] ppid=10579 vsize=192576 CPUtime=1.73
/proc/10581/stat : 10581 (satake) S 10579 10581 27791 0 -1 4202496 35828 0 0 0 9 164 0 0 20 0 17 0 642880576 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10581/statm: 48144 35764 64 164 0 47979 0
[pid=10581/tid=10582] ppid=10579 vsize=192576 CPUtime=0
/proc/10581/task/10582/stat : 10582 (satake) S 10579 10581 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 642880576 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10583] ppid=10579 vsize=192576 CPUtime=0.12
/proc/10581/task/10583/stat : 10583 (satake) D 10579 10581 27791 0 -1 4202560 2800 0 0 0 2 10 0 0 20 0 17 0 642880576 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10584] ppid=10579 vsize=192576 CPUtime=0.12
/proc/10581/task/10584/stat : 10584 (satake) D 10579 10581 27791 0 -1 4202560 3179 0 0 0 2 10 0 0 20 0 17 0 642880576 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10585] ppid=10579 vsize=192576 CPUtime=0.16
/proc/10581/task/10585/stat : 10585 (satake) R 10579 10581 27791 0 -1 4202560 2956 0 0 0 0 16 0 0 20 0 17 0 642880576 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10581/tid=10586] ppid=10579 vsize=192576 CPUtime=0.1
/proc/10581/task/10586/stat : 10586 (satake) D 10579 10581 27791 0 -1 4202560 2507 0 0 0 0 10 0 0 20 0 17 0 642880576 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10587] ppid=10579 vsize=192576 CPUtime=0.12
/proc/10581/task/10587/stat : 10587 (satake) D 10579 10581 27791 0 -1 4202560 3050 0 0 0 0 12 0 0 20 0 17 0 642880576 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10588] ppid=10579 vsize=192576 CPUtime=0.08
/proc/10581/task/10588/stat : 10588 (satake) D 10579 10581 27791 0 -1 4202560 1306 0 0 0 0 8 0 0 20 0 17 0 642880576 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10589] ppid=10579 vsize=192576 CPUtime=0.08
/proc/10581/task/10589/stat : 10589 (satake) D 10579 10581 27791 0 -1 4202560 1734 0 0 0 0 8 0 0 20 0 17 0 642880576 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10590] ppid=10579 vsize=192576 CPUtime=0.08
/proc/10581/task/10590/stat : 10590 (satake) D 10579 10581 27791 0 -1 4202560 1293 0 0 0 0 8 0 0 20 0 17 0 642880576 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10591] ppid=10579 vsize=192576 CPUtime=0.1
/proc/10581/task/10591/stat : 10591 (satake) D 10579 10581 27791 0 -1 4202560 2045 0 0 0 0 10 0 0 20 0 17 0 642880577 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10592] ppid=10579 vsize=192576 CPUtime=0.2
/proc/10581/task/10592/stat : 10592 (satake) D 10579 10581 27791 0 -1 4202560 3733 0 0 0 0 20 0 0 20 0 17 0 642880577 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10581/tid=10593] ppid=10579 vsize=192576 CPUtime=0.12
/proc/10581/task/10593/stat : 10593 (satake) D 10579 10581 27791 0 -1 4202560 2163 0 0 0 0 12 0 0 20 0 17 0 642880577 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10594] ppid=10579 vsize=192576 CPUtime=0.1
/proc/10581/task/10594/stat : 10594 (satake) D 10579 10581 27791 0 -1 4202560 2575 0 0 0 0 10 0 0 20 0 17 0 642880577 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10595] ppid=10579 vsize=192576 CPUtime=0.1
/proc/10581/task/10595/stat : 10595 (satake) D 10579 10581 27791 0 -1 4202560 1874 0 0 0 2 8 0 0 20 0 17 0 642880577 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10596] ppid=10579 vsize=192576 CPUtime=0.08
/proc/10581/task/10596/stat : 10596 (satake) D 10579 10581 27791 0 -1 4202560 2144 0 0 0 0 8 0 0 20 0 17 0 642880577 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10581/tid=10597] ppid=10579 vsize=192576 CPUtime=0.1
/proc/10581/task/10597/stat : 10597 (satake) D 10579 10581 27791 0 -1 4202560 2335 0 0 0 0 10 0 0 20 0 17 0 642880577 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 192576

[startup+0.702645 s]
/proc/loadavg: 9.10 9.91 9.39 2/184 10581
/proc/meminfo: memFree=19116312/36427776 swapFree=4420/7504
[pid=10581] ppid=10579 vsize=236908 CPUtime=3.68
/proc/10581/stat : 10581 (satake) S 10579 10581 27791 0 -1 4202496 50935 0 0 0 9 359 0 0 20 0 17 0 642880576 242593792 50871 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10581/statm: 59227 50871 64 164 0 59062 0
[pid=10581/tid=10582] ppid=10579 vsize=236908 CPUtime=0
/proc/10581/task/10582/stat : 10582 (satake) S 10579 10581 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 642880576 242593792 50871 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10583] ppid=10579 vsize=236908 CPUtime=0.24
/proc/10581/task/10583/stat : 10583 (satake) D 10579 10581 27791 0 -1 4202560 3677 0 0 0 2 22 0 0 20 0 17 0 642880576 242593792 50871 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10584] ppid=10579 vsize=236908 CPUtime=0.24
/proc/10581/task/10584/stat : 10584 (satake) D 10579 10581 27791 0 -1 4202560 3962 0 0 0 2 22 0 0 20 0 17 0 642880576 242593792 50871 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10585] ppid=10579 vsize=236908 CPUtime=0.34
/proc/10581/task/10585/stat : 10585 (satake) R 10579 10581 27791 0 -1 4202560 4049 0 0 0 0 34 0 0 20 0 17 0 642880576 242593792 50871 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10581/tid=10586] ppid=10579 vsize=236908 CPUtime=0.2
/proc/10581/task/10586/stat : 10586 (satake) D 10579 10581 27791 0 -1 4202560 3385 0 0 0 0 20 0 0 20 0 17 0 642880576 242593792 50871 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10587] ppid=10579 vsize=236908 CPUtime=0.24
/proc/10581/task/10587/stat : 10587 (satake) D 10579 10581 27791 0 -1 4202560 3867 0 0 0 0 24 0 0 20 0 17 0 642880576 242593792 50871 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10588] ppid=10579 vsize=236908 CPUtime=0.2
/proc/10581/task/10588/stat : 10588 (satake) D 10579 10581 27791 0 -1 4202560 2501 0 0 0 0 20 0 0 20 0 17 0 642880576 242593792 50871 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10589] ppid=10579 vsize=236908 CPUtime=0.2
/proc/10581/task/10589/stat : 10589 (satake) D 10579 10581 27791 0 -1 4202560 2861 0 0 0 0 20 0 0 20 0 17 0 642880576 242593792 50871 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10590] ppid=10579 vsize=236908 CPUtime=0.2
/proc/10581/task/10590/stat : 10590 (satake) D 10579 10581 27791 0 -1 4202560 2462 0 0 0 0 20 0 0 20 0 17 0 642880576 242593792 50871 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10591] ppid=10579 vsize=236908 CPUtime=0.22

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

[pid=10581/tid=10583] ppid=10579 vsize=819956 CPUtime=52.21
/proc/10581/task/10583/stat : 10583 (satake) R 10579 10581 27791 0 -1 4202560 16104 0 0 0 4915 306 0 0 20 0 17 0 642880576 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134519890 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10581/tid=10584] ppid=10579 vsize=819956 CPUtime=52.23
/proc/10581/task/10584/stat : 10584 (satake) R 10579 10581 27791 0 -1 4202560 15693 0 0 0 4917 306 0 0 20 0 17 0 642880576 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10581/tid=10585] ppid=10579 vsize=819956 CPUtime=51.34
/proc/10581/task/10585/stat : 10585 (satake) S 10579 10581 27791 0 -1 4202560 16130 0 0 0 4866 268 0 0 20 0 17 0 642880576 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10581/tid=10586] ppid=10579 vsize=819956 CPUtime=50.03
/proc/10581/task/10586/stat : 10586 (satake) S 10579 10581 27791 0 -1 4202560 16169 0 0 0 4679 324 0 0 20 0 17 0 642880576 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=10581/tid=10587] ppid=10579 vsize=819956 CPUtime=52.69
/proc/10581/task/10587/stat : 10587 (satake) S 10579 10581 27791 0 -1 4202560 16263 0 0 0 4989 280 0 0 20 0 17 0 642880576 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=10581/tid=10588] ppid=10579 vsize=819956 CPUtime=52.76
/proc/10581/task/10588/stat : 10588 (satake) S 10579 10581 27791 0 -1 4202560 15662 0 0 0 4974 302 0 0 20 0 17 0 642880576 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=10581/tid=10589] ppid=10579 vsize=819956 CPUtime=54.15
/proc/10581/task/10589/stat : 10589 (satake) S 10579 10581 27791 0 -1 4202560 16400 0 0 0 5063 352 0 0 20 0 17 0 642880576 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10590] ppid=10579 vsize=819956 CPUtime=51.97
/proc/10581/task/10590/stat : 10590 (satake) S 10579 10581 27791 0 -1 4202560 15668 0 0 0 4917 280 0 0 20 0 17 0 642880576 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10591] ppid=10579 vsize=819956 CPUtime=54.07
/proc/10581/task/10591/stat : 10591 (satake) D 10579 10581 27791 0 -1 4202560 15699 0 0 0 5087 320 0 0 20 0 17 0 642880577 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10581/tid=10592] ppid=10579 vsize=819956 CPUtime=51.8
/proc/10581/task/10592/stat : 10592 (satake) S 10579 10581 27791 0 -1 4202560 16057 0 0 0 4832 348 0 0 20 0 17 0 642880577 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10593] ppid=10579 vsize=819956 CPUtime=53.35
/proc/10581/task/10593/stat : 10593 (satake) S 10579 10581 27791 0 -1 4202560 16494 0 0 0 5011 324 0 0 20 0 17 0 642880577 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10594] ppid=10579 vsize=819956 CPUtime=53.87
/proc/10581/task/10594/stat : 10594 (satake) R 10579 10581 27791 0 -1 4202560 16086 0 0 0 5075 312 0 0 20 0 17 0 642880577 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134526240 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10581/tid=10595] ppid=10579 vsize=819956 CPUtime=51.65
/proc/10581/task/10595/stat : 10595 (satake) S 10579 10581 27791 0 -1 4202560 15959 0 0 0 4829 336 0 0 20 0 17 0 642880577 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10596] ppid=10579 vsize=819956 CPUtime=54.93
/proc/10581/task/10596/stat : 10596 (satake) S 10579 10581 27791 0 -1 4202560 15396 0 0 0 5207 286 0 0 20 0 17 0 642880577 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=10581/tid=10597] ppid=10579 vsize=819956 CPUtime=55.58
/proc/10581/task/10597/stat : 10597 (satake) R 10579 10581 27791 0 -1 4202560 16978 0 0 0 5244 314 0 0 20 0 17 0 642880577 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134520671 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 874.01
Current children cumulated vsize (KiB) 819956

[startup+215.901 s]
/proc/loadavg: 5.97 7.76 8.61 4/201 10603
/proc/meminfo: memFree=18312520/36427776 swapFree=4588/815576
[pid=10581] ppid=10579 vsize=820980 CPUtime=882.29
/proc/10581/stat : 10581 (satake) S 10579 10581 27791 0 -1 4202496 242623 0 0 0 76111 12118 0 0 20 0 17 0 642880576 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10581/statm: 205245 201414 77 164 0 205080 0
[pid=10581/tid=10582] ppid=10579 vsize=820980 CPUtime=81.98
/proc/10581/task/10582/stat : 10582 (satake) R 10579 10581 27791 0 -1 4202560 1616 0 0 0 932 7266 0 0 20 0 17 0 642880576 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10581/tid=10583] ppid=10579 vsize=820980 CPUtime=52.92
/proc/10581/task/10583/stat : 10583 (satake) S 10579 10581 27791 0 -1 4202560 16116 0 0 0 4970 322 0 0 20 0 17 0 642880576 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=10581/tid=10584] ppid=10579 vsize=820980 CPUtime=53.06
/proc/10581/task/10584/stat : 10584 (satake) R 10579 10581 27791 0 -1 4202560 15707 0 0 0 4996 310 0 0 20 0 17 0 642880576 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10581/tid=10585] ppid=10579 vsize=820980 CPUtime=51.78
/proc/10581/task/10585/stat : 10585 (satake) R 10579 10581 27791 0 -1 4202560 16135 0 0 0 4896 282 0 0 20 0 17 0 642880576 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10581/tid=10586] ppid=10579 vsize=820980 CPUtime=50.27
/proc/10581/task/10586/stat : 10586 (satake) R 10579 10581 27791 0 -1 4202560 16178 0 0 0 4693 334 0 0 20 0 17 0 642880576 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10581/tid=10587] ppid=10579 vsize=820980 CPUtime=53.13
/proc/10581/task/10587/stat : 10587 (satake) R 10579 10581 27791 0 -1 4202560 16268 0 0 0 5019 294 0 0 20 0 17 0 642880576 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10581/tid=10588] ppid=10579 vsize=820980 CPUtime=53.19
/proc/10581/task/10588/stat : 10588 (satake) R 10579 10581 27791 0 -1 4202560 15671 0 0 0 5005 314 0 0 20 0 17 0 642880576 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10581/tid=10589] ppid=10579 vsize=820980 CPUtime=54.58
/proc/10581/task/10589/stat : 10589 (satake) R 10579 10581 27791 0 -1 4202560 16400 0 0 0 5094 364 0 0 20 0 17 0 642880576 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10590] ppid=10579 vsize=820980 CPUtime=52.5
/proc/10581/task/10590/stat : 10590 (satake) S 10579 10581 27791 0 -1 4202560 15679 0 0 0 4960 290 0 0 20 0 17 0 642880576 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10591] ppid=10579 vsize=820980 CPUtime=54.71
/proc/10581/task/10591/stat : 10591 (satake) R 10579 10581 27791 0 -1 4202560 15719 0 0 0 5137 334 0 0 20 0 17 0 642880577 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10581/tid=10592] ppid=10579 vsize=820980 CPUtime=52.13
/proc/10581/task/10592/stat : 10592 (satake) R 10579 10581 27791 0 -1 4202560 16057 0 0 0 4851 362 0 0 20 0 17 0 642880577 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10593] ppid=10579 vsize=820980 CPUtime=53.89
/proc/10581/task/10593/stat : 10593 (satake) R 10579 10581 27791 0 -1 4202560 16506 0 0 0 5057 332 0 0 20 0 17 0 642880577 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10594] ppid=10579 vsize=820980 CPUtime=54.33
/proc/10581/task/10594/stat : 10594 (satake) R 10579 10581 27791 0 -1 4202560 16102 0 0 0 5105 328 0 0 20 0 17 0 642880577 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10581/tid=10595] ppid=10579 vsize=820980 CPUtime=52.23
/proc/10581/task/10595/stat : 10595 (satake) R 10579 10581 27791 0 -1 4202560 15964 0 0 0 4875 348 0 0 20 0 17 0 642880577 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10596] ppid=10579 vsize=820980 CPUtime=55.42
/proc/10581/task/10596/stat : 10596 (satake) R 10579 10581 27791 0 -1 4202560 15397 0 0 0 5242 300 0 0 20 0 17 0 642880577 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10581/tid=10597] ppid=10579 vsize=820980 CPUtime=56.06
/proc/10581/task/10597/stat : 10597 (satake) R 10579 10581 27791 0 -1 4202560 16982 0 0 0 5276 330 0 0 20 0 17 0 642880577 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 820980

[startup+216.721 s]
/proc/loadavg: 5.97 7.76 8.61 9/201 10603
/proc/meminfo: memFree=18326600/36427776 swapFree=4624/799268
[pid=10581] ppid=10579 vsize=783924 CPUtime=888.33
/proc/10581/stat : 10581 (satake) S 10579 10581 27791 0 -1 4202496 242623 0 0 0 76373 12460 0 0 20 0 16 0 642880576 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10581/statm: 195981 192850 77 164 0 195816 0
[pid=10581/tid=10582] ppid=10579 vsize=783924 CPUtime=82.26
/proc/10581/task/10582/stat : 10582 (satake) S 10579 10581 27791 0 -1 4202560 1616 0 0 0 940 7286 0 0 20 0 16 0 642880576 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=10581/tid=10583] ppid=10579 vsize=783924 CPUtime=53.32
/proc/10581/task/10583/stat : 10583 (satake) S 10579 10581 27791 0 -1 4202560 16116 0 0 0 4990 342 0 0 20 0 16 0 642880576 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=10581/tid=10584] ppid=10579 vsize=783924 CPUtime=53.45
/proc/10581/task/10584/stat : 10584 (satake) S 10579 10581 27791 0 -1 4202560 15707 0 0 0 5011 334 0 0 20 0 16 0 642880576 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=10581/tid=10585] ppid=10579 vsize=783924 CPUtime=52.19
/proc/10581/task/10585/stat : 10585 (satake) S 10579 10581 27791 0 -1 4202560 16135 0 0 0 4913 306 0 0 20 0 16 0 642880576 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=10581/tid=10586] ppid=10579 vsize=783924 CPUtime=50.55
/proc/10581/task/10586/stat : 10586 (satake) S 10579 10581 27791 0 -1 4202560 16178 0 0 0 4707 348 0 0 20 0 16 0 642880576 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10587] ppid=10579 vsize=783924 CPUtime=53.51
/proc/10581/task/10587/stat : 10587 (satake) R 10579 10581 27791 0 -1 4202560 16268 0 0 0 5031 320 0 0 20 0 16 0 642880576 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10581/tid=10588] ppid=10579 vsize=783924 CPUtime=53.61
/proc/10581/task/10588/stat : 10588 (satake) S 10579 10581 27791 0 -1 4202560 15671 0 0 0 5025 336 0 0 20 0 16 0 642880576 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=10581/tid=10589] ppid=10579 vsize=783924 CPUtime=54.94
/proc/10581/task/10589/stat : 10589 (satake) R 10579 10581 27791 0 -1 4202560 16400 0 0 0 5106 388 0 0 20 0 16 0 642880576 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134666571 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10590] ppid=10579 vsize=783924 CPUtime=52.88
/proc/10581/task/10590/stat : 10590 (satake) S 10579 10581 27791 0 -1 4202560 15679 0 0 0 4978 310 0 0 20 0 16 0 642880576 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10591] ppid=10579 vsize=783924 CPUtime=55.16
/proc/10581/task/10591/stat : 10591 (satake) S 10579 10581 27791 0 -1 4202560 15719 0 0 0 5160 356 0 0 20 0 16 0 642880577 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=10581/tid=10593] ppid=10579 vsize=783924 CPUtime=54.26
/proc/10581/task/10593/stat : 10593 (satake) S 10579 10581 27791 0 -1 4202560 16506 0 0 0 5072 354 0 0 20 0 16 0 642880577 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10594] ppid=10579 vsize=783924 CPUtime=54.75
/proc/10581/task/10594/stat : 10594 (satake) R 10579 10581 27791 0 -1 4202560 16102 0 0 0 5127 348 0 0 20 0 16 0 642880577 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10581/tid=10595] ppid=10579 vsize=783924 CPUtime=52.58
/proc/10581/task/10595/stat : 10595 (satake) S 10579 10581 27791 0 -1 4202560 15964 0 0 0 4888 370 0 0 20 0 16 0 642880577 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10596] ppid=10579 vsize=783924 CPUtime=55.83
/proc/10581/task/10596/stat : 10596 (satake) R 10579 10581 27791 0 -1 4202560 15397 0 0 0 5263 320 0 0 20 0 16 0 642880577 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134666416 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10581/tid=10597] ppid=10579 vsize=783924 CPUtime=56.43
/proc/10581/task/10597/stat : 10597 (satake) S 10579 10581 27791 0 -1 4202560 16982 0 0 0 5291 352 0 0 20 0 16 0 642880577 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 888.33
Current children cumulated vsize (KiB) 783924

[startup+217.105 s]
/proc/loadavg: 5.97 7.76 8.61 9/201 10603
/proc/meminfo: memFree=18326600/36427776 swapFree=4624/799268
[pid=10581] ppid=10579 vsize=741300 CPUtime=890.66
/proc/10581/stat : 10581 (satake) S 10579 10581 27791 0 -1 4202496 242623 0 0 0 76503 12563 0 0 20 0 12 0 642880576 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10581/statm: 185325 182585 77 164 0 185160 0
[pid=10581/tid=10584] ppid=10579 vsize=741300 CPUtime=53.63
/proc/10581/task/10584/stat : 10584 (satake) R 10579 10581 27791 0 -1 4202560 15707 0 0 0 5019 344 0 0 20 0 12 0 642880576 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10581/tid=10586] ppid=10579 vsize=741300 CPUtime=50.66
/proc/10581/task/10586/stat : 10586 (satake) R 10579 10581 27791 0 -1 4202560 16178 0 0 0 4712 354 0 0 20 0 12 0 642880576 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10587] ppid=10579 vsize=741300 CPUtime=53.71
/proc/10581/task/10587/stat : 10587 (satake) S 10579 10581 27791 0 -1 4202560 16268 0 0 0 5039 332 0 0 20 0 12 0 642880576 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=10581/tid=10588] ppid=10579 vsize=741300 CPUtime=53.82
/proc/10581/task/10588/stat : 10588 (satake) R 10579 10581 27791 0 -1 4202560 15671 0 0 0 5036 346 0 0 20 0 12 0 642880576 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10581/tid=10589] ppid=10579 vsize=741300 CPUtime=55.09
/proc/10581/task/10589/stat : 10589 (satake) R 10579 10581 27791 0 -1 4202560 16400 0 0 0 5117 392 0 0 20 0 12 0 642880576 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10590] ppid=10579 vsize=741300 CPUtime=53.02
/proc/10581/task/10590/stat : 10590 (satake) R 10579 10581 27791 0 -1 4202560 15679 0 0 0 4988 314 0 0 20 0 12 0 642880576 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10593] ppid=10579 vsize=741300 CPUtime=54.4
/proc/10581/task/10593/stat : 10593 (satake) S 10579 10581 27791 0 -1 4202560 16506 0 0 0 5080 360 0 0 20 0 12 0 642880577 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10594] ppid=10579 vsize=741300 CPUtime=55.02
/proc/10581/task/10594/stat : 10594 (satake) S 10579 10581 27791 0 -1 4202560 16102 0 0 0 5142 360 0 0 20 0 12 0 642880577 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=10581/tid=10595] ppid=10579 vsize=741300 CPUtime=52.79
/proc/10581/task/10595/stat : 10595 (satake) R 10579 10581 27791 0 -1 4202560 15964 0 0 0 4899 380 0 0 20 0 12 0 642880577 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134666377 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10596] ppid=10579 vsize=741300 CPUtime=56.02
/proc/10581/task/10596/stat : 10596 (satake) S 10579 10581 27791 0 -1 4202560 15397 0 0 0 5276 326 0 0 20 0 12 0 642880577 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=10581/tid=10597] ppid=10579 vsize=741300 CPUtime=56.61
/proc/10581/task/10597/stat : 10597 (satake) S 10579 10581 27791 0 -1 4202560 16982 0 0 0 5301 360 0 0 20 0 12 0 642880577 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 890.66
Current children cumulated vsize (KiB) 741300

[startup+217.301 s]
/proc/loadavg: 5.97 7.76 8.61 9/201 10603
/proc/meminfo: memFree=18326600/36427776 swapFree=4624/799268
[pid=10581] ppid=10579 vsize=662896 CPUtime=891.55
/proc/10581/stat : 10581 (satake) S 10579 10581 27791 0 -1 4202496 242623 0 0 0 76563 12592 0 0 20 0 4 0 642880576 678805504 163371 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10581/statm: 165724 163371 77 164 0 165559 0
[pid=10581/tid=10586] ppid=10579 vsize=662896 CPUtime=50.78
/proc/10581/task/10586/stat : 10586 (satake) R 10579 10581 27791 0 -1 4202560 16178 0 0 0 4722 356 0 0 20 0 4 0 642880576 678805504 163361 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134702308 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10590] ppid=10579 vsize=662896 CPUtime=53.17
/proc/10581/task/10590/stat : 10590 (satake) R 10579 10581 27791 0 -1 4202560 15679 0 0 0 4999 318 0 0 20 0 4 0 642880576 678805504 163361 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10593] ppid=10579 vsize=662896 CPUtime=54.53
/proc/10581/task/10593/stat : 10593 (satake) R 10579 10581 27791 0 -1 4202560 16506 0 0 0 5089 364 0 0 20 0 4 0 642880577 678805504 163361 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 891.55
Current children cumulated vsize (KiB) 662896

[startup+217.401 s]
/proc/loadavg: 5.97 7.76 8.61 9/201 10603
/proc/meminfo: memFree=18326600/36427776 swapFree=4624/799268
[pid=10581] ppid=10579 vsize=547868 CPUtime=891.72
/proc/10581/stat : 10581 (satake) S 10579 10581 27791 0 -1 4202496 242623 0 0 0 76573 12599 0 0 20 0 2 0 642880576 561016832 134549 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10581/statm: 136967 134549 77 164 0 136802 0
[pid=10581/tid=10590] ppid=10579 vsize=547868 CPUtime=53.25
/proc/10581/task/10590/stat : 10590 (satake) R 10579 10581 27791 0 -1 4202560 15679 0 0 0 5003 322 0 0 20 0 2 0 642880576 561016832 134549 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 891.72
Current children cumulated vsize (KiB) 547868

Child status: 16
Real time (s): 217.501
CPU time (s): 891.84
CPU user time (s): 765.732
CPU system time (s): 126.108
CPU usage (%): 410.04
Max. virtual memory (cumulated for all children) (KiB): 820980


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 765.732
system time used= 126.108
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242624
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= 10177085
involuntary context switches= 2358130

runsolver used 0.944059 second user time and 2.67217 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 21:42:22
IDJOB=1780647
IDBENCH=71042
IDSOLVER=631
FILE ID=xenhost3-49/1780647-1244835742
PBS_JOBID=
Free space on /tmp= 7018 MiB

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

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

MD5SUM BENCH= 76f64a29755badc2dae8f70e8e96bc3e
RANDOM SEED= 1756949594

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:      19116312 kB
Buffers:        435456 kB
Cached:       14122312 kB
SwapCached:          0 kB
Active:        4080232 kB
Inactive:     10485092 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           11332 kB
Writeback:           0 kB
AnonPages:        7504 kB
Mapped:           3756 kB
Slab:           689396 kB
SReclaimable:   662588 kB
SUnreclaim:      26808 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29852 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7018 MiB
End job on xenhost3-49 at 2009-06-12 21:46:00