Trace number 1776822

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 1641.52 759.686

General information on the benchmark

Namemanol-pipe-g10nid.cnf
MD5SUMd46e452956bc993f202d3b06fd3e858e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark106.54
Satisfiable
(Un)Satisfiability was proved
Number of variables217725
Number of clauses646228
Sum of the clauses size1507864
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2430818
Number of clauses of size 3215409
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

1641.43/759.61	c Benchmark name    : HOME/instance-1776822-1244757536.cnf
1641.43/759.61	c Thread Num        :           16
1641.43/759.61	c restarts          :           14
1641.43/759.61	c conflicts         :        51591
1641.43/759.61	c decisions         :       393807           (      522 / sec      )
1641.43/759.61	c propagations      :    109091345           (   144482 / sec      )
1641.43/759.61	c inspects          :    299244280           (   396322 / sec      )
1641.43/759.61	c conflict literals :      1904817           (    40.02 % deleted  )
1641.43/759.61	c cpu time          :       755.05           
1641.43/759.61	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-1776822-1244757536/watcher-1776822-1244757536 -o /tmp/evaluation-result-1776822-1244757536/solver-1776822-1244757536 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776822-1244757536.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: 2.67 3.35 3.88 2/184 1202
/proc/meminfo: memFree=19128064/36427776 swapFree=4452/8108
[pid=1202] ppid=1200 vsize=6560 CPUtime=0
/proc/1202/stat : 1202 (satake) D 1200 1202 27791 0 -1 4202496 305 0 0 0 0 0 0 0 20 0 13 0 635060032 6717440 260 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/1202/statm: 2152 260 62 164 0 1987 0
[pid=1202/tid=1203] ppid=1200 vsize=8320 CPUtime=0
/proc/1202/task/1203/stat : 1203 (satake) S 1200 1202 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 635060033 8519680 449 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1202/tid=1204] ppid=1200 vsize=8320 CPUtime=0
/proc/1202/task/1204/stat : 1204 (satake) R 1200 1202 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 635060033 8519680 453 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=8320 CPUtime=0
/proc/1202/task/1205/stat : 1205 (satake) R 1200 1202 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 635060033 8519680 453 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=8320 CPUtime=0
/proc/1202/task/1206/stat : 1206 (satake) R 1200 1202 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 635060033 8519680 455 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=8320 CPUtime=0
/proc/1202/task/1207/stat : 1207 (satake) R 1200 1202 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 635060033 8519680 455 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=8320 CPUtime=0
/proc/1202/task/1208/stat : 1208 (satake) R 1200 1202 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 635060033 8519680 456 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=8320 CPUtime=0
/proc/1202/task/1209/stat : 1209 (satake) S 1200 1202 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 635060033 8519680 459 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=8320 CPUtime=0
/proc/1202/task/1210/stat : 1210 (satake) S 1200 1202 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 635060033 8519680 460 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=1202/tid=1211] ppid=1200 vsize=8452 CPUtime=0
/proc/1202/task/1211/stat : 1211 (satake) R 1200 1202 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 635060033 8654848 461 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1202/tid=1212] ppid=1200 vsize=8452 CPUtime=0
/proc/1202/task/1212/stat : 1212 (satake) D 1200 1202 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 635060033 8654848 466 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1202/tid=1213] ppid=1200 vsize=8452 CPUtime=0
/proc/1202/task/1213/stat : 1213 (satake) R 1200 1202 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 635060033 8654848 467 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1202/tid=1214] ppid=1200 vsize=8452 CPUtime=0
/proc/1202/task/1214/stat : 1214 (satake) D 1200 1202 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 635060033 8654848 468 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1202/tid=1215] ppid=1200 vsize=8452 CPUtime=0
/proc/1202/task/1215/stat : 1215 (satake) R 1200 1202 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 635060033 8654848 468 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1202/tid=1216] ppid=1200 vsize=8452 CPUtime=0
/proc/1202/task/1216/stat : 1216 (satake) R 1200 1202 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 17 0 635060033 8654848 468 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=1202/tid=1217] ppid=1200 vsize=8452 CPUtime=0
/proc/1202/task/1217/stat : 1217 (satake) D 1200 1202 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 17 0 635060033 8654848 468 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1202/tid=1218] ppid=1200 vsize=8452 CPUtime=0
/proc/1202/task/1218/stat : 1218 (satake) D 1200 1202 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 635060033 8654848 469 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0

