Trace number 1781352

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 188.916 124.575

General information on the benchmark

Namevelev-live-uns-2.0-ebuf.cnf
MD5SUM67de5cf23f11aa400b48f4451ee5f362
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark37.17
Satisfiable
(Un)Satisfiability was proved
Number of variables14628
Number of clauses161477
Sum of the clauses size460215
Maximum clause length88
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2133719
Number of clauses of size 316973
Number of clauses of size 4833
Number of clauses of size 5676
Number of clauses of size over 59275

Solver Data 

188.78/124.56	c Benchmark name    : HOME/instance-1781352-1244864080.cnf
188.78/124.56	c Thread Num        :           16
188.78/124.56	c restarts          :           11
188.78/124.56	c conflicts         :        13179
188.78/124.56	c decisions         :        51298           (      414 / sec      )
188.78/124.56	c propagations      :      6089471           (    49161 / sec      )
188.78/124.56	c inspects          :     38566494           (   311353 / sec      )
188.78/124.56	c conflict literals :       731863           (    44.18 % deleted  )
188.78/124.56	c cpu time          :       123.87           
188.78/124.56	s UNSATISFIABLE

Verifier Data 

sh: BIN/SAT-verifier: No such file or directory

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1781352-1244864080/watcher-1781352-1244864080 -o /tmp/evaluation-result-1781352-1244864080/solver-1781352-1244864080 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781352-1244864080.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.03 2.22 2.77 2/184 13645
/proc/meminfo: memFree=19123784/36427776 swapFree=2988/7708
[pid=13645] ppid=13643 vsize=6860 CPUtime=0
/proc/13645/stat : 13645 (satake) D 13643 13645 27791 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 15 0 645714399 7024640 383 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13645/statm: 1715 383 63 164 0 1550 0
[pid=13645/tid=13646] ppid=13643 vsize=7520 CPUtime=0
/proc/13645/task/13646/stat : 13646 (satake) S 13643 13645 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 16 0 645714400 7700480 421 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13647] ppid=13643 vsize=7520 CPUtime=0
/proc/13645/task/13647/stat : 13647 (satake) R 13643 13645 27791 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 16 0 645714400 7700480 424 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13648] ppid=13643 vsize=7520 CPUtime=0
/proc/13645/task/13648/stat : 13648 (satake) R 13643 13645 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 16 0 645714400 7700480 425 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13649] ppid=13643 vsize=7520 CPUtime=0
/proc/13645/task/13649/stat : 13649 (satake) R 13643 13645 27791 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 16 0 645714400 7700480 426 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13650] ppid=13643 vsize=7520 CPUtime=0
/proc/13645/task/13650/stat : 13650 (satake) S 13643 13645 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 645714400 7700480 427 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13651] ppid=13643 vsize=7520 CPUtime=0
/proc/13645/task/13651/stat : 13651 (satake) D 13643 13645 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 16 0 645714400 7700480 432 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13652] ppid=13643 vsize=7524 CPUtime=0
/proc/13645/task/13652/stat : 13652 (satake) R 13643 13645 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 16 0 645714400 7704576 433 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13653] ppid=13643 vsize=7524 CPUtime=0
/proc/13645/task/13653/stat : 13653 (satake) D 13643 13645 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 16 0 645714400 7704576 433 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13654] ppid=13643 vsize=7524 CPUtime=0
/proc/13645/task/13654/stat : 13654 (satake) D 13643 13645 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 16 0 645714400 7704576 434 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13645/tid=13655] ppid=13643 vsize=7524 CPUtime=0
/proc/13645/task/13655/stat : 13655 (satake) R 13643 13645 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 16 0 645714400 7704576 440 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13656] ppid=13643 vsize=7524 CPUtime=0
/proc/13645/task/13656/stat : 13656 (satake) R 13643 13645 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 16 0 645714400 7704576 440 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13657] ppid=13643 vsize=7524 CPUtime=0
/proc/13645/task/13657/stat : 13657 (satake) R 13643 13645 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 645714400 7704576 441 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13645/tid=13658] ppid=13643 vsize=7524 CPUtime=0
/proc/13645/task/13658/stat : 13658 (satake) R 13643 13645 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 645714400 7704576 441 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13659] ppid=13643 vsize=7524 CPUtime=0
/proc/13645/task/13659/stat : 13659 (satake) R 13643 13645 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 645714400 7704576 441 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13645/tid=13660] ppid=13643 vsize=7524 CPUtime=0
/proc/13645/task/13660/stat : 13660 (satake) R 13643 13645 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 645714401 7704576 442 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13645/tid=13661] ppid=13643 vsize=7524 CPUtime=0
/proc/13645/task/13661/stat : 13661 (satake) R 13643 13645 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 645714401 7704576 444 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0

