Trace number 1776042

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 411.982 228.029

General information on the benchmark

Nameindustrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
MD5SUM4b97e69214a2eddbe060a9ecc3dfbbd8
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark12.08
Satisfiable
(Un)Satisfiability was proved
Number of variables85694
Number of clauses414657
Sum of the clauses size1073659
Maximum clause length403
Minimum clause length1
Number of clauses of size 1190
Number of clauses of size 2330211
Number of clauses of size 380574
Number of clauses of size 4910
Number of clauses of size 5103
Number of clauses of size over 52669

Solver Data 

411.83/227.99	c Benchmark name    : HOME/instance-1776042-1244734517.cnf
411.83/227.99	c Thread Num        :           16
411.83/227.99	c restarts          :           10
411.83/227.99	c conflicts         :         9361
411.83/227.99	c decisions         :        21099           (       93 / sec      )
411.83/227.99	c propagations      :     24840229           (   109775 / sec      )
411.83/227.99	c inspects          :     64693864           (   285899 / sec      )
411.83/227.99	c conflict literals :       222105           (    30.31 % deleted  )
411.83/227.99	c cpu time          :       226.28           
411.83/227.99	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-1776042-1244734517/watcher-1776042-1244734517 -o /tmp/evaluation-result-1776042-1244734517/solver-1776042-1244734517 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776042-1244734517.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: 6.72 9.69 8.96 2/184 30415
/proc/meminfo: memFree=19135284/36427776 swapFree=4160/7944
[pid=30415] ppid=30413 vsize=7336 CPUtime=0
/proc/30415/stat : 30415 (satake) D 30413 30415 27791 0 -1 4202496 463 0 0 0 0 0 0 0 20 0 16 0 632758073 7512064 417 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30415/statm: 1834 418 63 164 0 1669 0
[pid=30415/tid=30416] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30416/stat : 30416 (satake) S 30413 30415 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 423 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30417] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30417/stat : 30417 (satake) R 30413 30415 27791 0 -1 4202560 69 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 426 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30415/tid=30418] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30418/stat : 30418 (satake) R 30413 30415 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 429 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30415/tid=30419] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30419/stat : 30419 (satake) D 30413 30415 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 431 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30420] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30420/stat : 30420 (satake) R 30413 30415 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 431 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30421] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30421/stat : 30421 (satake) D 30413 30415 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 432 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30415/tid=30422] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30422/stat : 30422 (satake) R 30413 30415 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 433 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30423] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30423/stat : 30423 (satake) R 30413 30415 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 433 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30415/tid=30424] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30424/stat : 30424 (satake) R 30413 30415 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 433 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30425] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30425/stat : 30425 (satake) R 30413 30415 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 433 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30415/tid=30426] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30426/stat : 30426 (satake) R 30413 30415 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 433 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30427] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30427/stat : 30427 (satake) R 30413 30415 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 433 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30428] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30428/stat : 30428 (satake) R 30413 30415 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 16 0 632758074 7577600 438 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30415/tid=30429] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30429/stat : 30429 (satake) R 30413 30415 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 632758074 7577600 439 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30430] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30430/stat : 30430 (satake) R 30413 30415 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 632758074 7577600 439 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.058286 s]
/proc/loadavg: 6.72 9.69 8.96 2/184 30415
/proc/meminfo: memFree=19135284/36427776 swapFree=4160/7944
[pid=30415] ppid=30413 vsize=27156 CPUtime=0.33
/proc/30415/stat : 30415 (satake) S 30413 30415 27791 0 -1 4202496 3787 0 0 0 0 33 0 0 20 0 17 0 632758073 27807744 3741 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30415/statm: 6789 3741 63 164 0 6624 0
[pid=30415/tid=30416] ppid=30413 vsize=27156 CPUtime=0
/proc/30415/task/30416/stat : 30416 (satake) S 30413 30415 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 632758073 27807744 3741 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30417] ppid=30413 vsize=27156 CPUtime=0.02
/proc/30415/task/30417/stat : 30417 (satake) D 30413 30415 27791 0 -1 4202560 328 0 0 0 0 2 0 0 20 0 17 0 632758073 27807744 3741 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30415/tid=30418] ppid=30413 vsize=28180 CPUtime=0.02
/proc/30415/task/30418/stat : 30418 (satake) D 30413 30415 27791 0 -1 4202560 356 0 0 0 0 2 0 0 20 0 17 0 632758073 28856320 3743 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30415/tid=30419] ppid=30413 vsize=28180 CPUtime=0.02
/proc/30415/task/30419/stat : 30419 (satake) D 30413 30415 27791 0 -1 4202560 299 0 0 0 0 2 0 0 20 0 17 0 632758073 28856320 3747 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30420] ppid=30413 vsize=28180 CPUtime=0.02
/proc/30415/task/30420/stat : 30420 (satake) R 30413 30415 27791 0 -1 4202560 302 0 0 0 0 2 0 0 20 0 17 0 632758073 28856320 3747 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30421] ppid=30413 vsize=28180 CPUtime=0.02
/proc/30415/task/30421/stat : 30421 (satake) R 30413 30415 27791 0 -1 4202560 300 0 0 0 0 2 0 0 20 0 17 0 632758073 28856320 3749 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30415/tid=30422] ppid=30413 vsize=28180 CPUtime=0.02
/proc/30415/task/30422/stat : 30422 (satake) R 30413 30415 27791 0 -1 4202560 306 0 0 0 0 2 0 0 20 0 17 0 632758073 28856320 3750 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30423] ppid=30413 vsize=28180 CPUtime=0.02
/proc/30415/task/30423/stat : 30423 (satake) R 30413 30415 27791 0 -1 4202560 269 0 0 0 0 2 0 0 20 0 17 0 632758073 28856320 3750 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30415/tid=30424] ppid=30413 vsize=28180 CPUtime=0
/proc/30415/task/30424/stat : 30424 (satake) R 30413 30415 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 17 0 632758073 28856320 3751 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30425] ppid=30413 vsize=28180 CPUtime=0.02
/proc/30415/task/30425/stat : 30425 (satake) R 30413 30415 27791 0 -1 4202560 275 0 0 0 0 2 0 0 20 0 17 0 632758073 28856320 3751 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30415/tid=30426] ppid=30413 vsize=28180 CPUtime=0.02
/proc/30415/task/30426/stat : 30426 (satake) R 30413 30415 27791 0 -1 4202560 336 0 0 0 0 2 0 0 20 0 17 0 632758073 28856320 3751 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30427] ppid=30413 vsize=28180 CPUtime=0
/proc/30415/task/30427/stat : 30427 (satake) R 30413 30415 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 17 0 632758073 28856320 3751 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30428] ppid=30413 vsize=28180 CPUtime=0.02
/proc/30415/task/30428/stat : 30428 (satake) R 30413 30415 27791 0 -1 4202560 245 0 0 0 0 2 0 0 20 0 17 0 632758074 28856320 3751 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30415/tid=30429] ppid=30413 vsize=28180 CPUtime=0
/proc/30415/task/30429/stat : 30429 (satake) S 30413 30415 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 632758074 28856320 3753 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30430] ppid=30413 vsize=28180 CPUtime=0.02
/proc/30415/task/30430/stat : 30430 (satake) R 30413 30415 27791 0 -1 4202560 270 0 0 0 0 2 0 0 20 0 17 0 632758074 28856320 3754 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 27156

