Trace number 1781217

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 1222.84 434.09

General information on the benchmark

Namemanol-pipe-c10nidw_s.cnf
MD5SUM7989bb134c6f50cb418407e85e733980
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark66.36
Satisfiable
(Un)Satisfiability was proved
Number of variables404382
Number of clauses1204273
Sum of the clauses size2809969
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2802848
Number of clauses of size 3401424
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

1222.62/433.95	c Benchmark name    : HOME/instance-1781217-1244859000.cnf
1222.62/433.95	c Thread Num        :           16
1222.62/433.95	c restarts          :           13
1222.62/433.95	c conflicts         :        26498
1222.62/433.95	c decisions         :       284119           (      660 / sec      )
1222.62/433.95	c propagations      :     95038522           (   220681 / sec      )
1222.62/433.95	c inspects          :    219053635           (   508646 / sec      )
1222.62/433.95	c conflict literals :       914563           (    25.23 % deleted  )
1222.62/433.95	c cpu time          :       430.66           
1222.62/433.95	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-1781217-1244859000/watcher-1781217-1244859000 -o /tmp/evaluation-result-1781217-1244859000/solver-1781217-1244859000 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781217-1244859000.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.93 13.62 12.78 2/184 13064
/proc/meminfo: memFree=19104232/36427776 swapFree=3892/7460
[pid=13064] ppid=13062 vsize=8004 CPUtime=0
/proc/13064/stat : 13064 (satake) R 13062 13064 27791 0 -1 4202496 410 0 0 0 0 0 0 0 20 0 16 0 645206421 8196096 364 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134705812 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13064/statm: 2001 364 63 164 0 1836 0
[pid=13064/tid=13065] ppid=13062 vsize=8200 CPUtime=0
/proc/13064/task/13065/stat : 13065 (satake) S 13062 13064 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 16 0 645206421 8396800 387 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=13064/tid=13066] ppid=13062 vsize=8200 CPUtime=0
/proc/13064/task/13066/stat : 13066 (satake) R 13062 13064 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 16 0 645206421 8396800 389 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13064/tid=13067] ppid=13062 vsize=8200 CPUtime=0
/proc/13064/task/13067/stat : 13067 (satake) R 13062 13064 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 16 0 645206421 8396800 389 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13064/tid=13068] ppid=13062 vsize=8200 CPUtime=0
/proc/13064/task/13068/stat : 13068 (satake) R 13062 13064 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 16 0 645206421 8396800 389 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13064/tid=13069] ppid=13062 vsize=8200 CPUtime=0
/proc/13064/task/13069/stat : 13069 (satake) R 13062 13064 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 16 0 645206421 8396800 389 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13064/tid=13070] ppid=13062 vsize=8200 CPUtime=0
/proc/13064/task/13070/stat : 13070 (satake) S 13062 13064 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 645206421 8396800 389 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=13064/tid=13071] ppid=13062 vsize=8200 CPUtime=0
/proc/13064/task/13071/stat : 13071 (satake) R 13062 13064 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 16 0 645206421 8396800 389 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13064/tid=13072] ppid=13062 vsize=8200 CPUtime=0
/proc/13064/task/13072/stat : 13072 (satake) S 13062 13064 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 645206421 8396800 391 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=13064/tid=13073] ppid=13062 vsize=8200 CPUtime=0
/proc/13064/task/13073/stat : 13073 (satake) R 13062 13064 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 16 0 645206421 8396800 391 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13064/tid=13074] ppid=13062 vsize=8200 CPUtime=0
/proc/13064/task/13074/stat : 13074 (satake) R 13062 13064 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 16 0 645206422 8396800 392 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13064/tid=13075] ppid=13062 vsize=8200 CPUtime=0
/proc/13064/task/13075/stat : 13075 (satake) R 13062 13064 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 645206422 8396800 392 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13064/tid=13076] ppid=13062 vsize=8200 CPUtime=0
/proc/13064/task/13076/stat : 13076 (satake) R 13062 13064 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 16 0 645206422 8396800 392 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13064/tid=13077] ppid=13062 vsize=8200 CPUtime=0
/proc/13064/task/13077/stat : 13077 (satake) R 13062 13064 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 16 0 645206422 8396800 392 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13064/tid=13078] ppid=13062 vsize=8200 CPUtime=0
/proc/13064/task/13078/stat : 13078 (satake) R 13062 13064 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 645206422 8396800 392 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13064/tid=13079] ppid=13062 vsize=8200 CPUtime=0
/proc/13064/task/13079/stat : 13079 (satake) R 13062 13064 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 645206422 8396800 392 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0

