Trace number 1781232

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 2359.58 986.227

General information on the benchmark

Namemanol-pipe-g10bidw.cnf
MD5SUM6ade683f6bfd116f49e58395d70ae6c0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark147.5
Satisfiable
(Un)Satisfiability was proved
Number of variables237485
Number of clauses705220
Sum of the clauses size1645512
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2470146
Number of clauses of size 3235073
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

2359.45/986.13	c Benchmark name    : HOME/instance-1781232-1244859435.cnf
2359.45/986.13	c Thread Num        :           16
2359.45/986.13	c restarts          :           15
2359.45/986.13	c conflicts         :        78186
2359.45/986.13	c decisions         :       502961           (      513 / sec      )
2359.45/986.13	c propagations      :    152670991           (   155653 / sec      )
2359.45/986.13	c inspects          :    474990712           (   484268 / sec      )
2359.45/986.13	c conflict literals :      3439678           (    44.70 % deleted  )
2359.45/986.13	c cpu time          :       980.84           
2359.45/986.13	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-1781232-1244859435/watcher-1781232-1244859435 -o /tmp/evaluation-result-1781232-1244859435/solver-1781232-1244859435 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781232-1244859435.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: 3.96 6.24 9.52 2/184 13131
/proc/meminfo: memFree=19112248/36427776 swapFree=5088/8320
[pid=13131] ppid=13129 vsize=7012 CPUtime=0
/proc/13131/stat : 13131 (satake) D 13129 13131 27791 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 15 0 645249896 7180288 381 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/13131/statm: 1753 382 63 164 0 1588 0
[pid=13131/tid=13132] ppid=13129 vsize=8296 CPUtime=0
/proc/13131/task/13132/stat : 13132 (satake) S 13129 13131 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 15 0 645249896 8495104 409 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=13131/tid=13133] ppid=13129 vsize=8296 CPUtime=0
/proc/13131/task/13133/stat : 13133 (satake) R 13129 13131 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 15 0 645249896 8495104 410 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13131/tid=13134] ppid=13129 vsize=8296 CPUtime=0
/proc/13131/task/13134/stat : 13134 (satake) R 13129 13131 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 15 0 645249896 8495104 411 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13131/tid=13135] ppid=13129 vsize=8296 CPUtime=0
/proc/13131/task/13135/stat : 13135 (satake) R 13129 13131 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 15 0 645249896 8495104 411 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13131/tid=13136] ppid=13129 vsize=8296 CPUtime=0
/proc/13131/task/13136/stat : 13136 (satake) R 13129 13131 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 15 0 645249896 8495104 412 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13131/tid=13137] ppid=13129 vsize=8296 CPUtime=0
/proc/13131/task/13137/stat : 13137 (satake) R 13129 13131 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 645249896 8495104 413 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13131/tid=13138] ppid=13129 vsize=8296 CPUtime=0
/proc/13131/task/13138/stat : 13138 (satake) S 13129 13131 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 645249896 8495104 414 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13139] ppid=13129 vsize=8296 CPUtime=0
/proc/13131/task/13139/stat : 13139 (satake) D 13129 13131 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 15 0 645249896 8495104 414 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13131/tid=13140] ppid=13129 vsize=8296 CPUtime=0
/proc/13131/task/13140/stat : 13140 (satake) S 13129 13131 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 645249896 8495104 420 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=13131/tid=13141] ppid=13129 vsize=8296 CPUtime=0
/proc/13131/task/13141/stat : 13141 (satake) R 13129 13131 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 16 0 645249896 8495104 421 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13131/tid=13142] ppid=13129 vsize=8296 CPUtime=0
/proc/13131/task/13142/stat : 13142 (satake) S 13129 13131 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 645249896 8495104 421 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13143] ppid=13129 vsize=8296 CPUtime=0
/proc/13131/task/13143/stat : 13143 (satake) S 13129 13131 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 645249896 8495104 421 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=13131/tid=13144] ppid=13129 vsize=8296 CPUtime=0
/proc/13131/task/13144/stat : 13144 (satake) R 13129 13131 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 16 0 645249897 8495104 421 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13131/tid=13145] ppid=13129 vsize=8296 CPUtime=0
/proc/13131/task/13145/stat : 13145 (satake) R 13129 13131 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 16 0 645249897 8495104 421 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13131/tid=13146] ppid=13129 vsize=8364 CPUtime=0
/proc/13131/task/13146/stat : 13146 (satake) D 13129 13131 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 16 0 645249897 8564736 421 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.059667 s]
/proc/loadavg: 3.96 6.24 9.52 2/184 13131
/proc/meminfo: memFree=19112248/36427776 swapFree=5088/8320
[pid=13131] ppid=13129 vsize=24344 CPUtime=0.35
/proc/13131/stat : 13131 (satake) S 13129 13131 27791 0 -1 4202496 3491 0 0 0 5 30 0 0 20 0 17 0 645249896 24928256 3436 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/13131/statm: 6086 3486 63 164 0 5921 0
[pid=13131/tid=13132] ppid=13129 vsize=24344 CPUtime=0
/proc/13131/task/13132/stat : 13132 (satake) S 13129 13131 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 645249896 24928256 3486 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=13131/tid=13133] ppid=13129 vsize=24344 CPUtime=0.04
/proc/13131/task/13133/stat : 13133 (satake) D 13129 13131 27791 0 -1 4202560 318 0 0 0 0 4 0 0 20 0 17 0 645249896 24928256 3486 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13131/tid=13134] ppid=13129 vsize=24344 CPUtime=0.02
/proc/13131/task/13134/stat : 13134 (satake) D 13129 13131 27791 0 -1 4202560 228 0 0 0 0 2 0 0 20 0 17 0 645249896 24928256 3486 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13131/tid=13135] ppid=13129 vsize=24344 CPUtime=0.04
/proc/13131/task/13135/stat : 13135 (satake) D 13129 13131 27791 0 -1 4202560 349 0 0 0 0 4 0 0 20 0 17 0 645249896 24928256 3486 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13131/tid=13136] ppid=13129 vsize=25368 CPUtime=0.02
/proc/13131/task/13136/stat : 13136 (satake) R 13129 13131 27791 0 -1 4202560 337 0 0 0 0 2 0 0 20 0 17 0 645249896 25976832 3487 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13131/tid=13137] ppid=13129 vsize=25368 CPUtime=0.02
/proc/13131/task/13137/stat : 13137 (satake) D 13129 13131 27791 0 -1 4202560 147 0 0 0 0 2 0 0 20 0 17 0 645249896 25976832 3492 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13131/tid=13138] ppid=13129 vsize=25368 CPUtime=0.02
/proc/13131/task/13138/stat : 13138 (satake) D 13129 13131 27791 0 -1 4202560 262 0 0 0 2 0 0 0 20 0 17 0 645249896 25976832 3494 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13139] ppid=13129 vsize=25368 CPUtime=0.02
/proc/13131/task/13139/stat : 13139 (satake) R 13129 13131 27791 0 -1 4202560 305 0 0 0 0 2 0 0 20 0 17 0 645249896 25976832 3495 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13131/tid=13140] ppid=13129 vsize=25368 CPUtime=0
/proc/13131/task/13140/stat : 13140 (satake) D 13129 13131 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 645249896 25976832 3495 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13131/tid=13141] ppid=13129 vsize=25368 CPUtime=0.02
/proc/13131/task/13141/stat : 13141 (satake) R 13129 13131 27791 0 -1 4202560 259 0 0 0 0 2 0 0 20 0 17 0 645249896 25976832 3496 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13131/tid=13142] ppid=13129 vsize=25368 CPUtime=0.02
/proc/13131/task/13142/stat : 13142 (satake) R 13129 13131 27791 0 -1 4202560 260 0 0 0 0 2 0 0 20 0 17 0 645249896 25976832 3496 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13143] ppid=13129 vsize=25368 CPUtime=0.02
/proc/13131/task/13143/stat : 13143 (satake) R 13129 13131 27791 0 -1 4202560 258 0 0 0 0 2 0 0 20 0 17 0 645249896 25976832 3496 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13131/tid=13144] ppid=13129 vsize=25368 CPUtime=0.02
/proc/13131/task/13144/stat : 13144 (satake) R 13129 13131 27791 0 -1 4202560 274 0 0 0 0 2 0 0 20 0 17 0 645249897 25976832 3496 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13131/tid=13145] ppid=13129 vsize=25368 CPUtime=0
/proc/13131/task/13145/stat : 13145 (satake) R 13129 13131 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 17 0 645249897 25976832 3497 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13131/tid=13146] ppid=13129 vsize=25368 CPUtime=0
/proc/13131/task/13146/stat : 13146 (satake) R 13129 13131 27791 0 -1 4202560 79 0 0 0 0 0 0 0 20 0 17 0 645249897 25976832 3497 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 24344

