Trace number 1780122

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 1137.43 305.646

General information on the benchmark

NameAPPLICATIONS/c32sat/
post-c32s-col400-16.cnf
MD5SUMa8766c9a72f73eaac2d0ddc5a182692e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark253.21
Satisfiable
(Un)Satisfiability was proved
Number of variables286329
Number of clauses839692
Sum of the clauses size1959280
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2559794
Number of clauses of size 3279897
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

1137.25/305.56	c Benchmark name    : HOME/instance-1780122-1244816196.cnf
1137.25/305.56	c Thread Num        :           16
1137.25/305.56	c restarts          :           11
1137.25/305.56	c conflicts         :        13292
1137.25/305.56	c decisions         :        23414           (       77 / sec      )
1137.25/305.56	c propagations      :    123340443           (   407528 / sec      )
1137.25/305.56	c inspects          :    318451031           (  1052191 / sec      )
1137.25/305.56	c conflict literals :       502343           (    53.97 % deleted  )
1137.25/305.56	c cpu time          :       302.66           
1137.25/305.56	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-1780122-1244816196/watcher-1780122-1244816196 -o /tmp/evaluation-result-1780122-1244816196/solver-1780122-1244816196 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780122-1244816196.cnf 16 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 8.55 9.12 6.76 2/184 8328
/proc/meminfo: memFree=19116044/36427776 swapFree=4092/7764
[pid=8328] ppid=8326 vsize=7452 CPUtime=0
/proc/8328/stat : 8328 (satake) S 8326 8328 27791 0 -1 4202496 416 0 0 0 0 0 0 0 20 0 17 0 640925982 7630848 372 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8328/statm: 1863 377 63 164 0 1698 0
[pid=8328/tid=8329] ppid=8326 vsize=7588 CPUtime=0
/proc/8328/task/8329/stat : 8329 (satake) S 8326 8328 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 640925982 7770112 451 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8328/tid=8330] ppid=8326 vsize=7588 CPUtime=0
/proc/8328/task/8330/stat : 8330 (satake) R 8326 8328 27791 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 17 0 640925982 7770112 451 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8328/tid=8331] ppid=8326 vsize=7588 CPUtime=0
/proc/8328/task/8331/stat : 8331 (satake) R 8326 8328 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 640925982 7770112 452 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8328/tid=8332] ppid=8326 vsize=7588 CPUtime=0
/proc/8328/task/8332/stat : 8332 (satake) D 8326 8328 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 17 0 640925982 7770112 452 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8328/tid=8333] ppid=8326 vsize=7588 CPUtime=0
/proc/8328/task/8333/stat : 8333 (satake) R 8326 8328 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 640925982 7770112 452 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8328/tid=8334] ppid=8326 vsize=7588 CPUtime=0
/proc/8328/task/8334/stat : 8334 (satake) R 8326 8328 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 17 0 640925982 7770112 457 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8328/tid=8335] ppid=8326 vsize=7588 CPUtime=0
/proc/8328/task/8335/stat : 8335 (satake) S 8326 8328 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 640925982 7770112 458 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=8328/tid=8336] ppid=8326 vsize=7588 CPUtime=0
/proc/8328/task/8336/stat : 8336 (satake) S 8326 8328 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 640925982 7770112 460 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=8328/tid=8337] ppid=8326 vsize=7588 CPUtime=0
/proc/8328/task/8337/stat : 8337 (satake) S 8326 8328 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 640925982 7770112 461 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=8328/tid=8338] ppid=8326 vsize=7588 CPUtime=0
/proc/8328/task/8338/stat : 8338 (satake) S 8326 8328 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 640925982 7770112 461 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=8328/tid=8339] ppid=8326 vsize=7588 CPUtime=0
/proc/8328/task/8339/stat : 8339 (satake) R 8326 8328 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 640925982 7770112 462 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8328/tid=8340] ppid=8326 vsize=7588 CPUtime=0
/proc/8328/task/8340/stat : 8340 (satake) R 8326 8328 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 640925982 7770112 466 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8328/tid=8341] ppid=8326 vsize=7588 CPUtime=0
/proc/8328/task/8341/stat : 8341 (satake) R 8326 8328 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 640925983 7770112 468 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8328/tid=8342] ppid=8326 vsize=7588 CPUtime=0
/proc/8328/task/8342/stat : 8342 (satake) D 8326 8328 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 640925983 7770112 488 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=8328/tid=8343] ppid=8326 vsize=7720 CPUtime=0
/proc/8328/task/8343/stat : 8343 (satake) S 8326 8328 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 640925983 7905280 488 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=8328/tid=8344] ppid=8326 vsize=7724 CPUtime=0
/proc/8328/task/8344/stat : 8344 (satake) R 8326 8328 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 640925983 7909376 489 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.01943 s]
/proc/loadavg: 8.55 9.12 6.76 2/184 8328
/proc/meminfo: memFree=19116044/36427776 swapFree=4092/7764
[pid=8328] ppid=8326 vsize=9920 CPUtime=0
/proc/8328/stat : 8328 (satake) S 8326 8328 27791 0 -1 4202496 933 0 0 0 0 0 0 0 20 0 17 0 640925982 10158080 889 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8328/statm: 2480 894 63 164 0 2315 0
[pid=8328/tid=8329] ppid=8326 vsize=9920 CPUtime=0
/proc/8328/task/8329/stat : 8329 (satake) S 8326 8328 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 640925982 10158080 894 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8328/tid=8330] ppid=8326 vsize=9920 CPUtime=0
/proc/8328/task/8330/stat : 8330 (satake) R 8326 8328 27791 0 -1 4202560 119 0 0 0 0 0 0 0 20 0 17 0 640925982 10158080 894 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8328/tid=8331] ppid=8326 vsize=9920 CPUtime=0
/proc/8328/task/8331/stat : 8331 (satake) R 8326 8328 27791 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 17 0 640925982 10158080 896 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8328/tid=8332] ppid=8326 vsize=9920 CPUtime=0
/proc/8328/task/8332/stat : 8332 (satake) R 8326 8328 27791 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 17 0 640925982 10158080 898 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8328/tid=8333] ppid=8326 vsize=9920 CPUtime=0
/proc/8328/task/8333/stat : 8333 (satake) R 8326 8328 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 640925982 10158080 898 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8328/tid=8334] ppid=8326 vsize=9920 CPUtime=0
/proc/8328/task/8334/stat : 8334 (satake) R 8326 8328 27791 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 17 0 640925982 10158080 902 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8328/tid=8335] ppid=8326 vsize=9920 CPUtime=0
/proc/8328/task/8335/stat : 8335 (satake) S 8326 8328 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 640925982 10158080 902 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=8328/tid=8336] ppid=8326 vsize=9920 CPUtime=0
/proc/8328/task/8336/stat : 8336 (satake) R 8326 8328 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 640925982 10158080 902 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8328/tid=8337] ppid=8326 vsize=9920 CPUtime=0
/proc/8328/task/8337/stat : 8337 (satake) R 8326 8328 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 17 0 640925982 10158080 902 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8328/tid=8338] ppid=8326 vsize=9920 CPUtime=0
/proc/8328/task/8338/stat : 8338 (satake) D 8326 8328 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 640925982 10158080 903 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8328/tid=8339] ppid=8326 vsize=9920 CPUtime=0
/proc/8328/task/8339/stat : 8339 (satake) R 8326 8328 27791 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 17 0 640925982 10158080 903 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8328/tid=8340] ppid=8326 vsize=9920 CPUtime=0
/proc/8328/task/8340/stat : 8340 (satake) R 8326 8328 27791 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 17 0 640925982 10158080 903 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8328/tid=8341] ppid=8326 vsize=9920 CPUtime=0
/proc/8328/task/8341/stat : 8341 (satake) D 8326 8328 27791 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 17 0 640925983 10158080 903 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8328/tid=8342] ppid=8326 vsize=9920 CPUtime=0
/proc/8328/task/8342/stat : 8342 (satake) R 8326 8328 27791 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 17 0 640925983 10158080 903 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=8328/tid=8343] ppid=8326 vsize=9920 CPUtime=0
/proc/8328/task/8343/stat : 8343 (satake) D 8326 8328 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 17 0 640925983 10158080 903 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8328/tid=8344] ppid=8326 vsize=9920 CPUtime=0
/proc/8328/task/8344/stat : 8344 (satake) D 8326 8328 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 640925983 10158080 903 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9920