[startup+0.111438 s]
/proc/loadavg: 11.93 13.62 12.78 2/184 13064
/proc/meminfo: memFree=19104232/36427776 swapFree=3892/7460
[pid=13064] ppid=13062 vsize=49844 CPUtime=0.92
/proc/13064/stat : 13064 (satake) S 13062 13064 27791 0 -1 4202496 7514 0 0 0 0 92 0 0 20 0 17 0 645206421 51040256 7476 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13064/statm: 12461 7479 63 164 0 12296 0
[pid=13064/tid=13065] ppid=13062 vsize=49844 CPUtime=0
/proc/13064/task/13065/stat : 13065 (satake) S 13062 13064 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 645206421 51040256 7479 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=13064/tid=13066] ppid=13062 vsize=49844 CPUtime=0.08
/proc/13064/task/13066/stat : 13066 (satake) D 13062 13064 27791 0 -1 4202560 551 0 0 0 0 8 0 0 20 0 17 0 645206421 51040256 7479 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13064/tid=13067] ppid=13062 vsize=49844 CPUtime=0.02
/proc/13064/task/13067/stat : 13067 (satake) D 13062 13064 27791 0 -1 4202560 320 0 0 0 0 2 0 0 20 0 17 0 645206421 51040256 7479 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13064/tid=13068] ppid=13062 vsize=49844 CPUtime=0.08
/proc/13064/task/13068/stat : 13068 (satake) D 13062 13064 27791 0 -1 4202560 672 0 0 0 0 8 0 0 20 0 17 0 645206421 51040256 7479 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13064/tid=13069] ppid=13062 vsize=49844 CPUtime=0.08
/proc/13064/task/13069/stat : 13069 (satake) D 13062 13064 27791 0 -1 4202560 672 0 0 0 0 8 0 0 20 0 17 0 645206421 51040256 7479 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13064/tid=13070] ppid=13062 vsize=49844 CPUtime=0.04
/proc/13064/task/13070/stat : 13070 (satake) D 13062 13064 27791 0 -1 4202560 404 0 0 0 0 4 0 0 20 0 17 0 645206421 51040256 7479 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13064/tid=13071] ppid=13062 vsize=49844 CPUtime=0.04
/proc/13064/task/13071/stat : 13071 (satake) D 13062 13064 27791 0 -1 4202560 316 0 0 0 0 4 0 0 20 0 17 0 645206421 51040256 7479 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13064/tid=13072] ppid=13062 vsize=49844 CPUtime=0.04
/proc/13064/task/13072/stat : 13072 (satake) D 13062 13064 27791 0 -1 4202560 415 0 0 0 0 4 0 0 20 0 17 0 645206421 51040256 7479 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13064/tid=13073] ppid=13062 vsize=49844 CPUtime=0.08
/proc/13064/task/13073/stat : 13073 (satake) D 13062 13064 27791 0 -1 4202560 582 0 0 0 0 8 0 0 20 0 17 0 645206421 51040256 7479 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13064/tid=13074] ppid=13062 vsize=51892 CPUtime=0.08
/proc/13064/task/13074/stat : 13074 (satake) R 13062 13064 27791 0 -1 4202560 530 0 0 0 0 8 0 0 20 0 17 0 645206422 53137408 7479 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13064/tid=13075] ppid=13062 vsize=51892 CPUtime=0.08
/proc/13064/task/13075/stat : 13075 (satake) D 13062 13064 27791 0 -1 4202560 490 0 0 0 0 8 0 0 20 0 17 0 645206422 53137408 7483 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13064/tid=13076] ppid=13062 vsize=51892 CPUtime=0.06
/proc/13064/task/13076/stat : 13076 (satake) R 13062 13064 27791 0 -1 4202560 512 0 0 0 0 6 0 0 20 0 17 0 645206422 53137408 7486 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13064/tid=13077] ppid=13062 vsize=51892 CPUtime=0.08
/proc/13064/task/13077/stat : 13077 (satake) R 13062 13064 27791 0 -1 4202560 741 0 0 0 0 8 0 0 20 0 17 0 645206422 53137408 7486 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13064/tid=13078] ppid=13062 vsize=51892 CPUtime=0.02
/proc/13064/task/13078/stat : 13078 (satake) R 13062 13064 27791 0 -1 4202560 96 0 0 0 0 2 0 0 20 0 17 0 645206422 53137408 7487 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13064/tid=13079] ppid=13062 vsize=51892 CPUtime=0.08
/proc/13064/task/13079/stat : 13079 (satake) R 13062 13064 27791 0 -1 4202560 527 0 0 0 0 8 0 0 20 0 17 0 645206422 53137408 7488 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 49844