[startup+0.056365 s]
/proc/loadavg: 2.67 3.35 3.88 2/184 1202
/proc/meminfo: memFree=19128064/36427776 swapFree=4452/8108
[pid=1202] ppid=1200 vsize=33064 CPUtime=0.26
/proc/1202/stat : 1202 (satake) S 1200 1202 27791 0 -1 4202496 5529 0 0 0 0 26 0 0 20 0 17 0 635060032 33857536 5484 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/1202/statm: 8522 5572 63 164 0 8357 0
[pid=1202/tid=1203] ppid=1200 vsize=34088 CPUtime=0
/proc/1202/task/1203/stat : 1203 (satake) S 1200 1202 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 635060033 34906112 5572 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1202/tid=1204] ppid=1200 vsize=34088 CPUtime=0.02
/proc/1202/task/1204/stat : 1204 (satake) D 1200 1202 27791 0 -1 4202560 480 0 0 0 0 2 0 0 20 0 17 0 635060033 34906112 5572 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=34088 CPUtime=0.02
/proc/1202/task/1205/stat : 1205 (satake) D 1200 1202 27791 0 -1 4202560 283 0 0 0 0 2 0 0 20 0 17 0 635060033 34906112 5572 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=34088 CPUtime=0.02
/proc/1202/task/1206/stat : 1206 (satake) D 1200 1202 27791 0 -1 4202560 529 0 0 0 0 2 0 0 20 0 17 0 635060033 34906112 5572 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=34088 CPUtime=0.02
/proc/1202/task/1207/stat : 1207 (satake) D 1200 1202 27791 0 -1 4202560 624 0 0 0 0 2 0 0 20 0 17 0 635060033 34906112 5572 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=34088 CPUtime=0
/proc/1202/task/1208/stat : 1208 (satake) R 1200 1202 27791 0 -1 4202560 274 0 0 0 0 0 0 0 20 0 17 0 635060033 34906112 5572 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=34088 CPUtime=0
/proc/1202/task/1209/stat : 1209 (satake) D 1200 1202 27791 0 -1 4202560 250 0 0 0 0 0 0 0 20 0 17 0 635060033 34906112 5572 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=36140 CPUtime=0.02
/proc/1202/task/1210/stat : 1210 (satake) D 1200 1202 27791 0 -1 4202560 627 0 0 0 0 2 0 0 20 0 17 0 635060033 37007360 5572 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1202/tid=1211] ppid=1200 vsize=35112 CPUtime=0
/proc/1202/task/1211/stat : 1211 (satake) R 1200 1202 27791 0 -1 4202560 76 0 0 0 0 0 0 0 20 0 17 0 635060033 35954688 5625 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1202/tid=1212] ppid=1200 vsize=35112 CPUtime=0
/proc/1202/task/1212/stat : 1212 (satake) D 1200 1202 27791 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 17 0 635060033 35954688 5625 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1202/tid=1213] ppid=1200 vsize=35112 CPUtime=0.02
/proc/1202/task/1213/stat : 1213 (satake) D 1200 1202 27791 0 -1 4202560 454 0 0 0 0 2 0 0 20 0 17 0 635060033 35954688 5625 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1202/tid=1214] ppid=1200 vsize=35112 CPUtime=0
/proc/1202/task/1214/stat : 1214 (satake) D 1200 1202 27791 0 -1 4202560 269 0 0 0 0 0 0 0 20 0 17 0 635060033 35954688 5625 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1202/tid=1215] ppid=1200 vsize=35112 CPUtime=0.02
/proc/1202/task/1215/stat : 1215 (satake) R 1200 1202 27791 0 -1 4202560 530 0 0 0 0 2 0 0 20 0 17 0 635060033 35954688 5625 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1202/tid=1216] ppid=1200 vsize=35112 CPUtime=0.02
/proc/1202/task/1216/stat : 1216 (satake) D 1200 1202 27791 0 -1 4202560 442 0 0 0 0 2 0 0 20 0 17 0 635060033 35954688 5625 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=1202/tid=1217] ppid=1200 vsize=35112 CPUtime=0.02
/proc/1202/task/1217/stat : 1217 (satake) D 1200 1202 27791 0 -1 4202560 526 0 0 0 0 2 0 0 20 0 17 0 635060033 35954688 5625 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1202/tid=1218] ppid=1200 vsize=35112 CPUtime=0
/proc/1202/task/1218/stat : 1218 (satake) D 1200 1202 27791 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 17 0 635060033 35954688 5625 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 33064

