Trace number 1775517

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 187.144 60.9648

General information on the benchmark

Nameindustrial/anbulagan/
medium-unsat/total-5-11-u.cnf
MD5SUM770fa9cd880a43d98e936f33f4e86d7a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark28.74
Satisfiable
(Un)Satisfiability was proved
Number of variables156980
Number of clauses696581
Sum of the clauses size1582352
Maximum clause length10
Minimum clause length1
Number of clauses of size 113310
Number of clauses of size 2570471
Number of clauses of size 382900
Number of clauses of size 43320
Number of clauses of size 513280
Number of clauses of size over 513300

Solver Data 

187.09/60.92	c Benchmark name    : HOME/instance-1775517-1244710055.cnf
187.09/60.92	c Thread Num        :           16
187.09/60.92	c restarts          :            7
187.09/60.92	c conflicts         :         2774
187.09/60.92	c decisions         :         9132           (      152 / sec      )
187.09/60.92	c propagations      :     10467856           (   174612 / sec      )
187.09/60.92	c inspects          :     29042090           (   484443 / sec      )
187.09/60.92	c conflict literals :        65167           (    34.60 % deleted  )
187.09/60.92	c cpu time          :        59.95           
187.09/60.92	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-1775517-1244710055/watcher-1775517-1244710055 -o /tmp/evaluation-result-1775517-1244710055/solver-1775517-1244710055 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775517-1244710055.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: 6.45 6.95 4.73 2/184 27961
/proc/meminfo: memFree=19136108/36427776 swapFree=3688/7128
[pid=27961] ppid=27959 vsize=7232 CPUtime=0
/proc/27961/stat : 27961 (satake) D 27959 27961 27791 0 -1 4202496 439 0 0 0 0 0 0 0 20 0 17 0 630311935 7405568 393 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27961/statm: 1873 393 63 164 0 1708 0
[pid=27961/tid=27962] ppid=27959 vsize=7360 CPUtime=0
/proc/27961/task/27962/stat : 27962 (satake) S 27959 27961 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 630311935 7536640 401 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=27961/tid=27963] ppid=27959 vsize=7360 CPUtime=0
/proc/27961/task/27963/stat : 27963 (satake) R 27959 27961 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 17 0 630311935 7536640 402 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=27961/tid=27964] ppid=27959 vsize=7360 CPUtime=0
/proc/27961/task/27964/stat : 27964 (satake) R 27959 27961 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 630311935 7536640 403 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=27961/tid=27965] ppid=27959 vsize=7360 CPUtime=0
/proc/27961/task/27965/stat : 27965 (satake) R 27959 27961 27791 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 17 0 630311935 7536640 408 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=27961/tid=27966] ppid=27959 vsize=7360 CPUtime=0
/proc/27961/task/27966/stat : 27966 (satake) S 27959 27961 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 630311935 7536640 410 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=27961/tid=27967] ppid=27959 vsize=7360 CPUtime=0
/proc/27961/task/27967/stat : 27967 (satake) R 27959 27961 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 630311935 7536640 410 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=27961/tid=27968] ppid=27959 vsize=7360 CPUtime=0
/proc/27961/task/27968/stat : 27968 (satake) R 27959 27961 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 630311936 7536640 411 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=27961/tid=27969] ppid=27959 vsize=7360 CPUtime=0
/proc/27961/task/27969/stat : 27969 (satake) S 27959 27961 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 630311936 7536640 413 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=27961/tid=27970] ppid=27959 vsize=7360 CPUtime=0
/proc/27961/task/27970/stat : 27970 (satake) S 27959 27961 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 630311936 7536640 413 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=27961/tid=27971] ppid=27959 vsize=7360 CPUtime=0
/proc/27961/task/27971/stat : 27971 (satake) S 27959 27961 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 630311936 7536640 416 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=27961/tid=27972] ppid=27959 vsize=7360 CPUtime=0
/proc/27961/task/27972/stat : 27972 (satake) R 27959 27961 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 630311936 7536640 416 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=27961/tid=27973] ppid=27959 vsize=7360 CPUtime=0
/proc/27961/task/27973/stat : 27973 (satake) R 27959 27961 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 630311936 7536640 418 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=27961/tid=27974] ppid=27959 vsize=7360 CPUtime=0
/proc/27961/task/27974/stat : 27974 (satake) D 27959 27961 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 630311936 7536640 421 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=27961/tid=27975] ppid=27959 vsize=7364 CPUtime=0
/proc/27961/task/27975/stat : 27975 (satake) D 27959 27961 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 630311936 7540736 421 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=27961/tid=27976] ppid=27959 vsize=7364 CPUtime=0
/proc/27961/task/27976/stat : 27976 (satake) R 27959 27961 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 630311936 7540736 426 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=27961/tid=27977] ppid=27959 vsize=7364 CPUtime=0
/proc/27961/task/27977/stat : 27977 (satake) R 27959 27961 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 630311936 7540736 428 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 9 0 0 0 0 0

