Trace number 1780362

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 8584.85 783.815

General information on the benchmark

NameAPPLICATIONS/diagnosis/
ACG-15-10p0.cnf
MD5SUMd8dd0726277891eae9a2807dfd8946db
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1554.58
Satisfiable
(Un)Satisfiability was proved
Number of variables262253
Number of clauses1131732
Sum of the clauses size2644763
Maximum clause length10
Minimum clause length1
Number of clauses of size 110249
Number of clauses of size 2882815
Number of clauses of size 3187708
Number of clauses of size 45660
Number of clauses of size 522640
Number of clauses of size over 522660

Solver Data 

8584.63/783.70	c Benchmark name    : HOME/instance-1780362-1244825027.cnf
8584.63/783.70	c Thread Num        :           16
8584.63/783.70	c restarts          :           14
8584.63/783.70	c conflicts         :        49243
8584.63/783.70	c decisions         :       370646           (      476 / sec      )
8584.63/783.70	c propagations      :    493904511           (   633756 / sec      )
8584.63/783.70	c inspects          :   1393231386           (  1787732 / sec      )
8584.63/783.70	c conflict literals :     14169848           (    34.37 % deleted  )
8584.63/783.70	c cpu time          :       779.33           
8584.63/783.70	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-1780362-1244825027/watcher-1780362-1244825027 -o /tmp/evaluation-result-1780362-1244825027/solver-1780362-1244825027 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780362-1244825027.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: 8.99 8.53 7.31 2/184 9356
/proc/meminfo: memFree=19110296/36427776 swapFree=4844/8052
[pid=9356] ppid=9354 vsize=6848 CPUtime=0
/proc/9356/stat : 9356 (satake) D 9354 9356 27791 0 -1 4202496 373 0 0 0 0 0 0 0 20 0 15 0 641809157 7012352 329 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/9356/statm: 1712 329 63 164 0 1547 0
[pid=9356/tid=9357] ppid=9354 vsize=6916 CPUtime=0
/proc/9356/task/9357/stat : 9357 (satake) S 9354 9356 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 641809157 7081984 368 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=9356/tid=9358] ppid=9354 vsize=6916 CPUtime=0
/proc/9356/task/9358/stat : 9358 (satake) R 9354 9356 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 641809157 7081984 370 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9356/tid=9359] ppid=9354 vsize=6916 CPUtime=0
/proc/9356/task/9359/stat : 9359 (satake) R 9354 9356 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 17 0 641809157 7081984 371 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9356/tid=9360] ppid=9354 vsize=6916 CPUtime=0
/proc/9356/task/9360/stat : 9360 (satake) R 9354 9356 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 641809157 7081984 371 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9356/tid=9361] ppid=9354 vsize=6916 CPUtime=0
/proc/9356/task/9361/stat : 9361 (satake) S 9354 9356 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 641809157 7081984 371 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=9356/tid=9362] ppid=9354 vsize=6916 CPUtime=0
/proc/9356/task/9362/stat : 9362 (satake) R 9354 9356 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 641809157 7081984 371 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9356/tid=9363] ppid=9354 vsize=6916 CPUtime=0
/proc/9356/task/9363/stat : 9363 (satake) S 9354 9356 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 641809157 7081984 372 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=9356/tid=9364] ppid=9354 vsize=6920 CPUtime=0
/proc/9356/task/9364/stat : 9364 (satake) S 9354 9356 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 641809157 7086080 372 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=9356/tid=9365] ppid=9354 vsize=6920 CPUtime=0
/proc/9356/task/9365/stat : 9365 (satake) S 9354 9356 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 641809157 7086080 375 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=9356/tid=9366] ppid=9354 vsize=6920 CPUtime=0
/proc/9356/task/9366/stat : 9366 (satake) S 9354 9356 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 641809157 7086080 378 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=9356/tid=9367] ppid=9354 vsize=6920 CPUtime=0
/proc/9356/task/9367/stat : 9367 (satake) S 9354 9356 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 641809157 7086080 379 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=9356/tid=9368] ppid=9354 vsize=6920 CPUtime=0
/proc/9356/task/9368/stat : 9368 (satake) R 9354 9356 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 641809157 7086080 379 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9356/tid=9369] ppid=9354 vsize=6920 CPUtime=0
/proc/9356/task/9369/stat : 9369 (satake) R 9354 9356 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 17 0 641809158 7086080 380 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=9356/tid=9370] ppid=9354 vsize=6920 CPUtime=0
/proc/9356/task/9370/stat : 9370 (satake) R 9354 9356 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 641809158 7086080 380 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9356/tid=9371] ppid=9354 vsize=6920 CPUtime=0
/proc/9356/task/9371/stat : 9371 (satake) R 9354 9356 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 641809158 7086080 381 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9356/tid=9372] ppid=9354 vsize=6920 CPUtime=0
/proc/9356/task/9372/stat : 9372 (satake) D 9354 9356 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 641809158 7086080 381 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134532961 0 0 1 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.06706 s]
/proc/loadavg: 8.99 8.53 7.31 2/184 9356
/proc/meminfo: memFree=19110296/36427776 swapFree=4844/8052
[pid=9356] ppid=9354 vsize=31032 CPUtime=0.4
/proc/9356/stat : 9356 (satake) S 9354 9356 27791 0 -1 4202496 5005 0 0 0 1 39 0 0 20 0 17 0 641809157 31776768 4961 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/9356/statm: 7758 4962 63 164 0 7593 0
[pid=9356/tid=9357] ppid=9354 vsize=31032 CPUtime=0
/proc/9356/task/9357/stat : 9357 (satake) S 9354 9356 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 641809157 31776768 4962 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=9356/tid=9358] ppid=9354 vsize=31032 CPUtime=0.04
/proc/9356/task/9358/stat : 9358 (satake) R 9354 9356 27791 0 -1 4202560 417 0 0 0 0 4 0 0 20 0 17 0 641809157 31776768 4962 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9356/tid=9359] ppid=9354 vsize=31032 CPUtime=0.04
/proc/9356/task/9359/stat : 9359 (satake) R 9354 9356 27791 0 -1 4202560 444 0 0 0 0 4 0 0 20 0 17 0 641809157 31776768 4962 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9356/tid=9360] ppid=9354 vsize=31032 CPUtime=0
/proc/9356/task/9360/stat : 9360 (satake) R 9354 9356 27791 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 17 0 641809157 31776768 4963 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9356/tid=9361] ppid=9354 vsize=31032 CPUtime=0.02
/proc/9356/task/9361/stat : 9361 (satake) R 9354 9356 27791 0 -1 4202560 380 0 0 0 0 2 0 0 20 0 17 0 641809157 31776768 4965 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9356/tid=9362] ppid=9354 vsize=31032 CPUtime=0
/proc/9356/task/9362/stat : 9362 (satake) R 9354 9356 27791 0 -1 4202560 100 0 0 0 0 0 0 0 20 0 17 0 641809157 31776768 4966 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9356/tid=9363] ppid=9354 vsize=31032 CPUtime=0.02
/proc/9356/task/9363/stat : 9363 (satake) R 9354 9356 27791 0 -1 4202560 438 0 0 0 0 2 0 0 20 0 17 0 641809157 31776768 4967 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9356/tid=9364] ppid=9354 vsize=31032 CPUtime=0.02
/proc/9356/task/9364/stat : 9364 (satake) R 9354 9356 27791 0 -1 4202560 388 0 0 0 0 2 0 0 20 0 17 0 641809157 31776768 4970 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9356/tid=9365] ppid=9354 vsize=31032 CPUtime=0
/proc/9356/task/9365/stat : 9365 (satake) R 9354 9356 27791 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 17 0 641809157 31776768 4972 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9356/tid=9366] ppid=9354 vsize=31032 CPUtime=0.04
/proc/9356/task/9366/stat : 9366 (satake) R 9354 9356 27791 0 -1 4202560 442 0 0 0 0 4 0 0 20 0 17 0 641809157 31776768 4975 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9356/tid=9367] ppid=9354 vsize=31032 CPUtime=0.02
/proc/9356/task/9367/stat : 9367 (satake) R 9354 9356 27791 0 -1 4202560 346 0 0 0 0 2 0 0 20 0 17 0 641809157 31776768 4975 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9356/tid=9368] ppid=9354 vsize=31032 CPUtime=0.04
/proc/9356/task/9368/stat : 9368 (satake) R 9354 9356 27791 0 -1 4202560 416 0 0 0 0 4 0 0 20 0 17 0 641809157 31776768 4975 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9356/tid=9369] ppid=9354 vsize=31032 CPUtime=0.04
/proc/9356/task/9369/stat : 9369 (satake) R 9354 9356 27791 0 -1 4202560 439 0 0 0 0 4 0 0 20 0 17 0 641809158 31776768 4975 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=9356/tid=9370] ppid=9354 vsize=31032 CPUtime=0.04
/proc/9356/task/9370/stat : 9370 (satake) R 9354 9356 27791 0 -1 4202560 456 0 0 0 0 4 0 0 20 0 17 0 641809158 31776768 4977 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9356/tid=9371] ppid=9354 vsize=31032 CPUtime=0
/proc/9356/task/9371/stat : 9371 (satake) R 9354 9356 27791 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 17 0 641809158 31776768 4979 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9356/tid=9372] ppid=9354 vsize=31032 CPUtime=0.02
/proc/9356/task/9372/stat : 9372 (satake) R 9354 9356 27791 0 -1 4202560 297 0 0 0 0 2 0 0 20 0 17 0 641809158 31776768 4982 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 31032

