Trace number 1780392

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 601.098 109.088

General information on the benchmark

NameAPPLICATIONS/diagnosis/
ACG-10-5p0.cnf
MD5SUMb0f091d476e617a8697e9f8acfd1538f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark79.29
Satisfiable
(Un)Satisfiability was proved
Number of variables123925
Number of clauses539763
Sum of the clauses size1252804
Maximum clause length10
Minimum clause length1
Number of clauses of size 15498
Number of clauses of size 2437089
Number of clauses of size 369976
Number of clauses of size 43020
Number of clauses of size 512080
Number of clauses of size over 512100

Solver Data 

601.01/109.04	c Benchmark name    : HOME/instance-1780392-1244826252.cnf
601.01/109.04	c Thread Num        :           16
601.01/109.04	c restarts          :           10
601.01/109.04	c conflicts         :        10800
601.01/109.04	c decisions         :        81318           (      757 / sec      )
601.01/109.04	c propagations      :     48318801           (   449897 / sec      )
601.01/109.04	c inspects          :    125366597           (  1167291 / sec      )
601.01/109.04	c conflict literals :      1565146           (    26.31 % deleted  )
601.01/109.04	c cpu time          :       107.40           
601.01/109.04	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-1780392-1244826252/watcher-1780392-1244826252 -o /tmp/evaluation-result-1780392-1244826252/solver-1780392-1244826252 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780392-1244826252.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: 11.74 11.09 10.31 2/184 9485
/proc/meminfo: memFree=19123048/36427776 swapFree=3856/7992
[pid=9485] ppid=9483 vsize=8108 CPUtime=0
/proc/9485/stat : 9485 (satake) D 9483 9485 27791 0 -1 4202496 418 0 0 0 0 0 0 0 20 0 16 0 641931627 8302592 372 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 2027 372 63 164 0 1862 0
[pid=9485/tid=9486] ppid=9483 vsize=8372 CPUtime=0
/proc/9485/task/9486/stat : 9486 (satake) S 9483 9485 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 641931627 8572928 440 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=9485/tid=9487] ppid=9483 vsize=8372 CPUtime=0
/proc/9485/task/9487/stat : 9487 (satake) D 9483 9485 27791 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 17 0 641931627 8572928 440 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9485/tid=9488] ppid=9483 vsize=8372 CPUtime=0
/proc/9485/task/9488/stat : 9488 (satake) R 9483 9485 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 17 0 641931627 8572928 442 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9485/tid=9489] ppid=9483 vsize=8372 CPUtime=0
/proc/9485/task/9489/stat : 9489 (satake) D 9483 9485 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 641931627 8572928 442 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9485/tid=9490] ppid=9483 vsize=8504 CPUtime=0
/proc/9485/task/9490/stat : 9490 (satake) D 9483 9485 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 641931627 8708096 443 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9485/tid=9491] ppid=9483 vsize=8504 CPUtime=0
/proc/9485/task/9491/stat : 9491 (satake) R 9483 9485 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 641931627 8708096 446 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9485/tid=9492] ppid=9483 vsize=8504 CPUtime=0
/proc/9485/task/9492/stat : 9492 (satake) S 9483 9485 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 641931627 8708096 448 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=9485/tid=9493] ppid=9483 vsize=8504 CPUtime=0
/proc/9485/task/9493/stat : 9493 (satake) S 9483 9485 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 641931627 8708096 448 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=9485/tid=9494] ppid=9483 vsize=8504 CPUtime=0
/proc/9485/task/9494/stat : 9494 (satake) S 9483 9485 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 641931627 8708096 450 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=9485/tid=9495] ppid=9483 vsize=8504 CPUtime=0
/proc/9485/task/9495/stat : 9495 (satake) S 9483 9485 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 641931627 8708096 475 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=9485/tid=9496] ppid=9483 vsize=8504 CPUtime=0
/proc/9485/task/9496/stat : 9496 (satake) R 9483 9485 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 641931627 8708096 491 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9485/tid=9497] ppid=9483 vsize=8504 CPUtime=0
/proc/9485/task/9497/stat : 9497 (satake) S 9483 9485 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 641931627 8708096 499 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=9485/tid=9498] ppid=9483 vsize=8636 CPUtime=0
/proc/9485/task/9498/stat : 9498 (satake) D 9483 9485 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 641931627 8843264 499 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9485/tid=9499] ppid=9483 vsize=8636 CPUtime=0
/proc/9485/task/9499/stat : 9499 (satake) S 9483 9485 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 641931627 8843264 504 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=9485/tid=9500] ppid=9483 vsize=8636 CPUtime=0
/proc/9485/task/9500/stat : 9500 (satake) R 9483 9485 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 17 0 641931628 8843264 504 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9485/tid=9501] ppid=9483 vsize=8636 CPUtime=0
/proc/9485/task/9501/stat : 9501 (satake) R 9483 9485 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 641931628 8843264 515 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0