[startup+0.11398 s]
/proc/loadavg: 3.96 6.24 9.52 2/184 13131
/proc/meminfo: memFree=19112248/36427776 swapFree=5088/8320
[pid=13131] ppid=13129 vsize=57112 CPUtime=0.89
/proc/13131/stat : 13131 (satake) S 13129 13131 27791 0 -1 4202496 9825 0 0 0 5 84 0 0 20 0 17 0 645249896 58482688 9764 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/13131/statm: 14278 9764 63 164 0 14113 0
[pid=13131/tid=13132] ppid=13129 vsize=57112 CPUtime=0
/proc/13131/task/13132/stat : 13132 (satake) S 13129 13131 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 645249896 58482688 9764 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=13131/tid=13133] ppid=13129 vsize=57112 CPUtime=0.08
/proc/13131/task/13133/stat : 13133 (satake) D 13129 13131 27791 0 -1 4202560 753 0 0 0 0 8 0 0 20 0 17 0 645249896 58482688 9764 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13131/tid=13134] ppid=13129 vsize=57112 CPUtime=0.06
/proc/13131/task/13134/stat : 13134 (satake) D 13129 13131 27791 0 -1 4202560 770 0 0 0 0 6 0 0 20 0 17 0 645249896 58482688 9764 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13131/tid=13135] ppid=13129 vsize=57112 CPUtime=0.08
/proc/13131/task/13135/stat : 13135 (satake) D 13129 13131 27791 0 -1 4202560 916 0 0 0 0 8 0 0 20 0 17 0 645249896 58482688 9764 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13131/tid=13136] ppid=13129 vsize=57112 CPUtime=0.06
/proc/13131/task/13136/stat : 13136 (satake) D 13129 13131 27791 0 -1 4202560 715 0 0 0 0 6 0 0 20 0 17 0 645249896 58482688 9764 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13131/tid=13137] ppid=13129 vsize=57112 CPUtime=0.04
/proc/13131/task/13137/stat : 13137 (satake) R 13129 13131 27791 0 -1 4202560 530 0 0 0 0 4 0 0 20 0 17 0 645249896 58482688 9764 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13131/tid=13138] ppid=13129 vsize=57112 CPUtime=0.06
/proc/13131/task/13138/stat : 13138 (satake) D 13129 13131 27791 0 -1 4202560 795 0 0 0 2 4 0 0 20 0 17 0 645249896 58482688 9764 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13139] ppid=13129 vsize=57112 CPUtime=0.06
/proc/13131/task/13139/stat : 13139 (satake) D 13129 13131 27791 0 -1 4202560 837 0 0 0 0 6 0 0 20 0 17 0 645249896 58482688 9764 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13131/tid=13140] ppid=13129 vsize=57112 CPUtime=0
/proc/13131/task/13140/stat : 13140 (satake) D 13129 13131 27791 0 -1 4202560 122 0 0 0 0 0 0 0 20 0 17 0 645249896 58482688 9764 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13131/tid=13141] ppid=13129 vsize=57112 CPUtime=0.08
/proc/13131/task/13141/stat : 13141 (satake) D 13129 13131 27791 0 -1 4202560 746 0 0 0 0 8 0 0 20 0 17 0 645249896 58482688 9764 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13131/tid=13142] ppid=13129 vsize=57112 CPUtime=0.08
/proc/13131/task/13142/stat : 13142 (satake) D 13129 13131 27791 0 -1 4202560 705 0 0 0 0 8 0 0 20 0 17 0 645249896 58482688 9764 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13143] ppid=13129 vsize=57112 CPUtime=0.08
/proc/13131/task/13143/stat : 13143 (satake) D 13129 13131 27791 0 -1 4202560 704 0 0 0 0 8 0 0 20 0 17 0 645249896 58482688 9764 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13131/tid=13144] ppid=13129 vsize=57112 CPUtime=0.08
/proc/13131/task/13144/stat : 13144 (satake) D 13129 13131 27791 0 -1 4202560 886 0 0 0 0 8 0 0 20 0 17 0 645249897 58482688 9764 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13131/tid=13145] ppid=13129 vsize=57112 CPUtime=0
/proc/13131/task/13145/stat : 13145 (satake) D 13129 13131 27791 0 -1 4202560 192 0 0 0 0 0 0 0 20 0 17 0 645249897 58482688 9764 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13131/tid=13146] ppid=13129 vsize=57112 CPUtime=0
/proc/13131/task/13146/stat : 13146 (satake) D 13129 13131 27791 0 -1 4202560 161 0 0 0 0 0 0 0 20 0 17 0 645249897 58482688 9764 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 57112

