Trace number 1781307

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 492.615 242.242

General information on the benchmark

Namemanol-pipe-g10id.cnf
MD5SUM79b8866c5f4be7f699958174c5be63e9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark38.28
Satisfiable
(Un)Satisfiability was proved
Number of variables159638
Number of clauses473596
Sum of the clauses size1105056
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2315730
Number of clauses of size 3157865
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

492.48/242.19	c Benchmark name    : HOME/instance-1781307-1244862449.cnf
492.48/242.19	c Thread Num        :           16
492.48/242.19	c restarts          :           12
492.48/242.19	c conflicts         :        20872
492.48/242.19	c decisions         :       146760           (      612 / sec      )
492.48/242.19	c propagations      :     30297899           (   126429 / sec      )
492.48/242.19	c inspects          :     77034347           (   321453 / sec      )
492.48/242.19	c conflict literals :      1004358           (    35.14 % deleted  )
492.48/242.19	c cpu time          :       239.64           
492.48/242.19	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-1781307-1244862449/watcher-1781307-1244862449 -o /tmp/evaluation-result-1781307-1244862449/solver-1781307-1244862449 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781307-1244862449.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: 5.09 4.16 3.72 2/184 13454
/proc/meminfo: memFree=19119396/36427776 swapFree=4192/8208
[pid=13454] ppid=13452 vsize=9496 CPUtime=0
/proc/13454/stat : 13454 (satake) S 13452 13454 27791 0 -1 4202496 541 0 0 0 0 0 0 0 20 0 17 0 645551277 9723904 497 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13454/statm: 2374 497 63 164 0 2209 0
[pid=13454/tid=13455] ppid=13452 vsize=10152 CPUtime=0
/proc/13454/task/13455/stat : 13455 (satake) S 13452 13454 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 645551278 10395648 587 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=13454/tid=13456] ppid=13452 vsize=10152 CPUtime=0
/proc/13454/task/13456/stat : 13456 (satake) R 13452 13454 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 17 0 645551278 10395648 587 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13454/tid=13457] ppid=13452 vsize=10280 CPUtime=0
/proc/13454/task/13457/stat : 13457 (satake) D 13452 13454 27791 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 17 0 645551278 10526720 589 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13454/tid=13458] ppid=13452 vsize=10280 CPUtime=0
/proc/13454/task/13458/stat : 13458 (satake) R 13452 13454 27791 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 17 0 645551278 10526720 593 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13454/tid=13459] ppid=13452 vsize=10280 CPUtime=0
/proc/13454/task/13459/stat : 13459 (satake) R 13452 13454 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 645551278 10526720 595 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13454/tid=13460] ppid=13452 vsize=10280 CPUtime=0
/proc/13454/task/13460/stat : 13460 (satake) R 13452 13454 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 17 0 645551278 10526720 595 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13454/tid=13461] ppid=13452 vsize=10280 CPUtime=0
/proc/13454/task/13461/stat : 13461 (satake) R 13452 13454 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 645551278 10526720 595 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13454/tid=13462] ppid=13452 vsize=10280 CPUtime=0
/proc/13454/task/13462/stat : 13462 (satake) R 13452 13454 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 645551278 10526720 595 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13454/tid=13463] ppid=13452 vsize=10280 CPUtime=0
/proc/13454/task/13463/stat : 13463 (satake) R 13452 13454 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 645551278 10526720 595 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13454/tid=13464] ppid=13452 vsize=10280 CPUtime=0
/proc/13454/task/13464/stat : 13464 (satake) R 13452 13454 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 17 0 645551278 10526720 595 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13454/tid=13465] ppid=13452 vsize=10280 CPUtime=0
/proc/13454/task/13465/stat : 13465 (satake) R 13452 13454 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 645551278 10526720 596 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13454/tid=13466] ppid=13452 vsize=10280 CPUtime=0
/proc/13454/task/13466/stat : 13466 (satake) R 13452 13454 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 645551278 10526720 599 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13454/tid=13467] ppid=13452 vsize=10280 CPUtime=0
/proc/13454/task/13467/stat : 13467 (satake) R 13452 13454 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 645551278 10526720 602 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13454/tid=13468] ppid=13452 vsize=10280 CPUtime=0
/proc/13454/task/13468/stat : 13468 (satake) D 13452 13454 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 645551278 10526720 612 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13454/tid=13469] ppid=13452 vsize=10280 CPUtime=0
/proc/13454/task/13469/stat : 13469 (satake) D 13452 13454 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 645551278 10526720 614 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13454/tid=13470] ppid=13452 vsize=10280 CPUtime=0
/proc/13454/task/13470/stat : 13470 (satake) D 13452 13454 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 17 0 645551278 10526720 615 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0