[startup+0.071118 s]
/proc/loadavg: 11.74 11.09 10.31 2/184 9485
/proc/meminfo: memFree=19123048/36427776 swapFree=3856/7992
[pid=9485] ppid=9483 vsize=35160 CPUtime=0.43
/proc/9485/stat : 9485 (satake) S 9483 9485 27791 0 -1 4202496 6027 0 0 0 0 43 0 0 20 0 17 0 641931627 36003840 5981 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 8790 5981 63 164 0 8625 0
[pid=9485/tid=9486] ppid=9483 vsize=35160 CPUtime=0
/proc/9485/task/9486/stat : 9486 (satake) S 9483 9485 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 641931627 36003840 5981 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=9485/tid=9487] ppid=9483 vsize=35160 CPUtime=0.04
/proc/9485/task/9487/stat : 9487 (satake) D 9483 9485 27791 0 -1 4202560 507 0 0 0 0 4 0 0 20 0 17 0 641931627 36003840 5981 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9485/tid=9488] ppid=9483 vsize=35160 CPUtime=0.04
/proc/9485/task/9488/stat : 9488 (satake) D 9483 9485 27791 0 -1 4202560 572 0 0 0 0 4 0 0 20 0 17 0 641931627 36003840 5981 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9485/tid=9489] ppid=9483 vsize=37208 CPUtime=0.04
/proc/9485/task/9489/stat : 9489 (satake) R 9483 9485 27791 0 -1 4202560 497 0 0 0 0 4 0 0 20 0 17 0 641931627 38100992 5981 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9485/tid=9490] ppid=9483 vsize=37208 CPUtime=0
/proc/9485/task/9490/stat : 9490 (satake) D 9483 9485 27791 0 -1 4202560 109 0 0 0 0 0 0 0 20 0 17 0 641931627 38100992 5985 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9485/tid=9491] ppid=9483 vsize=37208 CPUtime=0.04
/proc/9485/task/9491/stat : 9491 (satake) D 9483 9485 27791 0 -1 4202560 427 0 0 0 0 4 0 0 20 0 17 0 641931627 38100992 5988 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9485/tid=9492] ppid=9483 vsize=37208 CPUtime=0.02
/proc/9485/task/9492/stat : 9492 (satake) D 9483 9485 27791 0 -1 4202560 307 0 0 0 0 2 0 0 20 0 17 0 641931627 38100992 5989 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9485/tid=9493] ppid=9483 vsize=37208 CPUtime=0.04
/proc/9485/task/9493/stat : 9493 (satake) R 9483 9485 27791 0 -1 4202560 472 0 0 0 0 4 0 0 20 0 17 0 641931627 38100992 5990 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9485/tid=9494] ppid=9483 vsize=37208 CPUtime=0.04
/proc/9485/task/9494/stat : 9494 (satake) R 9483 9485 27791 0 -1 4202560 484 0 0 0 0 4 0 0 20 0 17 0 641931627 38100992 5991 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9485/tid=9495] ppid=9483 vsize=37208 CPUtime=0.04
/proc/9485/task/9495/stat : 9495 (satake) R 9483 9485 27791 0 -1 4202560 524 0 0 0 0 4 0 0 20 0 17 0 641931627 38100992 5991 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9485/tid=9496] ppid=9483 vsize=37208 CPUtime=0
/proc/9485/task/9496/stat : 9496 (satake) R 9483 9485 27791 0 -1 4202560 109 0 0 0 0 0 0 0 20 0 17 0 641931627 38100992 5991 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9485/tid=9497] ppid=9483 vsize=37208 CPUtime=0
/proc/9485/task/9497/stat : 9497 (satake) R 9483 9485 27791 0 -1 4202560 239 0 0 0 0 0 0 0 20 0 17 0 641931627 38100992 5991 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9485/tid=9498] ppid=9483 vsize=37208 CPUtime=0.04
/proc/9485/task/9498/stat : 9498 (satake) R 9483 9485 27791 0 -1 4202560 528 0 0 0 0 4 0 0 20 0 17 0 641931627 38100992 5991 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9485/tid=9499] ppid=9483 vsize=37208 CPUtime=0.02
/proc/9485/task/9499/stat : 9499 (satake) R 9483 9485 27791 0 -1 4202560 345 0 0 0 0 2 0 0 20 0 17 0 641931627 38100992 5991 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9485/tid=9500] ppid=9483 vsize=37208 CPUtime=0.02
/proc/9485/task/9500/stat : 9500 (satake) R 9483 9485 27791 0 -1 4202560 251 0 0 0 0 2 0 0 20 0 17 0 641931628 38100992 5993 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9485/tid=9501] ppid=9483 vsize=37208 CPUtime=0.04
/proc/9485/task/9501/stat : 9501 (satake) R 9483 9485 27791 0 -1 4202560 531 0 0 0 0 4 0 0 20 0 17 0 641931628 38100992 5993 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 35160