[startup+0.305939 s]
/proc/loadavg: 3.96 6.24 9.52 2/184 13131
/proc/meminfo: memFree=19112248/36427776 swapFree=5088/8320
[pid=13131] ppid=13129 vsize=188192 CPUtime=2.81
/proc/13131/stat : 13131 (satake) S 13129 13131 27791 0 -1 4202496 34581 0 0 0 5 276 0 0 20 0 17 0 645249896 192708608 34520 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/13131/statm: 47048 34525 63 164 0 46883 0
[pid=13131/tid=13132] ppid=13129 vsize=188192 CPUtime=0
/proc/13131/task/13132/stat : 13132 (satake) S 13129 13131 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 645249896 192708608 34525 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=13131/tid=13133] ppid=13129 vsize=188192 CPUtime=0.24
/proc/13131/task/13133/stat : 13133 (satake) D 13129 13131 27791 0 -1 4202560 3027 0 0 0 0 24 0 0 20 0 17 0 645249896 192708608 34526 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13131/tid=13134] ppid=13129 vsize=188192 CPUtime=0.22
/proc/13131/task/13134/stat : 13134 (satake) R 13129 13131 27791 0 -1 4202560 3121 0 0 0 0 22 0 0 20 0 17 0 645249896 192708608 34528 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13131/tid=13135] ppid=13129 vsize=188192 CPUtime=0.24
/proc/13131/task/13135/stat : 13135 (satake) D 13129 13131 27791 0 -1 4202560 2842 0 0 0 0 24 0 0 20 0 17 0 645249896 192708608 34529 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13131/tid=13136] ppid=13129 vsize=188192 CPUtime=0.16
/proc/13131/task/13136/stat : 13136 (satake) R 13129 13131 27791 0 -1 4202560 1957 0 0 0 0 16 0 0 20 0 17 0 645249896 192708608 34529 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13131/tid=13137] ppid=13129 vsize=188192 CPUtime=0.2
/proc/13131/task/13137/stat : 13137 (satake) R 13129 13131 27791 0 -1 4202560 2198 0 0 0 0 20 0 0 20 0 17 0 645249896 192708608 34531 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13131/tid=13138] ppid=13129 vsize=188192 CPUtime=0.14
/proc/13131/task/13138/stat : 13138 (satake) D 13129 13131 27791 0 -1 4202560 1758 0 0 0 2 12 0 0 20 0 17 0 645249896 192708608 34531 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13139] ppid=13129 vsize=188192 CPUtime=0.14
/proc/13131/task/13139/stat : 13139 (satake) R 13129 13131 27791 0 -1 4202560 2013 0 0 0 0 14 0 0 20 0 17 0 645249896 192708608 34532 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13131/tid=13140] ppid=13129 vsize=188192 CPUtime=0.1
/proc/13131/task/13140/stat : 13140 (satake) R 13129 13131 27791 0 -1 4202560 1134 0 0 0 0 10 0 0 20 0 17 0 645249896 192708608 34533 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13131/tid=13141] ppid=13129 vsize=188192 CPUtime=0.24
/proc/13131/task/13141/stat : 13141 (satake) D 13129 13131 27791 0 -1 4202560 3210 0 0 0 0 24 0 0 20 0 17 0 645249896 192708608 34533 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13131/tid=13142] ppid=13129 vsize=188192 CPUtime=0.24
/proc/13131/task/13142/stat : 13142 (satake) R 13129 13131 27791 0 -1 4202560 2805 0 0 0 0 24 0 0 20 0 17 0 645249896 192708608 34534 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13143] ppid=13129 vsize=188192 CPUtime=0.22
/proc/13131/task/13143/stat : 13143 (satake) R 13129 13131 27791 0 -1 4202560 2687 0 0 0 0 22 0 0 20 0 17 0 645249896 192708608 34534 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13131/tid=13144] ppid=13129 vsize=188192 CPUtime=0.24
/proc/13131/task/13144/stat : 13144 (satake) R 13129 13131 27791 0 -1 4202560 3210 0 0 0 0 24 0 0 20 0 17 0 645249897 192708608 34534 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13131/tid=13145] ppid=13129 vsize=188192 CPUtime=0.08
/proc/13131/task/13145/stat : 13145 (satake) R 13129 13131 27791 0 -1 4202560 825 0 0 0 0 8 0 0 20 0 17 0 645249897 192708608 34534 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13131/tid=13146] ppid=13129 vsize=188192 CPUtime=0.08
/proc/13131/task/13146/stat : 13146 (satake) R 13129 13131 27791 0 -1 4202560 1002 0 0 0 0 8 0 0 20 0 17 0 645249897 192708608 34534 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 188192