[startup+0.103018 s]
/proc/loadavg: 8.99 8.53 7.31 2/184 9356
/proc/meminfo: memFree=19110296/36427776 swapFree=4844/8052
[pid=9356] ppid=9354 vsize=54584 CPUtime=0.74
/proc/9356/stat : 9356 (satake) S 9354 9356 27791 0 -1 4202496 10113 0 0 0 2 72 0 0 20 0 17 0 641809157 55894016 10079 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/9356/statm: 13646 10108 63 164 0 13481 0
[pid=9356/tid=9357] ppid=9354 vsize=54584 CPUtime=0
/proc/9356/task/9357/stat : 9357 (satake) S 9354 9356 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 641809157 55894016 10125 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=9356/tid=9358] ppid=9354 vsize=54584 CPUtime=0.06
/proc/9356/task/9358/stat : 9358 (satake) R 9354 9356 27791 0 -1 4202560 750 0 0 0 0 6 0 0 20 0 17 0 641809157 55894016 10149 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9356/tid=9359] ppid=9354 vsize=54584 CPUtime=0.06
/proc/9356/task/9359/stat : 9359 (satake) R 9354 9356 27791 0 -1 4202560 846 0 0 0 0 6 0 0 20 0 17 0 641809157 55894016 10177 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9356/tid=9360] ppid=9354 vsize=54584 CPUtime=0
/proc/9356/task/9360/stat : 9360 (satake) R 9354 9356 27791 0 -1 4202560 240 0 0 0 0 0 0 0 20 0 17 0 641809157 55894016 10205 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9356/tid=9361] ppid=9354 vsize=54584 CPUtime=0.06
/proc/9356/task/9361/stat : 9361 (satake) R 9354 9356 27791 0 -1 4202560 764 0 0 0 0 6 0 0 20 0 17 0 641809157 55894016 10226 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9356/tid=9362] ppid=9354 vsize=54584 CPUtime=0
/proc/9356/task/9362/stat : 9362 (satake) R 9354 9356 27791 0 -1 4202560 168 0 0 0 0 0 0 0 20 0 17 0 641809157 55894016 10241 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9356/tid=9363] ppid=9354 vsize=54584 CPUtime=0.06
/proc/9356/task/9363/stat : 9363 (satake) R 9354 9356 27791 0 -1 4202560 923 0 0 0 0 6 0 0 20 0 17 0 641809157 55894016 10260 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9356/tid=9364] ppid=9354 vsize=54584 CPUtime=0.06
/proc/9356/task/9364/stat : 9364 (satake) R 9354 9356 27791 0 -1 4202560 1000 0 0 0 0 6 0 0 20 0 17 0 641809157 55894016 10282 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9356/tid=9365] ppid=9354 vsize=54584 CPUtime=0
/proc/9356/task/9365/stat : 9365 (satake) R 9354 9356 27791 0 -1 4202560 143 0 0 0 0 0 0 0 20 0 17 0 641809157 55894016 10293 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9356/tid=9366] ppid=9354 vsize=54584 CPUtime=0.06
/proc/9356/task/9366/stat : 9366 (satake) R 9354 9356 27791 0 -1 4202560 840 0 0 0 0 6 0 0 20 0 17 0 641809157 55894016 10315 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9356/tid=9367] ppid=9354 vsize=54584 CPUtime=0.06
/proc/9356/task/9367/stat : 9367 (satake) R 9354 9356 27791 0 -1 4202560 878 0 0 0 0 6 0 0 20 0 17 0 641809157 55894016 10342 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9356/tid=9368] ppid=9354 vsize=54584 CPUtime=0.06
/proc/9356/task/9368/stat : 9368 (satake) R 9354 9356 27791 0 -1 4202560 942 0 0 0 0 6 0 0 20 0 17 0 641809157 55894016 10362 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9356/tid=9369] ppid=9354 vsize=54584 CPUtime=0.06
/proc/9356/task/9369/stat : 9369 (satake) R 9354 9356 27791 0 -1 4202560 843 0 0 0 0 6 0 0 20 0 17 0 641809158 55894016 10385 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=9356/tid=9370] ppid=9354 vsize=54584 CPUtime=0.06
/proc/9356/task/9370/stat : 9370 (satake) R 9354 9356 27791 0 -1 4202560 937 0 0 0 0 6 0 0 20 0 17 0 641809158 55894016 10419 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9356/tid=9371] ppid=9354 vsize=54584 CPUtime=0
/proc/9356/task/9371/stat : 9371 (satake) R 9354 9356 27791 0 -1 4202560 134 0 0 0 0 0 0 0 20 0 17 0 641809158 55894016 10440 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9356/tid=9372] ppid=9354 vsize=54584 CPUtime=0.06
/proc/9356/task/9372/stat : 9372 (satake) R 9354 9356 27791 0 -1 4202560 808 0 0 0 0 6 0 0 20 0 17 0 641809158 55894016 10464 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 54584

