Trace number 1776927

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 264.289 205.131

General information on the benchmark

Namecmu-bmc-longmult15.cnf
MD5SUM21b49b73035bb6e7a1dd17830907ac9d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark27.81
Satisfiable
(Un)Satisfiability was proved
Number of variables7807
Number of clauses24351
Sum of the clauses size58557
Maximum clause length18
Minimum clause length1
Number of clauses of size 153
Number of clauses of size 216386
Number of clauses of size 36700
Number of clauses of size 4908
Number of clauses of size 516
Number of clauses of size over 5288

Solver Data 

264.26/205.12	c Benchmark name    : HOME/instance-1776927-1244763403.cnf
264.26/205.12	c Thread Num        :           16
264.26/205.12	c restarts          :           10
264.26/205.12	c conflicts         :        10073
264.26/205.12	c decisions         :        12822           (       63 / sec      )
264.26/205.12	c propagations      :      8117508           (    39619 / sec      )
264.26/205.12	c inspects          :     36099068           (   176187 / sec      )
264.26/205.12	c conflict literals :       256103           (    58.18 % deleted  )
264.26/205.12	c cpu time          :       204.89           
264.26/205.12	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-1776927-1244763403/watcher-1776927-1244763403 -o /tmp/evaluation-result-1776927-1244763403/solver-1776927-1244763403 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776927-1244763403.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: 4.38 3.12 2.66 2/184 1691
/proc/meminfo: memFree=19139000/36427776 swapFree=3704/9596
[pid=1691] ppid=1689 vsize=5056 CPUtime=0
/proc/1691/stat : 1691 (satake) D 1689 1691 27791 0 -1 4202496 260 0 0 0 0 0 0 0 20 0 11 0 635646618 5177344 215 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 1264 216 62 164 0 1099 0
[pid=1691/tid=1692] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1692/stat : 1692 (satake) S 1689 1691 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 345 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1693] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1693/stat : 1693 (satake) R 1689 1691 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 345 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1694] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1694/stat : 1694 (satake) R 1689 1691 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 346 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=1691/tid=1695] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1695/stat : 1695 (satake) R 1689 1691 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 346 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1696] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1696/stat : 1696 (satake) R 1689 1691 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 346 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1691/tid=1697] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1697/stat : 1697 (satake) S 1689 1691 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 346 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1698] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1698/stat : 1698 (satake) R 1689 1691 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 347 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1699] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1699/stat : 1699 (satake) R 1689 1691 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 350 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1700] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1700/stat : 1700 (satake) R 1689 1691 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 352 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1691/tid=1701] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1701/stat : 1701 (satake) R 1689 1691 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 353 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1691/tid=1702] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1702/stat : 1702 (satake) R 1689 1691 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 354 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1703] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1703/stat : 1703 (satake) R 1689 1691 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 13 0 635646620 8159232 355 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.116829 s]
/proc/loadavg: 4.38 3.12 2.66 2/184 1691
/proc/meminfo: memFree=19139000/36427776 swapFree=3704/9596
[pid=1691] ppid=1689 vsize=25496 CPUtime=0.53
/proc/1691/stat : 1691 (satake) S 1689 1691 27791 0 -1 4202496 4102 0 0 0 12 41 0 0 20 0 17 0 635646618 26107904 4041 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 6374 4046 63 164 0 6209 0
[pid=1691/tid=1692] ppid=1689 vsize=25496 CPUtime=0
/proc/1691/task/1692/stat : 1692 (satake) S 1689 1691 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 635646619 26107904 4046 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1693] ppid=1689 vsize=25496 CPUtime=0.04
/proc/1691/task/1693/stat : 1693 (satake) S 1689 1691 27791 0 -1 4202560 298 0 0 0 0 4 0 0 20 0 17 0 635646619 26107904 4046 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1694] ppid=1689 vsize=25496 CPUtime=0.04
/proc/1691/task/1694/stat : 1694 (satake) S 1689 1691 27791 0 -1 4202560 365 0 0 0 0 4 0 0 20 0 17 0 635646619 26107904 4056 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=1691/tid=1695] ppid=1689 vsize=25496 CPUtime=0.04
/proc/1691/task/1695/stat : 1695 (satake) S 1689 1691 27791 0 -1 4202560 257 0 0 0 0 4 0 0 20 0 17 0 635646619 26107904 4059 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1696] ppid=1689 vsize=25496 CPUtime=0.04
/proc/1691/task/1696/stat : 1696 (satake) R 1689 1691 27791 0 -1 4202560 338 0 0 0 0 4 0 0 20 0 17 0 635646619 26107904 4063 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1691/tid=1697] ppid=1689 vsize=25496 CPUtime=0.04
/proc/1691/task/1697/stat : 1697 (satake) R 1689 1691 27791 0 -1 4202560 284 0 0 0 4 0 0 0 20 0 17 0 635646619 26107904 4064 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1698] ppid=1689 vsize=25496 CPUtime=0.04
/proc/1691/task/1698/stat : 1698 (satake) D 1689 1691 27791 0 -1 4202560 269 0 0 0 0 4 0 0 20 0 17 0 635646619 26107904 4065 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1699] ppid=1689 vsize=25496 CPUtime=0.04
/proc/1691/task/1699/stat : 1699 (satake) D 1689 1691 27791 0 -1 4202560 307 0 0 0 0 4 0 0 20 0 17 0 635646619 26107904 4065 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1700] ppid=1689 vsize=25496 CPUtime=0.04
/proc/1691/task/1700/stat : 1700 (satake) D 1689 1691 27791 0 -1 4202560 312 0 0 0 0 4 0 0 20 0 17 0 635646619 26107904 4067 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1691/tid=1701] ppid=1689 vsize=25496 CPUtime=0.04
/proc/1691/task/1701/stat : 1701 (satake) S 1689 1691 27791 0 -1 4202560 248 0 0 0 4 0 0 0 20 0 17 0 635646619 26107904 4067 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=1691/tid=1702] ppid=1689 vsize=25496 CPUtime=0.02
/proc/1691/task/1702/stat : 1702 (satake) S 1689 1691 27791 0 -1 4202560 173 0 0 0 2 0 0 0 20 0 17 0 635646619 26107904 4073 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1703] ppid=1689 vsize=25496 CPUtime=0.02
/proc/1691/task/1703/stat : 1703 (satake) S 1689 1691 27791 0 -1 4202560 292 0 0 0 0 2 0 0 20 0 17 0 635646620 26107904 4078 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 25496