[startup+0.7031 s]
/proc/loadavg: 3.96 6.24 9.52 2/184 13131
/proc/meminfo: memFree=19112248/36427776 swapFree=5088/8320
[pid=13131] ppid=13129 vsize=233156 CPUtime=5.02
/proc/13131/stat : 13131 (satake) S 13129 13131 27791 0 -1 4202496 55546 0 0 0 17 485 0 0 20 0 17 0 645249896 238751744 55485 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/13131/statm: 58289 55485 63 164 0 58124 0
[pid=13131/tid=13132] ppid=13129 vsize=233156 CPUtime=0
/proc/13131/task/13132/stat : 13132 (satake) S 13129 13131 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 645249896 238751744 55485 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=13131/tid=13133] ppid=13129 vsize=233156 CPUtime=0.38
/proc/13131/task/13133/stat : 13133 (satake) S 13129 13131 27791 0 -1 4202560 3794 0 0 0 0 38 0 0 20 0 17 0 645249896 238751744 55485 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=13131/tid=13134] ppid=13129 vsize=233156 CPUtime=0.36
/proc/13131/task/13134/stat : 13134 (satake) D 13129 13131 27791 0 -1 4202560 3876 0 0 0 2 34 0 0 20 0 17 0 645249896 238751744 55485 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13131/tid=13135] ppid=13129 vsize=233156 CPUtime=0.4
/proc/13131/task/13135/stat : 13135 (satake) S 13129 13131 27791 0 -1 4202560 3791 0 0 0 0 40 0 0 20 0 17 0 645249896 238751744 55485 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=13131/tid=13136] ppid=13129 vsize=233156 CPUtime=0.28
/proc/13131/task/13136/stat : 13136 (satake) D 13129 13131 27791 0 -1 4202560 3506 0 0 0 0 28 0 0 20 0 17 0 645249896 238751744 55485 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13131/tid=13137] ppid=13129 vsize=233156 CPUtime=0.38
/proc/13131/task/13137/stat : 13137 (satake) R 13129 13131 27791 0 -1 4202560 3661 0 0 0 0 38 0 0 20 0 17 0 645249896 238751744 55485 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13131/tid=13138] ppid=13129 vsize=233156 CPUtime=0.26
/proc/13131/task/13138/stat : 13138 (satake) S 13129 13131 27791 0 -1 4202560 3481 0 0 0 2 24 0 0 20 0 17 0 645249896 238751744 55485 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13139] ppid=13129 vsize=233156 CPUtime=0.26
/proc/13131/task/13139/stat : 13139 (satake) S 13129 13131 27791 0 -1 4202560 3486 0 0 0 0 26 0 0 20 0 17 0 645249896 238751744 55485 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=13131/tid=13140] ppid=13129 vsize=233156 CPUtime=0.22
/proc/13131/task/13140/stat : 13140 (satake) S 13129 13131 27791 0 -1 4202560 3458 0 0 0 0 22 0 0 20 0 17 0 645249896 238751744 55485 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=13131/tid=13141] ppid=13129 vsize=233156 CPUtime=0.4
/proc/13131/task/13141/stat : 13141 (satake) S 13129 13131 27791 0 -1 4202560 4065 0 0 0 0 40 0 0 20 0 17 0 645249896 238751744 55485 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=13131/tid=13142] ppid=13129 vsize=233156 CPUtime=0.38
/proc/13131/task/13142/stat : 13142 (satake) S 13129 13131 27791 0 -1 4202560 3787 0 0 0 0 38 0 0 20 0 17 0 645249896 238751744 55485 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13143] ppid=13129 vsize=233156 CPUtime=0.38
/proc/13131/task/13143/stat : 13143 (satake) S 13129 13131 27791 0 -1 4202560 3730 0 0 0 0 38 0 0 20 0 17 0 645249896 238751744 55485 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=13131/tid=13144] ppid=13129 vsize=233156 CPUtime=0.4
/proc/13131/task/13144/stat : 13144 (satake) S 13129 13131 27791 0 -1 4202560 4123 0 0 0 2 38 0 0 20 0 17 0 645249897 238751744 55485 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=13131/tid=13145] ppid=13129 vsize=233156 CPUtime=0.2

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

