Trace number 1778772

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 576.188 97.9465

General information on the benchmark

NameAPPLICATIONS/bitverif/
minxorminand/minxorminand032.cnf
MD5SUM49dda3faa6676166ee2ccb89f6cd8ca0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark14.73
Satisfiable
(Un)Satisfiability was proved
Number of variables10794
Number of clauses31997
Sum of the clauses size74657
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 221330
Number of clauses of size 310665
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

576.15/97.93	c Benchmark name    : HOME/instance-1778772-1244767372.cnf
576.15/97.93	c Thread Num        :           16
576.15/97.93	c restarts          :           13
576.15/97.93	c conflicts         :        37460
576.15/97.93	c decisions         :        85257           (      875 / sec      )
576.15/97.93	c propagations      :     35868088           (   368124 / sec      )
576.15/97.93	c inspects          :    122867647           (  1261024 / sec      )
576.15/97.93	c conflict literals :      5145456           (    33.97 % deleted  )
576.15/97.93	c cpu time          :        97.43           
576.15/97.93	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-1778772-1244767372/watcher-1778772-1244767372 -o /tmp/evaluation-result-1778772-1244767372/solver-1778772-1244767372 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1778772-1244767372.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: 15.23 11.87 7.05 2/184 2247
/proc/meminfo: memFree=19143212/36427776 swapFree=4176/8112
[pid=2247] ppid=2245 vsize=5748 CPUtime=0
/proc/2247/stat : 2247 (satake) D 2245 2247 27791 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 15 0 636043588 5885952 283 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2247/statm: 1437 283 62 164 0 1272 0
[pid=2247/tid=2248] ppid=2245 vsize=10020 CPUtime=0
/proc/2247/task/2248/stat : 2248 (satake) S 2245 2247 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 636043588 10260480 697 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=2247/tid=2249] ppid=2245 vsize=10020 CPUtime=0
/proc/2247/task/2249/stat : 2249 (satake) R 2245 2247 27791 0 -1 4202560 90 0 0 0 0 0 0 0 20 0 17 0 636043588 10260480 701 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2247/tid=2250] ppid=2245 vsize=10020 CPUtime=0
/proc/2247/task/2250/stat : 2250 (satake) R 2245 2247 27791 0 -1 4202560 106 0 0 0 0 0 0 0 20 0 17 0 636043588 10260480 704 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2247/tid=2251] ppid=2245 vsize=10020 CPUtime=0
/proc/2247/task/2251/stat : 2251 (satake) S 2245 2247 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 636043588 10260480 704 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=2247/tid=2252] ppid=2245 vsize=10020 CPUtime=0
/proc/2247/task/2252/stat : 2252 (satake) R 2245 2247 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 17 0 636043588 10260480 704 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=2247/tid=2253] ppid=2245 vsize=10020 CPUtime=0
/proc/2247/task/2253/stat : 2253 (satake) D 2245 2247 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 636043588 10260480 707 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=2247/tid=2254] ppid=2245 vsize=10020 CPUtime=0
/proc/2247/task/2254/stat : 2254 (satake) R 2245 2247 27791 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 17 0 636043588 10260480 709 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=2247/tid=2255] ppid=2245 vsize=10020 CPUtime=0
/proc/2247/task/2255/stat : 2255 (satake) S 2245 2247 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 636043588 10260480 709 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=2247/tid=2256] ppid=2245 vsize=10276 CPUtime=0
/proc/2247/task/2256/stat : 2256 (satake) S 2245 2247 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 636043588 10522624 709 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=2247/tid=2257] ppid=2245 vsize=10276 CPUtime=0
/proc/2247/task/2257/stat : 2257 (satake) R 2245 2247 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 636043588 10522624 714 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=2247/tid=2258] ppid=2245 vsize=10276 CPUtime=0
/proc/2247/task/2258/stat : 2258 (satake) R 2245 2247 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 636043588 10522624 714 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2247/tid=2259] ppid=2245 vsize=10276 CPUtime=0
/proc/2247/task/2259/stat : 2259 (satake) R 2245 2247 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 17 0 636043589 10522624 714 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=2247/tid=2260] ppid=2245 vsize=10276 CPUtime=0
/proc/2247/task/2260/stat : 2260 (satake) R 2245 2247 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 636043589 10522624 726 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2247/tid=2261] ppid=2245 vsize=10276 CPUtime=0
/proc/2247/task/2261/stat : 2261 (satake) R 2245 2247 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 17 0 636043589 10522624 743 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2247/tid=2262] ppid=2245 vsize=10276 CPUtime=0
/proc/2247/task/2262/stat : 2262 (satake) R 2245 2247 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 17 0 636043589 10522624 768 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2247/tid=2263] ppid=2245 vsize=10276 CPUtime=0
/proc/2247/task/2263/stat : 2263 (satake) R 2245 2247 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 636043589 10522624 787 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0