[startup+0.105339 s]
/proc/loadavg: 6.72 9.69 8.96 2/184 30415
/proc/meminfo: memFree=19135284/36427776 swapFree=4160/7944
[pid=30415] ppid=30413 vsize=55192 CPUtime=0.8
/proc/30415/stat : 30415 (satake) S 30413 30415 27791 0 -1 4202496 8957 0 0 0 0 80 0 0 20 0 17 0 632758073 56516608 8917 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30415/statm: 13798 8958 63 164 0 13633 0
[pid=30415/tid=30416] ppid=30413 vsize=55192 CPUtime=0
/proc/30415/task/30416/stat : 30416 (satake) S 30413 30415 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 632758073 56516608 8980 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30417] ppid=30413 vsize=55192 CPUtime=0.06
/proc/30415/task/30417/stat : 30417 (satake) R 30413 30415 27791 0 -1 4202560 682 0 0 0 0 6 0 0 20 0 17 0 632758073 56516608 9023 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30415/tid=30418] ppid=30413 vsize=55192 CPUtime=0.08
/proc/30415/task/30418/stat : 30418 (satake) R 30413 30415 27791 0 -1 4202560 982 0 0 0 0 8 0 0 20 0 17 0 632758073 56516608 9047 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30415/tid=30419] ppid=30413 vsize=55192 CPUtime=0.04
/proc/30415/task/30419/stat : 30419 (satake) R 30413 30415 27791 0 -1 4202560 477 0 0 0 0 4 0 0 20 0 17 0 632758073 56516608 9070 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30420] ppid=30413 vsize=55192 CPUtime=0.06
/proc/30415/task/30420/stat : 30420 (satake) R 30413 30415 27791 0 -1 4202560 825 0 0 0 0 6 0 0 20 0 17 0 632758073 56516608 9086 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30421] ppid=30413 vsize=55192 CPUtime=0.08
/proc/30415/task/30421/stat : 30421 (satake) R 30413 30415 27791 0 -1 4202560 661 0 0 0 0 8 0 0 20 0 17 0 632758073 56516608 9112 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30415/tid=30422] ppid=30413 vsize=55192 CPUtime=0.06
/proc/30415/task/30422/stat : 30422 (satake) R 30413 30415 27791 0 -1 4202560 808 0 0 0 0 6 0 0 20 0 17 0 632758073 56516608 9135 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30423] ppid=30413 vsize=55192 CPUtime=0.06
/proc/30415/task/30423/stat : 30423 (satake) R 30413 30415 27791 0 -1 4202560 683 0 0 0 0 6 0 0 20 0 17 0 632758073 56516608 9163 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30415/tid=30424] ppid=30413 vsize=55192 CPUtime=0.02
/proc/30415/task/30424/stat : 30424 (satake) R 30413 30415 27791 0 -1 4202560 249 0 0 0 0 2 0 0 20 0 17 0 632758073 56516608 9187 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30425] ppid=30413 vsize=55192 CPUtime=0.06
/proc/30415/task/30425/stat : 30425 (satake) R 30413 30415 27791 0 -1 4202560 709 0 0 0 0 6 0 0 20 0 17 0 632758073 56516608 9205 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30415/tid=30426] ppid=30413 vsize=55192 CPUtime=0.06
/proc/30415/task/30426/stat : 30426 (satake) R 30413 30415 27791 0 -1 4202560 797 0 0 0 0 6 0 0 20 0 17 0 632758073 56516608 9217 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30427] ppid=30413 vsize=55192 CPUtime=0
/proc/30415/task/30427/stat : 30427 (satake) R 30413 30415 27791 0 -1 4202560 95 0 0 0 0 0 0 0 20 0 17 0 632758073 56516608 9243 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30428] ppid=30413 vsize=55192 CPUtime=0.06
/proc/30415/task/30428/stat : 30428 (satake) R 30413 30415 27791 0 -1 4202560 599 0 0 0 0 6 0 0 20 0 17 0 632758074 56516608 9272 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30415/tid=30429] ppid=30413 vsize=55192 CPUtime=0
/proc/30415/task/30429/stat : 30429 (satake) R 30413 30415 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 632758074 56516608 9295 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30430] ppid=30413 vsize=55192 CPUtime=0.06
/proc/30415/task/30430/stat : 30430 (satake) R 30413 30415 27791 0 -1 4202560 708 0 0 0 0 6 0 0 20 0 17 0 632758074 56516608 9326 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 55192

