Trace number 1776657

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 532.793 321.988

General information on the benchmark

Nameschup-l2s-abp4-1-k31.cnf
MD5SUM2ec4066bd8381455b1990aa40b382ff0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark26.99
Satisfiable
(Un)Satisfiability was proved
Number of variables14809
Number of clauses48483
Sum of the clauses size123522
Maximum clause length33
Minimum clause length1
Number of clauses of size 136
Number of clauses of size 224983
Number of clauses of size 322191
Number of clauses of size 4589
Number of clauses of size 5403
Number of clauses of size over 5281

Solver Data 

532.65/321.97	c Benchmark name    : HOME/instance-1776657-1244752496.cnf
532.65/321.97	c Thread Num        :           16
532.65/321.97	c restarts          :           12
532.65/321.97	c conflicts         :        20484
532.65/321.97	c decisions         :        30018           (       93 / sec      )
532.65/321.97	c propagations      :     22844880           (    71055 / sec      )
532.65/321.97	c inspects          :     92700119           (   288326 / sec      )
532.65/321.97	c conflict literals :       778591           (    52.02 % deleted  )
532.65/321.97	c cpu time          :       321.51           
532.65/321.97	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-1776657-1244752496/watcher-1776657-1244752496 -o /tmp/evaluation-result-1776657-1244752496/solver-1776657-1244752496 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776657-1244752496.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.19 2.57 3.48 2/184 513
/proc/meminfo: memFree=19141640/36427776 swapFree=4588/8324
[pid=513] ppid=511 vsize=6544 CPUtime=0
/proc/513/stat : 513 (satake) R 511 513 27791 0 -1 4202496 296 0 0 0 0 0 0 0 20 0 13 0 634555977 6701056 251 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/513/statm: 1636 256 63 164 0 1471 0
[pid=513/tid=514] ppid=511 vsize=8432 CPUtime=0
/proc/513/task/514/stat : 514 (satake) S 511 513 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634555977 8634368 438 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=513/tid=515] ppid=511 vsize=8432 CPUtime=0
/proc/513/task/515/stat : 515 (satake) R 511 513 27791 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 17 0 634555977 8634368 442 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=513/tid=516] ppid=511 vsize=8432 CPUtime=0
/proc/513/task/516/stat : 516 (satake) R 511 513 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 17 0 634555977 8634368 445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=513/tid=517] ppid=511 vsize=8432 CPUtime=0
/proc/513/task/517/stat : 517 (satake) R 511 513 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 17 0 634555977 8634368 445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=513/tid=518] ppid=511 vsize=8432 CPUtime=0
/proc/513/task/518/stat : 518 (satake) S 511 513 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 634555977 8634368 445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=513/tid=519] ppid=511 vsize=8432 CPUtime=0
/proc/513/task/519/stat : 519 (satake) R 511 513 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 17 0 634555977 8634368 445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=513/tid=520] ppid=511 vsize=8432 CPUtime=0
/proc/513/task/520/stat : 520 (satake) S 511 513 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634555977 8634368 447 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=513/tid=521] ppid=511 vsize=8432 CPUtime=0
/proc/513/task/521/stat : 521 (satake) R 511 513 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 634555977 8634368 451 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=513/tid=522] ppid=511 vsize=8432 CPUtime=0
/proc/513/task/522/stat : 522 (satake) S 511 513 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634555977 8634368 453 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=513/tid=523] ppid=511 vsize=8432 CPUtime=0
/proc/513/task/523/stat : 523 (satake) R 511 513 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 634555977 8634368 455 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=513/tid=524] ppid=511 vsize=8432 CPUtime=0
/proc/513/task/524/stat : 524 (satake) R 511 513 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 634555977 8634368 458 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=513/tid=525] ppid=511 vsize=8436 CPUtime=0
/proc/513/task/525/stat : 525 (satake) S 511 513 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634555977 8638464 458 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=513/tid=526] ppid=511 vsize=8436 CPUtime=0
/proc/513/task/526/stat : 526 (satake) R 511 513 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 17 0 634555977 8638464 459 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=513/tid=527] ppid=511 vsize=8436 CPUtime=0
/proc/513/task/527/stat : 527 (satake) R 511 513 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 634555977 8638464 460 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=513/tid=528] ppid=511 vsize=8436 CPUtime=0
/proc/513/task/528/stat : 528 (satake) R 511 513 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 634555977 8638464 462 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=513/tid=529] ppid=511 vsize=8436 CPUtime=0
/proc/513/task/529/stat : 529 (satake) R 511 513 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 634555978 8638464 463 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 15 0 0 0 0 0