[startup+0.081901 s]
/proc/loadavg: 6.45 6.95 4.73 2/184 27961
/proc/meminfo: memFree=19136108/36427776 swapFree=3688/7128
[pid=27961] ppid=27959 vsize=52328 CPUtime=0.47
/proc/27961/stat : 27961 (satake) S 27959 27961 27791 0 -1 4202496 9231 0 0 0 0 47 0 0 20 0 17 0 630311935 53583872 9196 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27961/statm: 13082 9275 63 164 0 12917 0
[pid=27961/tid=27962] ppid=27959 vsize=52328 CPUtime=0
/proc/27961/task/27962/stat : 27962 (satake) S 27959 27961 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 630311935 53583872 9310 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=27961/tid=27963] ppid=27959 vsize=52328 CPUtime=0.04
/proc/27961/task/27963/stat : 27963 (satake) R 27959 27961 27791 0 -1 4202560 560 0 0 0 0 4 0 0 20 0 17 0 630311935 53583872 9327 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=27961/tid=27964] ppid=27959 vsize=52328 CPUtime=0
/proc/27961/task/27964/stat : 27964 (satake) D 27959 27961 27791 0 -1 4202560 513 0 0 0 0 0 0 0 20 0 17 0 630311935 53583872 9342 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=27961/tid=27965] ppid=27959 vsize=52328 CPUtime=0.04
/proc/27961/task/27965/stat : 27965 (satake) D 27959 27961 27791 0 -1 4202560 876 0 0 0 0 4 0 0 20 0 17 0 630311935 53583872 9343 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=27961/tid=27966] ppid=27959 vsize=52328 CPUtime=0.02
/proc/27961/task/27966/stat : 27966 (satake) D 27959 27961 27791 0 -1 4202560 438 0 0 0 0 2 0 0 20 0 17 0 630311935 53583872 9343 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=27961/tid=27967] ppid=27959 vsize=52328 CPUtime=0.04
/proc/27961/task/27967/stat : 27967 (satake) D 27959 27961 27791 0 -1 4202560 846 0 0 0 0 4 0 0 20 0 17 0 630311935 53583872 9343 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=27961/tid=27968] ppid=27959 vsize=52328 CPUtime=0.04
/proc/27961/task/27968/stat : 27968 (satake) D 27959 27961 27791 0 -1 4202560 846 0 0 0 0 4 0 0 20 0 17 0 630311936 53583872 9343 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=27961/tid=27969] ppid=27959 vsize=52328 CPUtime=0
/proc/27961/task/27969/stat : 27969 (satake) D 27959 27961 27791 0 -1 4202560 74 0 0 0 0 0 0 0 20 0 17 0 630311936 53583872 9343 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=27961/tid=27970] ppid=27959 vsize=52328 CPUtime=0.04
/proc/27961/task/27970/stat : 27970 (satake) D 27959 27961 27791 0 -1 4202560 814 0 0 0 0 4 0 0 20 0 17 0 630311936 53583872 9343 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=27961/tid=27971] ppid=27959 vsize=52328 CPUtime=0.04
/proc/27961/task/27971/stat : 27971 (satake) D 27959 27961 27791 0 -1 4202560 772 0 0 0 0 4 0 0 20 0 17 0 630311936 53583872 9343 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=27961/tid=27972] ppid=27959 vsize=52328 CPUtime=0.02
/proc/27961/task/27972/stat : 27972 (satake) D 27959 27961 27791 0 -1 4202560 613 0 0 0 0 2 0 0 20 0 17 0 630311936 53583872 9343 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=27961/tid=27973] ppid=27959 vsize=52328 CPUtime=0.04
/proc/27961/task/27973/stat : 27973 (satake) D 27959 27961 27791 0 -1 4202560 961 0 0 0 0 4 0 0 20 0 17 0 630311936 53583872 9343 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=27961/tid=27974] ppid=27959 vsize=56428 CPUtime=0.02
/proc/27961/task/27974/stat : 27974 (satake) D 27959 27961 27791 0 -1 4202560 438 0 0 0 0 2 0 0 20 0 17 0 630311936 57782272 9343 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=27961/tid=27975] ppid=27959 vsize=54376 CPUtime=0.02
/proc/27961/task/27975/stat : 27975 (satake) R 27959 27961 27791 0 -1 4202560 531 0 0 0 0 2 0 0 20 0 17 0 630311936 55681024 9343 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=27961/tid=27976] ppid=27959 vsize=54376 CPUtime=0.04
/proc/27961/task/27976/stat : 27976 (satake) D 27959 27961 27791 0 -1 4202560 830 0 0 0 0 4 0 0 20 0 17 0 630311936 55681024 9345 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=27961/tid=27977] ppid=27959 vsize=54376 CPUtime=0
/proc/27961/task/27977/stat : 27977 (satake) D 27959 27961 27791 0 -1 4202560 142 0 0 0 0 0 0 0 20 0 17 0 630311936 55681024 9349 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 52328