[startup+0.075705 s]
/proc/loadavg: 5.09 4.16 3.72 2/184 13454
/proc/meminfo: memFree=19119396/36427776 swapFree=4192/8208
[pid=13454] ppid=13452 vsize=50868 CPUtime=0.48
/proc/13454/stat : 13454 (satake) S 13452 13454 27791 0 -1 4202496 7367 0 0 0 2 46 0 0 20 0 17 0 645551277 52088832 7323 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13454/statm: 12717 7323 63 164 0 12552 0
[pid=13454/tid=13455] ppid=13452 vsize=50868 CPUtime=0
/proc/13454/task/13455/stat : 13455 (satake) S 13452 13454 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 645551278 52088832 7323 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=13454/tid=13456] ppid=13452 vsize=50868 CPUtime=0.02
/proc/13454/task/13456/stat : 13456 (satake) D 13452 13454 27791 0 -1 4202560 432 0 0 0 2 0 0 0 20 0 17 0 645551278 52088832 7323 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13454/tid=13457] ppid=13452 vsize=50868 CPUtime=0.04
/proc/13454/task/13457/stat : 13457 (satake) D 13452 13454 27791 0 -1 4202560 602 0 0 0 0 4 0 0 20 0 17 0 645551278 52088832 7323 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13454/tid=13458] ppid=13452 vsize=50868 CPUtime=0.04
/proc/13454/task/13458/stat : 13458 (satake) D 13452 13454 27791 0 -1 4202560 550 0 0 0 0 4 0 0 20 0 17 0 645551278 52088832 7323 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13454/tid=13459] ppid=13452 vsize=50868 CPUtime=0.04
/proc/13454/task/13459/stat : 13459 (satake) D 13452 13454 27791 0 -1 4202560 626 0 0 0 0 4 0 0 20 0 17 0 645551278 52088832 7323 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13454/tid=13460] ppid=13452 vsize=50868 CPUtime=0.04
/proc/13454/task/13460/stat : 13460 (satake) D 13452 13454 27791 0 -1 4202560 566 0 0 0 0 4 0 0 20 0 17 0 645551278 52088832 7323 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13454/tid=13461] ppid=13452 vsize=50868 CPUtime=0.04
/proc/13454/task/13461/stat : 13461 (satake) D 13452 13454 27791 0 -1 4202560 523 0 0 0 0 4 0 0 20 0 17 0 645551278 52088832 7323 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13454/tid=13462] ppid=13452 vsize=50868 CPUtime=0.02
/proc/13454/task/13462/stat : 13462 (satake) D 13452 13454 27791 0 -1 4202560 454 0 0 0 0 2 0 0 20 0 17 0 645551278 52088832 7323 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13454/tid=13463] ppid=13452 vsize=50868 CPUtime=0
/proc/13454/task/13463/stat : 13463 (satake) D 13452 13454 27791 0 -1 4202560 203 0 0 0 0 0 0 0 20 0 17 0 645551278 52088832 7323 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13454/tid=13464] ppid=13452 vsize=50868 CPUtime=0.04
/proc/13454/task/13464/stat : 13464 (satake) R 13452 13454 27791 0 -1 4202560 530 0 0 0 0 4 0 0 20 0 17 0 645551278 52088832 7323 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13454/tid=13465] ppid=13452 vsize=54968 CPUtime=0.02
/proc/13454/task/13465/stat : 13465 (satake) D 13452 13454 27791 0 -1 4202560 348 0 0 0 0 2 0 0 20 0 17 0 645551278 56287232 7323 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13454/tid=13466] ppid=13452 vsize=52916 CPUtime=0.04
/proc/13454/task/13466/stat : 13466 (satake) R 13452 13454 27791 0 -1 4202560 638 0 0 0 0 4 0 0 20 0 17 0 645551278 54185984 7325 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13454/tid=13467] ppid=13452 vsize=52916 CPUtime=0
/proc/13454/task/13467/stat : 13467 (satake) R 13452 13454 27791 0 -1 4202560 136 0 0 0 0 0 0 0 20 0 17 0 645551278 54185984 7329 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13454/tid=13468] ppid=13452 vsize=52916 CPUtime=0.04
/proc/13454/task/13468/stat : 13468 (satake) R 13452 13454 27791 0 -1 4202560 558 0 0 0 0 4 0 0 20 0 17 0 645551278 54185984 7331 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13454/tid=13469] ppid=13452 vsize=52916 CPUtime=0.04
/proc/13454/task/13469/stat : 13469 (satake) R 13452 13454 27791 0 -1 4202560 525 0 0 0 0 4 0 0 20 0 17 0 645551278 54185984 7331 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13454/tid=13470] ppid=13452 vsize=52916 CPUtime=0.02
/proc/13454/task/13470/stat : 13470 (satake) R 13452 13454 27791 0 -1 4202560 547 0 0 0 0 2 0 0 20 0 17 0 645551278 54185984 7332 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 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) 50868