[startup+0.108999 s]
/proc/loadavg: 2.67 3.35 3.88 2/184 1202
/proc/meminfo: memFree=19128064/36427776 swapFree=4452/8108
[pid=1202] ppid=1200 vsize=91944 CPUtime=0.69
/proc/1202/stat : 1202 (satake) S 1200 1202 27791 0 -1 4202496 14727 0 0 0 0 69 0 0 20 0 17 0 635060032 94150656 14682 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/1202/statm: 22986 14684 63 164 0 22821 0
[pid=1202/tid=1203] ppid=1200 vsize=91944 CPUtime=0
/proc/1202/task/1203/stat : 1203 (satake) S 1200 1202 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 635060033 94150656 14684 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1202/tid=1204] ppid=1200 vsize=91944 CPUtime=0.06
/proc/1202/task/1204/stat : 1204 (satake) R 1200 1202 27791 0 -1 4202560 1366 0 0 0 0 6 0 0 20 0 17 0 635060033 94150656 14686 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=91944 CPUtime=0.04
/proc/1202/task/1205/stat : 1205 (satake) R 1200 1202 27791 0 -1 4202560 791 0 0 0 0 4 0 0 20 0 17 0 635060033 94150656 14688 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=91944 CPUtime=0.04
/proc/1202/task/1206/stat : 1206 (satake) R 1200 1202 27791 0 -1 4202560 1047 0 0 0 0 4 0 0 20 0 17 0 635060033 94150656 14691 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=91944 CPUtime=0.06
/proc/1202/task/1207/stat : 1207 (satake) R 1200 1202 27791 0 -1 4202560 1538 0 0 0 0 6 0 0 20 0 17 0 635060033 94150656 14692 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=91944 CPUtime=0.04
/proc/1202/task/1208/stat : 1208 (satake) R 1200 1202 27791 0 -1 4202560 905 0 0 0 0 4 0 0 20 0 17 0 635060033 94150656 14693 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=91944 CPUtime=0.02
/proc/1202/task/1209/stat : 1209 (satake) R 1200 1202 27791 0 -1 4202560 463 0 0 0 0 2 0 0 20 0 17 0 635060033 94150656 14694 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=91944 CPUtime=0.06
/proc/1202/task/1210/stat : 1210 (satake) R 1200 1202 27791 0 -1 4202560 1399 0 0 0 0 6 0 0 20 0 17 0 635060033 94150656 14708 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1202/tid=1211] ppid=1200 vsize=91944 CPUtime=0.02
/proc/1202/task/1211/stat : 1211 (satake) R 1200 1202 27791 0 -1 4202560 365 0 0 0 0 2 0 0 20 0 17 0 635060033 94150656 14727 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1202/tid=1212] ppid=1200 vsize=91944 CPUtime=0.02
/proc/1202/task/1212/stat : 1212 (satake) R 1200 1202 27791 0 -1 4202560 453 0 0 0 0 2 0 0 20 0 17 0 635060033 94150656 14764 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1202/tid=1213] ppid=1200 vsize=91944 CPUtime=0.06
/proc/1202/task/1213/stat : 1213 (satake) R 1200 1202 27791 0 -1 4202560 1230 0 0 0 0 6 0 0 20 0 17 0 635060033 94150656 14784 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1202/tid=1214] ppid=1200 vsize=91944 CPUtime=0.02
/proc/1202/task/1214/stat : 1214 (satake) R 1200 1202 27791 0 -1 4202560 732 0 0 0 0 2 0 0 20 0 17 0 635060033 94150656 14803 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1202/tid=1215] ppid=1200 vsize=91944 CPUtime=0.06
/proc/1202/task/1215/stat : 1215 (satake) R 1200 1202 27791 0 -1 4202560 1448 0 0 0 0 6 0 0 20 0 17 0 635060033 94150656 14834 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1202/tid=1216] ppid=1200 vsize=91944 CPUtime=0.06
/proc/1202/task/1216/stat : 1216 (satake) R 1200 1202 27791 0 -1 4202560 1373 0 0 0 0 6 0 0 20 0 17 0 635060033 94150656 14851 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=1202/tid=1217] ppid=1200 vsize=91944 CPUtime=0.06
/proc/1202/task/1217/stat : 1217 (satake) R 1200 1202 27791 0 -1 4202560 1448 0 0 0 0 6 0 0 20 0 17 0 635060033 94150656 14872 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1202/tid=1218] ppid=1200 vsize=91944 CPUtime=0
/proc/1202/task/1218/stat : 1218 (satake) R 1200 1202 27791 0 -1 4202560 133 0 0 0 0 0 0 0 20 0 17 0 635060033 94150656 14896 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91944