[startup+0.094995 s]
/proc/loadavg: 2.03 2.22 2.77 2/184 13645
/proc/meminfo: memFree=19123784/36427776 swapFree=2988/7708
[pid=13645] ppid=13643 vsize=44708 CPUtime=0.48
/proc/13645/stat : 13645 (satake) S 13643 13645 27791 0 -1 4202496 8585 0 0 0 0 48 0 0 20 0 17 0 645714399 45780992 8543 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13645/statm: 11177 8544 63 164 0 11012 0
[pid=13645/tid=13646] ppid=13643 vsize=44708 CPUtime=0
/proc/13645/task/13646/stat : 13646 (satake) S 13643 13645 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645714400 45780992 8544 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13647] ppid=13643 vsize=44708 CPUtime=0.02
/proc/13645/task/13647/stat : 13647 (satake) R 13643 13645 27791 0 -1 4202560 468 0 0 0 0 2 0 0 20 0 17 0 645714400 45780992 8544 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13648] ppid=13643 vsize=43408 CPUtime=0.02
/proc/13645/task/13648/stat : 13648 (satake) D 13643 13645 27791 0 -1 4202560 514 0 0 0 0 2 0 0 20 0 17 0 645714400 44449792 8544 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13649] ppid=13643 vsize=43408 CPUtime=0.04
/proc/13645/task/13649/stat : 13649 (satake) R 13643 13645 27791 0 -1 4202560 717 0 0 0 0 4 0 0 20 0 17 0 645714400 44449792 8544 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13650] ppid=13643 vsize=43408 CPUtime=0
/proc/13645/task/13650/stat : 13650 (satake) D 13643 13645 27791 0 -1 4202560 311 0 0 0 0 0 0 0 20 0 17 0 645714400 44449792 8545 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13651] ppid=13643 vsize=43408 CPUtime=0.04
/proc/13645/task/13651/stat : 13651 (satake) R 13643 13645 27791 0 -1 4202560 805 0 0 0 0 4 0 0 20 0 17 0 645714400 44449792 8546 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13652] ppid=13643 vsize=43408 CPUtime=0
/proc/13645/task/13652/stat : 13652 (satake) D 13643 13645 27791 0 -1 4202560 179 0 0 0 0 0 0 0 20 0 17 0 645714400 44449792 8546 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13653] ppid=13643 vsize=43408 CPUtime=0.04
/proc/13645/task/13653/stat : 13653 (satake) S 13643 13645 27791 0 -1 4202560 723 0 0 0 0 4 0 0 20 0 17 0 645714400 44449792 8550 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13654] ppid=13643 vsize=43408 CPUtime=0.04
/proc/13645/task/13654/stat : 13654 (satake) R 13643 13645 27791 0 -1 4202560 719 0 0 0 0 4 0 0 20 0 17 0 645714400 44449792 8551 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13645/tid=13655] ppid=13643 vsize=43408 CPUtime=0.04
/proc/13645/task/13655/stat : 13655 (satake) R 13643 13645 27791 0 -1 4202560 714 0 0 0 0 4 0 0 20 0 17 0 645714400 44449792 8552 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13656] ppid=13643 vsize=43408 CPUtime=0
/proc/13645/task/13656/stat : 13656 (satake) R 13643 13645 27791 0 -1 4202560 242 0 0 0 0 0 0 0 20 0 17 0 645714400 44449792 8554 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13657] ppid=13643 vsize=43408 CPUtime=0.06
/proc/13645/task/13657/stat : 13657 (satake) R 13643 13645 27791 0 -1 4202560 753 0 0 0 0 6 0 0 20 0 17 0 645714400 44449792 8562 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13645/tid=13658] ppid=13643 vsize=43408 CPUtime=0
/proc/13645/task/13658/stat : 13658 (satake) R 13643 13645 27791 0 -1 4202560 162 0 0 0 0 0 0 0 20 0 17 0 645714400 44449792 8569 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13659] ppid=13643 vsize=42108 CPUtime=0.04
/proc/13645/task/13659/stat : 13659 (satake) R 13643 13645 27791 0 -1 4202560 710 0 0 0 0 4 0 0 20 0 17 0 645714400 43118592 8571 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13645/tid=13660] ppid=13643 vsize=42108 CPUtime=0.04
/proc/13645/task/13660/stat : 13660 (satake) R 13643 13645 27791 0 -1 4202560 723 0 0 0 0 4 0 0 20 0 17 0 645714401 43118592 8573 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13645/tid=13661] ppid=13643 vsize=42108 CPUtime=0.04
/proc/13645/task/13661/stat : 13661 (satake) R 13643 13645 27791 0 -1 4202560 722 0 0 0 0 4 0 0 20 0 17 0 645714401 43118592 8575 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 44708