[startup+0.096283 s]
/proc/loadavg: 2.19 2.57 3.48 2/184 513
/proc/meminfo: memFree=19141640/36427776 swapFree=4588/8324
[pid=513] ppid=511 vsize=25096 CPUtime=0.43
/proc/513/stat : 513 (satake) S 511 513 27791 0 -1 4202496 4536 0 0 0 5 38 0 0 20 0 17 0 634555977 25698304 4491 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/513/statm: 6274 4494 63 164 0 6109 0
[pid=513/tid=514] ppid=511 vsize=25096 CPUtime=0
/proc/513/task/514/stat : 514 (satake) S 511 513 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634555977 25698304 4497 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=513/tid=515] ppid=511 vsize=25096 CPUtime=0.02
/proc/513/task/515/stat : 515 (satake) R 511 513 27791 0 -1 4202560 298 0 0 0 0 2 0 0 20 0 17 0 634555977 25698304 4500 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=513/tid=516] ppid=511 vsize=25096 CPUtime=0.02
/proc/513/task/516/stat : 516 (satake) R 511 513 27791 0 -1 4202560 295 0 0 0 0 2 0 0 20 0 17 0 634555977 25698304 4500 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=513/tid=517] ppid=511 vsize=25096 CPUtime=0.02
/proc/513/task/517/stat : 517 (satake) R 511 513 27791 0 -1 4202560 275 0 0 0 0 2 0 0 20 0 17 0 634555977 25698304 4501 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=513/tid=518] ppid=511 vsize=25096 CPUtime=0.02
/proc/513/task/518/stat : 518 (satake) R 511 513 27791 0 -1 4202560 308 0 0 0 2 0 0 0 20 0 17 0 634555977 25698304 4506 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=513/tid=519] ppid=511 vsize=25096 CPUtime=0.04
/proc/513/task/519/stat : 519 (satake) S 511 513 27791 0 -1 4202560 353 0 0 0 0 4 0 0 20 0 17 0 634555977 25698304 4508 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=513/tid=520] ppid=511 vsize=25096 CPUtime=0
/proc/513/task/520/stat : 520 (satake) R 511 513 27791 0 -1 4202560 248 0 0 0 0 0 0 0 20 0 17 0 634555977 25698304 4509 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=513/tid=521] ppid=511 vsize=25096 CPUtime=0.04
/proc/513/task/521/stat : 521 (satake) S 511 513 27791 0 -1 4202560 332 0 0 0 0 4 0 0 20 0 17 0 634555977 25698304 4510 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=513/tid=522] ppid=511 vsize=25096 CPUtime=0
/proc/513/task/522/stat : 522 (satake) R 511 513 27791 0 -1 4202560 267 0 0 0 0 0 0 0 20 0 17 0 634555977 25698304 4510 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=513/tid=523] ppid=511 vsize=25096 CPUtime=0.02
/proc/513/task/523/stat : 523 (satake) D 511 513 27791 0 -1 4202560 297 0 0 0 0 2 0 0 20 0 17 0 634555977 25698304 4510 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=513/tid=524] ppid=511 vsize=25096 CPUtime=0
/proc/513/task/524/stat : 524 (satake) S 511 513 27791 0 -1 4202560 257 0 0 0 0 0 0 0 20 0 17 0 634555977 25698304 4510 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=513/tid=525] ppid=511 vsize=25096 CPUtime=0.04
/proc/513/task/525/stat : 525 (satake) S 511 513 27791 0 -1 4202560 283 0 0 0 0 4 0 0 20 0 17 0 634555977 25698304 4512 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=513/tid=526] ppid=511 vsize=25096 CPUtime=0
/proc/513/task/526/stat : 526 (satake) S 511 513 27791 0 -1 4202560 248 0 0 0 0 0 0 0 20 0 17 0 634555977 25698304 4512 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=513/tid=527] ppid=511 vsize=25096 CPUtime=0.04
/proc/513/task/527/stat : 527 (satake) S 511 513 27791 0 -1 4202560 318 0 0 0 0 4 0 0 20 0 17 0 634555977 25698304 4512 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=513/tid=528] ppid=511 vsize=25096 CPUtime=0.04
/proc/513/task/528/stat : 528 (satake) R 511 513 27791 0 -1 4202560 336 0 0 0 0 4 0 0 20 0 17 0 634555977 25698304 4519 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=513/tid=529] ppid=511 vsize=25096 CPUtime=0.04
/proc/513/task/529/stat : 529 (satake) S 511 513 27791 0 -1 4202560 303 0 0 0 0 4 0 0 20 0 17 0 634555978 25698304 4523 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 25096