[startup+0.10335 s]
/proc/loadavg: 8.55 9.12 6.76 2/184 8328
/proc/meminfo: memFree=19116044/36427776 swapFree=4092/7764
[pid=8328] ppid=8326 vsize=58828 CPUtime=0.81
/proc/8328/stat : 8328 (satake) S 8326 8328 27791 0 -1 4202496 9794 0 0 0 0 81 0 0 20 0 17 0 640925982 60239872 9754 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8328/statm: 14707 9791 63 164 0 14542 0
[pid=8328/tid=8329] ppid=8326 vsize=58828 CPUtime=0
/proc/8328/task/8329/stat : 8329 (satake) S 8326 8328 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 640925982 60239872 9814 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8328/tid=8330] ppid=8326 vsize=58828 CPUtime=0.06
/proc/8328/task/8330/stat : 8330 (satake) R 8326 8328 27791 0 -1 4202560 696 0 0 0 0 6 0 0 20 0 17 0 640925982 60239872 9852 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8328/tid=8331] ppid=8326 vsize=58828 CPUtime=0
/proc/8328/task/8331/stat : 8331 (satake) R 8326 8328 27791 0 -1 4202560 260 0 0 0 0 0 0 0 20 0 17 0 640925982 60239872 9880 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8328/tid=8332] ppid=8326 vsize=58828 CPUtime=0.06
/proc/8328/task/8332/stat : 8332 (satake) R 8326 8328 27791 0 -1 4202560 788 0 0 0 0 6 0 0 20 0 17 0 640925982 60239872 9915 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8328/tid=8333] ppid=8326 vsize=58828 CPUtime=0.06
/proc/8328/task/8333/stat : 8333 (satake) R 8326 8328 27791 0 -1 4202560 573 0 0 0 0 6 0 0 20 0 17 0 640925982 60239872 9951 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8328/tid=8334] ppid=8326 vsize=58828 CPUtime=0.06
/proc/8328/task/8334/stat : 8334 (satake) R 8326 8328 27791 0 -1 4202560 616 0 0 0 0 6 0 0 20 0 17 0 640925982 60239872 9975 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8328/tid=8335] ppid=8326 vsize=58828 CPUtime=0.02
/proc/8328/task/8335/stat : 8335 (satake) R 8326 8328 27791 0 -1 4202560 235 0 0 0 0 2 0 0 20 0 17 0 640925982 60239872 9987 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8328/tid=8336] ppid=8326 vsize=58828 CPUtime=0.06
/proc/8328/task/8336/stat : 8336 (satake) R 8326 8328 27791 0 -1 4202560 1021 0 0 0 0 6 0 0 20 0 17 0 640925982 60239872 10032 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8328/tid=8337] ppid=8326 vsize=58828 CPUtime=0.06
/proc/8328/task/8337/stat : 8337 (satake) R 8326 8328 27791 0 -1 4202560 878 0 0 0 0 6 0 0 20 0 17 0 640925982 60239872 10070 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8328/tid=8338] ppid=8326 vsize=58828 CPUtime=0.06
/proc/8328/task/8338/stat : 8338 (satake) R 8326 8328 27791 0 -1 4202560 717 0 0 0 0 6 0 0 20 0 17 0 640925982 60239872 10090 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8328/tid=8339] ppid=8326 vsize=58828 CPUtime=0.06
/proc/8328/task/8339/stat : 8339 (satake) R 8326 8328 27791 0 -1 4202560 777 0 0 0 0 6 0 0 20 0 17 0 640925982 60239872 10126 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8328/tid=8340] ppid=8326 vsize=58828 CPUtime=0.06
/proc/8328/task/8340/stat : 8340 (satake) R 8326 8328 27791 0 -1 4202560 778 0 0 0 0 6 0 0 20 0 17 0 640925982 60239872 10156 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8328/tid=8341] ppid=8326 vsize=58828 CPUtime=0.04
/proc/8328/task/8341/stat : 8341 (satake) R 8326 8328 27791 0 -1 4202560 604 0 0 0 0 4 0 0 20 0 17 0 640925983 60239872 10190 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8328/tid=8342] ppid=8326 vsize=58828 CPUtime=0.06
/proc/8328/task/8342/stat : 8342 (satake) D 8326 8328 27791 0 -1 4202560 860 0 0 0 0 6 0 0 20 0 17 0 640925983 60239872 10193 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=8328/tid=8343] ppid=8326 vsize=58828 CPUtime=0.06
/proc/8328/task/8343/stat : 8343 (satake) D 8326 8328 27791 0 -1 4202560 990 0 0 0 0 6 0 0 20 0 17 0 640925983 60239872 10193 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8328/tid=8344] ppid=8326 vsize=58828 CPUtime=0.02
/proc/8328/task/8344/stat : 8344 (satake) D 8326 8328 27791 0 -1 4202560 188 0 0 0 0 2 0 0 20 0 17 0 640925983 60239872 10193 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 58828