[startup+0.105968 s]
/proc/loadavg: 6.45 6.95 4.73 2/184 27961
/proc/meminfo: memFree=19136108/36427776 swapFree=3688/7128
[pid=27961] ppid=27959 vsize=86632 CPUtime=0.68
/proc/27961/stat : 27961 (satake) S 27959 27961 27791 0 -1 4202496 14035 0 0 0 2 66 0 0 20 0 17 0 630311935 88711168 13989 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27961/statm: 22682 13989 63 164 0 22517 0
[pid=27961/tid=27962] ppid=27959 vsize=90728 CPUtime=0
/proc/27961/task/27962/stat : 27962 (satake) S 27959 27961 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 630311935 92905472 13995 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=27961/tid=27963] ppid=27959 vsize=90728 CPUtime=0.04
/proc/27961/task/27963/stat : 27963 (satake) R 27959 27961 27791 0 -1 4202560 931 0 0 0 0 4 0 0 20 0 17 0 630311935 92905472 13998 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=27961/tid=27964] ppid=27959 vsize=90728 CPUtime=0.02
/proc/27961/task/27964/stat : 27964 (satake) D 27959 27961 27791 0 -1 4202560 698 0 0 0 0 2 0 0 20 0 17 0 630311935 92905472 13998 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=27961/tid=27965] ppid=27959 vsize=90728 CPUtime=0.06
/proc/27961/task/27965/stat : 27965 (satake) R 27959 27961 27791 0 -1 4202560 1309 0 0 0 0 6 0 0 20 0 17 0 630311935 92905472 13998 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=27961/tid=27966] ppid=27959 vsize=90728 CPUtime=0.02
/proc/27961/task/27966/stat : 27966 (satake) D 27959 27961 27791 0 -1 4202560 491 0 0 0 0 2 0 0 20 0 17 0 630311935 92905472 13998 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=27961/tid=27967] ppid=27959 vsize=90728 CPUtime=0.06
/proc/27961/task/27967/stat : 27967 (satake) R 27959 27961 27791 0 -1 4202560 1266 0 0 0 0 6 0 0 20 0 17 0 630311935 92905472 13998 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=27961/tid=27968] ppid=27959 vsize=90728 CPUtime=0.06
/proc/27961/task/27968/stat : 27968 (satake) D 27959 27961 27791 0 -1 4202560 1267 0 0 0 0 6 0 0 20 0 17 0 630311936 92905472 13998 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=27961/tid=27969] ppid=27959 vsize=90728 CPUtime=0
/proc/27961/task/27969/stat : 27969 (satake) R 27959 27961 27791 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 17 0 630311936 92905472 13998 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=27961/tid=27970] ppid=27959 vsize=90728 CPUtime=0.04
/proc/27961/task/27970/stat : 27970 (satake) D 27959 27961 27791 0 -1 4202560 1005 0 0 0 0 4 0 0 20 0 17 0 630311936 92905472 13998 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=27961/tid=27971] ppid=27959 vsize=90728 CPUtime=0.06
/proc/27961/task/27971/stat : 27971 (satake) D 27959 27961 27791 0 -1 4202560 1166 0 0 0 0 6 0 0 20 0 17 0 630311936 92905472 13998 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=27961/tid=27972] ppid=27959 vsize=90728 CPUtime=0.04
/proc/27961/task/27972/stat : 27972 (satake) D 27959 27961 27791 0 -1 4202560 1085 0 0 0 0 4 0 0 20 0 17 0 630311936 92905472 13998 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=27961/tid=27973] ppid=27959 vsize=91244 CPUtime=0.06
/proc/27961/task/27973/stat : 27973 (satake) D 27959 27961 27791 0 -1 4202560 1458 0 0 0 0 6 0 0 20 0 17 0 630311936 93433856 13998 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=27961/tid=27974] ppid=27959 vsize=90984 CPUtime=0.02
/proc/27961/task/27974/stat : 27974 (satake) R 27959 27961 27791 0 -1 4202560 493 0 0 0 0 2 0 0 20 0 17 0 630311936 93167616 13998 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=27961/tid=27975] ppid=27959 vsize=90984 CPUtime=0.04
/proc/27961/task/27975/stat : 27975 (satake) R 27959 27961 27791 0 -1 4202560 1043 0 0 0 0 4 0 0 20 0 17 0 630311936 93167616 14002 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=27961/tid=27976] ppid=27959 vsize=90984 CPUtime=0.06
/proc/27961/task/27976/stat : 27976 (satake) D 27959 27961 27791 0 -1 4202560 1262 0 0 0 0 6 0 0 20 0 17 0 630311936 93167616 14004 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=27961/tid=27977] ppid=27959 vsize=90984 CPUtime=0.02
/proc/27961/task/27977/stat : 27977 (satake) R 27959 27961 27791 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 17 0 630311936 93167616 14005 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 86632