[startup+0.104319 s]
/proc/loadavg: 2.19 2.57 3.48 2/184 513
/proc/meminfo: memFree=19141640/36427776 swapFree=4588/8324
[pid=513] ppid=511 vsize=26268 CPUtime=0.48
/proc/513/stat : 513 (satake) S 511 513 27791 0 -1 4202496 4869 0 0 0 7 41 0 0 20 0 17 0 634555977 26898432 4824 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/513/statm: 6567 4825 63 164 0 6402 0
[pid=513/tid=514] ppid=511 vsize=26268 CPUtime=0
/proc/513/task/514/stat : 514 (satake) S 511 513 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634555977 26898432 4825 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=513/tid=515] ppid=511 vsize=26268 CPUtime=0.02
/proc/513/task/515/stat : 515 (satake) D 511 513 27791 0 -1 4202560 329 0 0 0 0 2 0 0 20 0 17 0 634555977 26898432 4826 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=513/tid=516] ppid=511 vsize=26268 CPUtime=0.04
/proc/513/task/516/stat : 516 (satake) D 511 513 27791 0 -1 4202560 342 0 0 0 0 4 0 0 20 0 17 0 634555977 26898432 4827 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=513/tid=517] ppid=511 vsize=26268 CPUtime=0.02
/proc/513/task/517/stat : 517 (satake) R 511 513 27791 0 -1 4202560 283 0 0 0 0 2 0 0 20 0 17 0 634555977 26898432 4827 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=513/tid=518] ppid=511 vsize=26268 CPUtime=0.02
/proc/513/task/518/stat : 518 (satake) R 511 513 27791 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 17 0 634555977 26898432 4832 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=513/tid=519] ppid=511 vsize=26268 CPUtime=0.04
/proc/513/task/519/stat : 519 (satake) R 511 513 27791 0 -1 4202560 373 0 0 0 0 4 0 0 20 0 17 0 634555977 26898432 4832 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=513/tid=520] ppid=511 vsize=26268 CPUtime=0.02
/proc/513/task/520/stat : 520 (satake) R 511 513 27791 0 -1 4202560 252 0 0 0 0 2 0 0 20 0 17 0 634555977 26898432 4836 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=513/tid=521] ppid=511 vsize=26268 CPUtime=0.04
/proc/513/task/521/stat : 521 (satake) R 511 513 27791 0 -1 4202560 352 0 0 0 0 4 0 0 20 0 17 0 634555977 26898432 4837 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=513/tid=522] ppid=511 vsize=26268 CPUtime=0
/proc/513/task/522/stat : 522 (satake) R 511 513 27791 0 -1 4202560 289 0 0 0 0 0 0 0 20 0 17 0 634555977 26898432 4838 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=513/tid=523] ppid=511 vsize=26268 CPUtime=0.02
/proc/513/task/523/stat : 523 (satake) S 511 513 27791 0 -1 4202560 309 0 0 0 0 2 0 0 20 0 17 0 634555977 26898432 4840 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=513/tid=524] ppid=511 vsize=26268 CPUtime=0.02
/proc/513/task/524/stat : 524 (satake) S 511 513 27791 0 -1 4202560 266 0 0 0 2 0 0 0 20 0 17 0 634555977 26898432 4842 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=513/tid=525] ppid=511 vsize=26268 CPUtime=0.04
/proc/513/task/525/stat : 525 (satake) R 511 513 27791 0 -1 4202560 323 0 0 0 0 4 0 0 20 0 17 0 634555977 26898432 4844 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=513/tid=526] ppid=511 vsize=26268 CPUtime=0.02
/proc/513/task/526/stat : 526 (satake) S 511 513 27791 0 -1 4202560 254 0 0 0 2 0 0 0 20 0 17 0 634555977 26898432 4844 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=513/tid=527] ppid=511 vsize=26268 CPUtime=0.04
/proc/513/task/527/stat : 527 (satake) S 511 513 27791 0 -1 4202560 332 0 0 0 0 4 0 0 20 0 17 0 634555977 26898432 4845 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=513/tid=528] ppid=511 vsize=26268 CPUtime=0.04
/proc/513/task/528/stat : 528 (satake) S 511 513 27791 0 -1 4202560 355 0 0 0 0 4 0 0 20 0 17 0 634555977 26898432 4854 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=513/tid=529] ppid=511 vsize=26268 CPUtime=0.04
/proc/513/task/529/stat : 529 (satake) S 511 513 27791 0 -1 4202560 342 0 0 0 0 4 0 0 20 0 17 0 634555978 26898432 4857 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 26268