/proc/13131/task/13136/stat : 13136 (satake) S 13129 13131 27791 0 -1 4202560 24776 0 0 0 10308 1710 0 0 20 0 17 0 645249896 1466875904 336216 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=13131/tid=13137] ppid=13129 vsize=1432496 CPUtime=112.95
/proc/13131/task/13137/stat : 13137 (satake) D 13129 13131 27791 0 -1 4202560 24422 0 0 0 9533 1762 0 0 20 0 17 0 645249896 1466875904 336216 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13131/tid=13138] ppid=13129 vsize=1432496 CPUtime=124.25
/proc/13131/task/13138/stat : 13138 (satake) S 13129 13131 27791 0 -1 4202560 24936 0 0 0 10565 1860 0 0 20 0 17 0 645249896 1466875904 336216 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=13131/tid=13139] ppid=13129 vsize=1432496 CPUtime=132.14
/proc/13131/task/13139/stat : 13139 (satake) R 13129 13131 27791 0 -1 4202560 24627 0 0 0 11212 2002 0 0 20 0 17 0 645249896 1466875904 336216 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134520716 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13131/tid=13140] ppid=13129 vsize=1432496 CPUtime=124.09
/proc/13131/task/13140/stat : 13140 (satake) R 13129 13131 27791 0 -1 4202560 24664 0 0 0 10559 1850 0 0 20 0 17 0 645249896 1466875904 336216 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134520716 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13131/tid=13141] ppid=13129 vsize=1432496 CPUtime=126.7
/proc/13131/task/13141/stat : 13141 (satake) R 13129 13131 27791 0 -1 4202560 24599 0 0 0 10560 2110 0 0 20 0 17 0 645249896 1466875904 336216 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134528549 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13131/tid=13142] ppid=13129 vsize=1432496 CPUtime=131.18
/proc/13131/task/13142/stat : 13142 (satake) S 13129 13131 27791 0 -1 4202560 24461 0 0 0 11366 1752 0 0 20 0 17 0 645249896 1466875904 336216 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13143] ppid=13129 vsize=1432496 CPUtime=132.66
/proc/13131/task/13143/stat : 13143 (satake) S 13129 13131 27791 0 -1 4202560 24762 0 0 0 11406 1860 0 0 20 0 17 0 645249896 1466875904 336216 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=13131/tid=13144] ppid=13129 vsize=1432496 CPUtime=126.5
/proc/13131/task/13144/stat : 13144 (satake) S 13129 13131 27791 0 -1 4202560 24601 0 0 0 10736 1914 0 0 20 0 17 0 645249897 1466875904 336216 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=13131/tid=13145] ppid=13129 vsize=1432496 CPUtime=115.79
/proc/13131/task/13145/stat : 13145 (satake) S 13129 13131 27791 0 -1 4202560 25047 0 0 0 9711 1868 0 0 20 0 17 0 645249897 1466875904 336216 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=13131/tid=13146] ppid=13129 vsize=1432496 CPUtime=123.43
/proc/13131/task/13146/stat : 13146 (satake) R 13129 13131 27791 0 -1 4202560 24752 0 0 0 10245 2098 0 0 20 0 17 0 645249897 1466875904 336216 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134520716 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13148] ppid=13129 vsize=1432496 CPUtime=127.76
/proc/13131/task/13148/stat : 13148 (satake) S 13129 13131 27791 0 -1 4202560 24228 0 0 0 10888 1888 0 0 20 0 17 0 645249897 1466875904 336216 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 2316.04
Current children cumulated vsize (KiB) 1432496