[startup+0.305154 s]
/proc/loadavg: 6.45 6.95 4.73 2/184 27961
/proc/meminfo: memFree=19136108/36427776 swapFree=3688/7128
[pid=27961] ppid=27959 vsize=197820 CPUtime=2.39
/proc/27961/stat : 27961 (satake) S 27959 27961 27791 0 -1 4202496 36586 0 0 0 2 237 0 0 20 0 17 0 630311935 202567680 36540 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27961/statm: 49455 36540 63 164 0 49290 0
[pid=27961/tid=27962] ppid=27959 vsize=197820 CPUtime=0
/proc/27961/task/27962/stat : 27962 (satake) S 27959 27961 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 630311935 202567680 36540 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=27961/tid=27963] ppid=27959 vsize=197820 CPUtime=0.16
/proc/27961/task/27963/stat : 27963 (satake) D 27959 27961 27791 0 -1 4202560 2607 0 0 0 0 16 0 0 20 0 17 0 630311935 202567680 36540 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=27961/tid=27964] ppid=27959 vsize=197820 CPUtime=0.08
/proc/27961/task/27964/stat : 27964 (satake) D 27959 27961 27791 0 -1 4202560 1555 0 0 0 0 8 0 0 20 0 17 0 630311935 202567680 36540 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=27961/tid=27965] ppid=27959 vsize=197820 CPUtime=0.14
/proc/27961/task/27965/stat : 27965 (satake) D 27959 27961 27791 0 -1 4202560 2202 0 0 0 0 14 0 0 20 0 17 0 630311935 202567680 36540 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=27961/tid=27966] ppid=27959 vsize=197820 CPUtime=0.18
/proc/27961/task/27966/stat : 27966 (satake) D 27959 27961 27791 0 -1 4202560 2459 0 0 0 0 18 0 0 20 0 17 0 630311935 202567680 36540 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=27961/tid=27967] ppid=27959 vsize=197820 CPUtime=0.22
/proc/27961/task/27967/stat : 27967 (satake) D 27959 27961 27791 0 -1 4202560 3203 0 0 0 0 22 0 0 20 0 17 0 630311935 202567680 36540 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=27961/tid=27968] ppid=27959 vsize=197820 CPUtime=0.22
/proc/27961/task/27968/stat : 27968 (satake) D 27959 27961 27791 0 -1 4202560 3399 0 0 0 0 22 0 0 20 0 17 0 630311936 202567680 36540 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=27961/tid=27969] ppid=27959 vsize=197820 CPUtime=0.08
/proc/27961/task/27969/stat : 27969 (satake) D 27959 27961 27791 0 -1 4202560 1228 0 0 0 0 8 0 0 20 0 17 0 630311936 202567680 36540 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=27961/tid=27970] ppid=27959 vsize=197820 CPUtime=0.12
/proc/27961/task/27970/stat : 27970 (satake) D 27959 27961 27791 0 -1 4202560 1976 0 0 0 0 12 0 0 20 0 17 0 630311936 202567680 36540 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=27961/tid=27971] ppid=27959 vsize=197820 CPUtime=0.2
/proc/27961/task/27971/stat : 27971 (satake) D 27959 27961 27791 0 -1 4202560 3118 0 0 0 0 20 0 0 20 0 17 0 630311936 202567680 36540 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=27961/tid=27972] ppid=27959 vsize=197820 CPUtime=0.1
/proc/27961/task/27972/stat : 27972 (satake) D 27959 27961 27791 0 -1 4202560 2201 0 0 0 0 10 0 0 20 0 17 0 630311936 202567680 36540 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=27961/tid=27973] ppid=27959 vsize=197820 CPUtime=0.22
/proc/27961/task/27973/stat : 27973 (satake) D 27959 27961 27791 0 -1 4202560 3377 0 0 0 0 22 0 0 20 0 17 0 630311936 202567680 36540 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=27961/tid=27974] ppid=27959 vsize=197820 CPUtime=0.12
/proc/27961/task/27974/stat : 27974 (satake) D 27959 27961 27791 0 -1 4202560 1956 0 0 0 0 12 0 0 20 0 17 0 630311936 202567680 36540 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=27961/tid=27975] ppid=27959 vsize=197820 CPUtime=0.18
/proc/27961/task/27975/stat : 27975 (satake) R 27959 27961 27791 0 -1 4202560 2838 0 0 0 0 18 0 0 20 0 17 0 630311936 202567680 36540 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=27961/tid=27976] ppid=27959 vsize=197820 CPUtime=0.22
/proc/27961/task/27976/stat : 27976 (satake) D 27959 27961 27791 0 -1 4202560 3015 0 0 0 0 22 0 0 20 0 17 0 630311936 202567680 36540 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=27961/tid=27977] ppid=27959 vsize=197820 CPUtime=0.1
/proc/27961/task/27977/stat : 27977 (satake) D 27959 27961 27791 0 -1 4202560 1318 0 0 0 2 8 0 0 20 0 17 0 630311936 202567680 36540 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 197820

[startup+0.706005 s]
/proc/loadavg: 6.45 6.95 4.73 2/184 27961
/proc/meminfo: memFree=19136108/36427776 swapFree=3688/7128
[pid=27961] ppid=27959 vsize=240024 CPUtime=4.78
/proc/27961/stat : 27961 (satake) S 27959 27961 27791 0 -1 4202496 49686 0 0 0 9 469 0 0 20 0 17 0 630311935 245784576 49640 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27961/statm: 60006 49641 63 164 0 59841 0
[pid=27961/tid=27962] ppid=27959 vsize=240024 CPUtime=0
/proc/27961/task/27962/stat : 27962 (satake) S 27959 27961 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 630311935 245784576 49641 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=27961/tid=27963] ppid=27959 vsize=240024 CPUtime=0.28
/proc/27961/task/27963/stat : 27963 (satake) D 27959 27961 27791 0 -1 4202560 3416 0 0 0 0 28 0 0 20 0 17 0 630311935 245784576 49641 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=27961/tid=27964] ppid=27959 vsize=240024 CPUtime=0.2
/proc/27961/task/27964/stat : 27964 (satake) R 27959 27961 27791 0 -1 4202560 2630 0 0 0 0 20 0 0 20 0 17 0 630311935 245784576 49644 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=27961/tid=27965] ppid=27959 vsize=240024 CPUtime=0.26
/proc/27961/task/27965/stat : 27965 (satake) R 27959 27961 27791 0 -1 4202560 3151 0 0 0 0 26 0 0 20 0 17 0 630311935 245784576 49644 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=27961/tid=27966] ppid=27959 vsize=240024 CPUtime=0.36
/proc/27961/task/27966/stat : 27966 (satake) D 27959 27961 27791 0 -1 4202560 3498 0 0 0 0 36 0 0 20 0 17 0 630311935 245784576 49644 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=27961/tid=27967] ppid=27959 vsize=240024 CPUtime=0.44
/proc/27961/task/27967/stat : 27967 (satake) R 27959 27961 27791 0 -1 4202560 3956 0 0 0 0 44 0 0 20 0 17 0 630311935 245784576 49644 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=27961/tid=27968] ppid=27959 vsize=240024 CPUtime=0.4
/proc/27961/task/27968/stat : 27968 (satake) D 27959 27961 27791 0 -1 4202560 3897 0 0 0 2 38 0 0 20 0 17 0 630311936 245784576 49644 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=27961/tid=27969] ppid=27959 vsize=240024 CPUtime=0.22
/proc/27961/task/27969/stat : 27969 (satake) R 27959 27961 27791 0 -1 4202560 2235 0 0 0 0 22 0 0 20 0 17 0 630311936 245784576 49646 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=27961/tid=27970] ppid=27959 vsize=240024 CPUtime=0.24
/proc/27961/task/27970/stat : 27970 (satake) S 27959 27961 27791 0 -1 4202560 3045 0 0 0 0 24 0 0 20 0 17 0 630311936 245784576 49647 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=27961/tid=27971] ppid=27959 vsize=240024 CPUtime=0.4

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