[startup+0.108277 s]
/proc/loadavg: 5.09 4.16 3.72 2/184 13454
/proc/meminfo: memFree=19119396/36427776 swapFree=4192/8208
[pid=13454] ppid=13452 vsize=66228 CPUtime=0.8
/proc/13454/stat : 13454 (satake) S 13452 13454 27791 0 -1 4202496 12245 0 0 0 3 77 0 0 20 0 17 0 645551277 67817472 12201 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13454/statm: 16557 12201 63 164 0 16392 0
[pid=13454/tid=13455] ppid=13452 vsize=66228 CPUtime=0
/proc/13454/task/13455/stat : 13455 (satake) S 13452 13454 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 645551278 67817472 12201 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=13454/tid=13456] ppid=13452 vsize=66228 CPUtime=0.04
/proc/13454/task/13456/stat : 13456 (satake) D 13452 13454 27791 0 -1 4202560 878 0 0 0 2 2 0 0 20 0 17 0 645551278 67817472 12201 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13454/tid=13457] ppid=13452 vsize=66228 CPUtime=0.06
/proc/13454/task/13457/stat : 13457 (satake) D 13452 13454 27791 0 -1 4202560 985 0 0 0 0 6 0 0 20 0 17 0 645551278 67817472 12201 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13454/tid=13458] ppid=13452 vsize=66228 CPUtime=0.06
/proc/13454/task/13458/stat : 13458 (satake) D 13452 13454 27791 0 -1 4202560 975 0 0 0 0 6 0 0 20 0 17 0 645551278 67817472 12201 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13454/tid=13459] ppid=13452 vsize=66228 CPUtime=0.08
/proc/13454/task/13459/stat : 13459 (satake) D 13452 13454 27791 0 -1 4202560 975 0 0 0 0 8 0 0 20 0 17 0 645551278 67817472 12201 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13454/tid=13460] ppid=13452 vsize=66228 CPUtime=0.06
/proc/13454/task/13460/stat : 13460 (satake) D 13452 13454 27791 0 -1 4202560 956 0 0 0 0 6 0 0 20 0 17 0 645551278 67817472 12201 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13454/tid=13461] ppid=13452 vsize=66228 CPUtime=0.06
/proc/13454/task/13461/stat : 13461 (satake) D 13452 13454 27791 0 -1 4202560 754 0 0 0 0 6 0 0 20 0 17 0 645551278 67817472 12201 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13454/tid=13462] ppid=13452 vsize=66228 CPUtime=0.02
/proc/13454/task/13462/stat : 13462 (satake) D 13452 13454 27791 0 -1 4202560 491 0 0 0 0 2 0 0 20 0 17 0 645551278 67817472 12201 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13454/tid=13463] ppid=13452 vsize=66228 CPUtime=0.04
/proc/13454/task/13463/stat : 13463 (satake) D 13452 13454 27791 0 -1 4202560 625 0 0 0 0 4 0 0 20 0 17 0 645551278 67817472 12201 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13454/tid=13464] ppid=13452 vsize=66228 CPUtime=0.06
/proc/13454/task/13464/stat : 13464 (satake) D 13452 13454 27791 0 -1 4202560 1102 0 0 0 0 6 0 0 20 0 17 0 645551278 67817472 12201 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13454/tid=13465] ppid=13452 vsize=66228 CPUtime=0.02
/proc/13454/task/13465/stat : 13465 (satake) D 13452 13454 27791 0 -1 4202560 408 0 0 0 0 2 0 0 20 0 17 0 645551278 67817472 12201 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13454/tid=13466] ppid=13452 vsize=66228 CPUtime=0.06
/proc/13454/task/13466/stat : 13466 (satake) R 13452 13454 27791 0 -1 4202560 1043 0 0 0 0 6 0 0 20 0 17 0 645551278 67817472 12201 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13454/tid=13467] ppid=13452 vsize=66228 CPUtime=0
/proc/13454/task/13467/stat : 13467 (satake) D 13452 13454 27791 0 -1 4202560 143 0 0 0 0 0 0 0 20 0 17 0 645551278 67817472 12201 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13454/tid=13468] ppid=13452 vsize=66228 CPUtime=0.06
/proc/13454/task/13468/stat : 13468 (satake) D 13452 13454 27791 0 -1 4202560 905 0 0 0 0 6 0 0 20 0 17 0 645551278 67817472 12201 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13454/tid=13469] ppid=13452 vsize=66228 CPUtime=0.06
/proc/13454/task/13469/stat : 13469 (satake) D 13452 13454 27791 0 -1 4202560 866 0 0 0 0 6 0 0 20 0 17 0 645551278 67817472 12201 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13454/tid=13470] ppid=13452 vsize=66228 CPUtime=0.04
/proc/13454/task/13470/stat : 13470 (satake) D 13452 13454 27791 0 -1 4202560 1007 0 0 0 0 4 0 0 20 0 17 0 645551278 67817472 12201 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 66228