[startup+0.108189 s]
/proc/loadavg: 11.74 11.09 10.31 2/184 9485
/proc/meminfo: memFree=19123048/36427776 swapFree=3856/7992
[pid=9485] ppid=9483 vsize=57688 CPUtime=0.82
/proc/9485/stat : 9485 (satake) S 9483 9485 27791 0 -1 4202496 10437 0 0 0 1 81 0 0 20 0 17 0 641931627 59072512 10391 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 14422 10391 63 164 0 14257 0
[pid=9485/tid=9486] ppid=9483 vsize=57688 CPUtime=0
/proc/9485/task/9486/stat : 9486 (satake) S 9483 9485 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 641931627 59072512 10391 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=9485/tid=9487] ppid=9483 vsize=57688 CPUtime=0.06
/proc/9485/task/9487/stat : 9487 (satake) D 9483 9485 27791 0 -1 4202560 810 0 0 0 0 6 0 0 20 0 17 0 641931627 59072512 10391 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9485/tid=9488] ppid=9483 vsize=57688 CPUtime=0.06
/proc/9485/task/9488/stat : 9488 (satake) D 9483 9485 27791 0 -1 4202560 979 0 0 0 0 6 0 0 20 0 17 0 641931627 59072512 10391 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9485/tid=9489] ppid=9483 vsize=57688 CPUtime=0.06
/proc/9485/task/9489/stat : 9489 (satake) D 9483 9485 27791 0 -1 4202560 917 0 0 0 0 6 0 0 20 0 17 0 641931627 59072512 10391 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9485/tid=9490] ppid=9483 vsize=57688 CPUtime=0.04
/proc/9485/task/9490/stat : 9490 (satake) D 9483 9485 27791 0 -1 4202560 497 0 0 0 0 4 0 0 20 0 17 0 641931627 59072512 10391 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9485/tid=9491] ppid=9483 vsize=57688 CPUtime=0.06
/proc/9485/task/9491/stat : 9491 (satake) D 9483 9485 27791 0 -1 4202560 686 0 0 0 0 6 0 0 20 0 17 0 641931627 59072512 10391 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9485/tid=9492] ppid=9483 vsize=57688 CPUtime=0.02
/proc/9485/task/9492/stat : 9492 (satake) D 9483 9485 27791 0 -1 4202560 319 0 0 0 0 2 0 0 20 0 17 0 641931627 59072512 10391 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9485/tid=9493] ppid=9483 vsize=57688 CPUtime=0.06
/proc/9485/task/9493/stat : 9493 (satake) D 9483 9485 27791 0 -1 4202560 850 0 0 0 0 6 0 0 20 0 17 0 641931627 59072512 10391 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9485/tid=9494] ppid=9483 vsize=57688 CPUtime=0.06
/proc/9485/task/9494/stat : 9494 (satake) D 9483 9485 27791 0 -1 4202560 813 0 0 0 0 6 0 0 20 0 17 0 641931627 59072512 10391 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9485/tid=9495] ppid=9483 vsize=57688 CPUtime=0.06
/proc/9485/task/9495/stat : 9495 (satake) R 9483 9485 27791 0 -1 4202560 1042 0 0 0 0 6 0 0 20 0 17 0 641931627 59072512 10391 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9485/tid=9496] ppid=9483 vsize=57688 CPUtime=0.02
/proc/9485/task/9496/stat : 9496 (satake) D 9483 9485 27791 0 -1 4202560 157 0 0 0 0 2 0 0 20 0 17 0 641931627 59072512 10391 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9485/tid=9497] ppid=9483 vsize=57688 CPUtime=0.04
/proc/9485/task/9497/stat : 9497 (satake) D 9483 9485 27791 0 -1 4202560 439 0 0 0 0 4 0 0 20 0 17 0 641931627 59072512 10391 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9485/tid=9498] ppid=9483 vsize=57688 CPUtime=0.06
/proc/9485/task/9498/stat : 9498 (satake) D 9483 9485 27791 0 -1 4202560 836 0 0 0 0 6 0 0 20 0 17 0 641931627 59072512 10391 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9485/tid=9499] ppid=9483 vsize=65884 CPUtime=0.04
/proc/9485/task/9499/stat : 9499 (satake) D 9483 9485 27791 0 -1 4202560 462 0 0 0 0 4 0 0 20 0 17 0 641931627 67465216 10391 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9485/tid=9500] ppid=9483 vsize=61784 CPUtime=0.04
/proc/9485/task/9500/stat : 9500 (satake) D 9483 9485 27791 0 -1 4202560 587 0 0 0 0 4 0 0 20 0 17 0 641931628 63266816 10391 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9485/tid=9501] ppid=9483 vsize=61784 CPUtime=0.06
/proc/9485/task/9501/stat : 9501 (satake) R 9483 9485 27791 0 -1 4202560 911 0 0 0 0 6 0 0 20 0 17 0 641931628 63266816 10397 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 57688