[startup+0.109359 s]
/proc/loadavg: 15.23 11.87 7.05 2/184 2247
/proc/meminfo: memFree=19143212/36427776 swapFree=4176/8112
[pid=2247] ppid=2245 vsize=28268 CPUtime=0.39
/proc/2247/stat : 2247 (satake) S 2245 2247 27791 0 -1 4202496 4926 0 0 0 24 15 0 0 20 0 17 0 636043588 28946432 4866 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2247/statm: 7067 4868 63 164 0 6902 0
[pid=2247/tid=2248] ppid=2245 vsize=28268 CPUtime=0
/proc/2247/task/2248/stat : 2248 (satake) S 2245 2247 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 636043588 28946432 4868 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=2247/tid=2249] ppid=2245 vsize=28268 CPUtime=0.02
/proc/2247/task/2249/stat : 2249 (satake) S 2245 2247 27791 0 -1 4202560 392 0 0 0 2 0 0 0 20 0 17 0 636043588 28946432 4869 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=2247/tid=2250] ppid=2245 vsize=28268 CPUtime=0.02
/proc/2247/task/2250/stat : 2250 (satake) R 2245 2247 27791 0 -1 4202560 413 0 0 0 0 2 0 0 20 0 17 0 636043588 28946432 4870 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2247/tid=2251] ppid=2245 vsize=28268 CPUtime=0.02
/proc/2247/task/2251/stat : 2251 (satake) S 2245 2247 27791 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 17 0 636043588 28946432 4870 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=2247/tid=2252] ppid=2245 vsize=28268 CPUtime=0.02
/proc/2247/task/2252/stat : 2252 (satake) D 2245 2247 27791 0 -1 4202560 275 0 0 0 2 0 0 0 20 0 17 0 636043588 28946432 4870 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=2247/tid=2253] ppid=2245 vsize=28268 CPUtime=0.02
/proc/2247/task/2253/stat : 2253 (satake) R 2245 2247 27791 0 -1 4202560 300 0 0 0 0 2 0 0 20 0 17 0 636043588 28946432 4874 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=2247/tid=2254] ppid=2245 vsize=28268 CPUtime=0.02
/proc/2247/task/2254/stat : 2254 (satake) R 2245 2247 27791 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 17 0 636043588 28946432 4874 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=2247/tid=2255] ppid=2245 vsize=28268 CPUtime=0.02
/proc/2247/task/2255/stat : 2255 (satake) R 2245 2247 27791 0 -1 4202560 314 0 0 0 0 2 0 0 20 0 17 0 636043588 28946432 4877 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=2247/tid=2256] ppid=2245 vsize=28268 CPUtime=0.02
/proc/2247/task/2256/stat : 2256 (satake) S 2245 2247 27791 0 -1 4202560 316 0 0 0 2 0 0 0 20 0 17 0 636043588 28946432 4877 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=2247/tid=2257] ppid=2245 vsize=28268 CPUtime=0.04
/proc/2247/task/2257/stat : 2257 (satake) R 2245 2247 27791 0 -1 4202560 368 0 0 0 4 0 0 0 20 0 17 0 636043588 28946432 4879 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=2247/tid=2258] ppid=2245 vsize=28268 CPUtime=0.02
/proc/2247/task/2258/stat : 2258 (satake) S 2245 2247 27791 0 -1 4202560 258 0 0 0 2 0 0 0 20 0 17 0 636043588 28946432 4879 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=2247/tid=2259] ppid=2245 vsize=28268 CPUtime=0.02
/proc/2247/task/2259/stat : 2259 (satake) R 2245 2247 27791 0 -1 4202560 323 0 0 0 0 2 0 0 20 0 17 0 636043589 28946432 4881 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=2247/tid=2260] ppid=2245 vsize=28268 CPUtime=0.02
/proc/2247/task/2260/stat : 2260 (satake) D 2245 2247 27791 0 -1 4202560 282 0 0 0 0 2 0 0 20 0 17 0 636043589 28946432 4881 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2247/tid=2261] ppid=2245 vsize=28268 CPUtime=0.02
/proc/2247/task/2261/stat : 2261 (satake) D 2245 2247 27791 0 -1 4202560 323 0 0 0 2 0 0 0 20 0 17 0 636043589 28946432 4882 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134522704 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2247/tid=2262] ppid=2245 vsize=28268 CPUtime=0
/proc/2247/task/2262/stat : 2262 (satake) S 2245 2247 27791 0 -1 4202560 203 0 0 0 0 0 0 0 20 0 17 0 636043589 28946432 4882 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=2247/tid=2263] ppid=2245 vsize=28268 CPUtime=0.02
/proc/2247/task/2263/stat : 2263 (satake) S 2245 2247 27791 0 -1 4202560 328 0 0 0 2 0 0 0 20 0 17 0 636043589 28946432 4884 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 28268