[startup+0.208574 s]
/proc/loadavg: 11.93 13.62 12.78 2/184 13064
/proc/meminfo: memFree=19104232/36427776 swapFree=3892/7460
[pid=13064] ppid=13062 vsize=110772 CPUtime=2.01
/proc/13064/stat : 13064 (satake) S 13062 13064 27791 0 -1 4202496 19063 0 0 0 0 201 0 0 20 0 17 0 645206421 113430528 19021 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13064/statm: 27693 19062 63 164 0 27528 0
[pid=13064/tid=13065] ppid=13062 vsize=110772 CPUtime=0
/proc/13064/task/13065/stat : 13065 (satake) S 13062 13064 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 645206421 113430528 19078 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=13064/tid=13066] ppid=13062 vsize=110772 CPUtime=0.16
/proc/13064/task/13066/stat : 13066 (satake) R 13062 13064 27791 0 -1 4202560 1330 0 0 0 0 16 0 0 20 0 17 0 645206421 113430528 19107 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13064/tid=13067] ppid=13062 vsize=110772 CPUtime=0.08
/proc/13064/task/13067/stat : 13067 (satake) R 13062 13064 27791 0 -1 4202560 828 0 0 0 0 8 0 0 20 0 17 0 645206421 113430528 19131 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13064/tid=13068] ppid=13062 vsize=110772 CPUtime=0.16
/proc/13064/task/13068/stat : 13068 (satake) R 13062 13064 27791 0 -1 4202560 1812 0 0 0 0 16 0 0 20 0 17 0 645206421 113430528 19157 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13064/tid=13069] ppid=13062 vsize=110772 CPUtime=0.16
/proc/13064/task/13069/stat : 13069 (satake) R 13062 13064 27791 0 -1 4202560 1808 0 0 0 0 16 0 0 20 0 17 0 645206421 113430528 19181 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13064/tid=13070] ppid=13062 vsize=110772 CPUtime=0.08
/proc/13064/task/13070/stat : 13070 (satake) R 13062 13064 27791 0 -1 4202560 807 0 0 0 0 8 0 0 20 0 17 0 645206421 113430528 19199 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13064/tid=13071] ppid=13062 vsize=110772 CPUtime=0.08
/proc/13064/task/13071/stat : 13071 (satake) R 13062 13064 27791 0 -1 4202560 930 0 0 0 0 8 0 0 20 0 17 0 645206421 113430528 19224 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13064/tid=13072] ppid=13062 vsize=110772 CPUtime=0.08
/proc/13064/task/13072/stat : 13072 (satake) R 13062 13064 27791 0 -1 4202560 722 0 0 0 0 8 0 0 20 0 17 0 645206421 113430528 19241 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13064/tid=13073] ppid=13062 vsize=110772 CPUtime=0.16
/proc/13064/task/13073/stat : 13073 (satake) R 13062 13064 27791 0 -1 4202560 1467 0 0 0 0 16 0 0 20 0 17 0 645206421 113430528 19280 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13064/tid=13074] ppid=13062 vsize=110772 CPUtime=0.16
/proc/13064/task/13074/stat : 13074 (satake) R 13062 13064 27791 0 -1 4202560 1280 0 0 0 0 16 0 0 20 0 17 0 645206422 113430528 19299 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13064/tid=13075] ppid=13062 vsize=110772 CPUtime=0.16
/proc/13064/task/13075/stat : 13075 (satake) R 13062 13064 27791 0 -1 4202560 1305 0 0 0 0 16 0 0 20 0 17 0 645206422 113430528 19326 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13064/tid=13076] ppid=13062 vsize=110772 CPUtime=0.14
/proc/13064/task/13076/stat : 13076 (satake) R 13062 13064 27791 0 -1 4202560 1415 0 0 0 0 14 0 0 20 0 17 0 645206422 113430528 19337 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13064/tid=13077] ppid=13062 vsize=110772 CPUtime=0.16
/proc/13064/task/13077/stat : 13077 (satake) R 13062 13064 27791 0 -1 4202560 1974 0 0 0 0 16 0 0 20 0 17 0 645206422 113430528 19350 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13064/tid=13078] ppid=13062 vsize=110772 CPUtime=0.08
/proc/13064/task/13078/stat : 13078 (satake) R 13062 13064 27791 0 -1 4202560 782 0 0 0 0 8 0 0 20 0 17 0 645206422 113430528 19371 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13064/tid=13079] ppid=13062 vsize=110772 CPUtime=0.16
/proc/13064/task/13079/stat : 13079 (satake) R 13062 13064 27791 0 -1 4202560 1385 0 0 0 0 16 0 0 20 0 17 0 645206422 113430528 19392 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 110772

[startup+0.30648 s]
/proc/loadavg: 11.93 13.62 12.78 2/184 13064
/proc/meminfo: memFree=19104232/36427776 swapFree=3892/7460
[pid=13064] ppid=13062 vsize=204980 CPUtime=3.11
/proc/13064/stat : 13064 (satake) S 13062 13064 27791 0 -1 4202496 32130 0 0 0 0 311 0 0 20 0 17 0 645206421 209899520 32084 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13064/statm: 51245 32085 63 164 0 51080 0
[pid=13064/tid=13065] ppid=13062 vsize=204980 CPUtime=0
/proc/13064/task/13065/stat : 13065 (satake) S 13062 13064 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 645206421 209899520 32085 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=13064/tid=13066] ppid=13062 vsize=204980 CPUtime=0.24
/proc/13064/task/13066/stat : 13066 (satake) R 13062 13064 27791 0 -1 4202560 2365 0 0 0 0 24 0 0 20 0 17 0 645206421 209899520 32085 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13064/tid=13067] ppid=13062 vsize=204980 CPUtime=0.12
/proc/13064/task/13067/stat : 13067 (satake) R 13062 13064 27791 0 -1 4202560 1277 0 0 0 0 12 0 0 20 0 17 0 645206421 209899520 32085 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13064/tid=13068] ppid=13062 vsize=204980 CPUtime=0.24
/proc/13064/task/13068/stat : 13068 (satake) R 13062 13064 27791 0 -1 4202560 2800 0 0 0 0 24 0 0 20 0 17 0 645206421 209899520 32086 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13064/tid=13069] ppid=13062 vsize=204980 CPUtime=0.24
/proc/13064/task/13069/stat : 13069 (satake) R 13062 13064 27791 0 -1 4202560 3079 0 0 0 0 24 0 0 20 0 17 0 645206421 209899520 32086 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13064/tid=13070] ppid=13062 vsize=204980 CPUtime=0.12
/proc/13064/task/13070/stat : 13070 (satake) R 13062 13064 27791 0 -1 4202560 1187 0 0 0 0 12 0 0 20 0 17 0 645206421 209899520 32088 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13064/tid=13071] ppid=13062 vsize=204980 CPUtime=0.12
/proc/13064/task/13071/stat : 13071 (satake) R 13062 13064 27791 0 -1 4202560 1483 0 0 0 0 12 0 0 20 0 17 0 645206421 209899520 32089 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13064/tid=13072] ppid=13062 vsize=204980 CPUtime=0.12
/proc/13064/task/13072/stat : 13072 (satake) R 13062 13064 27791 0 -1 4202560 1044 0 0 0 0 12 0 0 20 0 17 0 645206421 209899520 32090 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13064/tid=13073] ppid=13062 vsize=204980 CPUtime=0.24
/proc/13064/task/13073/stat : 13073 (satake) R 13062 13064 27791 0 -1 4202560 2565 0 0 0 0 24 0 0 20 0 17 0 645206421 209899520 32093 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13064/tid=13074] ppid=13062 vsize=204980 CPUtime=0.24
/proc/13064/task/13074/stat : 13074 (satake) R 13062 13064 27791 0 -1 4202560 2081 0 0 0 0 24 0 0 20 0 17 0 645206422 209899520 32097 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13064/tid=13075] ppid=13062 vsize=204980 CPUtime=0.24
/proc/13064/task/13075/stat : 13075 (satake) R 13062 13064 27791 0 -1 4202560 2415 0 0 0 0 24 0 0 20 0 17 0 645206422 209899520 32097 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13064/tid=13076] ppid=13062 vsize=204980 CPUtime=0.22
/proc/13064/task/13076/stat : 13076 (satake) R 13062 13064 27791 0 -1 4202560 2580 0 0 0 0 22 0 0 20 0 17 0 645206422 209899520 32097 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13064/tid=13077] ppid=13062 vsize=204980 CPUtime=0.24
/proc/13064/task/13077/stat : 13077 (satake) R 13062 13064 27791 0 -1 4202560 2711 0 0 0 0 24 0 0 20 0 17 0 645206422 209899520 32098 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13064/tid=13078] ppid=13062 vsize=204980 CPUtime=0.16
/proc/13064/task/13078/stat : 13078 (satake) R 13062 13064 27791 0 -1 4202560 1948 0 0 0 0 16 0 0 20 0 17 0 645206422 209899520 32110 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13064/tid=13079] ppid=13062 vsize=204980 CPUtime=0.24
/proc/13064/task/13079/stat : 13079 (satake) R 13062 13064 27791 0 -1 4202560 2411 0 0 0 0 24 0 0 20 0 17 0 645206422 209899520 32133 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 204980