[startup+0.102864 s]
/proc/loadavg: 2.03 2.22 2.77 2/184 13645
/proc/meminfo: memFree=19123784/36427776 swapFree=2988/7708
[pid=13645] ppid=13643 vsize=46336 CPUtime=0.53
/proc/13645/stat : 13645 (satake) S 13643 13645 27791 0 -1 4202496 8975 0 0 0 0 53 0 0 20 0 17 0 645714399 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13645/statm: 11584 8932 63 164 0 11419 0
[pid=13645/tid=13646] ppid=13643 vsize=46336 CPUtime=0
/proc/13645/task/13646/stat : 13646 (satake) S 13643 13645 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645714400 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13647] ppid=13643 vsize=46336 CPUtime=0.02
/proc/13645/task/13647/stat : 13647 (satake) R 13643 13645 27791 0 -1 4202560 535 0 0 0 0 2 0 0 20 0 17 0 645714400 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13648] ppid=13643 vsize=46336 CPUtime=0.02
/proc/13645/task/13648/stat : 13648 (satake) D 13643 13645 27791 0 -1 4202560 550 0 0 0 0 2 0 0 20 0 17 0 645714400 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13649] ppid=13643 vsize=46336 CPUtime=0.04
/proc/13645/task/13649/stat : 13649 (satake) D 13643 13645 27791 0 -1 4202560 724 0 0 0 0 4 0 0 20 0 17 0 645714400 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13650] ppid=13643 vsize=46336 CPUtime=0
/proc/13645/task/13650/stat : 13650 (satake) D 13643 13645 27791 0 -1 4202560 375 0 0 0 0 0 0 0 20 0 17 0 645714400 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13651] ppid=13643 vsize=46336 CPUtime=0.06
/proc/13645/task/13651/stat : 13651 (satake) D 13643 13645 27791 0 -1 4202560 818 0 0 0 0 6 0 0 20 0 17 0 645714400 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13652] ppid=13643 vsize=46336 CPUtime=0
/proc/13645/task/13652/stat : 13652 (satake) D 13643 13645 27791 0 -1 4202560 220 0 0 0 0 0 0 0 20 0 17 0 645714400 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13653] ppid=13643 vsize=46336 CPUtime=0.04
/proc/13645/task/13653/stat : 13653 (satake) S 13643 13645 27791 0 -1 4202560 727 0 0 0 0 4 0 0 20 0 17 0 645714400 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13654] ppid=13643 vsize=46336 CPUtime=0.04
/proc/13645/task/13654/stat : 13654 (satake) D 13643 13645 27791 0 -1 4202560 723 0 0 0 0 4 0 0 20 0 17 0 645714400 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13645/tid=13655] ppid=13643 vsize=46336 CPUtime=0.04
/proc/13645/task/13655/stat : 13655 (satake) D 13643 13645 27791 0 -1 4202560 722 0 0 0 0 4 0 0 20 0 17 0 645714400 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13656] ppid=13643 vsize=50436 CPUtime=0
/proc/13645/task/13656/stat : 13656 (satake) D 13643 13645 27791 0 -1 4202560 291 0 0 0 0 0 0 0 20 0 17 0 645714400 51646464 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13657] ppid=13643 vsize=48384 CPUtime=0.06
/proc/13645/task/13657/stat : 13657 (satake) D 13643 13645 27791 0 -1 4202560 757 0 0 0 0 6 0 0 20 0 17 0 645714400 49545216 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13645/tid=13658] ppid=13643 vsize=48384 CPUtime=0
/proc/13645/task/13658/stat : 13658 (satake) D 13643 13645 27791 0 -1 4202560 224 0 0 0 0 0 0 0 20 0 17 0 645714400 49545216 8938 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13659] ppid=13643 vsize=48384 CPUtime=0.04
/proc/13645/task/13659/stat : 13659 (satake) D 13643 13645 27791 0 -1 4202560 720 0 0 0 0 4 0 0 20 0 17 0 645714400 49545216 8938 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13645/tid=13660] ppid=13643 vsize=48384 CPUtime=0.06
/proc/13645/task/13660/stat : 13660 (satake) S 13643 13645 27791 0 -1 4202560 729 0 0 0 0 6 0 0 20 0 17 0 645714401 49545216 8938 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=13645/tid=13661] ppid=13643 vsize=48384 CPUtime=0.04
/proc/13645/task/13661/stat : 13661 (satake) D 13643 13645 27791 0 -1 4202560 731 0 0 0 0 4 0 0 20 0 17 0 645714401 49545216 8939 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 46336