[startup+0.204848 s]
/proc/loadavg: 4.38 3.12 2.66 2/184 1691
/proc/meminfo: memFree=19139000/36427776 swapFree=3704/9596
[pid=1691] ppid=1689 vsize=35032 CPUtime=0.95
/proc/1691/stat : 1691 (satake) S 1689 1691 27791 0 -1 4202496 6953 0 0 0 23 72 0 0 20 0 17 0 635646618 35872768 6803 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 8758 6806 66 164 0 8593 0
[pid=1691/tid=1692] ppid=1689 vsize=35032 CPUtime=0
/proc/1691/task/1692/stat : 1692 (satake) S 1689 1691 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 635646619 35872768 6809 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1693] ppid=1689 vsize=35032 CPUtime=0.06
/proc/1691/task/1693/stat : 1693 (satake) R 1689 1691 27791 0 -1 4202560 514 0 0 0 2 4 0 0 20 0 17 0 635646619 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1694] ppid=1689 vsize=35032 CPUtime=0.08
/proc/1691/task/1694/stat : 1694 (satake) S 1689 1691 27791 0 -1 4202560 465 0 0 0 2 6 0 0 20 0 17 0 635646619 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=1691/tid=1695] ppid=1689 vsize=35032 CPUtime=0.06
/proc/1691/task/1695/stat : 1695 (satake) S 1689 1691 27791 0 -1 4202560 455 0 0 0 2 4 0 0 20 0 17 0 635646619 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1696] ppid=1689 vsize=35032 CPUtime=0.06
/proc/1691/task/1696/stat : 1696 (satake) S 1689 1691 27791 0 -1 4202560 448 0 0 0 0 6 0 0 20 0 17 0 635646619 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=1691/tid=1697] ppid=1689 vsize=35032 CPUtime=0.06
/proc/1691/task/1697/stat : 1697 (satake) R 1689 1691 27791 0 -1 4202560 487 0 0 0 4 2 0 0 20 0 17 0 635646619 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1698] ppid=1689 vsize=35032 CPUtime=0.06
/proc/1691/task/1698/stat : 1698 (satake) S 1689 1691 27791 0 -1 4202560 474 0 0 0 0 6 0 0 20 0 17 0 635646619 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1699] ppid=1689 vsize=35032 CPUtime=0.06
/proc/1691/task/1699/stat : 1699 (satake) D 1689 1691 27791 0 -1 4202560 519 0 0 0 0 6 0 0 20 0 17 0 635646619 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1700] ppid=1689 vsize=35032 CPUtime=0.06
/proc/1691/task/1700/stat : 1700 (satake) S 1689 1691 27791 0 -1 4202560 491 0 0 0 0 6 0 0 20 0 17 0 635646619 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=1691/tid=1701] ppid=1689 vsize=35032 CPUtime=0.06
/proc/1691/task/1701/stat : 1701 (satake) S 1689 1691 27791 0 -1 4202560 463 0 0 0 4 2 0 0 20 0 17 0 635646619 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=1691/tid=1702] ppid=1689 vsize=35032 CPUtime=0.04
/proc/1691/task/1702/stat : 1702 (satake) D 1689 1691 27791 0 -1 4202560 369 0 0 0 2 2 0 0 20 0 17 0 635646619 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1703] ppid=1689 vsize=35032 CPUtime=0.06
/proc/1691/task/1703/stat : 1703 (satake) S 1689 1691 27791 0 -1 4202560 513 0 0 0 2 4 0 0 20 0 17 0 635646620 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 35032