[startup+0.205494 s]
/proc/loadavg: 15.23 11.87 7.05 2/184 2247
/proc/meminfo: memFree=19143212/36427776 swapFree=4176/8112
[pid=2247] ppid=2245 vsize=43244 CPUtime=0.86
/proc/2247/stat : 2247 (satake) S 2245 2247 27791 0 -1 4202496 8449 0 0 0 57 29 0 0 20 0 17 0 636043588 44281856 8274 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2247/statm: 10811 8278 66 164 0 10646 0
[pid=2247/tid=2248] ppid=2245 vsize=43244 CPUtime=0
/proc/2247/task/2248/stat : 2248 (satake) D 2245 2247 27791 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 17 0 636043588 44281856 8278 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134543371 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2247/tid=2249] ppid=2245 vsize=43244 CPUtime=0.06
/proc/2247/task/2249/stat : 2249 (satake) R 2245 2247 27791 0 -1 4202560 661 0 0 0 6 0 0 0 20 0 17 0 636043588 44281856 8278 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2247/tid=2250] ppid=2245 vsize=43244 CPUtime=0.06
/proc/2247/task/2250/stat : 2250 (satake) R 2245 2247 27791 0 -1 4202560 664 0 0 0 4 2 0 0 20 0 17 0 636043588 44281856 8281 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2247/tid=2251] ppid=2245 vsize=43244 CPUtime=0.06
/proc/2247/task/2251/stat : 2251 (satake) S 2245 2247 27791 0 -1 4202560 642 0 0 0 6 0 0 0 20 0 17 0 636043588 44281856 8283 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=2247/tid=2252] ppid=2245 vsize=43244 CPUtime=0.04
/proc/2247/task/2252/stat : 2252 (satake) S 2245 2247 27791 0 -1 4202560 461 0 0 0 4 0 0 0 20 0 17 0 636043588 44281856 8285 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=2247/tid=2253] ppid=2245 vsize=43244 CPUtime=0.04
/proc/2247/task/2253/stat : 2253 (satake) S 2245 2247 27791 0 -1 4202560 596 0 0 0 2 2 0 0 20 0 17 0 636043588 44281856 8287 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=2247/tid=2254] ppid=2245 vsize=43244 CPUtime=0.04
/proc/2247/task/2254/stat : 2254 (satake) S 2245 2247 27791 0 -1 4202560 624 0 0 0 2 2 0 0 20 0 17 0 636043588 44281856 8288 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=2247/tid=2255] ppid=2245 vsize=43244 CPUtime=0.04
/proc/2247/task/2255/stat : 2255 (satake) R 2245 2247 27791 0 -1 4202560 527 0 0 0 0 4 0 0 20 0 17 0 636043588 44281856 8289 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=2247/tid=2256] ppid=2245 vsize=43244 CPUtime=0.06
/proc/2247/task/2256/stat : 2256 (satake) S 2245 2247 27791 0 -1 4202560 632 0 0 0 6 0 0 0 20 0 17 0 636043588 44281856 8293 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=2247/tid=2257] ppid=2245 vsize=43244 CPUtime=0.06
/proc/2247/task/2257/stat : 2257 (satake) S 2245 2247 27791 0 -1 4202560 623 0 0 0 6 0 0 0 20 0 17 0 636043588 44281856 8298 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=2247/tid=2258] ppid=2245 vsize=43244 CPUtime=0.04
/proc/2247/task/2258/stat : 2258 (satake) S 2245 2247 27791 0 -1 4202560 415 0 0 0 4 0 0 0 20 0 17 0 636043588 44281856 8304 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=2247/tid=2259] ppid=2245 vsize=43244 CPUtime=0.04
/proc/2247/task/2259/stat : 2259 (satake) S 2245 2247 27791 0 -1 4202560 521 0 0 0 0 4 0 0 20 0 17 0 636043589 44281856 8304 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=2247/tid=2260] ppid=2245 vsize=43244 CPUtime=0.04
/proc/2247/task/2260/stat : 2260 (satake) S 2245 2247 27791 0 -1 4202560 448 0 0 0 2 2 0 0 20 0 17 0 636043589 44281856 8308 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=2247/tid=2261] ppid=2245 vsize=43244 CPUtime=0.04
/proc/2247/task/2261/stat : 2261 (satake) S 2245 2247 27791 0 -1 4202560 532 0 0 0 4 0 0 0 20 0 17 0 636043589 44281856 8311 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=2247/tid=2262] ppid=2245 vsize=43244 CPUtime=0.02
/proc/2247/task/2262/stat : 2262 (satake) R 2245 2247 27791 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 17 0 636043589 44281856 8316 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2247/tid=2263] ppid=2245 vsize=43244 CPUtime=0.04
/proc/2247/task/2263/stat : 2263 (satake) R 2245 2247 27791 0 -1 4202560 580 0 0 0 2 2 0 0 20 0 17 0 636043589 44281856 8318 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 43244