[startup+0.305294 s]
/proc/loadavg: 8.55 9.12 6.76 2/184 8328
/proc/meminfo: memFree=19116044/36427776 swapFree=4092/7764
[pid=8328] ppid=8326 vsize=202180 CPUtime=2.92
/proc/8328/stat : 8328 (satake) S 8326 8328 27791 0 -1 4202496 39325 0 0 0 0 292 0 0 20 0 17 0 640925982 207032320 39281 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8328/statm: 50545 39283 63 164 0 50380 0
[pid=8328/tid=8329] ppid=8326 vsize=202180 CPUtime=0
/proc/8328/task/8329/stat : 8329 (satake) S 8326 8328 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 640925982 207032320 39284 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8328/tid=8330] ppid=8326 vsize=202180 CPUtime=0.14
/proc/8328/task/8330/stat : 8330 (satake) R 8326 8328 27791 0 -1 4202560 1813 0 0 0 0 14 0 0 20 0 17 0 640925982 207032320 39284 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8328/tid=8331] ppid=8326 vsize=202180 CPUtime=0.1
/proc/8328/task/8331/stat : 8331 (satake) R 8326 8328 27791 0 -1 4202560 1371 0 0 0 0 10 0 0 20 0 17 0 640925982 207032320 39284 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8328/tid=8332] ppid=8326 vsize=202180 CPUtime=0.24
/proc/8328/task/8332/stat : 8332 (satake) R 8326 8328 27791 0 -1 4202560 3300 0 0 0 0 24 0 0 20 0 17 0 640925982 207032320 39284 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8328/tid=8333] ppid=8326 vsize=202180 CPUtime=0.22
/proc/8328/task/8333/stat : 8333 (satake) R 8326 8328 27791 0 -1 4202560 2801 0 0 0 0 22 0 0 20 0 17 0 640925982 207032320 39284 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8328/tid=8334] ppid=8326 vsize=202180 CPUtime=0.14
/proc/8328/task/8334/stat : 8334 (satake) R 8326 8328 27791 0 -1 4202560 1964 0 0 0 0 14 0 0 20 0 17 0 640925982 207032320 39284 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8328/tid=8335] ppid=8326 vsize=202180 CPUtime=0.1
/proc/8328/task/8335/stat : 8335 (satake) R 8326 8328 27791 0 -1 4202560 1453 0 0 0 0 10 0 0 20 0 17 0 640925982 207032320 39285 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8328/tid=8336] ppid=8326 vsize=202180 CPUtime=0.24
/proc/8328/task/8336/stat : 8336 (satake) R 8326 8328 27791 0 -1 4202560 3714 0 0 0 0 24 0 0 20 0 17 0 640925982 207032320 39285 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8328/tid=8337] ppid=8326 vsize=202180 CPUtime=0.24
/proc/8328/task/8337/stat : 8337 (satake) R 8326 8328 27791 0 -1 4202560 3318 0 0 0 0 24 0 0 20 0 17 0 640925982 207032320 39288 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8328/tid=8338] ppid=8326 vsize=202180 CPUtime=0.24
/proc/8328/task/8338/stat : 8338 (satake) R 8326 8328 27791 0 -1 4202560 2885 0 0 0 0 24 0 0 20 0 17 0 640925982 207032320 39290 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8328/tid=8339] ppid=8326 vsize=202180 CPUtime=0.24
/proc/8328/task/8339/stat : 8339 (satake) R 8326 8328 27791 0 -1 4202560 3887 0 0 0 0 24 0 0 20 0 17 0 640925982 207032320 39293 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8328/tid=8340] ppid=8326 vsize=202180 CPUtime=0.24
/proc/8328/task/8340/stat : 8340 (satake) R 8326 8328 27791 0 -1 4202560 3365 0 0 0 0 24 0 0 20 0 17 0 640925982 207032320 39307 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8328/tid=8341] ppid=8326 vsize=202180 CPUtime=0.14
/proc/8328/task/8341/stat : 8341 (satake) R 8326 8328 27791 0 -1 4202560 1563 0 0 0 0 14 0 0 20 0 17 0 640925983 207032320 39310 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8328/tid=8342] ppid=8326 vsize=202180 CPUtime=0.24
/proc/8328/task/8342/stat : 8342 (satake) D 8326 8328 27791 0 -1 4202560 3355 0 0 0 0 24 0 0 20 0 17 0 640925983 207032320 39310 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=8328/tid=8343] ppid=8326 vsize=202180 CPUtime=0.24
/proc/8328/task/8343/stat : 8343 (satake) R 8326 8328 27791 0 -1 4202560 3118 0 0 0 0 24 0 0 20 0 17 0 640925983 207032320 39313 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8328/tid=8344] ppid=8326 vsize=202180 CPUtime=0.1
/proc/8328/task/8344/stat : 8344 (satake) D 8326 8328 27791 0 -1 4202560 1300 0 0 0 0 10 0 0 20 0 17 0 640925983 207032320 39317 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 202180