[startup+0.303097 s]
/proc/loadavg: 2.67 3.35 3.88 2/184 1202
/proc/meminfo: memFree=19128064/36427776 swapFree=4452/8108
[pid=1202] ppid=1200 vsize=195204 CPUtime=1.98
/proc/1202/stat : 1202 (satake) S 1200 1202 27791 0 -1 4202496 37721 0 0 0 3 195 0 0 20 0 17 0 635060032 199888896 37676 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/1202/statm: 48801 37680 63 164 0 48636 0
[pid=1202/tid=1203] ppid=1200 vsize=195204 CPUtime=0
/proc/1202/task/1203/stat : 1203 (satake) S 1200 1202 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 635060033 199888896 37681 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1202/tid=1204] ppid=1200 vsize=195204 CPUtime=0.16
/proc/1202/task/1204/stat : 1204 (satake) S 1200 1202 27791 0 -1 4202560 3014 0 0 0 0 16 0 0 20 0 17 0 635060033 199888896 37682 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=195204 CPUtime=0.1
/proc/1202/task/1205/stat : 1205 (satake) R 1200 1202 27791 0 -1 4202560 2263 0 0 0 0 10 0 0 20 0 17 0 635060033 199888896 37685 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=195204 CPUtime=0.12
/proc/1202/task/1206/stat : 1206 (satake) R 1200 1202 27791 0 -1 4202560 2528 0 0 0 0 12 0 0 20 0 17 0 635060033 199888896 37687 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=195204 CPUtime=0.18
/proc/1202/task/1207/stat : 1207 (satake) S 1200 1202 27791 0 -1 4202560 3211 0 0 0 0 18 0 0 20 0 17 0 635060033 199888896 37688 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=195204 CPUtime=0.12
/proc/1202/task/1208/stat : 1208 (satake) R 1200 1202 27791 0 -1 4202560 2091 0 0 0 0 12 0 0 20 0 17 0 635060033 199888896 37692 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=195204 CPUtime=0.1
/proc/1202/task/1209/stat : 1209 (satake) R 1200 1202 27791 0 -1 4202560 1874 0 0 0 0 10 0 0 20 0 17 0 635060033 199888896 37703 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=195204 CPUtime=0.14
/proc/1202/task/1210/stat : 1210 (satake) D 1200 1202 27791 0 -1 4202560 2976 0 0 0 0 14 0 0 20 0 17 0 635060033 199888896 37707 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1202/tid=1211] ppid=1200 vsize=195204 CPUtime=0.08
/proc/1202/task/1211/stat : 1211 (satake) R 1200 1202 27791 0 -1 4202560 1694 0 0 0 0 8 0 0 20 0 17 0 635060033 199888896 37707 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1202/tid=1212] ppid=1200 vsize=195204 CPUtime=0.08
/proc/1202/task/1212/stat : 1212 (satake) R 1200 1202 27791 0 -1 4202560 2066 0 0 0 0 8 0 0 20 0 17 0 635060033 199888896 37707 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1202/tid=1213] ppid=1200 vsize=195204 CPUtime=0.16
/proc/1202/task/1213/stat : 1213 (satake) S 1200 1202 27791 0 -1 4202560 3005 0 0 0 0 16 0 0 20 0 17 0 635060033 199888896 37707 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=1202/tid=1214] ppid=1200 vsize=195204 CPUtime=0.1
/proc/1202/task/1214/stat : 1214 (satake) D 1200 1202 27791 0 -1 4202560 2169 0 0 0 0 10 0 0 20 0 17 0 635060033 199888896 37707 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1202/tid=1215] ppid=1200 vsize=195204 CPUtime=0.2
/proc/1202/task/1215/stat : 1215 (satake) D 1200 1202 27791 0 -1 4202560 3178 0 0 0 2 18 0 0 20 0 17 0 635060033 199888896 37707 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1202/tid=1216] ppid=1200 vsize=195204 CPUtime=0.12
/proc/1202/task/1216/stat : 1216 (satake) D 1200 1202 27791 0 -1 4202560 2360 0 0 0 0 12 0 0 20 0 17 0 635060033 199888896 37707 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=1202/tid=1217] ppid=1200 vsize=195204 CPUtime=0.18
/proc/1202/task/1217/stat : 1217 (satake) S 1200 1202 27791 0 -1 4202560 3153 0 0 0 0 18 0 0 20 0 17 0 635060033 199888896 37707 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=1202/tid=1218] ppid=1200 vsize=195204 CPUtime=0.08
/proc/1202/task/1218/stat : 1218 (satake) D 1200 1202 27791 0 -1 4202560 2035 0 0 0 0 8 0 0 20 0 17 0 635060033 199888896 37707 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 195204

[startup+0.701577 s]
/proc/loadavg: 2.67 3.35 3.88 2/184 1202
/proc/meminfo: memFree=19128064/36427776 swapFree=4452/8108
[pid=1202] ppid=1200 vsize=238692 CPUtime=3.7
/proc/1202/stat : 1202 (satake) S 1200 1202 27791 0 -1 4202496 56215 0 0 0 46 324 0 0 20 0 17 0 635060032 244420608 56170 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/1202/statm: 59673 56172 63 164 0 59508 0
[pid=1202/tid=1203] ppid=1200 vsize=238692 CPUtime=0
/proc/1202/task/1203/stat : 1203 (satake) S 1200 1202 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 635060033 244420608 56173 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1202/tid=1204] ppid=1200 vsize=238692 CPUtime=0.28
/proc/1202/task/1204/stat : 1204 (satake) S 1200 1202 27791 0 -1 4202560 3895 0 0 0 2 26 0 0 20 0 17 0 635060033 244420608 56173 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=238692 CPUtime=0.22
/proc/1202/task/1205/stat : 1205 (satake) D 1200 1202 27791 0 -1 4202560 3618 0 0 0 4 18 0 0 20 0 17 0 635060033 244420608 56176 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=238692 CPUtime=0.24
/proc/1202/task/1206/stat : 1206 (satake) R 1200 1202 27791 0 -1 4202560 3606 0 0 0 4 20 0 0 20 0 17 0 635060033 244420608 56177 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=238692 CPUtime=0.32
/proc/1202/task/1207/stat : 1207 (satake) R 1200 1202 27791 0 -1 4202560 4218 0 0 0 4 28 0 0 20 0 17 0 635060033 244420608 56177 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134519884 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=238692 CPUtime=0.22
/proc/1202/task/1208/stat : 1208 (satake) R 1200 1202 27791 0 -1 4202560 3561 0 0 0 2 20 0 0 20 0 17 0 635060033 244420608 56177 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=238692 CPUtime=0.2
/proc/1202/task/1209/stat : 1209 (satake) S 1200 1202 27791 0 -1 4202560 3611 0 0 0 4 16 0 0 20 0 17 0 635060033 244420608 56177 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=238692 CPUtime=0.24
/proc/1202/task/1210/stat : 1210 (satake) D 1200 1202 27791 0 -1 4202560 3818 0 0 0 2 22 0 0 20 0 17 0 635060033 244420608 56177 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1202/tid=1211] ppid=1200 vsize=238692 CPUtime=0.2
/proc/1202/task/1211/stat : 1211 (satake) D 1200 1202 27791 0 -1 4202560 3622 0 0 0 2 18 0 0 20 0 17 0 635060033 244420608 56178 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1202/tid=1212] ppid=1200 vsize=238692 CPUtime=0.2

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