[startup+982.312 s]
/proc/loadavg: 4.85 4.01 5.65 2/201 13163
/proc/meminfo: memFree=17768180/36427776 swapFree=4624/1353680
[pid=13131] ppid=13129 vsize=1430228 CPUtime=2339.01
/proc/13131/stat : 13131 (satake) S 13129 13131 27791 0 -1 4202496 383374 0 0 0 165973 67928 0 0 20 0 17 0 645249896 1464553472 335822 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/13131/statm: 357557 335822 77 164 0 357392 0
[pid=13131/tid=13132] ppid=13129 vsize=1430228 CPUtime=444.26
/proc/13131/task/13132/stat : 13132 (satake) R 13129 13131 27791 0 -1 4202560 13672 0 0 0 5530 38896 0 0 20 0 17 0 645249896 1464553472 335822 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134666380 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13131/tid=13133] ppid=13129 vsize=1430228 CPUtime=133.72
/proc/13131/task/13133/stat : 13133 (satake) S 13129 13131 27791 0 -1 4202560 23847 0 0 0 11642 1730 0 0 20 0 17 0 645249896 1464553472 335822 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=13131/tid=13134] ppid=13129 vsize=1430228 CPUtime=121.7
/proc/13131/task/13134/stat : 13134 (satake) S 13129 13131 27791 0 -1 4202560 24982 0 0 0 10262 1908 0 0 20 0 17 0 645249896 1464553472 335822 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=13131/tid=13135] ppid=13129 vsize=1430228 CPUtime=124.23
/proc/13131/task/13135/stat : 13135 (satake) S 13129 13131 27791 0 -1 4202560 24857 0 0 0 10461 1962 0 0 20 0 17 0 645249896 1464553472 335822 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=13131/tid=13136] ppid=13129 vsize=1430228 CPUtime=121.42
/proc/13131/task/13136/stat : 13136 (satake) S 13129 13131 27791 0 -1 4202560 24784 0 0 0 10362 1780 0 0 20 0 17 0 645249896 1464553472 335822 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=13131/tid=13137] ppid=13129 vsize=1430228 CPUtime=114.32
/proc/13131/task/13137/stat : 13137 (satake) S 13129 13131 27791 0 -1 4202560 24425 0 0 0 9614 1818 0 0 20 0 17 0 645249896 1464553472 335822 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=13131/tid=13138] ppid=13129 vsize=1430228 CPUtime=125.51
/proc/13131/task/13138/stat : 13138 (satake) S 13129 13131 27791 0 -1 4202560 24937 0 0 0 10627 1924 0 0 20 0 17 0 645249896 1464553472 335822 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=13131/tid=13139] ppid=13129 vsize=1430228 CPUtime=133.7
/proc/13131/task/13139/stat : 13139 (satake) S 13129 13131 27791 0 -1 4202560 24627 0 0 0 11306 2064 0 0 20 0 17 0 645249896 1464553472 335822 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=13131/tid=13140] ppid=13129 vsize=1430228 CPUtime=125.5
/proc/13131/task/13140/stat : 13140 (satake) S 13129 13131 27791 0 -1 4202560 24664 0 0 0 10636 1914 0 0 20 0 17 0 645249896 1464553472 335822 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=13131/tid=13141] ppid=13129 vsize=1430228 CPUtime=128
/proc/13131/task/13141/stat : 13141 (satake) S 13129 13131 27791 0 -1 4202560 24600 0 0 0 10626 2174 0 0 20 0 17 0 645249896 1464553472 335822 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=13131/tid=13142] ppid=13129 vsize=1430228 CPUtime=132.17
/proc/13131/task/13142/stat : 13142 (satake) S 13129 13131 27791 0 -1 4202560 24461 0 0 0 11399 1818 0 0 20 0 17 0 645249896 1464553472 335822 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13143] ppid=13129 vsize=1430228 CPUtime=133.96
/proc/13131/task/13143/stat : 13143 (satake) S 13129 13131 27791 0 -1 4202560 24763 0 0 0 11468 1928 0 0 20 0 17 0 645249896 1464553472 335822 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=13131/tid=13144] ppid=13129 vsize=1430228 CPUtime=128.22
/proc/13131/task/13144/stat : 13144 (satake) S 13129 13131 27791 0 -1 4202560 24601 0 0 0 10872 1950 0 0 20 0 17 0 645249897 1464553472 335822 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=13131/tid=13145] ppid=13129 vsize=1430228 CPUtime=117.04
/proc/13131/task/13145/stat : 13145 (satake) S 13129 13131 27791 0 -1 4202560 25047 0 0 0 9772 1932 0 0 20 0 17 0 645249897 1464553472 335822 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=13131/tid=13146] ppid=13129 vsize=1430228 CPUtime=125.11
/proc/13131/task/13146/stat : 13146 (satake) S 13129 13131 27791 0 -1 4202560 24752 0 0 0 10347 2164 0 0 20 0 17 0 645249897 1464553472 335822 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13148] ppid=13129 vsize=1430228 CPUtime=129.98
/proc/13131/task/13148/stat : 13148 (satake) S 13129 13131 27791 0 -1 4202560 24228 0 0 0 11040 1958 0 0 20 0 17 0 645249897 1464553472 335822 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 2339.01
Current children cumulated vsize (KiB) 1430228