[startup+0.3015 s]
/proc/loadavg: 11.74 11.09 10.31 2/184 9485
/proc/meminfo: memFree=19123048/36427776 swapFree=3856/7992
[pid=9485] ppid=9483 vsize=150816 CPUtime=2.69
/proc/9485/stat : 9485 (satake) S 9483 9485 27791 0 -1 4202496 27752 0 0 0 1 268 0 0 20 0 17 0 641931627 154435584 27706 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 37704 27707 63 164 0 37539 0
[pid=9485/tid=9486] ppid=9483 vsize=150816 CPUtime=0
/proc/9485/task/9486/stat : 9486 (satake) S 9483 9485 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 641931627 154435584 27707 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=9485/tid=9487] ppid=9483 vsize=150816 CPUtime=0.22
/proc/9485/task/9487/stat : 9487 (satake) D 9483 9485 27791 0 -1 4202560 2029 0 0 0 0 22 0 0 20 0 17 0 641931627 154435584 27707 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9485/tid=9488] ppid=9483 vsize=150816 CPUtime=0.22
/proc/9485/task/9488/stat : 9488 (satake) D 9483 9485 27791 0 -1 4202560 2531 0 0 0 0 22 0 0 20 0 17 0 641931627 154435584 27707 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9485/tid=9489] ppid=9483 vsize=150816 CPUtime=0.2
/proc/9485/task/9489/stat : 9489 (satake) S 9483 9485 27791 0 -1 4202560 2338 0 0 0 0 20 0 0 20 0 17 0 641931627 154435584 27707 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=9485/tid=9490] ppid=9483 vsize=150816 CPUtime=0.18
/proc/9485/task/9490/stat : 9490 (satake) R 9483 9485 27791 0 -1 4202560 1924 0 0 0 0 18 0 0 20 0 17 0 641931627 154435584 27707 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9485/tid=9491] ppid=9483 vsize=150816 CPUtime=0.14
/proc/9485/task/9491/stat : 9491 (satake) D 9483 9485 27791 0 -1 4202560 1353 0 0 0 0 14 0 0 20 0 17 0 641931627 154435584 27707 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9485/tid=9492] ppid=9483 vsize=150816 CPUtime=0.1
/proc/9485/task/9492/stat : 9492 (satake) D 9483 9485 27791 0 -1 4202560 1070 0 0 0 0 10 0 0 20 0 17 0 641931627 154435584 27707 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9485/tid=9493] ppid=9483 vsize=150816 CPUtime=0.22
/proc/9485/task/9493/stat : 9493 (satake) D 9483 9485 27791 0 -1 4202560 2326 0 0 0 0 22 0 0 20 0 17 0 641931627 154435584 27707 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9485/tid=9494] ppid=9483 vsize=150816 CPUtime=0.22
/proc/9485/task/9494/stat : 9494 (satake) D 9483 9485 27791 0 -1 4202560 2212 0 0 0 0 22 0 0 20 0 17 0 641931627 154435584 27707 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9485/tid=9495] ppid=9483 vsize=150816 CPUtime=0.22
/proc/9485/task/9495/stat : 9495 (satake) D 9483 9485 27791 0 -1 4202560 2738 0 0 0 0 22 0 0 20 0 17 0 641931627 154435584 27707 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9485/tid=9496] ppid=9483 vsize=150816 CPUtime=0.1
/proc/9485/task/9496/stat : 9496 (satake) D 9483 9485 27791 0 -1 4202560 911 0 0 0 0 10 0 0 20 0 17 0 641931627 154435584 27707 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9485/tid=9497] ppid=9483 vsize=150816 CPUtime=0.12
/proc/9485/task/9497/stat : 9497 (satake) D 9483 9485 27791 0 -1 4202560 1150 0 0 0 0 12 0 0 20 0 17 0 641931627 154435584 27707 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9485/tid=9498] ppid=9483 vsize=150816 CPUtime=0.22
/proc/9485/task/9498/stat : 9498 (satake) D 9483 9485 27791 0 -1 4202560 2161 0 0 0 0 22 0 0 20 0 17 0 641931627 154435584 27707 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9485/tid=9499] ppid=9483 vsize=150816 CPUtime=0.1
/proc/9485/task/9499/stat : 9499 (satake) D 9483 9485 27791 0 -1 4202560 1083 0 0 0 0 10 0 0 20 0 17 0 641931627 154435584 27707 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9485/tid=9500] ppid=9483 vsize=150816 CPUtime=0.12
/proc/9485/task/9500/stat : 9500 (satake) D 9483 9485 27791 0 -1 4202560 1393 0 0 0 0 12 0 0 20 0 17 0 641931628 154435584 27707 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9485/tid=9501] ppid=9483 vsize=150816 CPUtime=0.22
/proc/9485/task/9501/stat : 9501 (satake) D 9483 9485 27791 0 -1 4202560 2401 0 0 0 0 22 0 0 20 0 17 0 641931628 154435584 27707 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 150816

[startup+0.704815 s]
/proc/loadavg: 11.74 11.09 10.31 2/184 9485
/proc/meminfo: memFree=19123048/36427776 swapFree=3856/7992
[pid=9485] ppid=9483 vsize=187924 CPUtime=5.53
/proc/9485/stat : 9485 (satake) S 9483 9485 27791 0 -1 4202496 38805 0 0 0 1 552 0 0 20 0 17 0 641931627 192434176 38759 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 47014 38764 63 164 0 46849 0
[pid=9485/tid=9486] ppid=9483 vsize=188056 CPUtime=0
/proc/9485/task/9486/stat : 9486 (satake) S 9483 9485 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 641931627 192569344 38765 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=9485/tid=9487] ppid=9483 vsize=188056 CPUtime=0.44
/proc/9485/task/9487/stat : 9487 (satake) D 9483 9485 27791 0 -1 4202560 2792 0 0 0 0 44 0 0 20 0 17 0 641931627 192569344 38765 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9485/tid=9488] ppid=9483 vsize=188056 CPUtime=0.44
/proc/9485/task/9488/stat : 9488 (satake) R 9483 9485 27791 0 -1 4202560 3223 0 0 0 0 44 0 0 20 0 17 0 641931627 192569344 38765 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9485/tid=9489] ppid=9483 vsize=188056 CPUtime=0.42
/proc/9485/task/9489/stat : 9489 (satake) D 9483 9485 27791 0 -1 4202560 3007 0 0 0 0 42 0 0 20 0 17 0 641931627 192569344 38765 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9485/tid=9490] ppid=9483 vsize=188056 CPUtime=0.42
/proc/9485/task/9490/stat : 9490 (satake) R 9483 9485 27791 0 -1 4202560 2746 0 0 0 0 42 0 0 20 0 17 0 641931627 192569344 38765 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9485/tid=9491] ppid=9483 vsize=188056 CPUtime=0.28
/proc/9485/task/9491/stat : 9491 (satake) D 9483 9485 27791 0 -1 4202560 2104 0 0 0 0 28 0 0 20 0 17 0 641931627 192569344 38765 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9485/tid=9492] ppid=9483 vsize=188056 CPUtime=0.24
/proc/9485/task/9492/stat : 9492 (satake) D 9483 9485 27791 0 -1 4202560 1892 0 0 0 0 24 0 0 20 0 17 0 641931627 192569344 38765 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9485/tid=9493] ppid=9483 vsize=188056 CPUtime=0.44
/proc/9485/task/9493/stat : 9493 (satake) D 9483 9485 27791 0 -1 4202560 2979 0 0 0 0 44 0 0 20 0 17 0 641931627 192569344 38765 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9485/tid=9494] ppid=9483 vsize=188056 CPUtime=0.44
/proc/9485/task/9494/stat : 9494 (satake) S 9483 9485 27791 0 -1 4202560 2977 0 0 0 0 44 0 0 20 0 17 0 641931627 192569344 38765 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=9485/tid=9495] ppid=9483 vsize=188056 CPUtime=0.44

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