[startup+0.302995 s]
/proc/loadavg: 5.09 4.16 3.72 2/184 13454
/proc/meminfo: memFree=19119396/36427776 swapFree=4192/8208
[pid=13454] ppid=13452 vsize=133292 CPUtime=2.62
/proc/13454/stat : 13454 (satake) S 13452 13454 27791 0 -1 4202496 27849 0 0 0 4 258 0 0 20 0 17 0 645551277 136491008 27805 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13454/statm: 33323 27807 63 164 0 33158 0
[pid=13454/tid=13455] ppid=13452 vsize=133292 CPUtime=0
/proc/13454/task/13455/stat : 13455 (satake) S 13452 13454 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 645551278 136491008 27808 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=13454/tid=13456] ppid=13452 vsize=133292 CPUtime=0.1
/proc/13454/task/13456/stat : 13456 (satake) D 13452 13454 27791 0 -1 4202560 1370 0 0 0 2 8 0 0 20 0 17 0 645551278 136491008 27809 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13454/tid=13457] ppid=13452 vsize=133292 CPUtime=0.2
/proc/13454/task/13457/stat : 13457 (satake) D 13452 13454 27791 0 -1 4202560 2118 0 0 0 0 20 0 0 20 0 17 0 645551278 136491008 27810 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13454/tid=13458] ppid=13452 vsize=133292 CPUtime=0.2
/proc/13454/task/13458/stat : 13458 (satake) D 13452 13454 27791 0 -1 4202560 2284 0 0 0 0 20 0 0 20 0 17 0 645551278 136491008 27811 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13454/tid=13459] ppid=13452 vsize=133292 CPUtime=0.22
/proc/13454/task/13459/stat : 13459 (satake) D 13452 13454 27791 0 -1 4202560 2173 0 0 0 0 22 0 0 20 0 17 0 645551278 136491008 27811 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134522704 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13454/tid=13460] ppid=13452 vsize=133292 CPUtime=0.22
/proc/13454/task/13460/stat : 13460 (satake) D 13452 13454 27791 0 -1 4202560 2215 0 0 0 0 22 0 0 20 0 17 0 645551278 136491008 27817 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13454/tid=13461] ppid=13452 vsize=133292 CPUtime=0.2
/proc/13454/task/13461/stat : 13461 (satake) R 13452 13454 27791 0 -1 4202560 1944 0 0 0 0 20 0 0 20 0 17 0 645551278 136491008 27818 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13454/tid=13462] ppid=13452 vsize=133292 CPUtime=0.12
/proc/13454/task/13462/stat : 13462 (satake) R 13452 13454 27791 0 -1 4202560 1341 0 0 0 0 12 0 0 20 0 17 0 645551278 136491008 27819 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13454/tid=13463] ppid=13452 vsize=133292 CPUtime=0.18
/proc/13454/task/13463/stat : 13463 (satake) R 13452 13454 27791 0 -1 4202560 1796 0 0 0 0 18 0 0 20 0 17 0 645551278 136491008 27820 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13454/tid=13464] ppid=13452 vsize=133292 CPUtime=0.14
/proc/13454/task/13464/stat : 13464 (satake) R 13452 13454 27791 0 -1 4202560 1821 0 0 0 0 14 0 0 20 0 17 0 645551278 136491008 27821 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13454/tid=13465] ppid=13452 vsize=133292 CPUtime=0.12
/proc/13454/task/13465/stat : 13465 (satake) R 13452 13454 27791 0 -1 4202560 1482 0 0 0 0 12 0 0 20 0 17 0 645551278 136491008 27821 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13454/tid=13466] ppid=13452 vsize=133292 CPUtime=0.22
/proc/13454/task/13466/stat : 13466 (satake) R 13452 13454 27791 0 -1 4202560 2195 0 0 0 0 22 0 0 20 0 17 0 645551278 136491008 27821 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13454/tid=13467] ppid=13452 vsize=133292 CPUtime=0.1
/proc/13454/task/13467/stat : 13467 (satake) R 13452 13454 27791 0 -1 4202560 1303 0 0 0 0 10 0 0 20 0 17 0 645551278 136491008 27823 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13454/tid=13468] ppid=13452 vsize=133292 CPUtime=0.22
/proc/13454/task/13468/stat : 13468 (satake) D 13452 13454 27791 0 -1 4202560 2077 0 0 0 0 22 0 0 20 0 17 0 645551278 136491008 27831 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13454/tid=13469] ppid=13452 vsize=133292 CPUtime=0.22
/proc/13454/task/13469/stat : 13469 (satake) D 13452 13454 27791 0 -1 4202560 2118 0 0 0 0 22 0 0 20 0 17 0 645551278 136491008 27831 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13454/tid=13470] ppid=13452 vsize=133292 CPUtime=0.1
/proc/13454/task/13470/stat : 13470 (satake) R 13452 13454 27791 0 -1 4202560 1494 0 0 0 0 10 0 0 20 0 17 0 645551278 136491008 27834 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 133292

[startup+0.705212 s]
/proc/loadavg: 5.09 4.16 3.72 2/184 13454
/proc/meminfo: memFree=19119396/36427776 swapFree=4192/8208
[pid=13454] ppid=13452 vsize=189496 CPUtime=4.54
/proc/13454/stat : 13454 (satake) S 13452 13454 27791 0 -1 4202496 43536 0 0 0 41 413 0 0 20 0 17 0 645551277 194043904 43493 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13454/statm: 47439 43500 63 164 0 47274 0
[pid=13454/tid=13455] ppid=13452 vsize=189756 CPUtime=0
/proc/13454/task/13455/stat : 13455 (satake) S 13452 13454 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 645551278 194310144 43503 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=13454/tid=13456] ppid=13452 vsize=189756 CPUtime=0.22
/proc/13454/task/13456/stat : 13456 (satake) D 13452 13454 27791 0 -1 4202560 2744 0 0 0 2 20 0 0 20 0 17 0 645551278 194310144 43505 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13454/tid=13457] ppid=13452 vsize=189756 CPUtime=0.34
/proc/13454/task/13457/stat : 13457 (satake) S 13452 13454 27791 0 -1 4202560 2950 0 0 0 2 32 0 0 20 0 17 0 645551278 194310144 43505 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=13454/tid=13458] ppid=13452 vsize=189756 CPUtime=0.36
/proc/13454/task/13458/stat : 13458 (satake) S 13452 13454 27791 0 -1 4202560 3258 0 0 0 2 34 0 0 20 0 17 0 645551278 194310144 43506 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=13454/tid=13459] ppid=13452 vsize=189756 CPUtime=0.36
/proc/13454/task/13459/stat : 13459 (satake) S 13452 13454 27791 0 -1 4202560 3141 0 0 0 4 32 0 0 20 0 17 0 645551278 194310144 43506 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=13454/tid=13460] ppid=13452 vsize=189756 CPUtime=0.36
/proc/13454/task/13460/stat : 13460 (satake) S 13452 13454 27791 0 -1 4202560 3123 0 0 0 4 32 0 0 20 0 17 0 645551278 194310144 43511 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=13454/tid=13461] ppid=13452 vsize=189756 CPUtime=0.32
/proc/13454/task/13461/stat : 13461 (satake) R 13452 13454 27791 0 -1 4202560 2779 0 0 0 0 32 0 0 20 0 17 0 645551278 194310144 43516 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13454/tid=13462] ppid=13452 vsize=189756 CPUtime=0.22
/proc/13454/task/13462/stat : 13462 (satake) S 13452 13454 27791 0 -1 4202560 2642 0 0 0 2 20 0 0 20 0 17 0 645551278 194310144 43518 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=13454/tid=13463] ppid=13452 vsize=189756 CPUtime=0.32
/proc/13454/task/13463/stat : 13463 (satake) S 13452 13454 27791 0 -1 4202560 2815 0 0 0 0 32 0 0 20 0 17 0 645551278 194310144 43522 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=13454/tid=13464] ppid=13452 vsize=189756 CPUtime=0.26

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