[startup+0.702367 s]
/proc/loadavg: 11.93 13.62 12.78 2/184 13064
/proc/meminfo: memFree=19104232/36427776 swapFree=3892/7460
[pid=13064] ppid=13062 vsize=394324 CPUtime=7.59
/proc/13064/stat : 13064 (satake) S 13062 13064 27791 0 -1 4202496 69944 0 0 0 0 759 0 0 20 0 17 0 645206421 403787776 69899 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13064/statm: 98581 69903 63 164 0 98416 0
[pid=13064/tid=13065] ppid=13062 vsize=394324 CPUtime=0
/proc/13064/task/13065/stat : 13065 (satake) S 13062 13064 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 645206421 403787776 69904 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=13064/tid=13066] ppid=13062 vsize=394324 CPUtime=0.58
/proc/13064/task/13066/stat : 13066 (satake) R 13062 13064 27791 0 -1 4202560 4973 0 0 0 0 58 0 0 20 0 17 0 645206421 403787776 69904 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13064/tid=13067] ppid=13062 vsize=394324 CPUtime=0.3
/proc/13064/task/13067/stat : 13067 (satake) R 13062 13064 27791 0 -1 4202560 3186 0 0 0 0 30 0 0 20 0 17 0 645206421 403787776 69905 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13064/tid=13068] ppid=13062 vsize=394324 CPUtime=0.58
/proc/13064/task/13068/stat : 13068 (satake) R 13062 13064 27791 0 -1 4202560 5883 0 0 0 0 58 0 0 20 0 17 0 645206421 403787776 69905 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13064/tid=13069] ppid=13062 vsize=394324 CPUtime=0.58
/proc/13064/task/13069/stat : 13069 (satake) R 13062 13064 27791 0 -1 4202560 5782 0 0 0 0 58 0 0 20 0 17 0 645206421 403787776 69905 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13064/tid=13070] ppid=13062 vsize=394324 CPUtime=0.3
/proc/13064/task/13070/stat : 13070 (satake) R 13062 13064 27791 0 -1 4202560 3052 0 0 0 0 30 0 0 20 0 17 0 645206421 403787776 69905 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13064/tid=13071] ppid=13062 vsize=394324 CPUtime=0.36
/proc/13064/task/13071/stat : 13071 (satake) R 13062 13064 27791 0 -1 4202560 2985 0 0 0 0 36 0 0 20 0 17 0 645206421 403787776 69905 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13064/tid=13072] ppid=13062 vsize=394324 CPUtime=0.32
/proc/13064/task/13072/stat : 13072 (satake) R 13062 13064 27791 0 -1 4202560 2395 0 0 0 0 32 0 0 20 0 17 0 645206421 403787776 69908 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13064/tid=13073] ppid=13062 vsize=394324 CPUtime=0.58
/proc/13064/task/13073/stat : 13073 (satake) S 13062 13064 27791 0 -1 4202560 5542 0 0 0 0 58 0 0 20 0 17 0 645206421 403787776 69909 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=13064/tid=13074] ppid=13062 vsize=394324 CPUtime=0.58
/proc/13064/task/13074/stat : 13074 (satake) R 13062 13064 27791 0 -1 4202560 5167 0 0 0 0 58 0 0 20 0 17 0 645206422 403787776 69911 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13064/tid=13075] ppid=13062 vsize=394324 CPUtime=0.58
/proc/13064/task/13075/stat : 13075 (satake) R 13062 13064 27791 0 -1 4202560 5228 0 0 0 0 58 0 0 20 0 17 0 645206422 403787776 69912 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13064/tid=13076] ppid=13062 vsize=394324 CPUtime=0.56
/proc/13064/task/13076/stat : 13076 (satake) R 13062 13064 27791 0 -1 4202560 5657 0 0 0 0 56 0 0 20 0 17 0 645206422 403787776 69913 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13064/tid=13077] ppid=13062 vsize=394324 CPUtime=0.58
/proc/13064/task/13077/stat : 13077 (satake) R 13062 13064 27791 0 -1 4202560 5422 0 0 0 0 58 0 0 20 0 17 0 645206422 403787776 69913 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13064/tid=13078] ppid=13062 vsize=394324 CPUtime=0.5

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