[startup+0.304837 s]
/proc/loadavg: 4.38 3.12 2.66 2/184 1691
/proc/meminfo: memFree=19139000/36427776 swapFree=3704/9596
[pid=1691] ppid=1689 vsize=32284 CPUtime=1.63
/proc/1691/stat : 1691 (satake) S 1689 1691 27791 0 -1 4202496 7691 0 0 0 85 78 0 0 20 0 17 0 635646618 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 8071 6295 68 164 0 7906 0
[pid=1691/tid=1692] ppid=1689 vsize=32284 CPUtime=0
/proc/1691/task/1692/stat : 1692 (satake) D 1689 1691 27791 0 -1 4202560 112 0 0 0 0 0 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1693] ppid=1689 vsize=32284 CPUtime=0.1
/proc/1691/task/1693/stat : 1693 (satake) S 1689 1691 27791 0 -1 4202560 530 0 0 0 6 4 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1694] ppid=1689 vsize=32284 CPUtime=0.14
/proc/1691/task/1694/stat : 1694 (satake) R 1689 1691 27791 0 -1 4202560 471 0 0 0 8 6 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134528278 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=1691/tid=1695] ppid=1689 vsize=32284 CPUtime=0.1
/proc/1691/task/1695/stat : 1695 (satake) S 1689 1691 27791 0 -1 4202560 465 0 0 0 6 4 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1696] ppid=1689 vsize=32284 CPUtime=0.1
/proc/1691/task/1696/stat : 1696 (satake) S 1689 1691 27791 0 -1 4202560 454 0 0 0 4 6 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1691/tid=1697] ppid=1689 vsize=32284 CPUtime=0.1
/proc/1691/task/1697/stat : 1697 (satake) S 1689 1691 27791 0 -1 4202560 493 0 0 0 6 4 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1698] ppid=1689 vsize=32284 CPUtime=0.12
/proc/1691/task/1698/stat : 1698 (satake) S 1689 1691 27791 0 -1 4202560 479 0 0 0 6 6 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1699] ppid=1689 vsize=32284 CPUtime=0.1
/proc/1691/task/1699/stat : 1699 (satake) S 1689 1691 27791 0 -1 4202560 539 0 0 0 4 6 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1700] ppid=1689 vsize=32284 CPUtime=0.1
/proc/1691/task/1700/stat : 1700 (satake) S 1689 1691 27791 0 -1 4202560 499 0 0 0 4 6 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=1691/tid=1701] ppid=1689 vsize=32284 CPUtime=0.1
/proc/1691/task/1701/stat : 1701 (satake) S 1689 1691 27791 0 -1 4202560 494 0 0 0 6 4 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=1691/tid=1702] ppid=1689 vsize=32284 CPUtime=0.08
/proc/1691/task/1702/stat : 1702 (satake) S 1689 1691 27791 0 -1 4202560 513 0 0 0 6 2 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=1691/tid=1703] ppid=1689 vsize=32284 CPUtime=0.1
/proc/1691/task/1703/stat : 1703 (satake) D 1689 1691 27791 0 -1 4202560 525 0 0 0 6 4 0 0 20 0 17 0 635646620 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 32284