/proc/13454/task/13461/stat : 13461 (satake) S 13452 13454 27791 0 -1 4202560 12044 0 0 0 1772 472 0 0 20 0 17 0 645551278 769191936 154871 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=13454/tid=13462] ppid=13452 vsize=751164 CPUtime=21.82
/proc/13454/task/13462/stat : 13462 (satake) S 13452 13454 27791 0 -1 4202560 12096 0 0 0 1714 468 0 0 20 0 17 0 645551278 769191936 154871 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=13454/tid=13463] ppid=13452 vsize=751164 CPUtime=23
/proc/13454/task/13463/stat : 13463 (satake) S 13452 13454 27791 0 -1 4202560 11910 0 0 0 1754 546 0 0 20 0 17 0 645551278 769191936 154871 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=13454/tid=13464] ppid=13452 vsize=751164 CPUtime=24.36
/proc/13454/task/13464/stat : 13464 (satake) S 13452 13454 27791 0 -1 4202560 12087 0 0 0 1894 542 0 0 20 0 17 0 645551278 769191936 154871 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=13454/tid=13465] ppid=13452 vsize=751164 CPUtime=24.12
/proc/13454/task/13465/stat : 13465 (satake) S 13452 13454 27791 0 -1 4202560 11835 0 0 0 1798 614 0 0 20 0 17 0 645551278 769191936 154871 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=13454/tid=13466] ppid=13452 vsize=751164 CPUtime=24.2
/proc/13454/task/13466/stat : 13466 (satake) S 13452 13454 27791 0 -1 4202560 11907 0 0 0 1848 572 0 0 20 0 17 0 645551278 769191936 154871 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=13454/tid=13467] ppid=13452 vsize=751164 CPUtime=24.22
/proc/13454/task/13467/stat : 13467 (satake) S 13452 13454 27791 0 -1 4202560 12205 0 0 0 1818 604 0 0 20 0 17 0 645551278 769191936 154871 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=13454/tid=13468] ppid=13452 vsize=751164 CPUtime=25.24
/proc/13454/task/13468/stat : 13468 (satake) D 13452 13454 27791 0 -1 4202560 12096 0 0 0 1870 654 0 0 20 0 17 0 645551278 769191936 154871 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13454/tid=13469] ppid=13452 vsize=751164 CPUtime=23.94
/proc/13454/task/13469/stat : 13469 (satake) S 13452 13454 27791 0 -1 4202560 12017 0 0 0 1770 624 0 0 20 0 17 0 645551278 769191936 154871 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=13454/tid=13470] ppid=13452 vsize=751164 CPUtime=24.2
/proc/13454/task/13470/stat : 13470 (satake) S 13452 13454 27791 0 -1 4202560 11768 0 0 0 1810 610 0 0 20 0 17 0 645551278 769191936 154871 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 463.91
Current children cumulated vsize (KiB) 751164