[startup+0.30722 s]
/proc/loadavg: 6.72 9.69 8.96 2/184 30415
/proc/meminfo: memFree=19135284/36427776 swapFree=4160/7944
[pid=30415] ppid=30413 vsize=111780 CPUtime=2.69
/proc/30415/stat : 30415 (satake) S 30413 30415 27791 0 -1 4202496 23490 0 0 0 0 269 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30415/statm: 27945 23444 63 164 0 27780 0
[pid=30415/tid=30416] ppid=30413 vsize=111780 CPUtime=0
/proc/30415/task/30416/stat : 30416 (satake) S 30413 30415 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30417] ppid=30413 vsize=111780 CPUtime=0.22
/proc/30415/task/30417/stat : 30417 (satake) D 30413 30415 27791 0 -1 4202560 1837 0 0 0 0 22 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30415/tid=30418] ppid=30413 vsize=111780 CPUtime=0.22
/proc/30415/task/30418/stat : 30418 (satake) S 30413 30415 27791 0 -1 4202560 2047 0 0 0 0 22 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=30415/tid=30419] ppid=30413 vsize=111780 CPUtime=0.14
/proc/30415/task/30419/stat : 30419 (satake) D 30413 30415 27791 0 -1 4202560 1166 0 0 0 0 14 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30420] ppid=30413 vsize=111780 CPUtime=0.22
/proc/30415/task/30420/stat : 30420 (satake) S 30413 30415 27791 0 -1 4202560 1917 0 0 0 0 22 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30421] ppid=30413 vsize=111780 CPUtime=0.22
/proc/30415/task/30421/stat : 30421 (satake) D 30413 30415 27791 0 -1 4202560 1777 0 0 0 0 22 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30415/tid=30422] ppid=30413 vsize=111780 CPUtime=0.14
/proc/30415/task/30422/stat : 30422 (satake) D 30413 30415 27791 0 -1 4202560 1412 0 0 0 0 14 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30423] ppid=30413 vsize=111780 CPUtime=0.22
/proc/30415/task/30423/stat : 30423 (satake) R 30413 30415 27791 0 -1 4202560 1860 0 0 0 0 22 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30415/tid=30424] ppid=30413 vsize=111780 CPUtime=0.1
/proc/30415/task/30424/stat : 30424 (satake) D 30413 30415 27791 0 -1 4202560 816 0 0 0 0 10 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30425] ppid=30413 vsize=111780 CPUtime=0.22
/proc/30415/task/30425/stat : 30425 (satake) S 30413 30415 27791 0 -1 4202560 1832 0 0 0 0 22 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=30415/tid=30426] ppid=30413 vsize=111780 CPUtime=0.14
/proc/30415/task/30426/stat : 30426 (satake) D 30413 30415 27791 0 -1 4202560 1532 0 0 0 0 14 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30427] ppid=30413 vsize=111780 CPUtime=0.08
/proc/30415/task/30427/stat : 30427 (satake) D 30413 30415 27791 0 -1 4202560 857 0 0 0 0 8 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30428] ppid=30413 vsize=111780 CPUtime=0.22
/proc/30415/task/30428/stat : 30428 (satake) D 30413 30415 27791 0 -1 4202560 1764 0 0 0 0 22 0 0 20 0 17 0 632758074 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30415/tid=30429] ppid=30413 vsize=111780 CPUtime=0.08
/proc/30415/task/30429/stat : 30429 (satake) D 30413 30415 27791 0 -1 4202560 847 0 0 0 0 8 0 0 20 0 17 0 632758074 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30430] ppid=30413 vsize=111780 CPUtime=0.2
/proc/30415/task/30430/stat : 30430 (satake) D 30413 30415 27791 0 -1 4202560 1832 0 0 0 0 20 0 0 20 0 17 0 632758074 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134675593 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 111780