[startup+0.30535 s]
/proc/loadavg: 15.23 11.87 7.05 2/184 2247
/proc/meminfo: memFree=19143212/36427776 swapFree=4176/8112
[pid=2247] ppid=2245 vsize=47564 CPUtime=1.35
/proc/2247/stat : 2247 (satake) S 2245 2247 27791 0 -1 4202496 10512 0 0 0 102 33 0 0 20 0 17 0 636043588 48705536 8957 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2247/statm: 11891 8965 68 164 0 11726 0
[pid=2247/tid=2248] ppid=2245 vsize=47564 CPUtime=0
/proc/2247/task/2248/stat : 2248 (satake) R 2245 2247 27791 0 -1 4202560 179 0 0 0 0 0 0 0 20 0 17 0 636043588 48705536 8967 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580588 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2247/tid=2249] ppid=2245 vsize=47564 CPUtime=0.08
/proc/2247/task/2249/stat : 2249 (satake) R 2245 2247 27791 0 -1 4202560 663 0 0 0 8 0 0 0 20 0 17 0 636043588 48705536 8972 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134518634 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2247/tid=2250] ppid=2245 vsize=47564 CPUtime=0.1
/proc/2247/task/2250/stat : 2250 (satake) S 2245 2247 27791 0 -1 4202560 677 0 0 0 8 2 0 0 20 0 17 0 636043588 48705536 8975 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=2247/tid=2251] ppid=2245 vsize=48588 CPUtime=0.08
/proc/2247/task/2251/stat : 2251 (satake) R 2245 2247 27791 0 -1 4202560 704 0 0 0 8 0 0 0 20 0 17 0 636043588 49754112 8975 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=2247/tid=2252] ppid=2245 vsize=48588 CPUtime=0.06
/proc/2247/task/2252/stat : 2252 (satake) S 2245 2247 27791 0 -1 4202560 661 0 0 0 4 2 0 0 20 0 17 0 636043588 49754112 8981 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=2247/tid=2253] ppid=2245 vsize=48588 CPUtime=0.08
/proc/2247/task/2253/stat : 2253 (satake) R 2245 2247 27791 0 -1 4202560 665 0 0 0 6 2 0 0 20 0 17 0 636043588 49754112 8988 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134532624 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=2247/tid=2254] ppid=2245 vsize=48588 CPUtime=0.08
/proc/2247/task/2254/stat : 2254 (satake) R 2245 2247 27791 0 -1 4202560 659 0 0 0 6 2 0 0 20 0 17 0 636043588 49754112 8991 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=2247/tid=2255] ppid=2245 vsize=48588 CPUtime=0.1
/proc/2247/task/2255/stat : 2255 (satake) R 2245 2247 27791 0 -1 4202560 711 0 0 0 6 4 0 0 20 0 17 0 636043588 49754112 8996 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=2247/tid=2256] ppid=2245 vsize=48588 CPUtime=0.08
/proc/2247/task/2256/stat : 2256 (satake) S 2245 2247 27791 0 -1 4202560 684 0 0 0 8 0 0 0 20 0 17 0 636043588 49754112 9001 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=2247/tid=2257] ppid=2245 vsize=48588 CPUtime=0.12
/proc/2247/task/2257/stat : 2257 (satake) S 2245 2247 27791 0 -1 4202560 658 0 0 0 12 0 0 0 20 0 17 0 636043588 49754112 9007 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=2247/tid=2258] ppid=2245 vsize=48588 CPUtime=0.06
/proc/2247/task/2258/stat : 2258 (satake) S 2245 2247 27791 0 -1 4202560 725 0 0 0 6 0 0 0 20 0 17 0 636043588 49754112 9012 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=2247/tid=2259] ppid=2245 vsize=48588 CPUtime=0.1
/proc/2247/task/2259/stat : 2259 (satake) S 2245 2247 27791 0 -1 4202560 706 0 0 0 6 4 0 0 20 0 17 0 636043589 49754112 9018 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=2247/tid=2260] ppid=2245 vsize=48588 CPUtime=0.04
/proc/2247/task/2260/stat : 2260 (satake) R 2245 2247 27791 0 -1 4202560 574 0 0 0 2 2 0 0 20 0 17 0 636043589 49754112 9021 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2247/tid=2261] ppid=2245 vsize=48588 CPUtime=0.08
/proc/2247/task/2261/stat : 2261 (satake) S 2245 2247 27791 0 -1 4202560 719 0 0 0 8 0 0 0 20 0 17 0 636043589 49754112 9022 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=2247/tid=2262] ppid=2245 vsize=48588 CPUtime=0.04
/proc/2247/task/2262/stat : 2262 (satake) R 2245 2247 27791 0 -1 4202560 739 0 0 0 4 0 0 0 20 0 17 0 636043589 49754112 9022 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2247/tid=2263] ppid=2245 vsize=48588 CPUtime=0.06
/proc/2247/task/2263/stat : 2263 (satake) S 2245 2247 27791 0 -1 4202560 728 0 0 0 2 4 0 0 20 0 17 0 636043589 49754112 9023 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 47564

[startup+0.701387 s]
/proc/loadavg: 15.23 11.87 7.05 2/184 2247
/proc/meminfo: memFree=19143212/36427776 swapFree=4176/8112
[pid=2247] ppid=2245 vsize=47660 CPUtime=2.04
/proc/2247/stat : 2247 (satake) S 2245 2247 27791 0 -1 4202496 10785 0 0 0 145 59 0 0 20 0 17 0 636043588 48803840 9000 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2247/statm: 11915 9000 68 164 0 11750 0
[pid=2247/tid=2248] ppid=2245 vsize=47660 CPUtime=0.18
/proc/2247/task/2248/stat : 2248 (satake) D 2245 2247 27791 0 -1 4202560 182 0 0 0 4 14 0 0 20 0 17 0 636043588 48803840 9000 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2247/tid=2249] ppid=2245 vsize=47660 CPUtime=0.14
/proc/2247/task/2249/stat : 2249 (satake) S 2245 2247 27791 0 -1 4202560 664 0 0 0 12 2 0 0 20 0 17 0 636043588 48803840 9000 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=2247/tid=2250] ppid=2245 vsize=47660 CPUtime=0.14
/proc/2247/task/2250/stat : 2250 (satake) S 2245 2247 27791 0 -1 4202560 678 0 0 0 12 2 0 0 20 0 17 0 636043588 48803840 9000 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=2247/tid=2251] ppid=2245 vsize=47660 CPUtime=0.14
/proc/2247/task/2251/stat : 2251 (satake) S 2245 2247 27791 0 -1 4202560 711 0 0 0 10 4 0 0 20 0 17 0 636043588 48803840 9000 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=2247/tid=2252] ppid=2245 vsize=47660 CPUtime=0.1
/proc/2247/task/2252/stat : 2252 (satake) S 2245 2247 27791 0 -1 4202560 665 0 0 0 8 2 0 0 20 0 17 0 636043588 48803840 9000 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=2247/tid=2253] ppid=2245 vsize=47660 CPUtime=0.14
/proc/2247/task/2253/stat : 2253 (satake) S 2245 2247 27791 0 -1 4202560 669 0 0 0 10 4 0 0 20 0 17 0 636043588 48803840 9000 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=2247/tid=2254] ppid=2245 vsize=47660 CPUtime=0.14
/proc/2247/task/2254/stat : 2254 (satake) S 2245 2247 27791 0 -1 4202560 660 0 0 0 12 2 0 0 20 0 17 0 636043588 48803840 9000 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=2247/tid=2255] ppid=2245 vsize=47660 CPUtime=0.14
/proc/2247/task/2255/stat : 2255 (satake) S 2245 2247 27791 0 -1 4202560 720 0 0 0 8 6 0 0 20 0 17 0 636043588 48803840 9000 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=2247/tid=2256] ppid=2245 vsize=47660 CPUtime=0.1
/proc/2247/task/2256/stat : 2256 (satake) S 2245 2247 27791 0 -1 4202560 685 0 0 0 10 0 0 0 20 0 17 0 636043588 48803840 9000 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=2247/tid=2257] ppid=2245 vsize=47660 CPUtime=0.12

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