[pid=27961/tid=27973] ppid=27959 vsize=723176 CPUtime=10.44
/proc/27961/task/27973/stat : 27973 (satake) R 27959 27961 27791 0 -1 4202560 12103 0 0 0 858 186 0 0 20 0 17 0 630311936 740532224 140849 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134528641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=27961/tid=27974] ppid=27959 vsize=723176 CPUtime=8.9
/proc/27961/task/27974/stat : 27974 (satake) S 27959 27961 27791 0 -1 4202560 12357 0 0 0 714 176 0 0 20 0 17 0 630311936 740532224 140849 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=27961/tid=27975] ppid=27959 vsize=723176 CPUtime=9.94
/proc/27961/task/27975/stat : 27975 (satake) S 27959 27961 27791 0 -1 4202560 12426 0 0 0 804 190 0 0 20 0 17 0 630311936 740532224 140849 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=27961/tid=27976] ppid=27959 vsize=723176 CPUtime=9.76
/proc/27961/task/27976/stat : 27976 (satake) D 27959 27961 27791 0 -1 4202560 12296 0 0 0 794 182 0 0 20 0 17 0 630311936 740532224 140849 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=27961/tid=27977] ppid=27959 vsize=723176 CPUtime=9.18
/proc/27961/task/27977/stat : 27977 (satake) S 27959 27961 27791 0 -1 4202560 12285 0 0 0 752 166 0 0 20 0 17 0 630311936 740532224 140849 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 161.68
Current children cumulated vsize (KiB) 723176

Solver just ended. Dumping a history of the last processes samples

[startup+57.5012 s]
/proc/loadavg: 5.47 6.68 4.77 5/201 27978
/proc/meminfo: memFree=18571540/36427776 swapFree=4588/573648
[pid=27961] ppid=27959 vsize=724200 CPUtime=176.81
/proc/27961/stat : 27961 (satake) S 27959 27961 27791 0 -1 4202496 186034 0 0 0 12933 4748 0 0 20 0 17 0 630311935 741580800 140973 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27961/statm: 181050 140973 68 164 0 180885 0
[pid=27961/tid=27962] ppid=27959 vsize=724200 CPUtime=22.98
/proc/27961/task/27962/stat : 27962 (satake) D 27959 27961 27791 0 -1 4202560 1022 0 0 0 302 1996 0 0 20 0 17 0 630311935 741580800 140973 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=27961/tid=27963] ppid=27959 vsize=724200 CPUtime=8.94
/proc/27961/task/27963/stat : 27963 (satake) S 27959 27961 27791 0 -1 4202560 12245 0 0 0 726 168 0 0 20 0 17 0 630311935 741580800 140973 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=27961/tid=27964] ppid=27959 vsize=724200 CPUtime=9.8
/proc/27961/task/27964/stat : 27964 (satake) S 27959 27961 27791 0 -1 4202560 12472 0 0 0 816 164 0 0 20 0 17 0 630311935 741580800 140973 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=27961/tid=27965] ppid=27959 vsize=724200 CPUtime=9.24
/proc/27961/task/27965/stat : 27965 (satake) S 27959 27961 27791 0 -1 4202560 12372 0 0 0 760 164 0 0 20 0 17 0 630311935 741580800 140973 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=27961/tid=27966] ppid=27959 vsize=724200 CPUtime=10.7
/proc/27961/task/27966/stat : 27966 (satake) R 27959 27961 27791 0 -1 4202560 12564 0 0 0 902 168 0 0 20 0 17 0 630311935 741580800 140973 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=27961/tid=27967] ppid=27959 vsize=724200 CPUtime=10.8
/proc/27961/task/27967/stat : 27967 (satake) S 27959 27961 27791 0 -1 4202560 12327 0 0 0 888 192 0 0 20 0 17 0 630311935 741580800 140973 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=27961/tid=27968] ppid=27959 vsize=724200 CPUtime=11.7
/proc/27961/task/27968/stat : 27968 (satake) S 27959 27961 27791 0 -1 4202560 12101 0 0 0 992 178 0 0 20 0 17 0 630311936 741580800 140973 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=27961/tid=27969] ppid=27959 vsize=724200 CPUtime=10.14
/proc/27961/task/27969/stat : 27969 (satake) S 27959 27961 27791 0 -1 4202560 12405 0 0 0 828 186 0 0 20 0 17 0 630311936 741580800 140973 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=27961/tid=27970] ppid=27959 vsize=724200 CPUtime=9.74
/proc/27961/task/27970/stat : 27970 (satake) R 27959 27961 27791 0 -1 4202560 12310 0 0 0 790 184 0 0 20 0 17 0 630311936 741580800 140973 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134535625 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=27961/tid=27971] ppid=27959 vsize=724200 CPUtime=10.5
/proc/27961/task/27971/stat : 27971 (satake) S 27959 27961 27791 0 -1 4202560 12240 0 0 0 870 180 0 0 20 0 17 0 630311936 741580800 140973 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=27961/tid=27972] ppid=27959 vsize=724200 CPUtime=9.58
/proc/27961/task/27972/stat : 27972 (satake) R 27959 27961 27791 0 -1 4202560 12342 0 0 0 764 194 0 0 20 0 17 0 630311936 741580800 140973 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134521127 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=27961/tid=27973] ppid=27959 vsize=724200 CPUtime=11.16
/proc/27961/task/27973/stat : 27973 (satake) S 27959 27961 27791 0 -1 4202560 12111 0 0 0 920 196 0 0 20 0 17 0 630311936 741580800 140973 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=27961/tid=27974] ppid=27959 vsize=724200 CPUtime=9.84
/proc/27961/task/27974/stat : 27974 (satake) S 27959 27961 27791 0 -1 4202560 12367 0 0 0 790 194 0 0 20 0 17 0 630311936 741580800 140973 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=27961/tid=27975] ppid=27959 vsize=724200 CPUtime=10.74
/proc/27961/task/27975/stat : 27975 (satake) S 27959 27961 27791 0 -1 4202560 12429 0 0 0 868 206 0 0 20 0 17 0 630311936 741580800 140973 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=27961/tid=27976] ppid=27959 vsize=724200 CPUtime=10.7
/proc/27961/task/27976/stat : 27976 (satake) S 27959 27961 27791 0 -1 4202560 12306 0 0 0 880 190 0 0 20 0 17 0 630311936 741580800 140973 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=27961/tid=27977] ppid=27959 vsize=724200 CPUtime=10.12
/proc/27961/task/27977/stat : 27977 (satake) S 27959 27961 27791 0 -1 4202560 12295 0 0 0 832 180 0 0 20 0 17 0 630311936 741580800 140973 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 176.81
Current children cumulated vsize (KiB) 724200