[startup+0.70512 s]
/proc/loadavg: 8.55 9.12 6.76 2/184 8328
/proc/meminfo: memFree=19116044/36427776 swapFree=4092/7764
[pid=8328] ppid=8326 vsize=263000 CPUtime=5.69
/proc/8328/stat : 8328 (satake) S 8326 8328 27791 0 -1 4202496 55205 0 0 0 6 563 0 0 20 0 17 0 640925982 269312000 55161 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8328/statm: 65750 55168 63 164 0 65585 0
[pid=8328/tid=8329] ppid=8326 vsize=263000 CPUtime=0
/proc/8328/task/8329/stat : 8329 (satake) S 8326 8328 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 640925982 269312000 55168 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8328/tid=8330] ppid=8326 vsize=263000 CPUtime=0.28
/proc/8328/task/8330/stat : 8330 (satake) R 8326 8328 27791 0 -1 4202560 3133 0 0 0 0 28 0 0 20 0 17 0 640925982 269312000 55169 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8328/tid=8331] ppid=8326 vsize=263000 CPUtime=0.24
/proc/8328/task/8331/stat : 8331 (satake) R 8326 8328 27791 0 -1 4202560 2441 0 0 0 0 24 0 0 20 0 17 0 640925982 269312000 55175 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8328/tid=8332] ppid=8326 vsize=263000 CPUtime=0.42
/proc/8328/task/8332/stat : 8332 (satake) R 8326 8328 27791 0 -1 4202560 4196 0 0 0 0 42 0 0 20 0 17 0 640925982 269312000 55183 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8328/tid=8333] ppid=8326 vsize=263000 CPUtime=0.44
/proc/8328/task/8333/stat : 8333 (satake) R 8326 8328 27791 0 -1 4202560 4049 0 0 0 0 44 0 0 20 0 17 0 640925982 269312000 55184 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8328/tid=8334] ppid=8326 vsize=263000 CPUtime=0.28
/proc/8328/task/8334/stat : 8334 (satake) R 8326 8328 27791 0 -1 4202560 3168 0 0 0 0 28 0 0 20 0 17 0 640925982 269312000 55186 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8328/tid=8335] ppid=8326 vsize=263000 CPUtime=0.24
/proc/8328/task/8335/stat : 8335 (satake) R 8326 8328 27791 0 -1 4202560 2617 0 0 0 0 24 0 0 20 0 17 0 640925982 269312000 55189 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8328/tid=8336] ppid=8326 vsize=263000 CPUtime=0.46
/proc/8328/task/8336/stat : 8336 (satake) S 8326 8328 27791 0 -1 4202560 4586 0 0 0 0 46 0 0 20 0 17 0 640925982 269312000 55189 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=8328/tid=8337] ppid=8326 vsize=263000 CPUtime=0.44
/proc/8328/task/8337/stat : 8337 (satake) S 8326 8328 27791 0 -1 4202560 4299 0 0 0 0 44 0 0 20 0 17 0 640925982 269312000 55192 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=8328/tid=8338] ppid=8326 vsize=263000 CPUtime=0.48

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