[pid=2247/tid=2262] ppid=2245 vsize=277524 CPUtime=35.47
/proc/2247/task/2262/stat : 2262 (satake) D 2245 2247 27791 0 -1 4202560 4729 0 0 0 3469 78 0 0 20 0 17 0 636043589 284184576 65625 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2247/tid=2263] ppid=2245 vsize=277524 CPUtime=35.4
/proc/2247/task/2263/stat : 2263 (satake) R 2245 2247 27791 0 -1 4202560 4467 0 0 0 3452 88 0 0 20 0 17 0 636043589 284184576 65625 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134523791 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 565.43
Current children cumulated vsize (KiB) 277524

[startup+96.0012 s]
/proc/loadavg: 9.35 10.76 7.11 2/201 2264
/proc/meminfo: memFree=18879712/36427776 swapFree=4588/272512
[pid=2247] ppid=2245 vsize=277704 CPUtime=570.88
/proc/2247/stat : 2247 (satake) S 2245 2247 27791 0 -1 4202496 67432 0 0 0 52534 4554 0 0 20 0 17 0 636043588 284368896 65647 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2247/statm: 69426 65647 68 164 0 69261 0
[pid=2247/tid=2248] ppid=2245 vsize=277704 CPUtime=34.86
/proc/2247/task/2248/stat : 2248 (satake) R 2245 2247 27791 0 -1 4202560 510 0 0 0 332 3154 0 0 20 0 17 0 636043588 284368896 65647 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2247/tid=2249] ppid=2245 vsize=277704 CPUtime=34.65
/proc/2247/task/2249/stat : 2249 (satake) S 2245 2247 27791 0 -1 4202560 4458 0 0 0 3381 84 0 0 20 0 17 0 636043588 284368896 65647 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=2247/tid=2250] ppid=2245 vsize=277704 CPUtime=34.49
/proc/2247/task/2250/stat : 2250 (satake) S 2245 2247 27791 0 -1 4202560 4329 0 0 0 3381 68 0 0 20 0 17 0 636043588 284368896 65647 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=2247/tid=2251] ppid=2245 vsize=277704 CPUtime=37.28
/proc/2247/task/2251/stat : 2251 (satake) S 2245 2247 27791 0 -1 4202560 4370 0 0 0 3628 100 0 0 20 0 17 0 636043588 284368896 65647 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=2247/tid=2252] ppid=2245 vsize=277704 CPUtime=37.66
/proc/2247/task/2252/stat : 2252 (satake) S 2245 2247 27791 0 -1 4202560 4367 0 0 0 3678 88 0 0 20 0 17 0 636043588 284368896 65647 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=2247/tid=2253] ppid=2245 vsize=277704 CPUtime=33.3
/proc/2247/task/2253/stat : 2253 (satake) S 2245 2247 27791 0 -1 4202560 4223 0 0 0 3242 88 0 0 20 0 17 0 636043588 284368896 65647 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=2247/tid=2254] ppid=2245 vsize=277704 CPUtime=34.52
/proc/2247/task/2254/stat : 2254 (satake) S 2245 2247 27791 0 -1 4202560 4530 0 0 0 3330 122 0 0 20 0 17 0 636043588 284368896 65647 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=2247/tid=2255] ppid=2245 vsize=277704 CPUtime=35.31
/proc/2247/task/2255/stat : 2255 (satake) S 2245 2247 27791 0 -1 4202560 4491 0 0 0 3439 92 0 0 20 0 17 0 636043588 284368896 65647 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=2247/tid=2256] ppid=2245 vsize=277704 CPUtime=39.16
/proc/2247/task/2256/stat : 2256 (satake) S 2245 2247 27791 0 -1 4202560 4609 0 0 0 3824 92 0 0 20 0 17 0 636043588 284368896 65647 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=2247/tid=2257] ppid=2245 vsize=277704 CPUtime=34.96
/proc/2247/task/2257/stat : 2257 (satake) S 2245 2247 27791 0 -1 4202560 4360 0 0 0 3390 106 0 0 20 0 17 0 636043588 284368896 65647 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=2247/tid=2258] ppid=2245 vsize=277704 CPUtime=36.45
/proc/2247/task/2258/stat : 2258 (satake) S 2245 2247 27791 0 -1 4202560 4664 0 0 0 3553 92 0 0 20 0 17 0 636043588 284368896 65647 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=2247/tid=2259] ppid=2245 vsize=277704 CPUtime=35.04
/proc/2247/task/2259/stat : 2259 (satake) S 2245 2247 27791 0 -1 4202560 4190 0 0 0 3414 90 0 0 20 0 17 0 636043589 284368896 65647 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=2247/tid=2260] ppid=2245 vsize=277704 CPUtime=36.69
/proc/2247/task/2260/stat : 2260 (satake) S 2245 2247 27791 0 -1 4202560 4482 0 0 0 3557 112 0 0 20 0 17 0 636043589 284368896 65647 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=2247/tid=2261] ppid=2245 vsize=277704 CPUtime=34.92
/proc/2247/task/2261/stat : 2261 (satake) D 2245 2247 27791 0 -1 4202560 4529 0 0 0 3406 86 0 0 20 0 17 0 636043589 284368896 65647 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=2247/tid=2262] ppid=2245 vsize=277704 CPUtime=35.79
/proc/2247/task/2262/stat : 2262 (satake) S 2245 2247 27791 0 -1 4202560 4729 0 0 0 3497 82 0 0 20 0 17 0 636043589 284368896 65647 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=2247/tid=2263] ppid=2245 vsize=277704 CPUtime=35.74
/proc/2247/task/2263/stat : 2263 (satake) S 2245 2247 27791 0 -1 4202560 4467 0 0 0 3480 94 0 0 20 0 17 0 636043589 284368896 65647 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 570.88
Current children cumulated vsize (KiB) 277704