[startup+428.802 s]
/proc/loadavg: 3.87 6.30 9.57 4/201 13094
/proc/meminfo: memFree=17622484/36427776 swapFree=4588/1491380
[pid=13064] ppid=13062 vsize=1656620 CPUtime=1175.96
/proc/13064/stat : 13064 (satake) S 13062 13064 27791 0 -1 4202496 453205 0 0 0 81491 36105 0 0 20 0 17 0 645206421 1696378880 370704 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13064/statm: 414155 370704 68 164 0 413990 0
[pid=13064/tid=13065] ppid=13062 vsize=1656620 CPUtime=209.87
/proc/13064/task/13065/stat : 13065 (satake) R 13062 13064 27791 0 -1 4202560 11417 0 0 0 2686 18301 0 0 20 0 17 0 645206421 1696378880 370704 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13064/tid=13066] ppid=13062 vsize=1656620 CPUtime=65.39
/proc/13064/task/13066/stat : 13066 (satake) R 13062 13064 27791 0 -1 4202560 29274 0 0 0 5491 1048 0 0 20 0 17 0 645206421 1696378880 370704 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13064/tid=13067] ppid=13062 vsize=1656620 CPUtime=63.75
/proc/13064/task/13067/stat : 13067 (satake) S 13062 13064 27791 0 -1 4202560 29741 0 0 0 5291 1084 0 0 20 0 17 0 645206421 1696378880 370704 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=13064/tid=13068] ppid=13062 vsize=1656620 CPUtime=65.72
/proc/13064/task/13068/stat : 13068 (satake) S 13062 13064 27791 0 -1 4202560 29113 0 0 0 5404 1168 0 0 20 0 17 0 645206421 1696378880 370704 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=13064/tid=13069] ppid=13062 vsize=1656620 CPUtime=64.34
/proc/13064/task/13069/stat : 13069 (satake) S 13062 13064 27791 0 -1 4202560 29347 0 0 0 5308 1126 0 0 20 0 17 0 645206421 1696378880 370704 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=13064/tid=13070] ppid=13062 vsize=1656620 CPUtime=66.3
/proc/13064/task/13070/stat : 13070 (satake) S 13062 13064 27791 0 -1 4202560 29515 0 0 0 5486 1144 0 0 20 0 17 0 645206421 1696378880 370704 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=13064/tid=13071] ppid=13062 vsize=1656620 CPUtime=61.73
/proc/13064/task/13071/stat : 13071 (satake) S 13062 13064 27791 0 -1 4202560 29577 0 0 0 4957 1216 0 0 20 0 17 0 645206421 1696378880 370704 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=13064/tid=13072] ppid=13062 vsize=1656620 CPUtime=63.45
/proc/13064/task/13072/stat : 13072 (satake) R 13062 13064 27791 0 -1 4202560 29498 0 0 0 5229 1116 0 0 20 0 17 0 645206421 1696378880 370704 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13064/tid=13073] ppid=13062 vsize=1656620 CPUtime=61.84
/proc/13064/task/13073/stat : 13073 (satake) S 13062 13064 27791 0 -1 4202560 29470 0 0 0 5062 1122 0 0 20 0 17 0 645206421 1696378880 370704 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=13064/tid=13074] ppid=13062 vsize=1656620 CPUtime=67.63
/proc/13064/task/13074/stat : 13074 (satake) R 13062 13064 27791 0 -1 4202560 29444 0 0 0 5613 1150 0 0 20 0 17 0 645206422 1696378880 370704 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134528470 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13064/tid=13075] ppid=13062 vsize=1656620 CPUtime=61.97
/proc/13064/task/13075/stat : 13075 (satake) S 13062 13064 27791 0 -1 4202560 29395 0 0 0 4997 1200 0 0 20 0 17 0 645206422 1696378880 370704 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=13064/tid=13076] ppid=13062 vsize=1656620 CPUtime=66.68
/proc/13064/task/13076/stat : 13076 (satake) S 13062 13064 27791 0 -1 4202560 29128 0 0 0 5456 1212 0 0 20 0 17 0 645206422 1696378880 370704 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=13064/tid=13077] ppid=13062 vsize=1656620 CPUtime=63.32
/proc/13064/task/13077/stat : 13077 (satake) S 13062 13064 27791 0 -1 4202560 29639 0 0 0 4978 1354 0 0 20 0 17 0 645206422 1696378880 370704 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=13064/tid=13078] ppid=13062 vsize=1656620 CPUtime=65
/proc/13064/task/13078/stat : 13078 (satake) S 13062 13064 27791 0 -1 4202560 29519 0 0 0 5226 1274 0 0 20 0 17 0 645206422 1696378880 370704 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=13064/tid=13079] ppid=13062 vsize=1656620 CPUtime=71.2
/proc/13064/task/13079/stat : 13079 (satake) D 13062 13064 27791 0 -1 4202560 29469 0 0 0 5830 1290 0 0 20 0 17 0 645206422 1696378880 370704 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13064/tid=13081] ppid=13062 vsize=1656620 CPUtime=57.68
/proc/13064/task/13081/stat : 13081 (satake) S 13062 13064 27791 0 -1 4202560 29532 0 0 0 4474 1294 0 0 20 0 17 0 645206422 1696378880 370704 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1175.96
Current children cumulated vsize (KiB) 1656620