[startup+59.1031 s]
/proc/loadavg: 5.35 6.64 4.76 4/201 27978
/proc/meminfo: memFree=18571540/36427776 swapFree=4588/573816
[pid=27961] ppid=27959 vsize=724200 CPUtime=180.62
/proc/27961/stat : 27961 (satake) S 27959 27961 27791 0 -1 4202496 186041 0 0 0 13212 4850 0 0 20 0 17 0 630311935 741580800 140980 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27961/statm: 181050 140980 68 164 0 180885 0
[pid=27961/tid=27962] ppid=27959 vsize=724200 CPUtime=23.72
/proc/27961/task/27962/stat : 27962 (satake) R 27959 27961 27791 0 -1 4202560 1024 0 0 0 314 2058 0 0 20 0 17 0 630311935 741580800 140980 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=27961/tid=27963] ppid=27959 vsize=724200 CPUtime=9.22
/proc/27961/task/27963/stat : 27963 (satake) S 27959 27961 27791 0 -1 4202560 12245 0 0 0 750 172 0 0 20 0 17 0 630311935 741580800 140980 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=27961/tid=27964] ppid=27959 vsize=724200 CPUtime=10.12
/proc/27961/task/27964/stat : 27964 (satake) S 27959 27961 27791 0 -1 4202560 12473 0 0 0 842 170 0 0 20 0 17 0 630311935 741580800 140980 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=27961/tid=27965] ppid=27959 vsize=724200 CPUtime=9.38
/proc/27961/task/27965/stat : 27965 (satake) S 27959 27961 27791 0 -1 4202560 12372 0 0 0 772 166 0 0 20 0 17 0 630311935 741580800 140980 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=27961/tid=27966] ppid=27959 vsize=724200 CPUtime=11.08
/proc/27961/task/27966/stat : 27966 (satake) S 27959 27961 27791 0 -1 4202560 12564 0 0 0 934 174 0 0 20 0 17 0 630311935 741580800 140980 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=27961/tid=27967] ppid=27959 vsize=724200 CPUtime=10.8
/proc/27961/task/27967/stat : 27967 (satake) S 27959 27961 27791 0 -1 4202560 12327 0 0 0 888 192 0 0 20 0 17 0 630311935 741580800 140980 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=27961/tid=27968] ppid=27959 vsize=724200 CPUtime=11.7
/proc/27961/task/27968/stat : 27968 (satake) S 27959 27961 27791 0 -1 4202560 12101 0 0 0 992 178 0 0 20 0 17 0 630311936 741580800 140980 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=27961/tid=27969] ppid=27959 vsize=724200 CPUtime=10.48
/proc/27961/task/27969/stat : 27969 (satake) S 27959 27961 27791 0 -1 4202560 12406 0 0 0 858 190 0 0 20 0 17 0 630311936 741580800 140980 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=27961/tid=27970] ppid=27959 vsize=724200 CPUtime=10.1
/proc/27961/task/27970/stat : 27970 (satake) S 27959 27961 27791 0 -1 4202560 12310 0 0 0 826 184 0 0 20 0 17 0 630311936 741580800 140980 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=27961/tid=27971] ppid=27959 vsize=724200 CPUtime=10.64
/proc/27961/task/27971/stat : 27971 (satake) R 27959 27961 27791 0 -1 4202560 12240 0 0 0 880 184 0 0 20 0 17 0 630311936 741580800 140980 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134520810 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=27961/tid=27972] ppid=27959 vsize=724200 CPUtime=9.72
/proc/27961/task/27972/stat : 27972 (satake) S 27959 27961 27791 0 -1 4202560 12342 0 0 0 778 194 0 0 20 0 17 0 630311936 741580800 140980 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=27961/tid=27973] ppid=27959 vsize=724200 CPUtime=11.44
/proc/27961/task/27973/stat : 27973 (satake) S 27959 27961 27791 0 -1 4202560 12112 0 0 0 944 200 0 0 20 0 17 0 630311936 741580800 140980 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=27961/tid=27974] ppid=27959 vsize=724200 CPUtime=9.84
/proc/27961/task/27974/stat : 27974 (satake) S 27959 27961 27791 0 -1 4202560 12367 0 0 0 790 194 0 0 20 0 17 0 630311936 741580800 140980 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=27961/tid=27975] ppid=27959 vsize=724200 CPUtime=11.18
/proc/27961/task/27975/stat : 27975 (satake) S 27959 27961 27791 0 -1 4202560 12430 0 0 0 906 212 0 0 20 0 17 0 630311936 741580800 140980 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=27961/tid=27976] ppid=27959 vsize=724200 CPUtime=10.9
/proc/27961/task/27976/stat : 27976 (satake) S 27959 27961 27791 0 -1 4202560 12306 0 0 0 896 194 0 0 20 0 17 0 630311936 741580800 140980 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=27961/tid=27977] ppid=27959 vsize=724200 CPUtime=10.14
/proc/27961/task/27977/stat : 27977 (satake) R 27959 27961 27791 0 -1 4202560 12296 0 0 0 834 180 0 0 20 0 17 0 630311936 741580800 140980 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 180.62
Current children cumulated vsize (KiB) 724200