[startup+96.804 s]
/proc/loadavg: 8.76 10.62 7.08 2/201 2264
/proc/meminfo: memFree=18879712/36427776 swapFree=4588/272596
[pid=2247] ppid=2245 vsize=277704 CPUtime=571.8
/proc/2247/stat : 2247 (satake) S 2245 2247 27791 0 -1 4202496 67433 0 0 0 52568 4612 0 0 20 0 17 0 636043588 284368896 65648 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2247/statm: 69426 65648 68 164 0 69261 0
[pid=2247/tid=2248] ppid=2245 vsize=277704 CPUtime=35.26
/proc/2247/task/2248/stat : 2248 (satake) R 2245 2247 27791 0 -1 4202560 511 0 0 0 334 3192 0 0 20 0 17 0 636043588 284368896 65648 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2247/tid=2249] ppid=2245 vsize=277704 CPUtime=34.65
/proc/2247/task/2249/stat : 2249 (satake) S 2245 2247 27791 0 -1 4202560 4458 0 0 0 3381 84 0 0 20 0 17 0 636043588 284368896 65648 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=2247/tid=2250] ppid=2245 vsize=277704 CPUtime=34.55
/proc/2247/task/2250/stat : 2250 (satake) S 2245 2247 27791 0 -1 4202560 4329 0 0 0 3385 70 0 0 20 0 17 0 636043588 284368896 65648 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=2247/tid=2251] ppid=2245 vsize=277704 CPUtime=37.28
/proc/2247/task/2251/stat : 2251 (satake) S 2245 2247 27791 0 -1 4202560 4370 0 0 0 3628 100 0 0 20 0 17 0 636043588 284368896 65648 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=2247/tid=2252] ppid=2245 vsize=277704 CPUtime=37.66
/proc/2247/task/2252/stat : 2252 (satake) S 2245 2247 27791 0 -1 4202560 4367 0 0 0 3678 88 0 0 20 0 17 0 636043588 284368896 65648 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=2247/tid=2253] ppid=2245 vsize=277704 CPUtime=33.35
/proc/2247/task/2253/stat : 2253 (satake) D 2245 2247 27791 0 -1 4202560 4223 0 0 0 3245 90 0 0 20 0 17 0 636043588 284368896 65648 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=2247/tid=2254] ppid=2245 vsize=277704 CPUtime=34.67
/proc/2247/task/2254/stat : 2254 (satake) S 2245 2247 27791 0 -1 4202560 4530 0 0 0 3341 126 0 0 20 0 17 0 636043588 284368896 65648 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=2247/tid=2255] ppid=2245 vsize=277704 CPUtime=35.31
/proc/2247/task/2255/stat : 2255 (satake) S 2245 2247 27791 0 -1 4202560 4491 0 0 0 3439 92 0 0 20 0 17 0 636043588 284368896 65648 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=2247/tid=2256] ppid=2245 vsize=277704 CPUtime=39.16
/proc/2247/task/2256/stat : 2256 (satake) S 2245 2247 27791 0 -1 4202560 4609 0 0 0 3824 92 0 0 20 0 17 0 636043588 284368896 65648 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=2247/tid=2257] ppid=2245 vsize=277704 CPUtime=35.05
/proc/2247/task/2257/stat : 2257 (satake) S 2245 2247 27791 0 -1 4202560 4360 0 0 0 3393 112 0 0 20 0 17 0 636043588 284368896 65648 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=2247/tid=2258] ppid=2245 vsize=277704 CPUtime=36.45
/proc/2247/task/2258/stat : 2258 (satake) S 2245 2247 27791 0 -1 4202560 4664 0 0 0 3553 92 0 0 20 0 17 0 636043588 284368896 65648 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=2247/tid=2259] ppid=2245 vsize=277704 CPUtime=35.04
/proc/2247/task/2259/stat : 2259 (satake) S 2245 2247 27791 0 -1 4202560 4190 0 0 0 3414 90 0 0 20 0 17 0 636043589 284368896 65648 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=2247/tid=2260] ppid=2245 vsize=277704 CPUtime=36.77
/proc/2247/task/2260/stat : 2260 (satake) S 2245 2247 27791 0 -1 4202560 4482 0 0 0 3563 114 0 0 20 0 17 0 636043589 284368896 65648 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=2247/tid=2261] ppid=2245 vsize=277704 CPUtime=34.99
/proc/2247/task/2261/stat : 2261 (satake) S 2245 2247 27791 0 -1 4202560 4529 0 0 0 3411 88 0 0 20 0 17 0 636043589 284368896 65648 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=2247/tid=2262] ppid=2245 vsize=277704 CPUtime=35.79
/proc/2247/task/2262/stat : 2262 (satake) S 2245 2247 27791 0 -1 4202560 4729 0 0 0 3497 82 0 0 20 0 17 0 636043589 284368896 65648 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=2247/tid=2263] ppid=2245 vsize=277704 CPUtime=35.74
/proc/2247/task/2263/stat : 2263 (satake) S 2245 2247 27791 0 -1 4202560 4467 0 0 0 3480 94 0 0 20 0 17 0 636043589 284368896 65648 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 571.8
Current children cumulated vsize (KiB) 277704