[startup+0.704872 s]
/proc/loadavg: 4.38 3.12 2.66 2/184 1691
/proc/meminfo: memFree=19139000/36427776 swapFree=3704/9596
[pid=1691] ppid=1689 vsize=33308 CPUtime=2.23
/proc/1691/stat : 1691 (satake) S 1689 1691 27791 0 -1 4202496 7757 0 0 0 115 108 0 0 20 0 17 0 635646618 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 8327 6361 68 164 0 8162 0
[pid=1691/tid=1692] ppid=1689 vsize=33308 CPUtime=0.18
/proc/1691/task/1692/stat : 1692 (satake) R 1689 1691 27791 0 -1 4202560 114 0 0 0 0 18 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1693] ppid=1689 vsize=33308 CPUtime=0.14
/proc/1691/task/1693/stat : 1693 (satake) S 1689 1691 27791 0 -1 4202560 538 0 0 0 6 8 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1694] ppid=1689 vsize=33308 CPUtime=0.14
/proc/1691/task/1694/stat : 1694 (satake) S 1689 1691 27791 0 -1 4202560 472 0 0 0 8 6 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1691/tid=1695] ppid=1689 vsize=33308 CPUtime=0.1
/proc/1691/task/1695/stat : 1695 (satake) S 1689 1691 27791 0 -1 4202560 465 0 0 0 6 4 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1696] ppid=1689 vsize=33308 CPUtime=0.16
/proc/1691/task/1696/stat : 1696 (satake) S 1689 1691 27791 0 -1 4202560 459 0 0 0 10 6 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1691/tid=1697] ppid=1689 vsize=33308 CPUtime=0.12
/proc/1691/task/1697/stat : 1697 (satake) S 1689 1691 27791 0 -1 4202560 498 0 0 0 8 4 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1698] ppid=1689 vsize=33308 CPUtime=0.14
/proc/1691/task/1698/stat : 1698 (satake) S 1689 1691 27791 0 -1 4202560 482 0 0 0 8 6 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1699] ppid=1689 vsize=33308 CPUtime=0.14
/proc/1691/task/1699/stat : 1699 (satake) S 1689 1691 27791 0 -1 4202560 546 0 0 0 8 6 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1700] ppid=1689 vsize=33308 CPUtime=0.14
/proc/1691/task/1700/stat : 1700 (satake) S 1689 1691 27791 0 -1 4202560 508 0 0 0 6 8 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=1691/tid=1701] ppid=1689 vsize=33308 CPUtime=0.2
/proc/1691/task/1701/stat : 1701 (satake) S 1689 1691 27791 0 -1 4202560 506 0 0 0 12 8 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=1691/tid=1702] ppid=1689 vsize=33308 CPUtime=0.08
/proc/1691/task/1702/stat : 1702 (satake) S 1689 1691 27791 0 -1 4202560 513 0 0 0 6 2 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=1691/tid=1703] ppid=1689 vsize=33308 CPUtime=0.14
/proc/1691/task/1703/stat : 1703 (satake) S 1689 1691 27791 0 -1 4202560 530 0 0 0 10 4 0 0 20 0 17 0 635646620 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 33308

[startup+1.50093 s]
/proc/loadavg: 4.38 3.12 2.66 2/201 1708
/proc/meminfo: memFree=19115644/36427776 swapFree=4160/34616
[pid=1691] ppid=1689 vsize=34464 CPUtime=3.14
/proc/1691/stat : 1691 (satake) S 1689 1691 27791 0 -1 4202496 7871 0 0 0 143 171 0 0 20 0 17 0 635646618 35291136 6475 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 8616 6475 68 164 0 8451 0
[pid=1691/tid=1692] ppid=1689 vsize=34464 CPUtime=0.6
/proc/1691/task/1692/stat : 1692 (satake) D 1689 1691 27791 0 -1 4202560 122 0 0 0 2 58 0 0 20 0 17 0 635646619 35291136 6475 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1693] ppid=1689 vsize=34464 CPUtime=0.14
/proc/1691/task/1693/stat : 1693 (satake) S 1689 1691 27791 0 -1 4202560 538 0 0 0 6 8 0 0 20 0 17 0 635646619 35291136 6475 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1694] ppid=1689 vsize=34464 CPUtime=0.18
/proc/1691/task/1694/stat : 1694 (satake) S 1689 1691 27791 0 -1 4202560 488 0 0 0 10 8 0 0 20 0 17 0 635646619 35291136 6475 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1691/tid=1695] ppid=1689 vsize=34464 CPUtime=0.14
/proc/1691/task/1695/stat : 1695 (satake) S 1689 1691 27791 0 -1 4202560 480 0 0 0 10 4 0 0 20 0 17 0 635646619 35291136 6475 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1696] ppid=1689 vsize=34464 CPUtime=0.16
/proc/1691/task/1696/stat : 1696 (satake) R 1689 1691 27791 0 -1 4202560 465 0 0 0 10 6 0 0 20 0 17 0 635646619 35291136 6475 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1691/tid=1697] ppid=1689 vsize=34464 CPUtime=0.2
/proc/1691/task/1697/stat : 1697 (satake) S 1689 1691 27791 0 -1 4202560 512 0 0 0 12 8 0 0 20 0 17 0 635646619 35291136 6475 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1698] ppid=1689 vsize=34464 CPUtime=0.14
/proc/1691/task/1698/stat : 1698 (satake) S 1689 1691 27791 0 -1 4202560 482 0 0 0 8 6 0 0 20 0 17 0 635646619 35291136 6475 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1699] ppid=1689 vsize=34464 CPUtime=0.14
/proc/1691/task/1699/stat : 1699 (satake) S 1689 1691 27791 0 -1 4202560 546 0 0 0 8 6 0 0 20 0 17 0 635646619 35291136 6475 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1700] ppid=1689 vsize=34464 CPUtime=0.14
/proc/1691/task/1700/stat : 1700 (satake) S 1689 1691 27791 0 -1 4202560 508 0 0 0 6 8 0 0 20 0 17 0 635646619 35291136 6475 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0

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