[startup+236.703 s]
/proc/loadavg: 3.01 3.55 3.57 4/201 13476
/proc/meminfo: memFree=18498528/36427776 swapFree=4588/629932
[pid=13454] ppid=13452 vsize=752328 CPUtime=472.72
/proc/13454/stat : 13454 (satake) S 13452 13454 27791 0 -1 4202496 185682 0 0 0 28815 18457 0 0 20 0 17 0 645551277 770383872 154963 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13454/statm: 188082 154963 68 164 0 187917 0
[pid=13454/tid=13455] ppid=13452 vsize=752328 CPUtime=113.19
/proc/13454/task/13455/stat : 13455 (satake) D 13452 13454 27791 0 -1 4202560 5041 0 0 0 1400 9919 0 0 20 0 17 0 645551278 770383872 154963 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13454/tid=13456] ppid=13452 vsize=752328 CPUtime=24.82
/proc/13454/task/13456/stat : 13456 (satake) S 13452 13454 27791 0 -1 4202560 12104 0 0 0 1966 516 0 0 20 0 17 0 645551278 770383872 154963 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=13454/tid=13457] ppid=13452 vsize=752328 CPUtime=23.24
/proc/13454/task/13457/stat : 13457 (satake) S 13452 13454 27791 0 -1 4202560 12082 0 0 0 1826 498 0 0 20 0 17 0 645551278 770383872 154963 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=13454/tid=13458] ppid=13452 vsize=752328 CPUtime=24.36
/proc/13454/task/13458/stat : 13458 (satake) R 13452 13454 27791 0 -1 4202560 12187 0 0 0 1904 532 0 0 20 0 17 0 645551278 770383872 154963 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13454/tid=13459] ppid=13452 vsize=752328 CPUtime=22.5
/proc/13454/task/13459/stat : 13459 (satake) S 13452 13454 27791 0 -1 4202560 12026 0 0 0 1688 562 0 0 20 0 17 0 645551278 770383872 154963 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=13454/tid=13460] ppid=13452 vsize=752328 CPUtime=23.26
/proc/13454/task/13460/stat : 13460 (satake) S 13452 13454 27791 0 -1 4202560 12105 0 0 0 1752 574 0 0 20 0 17 0 645551278 770383872 154963 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=13454/tid=13461] ppid=13452 vsize=752328 CPUtime=22.76
/proc/13454/task/13461/stat : 13461 (satake) S 13452 13454 27791 0 -1 4202560 12047 0 0 0 1790 486 0 0 20 0 17 0 645551278 770383872 154963 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=13454/tid=13462] ppid=13452 vsize=752328 CPUtime=22.12
/proc/13454/task/13462/stat : 13462 (satake) S 13452 13454 27791 0 -1 4202560 12097 0 0 0 1732 480 0 0 20 0 17 0 645551278 770383872 154963 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=13454/tid=13463] ppid=13452 vsize=752328 CPUtime=23.36
/proc/13454/task/13463/stat : 13463 (satake) S 13452 13454 27791 0 -1 4202560 11915 0 0 0 1774 562 0 0 20 0 17 0 645551278 770383872 154963 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=13454/tid=13464] ppid=13452 vsize=752328 CPUtime=24.72
/proc/13454/task/13464/stat : 13464 (satake) S 13452 13454 27791 0 -1 4202560 12095 0 0 0 1920 552 0 0 20 0 17 0 645551278 770383872 154963 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=13454/tid=13465] ppid=13452 vsize=752328 CPUtime=24.5
/proc/13454/task/13465/stat : 13465 (satake) S 13452 13454 27791 0 -1 4202560 11835 0 0 0 1820 630 0 0 20 0 17 0 645551278 770383872 154963 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=13454/tid=13466] ppid=13452 vsize=752328 CPUtime=24.54
/proc/13454/task/13466/stat : 13466 (satake) S 13452 13454 27791 0 -1 4202560 11916 0 0 0 1866 588 0 0 20 0 17 0 645551278 770383872 154963 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=13454/tid=13467] ppid=13452 vsize=752328 CPUtime=24.62
/proc/13454/task/13467/stat : 13467 (satake) S 13452 13454 27791 0 -1 4202560 12209 0 0 0 1848 614 0 0 20 0 17 0 645551278 770383872 154963 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=13454/tid=13468] ppid=13452 vsize=752328 CPUtime=25.66
/proc/13454/task/13468/stat : 13468 (satake) S 13452 13454 27791 0 -1 4202560 12101 0 0 0 1896 670 0 0 20 0 17 0 645551278 770383872 154963 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=13454/tid=13469] ppid=13452 vsize=752328 CPUtime=24.4
/proc/13454/task/13469/stat : 13469 (satake) R 13452 13454 27791 0 -1 4202560 12024 0 0 0 1794 646 0 0 20 0 17 0 645551278 770383872 154963 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134528557 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13454/tid=13470] ppid=13452 vsize=752328 CPUtime=24.52
/proc/13454/task/13470/stat : 13470 (satake) S 13452 13454 27791 0 -1 4202560 11772 0 0 0 1830 622 0 0 20 0 17 0 645551278 770383872 154963 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 472.72
Current children cumulated vsize (KiB) 752328