[startup+300.702 s]
/proc/loadavg: 5.28 6.54 6.27 5/201 8353
/proc/meminfo: memFree=18147872/36427776 swapFree=4588/977540
[pid=8328] ppid=8326 vsize=1279156 CPUtime=1106.07
/proc/8328/stat : 8328 (satake) S 8326 8328 27791 0 -1 4202496 298776 0 0 0 90279 20328 0 0 20 0 17 0 640925982 1309855744 241867 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8328/statm: 319789 241867 68 164 0 319624 0
[pid=8328/tid=8329] ppid=8326 vsize=1279156 CPUtime=132.84
/proc/8328/task/8329/stat : 8329 (satake) R 8326 8328 27791 0 -1 4202560 6395 0 0 0 1572 11712 0 0 20 0 17 0 640925982 1309855744 241867 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8328/tid=8330] ppid=8326 vsize=1279156 CPUtime=65.67
/proc/8328/task/8330/stat : 8330 (satake) R 8326 8328 27791 0 -1 4202560 19561 0 0 0 6047 520 0 0 20 0 17 0 640925982 1309855744 241867 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528259 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8328/tid=8331] ppid=8326 vsize=1279156 CPUtime=66.42
/proc/8328/task/8331/stat : 8331 (satake) S 8326 8328 27791 0 -1 4202560 19690 0 0 0 6082 560 0 0 20 0 17 0 640925982 1309855744 241867 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=8328/tid=8332] ppid=8326 vsize=1279156 CPUtime=56.66
/proc/8328/task/8332/stat : 8332 (satake) S 8326 8328 27791 0 -1 4202560 19267 0 0 0 5034 632 0 0 20 0 17 0 640925982 1309855744 241867 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=8328/tid=8333] ppid=8326 vsize=1279156 CPUtime=71.07
/proc/8328/task/8333/stat : 8333 (satake) S 8326 8328 27791 0 -1 4202560 19549 0 0 0 6569 538 0 0 20 0 17 0 640925982 1309855744 241867 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=8328/tid=8334] ppid=8326 vsize=1279156 CPUtime=64.67
/proc/8328/task/8334/stat : 8334 (satake) S 8326 8328 27791 0 -1 4202560 19459 0 0 0 5881 586 0 0 20 0 17 0 640925982 1309855744 241867 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=8328/tid=8335] ppid=8326 vsize=1279156 CPUtime=64.93
/proc/8328/task/8335/stat : 8335 (satake) S 8326 8328 27791 0 -1 4202560 19841 0 0 0 5915 578 0 0 20 0 17 0 640925982 1309855744 241867 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=8328/tid=8336] ppid=8326 vsize=1279156 CPUtime=54.71
/proc/8328/task/8336/stat : 8336 (satake) S 8326 8328 27791 0 -1 4202560 19353 0 0 0 4925 546 0 0 20 0 17 0 640925982 1309855744 241867 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=8328/tid=8337] ppid=8326 vsize=1279156 CPUtime=68.17
/proc/8328/task/8337/stat : 8337 (satake) R 8326 8328 27791 0 -1 4202560 19312 0 0 0 6233 584 0 0 20 0 17 0 640925982 1309855744 241867 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528267 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8328/tid=8338] ppid=8326 vsize=1279156 CPUtime=61.73
/proc/8328/task/8338/stat : 8338 (satake) D 8326 8328 27791 0 -1 4202560 19358 0 0 0 5585 588 0 0 20 0 17 0 640925982 1309855744 241867 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8328/tid=8339] ppid=8326 vsize=1279156 CPUtime=69.7
/proc/8328/task/8339/stat : 8339 (satake) S 8326 8328 27791 0 -1 4202560 19609 0 0 0 6332 638 0 0 20 0 17 0 640925982 1309855744 241867 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=8328/tid=8340] ppid=8326 vsize=1279156 CPUtime=63.19
/proc/8328/task/8340/stat : 8340 (satake) S 8326 8328 27791 0 -1 4202560 19217 0 0 0 5733 586 0 0 20 0 17 0 640925982 1309855744 241867 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=8328/tid=8341] ppid=8326 vsize=1279156 CPUtime=71.02
/proc/8328/task/8341/stat : 8341 (satake) S 8326 8328 27791 0 -1 4202560 19530 0 0 0 6530 572 0 0 20 0 17 0 640925983 1309855744 241867 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=8328/tid=8342] ppid=8326 vsize=1279156 CPUtime=62.22
/proc/8328/task/8342/stat : 8342 (satake) S 8326 8328 27791 0 -1 4202560 19500 0 0 0 5698 524 0 0 20 0 17 0 640925983 1309855744 241867 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8328/tid=8343] ppid=8326 vsize=1279156 CPUtime=64.91
/proc/8328/task/8343/stat : 8343 (satake) S 8326 8328 27791 0 -1 4202560 19333 0 0 0 5875 616 0 0 20 0 17 0 640925983 1309855744 241867 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=8328/tid=8344] ppid=8326 vsize=1279156 CPUtime=68.06
/proc/8328/task/8344/stat : 8344 (satake) S 8326 8328 27791 0 -1 4202560 19679 0 0 0 6264 542 0 0 20 0 17 0 640925983 1309855744 241867 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1106.07
Current children cumulated vsize (KiB) 1279156