[startup+0.70533 s]
/proc/loadavg: 6.72 9.69 8.96 2/184 30415
/proc/meminfo: memFree=19135284/36427776 swapFree=4160/7944
[pid=30415] ppid=30413 vsize=161188 CPUtime=4.57
/proc/30415/stat : 30415 (satake) S 30413 30415 27791 0 -1 4202496 37296 0 0 0 44 413 0 0 20 0 17 0 632758073 165056512 37250 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30415/statm: 40553 37250 63 164 0 40388 0
[pid=30415/tid=30416] ppid=30413 vsize=162212 CPUtime=0
/proc/30415/task/30416/stat : 30416 (satake) S 30413 30415 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 632758073 166105088 37251 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30417] ppid=30413 vsize=162212 CPUtime=0.36
/proc/30415/task/30417/stat : 30417 (satake) S 30413 30415 27791 0 -1 4202560 2592 0 0 0 4 32 0 0 20 0 17 0 632758073 166105088 37251 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=30415/tid=30418] ppid=30413 vsize=162212 CPUtime=0.38
/proc/30415/task/30418/stat : 30418 (satake) D 30413 30415 27791 0 -1 4202560 2806 0 0 0 8 30 0 0 20 0 17 0 632758073 166105088 37252 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30415/tid=30419] ppid=30413 vsize=162212 CPUtime=0.24
/proc/30415/task/30419/stat : 30419 (satake) S 30413 30415 27791 0 -1 4202560 2422 0 0 0 2 22 0 0 20 0 17 0 632758073 166105088 37252 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30420] ppid=30413 vsize=162212 CPUtime=0.34
/proc/30415/task/30420/stat : 30420 (satake) S 30413 30415 27791 0 -1 4202560 2529 0 0 0 4 30 0 0 20 0 17 0 632758073 166105088 37253 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30421] ppid=30413 vsize=162212 CPUtime=0.38
/proc/30415/task/30421/stat : 30421 (satake) D 30413 30415 27791 0 -1 4202560 2585 0 0 0 2 36 0 0 20 0 17 0 632758073 166105088 37253 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30415/tid=30422] ppid=30413 vsize=162212 CPUtime=0.26
/proc/30415/task/30422/stat : 30422 (satake) R 30413 30415 27791 0 -1 4202560 2343 0 0 0 4 22 0 0 20 0 17 0 632758073 166105088 37253 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30423] ppid=30413 vsize=162212 CPUtime=0.36
/proc/30415/task/30423/stat : 30423 (satake) R 30413 30415 27791 0 -1 4202560 2608 0 0 0 2 34 0 0 20 0 17 0 632758073 166105088 37258 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30415/tid=30424] ppid=30413 vsize=162212 CPUtime=0.18
/proc/30415/task/30424/stat : 30424 (satake) R 30413 30415 27791 0 -1 4202560 2294 0 0 0 0 18 0 0 20 0 17 0 632758073 166105088 37258 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30425] ppid=30413 vsize=162212 CPUtime=0.34
/proc/30415/task/30425/stat : 30425 (satake) R 30413 30415 27791 0 -1 4202560 2531 0 0 0 0 34 0 0 20 0 17 0 632758073 166105088 37258 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30415/tid=30426] ppid=30413 vsize=162212 CPUtime=0.24
/proc/30415/task/30426/stat : 30426 (satake) S 30413 30415 27791 0 -1 4202560 2276 0 0 0 2 22 0 0 20 0 17 0 632758073 166105088 37258 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=30415/tid=30427] ppid=30413 vsize=162212 CPUtime=0.2
/proc/30415/task/30427/stat : 30427 (satake) S 30413 30415 27791 0 -1 4202560 2361 0 0 0 2 18 0 0 20 0 17 0 632758073 166105088 37258 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30428] ppid=30413 vsize=162212 CPUtime=0.32
/proc/30415/task/30428/stat : 30428 (satake) S 30413 30415 27791 0 -1 4202560 2545 0 0 0 0 32 0 0 20 0 17 0 632758074 166105088 37260 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=30415/tid=30429] ppid=30413 vsize=162212 CPUtime=0.18

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