[startup+239.904 s]
/proc/loadavg: 2.93 3.53 3.56 17/201 13476
/proc/meminfo: memFree=18498528/36427776 swapFree=4588/630008
[pid=13454] ppid=13452 vsize=752004 CPUtime=479.34
/proc/13454/stat : 13454 (satake) S 13452 13454 27791 0 -1 4202496 185709 0 0 0 29037 18897 0 0 20 0 17 0 645551277 770052096 154913 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13454/statm: 188001 154913 77 164 0 187836 0
[pid=13454/tid=13455] ppid=13452 vsize=752004 CPUtime=114.84
/proc/13454/task/13455/stat : 13455 (satake) R 13452 13454 27791 0 -1 4202560 5057 0 0 0 1426 10058 0 0 20 0 17 0 645551278 770052096 154913 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13454/tid=13456] ppid=13452 vsize=752004 CPUtime=25.1
/proc/13454/task/13456/stat : 13456 (satake) R 13452 13454 27791 0 -1 4202560 12104 0 0 0 1976 534 0 0 20 0 17 0 645551278 770052096 154913 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13454/tid=13457] ppid=13452 vsize=752004 CPUtime=23.76
/proc/13454/task/13457/stat : 13457 (satake) R 13452 13454 27791 0 -1 4202560 12082 0 0 0 1852 524 0 0 20 0 17 0 645551278 770052096 154913 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13454/tid=13458] ppid=13452 vsize=752004 CPUtime=24.76
/proc/13454/task/13458/stat : 13458 (satake) R 13452 13454 27791 0 -1 4202560 12187 0 0 0 1924 552 0 0 20 0 17 0 645551278 770052096 154913 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13454/tid=13459] ppid=13452 vsize=752004 CPUtime=22.7
/proc/13454/task/13459/stat : 13459 (satake) R 13452 13454 27791 0 -1 4202560 12026 0 0 0 1696 574 0 0 20 0 17 0 645551278 770052096 154913 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13454/tid=13460] ppid=13452 vsize=752004 CPUtime=23.66
/proc/13454/task/13460/stat : 13460 (satake) R 13452 13454 27791 0 -1 4202560 12106 0 0 0 1766 600 0 0 20 0 17 0 645551278 770052096 154913 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13454/tid=13461] ppid=13452 vsize=752004 CPUtime=23.12
/proc/13454/task/13461/stat : 13461 (satake) R 13452 13454 27791 0 -1 4202560 12047 0 0 0 1802 510 0 0 20 0 17 0 645551278 770052096 154913 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13454/tid=13462] ppid=13452 vsize=752004 CPUtime=22.4
/proc/13454/task/13462/stat : 13462 (satake) R 13452 13454 27791 0 -1 4202560 12098 0 0 0 1746 494 0 0 20 0 17 0 645551278 770052096 154913 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13454/tid=13463] ppid=13452 vsize=752004 CPUtime=23.8
/proc/13454/task/13463/stat : 13463 (satake) R 13452 13454 27791 0 -1 4202560 11915 0 0 0 1798 582 0 0 20 0 17 0 645551278 770052096 154913 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13454/tid=13464] ppid=13452 vsize=752004 CPUtime=25.02
/proc/13454/task/13464/stat : 13464 (satake) R 13452 13454 27791 0 -1 4202560 12095 0 0 0 1928 574 0 0 20 0 17 0 645551278 770052096 154913 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13454/tid=13465] ppid=13452 vsize=752004 CPUtime=24.92
/proc/13454/task/13465/stat : 13465 (satake) S 13452 13454 27791 0 -1 4202560 11835 0 0 0 1838 654 0 0 20 0 17 0 645551278 770052096 154913 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=13454/tid=13466] ppid=13452 vsize=752004 CPUtime=24.86
/proc/13454/task/13466/stat : 13466 (satake) R 13452 13454 27791 0 -1 4202560 11916 0 0 0 1878 608 0 0 20 0 17 0 645551278 770052096 154913 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13454/tid=13467] ppid=13452 vsize=752004 CPUtime=24.84
/proc/13454/task/13467/stat : 13467 (satake) R 13452 13454 27791 0 -1 4202560 12218 0 0 0 1856 628 0 0 20 0 17 0 645551278 770052096 154913 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13454/tid=13468] ppid=13452 vsize=752004 CPUtime=25.96
/proc/13454/task/13468/stat : 13468 (satake) R 13452 13454 27791 0 -1 4202560 12101 0 0 0 1906 690 0 0 20 0 17 0 645551278 770052096 154913 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13454/tid=13469] ppid=13452 vsize=752004 CPUtime=24.7
/proc/13454/task/13469/stat : 13469 (satake) R 13452 13454 27791 0 -1 4202560 12024 0 0 0 1802 668 0 0 20 0 17 0 645551278 770052096 154913 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13454/tid=13470] ppid=13452 vsize=752004 CPUtime=24.82
/proc/13454/task/13470/stat : 13470 (satake) R 13452 13454 27791 0 -1 4202560 11772 0 0 0 1838 644 0 0 20 0 17 0 645551278 770052096 154913 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 479.34
Current children cumulated vsize (KiB) 752004

[startup+241.504 s]
/proc/loadavg: 2.93 3.53 3.56 16/200 13476
/proc/meminfo: memFree=18527092/36427776 swapFree=4624/595804
[pid=13454] ppid=13452 vsize=591752 CPUtime=491.67
/proc/13454/stat : 13454 (satake) S 13452 13454 27791 0 -1 4202496 185709 0 0 0 29416 19751 0 0 20 0 10 0 645551277 605954048 128126 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13454/statm: 147938 128126 77 164 0 147773 0
[pid=13454/tid=13459] ppid=13452 vsize=591752 CPUtime=23.2
/proc/13454/task/13459/stat : 13459 (satake) S 13452 13454 27791 0 -1 4202560 12026 0 0 0 1712 608 0 0 20 0 10 0 645551278 605954048 128126 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=13454/tid=13460] ppid=13452 vsize=591752 CPUtime=24.56
/proc/13454/task/13460/stat : 13460 (satake) S 13452 13454 27791 0 -1 4202560 12106 0 0 0 1792 664 0 0 20 0 10 0 645551278 605954048 128126 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=13454/tid=13461] ppid=13452 vsize=591752 CPUtime=23.92
/proc/13454/task/13461/stat : 13461 (satake) R 13452 13454 27791 0 -1 4202560 12047 0 0 0 1822 570 0 0 20 0 10 0 645551278 605954048 128126 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13454/tid=13462] ppid=13452 vsize=591752 CPUtime=22.92
/proc/13454/task/13462/stat : 13462 (satake) S 13452 13454 27791 0 -1 4202560 12098 0 0 0 1760 532 0 0 20 0 10 0 645551278 605954048 128126 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=13454/tid=13464] ppid=13452 vsize=591752 CPUtime=25.9
/proc/13454/task/13464/stat : 13464 (satake) S 13452 13454 27791 0 -1 4202560 12095 0 0 0 1950 640 0 0 20 0 10 0 645551278 605954048 128126 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=13454/tid=13465] ppid=13452 vsize=591752 CPUtime=25.88
/proc/13454/task/13465/stat : 13465 (satake) S 13452 13454 27791 0 -1 4202560 11835 0 0 0 1862 726 0 0 20 0 10 0 645551278 605954048 128126 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=13454/tid=13466] ppid=13452 vsize=591752 CPUtime=25.46
/proc/13454/task/13466/stat : 13466 (satake) R 13452 13454 27791 0 -1 4202560 11916 0 0 0 1896 650 0 0 20 0 10 0 645551278 605954048 128126 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13454/tid=13467] ppid=13452 vsize=591752 CPUtime=25.38
/proc/13454/task/13467/stat : 13467 (satake) R 13452 13454 27791 0 -1 4202560 12218 0 0 0 1874 664 0 0 20 0 10 0 645551278 605954048 128126 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13454/tid=13468] ppid=13452 vsize=591752 CPUtime=26.84
/proc/13454/task/13468/stat : 13468 (satake) S 13452 13454 27791 0 -1 4202560 12101 0 0 0 1932 752 0 0 20 0 10 0 645551278 605954048 128126 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 491.67
Current children cumulated vsize (KiB) 591752