[startup+0.304346 s]
/proc/loadavg: 2.19 2.57 3.48 2/184 513
/proc/meminfo: memFree=19141640/36427776 swapFree=4588/8324
[pid=513] ppid=511 vsize=59484 CPUtime=1.34
/proc/513/stat : 513 (satake) S 511 513 27791 0 -1 4202496 12169 0 0 0 57 77 0 0 20 0 17 0 634555977 60911616 12124 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/513/statm: 14871 12127 63 164 0 14706 0
[pid=513/tid=514] ppid=511 vsize=59484 CPUtime=0
/proc/513/task/514/stat : 514 (satake) S 511 513 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634555977 60911616 12130 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=513/tid=515] ppid=511 vsize=59484 CPUtime=0.08
/proc/513/task/515/stat : 515 (satake) R 511 513 27791 0 -1 4202560 823 0 0 0 2 6 0 0 20 0 17 0 634555977 60911616 12135 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=513/tid=516] ppid=511 vsize=59484 CPUtime=0.1
/proc/513/task/516/stat : 516 (satake) S 511 513 27791 0 -1 4202560 913 0 0 0 6 4 0 0 20 0 17 0 634555977 60911616 12137 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=513/tid=517] ppid=511 vsize=59484 CPUtime=0.06
/proc/513/task/517/stat : 517 (satake) R 511 513 27791 0 -1 4202560 618 0 0 0 4 2 0 0 20 0 17 0 634555977 60911616 12139 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=513/tid=518] ppid=511 vsize=59484 CPUtime=0.1
/proc/513/task/518/stat : 518 (satake) R 511 513 27791 0 -1 4202560 863 0 0 0 6 4 0 0 20 0 17 0 634555977 60911616 12139 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=513/tid=519] ppid=511 vsize=59484 CPUtime=0.1
/proc/513/task/519/stat : 519 (satake) S 511 513 27791 0 -1 4202560 861 0 0 0 4 6 0 0 20 0 17 0 634555977 60911616 12139 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=513/tid=520] ppid=511 vsize=59484 CPUtime=0.06
/proc/513/task/520/stat : 520 (satake) R 511 513 27791 0 -1 4202560 653 0 0 0 4 2 0 0 20 0 17 0 634555977 60911616 12140 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=513/tid=521] ppid=511 vsize=59484 CPUtime=0.1
/proc/513/task/521/stat : 521 (satake) S 511 513 27791 0 -1 4202560 898 0 0 0 4 6 0 0 20 0 17 0 634555977 60911616 12140 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=513/tid=522] ppid=511 vsize=59484 CPUtime=0.06
/proc/513/task/522/stat : 522 (satake) S 511 513 27791 0 -1 4202560 904 0 0 0 4 2 0 0 20 0 17 0 634555977 60911616 12140 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=513/tid=523] ppid=511 vsize=59484 CPUtime=0.08
/proc/513/task/523/stat : 523 (satake) D 511 513 27791 0 -1 4202560 830 0 0 0 4 4 0 0 20 0 17 0 634555977 60911616 12140 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=513/tid=524] ppid=511 vsize=59484 CPUtime=0.06
/proc/513/task/524/stat : 524 (satake) R 511 513 27791 0 -1 4202560 737 0 0 0 4 2 0 0 20 0 17 0 634555977 60911616 12140 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=513/tid=525] ppid=511 vsize=59484 CPUtime=0.08
/proc/513/task/525/stat : 525 (satake) S 511 513 27791 0 -1 4202560 697 0 0 0 0 8 0 0 20 0 17 0 634555977 60911616 12140 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=513/tid=526] ppid=511 vsize=59484 CPUtime=0.06
/proc/513/task/526/stat : 526 (satake) R 511 513 27791 0 -1 4202560 762 0 0 0 2 4 0 0 20 0 17 0 634555977 60911616 12141 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=513/tid=527] ppid=511 vsize=59484 CPUtime=0.1
/proc/513/task/527/stat : 527 (satake) R 511 513 27791 0 -1 4202560 864 0 0 0 4 6 0 0 20 0 17 0 634555977 60911616 12144 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=513/tid=528] ppid=511 vsize=59484 CPUtime=0.1
/proc/513/task/528/stat : 528 (satake) S 511 513 27791 0 -1 4202560 842 0 0 0 4 6 0 0 20 0 17 0 634555977 60911616 12144 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=513/tid=529] ppid=511 vsize=59484 CPUtime=0.08
/proc/513/task/529/stat : 529 (satake) D 511 513 27791 0 -1 4202560 788 0 0 0 0 8 0 0 20 0 17 0 634555978 60911616 12145 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 59484

[startup+0.704302 s]
/proc/loadavg: 2.19 2.57 3.48 2/184 513
/proc/meminfo: memFree=19141640/36427776 swapFree=4588/8324
[pid=513] ppid=511 vsize=60332 CPUtime=2.75
/proc/513/stat : 513 (satake) S 511 513 27791 0 -1 4202496 15457 0 0 0 162 113 0 0 20 0 17 0 634555977 61779968 12442 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/513/statm: 15083 12442 68 164 0 14918 0
[pid=513/tid=514] ppid=511 vsize=60332 CPUtime=0.1
/proc/513/task/514/stat : 514 (satake) R 511 513 27791 0 -1 4202560 266 0 0 0 0 10 0 0 20 0 17 0 634555977 61779968 12442 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580588 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=513/tid=515] ppid=511 vsize=60332 CPUtime=0.16
/proc/513/task/515/stat : 515 (satake) S 511 513 27791 0 -1 4202560 1045 0 0 0 8 8 0 0 20 0 17 0 634555977 61779968 12442 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=513/tid=516] ppid=511 vsize=60332 CPUtime=0.18
/proc/513/task/516/stat : 516 (satake) S 511 513 27791 0 -1 4202560 988 0 0 0 12 6 0 0 20 0 17 0 634555977 61779968 12442 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=513/tid=517] ppid=511 vsize=60332 CPUtime=0.14
/proc/513/task/517/stat : 517 (satake) S 511 513 27791 0 -1 4202560 1016 0 0 0 10 4 0 0 20 0 17 0 634555977 61779968 12442 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=513/tid=518] ppid=511 vsize=60332 CPUtime=0.16
/proc/513/task/518/stat : 518 (satake) S 511 513 27791 0 -1 4202560 980 0 0 0 10 6 0 0 20 0 17 0 634555977 61779968 12442 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=513/tid=519] ppid=511 vsize=60332 CPUtime=0.2
/proc/513/task/519/stat : 519 (satake) S 511 513 27791 0 -1 4202560 969 0 0 0 14 6 0 0 20 0 17 0 634555977 61779968 12442 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=513/tid=520] ppid=511 vsize=60332 CPUtime=0.12
/proc/513/task/520/stat : 520 (satake) S 511 513 27791 0 -1 4202560 974 0 0 0 10 2 0 0 20 0 17 0 634555977 61779968 12442 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=513/tid=521] ppid=511 vsize=60332 CPUtime=0.2
/proc/513/task/521/stat : 521 (satake) S 511 513 27791 0 -1 4202560 978 0 0 0 12 8 0 0 20 0 17 0 634555977 61779968 12442 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=513/tid=522] ppid=511 vsize=60332 CPUtime=0.16
/proc/513/task/522/stat : 522 (satake) S 511 513 27791 0 -1 4202560 966 0 0 0 12 4 0 0 20 0 17 0 634555977 61779968 12442 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=513/tid=523] ppid=511 vsize=60332 CPUtime=0.16

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