[startup+0.307016 s]
/proc/loadavg: 8.99 8.53 7.31 2/184 9356
/proc/meminfo: memFree=19110296/36427776 swapFree=4844/8052
[pid=9356] ppid=9354 vsize=342328 CPUtime=2.58
/proc/9356/stat : 9356 (satake) S 9354 9356 27791 0 -1 4202496 50229 0 0 0 2 256 0 0 20 0 17 0 641809157 350543872 50191 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/9356/statm: 85582 50237 63 164 0 85417 0
[pid=9356/tid=9357] ppid=9354 vsize=342328 CPUtime=0
/proc/9356/task/9357/stat : 9357 (satake) S 9354 9356 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 641809157 350543872 50254 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=9356/tid=9358] ppid=9354 vsize=342328 CPUtime=0.14
/proc/9356/task/9358/stat : 9358 (satake) R 9354 9356 27791 0 -1 4202560 2546 0 0 0 0 14 0 0 20 0 17 0 641809157 350543872 50270 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9356/tid=9359] ppid=9354 vsize=342328 CPUtime=0.24
/proc/9356/task/9359/stat : 9359 (satake) R 9354 9356 27791 0 -1 4202560 4472 0 0 0 0 24 0 0 20 0 17 0 641809157 350543872 50289 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9356/tid=9360] ppid=9354 vsize=342328 CPUtime=0.08
/proc/9356/task/9360/stat : 9360 (satake) R 9354 9356 27791 0 -1 4202560 1695 0 0 0 0 8 0 0 20 0 17 0 641809157 350543872 50304 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9356/tid=9361] ppid=9354 vsize=342328 CPUtime=0.14
/proc/9356/task/9361/stat : 9361 (satake) R 9354 9356 27791 0 -1 4202560 2458 0 0 0 0 14 0 0 20 0 17 0 641809157 350543872 50319 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9356/tid=9362] ppid=9354 vsize=342328 CPUtime=0.1
/proc/9356/task/9362/stat : 9362 (satake) R 9354 9356 27791 0 -1 4202560 2127 0 0 0 0 10 0 0 20 0 17 0 641809157 350543872 50339 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9356/tid=9363] ppid=9354 vsize=342328 CPUtime=0.14
/proc/9356/task/9363/stat : 9363 (satake) R 9354 9356 27791 0 -1 4202560 2639 0 0 0 0 14 0 0 20 0 17 0 641809157 350543872 50360 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9356/tid=9364] ppid=9354 vsize=342328 CPUtime=0.14
/proc/9356/task/9364/stat : 9364 (satake) R 9354 9356 27791 0 -1 4202560 2983 0 0 0 0 14 0 0 20 0 17 0 641809157 350543872 50375 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9356/tid=9365] ppid=9354 vsize=342328 CPUtime=0.08
/proc/9356/task/9365/stat : 9365 (satake) R 9354 9356 27791 0 -1 4202560 1895 0 0 0 0 8 0 0 20 0 17 0 641809157 350543872 50391 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9356/tid=9366] ppid=9354 vsize=342328 CPUtime=0.22
/proc/9356/task/9366/stat : 9366 (satake) R 9354 9356 27791 0 -1 4202560 4201 0 0 0 0 22 0 0 20 0 17 0 641809157 350543872 50406 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9356/tid=9367] ppid=9354 vsize=342328 CPUtime=0.22
/proc/9356/task/9367/stat : 9367 (satake) R 9354 9356 27791 0 -1 4202560 4683 0 0 0 0 22 0 0 20 0 17 0 641809157 350543872 50426 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9356/tid=9368] ppid=9354 vsize=342328 CPUtime=0.24
/proc/9356/task/9368/stat : 9368 (satake) R 9354 9356 27791 0 -1 4202560 4869 0 0 0 0 24 0 0 20 0 17 0 641809157 350543872 50451 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9356/tid=9369] ppid=9354 vsize=342328 CPUtime=0.22
/proc/9356/task/9369/stat : 9369 (satake) R 9354 9356 27791 0 -1 4202560 4538 0 0 0 0 22 0 0 20 0 17 0 641809158 350543872 50465 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=9356/tid=9370] ppid=9354 vsize=342328 CPUtime=0.24
/proc/9356/task/9370/stat : 9370 (satake) R 9354 9356 27791 0 -1 4202560 4481 0 0 0 0 24 0 0 20 0 17 0 641809158 350543872 50485 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9356/tid=9371] ppid=9354 vsize=342328 CPUtime=0.1
/proc/9356/task/9371/stat : 9371 (satake) R 9354 9356 27791 0 -1 4202560 2043 0 0 0 0 10 0 0 20 0 17 0 641809158 350543872 50500 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9356/tid=9372] ppid=9354 vsize=342328 CPUtime=0.22
/proc/9356/task/9372/stat : 9372 (satake) R 9354 9356 27791 0 -1 4202560 4690 0 0 0 0 22 0 0 20 0 17 0 641809158 350543872 50519 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 342328