[startup+97.6028 s]
/proc/loadavg: 8.76 10.62 7.08 2/201 2264
/proc/meminfo: memFree=18879712/36427776 swapFree=4588/272596
[pid=2247] ppid=2245 vsize=277376 CPUtime=574.36
/proc/2247/stat : 2247 (satake) S 2245 2247 27791 0 -1 4202496 67442 0 0 0 52663 4773 0 0 20 0 17 0 636043588 284033024 65593 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2247/statm: 69344 65593 77 164 0 69179 0
[pid=2247/tid=2248] ppid=2245 vsize=277376 CPUtime=35.64
/proc/2247/task/2248/stat : 2248 (satake) S 2245 2247 27791 0 -1 4202560 511 0 0 0 338 3226 0 0 20 0 17 0 636043588 284033024 65593 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=2247/tid=2249] ppid=2245 vsize=277376 CPUtime=34.78
/proc/2247/task/2249/stat : 2249 (satake) S 2245 2247 27791 0 -1 4202560 4467 0 0 0 3386 92 0 0 20 0 17 0 636043588 284033024 65593 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=2247/tid=2250] ppid=2245 vsize=277376 CPUtime=34.67
/proc/2247/task/2250/stat : 2250 (satake) S 2245 2247 27791 0 -1 4202560 4329 0 0 0 3389 78 0 0 20 0 17 0 636043588 284033024 65593 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=2247/tid=2251] ppid=2245 vsize=277376 CPUtime=37.5
/proc/2247/task/2251/stat : 2251 (satake) S 2245 2247 27791 0 -1 4202560 4370 0 0 0 3636 114 0 0 20 0 17 0 636043588 284033024 65593 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=2247/tid=2252] ppid=2245 vsize=277376 CPUtime=37.78
/proc/2247/task/2252/stat : 2252 (satake) S 2245 2247 27791 0 -1 4202560 4367 0 0 0 3682 96 0 0 20 0 17 0 636043588 284033024 65593 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=2247/tid=2253] ppid=2245 vsize=277376 CPUtime=33.61
/proc/2247/task/2253/stat : 2253 (satake) S 2245 2247 27791 0 -1 4202560 4223 0 0 0 3261 100 0 0 20 0 17 0 636043588 284033024 65593 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=2247/tid=2254] ppid=2245 vsize=277376 CPUtime=34.8
/proc/2247/task/2254/stat : 2254 (satake) R 2245 2247 27791 0 -1 4202560 4530 0 0 0 3346 134 0 0 20 0 17 0 636043588 284033024 65593 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134666377 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=2247/tid=2255] ppid=2245 vsize=277376 CPUtime=35.43
/proc/2247/task/2255/stat : 2255 (satake) S 2245 2247 27791 0 -1 4202560 4491 0 0 0 3443 100 0 0 20 0 17 0 636043588 284033024 65593 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=2247/tid=2256] ppid=2245 vsize=277376 CPUtime=39.27
/proc/2247/task/2256/stat : 2256 (satake) S 2245 2247 27791 0 -1 4202560 4609 0 0 0 3829 98 0 0 20 0 17 0 636043588 284033024 65593 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=2247/tid=2257] ppid=2245 vsize=277376 CPUtime=35.17
/proc/2247/task/2257/stat : 2257 (satake) S 2245 2247 27791 0 -1 4202560 4360 0 0 0 3399 118 0 0 20 0 17 0 636043588 284033024 65593 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=2247/tid=2258] ppid=2245 vsize=277376 CPUtime=36.63
/proc/2247/task/2258/stat : 2258 (satake) S 2245 2247 27791 0 -1 4202560 4664 0 0 0 3561 102 0 0 20 0 17 0 636043588 284033024 65593 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=2247/tid=2259] ppid=2245 vsize=277376 CPUtime=35.26
/proc/2247/task/2259/stat : 2259 (satake) S 2245 2247 27791 0 -1 4202560 4190 0 0 0 3424 102 0 0 20 0 17 0 636043589 284033024 65593 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=2247/tid=2260] ppid=2245 vsize=277376 CPUtime=36.89
/proc/2247/task/2260/stat : 2260 (satake) S 2245 2247 27791 0 -1 4202560 4482 0 0 0 3569 120 0 0 20 0 17 0 636043589 284033024 65593 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=2247/tid=2261] ppid=2245 vsize=277376 CPUtime=35.1
/proc/2247/task/2261/stat : 2261 (satake) S 2245 2247 27791 0 -1 4202560 4529 0 0 0 3414 96 0 0 20 0 17 0 636043589 284033024 65593 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=2247/tid=2262] ppid=2245 vsize=277376 CPUtime=35.9
/proc/2247/task/2262/stat : 2262 (satake) S 2245 2247 27791 0 -1 4202560 4729 0 0 0 3500 90 0 0 20 0 17 0 636043589 284033024 65593 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=2247/tid=2263] ppid=2245 vsize=277376 CPUtime=35.86
/proc/2247/task/2263/stat : 2263 (satake) S 2245 2247 27791 0 -1 4202560 4467 0 0 0 3484 102 0 0 20 0 17 0 636043589 284033024 65593 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 574.36
Current children cumulated vsize (KiB) 277376