/proc/513/task/519/stat : 519 (satake) S 511 513 27791 0 -1 4202560 1957 0 0 0 1690 768 0 0 20 0 17 0 634555977 138412032 30396 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=513/tid=520] ppid=511 vsize=135168 CPUtime=24.6
/proc/513/task/520/stat : 520 (satake) S 511 513 27791 0 -1 4202560 1940 0 0 0 1660 800 0 0 20 0 17 0 634555977 138412032 30396 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=513/tid=521] ppid=511 vsize=135168 CPUtime=24.78
/proc/513/task/521/stat : 521 (satake) S 511 513 27791 0 -1 4202560 2006 0 0 0 1654 824 0 0 20 0 17 0 634555977 138412032 30396 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=513/tid=522] ppid=511 vsize=135168 CPUtime=25.04
/proc/513/task/522/stat : 522 (satake) S 511 513 27791 0 -1 4202560 2085 0 0 0 1720 784 0 0 20 0 17 0 634555977 138412032 30396 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=513/tid=523] ppid=511 vsize=135168 CPUtime=24.22
/proc/513/task/523/stat : 523 (satake) S 511 513 27791 0 -1 4202560 2055 0 0 0 1596 826 0 0 20 0 17 0 634555977 138412032 30396 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=513/tid=524] ppid=511 vsize=135168 CPUtime=25.82
/proc/513/task/524/stat : 524 (satake) S 511 513 27791 0 -1 4202560 2106 0 0 0 1712 870 0 0 20 0 17 0 634555977 138412032 30396 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=513/tid=525] ppid=511 vsize=135168 CPUtime=23.2
/proc/513/task/525/stat : 525 (satake) D 511 513 27791 0 -1 4202560 1985 0 0 0 1620 700 0 0 20 0 17 0 634555977 138412032 30396 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=513/tid=526] ppid=511 vsize=135168 CPUtime=24.56
/proc/513/task/526/stat : 526 (satake) S 511 513 27791 0 -1 4202560 2184 0 0 0 1688 768 0 0 20 0 17 0 634555977 138412032 30396 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=513/tid=527] ppid=511 vsize=135168 CPUtime=25.56
/proc/513/task/527/stat : 527 (satake) S 511 513 27791 0 -1 4202560 2038 0 0 0 1782 774 0 0 20 0 17 0 634555977 138412032 30396 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=513/tid=528] ppid=511 vsize=135168 CPUtime=24.04
/proc/513/task/528/stat : 528 (satake) S 511 513 27791 0 -1 4202560 2121 0 0 0 1660 744 0 0 20 0 17 0 634555977 138412032 30396 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=513/tid=529] ppid=511 vsize=135168 CPUtime=25.36
/proc/513/task/529/stat : 529 (satake) S 511 513 27791 0 -1 4202560 2065 0 0 0 1752 784 0 0 20 0 17 0 634555978 138412032 30396 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 518.41
Current children cumulated vsize (KiB) 135168