[pid=1202/tid=1205] ppid=1200 vsize=1118296 CPUtime=77.87
/proc/1202/task/1205/stat : 1205 (satake) R 1200 1202 27791 0 -1 4202560 19965 0 0 0 6509 1278 0 0 20 0 17 0 635060033 1145135104 261077 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=1118296 CPUtime=87.12
/proc/1202/task/1206/stat : 1206 (satake) S 1200 1202 27791 0 -1 4202560 19601 0 0 0 7200 1512 0 0 20 0 17 0 635060033 1145135104 261077 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=1118296 CPUtime=88.42
/proc/1202/task/1207/stat : 1207 (satake) R 1200 1202 27791 0 -1 4202560 19253 0 0 0 7346 1496 0 0 20 0 17 0 635060033 1145135104 261077 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=1118296 CPUtime=79.13
/proc/1202/task/1208/stat : 1208 (satake) R 1200 1202 27791 0 -1 4202560 19701 0 0 0 6579 1334 0 0 20 0 17 0 635060033 1145135104 261077 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=1118296 CPUtime=79.84
/proc/1202/task/1209/stat : 1209 (satake) R 1200 1202 27791 0 -1 4202560 19577 0 0 0 6582 1402 0 0 20 0 17 0 635060033 1145135104 261077 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=1118296 CPUtime=85.52
/proc/1202/task/1210/stat : 1210 (satake) R 1200 1202 27791 0 -1 4202560 19292 0 0 0 7186 1366 0 0 20 0 17 0 635060033 1145135104 261077 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=1202/tid=1211] ppid=1200 vsize=1118296 CPUtime=76.7
/proc/1202/task/1211/stat : 1211 (satake) R 1200 1202 27791 0 -1 4202560 19628 0 0 0 6168 1502 0 0 20 0 17 0 635060033 1145135104 261077 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1202/tid=1212] ppid=1200 vsize=1118296 CPUtime=82.64
/proc/1202/task/1212/stat : 1212 (satake) R 1200 1202 27791 0 -1 4202560 19547 0 0 0 6696 1568 0 0 20 0 17 0 635060033 1145135104 261077 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1202/tid=1213] ppid=1200 vsize=1118296 CPUtime=83.21
/proc/1202/task/1213/stat : 1213 (satake) R 1200 1202 27791 0 -1 4202560 19994 0 0 0 6869 1452 0 0 20 0 17 0 635060033 1145135104 261077 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1202/tid=1214] ppid=1200 vsize=1118296 CPUtime=81.85
/proc/1202/task/1214/stat : 1214 (satake) R 1200 1202 27791 0 -1 4202560 19696 0 0 0 6677 1508 0 0 20 0 17 0 635060033 1145135104 261077 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1202/tid=1215] ppid=1200 vsize=1118296 CPUtime=85.23
/proc/1202/task/1215/stat : 1215 (satake) R 1200 1202 27791 0 -1 4202560 19639 0 0 0 6931 1592 0 0 20 0 17 0 635060033 1145135104 261077 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1202/tid=1216] ppid=1200 vsize=1118296 CPUtime=90.91
/proc/1202/task/1216/stat : 1216 (satake) R 1200 1202 27791 0 -1 4202560 19075 0 0 0 7497 1594 0 0 20 0 17 0 635060033 1145135104 261077 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1202/tid=1217] ppid=1200 vsize=1118296 CPUtime=89.04
/proc/1202/task/1217/stat : 1217 (satake) R 1200 1202 27791 0 -1 4202560 19491 0 0 0 7130 1774 0 0 20 0 17 0 635060033 1145135104 261077 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1202/tid=1218] ppid=1200 vsize=1118296 CPUtime=88.92
/proc/1202/task/1218/stat : 1218 (satake) R 1200 1202 27791 0 -1 4202560 19686 0 0 0 7318 1574 0 0 20 0 17 0 635060033 1145135104 261077 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1610.45
Current children cumulated vsize (KiB) 1118296