[startup+0.703052 s]
/proc/loadavg: 8.99 8.53 7.31 2/184 9356
/proc/meminfo: memFree=19110296/36427776 swapFree=4844/8052
[pid=9356] ppid=9354 vsize=322240 CPUtime=5.51
/proc/9356/stat : 9356 (satake) S 9354 9356 27791 0 -1 4202496 67965 0 0 0 3 548 0 0 20 0 17 0 641809157 329973760 67921 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/9356/statm: 80560 67925 63 164 0 80395 0
[pid=9356/tid=9357] ppid=9354 vsize=322240 CPUtime=0
/proc/9356/task/9357/stat : 9357 (satake) S 9354 9356 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 641809157 329973760 67925 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=9356/tid=9358] ppid=9354 vsize=322240 CPUtime=0.28
/proc/9356/task/9358/stat : 9358 (satake) R 9354 9356 27791 0 -1 4202560 3660 0 0 0 0 28 0 0 20 0 17 0 641809157 329973760 67926 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9356/tid=9359] ppid=9354 vsize=322240 CPUtime=0.48
/proc/9356/task/9359/stat : 9359 (satake) D 9354 9356 27791 0 -1 4202560 5902 0 0 0 0 48 0 0 20 0 17 0 641809157 329973760 67927 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9356/tid=9360] ppid=9354 vsize=322240 CPUtime=0.24
/proc/9356/task/9360/stat : 9360 (satake) R 9354 9356 27791 0 -1 4202560 2618 0 0 0 0 24 0 0 20 0 17 0 641809157 329973760 67927 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9356/tid=9361] ppid=9354 vsize=322240 CPUtime=0.28
/proc/9356/task/9361/stat : 9361 (satake) D 9354 9356 27791 0 -1 4202560 3443 0 0 0 0 28 0 0 20 0 17 0 641809157 329973760 67927 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9356/tid=9362] ppid=9354 vsize=322240 CPUtime=0.24
/proc/9356/task/9362/stat : 9362 (satake) R 9354 9356 27791 0 -1 4202560 3258 0 0 0 0 24 0 0 20 0 17 0 641809157 329973760 67927 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9356/tid=9363] ppid=9354 vsize=322240 CPUtime=0.28
/proc/9356/task/9363/stat : 9363 (satake) R 9354 9356 27791 0 -1 4202560 3622 0 0 0 0 28 0 0 20 0 17 0 641809157 329973760 67931 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9356/tid=9364] ppid=9354 vsize=322372 CPUtime=0.3
/proc/9356/task/9364/stat : 9364 (satake) D 9354 9356 27791 0 -1 4202560 4151 0 0 0 0 30 0 0 20 0 17 0 641809157 330108928 67931 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9356/tid=9365] ppid=9354 vsize=322372 CPUtime=0.24
/proc/9356/task/9365/stat : 9365 (satake) D 9354 9356 27791 0 -1 4202560 2788 0 0 0 0 24 0 0 20 0 17 0 641809157 330108928 67935 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9356/tid=9366] ppid=9354 vsize=322372 CPUtime=0.46

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