[pid=9485/tid=9488] ppid=9483 vsize=562512 CPUtime=36.96
/proc/9485/task/9488/stat : 9488 (satake) R 9483 9485 27791 0 -1 4202560 11285 0 0 0 3506 190 0 0 20 0 17 0 641931627 576012288 133533 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9485/tid=9489] ppid=9483 vsize=562512 CPUtime=36.73
/proc/9485/task/9489/stat : 9489 (satake) S 9483 9485 27791 0 -1 4202560 11006 0 0 0 3475 198 0 0 20 0 17 0 641931627 576012288 133533 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=9485/tid=9490] ppid=9483 vsize=562512 CPUtime=34.65
/proc/9485/task/9490/stat : 9490 (satake) S 9483 9485 27791 0 -1 4202560 11123 0 0 0 3261 204 0 0 20 0 17 0 641931627 576012288 133533 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=9485/tid=9491] ppid=9483 vsize=562512 CPUtime=35.95
/proc/9485/task/9491/stat : 9491 (satake) S 9483 9485 27791 0 -1 4202560 11301 0 0 0 3393 202 0 0 20 0 17 0 641931627 576012288 133533 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=9485/tid=9492] ppid=9483 vsize=562512 CPUtime=34.3
/proc/9485/task/9492/stat : 9492 (satake) R 9483 9485 27791 0 -1 4202560 10668 0 0 0 3246 184 0 0 20 0 17 0 641931627 576012288 133533 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9485/tid=9493] ppid=9483 vsize=562512 CPUtime=37.69
/proc/9485/task/9493/stat : 9493 (satake) R 9483 9485 27791 0 -1 4202560 11427 0 0 0 3567 202 0 0 20 0 17 0 641931627 576012288 133533 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134520907 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9485/tid=9494] ppid=9483 vsize=562512 CPUtime=35.72
/proc/9485/task/9494/stat : 9494 (satake) R 9483 9485 27791 0 -1 4202560 11188 0 0 0 3376 196 0 0 20 0 17 0 641931627 576012288 133533 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9485/tid=9495] ppid=9483 vsize=562512 CPUtime=37.28
/proc/9485/task/9495/stat : 9495 (satake) S 9483 9485 27791 0 -1 4202560 11285 0 0 0 3532 196 0 0 20 0 17 0 641931627 576012288 133533 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=9485/tid=9496] ppid=9483 vsize=562512 CPUtime=35.57
/proc/9485/task/9496/stat : 9496 (satake) S 9483 9485 27791 0 -1 4202560 11019 0 0 0 3371 186 0 0 20 0 17 0 641931627 576012288 133533 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=9485/tid=9497] ppid=9483 vsize=562512 CPUtime=36.55
/proc/9485/task/9497/stat : 9497 (satake) R 9483 9485 27791 0 -1 4202560 10904 0 0 0 3467 188 0 0 20 0 17 0 641931627 576012288 133533 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9485/tid=9498] ppid=9483 vsize=562512 CPUtime=35.79
/proc/9485/task/9498/stat : 9498 (satake) S 9483 9485 27791 0 -1 4202560 11560 0 0 0 3393 186 0 0 20 0 17 0 641931627 576012288 133533 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=9485/tid=9499] ppid=9483 vsize=562512 CPUtime=36.07
/proc/9485/task/9499/stat : 9499 (satake) R 9483 9485 27791 0 -1 4202560 10962 0 0 0 3415 192 0 0 20 0 17 0 641931627 576012288 133533 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134518218 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9485/tid=9500] ppid=9483 vsize=562512 CPUtime=34.59
/proc/9485/task/9500/stat : 9500 (satake) S 9483 9485 27791 0 -1 4202560 11032 0 0 0 3289 170 0 0 20 0 17 0 641931628 576012288 133533 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=9485/tid=9501] ppid=9483 vsize=562512 CPUtime=34.69
/proc/9485/task/9501/stat : 9501 (satake) R 9483 9485 27791 0 -1 4202560 11333 0 0 0 3275 194 0 0 20 0 17 0 641931628 576012288 133533 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134528470 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 579.17
Current children cumulated vsize (KiB) 562512