[pid=1691] ppid=1689 vsize=68700 CPUtime=259.97
/proc/1691/stat : 1691 (satake) S 1689 1691 27791 0 -1 4202496 16113 0 0 0 10517 15480 0 0 20 0 17 0 635646618 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 17175 14717 68 164 0 17010 0
[pid=1691/tid=1692] ppid=1689 vsize=68700 CPUtime=98.58
/proc/1691/task/1692/stat : 1692 (satake) D 1689 1691 27791 0 -1 4202560 1612 0 0 0 1226 8632 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1693] ppid=1689 vsize=68700 CPUtime=9.48
/proc/1691/task/1693/stat : 1693 (satake) S 1689 1691 27791 0 -1 4202560 1007 0 0 0 554 394 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1694] ppid=1689 vsize=68700 CPUtime=9.86
/proc/1691/task/1694/stat : 1694 (satake) S 1689 1691 27791 0 -1 4202560 941 0 0 0 544 442 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1691/tid=1695] ppid=1689 vsize=68700 CPUtime=8.68
/proc/1691/task/1695/stat : 1695 (satake) S 1689 1691 27791 0 -1 4202560 877 0 0 0 538 330 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1696] ppid=1689 vsize=68700 CPUtime=10.08
/proc/1691/task/1696/stat : 1696 (satake) S 1689 1691 27791 0 -1 4202560 921 0 0 0 606 402 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1691/tid=1697] ppid=1689 vsize=68700 CPUtime=9.88
/proc/1691/task/1697/stat : 1697 (satake) S 1689 1691 27791 0 -1 4202560 971 0 0 0 594 394 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=1691/tid=1698] ppid=1689 vsize=68700 CPUtime=10.34
/proc/1691/task/1698/stat : 1698 (satake) S 1689 1691 27791 0 -1 4202560 931 0 0 0 610 424 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1699] ppid=1689 vsize=68700 CPUtime=10.6
/proc/1691/task/1699/stat : 1699 (satake) S 1689 1691 27791 0 -1 4202560 986 0 0 0 640 420 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1700] ppid=1689 vsize=68700 CPUtime=11.58
/proc/1691/task/1700/stat : 1700 (satake) S 1689 1691 27791 0 -1 4202560 951 0 0 0 678 480 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=1691/tid=1701] ppid=1689 vsize=68700 CPUtime=11.98
/proc/1691/task/1701/stat : 1701 (satake) S 1689 1691 27791 0 -1 4202560 964 0 0 0 742 456 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=1691/tid=1702] ppid=1689 vsize=68700 CPUtime=10.22
/proc/1691/task/1702/stat : 1702 (satake) S 1689 1691 27791 0 -1 4202560 988 0 0 0 544 478 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=1691/tid=1703] ppid=1689 vsize=68700 CPUtime=11.26
/proc/1691/task/1703/stat : 1703 (satake) S 1689 1691 27791 0 -1 4202560 962 0 0 0 600 526 0 0 20 0 17 0 635646620 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=1691/tid=1705] ppid=1689 vsize=68700 CPUtime=10.44
/proc/1691/task/1705/stat : 1705 (satake) S 1689 1691 27791 0 -1 4202560 971 0 0 0 680 364 0 0 20 0 17 0 635646620 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1706] ppid=1689 vsize=68700 CPUtime=12.22
/proc/1691/task/1706/stat : 1706 (satake) R 1689 1691 27791 0 -1 4202560 980 0 0 0 662 560 0 0 20 0 17 0 635646620 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1707] ppid=1689 vsize=68700 CPUtime=12.38
/proc/1691/task/1707/stat : 1707 (satake) S 1689 1691 27791 0 -1 4202560 968 0 0 0 654 584 0 0 20 0 17 0 635646620 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=1691/tid=1708] ppid=1689 vsize=68700 CPUtime=12.26
/proc/1691/task/1708/stat : 1708 (satake) S 1689 1691 27791 0 -1 4202560 955 0 0 0 636 590 0 0 20 0 17 0 635646621 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 259.97
Current children cumulated vsize (KiB) 68700