/proc/9356/task/9364/stat : 9364 (satake) R 9354 9356 27791 0 -1 4202560 31832 0 0 0 54378 564 0 0 20 0 17 0 641809157 2000994304 410735 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9356/tid=9365] ppid=9354 vsize=1954096 CPUtime=535.6
/proc/9356/task/9365/stat : 9365 (satake) S 9354 9356 27791 0 -1 4202560 30790 0 0 0 52932 628 0 0 20 0 17 0 641809157 2000994304 410735 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=9356/tid=9366] ppid=9354 vsize=1954096 CPUtime=544.46
/proc/9356/task/9366/stat : 9366 (satake) R 9354 9356 27791 0 -1 4202560 33930 0 0 0 53760 686 0 0 20 0 17 0 641809157 2000994304 410735 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9356/tid=9367] ppid=9354 vsize=1954096 CPUtime=541.84
/proc/9356/task/9367/stat : 9367 (satake) S 9354 9356 27791 0 -1 4202560 33637 0 0 0 53596 588 0 0 20 0 17 0 641809157 2000994304 410735 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=9356/tid=9368] ppid=9354 vsize=1954096 CPUtime=537.47
/proc/9356/task/9368/stat : 9368 (satake) S 9354 9356 27791 0 -1 4202560 33894 0 0 0 53183 564 0 0 20 0 17 0 641809157 2000994304 410735 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=9356/tid=9369] ppid=9354 vsize=1954096 CPUtime=543.08
/proc/9356/task/9369/stat : 9369 (satake) R 9354 9356 27791 0 -1 4202560 31532 0 0 0 53768 540 0 0 20 0 17 0 641809158 2000994304 410735 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9356/tid=9370] ppid=9354 vsize=1954096 CPUtime=540.68
/proc/9356/task/9370/stat : 9370 (satake) R 9354 9356 27791 0 -1 4202560 32629 0 0 0 53536 532 0 0 20 0 17 0 641809158 2000994304 410735 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9356/tid=9371] ppid=9354 vsize=1954096 CPUtime=553.18
/proc/9356/task/9371/stat : 9371 (satake) R 9354 9356 27791 0 -1 4202560 31846 0 0 0 54818 500 0 0 20 0 17 0 641809158 2000994304 410735 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134528267 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9356/tid=9372] ppid=9354 vsize=1954096 CPUtime=539.43
/proc/9356/task/9372/stat : 9372 (satake) R 9354 9356 27791 0 -1 4202560 31575 0 0 0 53373 570 0 0 20 0 17 0 641809158 2000994304 410735 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8440.84
Current children cumulated vsize (KiB) 1954096