[startup+432.003 s]
/proc/loadavg: 4.04 6.30 9.55 16/201 13094
/proc/meminfo: memFree=17620128/36427776 swapFree=4588/1493560
[pid=13064] ppid=13062 vsize=1656108 CPUtime=1199.57
/proc/13064/stat : 13064 (satake) S 13062 13064 27791 0 -1 4202496 453422 0 0 0 82670 37287 0 0 20 0 17 0 645206421 1695854592 370762 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13064/statm: 414027 370762 77 164 0 413862 0
[pid=13064/tid=13065] ppid=13062 vsize=1656108 CPUtime=211.69
/proc/13064/task/13065/stat : 13065 (satake) R 13062 13064 27791 0 -1 4202560 11433 0 0 0 2720 18449 0 0 20 0 17 0 645206421 1695854592 370762 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579490 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13064/tid=13066] ppid=13062 vsize=1656108 CPUtime=66.87
/proc/13064/task/13066/stat : 13066 (satake) S 13062 13064 27791 0 -1 4202560 29291 0 0 0 5589 1098 0 0 20 0 17 0 645206421 1695854592 370762 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=13064/tid=13067] ppid=13062 vsize=1656108 CPUtime=65.14
/proc/13064/task/13067/stat : 13067 (satake) S 13062 13064 27791 0 -1 4202560 29754 0 0 0 5364 1150 0 0 20 0 17 0 645206421 1695854592 370762 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=13064/tid=13068] ppid=13062 vsize=1656108 CPUtime=67.01
/proc/13064/task/13068/stat : 13068 (satake) S 13062 13064 27791 0 -1 4202560 29128 0 0 0 5465 1236 0 0 20 0 17 0 645206421 1695854592 370762 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=13064/tid=13069] ppid=13062 vsize=1656108 CPUtime=65.92
/proc/13064/task/13069/stat : 13069 (satake) S 13062 13064 27791 0 -1 4202560 29366 0 0 0 5392 1200 0 0 20 0 17 0 645206421 1695854592 370762 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=13064/tid=13070] ppid=13062 vsize=1656108 CPUtime=68.05
/proc/13064/task/13070/stat : 13070 (satake) S 13062 13064 27791 0 -1 4202560 29525 0 0 0 5589 1216 0 0 20 0 17 0 645206421 1695854592 370762 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=13064/tid=13071] ppid=13062 vsize=1656108 CPUtime=63.09
/proc/13064/task/13071/stat : 13071 (satake) S 13062 13064 27791 0 -1 4202560 29591 0 0 0 5023 1286 0 0 20 0 17 0 645206421 1695854592 370762 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=13064/tid=13072] ppid=13062 vsize=1656108 CPUtime=64.75
/proc/13064/task/13072/stat : 13072 (satake) S 13062 13064 27791 0 -1 4202560 29508 0 0 0 5287 1188 0 0 20 0 17 0 645206421 1695854592 370762 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=13064/tid=13073] ppid=13062 vsize=1656108 CPUtime=63.27
/proc/13064/task/13073/stat : 13073 (satake) S 13062 13064 27791 0 -1 4202560 29480 0 0 0 5133 1194 0 0 20 0 17 0 645206421 1695854592 370762 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=13064/tid=13074] ppid=13062 vsize=1656108 CPUtime=68.99
/proc/13064/task/13074/stat : 13074 (satake) S 13062 13064 27791 0 -1 4202560 29446 0 0 0 5685 1214 0 0 20 0 17 0 645206422 1695854592 370762 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=13064/tid=13075] ppid=13062 vsize=1656108 CPUtime=63.33
/proc/13064/task/13075/stat : 13075 (satake) S 13062 13064 27791 0 -1 4202560 29407 0 0 0 5063 1270 0 0 20 0 17 0 645206422 1695854592 370762 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=13064/tid=13076] ppid=13062 vsize=1656108 CPUtime=68.17
/proc/13064/task/13076/stat : 13076 (satake) S 13062 13064 27791 0 -1 4202560 29143 0 0 0 5541 1276 0 0 20 0 17 0 645206422 1695854592 370762 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=13064/tid=13077] ppid=13062 vsize=1656108 CPUtime=64.82
/proc/13064/task/13077/stat : 13077 (satake) S 13062 13064 27791 0 -1 4202560 29664 0 0 0 5052 1430 0 0 20 0 17 0 645206422 1695854592 370762 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=13064/tid=13078] ppid=13062 vsize=1656108 CPUtime=66.45
/proc/13064/task/13078/stat : 13078 (satake) S 13062 13064 27791 0 -1 4202560 29523 0 0 0 5299 1346 0 0 20 0 17 0 645206422 1695854592 370762 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=13064/tid=13079] ppid=13062 vsize=1656108 CPUtime=72.89
/proc/13064/task/13079/stat : 13079 (satake) S 13062 13064 27791 0 -1 4202560 29493 0 0 0 5933 1356 0 0 20 0 17 0 645206422 1695854592 370762 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=13064/tid=13081] ppid=13062 vsize=1656108 CPUtime=59.01
/proc/13064/task/13081/stat : 13081 (satake) S 13062 13064 27791 0 -1 4202560 29543 0 0 0 4533 1368 0 0 20 0 17 0 645206422 1695854592 370762 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1199.57
Current children cumulated vsize (KiB) 1656108