[startup+59.904 s]
/proc/loadavg: 5.35 6.64 4.76 3/201 27978
/proc/meminfo: memFree=18571416/36427776 swapFree=4588/573856
[pid=27961] ppid=27959 vsize=724200 CPUtime=181.63
/proc/27961/stat : 27961 (satake) S 27959 27961 27791 0 -1 4202496 186047 0 0 0 13257 4906 0 0 20 0 17 0 630311935 741580800 140986 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27961/statm: 181050 140986 68 164 0 180885 0
[pid=27961/tid=27962] ppid=27959 vsize=724200 CPUtime=24.14
/proc/27961/task/27962/stat : 27962 (satake) D 27959 27961 27791 0 -1 4202560 1029 0 0 0 318 2096 0 0 20 0 17 0 630311935 741580800 140986 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=27961/tid=27963] ppid=27959 vsize=724200 CPUtime=9.22
/proc/27961/task/27963/stat : 27963 (satake) S 27959 27961 27791 0 -1 4202560 12245 0 0 0 750 172 0 0 20 0 17 0 630311935 741580800 140986 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=27961/tid=27964] ppid=27959 vsize=724200 CPUtime=10.12
/proc/27961/task/27964/stat : 27964 (satake) S 27959 27961 27791 0 -1 4202560 12473 0 0 0 842 170 0 0 20 0 17 0 630311935 741580800 140986 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=27961/tid=27965] ppid=27959 vsize=724200 CPUtime=9.38
/proc/27961/task/27965/stat : 27965 (satake) S 27959 27961 27791 0 -1 4202560 12372 0 0 0 772 166 0 0 20 0 17 0 630311935 741580800 140986 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=27961/tid=27966] ppid=27959 vsize=724200 CPUtime=11.08
/proc/27961/task/27966/stat : 27966 (satake) R 27959 27961 27791 0 -1 4202560 12564 0 0 0 934 174 0 0 20 0 17 0 630311935 741580800 140986 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=27961/tid=27967] ppid=27959 vsize=724200 CPUtime=10.84
/proc/27961/task/27967/stat : 27967 (satake) S 27959 27961 27791 0 -1 4202560 12327 0 0 0 888 196 0 0 20 0 17 0 630311935 741580800 140986 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=27961/tid=27968] ppid=27959 vsize=724200 CPUtime=11.72
/proc/27961/task/27968/stat : 27968 (satake) S 27959 27961 27791 0 -1 4202560 12101 0 0 0 994 178 0 0 20 0 17 0 630311936 741580800 140986 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=27961/tid=27969] ppid=27959 vsize=724200 CPUtime=10.48
/proc/27961/task/27969/stat : 27969 (satake) S 27959 27961 27791 0 -1 4202560 12406 0 0 0 858 190 0 0 20 0 17 0 630311936 741580800 140986 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=27961/tid=27970] ppid=27959 vsize=724200 CPUtime=10.16
/proc/27961/task/27970/stat : 27970 (satake) S 27959 27961 27791 0 -1 4202560 12310 0 0 0 830 186 0 0 20 0 17 0 630311936 741580800 140986 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=27961/tid=27971] ppid=27959 vsize=724200 CPUtime=10.74
/proc/27961/task/27971/stat : 27971 (satake) S 27959 27961 27791 0 -1 4202560 12240 0 0 0 890 184 0 0 20 0 17 0 630311936 741580800 140986 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=27961/tid=27972] ppid=27959 vsize=724200 CPUtime=9.78
/proc/27961/task/27972/stat : 27972 (satake) S 27959 27961 27791 0 -1 4202560 12342 0 0 0 778 200 0 0 20 0 17 0 630311936 741580800 140986 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=27961/tid=27973] ppid=27959 vsize=724200 CPUtime=11.44
/proc/27961/task/27973/stat : 27973 (satake) S 27959 27961 27791 0 -1 4202560 12112 0 0 0 944 200 0 0 20 0 17 0 630311936 741580800 140986 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=27961/tid=27974] ppid=27959 vsize=724200 CPUtime=9.98
/proc/27961/task/27974/stat : 27974 (satake) S 27959 27961 27791 0 -1 4202560 12368 0 0 0 800 198 0 0 20 0 17 0 630311936 741580800 140986 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=27961/tid=27975] ppid=27959 vsize=724200 CPUtime=11.18
/proc/27961/task/27975/stat : 27975 (satake) S 27959 27961 27791 0 -1 4202560 12430 0 0 0 906 212 0 0 20 0 17 0 630311936 741580800 140986 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=27961/tid=27976] ppid=27959 vsize=724200 CPUtime=10.9
/proc/27961/task/27976/stat : 27976 (satake) S 27959 27961 27791 0 -1 4202560 12306 0 0 0 896 194 0 0 20 0 17 0 630311936 741580800 140986 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=27961/tid=27977] ppid=27959 vsize=724200 CPUtime=10.3
/proc/27961/task/27977/stat : 27977 (satake) S 27959 27961 27791 0 -1 4202560 12296 0 0 0 848 182 0 0 20 0 17 0 630311936 741580800 140986 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 181.63
Current children cumulated vsize (KiB) 724200