[startup+0.302873 s]
/proc/loadavg: 2.03 2.22 2.77 2/184 13645
/proc/meminfo: memFree=19123784/36427776 swapFree=2988/7708
[pid=13645] ppid=13643 vsize=72052 CPUtime=1.36
/proc/13645/stat : 13645 (satake) S 13643 13645 27791 0 -1 4202496 15606 0 0 0 26 110 0 0 20 0 17 0 645714399 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13645/statm: 18013 15563 63 164 0 17848 0
[pid=13645/tid=13646] ppid=13643 vsize=72052 CPUtime=0
/proc/13645/task/13646/stat : 13646 (satake) S 13643 13645 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13647] ppid=13643 vsize=72052 CPUtime=0.08
/proc/13645/task/13647/stat : 13647 (satake) S 13643 13645 27791 0 -1 4202560 1013 0 0 0 2 6 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13648] ppid=13643 vsize=72052 CPUtime=0.08
/proc/13645/task/13648/stat : 13648 (satake) S 13643 13645 27791 0 -1 4202560 978 0 0 0 4 4 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=13645/tid=13649] ppid=13643 vsize=72052 CPUtime=0.08
/proc/13645/task/13649/stat : 13649 (satake) S 13643 13645 27791 0 -1 4202560 1008 0 0 0 0 8 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13650] ppid=13643 vsize=72052 CPUtime=0.06
/proc/13645/task/13650/stat : 13650 (satake) S 13643 13645 27791 0 -1 4202560 1035 0 0 0 2 4 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13651] ppid=13643 vsize=72052 CPUtime=0.1
/proc/13645/task/13651/stat : 13651 (satake) S 13643 13645 27791 0 -1 4202560 1199 0 0 0 4 6 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13652] ppid=13643 vsize=72052 CPUtime=0.08
/proc/13645/task/13652/stat : 13652 (satake) R 13643 13645 27791 0 -1 4202560 1393 0 0 0 2 6 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13653] ppid=13643 vsize=72052 CPUtime=0.08
/proc/13645/task/13653/stat : 13653 (satake) S 13643 13645 27791 0 -1 4202560 975 0 0 0 2 6 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13654] ppid=13643 vsize=72052 CPUtime=0.1
/proc/13645/task/13654/stat : 13654 (satake) S 13643 13645 27791 0 -1 4202560 1035 0 0 0 0 10 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=13645/tid=13655] ppid=13643 vsize=72052 CPUtime=0.08
/proc/13645/task/13655/stat : 13655 (satake) S 13643 13645 27791 0 -1 4202560 950 0 0 0 0 8 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13656] ppid=13643 vsize=72052 CPUtime=0.06
/proc/13645/task/13656/stat : 13656 (satake) S 13643 13645 27791 0 -1 4202560 901 0 0 0 0 6 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13657] ppid=13643 vsize=72052 CPUtime=0.12
/proc/13645/task/13657/stat : 13657 (satake) S 13643 13645 27791 0 -1 4202560 1058 0 0 0 2 10 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=13645/tid=13658] ppid=13643 vsize=72052 CPUtime=0.06
/proc/13645/task/13658/stat : 13658 (satake) R 13643 13645 27791 0 -1 4202560 940 0 0 0 0 6 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13659] ppid=13643 vsize=72052 CPUtime=0.1
/proc/13645/task/13659/stat : 13659 (satake) S 13643 13645 27791 0 -1 4202560 1000 0 0 0 0 10 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=13645/tid=13660] ppid=13643 vsize=72052 CPUtime=0.1
/proc/13645/task/13660/stat : 13660 (satake) S 13643 13645 27791 0 -1 4202560 954 0 0 0 2 8 0 0 20 0 17 0 645714401 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=13645/tid=13661] ppid=13643 vsize=72052 CPUtime=0.1
/proc/13645/task/13661/stat : 13661 (satake) S 13643 13645 27791 0 -1 4202560 1037 0 0 0 2 8 0 0 20 0 17 0 645714401 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 72052

[startup+0.703781 s]
/proc/loadavg: 2.03 2.22 2.77 2/184 13645
/proc/meminfo: memFree=19123784/36427776 swapFree=2988/7708
[pid=13645] ppid=13643 vsize=111944 CPUtime=3.25
/proc/13645/stat : 13645 (satake) S 13643 13645 27791 0 -1 4202496 25204 0 0 0 138 187 0 0 20 0 17 0 645714399 114630656 25161 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13645/statm: 27986 25166 63 164 0 27821 0
[pid=13645/tid=13646] ppid=13643 vsize=111944 CPUtime=0
/proc/13645/task/13646/stat : 13646 (satake) S 13643 13645 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645714400 114630656 25166 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13647] ppid=13643 vsize=111944 CPUtime=0.18
/proc/13645/task/13647/stat : 13647 (satake) S 13643 13645 27791 0 -1 4202560 1545 0 0 0 10 8 0 0 20 0 17 0 645714400 114630656 25166 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13648] ppid=13643 vsize=111944 CPUtime=0.18
/proc/13645/task/13648/stat : 13648 (satake) R 13643 13645 27791 0 -1 4202560 1503 0 0 0 8 10 0 0 20 0 17 0 645714400 114630656 25168 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13645/tid=13649] ppid=13643 vsize=111944 CPUtime=0.2
/proc/13645/task/13649/stat : 13649 (satake) R 13643 13645 27791 0 -1 4202560 1550 0 0 0 6 14 0 0 20 0 17 0 645714400 114630656 25168 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13650] ppid=13643 vsize=111944 CPUtime=0.2
/proc/13645/task/13650/stat : 13650 (satake) D 13643 13645 27791 0 -1 4202560 1783 0 0 0 10 10 0 0 20 0 17 0 645714400 114630656 25169 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13651] ppid=13643 vsize=111944 CPUtime=0.22
/proc/13645/task/13651/stat : 13651 (satake) R 13643 13645 27791 0 -1 4202560 1882 0 0 0 12 10 0 0 20 0 17 0 645714400 114630656 25172 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13652] ppid=13643 vsize=111944 CPUtime=0.24
/proc/13645/task/13652/stat : 13652 (satake) R 13643 13645 27791 0 -1 4202560 2289 0 0 0 10 14 0 0 20 0 17 0 645714400 114630656 25172 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13653] ppid=13643 vsize=111944 CPUtime=0.2
/proc/13645/task/13653/stat : 13653 (satake) R 13643 13645 27791 0 -1 4202560 1536 0 0 0 10 10 0 0 20 0 17 0 645714400 114630656 25174 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13654] ppid=13643 vsize=111944 CPUtime=0.22
/proc/13645/task/13654/stat : 13654 (satake) R 13643 13645 27791 0 -1 4202560 1705 0 0 0 6 16 0 0 20 0 17 0 645714400 114630656 25175 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13645/tid=13655] ppid=13643 vsize=111944 CPUtime=0.2

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