[pid=30415/tid=30421] ppid=30413 vsize=515460 CPUtime=19.74
/proc/30415/task/30421/stat : 30421 (satake) S 30413 30415 27791 0 -1 4202560 8700 0 0 0 1452 522 0 0 20 0 17 0 632758073 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=30415/tid=30422] ppid=30413 vsize=515460 CPUtime=20.26
/proc/30415/task/30422/stat : 30422 (satake) R 30413 30415 27791 0 -1 4202560 8846 0 0 0 1502 524 0 0 20 0 17 0 632758073 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134519935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30423] ppid=30413 vsize=515460 CPUtime=19.36
/proc/30415/task/30423/stat : 30423 (satake) S 30413 30415 27791 0 -1 4202560 8838 0 0 0 1302 634 0 0 20 0 17 0 632758073 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=30415/tid=30424] ppid=30413 vsize=515460 CPUtime=18.22
/proc/30415/task/30424/stat : 30424 (satake) S 30413 30415 27791 0 -1 4202560 8820 0 0 0 1294 528 0 0 20 0 17 0 632758073 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30425] ppid=30413 vsize=515460 CPUtime=19.84
/proc/30415/task/30425/stat : 30425 (satake) S 30413 30415 27791 0 -1 4202560 8862 0 0 0 1376 608 0 0 20 0 17 0 632758073 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30426] ppid=30413 vsize=515460 CPUtime=20.2
/proc/30415/task/30426/stat : 30426 (satake) S 30413 30415 27791 0 -1 4202560 8778 0 0 0 1384 636 0 0 20 0 17 0 632758073 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30427] ppid=30413 vsize=515460 CPUtime=23.86
/proc/30415/task/30427/stat : 30427 (satake) S 30413 30415 27791 0 -1 4202560 8929 0 0 0 1838 548 0 0 20 0 17 0 632758073 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30428] ppid=30413 vsize=515460 CPUtime=19.34
/proc/30415/task/30428/stat : 30428 (satake) S 30413 30415 27791 0 -1 4202560 8792 0 0 0 1352 582 0 0 20 0 17 0 632758074 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=30415/tid=30429] ppid=30413 vsize=515460 CPUtime=18.44
/proc/30415/task/30429/stat : 30429 (satake) S 30413 30415 27791 0 -1 4202560 8718 0 0 0 1228 616 0 0 20 0 17 0 632758074 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=30415/tid=30430] ppid=30413 vsize=515460 CPUtime=21.16
/proc/30415/task/30430/stat : 30430 (satake) S 30413 30415 27791 0 -1 4202560 8845 0 0 0 1538 578 0 0 20 0 17 0 632758074 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=30415/tid=30432] ppid=30413 vsize=515460 CPUtime=20.02
/proc/30415/task/30432/stat : 30432 (satake) S 30413 30415 27791 0 -1 4202560 8761 0 0 0 1402 600 0 0 20 0 17 0 632758074 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 397.5
Current children cumulated vsize (KiB) 515460