[startup+774.304 s]
/proc/loadavg: 12.59 13.06 10.49 10/201 9388
/proc/meminfo: memFree=17464492/36427776 swapFree=4588/1653032
[pid=9356] ppid=9354 vsize=1954096 CPUtime=8498.15
/proc/9356/stat : 9356 (satake) S 9354 9356 27791 0 -1 4202496 488030 0 0 0 813397 36418 0 0 20 0 17 0 641809157 2000994304 410736 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/9356/statm: 488524 410736 68 164 0 488359 0
[pid=9356/tid=9357] ppid=9354 vsize=1954096 CPUtime=299.27
/proc/9356/task/9357/stat : 9357 (satake) R 9354 9356 27791 0 -1 4202560 3632 0 0 0 1926 28001 0 0 20 0 17 0 641809157 2000994304 410736 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9356/tid=9358] ppid=9354 vsize=1954096 CPUtime=531.39
/proc/9356/task/9358/stat : 9358 (satake) S 9354 9356 27791 0 -1 4202560 30989 0 0 0 52571 568 0 0 20 0 17 0 641809157 2000994304 410736 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=9356/tid=9359] ppid=9354 vsize=1954096 CPUtime=551.85
/proc/9356/task/9359/stat : 9359 (satake) R 9354 9356 27791 0 -1 4202560 33569 0 0 0 54665 520 0 0 20 0 17 0 641809157 2000994304 410736 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134528080 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9356/tid=9360] ppid=9354 vsize=1954096 CPUtime=542
/proc/9356/task/9360/stat : 9360 (satake) R 9354 9356 27791 0 -1 4202560 31469 0 0 0 53728 472 0 0 20 0 17 0 641809157 2000994304 410736 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134519935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9356/tid=9361] ppid=9354 vsize=1954096 CPUtime=550.61
/proc/9356/task/9361/stat : 9361 (satake) R 9354 9356 27791 0 -1 4202560 31615 0 0 0 54497 564 0 0 20 0 17 0 641809157 2000994304 410736 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134528546 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9356/tid=9362] ppid=9354 vsize=1954096 CPUtime=552.16
/proc/9356/task/9362/stat : 9362 (satake) R 9354 9356 27791 0 -1 4202560 31918 0 0 0 54648 568 0 0 20 0 17 0 641809157 2000994304 410736 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134526482 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9356/tid=9363] ppid=9354 vsize=1954096 CPUtime=551.96
/proc/9356/task/9363/stat : 9363 (satake) S 9354 9356 27791 0 -1 4202560 33048 0 0 0 54672 524 0 0 20 0 17 0 641809157 2000994304 410736 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=9356/tid=9364] ppid=9354 vsize=1954096 CPUtime=552.47
/proc/9356/task/9364/stat : 9364 (satake) R 9354 9356 27791 0 -1 4202560 31832 0 0 0 54679 568 0 0 20 0 17 0 641809157 2000994304 410736 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134520667 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9356/tid=9365] ppid=9354 vsize=1954096 CPUtime=540.17
/proc/9356/task/9365/stat : 9365 (satake) S 9354 9356 27791 0 -1 4202560 30790 0 0 0 53387 630 0 0 20 0 17 0 641809157 2000994304 410736 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=9356/tid=9366] ppid=9354 vsize=1954096 CPUtime=547.87
/proc/9356/task/9366/stat : 9366 (satake) S 9354 9356 27791 0 -1 4202560 33930 0 0 0 54101 686 0 0 20 0 17 0 641809157 2000994304 410736 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=9356/tid=9367] ppid=9354 vsize=1954096 CPUtime=546.35
/proc/9356/task/9367/stat : 9367 (satake) R 9354 9356 27791 0 -1 4202560 33637 0 0 0 54045 590 0 0 20 0 17 0 641809157 2000994304 410736 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9356/tid=9368] ppid=9354 vsize=1954096 CPUtime=541.43
/proc/9356/task/9368/stat : 9368 (satake) R 9354 9356 27791 0 -1 4202560 33894 0 0 0 53573 570 0 0 20 0 17 0 641809157 2000994304 410736 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9356/tid=9369] ppid=9354 vsize=1954096 CPUtime=546.5
/proc/9356/task/9369/stat : 9369 (satake) R 9354 9356 27791 0 -1 4202560 31532 0 0 0 54108 542 0 0 20 0 17 0 641809158 2000994304 410736 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9356/tid=9370] ppid=9354 vsize=1954096 CPUtime=543.42
/proc/9356/task/9370/stat : 9370 (satake) R 9354 9356 27791 0 -1 4202560 32629 0 0 0 53804 538 0 0 20 0 17 0 641809158 2000994304 410736 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134528861 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9356/tid=9371] ppid=9354 vsize=1954096 CPUtime=557.38
/proc/9356/task/9371/stat : 9371 (satake) S 9354 9356 27791 0 -1 4202560 31846 0 0 0 55238 500 0 0 20 0 17 0 641809158 2000994304 410736 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=9356/tid=9372] ppid=9354 vsize=1954096 CPUtime=543.2
/proc/9356/task/9372/stat : 9372 (satake) S 9354 9356 27791 0 -1 4202560 31575 0 0 0 53750 570 0 0 20 0 17 0 641809158 2000994304 410736 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8498.15
Current children cumulated vsize (KiB) 1954096

[startup+780.705 s]
/proc/loadavg: 12.70 13.07 10.51 17/201 9388
/proc/meminfo: memFree=17464492/36427776 swapFree=4588/1652644
[pid=9356] ppid=9354 vsize=1892328 CPUtime=8570.01
/proc/9356/stat : 9356 (satake) S 9354 9356 27791 0 -1 4202496 488051 0 0 0 820240 36761 0 0 20 0 15 0 641809157 1937743872 400473 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/9356/statm: 473082 400473 77 164 0 472917 0
[pid=9356/tid=9358] ppid=9354 vsize=1892328 CPUtime=535.2
/proc/9356/task/9358/stat : 9358 (satake) S 9354 9356 27791 0 -1 4202560 30989 0 0 0 52938 582 0 0 20 0 15 0 641809157 1937743872 400473 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=9356/tid=9359] ppid=9354 vsize=1892328 CPUtime=557.4
/proc/9356/task/9359/stat : 9359 (satake) S 9354 9356 27791 0 -1 4202560 33569 0 0 0 55212 528 0 0 20 0 15 0 641809157 1937743872 400473 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=9356/tid=9360] ppid=9354 vsize=1892328 CPUtime=546.66
/proc/9356/task/9360/stat : 9360 (satake) R 9354 9356 27791 0 -1 4202560 31469 0 0 0 54178 488 0 0 20 0 15 0 641809157 1937743872 400473 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134666416 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9356/tid=9361] ppid=9354 vsize=1892328 CPUtime=554.85
/proc/9356/task/9361/stat : 9361 (satake) R 9354 9356 27791 0 -1 4202560 31615 0 0 0 54919 566 0 0 20 0 15 0 641809157 1937743872 400473 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134528881 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9356/tid=9362] ppid=9354 vsize=1892328 CPUtime=556.59
/proc/9356/task/9362/stat : 9362 (satake) S 9354 9356 27791 0 -1 4202560 31918 0 0 0 55087 572 0 0 20 0 15 0 641809157 1937743872 400473 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=9356/tid=9363] ppid=9354 vsize=1892328 CPUtime=556.67
/proc/9356/task/9363/stat : 9363 (satake) S 9354 9356 27791 0 -1 4202560 33048 0 0 0 55137 530 0 0 20 0 15 0 641809157 1937743872 400473 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=9356/tid=9364] ppid=9354 vsize=1892328 CPUtime=557.53
/proc/9356/task/9364/stat : 9364 (satake) R 9354 9356 27791 0 -1 4202560 31832 0 0 0 55185 568 0 0 20 0 15 0 641809157 1937743872 400473 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9356/tid=9365] ppid=9354 vsize=1892328 CPUtime=544.94
/proc/9356/task/9365/stat : 9365 (satake) S 9354 9356 27791 0 -1 4202560 30790 0 0 0 53860 634 0 0 20 0 15 0 641809157 1937743872 400473 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=9356/tid=9367] ppid=9354 vsize=1892328 CPUtime=550.52
/proc/9356/task/9367/stat : 9367 (satake) R 9354 9356 27791 0 -1 4202560 33637 0 0 0 54460 592 0 0 20 0 15 0 641809157 1937743872 400473 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134528118 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9356/tid=9368] ppid=9354 vsize=1892328 CPUtime=544.86
/proc/9356/task/9368/stat : 9368 (satake) R 9354 9356 27791 0 -1 4202560 33894 0 0 0 53898 588 0 0 20 0 15 0 641809157 1937743872 400473 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134666446 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9356/tid=9369] ppid=9354 vsize=1892328 CPUtime=551.58
/proc/9356/task/9369/stat : 9369 (satake) S 9354 9356 27791 0 -1 4202560 31532 0 0 0 54590 568 0 0 20 0 15 0 641809158 1937743872 400473 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=9356/tid=9370] ppid=9354 vsize=1892328 CPUtime=548.91
/proc/9356/task/9370/stat : 9370 (satake) S 9354 9356 27791 0 -1 4202560 32629 0 0 0 54343 548 0 0 20 0 15 0 641809158 1937743872 400473 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=9356/tid=9371] ppid=9354 vsize=1892328 CPUtime=561.79
/proc/9356/task/9371/stat : 9371 (satake) S 9354 9356 27791 0 -1 4202560 31846 0 0 0 55657 522 0 0 20 0 15 0 641809158 1937743872 400473 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=9356/tid=9372] ppid=9354 vsize=1892328 CPUtime=548.52
/proc/9356/task/9372/stat : 9372 (satake) S 9354 9356 27791 0 -1 4202560 31575 0 0 0 54278 574 0 0 20 0 15 0 641809158 1937743872 400473 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8570.01
Current children cumulated vsize (KiB) 1892328