[startup+204.004 s]
/proc/loadavg: 2.45 2.71 2.58 3/201 1713
/proc/meminfo: memFree=19082196/36427776 swapFree=4588/68980
[pid=1691] ppid=1689 vsize=68700 CPUtime=261.41
/proc/1691/stat : 1691 (satake) S 1689 1691 27791 0 -1 4202496 16115 0 0 0 10603 15538 0 0 20 0 17 0 635646618 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 17175 14719 68 164 0 17010 0
[pid=1691/tid=1692] ppid=1689 vsize=68700 CPUtime=98.97
/proc/1691/task/1692/stat : 1692 (satake) D 1689 1691 27791 0 -1 4202560 1612 0 0 0 1236 8661 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1693] ppid=1689 vsize=68700 CPUtime=9.6
/proc/1691/task/1693/stat : 1693 (satake) S 1689 1691 27791 0 -1 4202560 1007 0 0 0 564 396 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1694] ppid=1689 vsize=68700 CPUtime=9.98
/proc/1691/task/1694/stat : 1694 (satake) S 1689 1691 27791 0 -1 4202560 941 0 0 0 552 446 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1691/tid=1695] ppid=1689 vsize=68700 CPUtime=8.68
/proc/1691/task/1695/stat : 1695 (satake) S 1689 1691 27791 0 -1 4202560 877 0 0 0 538 330 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1696] ppid=1689 vsize=68700 CPUtime=10.2
/proc/1691/task/1696/stat : 1696 (satake) S 1689 1691 27791 0 -1 4202560 921 0 0 0 614 406 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1691/tid=1697] ppid=1689 vsize=68700 CPUtime=10.06
/proc/1691/task/1697/stat : 1697 (satake) S 1689 1691 27791 0 -1 4202560 971 0 0 0 608 398 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=1691/tid=1698] ppid=1689 vsize=68700 CPUtime=10.44
/proc/1691/task/1698/stat : 1698 (satake) S 1689 1691 27791 0 -1 4202560 931 0 0 0 616 428 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1699] ppid=1689 vsize=68700 CPUtime=10.7
/proc/1691/task/1699/stat : 1699 (satake) S 1689 1691 27791 0 -1 4202560 986 0 0 0 646 424 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1700] ppid=1689 vsize=68700 CPUtime=11.68
/proc/1691/task/1700/stat : 1700 (satake) R 1689 1691 27791 0 -1 4202560 951 0 0 0 684 484 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1691/tid=1701] ppid=1689 vsize=68700 CPUtime=11.98
/proc/1691/task/1701/stat : 1701 (satake) D 1689 1691 27791 0 -1 4202560 964 0 0 0 742 456 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1691/tid=1702] ppid=1689 vsize=68700 CPUtime=10.22
/proc/1691/task/1702/stat : 1702 (satake) S 1689 1691 27791 0 -1 4202560 988 0 0 0 544 478 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=1691/tid=1703] ppid=1689 vsize=68700 CPUtime=11.42
/proc/1691/task/1703/stat : 1703 (satake) S 1689 1691 27791 0 -1 4202560 964 0 0 0 612 530 0 0 20 0 17 0 635646620 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=1691/tid=1705] ppid=1689 vsize=68700 CPUtime=10.44
/proc/1691/task/1705/stat : 1705 (satake) S 1689 1691 27791 0 -1 4202560 971 0 0 0 680 364 0 0 20 0 17 0 635646620 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1706] ppid=1689 vsize=68700 CPUtime=12.3
/proc/1691/task/1706/stat : 1706 (satake) S 1689 1691 27791 0 -1 4202560 980 0 0 0 670 560 0 0 20 0 17 0 635646620 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1707] ppid=1689 vsize=68700 CPUtime=12.38
/proc/1691/task/1707/stat : 1707 (satake) S 1689 1691 27791 0 -1 4202560 968 0 0 0 654 584 0 0 20 0 17 0 635646620 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=1691/tid=1708] ppid=1689 vsize=68700 CPUtime=12.26
/proc/1691/task/1708/stat : 1708 (satake) S 1689 1691 27791 0 -1 4202560 955 0 0 0 636 590 0 0 20 0 17 0 635646621 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 261.41
Current children cumulated vsize (KiB) 68700