[startup+303.903 s]
/proc/loadavg: 5.17 6.49 6.25 16/200 8353
/proc/meminfo: memFree=18157960/36427776 swapFree=4588/965976
[pid=8328] ppid=8326 vsize=1192424 CPUtime=1127.86
/proc/8328/stat : 8328 (satake) S 8326 8328 27791 0 -1 4202496 298797 0 0 0 91390 21396 0 0 20 0 16 0 640925982 1221042176 226843 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8328/statm: 298106 226843 77 164 0 297941 0
[pid=8328/tid=8330] ppid=8326 vsize=1192424 CPUtime=67.13
/proc/8328/task/8330/stat : 8330 (satake) R 8326 8328 27791 0 -1 4202560 19561 0 0 0 6123 590 0 0 20 0 16 0 640925982 1221042176 226843 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8328/tid=8331] ppid=8326 vsize=1192424 CPUtime=67.89
/proc/8328/task/8331/stat : 8331 (satake) R 8326 8328 27791 0 -1 4202560 19699 0 0 0 6165 624 0 0 20 0 16 0 640925982 1221042176 226843 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8328/tid=8332] ppid=8326 vsize=1192424 CPUtime=57.86
/proc/8328/task/8332/stat : 8332 (satake) R 8326 8328 27791 0 -1 4202560 19267 0 0 0 5086 700 0 0 20 0 16 0 640925982 1221042176 226843 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=8328/tid=8333] ppid=8326 vsize=1192424 CPUtime=72.22
/proc/8328/task/8333/stat : 8333 (satake) R 8326 8328 27791 0 -1 4202560 19549 0 0 0 6620 602 0 0 20 0 16 0 640925982 1221042176 226843 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8328/tid=8334] ppid=8326 vsize=1192424 CPUtime=65.97
/proc/8328/task/8334/stat : 8334 (satake) R 8326 8328 27791 0 -1 4202560 19459 0 0 0 5945 652 0 0 20 0 16 0 640925982 1221042176 226843 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=8328/tid=8335] ppid=8326 vsize=1192424 CPUtime=66.38
/proc/8328/task/8335/stat : 8335 (satake) R 8326 8328 27791 0 -1 4202560 19841 0 0 0 5994 644 0 0 20 0 16 0 640925982 1221042176 226843 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=8328/tid=8336] ppid=8326 vsize=1192424 CPUtime=55.92
/proc/8328/task/8336/stat : 8336 (satake) R 8326 8328 27791 0 -1 4202560 19355 0 0 0 4974 618 0 0 20 0 16 0 640925982 1221042176 226843 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8328/tid=8337] ppid=8326 vsize=1192424 CPUtime=69.63
/proc/8328/task/8337/stat : 8337 (satake) R 8326 8328 27791 0 -1 4202560 19312 0 0 0 6307 656 0 0 20 0 16 0 640925982 1221042176 226843 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8328/tid=8338] ppid=8326 vsize=1192424 CPUtime=62.98
/proc/8328/task/8338/stat : 8338 (satake) R 8326 8328 27791 0 -1 4202560 19361 0 0 0 5658 640 0 0 20 0 16 0 640925982 1221042176 226843 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8328/tid=8339] ppid=8326 vsize=1192424 CPUtime=71.22
/proc/8328/task/8339/stat : 8339 (satake) R 8326 8328 27791 0 -1 4202560 19609 0 0 0 6416 706 0 0 20 0 16 0 640925982 1221042176 226843 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8328/tid=8340] ppid=8326 vsize=1192424 CPUtime=64.68
/proc/8328/task/8340/stat : 8340 (satake) R 8326 8328 27791 0 -1 4202560 19219 0 0 0 5824 644 0 0 20 0 16 0 640925982 1221042176 226843 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8328/tid=8341] ppid=8326 vsize=1192424 CPUtime=72.58
/proc/8328/task/8341/stat : 8341 (satake) R 8326 8328 27791 0 -1 4202560 19530 0 0 0 6624 634 0 0 20 0 16 0 640925983 1221042176 226843 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8328/tid=8342] ppid=8326 vsize=1192424 CPUtime=63.83
/proc/8328/task/8342/stat : 8342 (satake) R 8326 8328 27791 0 -1 4202560 19500 0 0 0 5789 594 0 0 20 0 16 0 640925983 1221042176 226843 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8328/tid=8343] ppid=8326 vsize=1192424 CPUtime=65.88
/proc/8328/task/8343/stat : 8343 (satake) R 8326 8328 27791 0 -1 4202560 19333 0 0 0 5924 664 0 0 20 0 16 0 640925983 1221042176 226843 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8328/tid=8344] ppid=8326 vsize=1192424 CPUtime=69.38
/proc/8328/task/8344/stat : 8344 (satake) R 8326 8328 27791 0 -1 4202560 19679 0 0 0 6332 606 0 0 20 0 16 0 640925983 1221042176 226843 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1127.86
Current children cumulated vsize (KiB) 1192424