[startup+756.704 s]
/proc/loadavg: 3.79 3.39 3.52 15/201 1234
/proc/meminfo: memFree=18088540/36427776 swapFree=4624/1049140
[pid=1202] ppid=1200 vsize=1111388 CPUtime=1626.76
/proc/1202/stat : 1202 (satake) S 1200 1202 27791 0 -1 4202496 304007 0 0 0 108652 54024 0 0 20 0 17 0 635060032 1138061312 259731 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/1202/statm: 277847 259731 77 164 0 277682 0
[pid=1202/tid=1203] ppid=1200 vsize=1111388 CPUtime=351.43
/proc/1202/task/1203/stat : 1203 (satake) R 1200 1202 27791 0 -1 4202560 10751 0 0 0 4484 30659 0 0 20 0 17 0 635060033 1138061312 259731 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1202/tid=1204] ppid=1200 vsize=1111388 CPUtime=84.52
/proc/1202/task/1204/stat : 1204 (satake) R 1200 1202 27791 0 -1 4202560 18987 0 0 0 7024 1428 0 0 20 0 17 0 635060033 1138061312 259731 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=1111388 CPUtime=78.93
/proc/1202/task/1205/stat : 1205 (satake) R 1200 1202 27791 0 -1 4202560 19965 0 0 0 6543 1350 0 0 20 0 17 0 635060033 1138061312 259731 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=1111388 CPUtime=88.17
/proc/1202/task/1206/stat : 1206 (satake) R 1200 1202 27791 0 -1 4202560 19601 0 0 0 7235 1582 0 0 20 0 17 0 635060033 1138061312 259731 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=1111388 CPUtime=89.5
/proc/1202/task/1207/stat : 1207 (satake) R 1200 1202 27791 0 -1 4202560 19253 0 0 0 7384 1566 0 0 20 0 17 0 635060033 1138061312 259731 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=1111388 CPUtime=80.22
/proc/1202/task/1208/stat : 1208 (satake) R 1200 1202 27791 0 -1 4202560 19701 0 0 0 6612 1410 0 0 20 0 17 0 635060033 1138061312 259731 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=1111388 CPUtime=80.47
/proc/1202/task/1209/stat : 1209 (satake) R 1200 1202 27791 0 -1 4202560 19577 0 0 0 6607 1440 0 0 20 0 17 0 635060033 1138061312 259731 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=1111388 CPUtime=86.58
/proc/1202/task/1210/stat : 1210 (satake) R 1200 1202 27791 0 -1 4202560 19292 0 0 0 7216 1442 0 0 20 0 17 0 635060033 1138061312 259731 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=1202/tid=1211] ppid=1200 vsize=1111388 CPUtime=77.75
/proc/1202/task/1211/stat : 1211 (satake) R 1200 1202 27791 0 -1 4202560 19628 0 0 0 6199 1576 0 0 20 0 17 0 635060033 1138061312 259731 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1202/tid=1212] ppid=1200 vsize=1111388 CPUtime=83.68
/proc/1202/task/1212/stat : 1212 (satake) R 1200 1202 27791 0 -1 4202560 19547 0 0 0 6730 1638 0 0 20 0 17 0 635060033 1138061312 259731 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=1202/tid=1213] ppid=1200 vsize=1111388 CPUtime=84.26
/proc/1202/task/1213/stat : 1213 (satake) R 1200 1202 27791 0 -1 4202560 19994 0 0 0 6904 1522 0 0 20 0 17 0 635060033 1138061312 259731 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1202/tid=1214] ppid=1200 vsize=1111388 CPUtime=82.89
/proc/1202/task/1214/stat : 1214 (satake) R 1200 1202 27791 0 -1 4202560 19696 0 0 0 6707 1582 0 0 20 0 17 0 635060033 1138061312 259731 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1202/tid=1215] ppid=1200 vsize=1111388 CPUtime=86.29
/proc/1202/task/1215/stat : 1215 (satake) R 1200 1202 27791 0 -1 4202560 19639 0 0 0 6963 1666 0 0 20 0 17 0 635060033 1138061312 259731 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1202/tid=1216] ppid=1200 vsize=1111388 CPUtime=91.95
/proc/1202/task/1216/stat : 1216 (satake) R 1200 1202 27791 0 -1 4202560 19075 0 0 0 7529 1666 0 0 20 0 17 0 635060033 1138061312 259731 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1202/tid=1217] ppid=1200 vsize=1111388 CPUtime=90.09
/proc/1202/task/1217/stat : 1217 (satake) R 1200 1202 27791 0 -1 4202560 19491 0 0 0 7161 1848 0 0 20 0 17 0 635060033 1138061312 259731 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1202/tid=1218] ppid=1200 vsize=1111388 CPUtime=89.99
/proc/1202/task/1218/stat : 1218 (satake) R 1200 1202 27791 0 -1 4202560 19686 0 0 0 7351 1648 0 0 20 0 17 0 635060033 1138061312 259731 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1626.76
Current children cumulated vsize (KiB) 1111388