[startup+107.103 s]
/proc/loadavg: 7.79 9.74 9.89 7/201 9507
/proc/meminfo: memFree=18588700/36427776 swapFree=4588/543832
[pid=9485] ppid=9483 vsize=562512 CPUtime=588.66
/proc/9485/stat : 9485 (satake) S 9483 9485 27791 0 -1 4202496 168052 0 0 0 52302 6564 0 0 20 0 17 0 641931627 576012288 133536 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 140628 133536 68 164 0 140463 0
[pid=9485/tid=9486] ppid=9483 vsize=562512 CPUtime=40.66
/proc/9485/task/9486/stat : 9486 (satake) R 9483 9485 27791 0 -1 4202560 900 0 0 0 406 3660 0 0 20 0 17 0 641931627 576012288 133536 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=9485/tid=9487] ppid=9483 vsize=562512 CPUtime=37.34
/proc/9485/task/9487/stat : 9487 (satake) S 9483 9485 27791 0 -1 4202560 10932 0 0 0 3536 198 0 0 20 0 17 0 641931627 576012288 133536 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=9485/tid=9488] ppid=9483 vsize=562512 CPUtime=37.53
/proc/9485/task/9488/stat : 9488 (satake) R 9483 9485 27791 0 -1 4202560 11285 0 0 0 3563 190 0 0 20 0 17 0 641931627 576012288 133536 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134521016 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9485/tid=9489] ppid=9483 vsize=562512 CPUtime=37.34
/proc/9485/task/9489/stat : 9489 (satake) S 9483 9485 27791 0 -1 4202560 11006 0 0 0 3536 198 0 0 20 0 17 0 641931627 576012288 133536 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=9485/tid=9490] ppid=9483 vsize=562512 CPUtime=35.13
/proc/9485/task/9490/stat : 9490 (satake) S 9483 9485 27791 0 -1 4202560 11123 0 0 0 3307 206 0 0 20 0 17 0 641931627 576012288 133536 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=9485/tid=9491] ppid=9483 vsize=562512 CPUtime=36.27
/proc/9485/task/9491/stat : 9491 (satake) S 9483 9485 27791 0 -1 4202560 11301 0 0 0 3425 202 0 0 20 0 17 0 641931627 576012288 133536 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=9485/tid=9492] ppid=9483 vsize=562512 CPUtime=34.92
/proc/9485/task/9492/stat : 9492 (satake) R 9483 9485 27791 0 -1 4202560 10669 0 0 0 3308 184 0 0 20 0 17 0 641931627 576012288 133536 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9485/tid=9493] ppid=9483 vsize=562512 CPUtime=38.38
/proc/9485/task/9493/stat : 9493 (satake) S 9483 9485 27791 0 -1 4202560 11427 0 0 0 3634 204 0 0 20 0 17 0 641931627 576012288 133536 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=9485/tid=9494] ppid=9483 vsize=562512 CPUtime=36.21
/proc/9485/task/9494/stat : 9494 (satake) D 9483 9485 27791 0 -1 4202560 11188 0 0 0 3425 196 0 0 20 0 17 0 641931627 576012288 133536 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9485/tid=9495] ppid=9483 vsize=562512 CPUtime=37.94
/proc/9485/task/9495/stat : 9495 (satake) S 9483 9485 27791 0 -1 4202560 11285 0 0 0 3598 196 0 0 20 0 17 0 641931627 576012288 133536 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=9485/tid=9496] ppid=9483 vsize=562512 CPUtime=36.15
/proc/9485/task/9496/stat : 9496 (satake) S 9483 9485 27791 0 -1 4202560 11019 0 0 0 3429 186 0 0 20 0 17 0 641931627 576012288 133536 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=9485/tid=9497] ppid=9483 vsize=562512 CPUtime=37.11
/proc/9485/task/9497/stat : 9497 (satake) S 9483 9485 27791 0 -1 4202560 10904 0 0 0 3523 188 0 0 20 0 17 0 641931627 576012288 133536 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=9485/tid=9498] ppid=9483 vsize=562512 CPUtime=36.3
/proc/9485/task/9498/stat : 9498 (satake) S 9483 9485 27791 0 -1 4202560 11560 0 0 0 3440 190 0 0 20 0 17 0 641931627 576012288 133536 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=9485/tid=9499] ppid=9483 vsize=562512 CPUtime=36.8
/proc/9485/task/9499/stat : 9499 (satake) R 9483 9485 27791 0 -1 4202560 10962 0 0 0 3488 192 0 0 20 0 17 0 641931627 576012288 133536 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134519895 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9485/tid=9500] ppid=9483 vsize=562512 CPUtime=35.22
/proc/9485/task/9500/stat : 9500 (satake) S 9483 9485 27791 0 -1 4202560 11032 0 0 0 3350 172 0 0 20 0 17 0 641931628 576012288 133536 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=9485/tid=9501] ppid=9483 vsize=562512 CPUtime=35.26
/proc/9485/task/9501/stat : 9501 (satake) S 9483 9485 27791 0 -1 4202560 11333 0 0 0 3332 194 0 0 20 0 17 0 641931628 576012288 133536 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 588.66
Current children cumulated vsize (KiB) 562512