[startup+241.904 s]
/proc/loadavg: 2.93 3.53 3.56 2/190 13476
/proc/meminfo: memFree=18645356/36427776 swapFree=4624/476984
[pid=13454] ppid=13452 vsize=515860 CPUtime=492.24
/proc/13454/stat : 13454 (satake) S 13452 13454 27791 0 -1 4202496 185709 0 0 0 29460 19764 0 0 20 0 6 0 645551277 528240640 116096 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13454/statm: 128965 116096 77 164 0 128800 0
[pid=13454/tid=13459] ppid=13452 vsize=515860 CPUtime=23.24
/proc/13454/task/13459/stat : 13459 (satake) D 13452 13454 27791 0 -1 4202560 12026 0 0 0 1714 610 0 0 20 0 6 0 645551278 528240640 116096 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134702308 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13454/tid=13461] ppid=13452 vsize=515860 CPUtime=24.06
/proc/13454/task/13461/stat : 13461 (satake) R 13452 13454 27791 0 -1 4202560 12047 0 0 0 1832 574 0 0 20 0 6 0 645551278 528240640 116096 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13454/tid=13462] ppid=13452 vsize=515860 CPUtime=22.96
/proc/13454/task/13462/stat : 13462 (satake) S 13452 13454 27791 0 -1 4202560 12098 0 0 0 1762 534 0 0 20 0 6 0 645551278 528240640 116096 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=13454/tid=13466] ppid=13452 vsize=515860 CPUtime=25.62
/proc/13454/task/13466/stat : 13466 (satake) S 13452 13454 27791 0 -1 4202560 11916 0 0 0 1912 650 0 0 20 0 6 0 645551278 528240640 116096 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=13454/tid=13467] ppid=13452 vsize=515860 CPUtime=25.52
/proc/13454/task/13467/stat : 13467 (satake) S 13452 13454 27791 0 -1 4202560 12218 0 0 0 1886 666 0 0 20 0 6 0 645551278 528240640 116096 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 492.24
Current children cumulated vsize (KiB) 515860

[startup+242.104 s]
/proc/loadavg: 2.93 3.53 3.56 2/190 13476
/proc/meminfo: memFree=18645356/36427776 swapFree=4624/476984
[pid=13454] ppid=13452 vsize=454312 CPUtime=492.48
/proc/13454/stat : 13454 (satake) S 13452 13454 27791 0 -1 4202496 185709 0 0 0 29479 19769 0 0 20 0 2 0 645551277 465215488 107167 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13454/statm: 113578 107167 77 164 0 113413 0
[pid=13454/tid=13462] ppid=13452 vsize=454312 CPUtime=23.04
/proc/13454/task/13462/stat : 13462 (satake) R 13452 13454 27791 0 -1 4202560 12098 0 0 0 1770 534 0 0 20 0 2 0 645551278 465215488 107167 18446744073709551615 134512640 135180984 4288794880 18446744073709551615 134666571 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 492.48
Current children cumulated vsize (KiB) 454312

[startup+242.206 s]
/proc/loadavg: 2.93 3.53 3.56 2/190 13476
/proc/meminfo: memFree=18645356/36427776 swapFree=4624/476984
[pid=13454] ppid=13452 vsize=0 CPUtime=492.57
/proc/13454/stat : 13454 (satake) R 13452 13454 27791 0 -1 4202500 185710 0 0 0 29483 19774 0 0 20 0 1 0 645551277 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/13454/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 492.57
Current children cumulated vsize (KiB) 0

Child status: 16
Real time (s): 242.242
CPU time (s): 492.615
CPU user time (s): 294.83
CPU system time (s): 197.784
CPU usage (%): 203.356
Max. virtual memory (cumulated for all children) (KiB): 752328


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 294.83
system time used= 197.784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185710
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= 14013273
involuntary context switches= 1096456

runsolver used 1.02806 second user time and 2.79217 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 05:07:29
IDJOB=1781307
IDBENCH=71717
IDSOLVER=631
FILE ID=xenhost3-49/1781307-1244862449
PBS_JOBID=
Free space on /tmp= 7019 MiB

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

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

MD5SUM BENCH= 79b8866c5f4be7f699958174c5be63e9
RANDOM SEED= 1765345404

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:      19119396 kB
Buffers:        435896 kB
Cached:       14121616 kB
SwapCached:          0 kB
Active:        4080768 kB
Inactive:     10484236 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            8704 kB
Writeback:           0 kB
AnonPages:        8208 kB
Mapped:           3528 kB
Slab:           689640 kB
SReclaimable:   662780 kB
SUnreclaim:      26860 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7019 MiB
End job on xenhost3-49 at 2009-06-13 05:11:31