[startup+319.906 s]
/proc/loadavg: 2.59 2.60 3.23 4/201 540
/proc/meminfo: memFree=19020708/36427776 swapFree=4588/131760
[pid=513] ppid=511 vsize=135332 CPUtime=525.95
/proc/513/stat : 513 (satake) S 511 513 27791 0 -1 4202496 33454 0 0 0 27296 25299 0 0 20 0 17 0 634555977 138579968 30439 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/513/statm: 33833 30439 68 164 0 33668 0
[pid=513/tid=514] ppid=511 vsize=135332 CPUtime=159.17
/proc/513/task/514/stat : 514 (satake) R 511 513 27791 0 -1 4202560 2535 0 0 0 2008 13909 0 0 20 0 17 0 634555977 138579968 30439 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=513/tid=515] ppid=511 vsize=135332 CPUtime=22.36
/proc/513/task/515/stat : 515 (satake) S 511 513 27791 0 -1 4202560 2105 0 0 0 1596 640 0 0 20 0 17 0 634555977 138579968 30439 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=513/tid=516] ppid=511 vsize=135332 CPUtime=22.82
/proc/513/task/516/stat : 516 (satake) S 511 513 27791 0 -1 4202560 1985 0 0 0 1598 684 0 0 20 0 17 0 634555977 138579968 30439 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=513/tid=517] ppid=511 vsize=135332 CPUtime=22.28
/proc/513/task/517/stat : 517 (satake) S 511 513 27791 0 -1 4202560 2144 0 0 0 1572 656 0 0 20 0 17 0 634555977 138579968 30439 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=513/tid=518] ppid=511 vsize=135332 CPUtime=22.9
/proc/513/task/518/stat : 518 (satake) S 511 513 27791 0 -1 4202560 2014 0 0 0 1620 670 0 0 20 0 17 0 634555977 138579968 30439 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=513/tid=519] ppid=511 vsize=135332 CPUtime=24.86
/proc/513/task/519/stat : 519 (satake) R 511 513 27791 0 -1 4202560 1957 0 0 0 1710 776 0 0 20 0 17 0 634555977 138579968 30439 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134520027 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=513/tid=520] ppid=511 vsize=135332 CPUtime=25
/proc/513/task/520/stat : 520 (satake) S 511 513 27791 0 -1 4202560 1943 0 0 0 1692 808 0 0 20 0 17 0 634555977 138579968 30439 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=513/tid=521] ppid=511 vsize=135332 CPUtime=25.32
/proc/513/task/521/stat : 521 (satake) S 511 513 27791 0 -1 4202560 2006 0 0 0 1698 834 0 0 20 0 17 0 634555977 138579968 30439 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=513/tid=522] ppid=511 vsize=135332 CPUtime=25.42
/proc/513/task/522/stat : 522 (satake) S 511 513 27791 0 -1 4202560 2085 0 0 0 1748 794 0 0 20 0 17 0 634555977 138579968 30439 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=513/tid=523] ppid=511 vsize=135332 CPUtime=24.76
/proc/513/task/523/stat : 523 (satake) S 511 513 27791 0 -1 4202560 2055 0 0 0 1640 836 0 0 20 0 17 0 634555977 138579968 30439 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=513/tid=524] ppid=511 vsize=135332 CPUtime=26.16
/proc/513/task/524/stat : 524 (satake) S 511 513 27791 0 -1 4202560 2106 0 0 0 1738 878 0 0 20 0 17 0 634555977 138579968 30439 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=513/tid=525] ppid=511 vsize=135332 CPUtime=23.58
/proc/513/task/525/stat : 525 (satake) S 511 513 27791 0 -1 4202560 1986 0 0 0 1654 704 0 0 20 0 17 0 634555977 138579968 30439 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=513/tid=526] ppid=511 vsize=135332 CPUtime=25.08
/proc/513/task/526/stat : 526 (satake) S 511 513 27791 0 -1 4202560 2184 0 0 0 1730 778 0 0 20 0 17 0 634555977 138579968 30439 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=513/tid=527] ppid=511 vsize=135332 CPUtime=25.98
/proc/513/task/527/stat : 527 (satake) S 511 513 27791 0 -1 4202560 2038 0 0 0 1818 780 0 0 20 0 17 0 634555977 138579968 30439 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=513/tid=528] ppid=511 vsize=135332 CPUtime=24.42
/proc/513/task/528/stat : 528 (satake) S 511 513 27791 0 -1 4202560 2121 0 0 0 1688 754 0 0 20 0 17 0 634555977 138579968 30439 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=513/tid=529] ppid=511 vsize=135332 CPUtime=25.72
/proc/513/task/529/stat : 529 (satake) S 511 513 27791 0 -1 4202560 2065 0 0 0 1780 792 0 0 20 0 17 0 634555978 138579968 30439 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 525.95
Current children cumulated vsize (KiB) 135332