/proc/13645/task/13648/stat : 13648 (satake) S 13643 13645 27791 0 -1 4202560 3823 0 0 0 556 260 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=13645/tid=13649] ppid=13643 vsize=190496 CPUtime=7.52
/proc/13645/task/13649/stat : 13649 (satake) S 13643 13645 27791 0 -1 4202560 3598 0 0 0 490 262 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13650] ppid=13643 vsize=190496 CPUtime=6.92
/proc/13645/task/13650/stat : 13650 (satake) S 13643 13645 27791 0 -1 4202560 3571 0 0 0 498 194 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13651] ppid=13643 vsize=190496 CPUtime=6.96
/proc/13645/task/13651/stat : 13651 (satake) S 13643 13645 27791 0 -1 4202560 3645 0 0 0 494 202 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13652] ppid=13643 vsize=190496 CPUtime=7.9
/proc/13645/task/13652/stat : 13652 (satake) S 13643 13645 27791 0 -1 4202560 3439 0 0 0 538 252 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13653] ppid=13643 vsize=190496 CPUtime=8.06
/proc/13645/task/13653/stat : 13653 (satake) S 13643 13645 27791 0 -1 4202560 3583 0 0 0 556 250 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=13645/tid=13654] ppid=13643 vsize=190496 CPUtime=7.8
/proc/13645/task/13654/stat : 13654 (satake) S 13643 13645 27791 0 -1 4202560 3586 0 0 0 522 258 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=13645/tid=13655] ppid=13643 vsize=190496 CPUtime=8.6
/proc/13645/task/13655/stat : 13655 (satake) S 13643 13645 27791 0 -1 4202560 3577 0 0 0 554 306 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13656] ppid=13643 vsize=190496 CPUtime=8.92
/proc/13645/task/13656/stat : 13656 (satake) S 13643 13645 27791 0 -1 4202560 3896 0 0 0 614 278 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13657] ppid=13643 vsize=190496 CPUtime=9.18
/proc/13645/task/13657/stat : 13657 (satake) S 13643 13645 27791 0 -1 4202560 3554 0 0 0 626 292 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=13645/tid=13658] ppid=13643 vsize=190496 CPUtime=8.78
/proc/13645/task/13658/stat : 13658 (satake) S 13643 13645 27791 0 -1 4202560 3875 0 0 0 578 300 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=13645/tid=13659] ppid=13643 vsize=190496 CPUtime=9.06
/proc/13645/task/13659/stat : 13659 (satake) S 13643 13645 27791 0 -1 4202560 3469 0 0 0 600 306 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=13645/tid=13660] ppid=13643 vsize=190496 CPUtime=8.96
/proc/13645/task/13660/stat : 13660 (satake) S 13643 13645 27791 0 -1 4202560 3588 0 0 0 566 330 0 0 20 0 17 0 645714401 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13661] ppid=13643 vsize=190496 CPUtime=8.6
/proc/13645/task/13661/stat : 13661 (satake) R 13643 13645 27791 0 -1 4202560 3475 0 0 0 578 282 0 0 20 0 17 0 645714401 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 181.6
Current children cumulated vsize (KiB) 190496