[startup+432.804 s]
/proc/loadavg: 4.04 6.30 9.55 15/200 13094
/proc/meminfo: memFree=17629932/36427776 swapFree=4624/1483492
[pid=13064] ppid=13062 vsize=1521020 CPUtime=1209.58
/proc/13064/stat : 13064 (satake) S 13062 13064 27791 0 -1 4202496 453422 0 0 0 82949 38009 0 0 20 0 16 0 645206421 1557524480 343995 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13064/statm: 380255 343995 77 164 0 380090 0
[pid=13064/tid=13066] ppid=13062 vsize=1521020 CPUtime=67.51
/proc/13064/task/13066/stat : 13066 (satake) R 13062 13064 27791 0 -1 4202560 29291 0 0 0 5609 1142 0 0 20 0 16 0 645206421 1557524480 343995 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13064/tid=13067] ppid=13062 vsize=1521020 CPUtime=65.81
/proc/13064/task/13067/stat : 13067 (satake) R 13062 13064 27791 0 -1 4202560 29754 0 0 0 5383 1198 0 0 20 0 16 0 645206421 1557524480 343995 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13064/tid=13068] ppid=13062 vsize=1521020 CPUtime=67.68
/proc/13064/task/13068/stat : 13068 (satake) R 13062 13064 27791 0 -1 4202560 29128 0 0 0 5484 1284 0 0 20 0 16 0 645206421 1557524480 343995 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13064/tid=13069] ppid=13062 vsize=1521020 CPUtime=66.56
/proc/13064/task/13069/stat : 13069 (satake) R 13062 13064 27791 0 -1 4202560 29366 0 0 0 5412 1244 0 0 20 0 16 0 645206421 1557524480 343995 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13064/tid=13070] ppid=13062 vsize=1521020 CPUtime=68.74
/proc/13064/task/13070/stat : 13070 (satake) R 13062 13064 27791 0 -1 4202560 29525 0 0 0 5610 1264 0 0 20 0 16 0 645206421 1557524480 343995 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13064/tid=13071] ppid=13062 vsize=1521020 CPUtime=63.74
/proc/13064/task/13071/stat : 13071 (satake) R 13062 13064 27791 0 -1 4202560 29591 0 0 0 5042 1332 0 0 20 0 16 0 645206421 1557524480 343995 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13064/tid=13072] ppid=13062 vsize=1521020 CPUtime=65.42
/proc/13064/task/13072/stat : 13072 (satake) R 13062 13064 27791 0 -1 4202560 29508 0 0 0 5306 1236 0 0 20 0 16 0 645206421 1557524480 343995 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13064/tid=13073] ppid=13062 vsize=1521020 CPUtime=63.95
/proc/13064/task/13073/stat : 13073 (satake) R 13062 13064 27791 0 -1 4202560 29480 0 0 0 5153 1242 0 0 20 0 16 0 645206421 1557524480 343995 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13064/tid=13074] ppid=13062 vsize=1521020 CPUtime=69.67
/proc/13064/task/13074/stat : 13074 (satake) R 13062 13064 27791 0 -1 4202560 29446 0 0 0 5707 1260 0 0 20 0 16 0 645206422 1557524480 343995 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13064/tid=13075] ppid=13062 vsize=1521020 CPUtime=63.99
/proc/13064/task/13075/stat : 13075 (satake) R 13062 13064 27791 0 -1 4202560 29407 0 0 0 5081 1318 0 0 20 0 16 0 645206422 1557524480 343995 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13064/tid=13076] ppid=13062 vsize=1521020 CPUtime=68.85
/proc/13064/task/13076/stat : 13076 (satake) S 13062 13064 27791 0 -1 4202560 29143 0 0 0 5555 1330 0 0 20 0 16 0 645206422 1557524480 343995 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=13064/tid=13077] ppid=13062 vsize=1521020 CPUtime=65.47
/proc/13064/task/13077/stat : 13077 (satake) R 13062 13064 27791 0 -1 4202560 29664 0 0 0 5069 1478 0 0 20 0 16 0 645206422 1557524480 343995 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13064/tid=13078] ppid=13062 vsize=1521020 CPUtime=67.14
/proc/13064/task/13078/stat : 13078 (satake) R 13062 13064 27791 0 -1 4202560 29523 0 0 0 5320 1394 0 0 20 0 16 0 645206422 1557524480 343995 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13064/tid=13079] ppid=13062 vsize=1521020 CPUtime=73.55
/proc/13064/task/13079/stat : 13079 (satake) S 13062 13064 27791 0 -1 4202560 29493 0 0 0 5949 1406 0 0 20 0 16 0 645206422 1557524480 343995 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=13064/tid=13081] ppid=13062 vsize=1521020 CPUtime=59.7
/proc/13064/task/13081/stat : 13081 (satake) R 13062 13064 27791 0 -1 4202560 29543 0 0 0 4546 1424 0 0 20 0 16 0 645206422 1557524480 343995 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1209.58
Current children cumulated vsize (KiB) 1521020