[startup+225.513 s]
/proc/loadavg: 2.83 5.98 7.61 3/201 30432
/proc/meminfo: memFree=18703352/36427776 swapFree=4588/445628
[pid=30415] ppid=30413 vsize=515460 CPUtime=400.01
/proc/30415/stat : 30415 (satake) S 30413 30415 27791 0 -1 4202496 136039 0 0 0 22123 17878 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30415/statm: 128865 108888 68 164 0 128700 0
[pid=30415/tid=30416] ppid=30413 vsize=515460 CPUtime=106.72
/proc/30415/task/30416/stat : 30416 (satake) R 30413 30415 27791 0 -1 4202560 3686 0 0 0 1228 9444 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30415/tid=30417] ppid=30413 vsize=515460 CPUtime=17.46
/proc/30415/task/30417/stat : 30417 (satake) S 30413 30415 27791 0 -1 4202560 8737 0 0 0 1284 462 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=30415/tid=30418] ppid=30413 vsize=515460 CPUtime=18.7
/proc/30415/task/30418/stat : 30418 (satake) S 30413 30415 27791 0 -1 4202560 8687 0 0 0 1404 466 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=30415/tid=30419] ppid=30413 vsize=515460 CPUtime=17.34
/proc/30415/task/30419/stat : 30419 (satake) S 30413 30415 27791 0 -1 4202560 9116 0 0 0 1210 524 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30420] ppid=30413 vsize=515460 CPUtime=17.9
/proc/30415/task/30420/stat : 30420 (satake) S 30413 30415 27791 0 -1 4202560 8783 0 0 0 1230 560 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=30415/tid=30421] ppid=30413 vsize=515460 CPUtime=19.88
/proc/30415/task/30421/stat : 30421 (satake) S 30413 30415 27791 0 -1 4202560 8700 0 0 0 1464 524 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=30415/tid=30422] ppid=30413 vsize=515460 CPUtime=20.42
/proc/30415/task/30422/stat : 30422 (satake) D 30413 30415 27791 0 -1 4202560 8848 0 0 0 1514 528 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30423] ppid=30413 vsize=515460 CPUtime=19.48
/proc/30415/task/30423/stat : 30423 (satake) S 30413 30415 27791 0 -1 4202560 8845 0 0 0 1310 638 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=30415/tid=30424] ppid=30413 vsize=515460 CPUtime=18.3
/proc/30415/task/30424/stat : 30424 (satake) S 30413 30415 27791 0 -1 4202560 8820 0 0 0 1298 532 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30425] ppid=30413 vsize=515460 CPUtime=19.94
/proc/30415/task/30425/stat : 30425 (satake) S 30413 30415 27791 0 -1 4202560 8862 0 0 0 1380 614 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30426] ppid=30413 vsize=515460 CPUtime=20.32
/proc/30415/task/30426/stat : 30426 (satake) S 30413 30415 27791 0 -1 4202560 8778 0 0 0 1394 638 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30427] ppid=30413 vsize=515460 CPUtime=23.94
/proc/30415/task/30427/stat : 30427 (satake) S 30413 30415 27791 0 -1 4202560 8929 0 0 0 1844 550 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30428] ppid=30413 vsize=515460 CPUtime=19.46
/proc/30415/task/30428/stat : 30428 (satake) S 30413 30415 27791 0 -1 4202560 8794 0 0 0 1360 586 0 0 20 0 17 0 632758074 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=30415/tid=30429] ppid=30413 vsize=515460 CPUtime=18.6
/proc/30415/task/30429/stat : 30429 (satake) S 30413 30415 27791 0 -1 4202560 8724 0 0 0 1242 618 0 0 20 0 17 0 632758074 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30430] ppid=30413 vsize=515460 CPUtime=21.3
/proc/30415/task/30430/stat : 30430 (satake) S 30413 30415 27791 0 -1 4202560 8845 0 0 0 1548 582 0 0 20 0 17 0 632758074 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=30415/tid=30432] ppid=30413 vsize=515460 CPUtime=20.1
/proc/30415/task/30432/stat : 30432 (satake) S 30413 30415 27791 0 -1 4202560 8761 0 0 0 1406 604 0 0 20 0 17 0 632758074 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 400.01
Current children cumulated vsize (KiB) 515460