[startup+107.902 s]
/proc/loadavg: 7.79 9.74 9.89 17/201 9507
/proc/meminfo: memFree=18588700/36427776 swapFree=4588/544056
[pid=9485] ppid=9483 vsize=562348 CPUtime=595.17
/proc/9485/stat : 9485 (satake) S 9483 9485 27791 0 -1 4202496 168063 0 0 0 52676 6841 0 0 20 0 17 0 641931627 575844352 133525 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 140587 133525 77 164 0 140422 0
[pid=9485/tid=9486] ppid=9483 vsize=562348 CPUtime=41.08
/proc/9485/task/9486/stat : 9486 (satake) R 9483 9485 27791 0 -1 4202560 900 0 0 0 416 3692 0 0 20 0 17 0 641931627 575844352 133525 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=9485/tid=9487] ppid=9483 vsize=562348 CPUtime=37.64
/proc/9485/task/9487/stat : 9487 (satake) R 9483 9485 27791 0 -1 4202560 10941 0 0 0 3550 214 0 0 20 0 17 0 641931627 575844352 133525 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9485/tid=9488] ppid=9483 vsize=562348 CPUtime=38.03
/proc/9485/task/9488/stat : 9488 (satake) R 9483 9485 27791 0 -1 4202560 11285 0 0 0 3593 210 0 0 20 0 17 0 641931627 575844352 133525 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9485/tid=9489] ppid=9483 vsize=562348 CPUtime=37.66
/proc/9485/task/9489/stat : 9489 (satake) R 9483 9485 27791 0 -1 4202560 11006 0 0 0 3550 216 0 0 20 0 17 0 641931627 575844352 133525 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9485/tid=9490] ppid=9483 vsize=562348 CPUtime=35.43
/proc/9485/task/9490/stat : 9490 (satake) S 9483 9485 27791 0 -1 4202560 11123 0 0 0 3321 222 0 0 20 0 17 0 641931627 575844352 133525 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=9485/tid=9491] ppid=9483 vsize=562348 CPUtime=36.8
/proc/9485/task/9491/stat : 9491 (satake) R 9483 9485 27791 0 -1 4202560 11301 0 0 0 3472 208 0 0 20 0 17 0 641931627 575844352 133525 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134520027 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9485/tid=9492] ppid=9483 vsize=562348 CPUtime=35.3
/proc/9485/task/9492/stat : 9492 (satake) R 9483 9485 27791 0 -1 4202560 10669 0 0 0 3330 200 0 0 20 0 17 0 641931627 575844352 133525 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9485/tid=9493] ppid=9483 vsize=562348 CPUtime=38.69
/proc/9485/task/9493/stat : 9493 (satake) R 9483 9485 27791 0 -1 4202560 11427 0 0 0 3649 220 0 0 20 0 17 0 641931627 575844352 133525 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9485/tid=9494] ppid=9483 vsize=562348 CPUtime=36.79
/proc/9485/task/9494/stat : 9494 (satake) R 9483 9485 27791 0 -1 4202560 11189 0 0 0 3463 216 0 0 20 0 17 0 641931627 575844352 133525 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9485/tid=9495] ppid=9483 vsize=562348 CPUtime=38.26
/proc/9485/task/9495/stat : 9495 (satake) R 9483 9485 27791 0 -1 4202560 11285 0 0 0 3612 214 0 0 20 0 17 0 641931627 575844352 133525 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9485/tid=9496] ppid=9483 vsize=562348 CPUtime=36.6
/proc/9485/task/9496/stat : 9496 (satake) R 9483 9485 27791 0 -1 4202560 11019 0 0 0 3464 196 0 0 20 0 17 0 641931627 575844352 133525 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9485/tid=9497] ppid=9483 vsize=562348 CPUtime=37.63
/proc/9485/task/9497/stat : 9497 (satake) S 9483 9485 27791 0 -1 4202560 10904 0 0 0 3557 206 0 0 20 0 17 0 641931627 575844352 133525 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=9485/tid=9498] ppid=9483 vsize=562348 CPUtime=36.61
/proc/9485/task/9498/stat : 9498 (satake) R 9483 9485 27791 0 -1 4202560 11560 0 0 0 3453 208 0 0 20 0 17 0 641931627 575844352 133525 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9485/tid=9499] ppid=9483 vsize=562348 CPUtime=37.21
/proc/9485/task/9499/stat : 9499 (satake) R 9483 9485 27791 0 -1 4202560 10962 0 0 0 3511 210 0 0 20 0 17 0 641931627 575844352 133525 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9485/tid=9500] ppid=9483 vsize=562348 CPUtime=35.56
/proc/9485/task/9500/stat : 9500 (satake) R 9483 9485 27791 0 -1 4202560 11032 0 0 0 3366 190 0 0 20 0 17 0 641931628 575844352 133525 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9485/tid=9501] ppid=9483 vsize=562348 CPUtime=35.82
/proc/9485/task/9501/stat : 9501 (satake) S 9483 9485 27791 0 -1 4202560 11334 0 0 0 3368 214 0 0 20 0 17 0 641931628 575844352 133525 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 595.17
Current children cumulated vsize (KiB) 562348