[startup+204.804 s]
/proc/loadavg: 2.45 2.71 2.58 3/201 1713
/proc/meminfo: memFree=19082196/36427776 swapFree=4588/68984
[pid=1691] ppid=1689 vsize=68700 CPUtime=262.97
/proc/1691/stat : 1691 (satake) S 1689 1691 27791 0 -1 4202496 16118 0 0 0 10710 15587 0 0 20 0 17 0 635646618 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 17175 14722 68 164 0 17010 0
[pid=1691/tid=1692] ppid=1689 vsize=68700 CPUtime=99.37
/proc/1691/task/1692/stat : 1692 (satake) R 1689 1691 27791 0 -1 4202560 1615 0 0 0 1242 8695 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1693] ppid=1689 vsize=68700 CPUtime=9.62
/proc/1691/task/1693/stat : 1693 (satake) S 1689 1691 27791 0 -1 4202560 1007 0 0 0 566 396 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1694] ppid=1689 vsize=68700 CPUtime=10.08
/proc/1691/task/1694/stat : 1694 (satake) S 1689 1691 27791 0 -1 4202560 941 0 0 0 562 446 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1691/tid=1695] ppid=1689 vsize=68700 CPUtime=8.74
/proc/1691/task/1695/stat : 1695 (satake) S 1689 1691 27791 0 -1 4202560 877 0 0 0 544 330 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1696] ppid=1689 vsize=68700 CPUtime=10.24
/proc/1691/task/1696/stat : 1696 (satake) S 1689 1691 27791 0 -1 4202560 921 0 0 0 618 406 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1691/tid=1697] ppid=1689 vsize=68700 CPUtime=10.1
/proc/1691/task/1697/stat : 1697 (satake) S 1689 1691 27791 0 -1 4202560 971 0 0 0 612 398 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=1691/tid=1698] ppid=1689 vsize=68700 CPUtime=10.48
/proc/1691/task/1698/stat : 1698 (satake) R 1689 1691 27791 0 -1 4202560 931 0 0 0 620 428 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134520773 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1699] ppid=1689 vsize=68700 CPUtime=10.74
/proc/1691/task/1699/stat : 1699 (satake) S 1689 1691 27791 0 -1 4202560 986 0 0 0 650 424 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1700] ppid=1689 vsize=68700 CPUtime=11.74
/proc/1691/task/1700/stat : 1700 (satake) R 1689 1691 27791 0 -1 4202560 951 0 0 0 690 484 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134522980 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1691/tid=1701] ppid=1689 vsize=68700 CPUtime=12.1
/proc/1691/task/1701/stat : 1701 (satake) R 1689 1691 27791 0 -1 4202560 964 0 0 0 752 458 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134523816 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1691/tid=1702] ppid=1689 vsize=68700 CPUtime=10.32
/proc/1691/task/1702/stat : 1702 (satake) S 1689 1691 27791 0 -1 4202560 988 0 0 0 552 480 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=1691/tid=1703] ppid=1689 vsize=68700 CPUtime=11.48
/proc/1691/task/1703/stat : 1703 (satake) S 1689 1691 27791 0 -1 4202560 964 0 0 0 618 530 0 0 20 0 17 0 635646620 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=1691/tid=1705] ppid=1689 vsize=68700 CPUtime=10.52
/proc/1691/task/1705/stat : 1705 (satake) S 1689 1691 27791 0 -1 4202560 971 0 0 0 688 364 0 0 20 0 17 0 635646620 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1706] ppid=1689 vsize=68700 CPUtime=12.38
/proc/1691/task/1706/stat : 1706 (satake) S 1689 1691 27791 0 -1 4202560 980 0 0 0 678 560 0 0 20 0 17 0 635646620 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1707] ppid=1689 vsize=68700 CPUtime=12.52
/proc/1691/task/1707/stat : 1707 (satake) R 1689 1691 27791 0 -1 4202560 968 0 0 0 666 586 0 0 20 0 17 0 635646620 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1691/tid=1708] ppid=1689 vsize=68700 CPUtime=12.38
/proc/1691/task/1708/stat : 1708 (satake) S 1689 1691 27791 0 -1 4202560 955 0 0 0 644 594 0 0 20 0 17 0 635646621 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 262.97
Current children cumulated vsize (KiB) 68700