[startup+782.305 s]
/proc/loadavg: 12.70 13.07 10.51 3/197 9388
/proc/meminfo: memFree=17553916/36427776 swapFree=4624/1560712
[pid=9356] ppid=9354 vsize=1748556 CPUtime=8580.07
/proc/9356/stat : 9356 (satake) S 9354 9356 27791 0 -1 4202496 488051 0 0 0 820848 37159 0 0 20 0 12 0 641809157 1790521344 378987 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/9356/statm: 437139 378987 77 164 0 436974 0
[pid=9356/tid=9358] ppid=9354 vsize=1748556 CPUtime=536.19
/proc/9356/task/9358/stat : 9358 (satake) S 9354 9356 27791 0 -1 4202560 30989 0 0 0 53019 600 0 0 20 0 12 0 641809157 1790521344 378987 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=9356/tid=9359] ppid=9354 vsize=1748556 CPUtime=558.18
/proc/9356/task/9359/stat : 9359 (satake) S 9354 9356 27791 0 -1 4202560 33569 0 0 0 55254 564 0 0 20 0 12 0 641809157 1790521344 378987 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=9356/tid=9360] ppid=9354 vsize=1748556 CPUtime=547.48
/proc/9356/task/9360/stat : 9360 (satake) S 9354 9356 27791 0 -1 4202560 31469 0 0 0 54228 520 0 0 20 0 12 0 641809157 1790521344 378987 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=9356/tid=9361] ppid=9354 vsize=1748556 CPUtime=555.72
/proc/9356/task/9361/stat : 9361 (satake) S 9354 9356 27791 0 -1 4202560 31615 0 0 0 54992 580 0 0 20 0 12 0 641809157 1790521344 378987 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=9356/tid=9362] ppid=9354 vsize=1748556 CPUtime=557.31
/proc/9356/task/9362/stat : 9362 (satake) S 9354 9356 27791 0 -1 4202560 31918 0 0 0 55125 606 0 0 20 0 12 0 641809157 1790521344 378987 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=9356/tid=9363] ppid=9354 vsize=1748556 CPUtime=557.38
/proc/9356/task/9363/stat : 9363 (satake) S 9354 9356 27791 0 -1 4202560 33048 0 0 0 55174 564 0 0 20 0 12 0 641809157 1790521344 378987 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=9356/tid=9364] ppid=9354 vsize=1748556 CPUtime=558.23
/proc/9356/task/9364/stat : 9364 (satake) S 9354 9356 27791 0 -1 4202560 31832 0 0 0 55233 590 0 0 20 0 12 0 641809157 1790521344 378987 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=9356/tid=9365] ppid=9354 vsize=1748556 CPUtime=545.67
/proc/9356/task/9365/stat : 9365 (satake) R 9354 9356 27791 0 -1 4202560 30790 0 0 0 53901 666 0 0 20 0 12 0 641809157 1790521344 378987 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134666410 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9356/tid=9367] ppid=9354 vsize=1748556 CPUtime=551.22
/proc/9356/task/9367/stat : 9367 (satake) R 9354 9356 27791 0 -1 4202560 33637 0 0 0 54500 622 0 0 20 0 12 0 641809157 1790521344 378987 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134666396 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9356/tid=9370] ppid=9354 vsize=1748556 CPUtime=549.59
/proc/9356/task/9370/stat : 9370 (satake) R 9354 9356 27791 0 -1 4202560 32629 0 0 0 54379 580 0 0 20 0 12 0 641809158 1790521344 378987 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134534674 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9356/tid=9372] ppid=9354 vsize=1748556 CPUtime=549.21
/proc/9356/task/9372/stat : 9372 (satake) S 9354 9356 27791 0 -1 4202560 31575 0 0 0 54315 606 0 0 20 0 12 0 641809158 1790521344 378987 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8580.07
Current children cumulated vsize (KiB) 1748556