[startup+108.704 s]
/proc/loadavg: 7.79 9.74 9.89 17/201 9507
/proc/meminfo: memFree=18588700/36427776 swapFree=4588/544056
[pid=9485] ppid=9483 vsize=490340 CPUtime=600.32
/proc/9485/stat : 9485 (satake) S 9483 9485 27791 0 -1 4202496 168063 0 0 0 52997 7035 0 0 20 0 13 0 641931627 502108160 118098 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 122585 118098 77 164 0 122420 0
[pid=9485/tid=9488] ppid=9483 vsize=490340 CPUtime=38.3
/proc/9485/task/9488/stat : 9488 (satake) S 9483 9485 27791 0 -1 4202560 11285 0 0 0 3610 220 0 0 20 0 13 0 641931627 502108160 118098 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=9485/tid=9489] ppid=9483 vsize=490340 CPUtime=37.99
/proc/9485/task/9489/stat : 9489 (satake) S 9483 9485 27791 0 -1 4202560 11006 0 0 0 3569 230 0 0 20 0 13 0 641931627 502108160 118098 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=9485/tid=9490] ppid=9483 vsize=490340 CPUtime=35.8
/proc/9485/task/9490/stat : 9490 (satake) S 9483 9485 27791 0 -1 4202560 11123 0 0 0 3344 236 0 0 20 0 13 0 641931627 502108160 118098 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=9485/tid=9491] ppid=9483 vsize=490340 CPUtime=37.54
/proc/9485/task/9491/stat : 9491 (satake) S 9483 9485 27791 0 -1 4202560 11301 0 0 0 3546 208 0 0 20 0 13 0 641931627 502108160 118098 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=9485/tid=9492] ppid=9483 vsize=490340 CPUtime=35.61
/proc/9485/task/9492/stat : 9492 (satake) S 9483 9485 27791 0 -1 4202560 10669 0 0 0 3347 214 0 0 20 0 13 0 641931627 502108160 118098 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=9485/tid=9493] ppid=9483 vsize=490340 CPUtime=39.02
/proc/9485/task/9493/stat : 9493 (satake) S 9483 9485 27791 0 -1 4202560 11427 0 0 0 3668 234 0 0 20 0 13 0 641931627 502108160 118098 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=9485/tid=9494] ppid=9483 vsize=490340 CPUtime=37.11
/proc/9485/task/9494/stat : 9494 (satake) R 9483 9485 27791 0 -1 4202560 11189 0 0 0 3479 232 0 0 20 0 13 0 641931627 502108160 118098 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9485/tid=9496] ppid=9483 vsize=490340 CPUtime=36.87
/proc/9485/task/9496/stat : 9496 (satake) S 9483 9485 27791 0 -1 4202560 11019 0 0 0 3479 208 0 0 20 0 13 0 641931627 502108160 118098 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=9485/tid=9497] ppid=9483 vsize=490340 CPUtime=38.02
/proc/9485/task/9497/stat : 9497 (satake) R 9483 9485 27791 0 -1 4202560 10904 0 0 0 3580 222 0 0 20 0 13 0 641931627 502108160 118098 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9485/tid=9498] ppid=9483 vsize=490340 CPUtime=36.93
/proc/9485/task/9498/stat : 9498 (satake) S 9483 9485 27791 0 -1 4202560 11560 0 0 0 3469 224 0 0 20 0 13 0 641931627 502108160 118098 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=9485/tid=9499] ppid=9483 vsize=490340 CPUtime=37.55
/proc/9485/task/9499/stat : 9499 (satake) S 9483 9485 27791 0 -1 4202560 10962 0 0 0 3529 226 0 0 20 0 13 0 641931627 502108160 118098 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=9485/tid=9500] ppid=9483 vsize=490340 CPUtime=35.87
/proc/9485/task/9500/stat : 9500 (satake) R 9483 9485 27791 0 -1 4202560 11032 0 0 0 3385 202 0 0 20 0 13 0 641931628 502108160 118098 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 600.32
Current children cumulated vsize (KiB) 490340

[startup+108.912 s]
/proc/loadavg: 7.88 9.72 9.89 3/190 9507
/proc/meminfo: memFree=18696772/36427776 swapFree=4624/427044
[pid=9485] ppid=9483 vsize=402472 CPUtime=600.89
/proc/9485/stat : 9485 (satake) S 9483 9485 27791 0 -1 4202496 168063 0 0 0 53039 7050 0 0 20 0 3 0 641931627 412131328 97443 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 100618 97443 77 164 0 100453 0
[pid=9485/tid=9491] ppid=9483 vsize=402472 CPUtime=37.62
/proc/9485/task/9491/stat : 9491 (satake) R 9483 9485 27791 0 -1 4202560 11301 0 0 0 3554 208 0 0 20 0 3 0 641931627 412131328 97443 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9485/tid=9496] ppid=9483 vsize=402472 CPUtime=37.03
/proc/9485/task/9496/stat : 9496 (satake) R 9483 9485 27791 0 -1 4202560 11019 0 0 0 3489 214 0 0 20 0 3 0 641931627 412131328 97443 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 600.89
Current children cumulated vsize (KiB) 402472

[startup+109.004 s]
/proc/loadavg: 7.88 9.72 9.89 3/190 9507
/proc/meminfo: memFree=18696772/36427776 swapFree=4624/427044
[pid=9485] ppid=9483 vsize=387300 CPUtime=601.01
/proc/9485/stat : 9485 (satake) S 9483 9485 27791 0 -1 4202496 168063 0 0 0 53049 7052 0 0 20 0 2 0 641931627 396595200 94192 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 96825 94192 77 164 0 96660 0
[pid=9485/tid=9491] ppid=9483 vsize=387300 CPUtime=37.72
/proc/9485/task/9491/stat : 9491 (satake) R 9483 9485 27791 0 -1 4202560 11301 0 0 0 3562 210 0 0 20 0 2 0 641931627 396595200 94192 18446744073709551615 134512640 135180984 4294102544 18446744073709551615 134666403 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 601.01
Current children cumulated vsize (KiB) 387300

Child status: 16
Real time (s): 109.088
CPU time (s): 601.098
CPU user time (s): 530.521
CPU system time (s): 70.5764
CPU usage (%): 551.022
Max. virtual memory (cumulated for all children) (KiB): 591304


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 530.521
system time used= 70.5764
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168064
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= 5032424
involuntary context switches= 575797

runsolver used 0.468029 second user time and 1.42409 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 19:04:12
IDJOB=1780392
IDBENCH=70997
IDSOLVER=631
FILE ID=xenhost3-49/1780392-1244826252
PBS_JOBID=
Free space on /tmp= 7021 MiB

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

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

MD5SUM BENCH= b0f091d476e617a8697e9f8acfd1538f
RANDOM SEED= 278480519

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:      19123048 kB
Buffers:        435236 kB
Cached:       14119812 kB
SwapCached:          0 kB
Active:        4080428 kB
Inactive:     10482640 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            9704 kB
Writeback:           0 kB
AnonPages:        7992 kB
Mapped:           3856 kB
Slab:           689404 kB
SReclaimable:   662632 kB
SUnreclaim:      26772 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7021 MiB
End job on xenhost3-49 at 2009-06-12 19:06:02