[startup+227.106 s]
/proc/loadavg: 2.83 5.98 7.61 17/201 30432
/proc/meminfo: memFree=18703352/36427776 swapFree=4588/445648
[pid=30415] ppid=30413 vsize=484336 CPUtime=408.38
/proc/30415/stat : 30415 (satake) S 30413 30415 27791 0 -1 4202496 136048 0 0 0 22368 18470 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30415/statm: 121084 103797 77 164 0 120919 0
[pid=30415/tid=30417] ppid=30413 vsize=484336 CPUtime=18.08
/proc/30415/task/30417/stat : 30417 (satake) R 30413 30415 27791 0 -1 4202560 8737 0 0 0 1302 506 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30415/tid=30418] ppid=30413 vsize=484336 CPUtime=19.3
/proc/30415/task/30418/stat : 30418 (satake) R 30413 30415 27791 0 -1 4202560 8687 0 0 0 1424 506 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30415/tid=30419] ppid=30413 vsize=484336 CPUtime=17.68
/proc/30415/task/30419/stat : 30419 (satake) R 30413 30415 27791 0 -1 4202560 9116 0 0 0 1220 548 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30420] ppid=30413 vsize=484336 CPUtime=18.48
/proc/30415/task/30420/stat : 30420 (satake) R 30413 30415 27791 0 -1 4202560 8783 0 0 0 1244 604 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30415/tid=30421] ppid=30413 vsize=484336 CPUtime=20.52
/proc/30415/task/30421/stat : 30421 (satake) R 30413 30415 27791 0 -1 4202560 8700 0 0 0 1482 570 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30415/tid=30422] ppid=30413 vsize=484336 CPUtime=20.78
/proc/30415/task/30422/stat : 30422 (satake) R 30413 30415 27791 0 -1 4202560 8848 0 0 0 1526 552 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30423] ppid=30413 vsize=484336 CPUtime=20.12
/proc/30415/task/30423/stat : 30423 (satake) R 30413 30415 27791 0 -1 4202560 8845 0 0 0 1332 680 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30415/tid=30424] ppid=30413 vsize=484336 CPUtime=18.6
/proc/30415/task/30424/stat : 30424 (satake) R 30413 30415 27791 0 -1 4202560 8829 0 0 0 1310 550 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30425] ppid=30413 vsize=484336 CPUtime=20.48
/proc/30415/task/30425/stat : 30425 (satake) R 30413 30415 27791 0 -1 4202560 8862 0 0 0 1394 654 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30426] ppid=30413 vsize=484336 CPUtime=20.7
/proc/30415/task/30426/stat : 30426 (satake) R 30413 30415 27791 0 -1 4202560 8778 0 0 0 1402 668 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30427] ppid=30413 vsize=484336 CPUtime=24.5
/proc/30415/task/30427/stat : 30427 (satake) R 30413 30415 27791 0 -1 4202560 8929 0 0 0 1862 588 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30428] ppid=30413 vsize=484336 CPUtime=20.1
/proc/30415/task/30428/stat : 30428 (satake) R 30413 30415 27791 0 -1 4202560 8794 0 0 0 1380 630 0 0 20 0 16 0 632758074 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30415/tid=30429] ppid=30413 vsize=484336 CPUtime=19.1
/proc/30415/task/30429/stat : 30429 (satake) R 30413 30415 27791 0 -1 4202560 8724 0 0 0 1256 654 0 0 20 0 16 0 632758074 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30415/tid=30430] ppid=30413 vsize=484336 CPUtime=21.86
/proc/30415/task/30430/stat : 30430 (satake) R 30413 30415 27791 0 -1 4202560 8845 0 0 0 1564 622 0 0 20 0 16 0 632758074 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30415/tid=30432] ppid=30413 vsize=484336 CPUtime=20.64
/proc/30415/task/30432/stat : 30432 (satake) R 30413 30415 27791 0 -1 4202560 8761 0 0 0 1420 644 0 0 20 0 16 0 632758074 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 408.38
Current children cumulated vsize (KiB) 484336

[startup+227.503 s]
/proc/loadavg: 2.83 5.98 7.61 17/201 30432
/proc/meminfo: memFree=18703352/36427776 swapFree=4588/445648
[pid=30415] ppid=30413 vsize=461732 CPUtime=410.58
/proc/30415/stat : 30415 (satake) S 30413 30415 27791 0 -1 4202496 136048 0 0 0 22449 18609 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30415/statm: 115433 100158 77 164 0 115268 0
[pid=30415/tid=30417] ppid=30413 vsize=461732 CPUtime=18.24
/proc/30415/task/30417/stat : 30417 (satake) R 30413 30415 27791 0 -1 4202560 8737 0 0 0 1306 518 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30415/tid=30418] ppid=30413 vsize=461732 CPUtime=19.46
/proc/30415/task/30418/stat : 30418 (satake) S 30413 30415 27791 0 -1 4202560 8687 0 0 0 1430 516 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=30415/tid=30419] ppid=30413 vsize=461732 CPUtime=17.82
/proc/30415/task/30419/stat : 30419 (satake) R 30413 30415 27791 0 -1 4202560 9116 0 0 0 1226 556 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134672154 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30415/tid=30420] ppid=30413 vsize=461732 CPUtime=18.62
/proc/30415/task/30420/stat : 30420 (satake) R 30413 30415 27791 0 -1 4202560 8783 0 0 0 1248 614 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30415/tid=30421] ppid=30413 vsize=461732 CPUtime=20.7
/proc/30415/task/30421/stat : 30421 (satake) R 30413 30415 27791 0 -1 4202560 8700 0 0 0 1490 580 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30415/tid=30422] ppid=30413 vsize=461732 CPUtime=20.86
/proc/30415/task/30422/stat : 30422 (satake) S 30413 30415 27791 0 -1 4202560 8848 0 0 0 1530 556 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30423] ppid=30413 vsize=461732 CPUtime=20.28
/proc/30415/task/30423/stat : 30423 (satake) S 30413 30415 27791 0 -1 4202560 8845 0 0 0 1338 690 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=30415/tid=30424] ppid=30413 vsize=461732 CPUtime=18.7
/proc/30415/task/30424/stat : 30424 (satake) S 30413 30415 27791 0 -1 4202560 8829 0 0 0 1312 558 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30425] ppid=30413 vsize=461732 CPUtime=20.64
/proc/30415/task/30425/stat : 30425 (satake) S 30413 30415 27791 0 -1 4202560 8862 0 0 0 1400 664 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30426] ppid=30413 vsize=461732 CPUtime=20.78
/proc/30415/task/30426/stat : 30426 (satake) S 30413 30415 27791 0 -1 4202560 8778 0 0 0 1406 672 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30428] ppid=30413 vsize=461732 CPUtime=20.26
/proc/30415/task/30428/stat : 30428 (satake) S 30413 30415 27791 0 -1 4202560 8794 0 0 0 1384 642 0 0 20 0 15 0 632758074 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=30415/tid=30429] ppid=30413 vsize=461732 CPUtime=19.26
/proc/30415/task/30429/stat : 30429 (satake) R 30413 30415 27791 0 -1 4202560 8724 0 0 0 1260 666 0 0 20 0 15 0 632758074 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30415/tid=30430] ppid=30413 vsize=461732 CPUtime=22.08
/proc/30415/task/30430/stat : 30430 (satake) R 30413 30415 27791 0 -1 4202560 8845 0 0 0 1576 632 0 0 20 0 15 0 632758074 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30415/tid=30432] ppid=30413 vsize=461732 CPUtime=20.84
/proc/30415/task/30432/stat : 30432 (satake) R 30413 30415 27791 0 -1 4202560 8761 0 0 0 1430 654 0 0 20 0 15 0 632758074 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 410.58
Current children cumulated vsize (KiB) 461732