[startup+97.8028 s]
/proc/loadavg: 8.76 10.62 7.08 2/201 2264
/proc/meminfo: memFree=18879712/36427776 swapFree=4588/272596
[pid=2247] ppid=2245 vsize=273752 CPUtime=575.89
/proc/2247/stat : 2247 (satake) S 2245 2247 27791 0 -1 4202496 67442 0 0 0 52744 4845 0 0 20 0 11 0 636043588 280322048 64890 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2247/statm: 68438 64890 77 164 0 68273 0
[pid=2247/tid=2250] ppid=2245 vsize=273752 CPUtime=34.78
/proc/2247/task/2250/stat : 2250 (satake) R 2245 2247 27791 0 -1 4202560 4329 0 0 0 3394 84 0 0 20 0 11 0 636043588 280322048 64890 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2247/tid=2251] ppid=2245 vsize=273752 CPUtime=37.58
/proc/2247/task/2251/stat : 2251 (satake) S 2245 2247 27791 0 -1 4202560 4370 0 0 0 3640 118 0 0 20 0 11 0 636043588 280322048 64890 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=2247/tid=2252] ppid=2245 vsize=273752 CPUtime=37.88
/proc/2247/task/2252/stat : 2252 (satake) R 2245 2247 27791 0 -1 4202560 4367 0 0 0 3686 102 0 0 20 0 11 0 636043588 280322048 64890 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=2247/tid=2253] ppid=2245 vsize=273752 CPUtime=33.71
/proc/2247/task/2253/stat : 2253 (satake) S 2245 2247 27791 0 -1 4202560 4223 0 0 0 3267 104 0 0 20 0 11 0 636043588 280322048 64890 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=2247/tid=2255] ppid=2245 vsize=273752 CPUtime=35.51
/proc/2247/task/2255/stat : 2255 (satake) R 2245 2247 27791 0 -1 4202560 4491 0 0 0 3449 102 0 0 20 0 11 0 636043588 280322048 64890 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2247/tid=2256] ppid=2245 vsize=273752 CPUtime=39.37
/proc/2247/task/2256/stat : 2256 (satake) S 2245 2247 27791 0 -1 4202560 4609 0 0 0 3835 102 0 0 20 0 11 0 636043588 280322048 64890 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=2247/tid=2257] ppid=2245 vsize=273752 CPUtime=35.27
/proc/2247/task/2257/stat : 2257 (satake) S 2245 2247 27791 0 -1 4202560 4360 0 0 0 3405 122 0 0 20 0 11 0 636043588 280322048 64890 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=2247/tid=2258] ppid=2245 vsize=273752 CPUtime=36.69
/proc/2247/task/2258/stat : 2258 (satake) R 2245 2247 27791 0 -1 4202560 4664 0 0 0 3561 108 0 0 20 0 11 0 636043588 280322048 64890 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2247/tid=2259] ppid=2245 vsize=273752 CPUtime=35.36
/proc/2247/task/2259/stat : 2259 (satake) S 2245 2247 27791 0 -1 4202560 4190 0 0 0 3430 106 0 0 20 0 11 0 636043589 280322048 64890 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=2247/tid=2260] ppid=2245 vsize=273752 CPUtime=36.99
/proc/2247/task/2260/stat : 2260 (satake) R 2245 2247 27791 0 -1 4202560 4482 0 0 0 3577 122 0 0 20 0 11 0 636043589 280322048 64890 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 575.89
Current children cumulated vsize (KiB) 273752

[startup+97.9028 s]
/proc/loadavg: 8.76 10.62 7.08 2/186 2264
/proc/meminfo: memFree=18983616/36427776 swapFree=4624/161712
[pid=2247] ppid=2245 vsize=143340 CPUtime=576.15
/proc/2247/stat : 2247 (satake) S 2245 2247 27791 0 -1 4202496 67442 0 0 0 52758 4857 0 0 20 0 2 0 636043588 146780160 33305 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2247/statm: 35835 33305 77 164 0 35670 0
[pid=2247/tid=2257] ppid=2245 vsize=133100 CPUtime=35.35
/proc/2247/task/2257/stat : 2257 (satake) R 2245 2247 27791 0 -1 4202560 4360 0 0 0 3407 128 0 0 20 0 2 0 636043588 136294400 30745 18446744073709551615 134512640 135180984 4287190912 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 576.15
Current children cumulated vsize (KiB) 143340

Child status: 16
Real time (s): 97.9465
CPU time (s): 576.188
CPU user time (s): 527.581
CPU system time (s): 48.607
CPU usage (%): 588.268
Max. virtual memory (cumulated for all children) (KiB): 277704


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 527.581
system time used= 48.607
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67443
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= 4151358
involuntary context switches= 882258

runsolver used 0.436027 second user time and 1.21208 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 02:42:52
IDJOB=1778772
IDBENCH=70759
IDSOLVER=631
FILE ID=xenhost3-49/1778772-1244767372
PBS_JOBID=
Free space on /tmp= 7037 MiB

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

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

MD5SUM BENCH= 49dda3faa6676166ee2ccb89f6cd8ca0
RANDOM SEED= 663681018

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:      19143212 kB
Buffers:        433640 kB
Cached:       14103784 kB
SwapCached:          0 kB
Active:        4078744 kB
Inactive:     10466792 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1360 kB
Writeback:           0 kB
AnonPages:        8112 kB
Mapped:           3512 kB
Slab:           688032 kB
SReclaimable:   661304 kB
SUnreclaim:      26728 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29732 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 02:44:30