[startup+433.604 s]
/proc/loadavg: 4.04 6.30 9.55 14/200 13094
/proc/meminfo: memFree=17727768/36427776 swapFree=4624/1378936
[pid=13064] ppid=13062 vsize=1512048 CPUtime=1219.51
/proc/13064/stat : 13064 (satake) S 13062 13064 27791 0 -1 4202496 453422 0 0 0 83216 38735 0 0 20 0 16 0 645206421 1548337152 342253 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13064/statm: 378012 342253 77 164 0 377847 0
[pid=13064/tid=13066] ppid=13062 vsize=1512048 CPUtime=68.19
/proc/13064/task/13066/stat : 13066 (satake) R 13062 13064 27791 0 -1 4202560 29291 0 0 0 5631 1188 0 0 20 0 16 0 645206421 1548337152 342253 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13064/tid=13067] ppid=13062 vsize=1512048 CPUtime=66.47
/proc/13064/task/13067/stat : 13067 (satake) R 13062 13064 27791 0 -1 4202560 29754 0 0 0 5403 1244 0 0 20 0 16 0 645206421 1548337152 342253 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13064/tid=13068] ppid=13062 vsize=1512048 CPUtime=68.32
/proc/13064/task/13068/stat : 13068 (satake) R 13062 13064 27791 0 -1 4202560 29128 0 0 0 5498 1334 0 0 20 0 16 0 645206421 1548337152 342253 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13064/tid=13069] ppid=13062 vsize=1512048 CPUtime=67.22
/proc/13064/task/13069/stat : 13069 (satake) S 13062 13064 27791 0 -1 4202560 29366 0 0 0 5432 1290 0 0 20 0 16 0 645206421 1548337152 342253 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=13064/tid=13070] ppid=13062 vsize=1512048 CPUtime=69.39
/proc/13064/task/13070/stat : 13070 (satake) R 13062 13064 27791 0 -1 4202560 29525 0 0 0 5627 1312 0 0 20 0 16 0 645206421 1548337152 342253 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13064/tid=13071] ppid=13062 vsize=1512048 CPUtime=64.38
/proc/13064/task/13071/stat : 13071 (satake) R 13062 13064 27791 0 -1 4202560 29591 0 0 0 5058 1380 0 0 20 0 16 0 645206421 1548337152 342253 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13064/tid=13072] ppid=13062 vsize=1512048 CPUtime=66.07
/proc/13064/task/13072/stat : 13072 (satake) R 13062 13064 27791 0 -1 4202560 29508 0 0 0 5321 1286 0 0 20 0 16 0 645206421 1548337152 342253 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13064/tid=13073] ppid=13062 vsize=1512048 CPUtime=64.62
/proc/13064/task/13073/stat : 13073 (satake) R 13062 13064 27791 0 -1 4202560 29480 0 0 0 5172 1290 0 0 20 0 16 0 645206421 1548337152 342253 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13064/tid=13074] ppid=13062 vsize=1512048 CPUtime=70.32
/proc/13064/task/13074/stat : 13074 (satake) R 13062 13064 27791 0 -1 4202560 29446 0 0 0 5722 1310 0 0 20 0 16 0 645206422 1548337152 342253 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13064/tid=13075] ppid=13062 vsize=1512048 CPUtime=64.64
/proc/13064/task/13075/stat : 13075 (satake) R 13062 13064 27791 0 -1 4202560 29407 0 0 0 5100 1364 0 0 20 0 16 0 645206422 1548337152 342253 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13064/tid=13076] ppid=13062 vsize=1512048 CPUtime=69.51
/proc/13064/task/13076/stat : 13076 (satake) R 13062 13064 27791 0 -1 4202560 29143 0 0 0 5575 1376 0 0 20 0 16 0 645206422 1548337152 342253 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13064/tid=13077] ppid=13062 vsize=1512048 CPUtime=66.12
/proc/13064/task/13077/stat : 13077 (satake) R 13062 13064 27791 0 -1 4202560 29664 0 0 0 5088 1524 0 0 20 0 16 0 645206422 1548337152 342253 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13064/tid=13078] ppid=13062 vsize=1512048 CPUtime=67.82
/proc/13064/task/13078/stat : 13078 (satake) R 13062 13064 27791 0 -1 4202560 29523 0 0 0 5336 1446 0 0 20 0 16 0 645206422 1548337152 342253 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13064/tid=13079] ppid=13062 vsize=1512048 CPUtime=74.22
/proc/13064/task/13079/stat : 13079 (satake) R 13062 13064 27791 0 -1 4202560 29493 0 0 0 5968 1454 0 0 20 0 16 0 645206422 1548337152 342253 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13064/tid=13081] ppid=13062 vsize=1512048 CPUtime=60.37
/proc/13064/task/13081/stat : 13081 (satake) R 13062 13064 27791 0 -1 4202560 29543 0 0 0 4561 1476 0 0 20 0 16 0 645206422 1548337152 342253 18446744073709551615 134512640 135180984 4291464080 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1219.51
Current children cumulated vsize (KiB) 1512048

[startup+434.004 s]
/proc/loadavg: 4.04 6.30 9.55 14/200 13094
/proc/meminfo: memFree=17727768/36427776 swapFree=4624/1378936
[pid=13064] ppid=13062 vsize=0 CPUtime=1222.73
/proc/13064/stat : 13064 (satake) R 13062 13064 27791 0 -1 4202500 453423 0 0 0 83316 38957 0 0 20 0 1 0 645206421 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/13064/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1222.73
Current children cumulated vsize (KiB) 0

Child status: 16
Real time (s): 434.09
CPU time (s): 1222.84
CPU user time (s): 833.168
CPU system time (s): 389.672
CPU usage (%): 281.702
Max. virtual memory (cumulated for all children) (KiB): 1656752


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 833.168
system time used= 389.672
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 453423
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= 25043342
involuntary context switches= 73693

runsolver used 1.83211 second user time and 5.01231 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 04:10:00
IDJOB=1781217
IDBENCH=71688
IDSOLVER=631
FILE ID=xenhost3-49/1781217-1244859000
PBS_JOBID=
Free space on /tmp= 7006 MiB

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

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

MD5SUM BENCH= 7989bb134c6f50cb418407e85e733980
RANDOM SEED= 2033034357

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:      19104516 kB
Buffers:        435716 kB
Cached:       14134828 kB
SwapCached:          0 kB
Active:        4081360 kB
Inactive:     10497772 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           22656 kB
Writeback:           0 kB
AnonPages:        7404 kB
Mapped:           3772 kB
Slab:           690540 kB
SReclaimable:   663100 kB
SUnreclaim:      27440 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= 7006 MiB
End job on xenhost3-49 at 2009-06-13 04:17:15