[startup+227.901 s]
/proc/loadavg: 2.83 5.98 7.61 2/197 30432
/proc/meminfo: memFree=18741700/36427776 swapFree=4624/401348
[pid=30415] ppid=30413 vsize=374852 CPUtime=411.83
/proc/30415/stat : 30415 (satake) S 30413 30415 27791 0 -1 4202496 136048 0 0 0 22519 18664 0 0 20 0 6 0 632758073 383848448 85919 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30415/statm: 93713 85919 77 164 0 93548 0
[pid=30415/tid=30419] ppid=30413 vsize=374852 CPUtime=17.92
/proc/30415/task/30419/stat : 30419 (satake) R 30413 30415 27791 0 -1 4202560 9116 0 0 0 1232 560 0 0 20 0 6 0 632758073 383848448 85919 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30415/tid=30422] ppid=30413 vsize=374852 CPUtime=20.98
/proc/30415/task/30422/stat : 30422 (satake) R 30413 30415 27791 0 -1 4202560 8848 0 0 0 1536 562 0 0 20 0 6 0 632758073 383848448 85919 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30424] ppid=30413 vsize=374852 CPUtime=18.76
/proc/30415/task/30424/stat : 30424 (satake) S 30413 30415 27791 0 -1 4202560 8829 0 0 0 1316 560 0 0 20 0 6 0 632758073 383848448 85919 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30426] ppid=30413 vsize=374852 CPUtime=20.84
/proc/30415/task/30426/stat : 30426 (satake) S 30413 30415 27791 0 -1 4202560 8778 0 0 0 1410 674 0 0 20 0 6 0 632758073 383848448 85919 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30429] ppid=30413 vsize=374852 CPUtime=19.34
/proc/30415/task/30429/stat : 30429 (satake) R 30413 30415 27791 0 -1 4202560 8724 0 0 0 1266 668 0 0 20 0 6 0 632758074 383848448 85919 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 411.83
Current children cumulated vsize (KiB) 374852

[startup+228.003 s]
/proc/loadavg: 2.83 5.98 7.61 2/197 30432
/proc/meminfo: memFree=18741700/36427776 swapFree=4624/401348
[pid=30415] ppid=30413 vsize=0 CPUtime=411.95
/proc/30415/stat : 30415 (satake) R 30413 30415 27791 0 -1 4202500 136049 0 0 0 22525 18670 0 0 20 0 1 0 632758073 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30415/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 411.95
Current children cumulated vsize (KiB) 0

Child status: 16
Real time (s): 228.029
CPU time (s): 411.982
CPU user time (s): 225.25
CPU system time (s): 186.732
CPU usage (%): 180.671
Max. virtual memory (cumulated for all children) (KiB): 515460


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 225.25
system time used= 186.732
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136049
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= 14364382
involuntary context switches= 222350

runsolver used 0.96406 second user time and 2.48415 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 17:35:17
IDJOB=1776042
IDBENCH=20415
IDSOLVER=631
FILE ID=xenhost3-49/1776042-1244734517
PBS_JOBID=
Free space on /tmp= 7033 MiB

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

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

MD5SUM BENCH= 4b97e69214a2eddbe060a9ecc3dfbbd8
RANDOM SEED= 757333178

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:      19135284 kB
Buffers:        432200 kB
Cached:       14108036 kB
SwapCached:          0 kB
Active:        4078132 kB
Inactive:     10471312 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            8604 kB
Writeback:           0 kB
AnonPages:        7944 kB
Mapped:           4160 kB
Slab:           687868 kB
SReclaimable:   660968 kB
SUnreclaim:      26900 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7033 MiB
End job on xenhost3-49 at 2009-06-11 17:39:05