[startup+320.707 s]
/proc/loadavg: 2.70 2.62 3.23 4/201 540
/proc/meminfo: memFree=19020708/36427776 swapFree=4588/131808
[pid=513] ppid=511 vsize=135332 CPUtime=527.93
/proc/513/stat : 513 (satake) S 511 513 27791 0 -1 4202496 33460 0 0 0 27422 25371 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/513/statm: 33833 30445 68 164 0 33668 0
[pid=513/tid=514] ppid=511 vsize=135332 CPUtime=159.62
/proc/513/task/514/stat : 514 (satake) R 511 513 27791 0 -1 4202560 2541 0 0 0 2018 13944 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134706420 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=513/tid=515] ppid=511 vsize=135332 CPUtime=22.48
/proc/513/task/515/stat : 515 (satake) S 511 513 27791 0 -1 4202560 2105 0 0 0 1606 642 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=513/tid=516] ppid=511 vsize=135332 CPUtime=22.82
/proc/513/task/516/stat : 516 (satake) S 511 513 27791 0 -1 4202560 1985 0 0 0 1598 684 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=513/tid=517] ppid=511 vsize=135332 CPUtime=22.4
/proc/513/task/517/stat : 517 (satake) S 511 513 27791 0 -1 4202560 2144 0 0 0 1582 658 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=513/tid=518] ppid=511 vsize=135332 CPUtime=22.94
/proc/513/task/518/stat : 518 (satake) R 511 513 27791 0 -1 4202560 2014 0 0 0 1622 672 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=513/tid=519] ppid=511 vsize=135332 CPUtime=24.96
/proc/513/task/519/stat : 519 (satake) S 511 513 27791 0 -1 4202560 1957 0 0 0 1720 776 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=513/tid=520] ppid=511 vsize=135332 CPUtime=25.12
/proc/513/task/520/stat : 520 (satake) S 511 513 27791 0 -1 4202560 1943 0 0 0 1700 812 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=513/tid=521] ppid=511 vsize=135332 CPUtime=25.5
/proc/513/task/521/stat : 521 (satake) S 511 513 27791 0 -1 4202560 2006 0 0 0 1712 838 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=513/tid=522] ppid=511 vsize=135332 CPUtime=25.5
/proc/513/task/522/stat : 522 (satake) S 511 513 27791 0 -1 4202560 2085 0 0 0 1756 794 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=513/tid=523] ppid=511 vsize=135332 CPUtime=24.9
/proc/513/task/523/stat : 523 (satake) S 511 513 27791 0 -1 4202560 2055 0 0 0 1650 840 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=513/tid=524] ppid=511 vsize=135332 CPUtime=26.26
/proc/513/task/524/stat : 524 (satake) S 511 513 27791 0 -1 4202560 2106 0 0 0 1744 882 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=513/tid=525] ppid=511 vsize=135332 CPUtime=23.68
/proc/513/task/525/stat : 525 (satake) S 511 513 27791 0 -1 4202560 1986 0 0 0 1660 708 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=513/tid=526] ppid=511 vsize=135332 CPUtime=25.24
/proc/513/task/526/stat : 526 (satake) S 511 513 27791 0 -1 4202560 2184 0 0 0 1744 780 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=513/tid=527] ppid=511 vsize=135332 CPUtime=26.12
/proc/513/task/527/stat : 527 (satake) S 511 513 27791 0 -1 4202560 2038 0 0 0 1828 784 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=513/tid=528] ppid=511 vsize=135332 CPUtime=24.54
/proc/513/task/528/stat : 528 (satake) R 511 513 27791 0 -1 4202560 2121 0 0 0 1696 758 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=513/tid=529] ppid=511 vsize=135332 CPUtime=25.72
/proc/513/task/529/stat : 529 (satake) S 511 513 27791 0 -1 4202560 2065 0 0 0 1780 792 0 0 20 0 17 0 634555978 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 527.93
Current children cumulated vsize (KiB) 135332

[startup+321.504 s]
/proc/loadavg: 2.70 2.62 3.23 2/201 540
/proc/meminfo: memFree=19020708/36427776 swapFree=4588/131832
[pid=513] ppid=511 vsize=135332 CPUtime=529.51
/proc/513/stat : 513 (satake) S 511 513 27791 0 -1 4202496 33460 0 0 0 27517 25434 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/513/statm: 33833 30445 68 164 0 33668 0
[pid=513/tid=514] ppid=511 vsize=135332 CPUtime=160.05
/proc/513/task/514/stat : 514 (satake) R 511 513 27791 0 -1 4202560 2541 0 0 0 2024 13981 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=513/tid=515] ppid=511 vsize=135332 CPUtime=22.52
/proc/513/task/515/stat : 515 (satake) S 511 513 27791 0 -1 4202560 2105 0 0 0 1610 642 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=513/tid=516] ppid=511 vsize=135332 CPUtime=22.92
/proc/513/task/516/stat : 516 (satake) S 511 513 27791 0 -1 4202560 1985 0 0 0 1604 688 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=513/tid=517] ppid=511 vsize=135332 CPUtime=22.46
/proc/513/task/517/stat : 517 (satake) S 511 513 27791 0 -1 4202560 2144 0 0 0 1586 660 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=513/tid=518] ppid=511 vsize=135332 CPUtime=23.08
/proc/513/task/518/stat : 518 (satake) S 511 513 27791 0 -1 4202560 2014 0 0 0 1636 672 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=513/tid=519] ppid=511 vsize=135332 CPUtime=25.04
/proc/513/task/519/stat : 519 (satake) S 511 513 27791 0 -1 4202560 1957 0 0 0 1726 778 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=513/tid=520] ppid=511 vsize=135332 CPUtime=25.22
/proc/513/task/520/stat : 520 (satake) S 511 513 27791 0 -1 4202560 1943 0 0 0 1708 814 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=513/tid=521] ppid=511 vsize=135332 CPUtime=25.5
/proc/513/task/521/stat : 521 (satake) D 511 513 27791 0 -1 4202560 2006 0 0 0 1712 838 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=513/tid=522] ppid=511 vsize=135332 CPUtime=25.52
/proc/513/task/522/stat : 522 (satake) S 511 513 27791 0 -1 4202560 2085 0 0 0 1756 796 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=513/tid=523] ppid=511 vsize=135332 CPUtime=24.98
/proc/513/task/523/stat : 523 (satake) S 511 513 27791 0 -1 4202560 2055 0 0 0 1658 840 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=513/tid=524] ppid=511 vsize=135332 CPUtime=26.34
/proc/513/task/524/stat : 524 (satake) S 511 513 27791 0 -1 4202560 2106 0 0 0 1750 884 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=513/tid=525] ppid=511 vsize=135332 CPUtime=23.78
/proc/513/task/525/stat : 525 (satake) S 511 513 27791 0 -1 4202560 1986 0 0 0 1668 710 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=513/tid=526] ppid=511 vsize=135332 CPUtime=25.3
/proc/513/task/526/stat : 526 (satake) S 511 513 27791 0 -1 4202560 2184 0 0 0 1748 782 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=513/tid=527] ppid=511 vsize=135332 CPUtime=26.2
/proc/513/task/527/stat : 527 (satake) S 511 513 27791 0 -1 4202560 2038 0 0 0 1834 786 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=513/tid=528] ppid=511 vsize=135332 CPUtime=24.58
/proc/513/task/528/stat : 528 (satake) S 511 513 27791 0 -1 4202560 2121 0 0 0 1700 758 0 0 20 0 17 0 634555977 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=513/tid=529] ppid=511 vsize=135332 CPUtime=25.88
/proc/513/task/529/stat : 529 (satake) S 511 513 27791 0 -1 4202560 2065 0 0 0 1790 798 0 0 20 0 17 0 634555978 138579968 30445 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 529.51
Current children cumulated vsize (KiB) 135332