[startup+123.105 s]
/proc/loadavg: 2.11 2.19 2.69 2/201 13667
/proc/meminfo: memFree=18945912/36427776 swapFree=4588/189280
[pid=13645] ppid=13643 vsize=190496 CPUtime=183.71
/proc/13645/stat : 13645 (satake) S 13643 13645 27791 0 -1 4202496 55444 0 0 0 9071 9300 0 0 20 0 17 0 645714399 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13645/statm: 47624 44901 68 164 0 47459 0
[pid=13645/tid=13646] ppid=13643 vsize=190496 CPUtime=60.31
/proc/13645/task/13646/stat : 13646 (satake) R 13643 13645 27791 0 -1 4202560 1099 0 0 0 738 5293 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13647] ppid=13643 vsize=190496 CPUtime=6.58
/proc/13645/task/13647/stat : 13647 (satake) S 13643 13645 27791 0 -1 4202560 3530 0 0 0 490 168 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=13645/tid=13648] ppid=13643 vsize=190496 CPUtime=8.24
/proc/13645/task/13648/stat : 13648 (satake) S 13643 13645 27791 0 -1 4202560 3823 0 0 0 560 264 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=13645/tid=13649] ppid=13643 vsize=190496 CPUtime=7.58
/proc/13645/task/13649/stat : 13649 (satake) S 13643 13645 27791 0 -1 4202560 3598 0 0 0 492 266 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13650] ppid=13643 vsize=190496 CPUtime=6.98
/proc/13645/task/13650/stat : 13650 (satake) S 13643 13645 27791 0 -1 4202560 3578 0 0 0 500 198 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13651] ppid=13643 vsize=190496 CPUtime=7
/proc/13645/task/13651/stat : 13651 (satake) S 13643 13645 27791 0 -1 4202560 3646 0 0 0 498 202 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13652] ppid=13643 vsize=190496 CPUtime=7.98
/proc/13645/task/13652/stat : 13652 (satake) S 13643 13645 27791 0 -1 4202560 3440 0 0 0 542 256 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13653] ppid=13643 vsize=190496 CPUtime=8.14
/proc/13645/task/13653/stat : 13653 (satake) S 13643 13645 27791 0 -1 4202560 3583 0 0 0 558 256 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=13645/tid=13654] ppid=13643 vsize=190496 CPUtime=7.88
/proc/13645/task/13654/stat : 13654 (satake) S 13643 13645 27791 0 -1 4202560 3586 0 0 0 522 266 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=13645/tid=13655] ppid=13643 vsize=190496 CPUtime=8.72
/proc/13645/task/13655/stat : 13655 (satake) S 13643 13645 27791 0 -1 4202560 3578 0 0 0 558 314 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13656] ppid=13643 vsize=190496 CPUtime=8.92
/proc/13645/task/13656/stat : 13656 (satake) S 13643 13645 27791 0 -1 4202560 3896 0 0 0 614 278 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13657] ppid=13643 vsize=190496 CPUtime=9.26
/proc/13645/task/13657/stat : 13657 (satake) D 13643 13645 27791 0 -1 4202560 3554 0 0 0 628 298 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13645/tid=13658] ppid=13643 vsize=190496 CPUtime=8.88
/proc/13645/task/13658/stat : 13658 (satake) S 13643 13645 27791 0 -1 4202560 3876 0 0 0 584 304 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=13645/tid=13659] ppid=13643 vsize=190496 CPUtime=9.16
/proc/13645/task/13659/stat : 13659 (satake) S 13643 13645 27791 0 -1 4202560 3469 0 0 0 604 312 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=13645/tid=13660] ppid=13643 vsize=190496 CPUtime=9.26
/proc/13645/task/13660/stat : 13660 (satake) S 13643 13645 27791 0 -1 4202560 3590 0 0 0 590 336 0 0 20 0 17 0 645714401 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13661] ppid=13643 vsize=190496 CPUtime=8.66
/proc/13645/task/13661/stat : 13661 (satake) S 13643 13645 27791 0 -1 4202560 3475 0 0 0 584 282 0 0 20 0 17 0 645714401 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 183.71
Current children cumulated vsize (KiB) 190496