[startup+60.7033 s]
/proc/loadavg: 5.35 6.64 4.76 3/201 27978
/proc/meminfo: memFree=18607244/36427776 swapFree=4588/531216
[pid=27961] ppid=27959 vsize=450332 CPUtime=186.78
/proc/27961/stat : 27961 (satake) S 27959 27961 27791 0 -1 4202496 186056 0 0 0 13457 5221 0 0 20 0 6 0 630311935 461139968 100636 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27961/statm: 112583 100636 77 164 0 112418 0
[pid=27961/tid=27962] ppid=27959 vsize=450332 CPUtime=24.44
/proc/27961/task/27962/stat : 27962 (satake) S 27959 27961 27791 0 -1 4202560 1029 0 0 0 330 2114 0 0 20 0 6 0 630311935 461139968 100636 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=27961/tid=27966] ppid=27959 vsize=450332 CPUtime=11.36
/proc/27961/task/27966/stat : 27966 (satake) S 27959 27961 27791 0 -1 4202560 12564 0 0 0 944 192 0 0 20 0 6 0 630311935 461139968 100636 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=27961/tid=27969] ppid=27959 vsize=450332 CPUtime=10.82
/proc/27961/task/27969/stat : 27969 (satake) S 27959 27961 27791 0 -1 4202560 12406 0 0 0 872 210 0 0 20 0 6 0 630311936 461139968 100636 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=27961/tid=27972] ppid=27959 vsize=450332 CPUtime=10.04
/proc/27961/task/27972/stat : 27972 (satake) S 27959 27961 27791 0 -1 4202560 12342 0 0 0 788 216 0 0 20 0 6 0 630311936 461139968 100636 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=27961/tid=27977] ppid=27959 vsize=450332 CPUtime=10.6
/proc/27961/task/27977/stat : 27977 (satake) R 27959 27961 27791 0 -1 4202560 12296 0 0 0 864 196 0 0 20 0 6 0 630311936 461139968 100636 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134666377 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 186.78
Current children cumulated vsize (KiB) 450332

[startup+60.904 s]
/proc/loadavg: 5.35 6.64 4.76 3/201 27978
/proc/meminfo: memFree=18607244/36427776 swapFree=4588/531216
[pid=27961] ppid=27959 vsize=411780 CPUtime=187.09
/proc/27961/stat : 27961 (satake) S 27959 27961 27791 0 -1 4202496 186056 0 0 0 13488 5221 0 0 20 0 3 0 630311935 421662720 94473 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27961/statm: 102945 94473 77 164 0 102780 0
[pid=27961/tid=27966] ppid=27959 vsize=411780 CPUtime=11.4
/proc/27961/task/27966/stat : 27966 (satake) S 27959 27961 27791 0 -1 4202560 12564 0 0 0 948 192 0 0 20 0 3 0 630311935 421662720 94473 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=27961/tid=27972] ppid=27959 vsize=411780 CPUtime=10.12
/proc/27961/task/27972/stat : 27972 (satake) R 27959 27961 27791 0 -1 4202560 12342 0 0 0 796 216 0 0 20 0 3 0 630311936 421662720 94473 18446744073709551615 134512640 135180984 4286758672 18446744073709551615 134670818 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 187.09
Current children cumulated vsize (KiB) 411780

Child status: 16
Real time (s): 60.9648
CPU time (s): 187.144
CPU user time (s): 134.888
CPU system time (s): 52.2553
CPU usage (%): 306.97
Max. virtual memory (cumulated for all children) (KiB): 875136


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 134.888
system time used= 52.2553
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186057
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= 3211737
involuntary context switches= 435171

runsolver used 0.32802 second user time and 0.672042 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 10:47:35
IDJOB=1775517
IDBENCH=20343
IDSOLVER=631
FILE ID=xenhost3-49/1775517-1244710055
PBS_JOBID=
Free space on /tmp= 7030 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/anbulagan/medium-unsat/total-5-11-u.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775517-1244710055/watcher-1775517-1244710055 -o /tmp/evaluation-result-1775517-1244710055/solver-1775517-1244710055 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775517-1244710055.cnf 16 10000

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

MD5SUM BENCH= 770fa9cd880a43d98e936f33f4e86d7a
RANDOM SEED= 1346811866

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:      19136108 kB
Buffers:        431816 kB
Cached:       14111340 kB
SwapCached:          0 kB
Active:        4076644 kB
Inactive:     10474264 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           12636 kB
Writeback:           0 kB
AnonPages:        7128 kB
Mapped:           3024 kB
Slab:           687300 kB
SReclaimable:   660628 kB
SUnreclaim:      26672 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= 7030 MiB
End job on xenhost3-49 at 2009-06-11 10:48:37