[startup+783.104 s]
/proc/loadavg: 12.41 13.00 10.50 5/190 9388
/proc/meminfo: memFree=17705628/36427776 swapFree=4624/1408352
[pid=9356] ppid=9354 vsize=1517264 CPUtime=8583.49
/proc/9356/stat : 9356 (satake) S 9354 9356 27791 0 -1 4202496 488051 0 0 0 821094 37255 0 0 20 0 6 0 641809157 1553678336 347745 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/9356/statm: 379316 347745 77 164 0 379151 0
[pid=9356/tid=9358] ppid=9354 vsize=1517264 CPUtime=536.39
/proc/9356/task/9358/stat : 9358 (satake) R 9354 9356 27791 0 -1 4202560 30989 0 0 0 53033 606 0 0 20 0 6 0 641809157 1553678336 347745 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9356/tid=9361] ppid=9354 vsize=1517264 CPUtime=556
/proc/9356/task/9361/stat : 9361 (satake) R 9354 9356 27791 0 -1 4202560 31615 0 0 0 55016 584 0 0 20 0 6 0 641809157 1553678336 347745 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9356/tid=9364] ppid=9354 vsize=1517264 CPUtime=558.66
/proc/9356/task/9364/stat : 9364 (satake) R 9354 9356 27791 0 -1 4202560 31832 0 0 0 55264 602 0 0 20 0 6 0 641809157 1553678336 347745 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9356/tid=9365] ppid=9354 vsize=1517264 CPUtime=546.21
/proc/9356/task/9365/stat : 9365 (satake) S 9354 9356 27791 0 -1 4202560 30790 0 0 0 53939 682 0 0 20 0 6 0 641809157 1553678336 347745 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=9356/tid=9367] ppid=9354 vsize=1517264 CPUtime=551.64
/proc/9356/task/9367/stat : 9367 (satake) R 9354 9356 27791 0 -1 4202560 33637 0 0 0 54532 632 0 0 20 0 6 0 641809157 1553678336 347745 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 8583.49
Current children cumulated vsize (KiB) 1517264

[startup+783.501 s]
/proc/loadavg: 12.41 13.00 10.50 5/190 9388
/proc/meminfo: memFree=17705628/36427776 swapFree=4624/1408352
[pid=9356] ppid=9354 vsize=1399652 CPUtime=8584.49
/proc/9356/stat : 9356 (satake) S 9354 9356 27791 0 -1 4202496 488051 0 0 0 821181 37268 0 0 20 0 3 0 641809157 1433243648 331324 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/9356/statm: 349913 331324 77 164 0 349748 0
[pid=9356/tid=9358] ppid=9354 vsize=1399652 CPUtime=536.69
/proc/9356/task/9358/stat : 9358 (satake) R 9354 9356 27791 0 -1 4202560 30989 0 0 0 53059 610 0 0 20 0 3 0 641809157 1433243648 331324 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9356/tid=9361] ppid=9354 vsize=1399652 CPUtime=556.34
/proc/9356/task/9361/stat : 9361 (satake) R 9354 9356 27791 0 -1 4202560 31615 0 0 0 55048 586 0 0 20 0 3 0 641809157 1433243648 331324 18446744073709551615 134512640 135180984 4292097056 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 8584.49
Current children cumulated vsize (KiB) 1399652

[startup+783.705 s]
/proc/loadavg: 12.41 13.00 10.50 5/190 9388
/proc/meminfo: memFree=17705628/36427776 swapFree=4624/1408352
[pid=9356] ppid=9354 vsize=0 CPUtime=8584.72
/proc/9356/stat : 9356 (satake) R 9354 9356 27791 0 -1 4202500 488052 0 0 0 821190 37282 0 0 20 0 1 0 641809157 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/9356/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 8584.72
Current children cumulated vsize (KiB) 0

Child status: 16
Real time (s): 783.815
CPU time (s): 8584.85
CPU user time (s): 8211.91
CPU system time (s): 372.943
CPU usage (%): 1095.27
Max. virtual memory (cumulated for all children) (KiB): 1954096


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8211.91
system time used= 372.943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 488052
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= 29152191
involuntary context switches= 12574086

runsolver used 3.46422 second user time and 11.3687 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 18:43:47
IDJOB=1780362
IDBENCH=70988
IDSOLVER=631
FILE ID=xenhost3-49/1780362-1244825027
PBS_JOBID=
Free space on /tmp= 7010 MiB

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

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

MD5SUM BENCH= d8dd0726277891eae9a2807dfd8946db
RANDOM SEED= 1020853928

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:      19110740 kB
Buffers:        435208 kB
Cached:       14131412 kB
SwapCached:          0 kB
Active:        4080868 kB
Inactive:     10494368 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           21308 kB
Writeback:           0 kB
AnonPages:        8052 kB
Mapped:           4180 kB
Slab:           689800 kB
SReclaimable:   662932 kB
SUnreclaim:      26868 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= 7009 MiB
End job on xenhost3-49 at 2009-06-12 18:56:52