[startup+123.907 s]
/proc/loadavg: 2.11 2.19 2.69 2/201 13667
/proc/meminfo: memFree=18945912/36427776 swapFree=4588/189280
[pid=13645] ppid=13643 vsize=190496 CPUtime=184.72
/proc/13645/stat : 13645 (satake) S 13643 13645 27791 0 -1 4202496 55456 0 0 0 9102 9370 0 0 20 0 17 0 645714399 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13645/statm: 47624 44913 77 164 0 47459 0
[pid=13645/tid=13646] ppid=13643 vsize=190496 CPUtime=60.64
/proc/13645/task/13646/stat : 13646 (satake) R 13643 13645 27791 0 -1 4202560 1100 0 0 0 744 5320 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134672154 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13647] ppid=13643 vsize=190496 CPUtime=6.62
/proc/13645/task/13647/stat : 13647 (satake) R 13643 13645 27791 0 -1 4202560 3530 0 0 0 490 172 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13645/tid=13648] ppid=13643 vsize=190496 CPUtime=8.28
/proc/13645/task/13648/stat : 13648 (satake) R 13643 13645 27791 0 -1 4202560 3823 0 0 0 562 266 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13645/tid=13649] ppid=13643 vsize=190496 CPUtime=7.6
/proc/13645/task/13649/stat : 13649 (satake) R 13643 13645 27791 0 -1 4202560 3598 0 0 0 492 268 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13650] ppid=13643 vsize=190496 CPUtime=7
/proc/13645/task/13650/stat : 13650 (satake) R 13643 13645 27791 0 -1 4202560 3578 0 0 0 502 198 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13651] ppid=13643 vsize=190496 CPUtime=7.04
/proc/13645/task/13651/stat : 13651 (satake) R 13643 13645 27791 0 -1 4202560 3646 0 0 0 498 206 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13652] ppid=13643 vsize=190496 CPUtime=8
/proc/13645/task/13652/stat : 13652 (satake) R 13643 13645 27791 0 -1 4202560 3449 0 0 0 544 256 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13653] ppid=13643 vsize=190496 CPUtime=8.14
/proc/13645/task/13653/stat : 13653 (satake) R 13643 13645 27791 0 -1 4202560 3583 0 0 0 558 256 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13654] ppid=13643 vsize=190496 CPUtime=7.9
/proc/13645/task/13654/stat : 13654 (satake) R 13643 13645 27791 0 -1 4202560 3586 0 0 0 522 268 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13645/tid=13655] ppid=13643 vsize=190496 CPUtime=8.82
/proc/13645/task/13655/stat : 13655 (satake) R 13643 13645 27791 0 -1 4202560 3579 0 0 0 562 320 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13656] ppid=13643 vsize=190496 CPUtime=9.02
/proc/13645/task/13656/stat : 13656 (satake) R 13643 13645 27791 0 -1 4202560 3896 0 0 0 618 284 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13657] ppid=13643 vsize=190496 CPUtime=9.32
/proc/13645/task/13657/stat : 13657 (satake) R 13643 13645 27791 0 -1 4202560 3554 0 0 0 632 300 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13645/tid=13658] ppid=13643 vsize=190496 CPUtime=8.98
/proc/13645/task/13658/stat : 13658 (satake) R 13643 13645 27791 0 -1 4202560 3876 0 0 0 588 310 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13645/tid=13659] ppid=13643 vsize=190496 CPUtime=9.2
/proc/13645/task/13659/stat : 13659 (satake) R 13643 13645 27791 0 -1 4202560 3469 0 0 0 604 316 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13645/tid=13660] ppid=13643 vsize=190496 CPUtime=9.28
/proc/13645/task/13660/stat : 13660 (satake) R 13643 13645 27791 0 -1 4202560 3590 0 0 0 592 336 0 0 20 0 17 0 645714401 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13661] ppid=13643 vsize=190496 CPUtime=8.8
/proc/13645/task/13661/stat : 13661 (satake) R 13643 13645 27791 0 -1 4202560 3476 0 0 0 588 292 0 0 20 0 17 0 645714401 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 184.72
Current children cumulated vsize (KiB) 190496

[startup+124.316 s]
/proc/loadavg: 2.10 2.19 2.69 15/200 13667
/proc/meminfo: memFree=18946924/36427776 swapFree=4588/184588
[pid=13645] ppid=13643 vsize=181320 CPUtime=187.89
/proc/13645/stat : 13645 (satake) S 13643 13645 27791 0 -1 4202496 55456 0 0 0 9187 9602 0 0 20 0 16 0 645714399 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13645/statm: 45330 42813 77 164 0 45165 0
[pid=13645/tid=13646] ppid=13643 vsize=181320 CPUtime=60.81
/proc/13645/task/13646/stat : 13646 (satake) R 13643 13645 27791 0 -1 4202560 1100 0 0 0 752 5329 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13647] ppid=13643 vsize=181320 CPUtime=6.76
/proc/13645/task/13647/stat : 13647 (satake) R 13643 13645 27791 0 -1 4202560 3530 0 0 0 496 180 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13645/tid=13648] ppid=13643 vsize=181320 CPUtime=8.52
/proc/13645/task/13648/stat : 13648 (satake) R 13643 13645 27791 0 -1 4202560 3823 0 0 0 566 286 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13645/tid=13649] ppid=13643 vsize=181320 CPUtime=7.72
/proc/13645/task/13649/stat : 13649 (satake) S 13643 13645 27791 0 -1 4202560 3598 0 0 0 498 274 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13650] ppid=13643 vsize=181320 CPUtime=7.18
/proc/13645/task/13650/stat : 13650 (satake) R 13643 13645 27791 0 -1 4202560 3578 0 0 0 506 212 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13651] ppid=13643 vsize=181320 CPUtime=7.2
/proc/13645/task/13651/stat : 13651 (satake) S 13643 13645 27791 0 -1 4202560 3646 0 0 0 504 216 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13652] ppid=13643 vsize=181320 CPUtime=8.26
/proc/13645/task/13652/stat : 13652 (satake) R 13643 13645 27791 0 -1 4202560 3449 0 0 0 550 276 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13653] ppid=13643 vsize=181320 CPUtime=8.32
/proc/13645/task/13653/stat : 13653 (satake) R 13643 13645 27791 0 -1 4202560 3583 0 0 0 564 268 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13654] ppid=13643 vsize=181320 CPUtime=8.14
/proc/13645/task/13654/stat : 13654 (satake) R 13643 13645 27791 0 -1 4202560 3586 0 0 0 526 288 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13645/tid=13655] ppid=13643 vsize=181320 CPUtime=9.06
/proc/13645/task/13655/stat : 13655 (satake) R 13643 13645 27791 0 -1 4202560 3579 0 0 0 568 338 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13656] ppid=13643 vsize=181320 CPUtime=9.16
/proc/13645/task/13656/stat : 13656 (satake) R 13643 13645 27791 0 -1 4202560 3896 0 0 0 622 294 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13657] ppid=13643 vsize=181320 CPUtime=9.58
/proc/13645/task/13657/stat : 13657 (satake) R 13643 13645 27791 0 -1 4202560 3554 0 0 0 640 318 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13645/tid=13658] ppid=13643 vsize=181320 CPUtime=9.16
/proc/13645/task/13658/stat : 13658 (satake) R 13643 13645 27791 0 -1 4202560 3876 0 0 0 592 324 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13645/tid=13659] ppid=13643 vsize=181320 CPUtime=9.38
/proc/13645/task/13659/stat : 13659 (satake) R 13643 13645 27791 0 -1 4202560 3469 0 0 0 606 332 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13645/tid=13661] ppid=13643 vsize=181320 CPUtime=9.04
/proc/13645/task/13661/stat : 13661 (satake) R 13643 13645 27791 0 -1 4202560 3476 0 0 0 594 310 0 0 20 0 16 0 645714401 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 187.89
Current children cumulated vsize (KiB) 181320