[startup+304.712 s]
/proc/loadavg: 5.17 6.49 6.25 2/198 8353
/proc/meminfo: memFree=18256912/36427776 swapFree=4624/862788
[pid=8328] ppid=8326 vsize=1095920 CPUtime=1133.48
/proc/8328/stat : 8328 (satake) S 8326 8328 27791 0 -1 4202496 298797 0 0 0 91632 21716 0 0 20 0 14 0 640925982 1122222080 213047 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8328/statm: 273980 213047 77 164 0 273815 0
[pid=8328/tid=8330] ppid=8326 vsize=1095920 CPUtime=67.48
/proc/8328/task/8330/stat : 8330 (satake) R 8326 8328 27791 0 -1 4202560 19561 0 0 0 6138 610 0 0 20 0 14 0 640925982 1122222080 213047 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8328/tid=8332] ppid=8326 vsize=1095920 CPUtime=58.2
/proc/8328/task/8332/stat : 8332 (satake) R 8326 8328 27791 0 -1 4202560 19267 0 0 0 5098 722 0 0 20 0 14 0 640925982 1122222080 213047 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=8328/tid=8333] ppid=8326 vsize=1095920 CPUtime=72.57
/proc/8328/task/8333/stat : 8333 (satake) R 8326 8328 27791 0 -1 4202560 19549 0 0 0 6633 624 0 0 20 0 14 0 640925982 1122222080 213047 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8328/tid=8334] ppid=8326 vsize=1095920 CPUtime=66.32
/proc/8328/task/8334/stat : 8334 (satake) R 8326 8328 27791 0 -1 4202560 19459 0 0 0 5958 674 0 0 20 0 14 0 640925982 1122222080 213047 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=8328/tid=8335] ppid=8326 vsize=1095920 CPUtime=66.74
/proc/8328/task/8335/stat : 8335 (satake) R 8326 8328 27791 0 -1 4202560 19841 0 0 0 6010 664 0 0 20 0 14 0 640925982 1122222080 213047 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=8328/tid=8336] ppid=8326 vsize=1095920 CPUtime=56.28
/proc/8328/task/8336/stat : 8336 (satake) R 8326 8328 27791 0 -1 4202560 19355 0 0 0 4986 642 0 0 20 0 14 0 640925982 1122222080 213047 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8328/tid=8337] ppid=8326 vsize=1095920 CPUtime=69.99
/proc/8328/task/8337/stat : 8337 (satake) R 8326 8328 27791 0 -1 4202560 19312 0 0 0 6321 678 0 0 20 0 14 0 640925982 1122222080 213047 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8328/tid=8338] ppid=8326 vsize=1095920 CPUtime=63.49
/proc/8328/task/8338/stat : 8338 (satake) R 8326 8328 27791 0 -1 4202560 19361 0 0 0 5687 662 0 0 20 0 14 0 640925982 1122222080 213047 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8328/tid=8339] ppid=8326 vsize=1095920 CPUtime=71.71
/proc/8328/task/8339/stat : 8339 (satake) R 8326 8328 27791 0 -1 4202560 19609 0 0 0 6445 726 0 0 20 0 14 0 640925982 1122222080 213047 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8328/tid=8340] ppid=8326 vsize=1095920 CPUtime=65.05
/proc/8328/task/8340/stat : 8340 (satake) R 8326 8328 27791 0 -1 4202560 19219 0 0 0 5839 666 0 0 20 0 14 0 640925982 1122222080 213047 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8328/tid=8341] ppid=8326 vsize=1095920 CPUtime=72.94
/proc/8328/task/8341/stat : 8341 (satake) R 8326 8328 27791 0 -1 4202560 19530 0 0 0 6634 660 0 0 20 0 14 0 640925983 1122222080 213047 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8328/tid=8342] ppid=8326 vsize=1095920 CPUtime=64.16
/proc/8328/task/8342/stat : 8342 (satake) R 8326 8328 27791 0 -1 4202560 19500 0 0 0 5800 616 0 0 20 0 14 0 640925983 1122222080 213047 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8328/tid=8343] ppid=8326 vsize=1095920 CPUtime=66.23
/proc/8328/task/8343/stat : 8343 (satake) R 8326 8328 27791 0 -1 4202560 19333 0 0 0 5937 686 0 0 20 0 14 0 640925983 1122222080 213047 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1133.48
Current children cumulated vsize (KiB) 1095920