[startup+983.907 s]
/proc/loadavg: 4.85 4.01 5.65 16/200 13163
/proc/meminfo: memFree=17808392/36427776 swapFree=4624/1310596
[pid=13131] ppid=13129 vsize=1332192 CPUtime=2347.68
/proc/13131/stat : 13131 (satake) S 13129 13131 27791 0 -1 4202496 383374 0 0 0 166355 68413 0 0 20 0 16 0 645249896 1364164608 319707 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/13131/statm: 333048 319707 77 164 0 332883 0
[pid=13131/tid=13133] ppid=13129 vsize=1332192 CPUtime=134.35
/proc/13131/task/13133/stat : 13133 (satake) R 13129 13131 27791 0 -1 4202560 23847 0 0 0 11673 1762 0 0 20 0 16 0 645249896 1364164608 319707 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13131/tid=13134] ppid=13129 vsize=1332192 CPUtime=122.21
/proc/13131/task/13134/stat : 13134 (satake) R 13129 13131 27791 0 -1 4202560 24982 0 0 0 10279 1942 0 0 20 0 16 0 645249896 1364164608 319707 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13131/tid=13135] ppid=13129 vsize=1332192 CPUtime=124.83
/proc/13131/task/13135/stat : 13135 (satake) R 13129 13131 27791 0 -1 4202560 24857 0 0 0 10487 1996 0 0 20 0 16 0 645249896 1364164608 319707 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13131/tid=13136] ppid=13129 vsize=1332192 CPUtime=122.04
/proc/13131/task/13136/stat : 13136 (satake) R 13129 13131 27791 0 -1 4202560 24784 0 0 0 10390 1814 0 0 20 0 16 0 645249896 1364164608 319707 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13131/tid=13137] ppid=13129 vsize=1332192 CPUtime=114.81
/proc/13131/task/13137/stat : 13137 (satake) R 13129 13131 27791 0 -1 4202560 24425 0 0 0 9631 1850 0 0 20 0 16 0 645249896 1364164608 319707 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13131/tid=13138] ppid=13129 vsize=1332192 CPUtime=126.03
/proc/13131/task/13138/stat : 13138 (satake) R 13129 13131 27791 0 -1 4202560 24937 0 0 0 10647 1956 0 0 20 0 16 0 645249896 1364164608 319707 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13131/tid=13139] ppid=13129 vsize=1332192 CPUtime=134.33
/proc/13131/task/13139/stat : 13139 (satake) R 13129 13131 27791 0 -1 4202560 24627 0 0 0 11341 2092 0 0 20 0 16 0 645249896 1364164608 319707 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13131/tid=13140] ppid=13129 vsize=1332192 CPUtime=126.2
/proc/13131/task/13140/stat : 13140 (satake) R 13129 13131 27791 0 -1 4202560 24664 0 0 0 10676 1944 0 0 20 0 16 0 645249896 1364164608 319707 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13131/tid=13141] ppid=13129 vsize=1332192 CPUtime=128.53
/proc/13131/task/13141/stat : 13141 (satake) R 13129 13131 27791 0 -1 4202560 24600 0 0 0 10647 2206 0 0 20 0 16 0 645249896 1364164608 319707 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13131/tid=13142] ppid=13129 vsize=1332192 CPUtime=132.7
/proc/13131/task/13142/stat : 13142 (satake) R 13129 13131 27791 0 -1 4202560 24461 0 0 0 11420 1850 0 0 20 0 16 0 645249896 1364164608 319707 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13143] ppid=13129 vsize=1332192 CPUtime=134.48
/proc/13131/task/13143/stat : 13143 (satake) R 13129 13131 27791 0 -1 4202560 24763 0 0 0 11486 1962 0 0 20 0 16 0 645249896 1364164608 319707 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13131/tid=13144] ppid=13129 vsize=1332192 CPUtime=128.79
/proc/13131/task/13144/stat : 13144 (satake) R 13129 13131 27791 0 -1 4202560 24601 0 0 0 10905 1974 0 0 20 0 16 0 645249897 1364164608 319707 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13131/tid=13145] ppid=13129 vsize=1332192 CPUtime=117.54
/proc/13131/task/13145/stat : 13145 (satake) S 13129 13131 27791 0 -1 4202560 25047 0 0 0 9788 1966 0 0 20 0 16 0 645249897 1364164608 319707 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13131/tid=13146] ppid=13129 vsize=1332192 CPUtime=125.69
/proc/13131/task/13146/stat : 13146 (satake) R 13129 13131 27791 0 -1 4202560 24752 0 0 0 10371 2198 0 0 20 0 16 0 645249897 1364164608 319707 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13148] ppid=13129 vsize=1332192 CPUtime=130.51
/proc/13131/task/13148/stat : 13148 (satake) S 13129 13131 27791 0 -1 4202560 24228 0 0 0 11059 1992 0 0 20 0 16 0 645249897 1364164608 319707 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 2347.68
Current children cumulated vsize (KiB) 1332192

[startup+985.504 s]
/proc/loadavg: 4.85 4.01 5.65 2/197 13163
/proc/meminfo: memFree=17883392/36427776 swapFree=4624/1232976
[pid=13131] ppid=13129 vsize=1266036 CPUtime=2358.07
/proc/13131/stat : 13131 (satake) S 13129 13131 27791 0 -1 4202496 383374 0 0 0 166869 68938 0 0 20 0 13 0 645249896 1296420864 305732 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/13131/statm: 316509 305732 77 164 0 316344 0
[pid=13131/tid=13133] ppid=13129 vsize=1266036 CPUtime=135.09
/proc/13131/task/13133/stat : 13133 (satake) R 13129 13131 27791 0 -1 4202560 23847 0 0 0 11711 1798 0 0 20 0 13 0 645249896 1296420864 305732 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13131/tid=13134] ppid=13129 vsize=1266036 CPUtime=122.92
/proc/13131/task/13134/stat : 13134 (satake) R 13129 13131 27791 0 -1 4202560 24982 0 0 0 10314 1978 0 0 20 0 13 0 645249896 1296420864 305732 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13131/tid=13135] ppid=13129 vsize=1266036 CPUtime=125.54
/proc/13131/task/13135/stat : 13135 (satake) S 13129 13131 27791 0 -1 4202560 24857 0 0 0 10522 2032 0 0 20 0 13 0 645249896 1296420864 305732 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=13131/tid=13136] ppid=13129 vsize=1266036 CPUtime=122.77
/proc/13131/task/13136/stat : 13136 (satake) S 13129 13131 27791 0 -1 4202560 24784 0 0 0 10431 1846 0 0 20 0 13 0 645249896 1296420864 305732 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=13131/tid=13137] ppid=13129 vsize=1266036 CPUtime=115.5
/proc/13131/task/13137/stat : 13137 (satake) S 13129 13131 27791 0 -1 4202560 24425 0 0 0 9664 1886 0 0 20 0 13 0 645249896 1296420864 305732 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=13131/tid=13138] ppid=13129 vsize=1266036 CPUtime=126.76
/proc/13131/task/13138/stat : 13138 (satake) S 13129 13131 27791 0 -1 4202560 24937 0 0 0 10678 1998 0 0 20 0 13 0 645249896 1296420864 305732 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=13131/tid=13139] ppid=13129 vsize=1266036 CPUtime=134.98
/proc/13131/task/13139/stat : 13139 (satake) S 13129 13131 27791 0 -1 4202560 24627 0 0 0 11366 2132 0 0 20 0 13 0 645249896 1296420864 305732 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=13131/tid=13141] ppid=13129 vsize=1266036 CPUtime=129.2
/proc/13131/task/13141/stat : 13141 (satake) R 13129 13131 27791 0 -1 4202560 24600 0 0 0 10678 2242 0 0 20 0 13 0 645249896 1296420864 305732 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13131/tid=13142] ppid=13129 vsize=1266036 CPUtime=133.4
/proc/13131/task/13142/stat : 13142 (satake) S 13129 13131 27791 0 -1 4202560 24461 0 0 0 11458 1882 0 0 20 0 13 0 645249896 1296420864 305732 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13143] ppid=13129 vsize=1266036 CPUtime=135.15
/proc/13131/task/13143/stat : 13143 (satake) S 13129 13131 27791 0 -1 4202560 24763 0 0 0 11519 1996 0 0 20 0 13 0 645249896 1296420864 305732 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=13131/tid=13144] ppid=13129 vsize=1266036 CPUtime=129.52
/proc/13131/task/13144/stat : 13144 (satake) S 13129 13131 27791 0 -1 4202560 24601 0 0 0 10954 1998 0 0 20 0 13 0 645249897 1296420864 305732 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=13131/tid=13145] ppid=13129 vsize=1266036 CPUtime=118.23
/proc/13131/task/13145/stat : 13145 (satake) R 13129 13131 27791 0 -1 4202560 25047 0 0 0 9819 2004 0 0 20 0 13 0 645249897 1296420864 305732 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 2358.07
Current children cumulated vsize (KiB) 1266036