[startup+758.304 s]
/proc/loadavg: 3.79 3.39 3.52 16/200 1234
/proc/meminfo: memFree=18140424/36427776 swapFree=4624/992752
[pid=1202] ppid=1200 vsize=1039568 CPUtime=1635.52
/proc/1202/stat : 1202 (satake) S 1200 1202 27791 0 -1 4202496 304007 0 0 0 109018 54534 0 0 20 0 16 0 635060032 1064517632 244647 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/1202/statm: 259892 244647 77 164 0 259727 0
[pid=1202/tid=1204] ppid=1200 vsize=1039568 CPUtime=84.85
/proc/1202/task/1204/stat : 1204 (satake) R 1200 1202 27791 0 -1 4202560 18987 0 0 0 7037 1448 0 0 20 0 16 0 635060033 1064517632 244647 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=1039568 CPUtime=79.48
/proc/1202/task/1205/stat : 1205 (satake) S 1200 1202 27791 0 -1 4202560 19965 0 0 0 6562 1386 0 0 20 0 16 0 635060033 1064517632 244647 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=1039568 CPUtime=88.83
/proc/1202/task/1206/stat : 1206 (satake) S 1200 1202 27791 0 -1 4202560 19601 0 0 0 7267 1616 0 0 20 0 16 0 635060033 1064517632 244647 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=1039568 CPUtime=90.06
/proc/1202/task/1207/stat : 1207 (satake) S 1200 1202 27791 0 -1 4202560 19253 0 0 0 7406 1600 0 0 20 0 16 0 635060033 1064517632 244647 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=1039568 CPUtime=80.82
/proc/1202/task/1208/stat : 1208 (satake) S 1200 1202 27791 0 -1 4202560 19701 0 0 0 6636 1446 0 0 20 0 16 0 635060033 1064517632 244647 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=1039568 CPUtime=80.96
/proc/1202/task/1209/stat : 1209 (satake) S 1200 1202 27791 0 -1 4202560 19577 0 0 0 6630 1466 0 0 20 0 16 0 635060033 1064517632 244647 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=1039568 CPUtime=87.13
/proc/1202/task/1210/stat : 1210 (satake) S 1200 1202 27791 0 -1 4202560 19292 0 0 0 7233 1480 0 0 20 0 16 0 635060033 1064517632 244647 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=1202/tid=1211] ppid=1200 vsize=1039568 CPUtime=78.29
/proc/1202/task/1211/stat : 1211 (satake) S 1200 1202 27791 0 -1 4202560 19628 0 0 0 6217 1612 0 0 20 0 16 0 635060033 1064517632 244647 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=1202/tid=1212] ppid=1200 vsize=1039568 CPUtime=84.25
/proc/1202/task/1212/stat : 1212 (satake) S 1200 1202 27791 0 -1 4202560 19547 0 0 0 6749 1676 0 0 20 0 16 0 635060033 1064517632 244647 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=1202/tid=1213] ppid=1200 vsize=1039568 CPUtime=84.81
/proc/1202/task/1213/stat : 1213 (satake) S 1200 1202 27791 0 -1 4202560 19994 0 0 0 6923 1558 0 0 20 0 16 0 635060033 1064517632 244647 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=1202/tid=1214] ppid=1200 vsize=1039568 CPUtime=83.47
/proc/1202/task/1214/stat : 1214 (satake) S 1200 1202 27791 0 -1 4202560 19696 0 0 0 6729 1618 0 0 20 0 16 0 635060033 1064517632 244647 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=1202/tid=1215] ppid=1200 vsize=1039568 CPUtime=86.96
/proc/1202/task/1215/stat : 1215 (satake) S 1200 1202 27791 0 -1 4202560 19639 0 0 0 6994 1702 0 0 20 0 16 0 635060033 1064517632 244647 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=1202/tid=1216] ppid=1200 vsize=1039568 CPUtime=92.39
/proc/1202/task/1216/stat : 1216 (satake) R 1200 1202 27791 0 -1 4202560 19075 0 0 0 7547 1692 0 0 20 0 16 0 635060033 1064517632 244647 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134666571 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1202/tid=1217] ppid=1200 vsize=1039568 CPUtime=90.6
/proc/1202/task/1217/stat : 1217 (satake) S 1200 1202 27791 0 -1 4202560 19491 0 0 0 7176 1884 0 0 20 0 16 0 635060033 1064517632 244647 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=1202/tid=1218] ppid=1200 vsize=1039568 CPUtime=90.63
/proc/1202/task/1218/stat : 1218 (satake) S 1200 1202 27791 0 -1 4202560 19686 0 0 0 7381 1682 0 0 20 0 16 0 635060033 1064517632 244647 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1635.52
Current children cumulated vsize (KiB) 1039568