[startup+205.003 s]
/proc/loadavg: 2.45 2.71 2.58 3/201 1713
/proc/meminfo: memFree=19082196/36427776 swapFree=4588/68984
[pid=1691] ppid=1689 vsize=67360 CPUtime=263.95
/proc/1691/stat : 1691 (satake) S 1689 1691 27791 0 -1 4202496 16127 0 0 0 10747 15648 0 0 20 0 16 0 635646618 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 16840 14499 77 164 0 16675 0
[pid=1691/tid=1692] ppid=1689 vsize=67360 CPUtime=99.43
/proc/1691/task/1692/stat : 1692 (satake) R 1689 1691 27791 0 -1 4202560 1615 0 0 0 1242 8701 0 0 20 0 16 0 635646619 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1693] ppid=1689 vsize=67360 CPUtime=9.66
/proc/1691/task/1693/stat : 1693 (satake) R 1689 1691 27791 0 -1 4202560 1007 0 0 0 568 398 0 0 20 0 16 0 635646619 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1695] ppid=1689 vsize=67360 CPUtime=8.82
/proc/1691/task/1695/stat : 1695 (satake) S 1689 1691 27791 0 -1 4202560 877 0 0 0 548 334 0 0 20 0 16 0 635646619 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1696] ppid=1689 vsize=67360 CPUtime=10.3
/proc/1691/task/1696/stat : 1696 (satake) R 1689 1691 27791 0 -1 4202560 921 0 0 0 620 410 0 0 20 0 16 0 635646619 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1691/tid=1697] ppid=1689 vsize=67360 CPUtime=10.12
/proc/1691/task/1697/stat : 1697 (satake) R 1689 1691 27791 0 -1 4202560 971 0 0 0 612 400 0 0 20 0 16 0 635646619 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1691/tid=1698] ppid=1689 vsize=67360 CPUtime=10.56
/proc/1691/task/1698/stat : 1698 (satake) R 1689 1691 27791 0 -1 4202560 931 0 0 0 624 432 0 0 20 0 16 0 635646619 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1699] ppid=1689 vsize=67360 CPUtime=10.82
/proc/1691/task/1699/stat : 1699 (satake) R 1689 1691 27791 0 -1 4202560 986 0 0 0 654 428 0 0 20 0 16 0 635646619 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1700] ppid=1689 vsize=67360 CPUtime=11.82
/proc/1691/task/1700/stat : 1700 (satake) R 1689 1691 27791 0 -1 4202560 951 0 0 0 694 488 0 0 20 0 16 0 635646619 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1691/tid=1701] ppid=1689 vsize=67360 CPUtime=12.18
/proc/1691/task/1701/stat : 1701 (satake) R 1689 1691 27791 0 -1 4202560 964 0 0 0 754 464 0 0 20 0 16 0 635646619 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1691/tid=1702] ppid=1689 vsize=67360 CPUtime=10.38
/proc/1691/task/1702/stat : 1702 (satake) R 1689 1691 27791 0 -1 4202560 988 0 0 0 556 482 0 0 20 0 16 0 635646619 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1691/tid=1703] ppid=1689 vsize=67360 CPUtime=11.54
/proc/1691/task/1703/stat : 1703 (satake) R 1689 1691 27791 0 -1 4202560 973 0 0 0 620 534 0 0 20 0 16 0 635646620 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1691/tid=1705] ppid=1689 vsize=67360 CPUtime=10.58
/proc/1691/task/1705/stat : 1705 (satake) S 1689 1691 27791 0 -1 4202560 971 0 0 0 688 370 0 0 20 0 16 0 635646620 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1706] ppid=1689 vsize=67360 CPUtime=12.44
/proc/1691/task/1706/stat : 1706 (satake) R 1689 1691 27791 0 -1 4202560 980 0 0 0 680 564 0 0 20 0 16 0 635646620 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1707] ppid=1689 vsize=67360 CPUtime=12.6
/proc/1691/task/1707/stat : 1707 (satake) R 1689 1691 27791 0 -1 4202560 968 0 0 0 670 590 0 0 20 0 16 0 635646620 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1691/tid=1708] ppid=1689 vsize=67360 CPUtime=12.44
/proc/1691/task/1708/stat : 1708 (satake) R 1689 1691 27791 0 -1 4202560 955 0 0 0 646 598 0 0 20 0 16 0 635646621 68976640 14453 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 263.95
Current children cumulated vsize (KiB) 67360

[startup+205.104 s]
/proc/loadavg: 2.45 2.71 2.58 3/201 1713
/proc/meminfo: memFree=19082196/36427776 swapFree=4588/68984
[pid=1691] ppid=1689 vsize=63348 CPUtime=264.26
/proc/1691/stat : 1691 (satake) S 1689 1691 27791 0 -1 4202496 16127 0 0 0 10771 15655 0 0 20 0 2 0 635646618 64868352 13593 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 15837 13593 77 164 0 15672 0
[pid=1691/tid=1706] ppid=1689 vsize=63348 CPUtime=12.5
/proc/1691/task/1706/stat : 1706 (satake) R 1689 1691 27791 0 -1 4202560 980 0 0 0 686 564 0 0 20 0 2 0 635646620 64868352 13593 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134520784 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 264.26
Current children cumulated vsize (KiB) 63348

Child status: 16
Real time (s): 205.131
CPU time (s): 264.289
CPU user time (s): 107.727
CPU system time (s): 156.562
CPU usage (%): 128.839
Max. virtual memory (cumulated for all children) (KiB): 68700


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 107.727
system time used= 156.562
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16128
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= 12716239
involuntary context switches= 901502

runsolver used 0.888055 second user time and 2.29614 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 01:36:43
IDJOB=1776927
IDBENCH=69621
IDSOLVER=631
FILE ID=xenhost3-49/1776927-1244763403
PBS_JOBID=
Free space on /tmp= 7038 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT_RACE08/cnf/cmu-bmc-longmult15.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776927-1244763403/watcher-1776927-1244763403 -o /tmp/evaluation-result-1776927-1244763403/solver-1776927-1244763403 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776927-1244763403.cnf 16 10000

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

MD5SUM BENCH= 21b49b73035bb6e7a1dd17830907ac9d
RANDOM SEED= 1177219572

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:      19138204 kB
Buffers:        433588 kB
Cached:       14102428 kB
SwapCached:          0 kB
Active:        4079856 kB
Inactive:     10465248 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1128 kB
Writeback:           0 kB
AnonPages:        9768 kB
Mapped:           3516 kB
Slab:           688144 kB
SReclaimable:   661292 kB
SUnreclaim:      26852 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7037 MiB
End job on xenhost3-49 at 2009-06-12 01:40:08