[startup+305.104 s]
/proc/loadavg: 5.17 6.49 6.25 2/198 8353
/proc/meminfo: memFree=18256912/36427776 swapFree=4624/862788
[pid=8328] ppid=8326 vsize=925796 CPUtime=1136.56
/proc/8328/stat : 8328 (satake) S 8326 8328 27791 0 -1 4202496 298797 0 0 0 91757 21899 0 0 20 0 10 0 640925982 948015104 190545 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8328/statm: 231449 190545 77 164 0 231284 0
[pid=8328/tid=8330] ppid=8326 vsize=925796 CPUtime=67.76
/proc/8328/task/8330/stat : 8330 (satake) S 8326 8328 27791 0 -1 4202560 19561 0 0 0 6150 626 0 0 20 0 10 0 640925982 948015104 190545 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=8328/tid=8332] ppid=8326 vsize=925796 CPUtime=58.46
/proc/8328/task/8332/stat : 8332 (satake) S 8326 8328 27791 0 -1 4202560 19267 0 0 0 5108 738 0 0 20 0 10 0 640925982 948015104 190545 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=8328/tid=8333] ppid=8326 vsize=925796 CPUtime=72.82
/proc/8328/task/8333/stat : 8333 (satake) S 8326 8328 27791 0 -1 4202560 19549 0 0 0 6644 638 0 0 20 0 10 0 640925982 948015104 190545 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=8328/tid=8334] ppid=8326 vsize=925796 CPUtime=66.59
/proc/8328/task/8334/stat : 8334 (satake) S 8326 8328 27791 0 -1 4202560 19459 0 0 0 5967 692 0 0 20 0 10 0 640925982 948015104 190545 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=8328/tid=8336] ppid=8326 vsize=925796 CPUtime=56.54
/proc/8328/task/8336/stat : 8336 (satake) S 8326 8328 27791 0 -1 4202560 19355 0 0 0 4998 656 0 0 20 0 10 0 640925982 948015104 190545 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=8328/tid=8337] ppid=8326 vsize=925796 CPUtime=70.24
/proc/8328/task/8337/stat : 8337 (satake) S 8326 8328 27791 0 -1 4202560 19312 0 0 0 6330 694 0 0 20 0 10 0 640925982 948015104 190545 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=8328/tid=8338] ppid=8326 vsize=925796 CPUtime=63.78
/proc/8328/task/8338/stat : 8338 (satake) R 8326 8328 27791 0 -1 4202560 19361 0 0 0 5700 678 0 0 20 0 10 0 640925982 948015104 190545 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134666427 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8328/tid=8340] ppid=8326 vsize=925796 CPUtime=65.31
/proc/8328/task/8340/stat : 8340 (satake) S 8326 8328 27791 0 -1 4202560 19219 0 0 0 5849 682 0 0 20 0 10 0 640925982 948015104 190545 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=8328/tid=8343] ppid=8326 vsize=925796 CPUtime=66.49
/proc/8328/task/8343/stat : 8343 (satake) S 8326 8328 27791 0 -1 4202560 19333 0 0 0 5947 702 0 0 20 0 10 0 640925983 948015104 190545 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1136.56
Current children cumulated vsize (KiB) 925796

[startup+305.504 s]
/proc/loadavg: 5.17 6.49 6.25 2/198 8353
/proc/meminfo: memFree=18256912/36427776 swapFree=4624/862788
[pid=8328] ppid=8326 vsize=803280 CPUtime=1137.25
/proc/8328/stat : 8328 (satake) S 8326 8328 27791 0 -1 4202496 298797 0 0 0 91808 21917 0 0 20 0 6 0 640925982 822558720 173566 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8328/statm: 200820 173565 77 164 0 200655 0
[pid=8328/tid=8332] ppid=8326 vsize=803280 CPUtime=58.51
/proc/8328/task/8332/stat : 8332 (satake) S 8326 8328 27791 0 -1 4202560 19267 0 0 0 5111 740 0 0 20 0 6 0 640925982 822558720 173565 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=8328/tid=8337] ppid=8326 vsize=803280 CPUtime=70.31
/proc/8328/task/8337/stat : 8337 (satake) D 8326 8328 27791 0 -1 4202560 19312 0 0 0 6335 696 0 0 20 0 6 0 640925982 822558720 173565 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8328/tid=8338] ppid=8326 vsize=803280 CPUtime=63.87
/proc/8328/task/8338/stat : 8338 (satake) R 8326 8328 27791 0 -1 4202560 19361 0 0 0 5707 680 0 0 20 0 6 0 640925982 822558720 173565 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8328/tid=8340] ppid=8326 vsize=803280 CPUtime=65.39
/proc/8328/task/8340/stat : 8340 (satake) S 8326 8328 27791 0 -1 4202560 19219 0 0 0 5853 686 0 0 20 0 6 0 640925982 822558720 173565 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=8328/tid=8343] ppid=8326 vsize=803280 CPUtime=66.82
/proc/8328/task/8343/stat : 8343 (satake) S 8326 8328 27791 0 -1 4202560 19333 0 0 0 5978 704 0 0 20 0 6 0 640925983 822558720 173565 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1137.25
Current children cumulated vsize (KiB) 803280

[startup+305.604 s]
/proc/loadavg: 5.17 6.49 6.25 2/198 8353
/proc/meminfo: memFree=18256912/36427776 swapFree=4624/862788
[pid=8328] ppid=8326 vsize=0 CPUtime=1137.37
/proc/8328/stat : 8328 (satake) R 8326 8328 27791 0 -1 4202500 298798 0 0 0 91812 21925 0 0 20 0 1 0 640925982 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/8328/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1137.37
Current children cumulated vsize (KiB) 0

Child status: 16
Real time (s): 305.646
CPU time (s): 1137.43
CPU user time (s): 918.129
CPU system time (s): 219.298
CPU usage (%): 372.139
Max. virtual memory (cumulated for all children) (KiB): 1339452


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 918.129
system time used= 219.298
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 298798
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= 16997829
involuntary context switches= 2940658

runsolver used 1.18807 second user time and 3.77223 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 16:16:36
IDJOB=1780122
IDBENCH=70954
IDSOLVER=631
FILE ID=xenhost3-49/1780122-1244816196
PBS_JOBID=
Free space on /tmp= 7016 MiB

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

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

MD5SUM BENCH= a8766c9a72f73eaac2d0ddc5a182692e
RANDOM SEED= 1810159088

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:      19116044 kB
Buffers:        434792 kB
Cached:       14124520 kB
SwapCached:          0 kB
Active:        4080032 kB
Inactive:     10487552 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           16420 kB
Writeback:           0 kB
AnonPages:        7764 kB
Mapped:           3428 kB
Slab:           690480 kB
SReclaimable:   663236 kB
SUnreclaim:      27244 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= 7016 MiB
End job on xenhost3-49 at 2009-06-12 16:21:42