[startup+759.104 s]
/proc/loadavg: 3.79 3.39 3.52 2/199 1234
/proc/meminfo: memFree=18162180/36427776 swapFree=4624/970840
[pid=1202] ppid=1200 vsize=1017512 CPUtime=1639.75
/proc/1202/stat : 1202 (satake) S 1200 1202 27791 0 -1 4202496 304007 0 0 0 109214 54761 0 0 20 0 15 0 635060032 1041932288 240082 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/1202/statm: 254378 240082 77 164 0 254213 0
[pid=1202/tid=1204] ppid=1200 vsize=1017512 CPUtime=85.11
/proc/1202/task/1204/stat : 1204 (satake) R 1200 1202 27791 0 -1 4202560 18987 0 0 0 7049 1462 0 0 20 0 15 0 635060033 1041932288 240082 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=1017512 CPUtime=79.75
/proc/1202/task/1205/stat : 1205 (satake) R 1200 1202 27791 0 -1 4202560 19965 0 0 0 6575 1400 0 0 20 0 15 0 635060033 1041932288 240082 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=1017512 CPUtime=89.09
/proc/1202/task/1206/stat : 1206 (satake) R 1200 1202 27791 0 -1 4202560 19601 0 0 0 7277 1632 0 0 20 0 15 0 635060033 1041932288 240082 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=1017512 CPUtime=90.35
/proc/1202/task/1207/stat : 1207 (satake) R 1200 1202 27791 0 -1 4202560 19253 0 0 0 7419 1616 0 0 20 0 15 0 635060033 1041932288 240082 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=1017512 CPUtime=81.26
/proc/1202/task/1209/stat : 1209 (satake) R 1200 1202 27791 0 -1 4202560 19577 0 0 0 6642 1484 0 0 20 0 15 0 635060033 1041932288 240082 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=1017512 CPUtime=87.41
/proc/1202/task/1210/stat : 1210 (satake) R 1200 1202 27791 0 -1 4202560 19292 0 0 0 7245 1496 0 0 20 0 15 0 635060033 1041932288 240082 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=1202/tid=1211] ppid=1200 vsize=1017512 CPUtime=78.54
/proc/1202/task/1211/stat : 1211 (satake) R 1200 1202 27791 0 -1 4202560 19628 0 0 0 6226 1628 0 0 20 0 15 0 635060033 1041932288 240082 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1202/tid=1212] ppid=1200 vsize=1017512 CPUtime=84.51
/proc/1202/task/1212/stat : 1212 (satake) R 1200 1202 27791 0 -1 4202560 19547 0 0 0 6759 1692 0 0 20 0 15 0 635060033 1041932288 240082 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1202/tid=1213] ppid=1200 vsize=1017512 CPUtime=85.13
/proc/1202/task/1213/stat : 1213 (satake) R 1200 1202 27791 0 -1 4202560 19994 0 0 0 6937 1576 0 0 20 0 15 0 635060033 1041932288 240082 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1202/tid=1214] ppid=1200 vsize=1017512 CPUtime=83.72
/proc/1202/task/1214/stat : 1214 (satake) R 1200 1202 27791 0 -1 4202560 19696 0 0 0 6740 1632 0 0 20 0 15 0 635060033 1041932288 240082 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1202/tid=1215] ppid=1200 vsize=1017512 CPUtime=87.38
/proc/1202/task/1215/stat : 1215 (satake) R 1200 1202 27791 0 -1 4202560 19639 0 0 0 7022 1716 0 0 20 0 15 0 635060033 1041932288 240082 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1202/tid=1216] ppid=1200 vsize=1017512 CPUtime=92.73
/proc/1202/task/1216/stat : 1216 (satake) R 1200 1202 27791 0 -1 4202560 19075 0 0 0 7567 1706 0 0 20 0 15 0 635060033 1041932288 240082 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1202/tid=1217] ppid=1200 vsize=1017512 CPUtime=90.86
/proc/1202/task/1217/stat : 1217 (satake) S 1200 1202 27791 0 -1 4202560 19491 0 0 0 7186 1900 0 0 20 0 15 0 635060033 1041932288 240082 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=1202/tid=1218] ppid=1200 vsize=1017512 CPUtime=90.91
/proc/1202/task/1218/stat : 1218 (satake) R 1200 1202 27791 0 -1 4202560 19686 0 0 0 7395 1696 0 0 20 0 15 0 635060033 1041932288 240082 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1639.75
Current children cumulated vsize (KiB) 1017512

[startup+759.503 s]
/proc/loadavg: 3.79 3.39 3.52 2/199 1234
/proc/meminfo: memFree=18162180/36427776 swapFree=4624/970840
[pid=1202] ppid=1200 vsize=797500 CPUtime=1641.33
/proc/1202/stat : 1202 (satake) S 1200 1202 27791 0 -1 4202496 304007 0 0 0 109313 54820 0 0 20 0 2 0 635060032 816640000 194458 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/1202/statm: 199375 194458 77 164 0 199210 0
[pid=1202/tid=1204] ppid=1200 vsize=797500 CPUtime=85.3
/proc/1202/task/1204/stat : 1204 (satake) R 1200 1202 27791 0 -1 4202560 18987 0 0 0 7062 1468 0 0 20 0 2 0 635060033 816640000 194458 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134666303 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1641.33
Current children cumulated vsize (KiB) 797500

[startup+759.603 s]
/proc/loadavg: 3.79 3.39 3.52 2/199 1234
/proc/meminfo: memFree=18162180/36427776 swapFree=4624/970840
[pid=1202] ppid=1200 vsize=531716 CPUtime=1641.43
/proc/1202/stat : 1202 (satake) S 1200 1202 27791 0 -1 4202496 304007 0 0 0 109314 54829 0 0 20 0 2 0 635060032 544477184 128928 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/1202/statm: 132929 128928 77 164 0 132764 0
[pid=1202/tid=1204] ppid=1200 vsize=531716 CPUtime=85.39
/proc/1202/task/1204/stat : 1204 (satake) R 1200 1202 27791 0 -1 4202560 18987 0 0 0 7063 1476 0 0 20 0 2 0 635060033 544477184 128928 18446744073709551615 134512640 135180984 4288510144 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1641.43
Current children cumulated vsize (KiB) 531716

Child status: 16
Real time (s): 759.686
CPU time (s): 1641.52
CPU user time (s): 1093.14
CPU system time (s): 548.378
CPU usage (%): 216.079
Max. virtual memory (cumulated for all children) (KiB): 1118296


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1093.14
system time used= 548.378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 304008
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= 44786629
involuntary context switches= 5697716

runsolver used 3.52422 second user time and 8.49653 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 23:58:56
IDJOB=1776822
IDBENCH=69595
IDSOLVER=631
FILE ID=xenhost3-49/1776822-1244757536
PBS_JOBID=
Free space on /tmp= 7027 MiB

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

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

MD5SUM BENCH= d46e452956bc993f202d3b06fd3e858e
RANDOM SEED= 1334912770

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:      19128064 kB
Buffers:        433532 kB
Cached:       14113348 kB
SwapCached:          0 kB
Active:        4078500 kB
Inactive:     10476548 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           11924 kB
Writeback:           0 kB
AnonPages:        8108 kB
Mapped:           3788 kB
Slab:           688080 kB
SReclaimable:   661224 kB
SUnreclaim:      26856 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7027 MiB
End job on xenhost3-49 at 2009-06-12 00:11:37