[startup+124.501 s]
/proc/loadavg: 2.10 2.19 2.69 15/200 13667
/proc/meminfo: memFree=18946924/36427776 swapFree=4588/184588
[pid=13645] ppid=13643 vsize=170636 CPUtime=188.78
/proc/13645/stat : 13645 (satake) S 13643 13645 27791 0 -1 4202496 55456 0 0 0 9221 9657 0 0 20 0 6 0 645714399 174731264 40243 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13645/statm: 42659 40243 77 164 0 42494 0
[pid=13645/tid=13649] ppid=13643 vsize=170636 CPUtime=7.8
/proc/13645/task/13649/stat : 13649 (satake) S 13643 13645 27791 0 -1 4202560 3598 0 0 0 500 280 0 0 20 0 6 0 645714400 174731264 40243 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13655] ppid=13643 vsize=170636 CPUtime=9.16
/proc/13645/task/13655/stat : 13655 (satake) R 13643 13645 27791 0 -1 4202560 3579 0 0 0 574 342 0 0 20 0 6 0 645714400 174731264 40243 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13656] ppid=13643 vsize=170636 CPUtime=9.22
/proc/13645/task/13656/stat : 13656 (satake) R 13643 13645 27791 0 -1 4202560 3896 0 0 0 626 296 0 0 20 0 6 0 645714400 174731264 40243 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13658] ppid=13643 vsize=170636 CPUtime=9.22
/proc/13645/task/13658/stat : 13658 (satake) R 13643 13645 27791 0 -1 4202560 3876 0 0 0 592 330 0 0 20 0 6 0 645714400 174731264 40243 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13645/tid=13659] ppid=13643 vsize=170636 CPUtime=9.42
/proc/13645/task/13659/stat : 13659 (satake) R 13643 13645 27791 0 -1 4202560 3469 0 0 0 608 334 0 0 20 0 6 0 645714400 174731264 40243 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 188.78
Current children cumulated vsize (KiB) 170636

Child status: 16
Real time (s): 124.575
CPU time (s): 188.916
CPU user time (s): 92.2458
CPU system time (s): 96.67
CPU usage (%): 151.648
Max. virtual memory (cumulated for all children) (KiB): 190496


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.2458
system time used= 96.67
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55457
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= 7440452
involuntary context switches= 597058

runsolver used 0.536033 second user time and 1.44409 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 05:34:40
IDJOB=1781352
IDBENCH=71731
IDSOLVER=631
FILE ID=xenhost3-49/1781352-1244864080
PBS_JOBID=
Free space on /tmp= 7024 MiB

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

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

MD5SUM BENCH= 67de5cf23f11aa400b48f4451ee5f362
RANDOM SEED= 301038061

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:      19123784 kB
Buffers:        435904 kB
Cached:       14115988 kB
SwapCached:          0 kB
Active:        4080660 kB
Inactive:     10478948 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3344 kB
Writeback:           0 kB
AnonPages:        7708 kB
Mapped:           2988 kB
Slab:           689660 kB
SReclaimable:   662776 kB
SUnreclaim:      26884 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7024 MiB
End job on xenhost3-49 at 2009-06-13 05:36:45