[startup+985.904 s]
/proc/loadavg: 4.85 4.01 5.65 2/197 13163
/proc/meminfo: memFree=17883392/36427776 swapFree=4624/1232976
[pid=13131] ppid=13129 vsize=1072180 CPUtime=2359.25
/proc/13131/stat : 13131 (satake) S 13129 13131 27791 0 -1 4202496 383374 0 0 0 166951 68974 0 0 20 0 2 0 645249896 1097912320 262511 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/13131/statm: 268045 262511 77 164 0 267880 0
[pid=13131/tid=13144] ppid=13129 vsize=1072180 CPUtime=129.71
/proc/13131/task/13144/stat : 13144 (satake) R 13129 13131 27791 0 -1 4202560 24601 0 0 0 10969 2002 0 0 20 0 2 0 645249897 1097912320 262511 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134702308 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2359.25
Current children cumulated vsize (KiB) 1072180

[startup+986.104 s]
/proc/loadavg: 4.85 4.01 5.65 2/197 13163
/proc/meminfo: memFree=17883392/36427776 swapFree=4624/1232976
[pid=13131] ppid=13129 vsize=736272 CPUtime=2359.45
/proc/13131/stat : 13131 (satake) S 13129 13131 27791 0 -1 4202496 383374 0 0 0 166962 68983 0 0 20 0 2 0 645249896 753942528 180532 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/13131/statm: 184068 180532 77 164 0 183903 0
[pid=13131/tid=13144] ppid=13129 vsize=736272 CPUtime=129.9
/proc/13131/task/13144/stat : 13144 (satake) R 13129 13131 27791 0 -1 4202560 24601 0 0 0 10980 2010 0 0 20 0 2 0 645249897 753942528 180532 18446744073709551615 134512640 135180984 4294411872 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2359.45
Current children cumulated vsize (KiB) 736272

[startup+986.204 s]
/proc/loadavg: 4.85 4.01 5.65 2/197 13163
/proc/meminfo: memFree=17883392/36427776 swapFree=4624/1232976
[pid=13131] ppid=13129 vsize=0 CPUtime=2359.55
/proc/13131/stat : 13131 (satake) R 13129 13131 27791 0 -1 4202500 383375 0 0 0 166962 68993 0 0 20 0 1 0 645249896 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/13131/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2359.55
Current children cumulated vsize (KiB) 0

Child status: 16
Real time (s): 986.227
CPU time (s): 2359.58
CPU user time (s): 1669.63
CPU system time (s): 689.947
CPU usage (%): 239.253
Max. virtual memory (cumulated for all children) (KiB): 1432496


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1669.63
system time used= 689.947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 383375
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= 57432025
involuntary context switches= 5467175

runsolver used 3.88824 second user time and 11.8007 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 04:17:15
IDJOB=1781232
IDBENCH=71689
IDSOLVER=631
FILE ID=xenhost3-49/1781232-1244859435
PBS_JOBID=
Free space on /tmp= 7015 MiB

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

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

MD5SUM BENCH= 6ade683f6bfd116f49e58395d70ae6c0
RANDOM SEED= 2106296831

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:      19112248 kB
Buffers:        435728 kB
Cached:       14125924 kB
SwapCached:          0 kB
Active:        4081036 kB
Inactive:     10488900 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           13336 kB
Writeback:           0 kB
AnonPages:        8320 kB
Mapped:           4424 kB
Slab:           689604 kB
SReclaimable:   662724 kB
SUnreclaim:      26880 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= 7015 MiB
End job on xenhost3-49 at 2009-06-13 04:33:42