[startup+321.906 s]
/proc/loadavg: 2.70 2.62 3.23 2/201 540
/proc/meminfo: memFree=19020708/36427776 swapFree=4588/131832
[pid=513] ppid=511 vsize=118796 CPUtime=532.65
/proc/513/stat : 513 (satake) S 511 513 27791 0 -1 4202496 33469 0 0 0 27610 25655 0 0 20 0 8 0 634555977 121647104 27524 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/513/statm: 29699 27524 77 164 0 29534 0
[pid=513/tid=514] ppid=511 vsize=118796 CPUtime=160.27
/proc/513/task/514/stat : 514 (satake) R 511 513 27791 0 -1 4202560 2541 0 0 0 2026 14001 0 0 20 0 8 0 634555977 121647104 27524 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134670827 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=513/tid=517] ppid=511 vsize=118796 CPUtime=22.62
/proc/513/task/517/stat : 517 (satake) S 511 513 27791 0 -1 4202560 2144 0 0 0 1592 670 0 0 20 0 8 0 634555977 121647104 27524 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=513/tid=518] ppid=511 vsize=118796 CPUtime=23.22
/proc/513/task/518/stat : 518 (satake) R 511 513 27791 0 -1 4202560 2014 0 0 0 1640 682 0 0 20 0 8 0 634555977 121647104 27524 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=513/tid=520] ppid=511 vsize=118796 CPUtime=25.36
/proc/513/task/520/stat : 520 (satake) S 511 513 27791 0 -1 4202560 1943 0 0 0 1714 822 0 0 20 0 8 0 634555977 121647104 27524 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=513/tid=523] ppid=511 vsize=118796 CPUtime=25.1
/proc/513/task/523/stat : 523 (satake) S 511 513 27791 0 -1 4202560 2055 0 0 0 1662 848 0 0 20 0 8 0 634555977 121647104 27524 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=513/tid=525] ppid=511 vsize=118796 CPUtime=24
/proc/513/task/525/stat : 525 (satake) S 511 513 27791 0 -1 4202560 1986 0 0 0 1674 726 0 0 20 0 8 0 634555977 121647104 27524 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=513/tid=527] ppid=511 vsize=118796 CPUtime=26.44
/proc/513/task/527/stat : 527 (satake) R 511 513 27791 0 -1 4202560 2038 0 0 0 1840 804 0 0 20 0 8 0 634555977 121647104 27524 18446744073709551615 134512640 135180984 4293453168 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 532.65
Current children cumulated vsize (KiB) 118796

Child status: 16
Real time (s): 321.988
CPU time (s): 532.793
CPU user time (s): 276.201
CPU system time (s): 256.592
CPU usage (%): 165.47
Max. virtual memory (cumulated for all children) (KiB): 135332


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 276.201
system time used= 256.592
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33470
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= 19533847
involuntary context switches= 787359

runsolver used 1.32808 second user time and 3.60023 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 22:34:56
IDJOB=1776657
IDBENCH=69566
IDSOLVER=631
FILE ID=xenhost3-49/1776657-1244752496
PBS_JOBID=
Free space on /tmp= 7038 MiB

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

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

MD5SUM BENCH= 2ec4066bd8381455b1990aa40b382ff0
RANDOM SEED= 1454737269

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:      19141640 kB
Buffers:        433400 kB
Cached:       14102484 kB
SwapCached:          0 kB
Active:        4078024 kB
Inactive:     10465284 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1352 kB
Writeback:           0 kB
AnonPages:        8324 kB
Mapped:           3924 kB
Slab:           687908 kB
SReclaimable:   661208 kB
SUnreclaim:      26700 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29616 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7038 MiB
End job on xenhost3-49 at 2009-06-11 22:40:18