Trace number 1776235

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 (4 threads)UNSAT 333.57 437.561

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
MD5SUM738c5d916b76338511b77dbd47cdbc16
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark110.92
Satisfiable
(Un)Satisfiability was proved
Number of variables892
Number of clauses3006
Sum of the clauses size7828
Maximum clause length17
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 21283
Number of clauses of size 31676
Number of clauses of size 418
Number of clauses of size 516
Number of clauses of size over 510

Solver Data 

333.53/437.56	c Benchmark name    : HOME/instance-1776235-1243635808.cnf
333.53/437.56	c Thread Num        :            4
333.53/437.56	c restarts          :           21
333.53/437.56	c conflicts         :       751507
333.53/437.56	c decisions         :       887321           (     2029 / sec      )
333.53/437.56	c propagations      :    127526170           (   291593 / sec      )
333.53/437.56	c inspects          :    795736116           (  1819478 / sec      )
333.53/437.56	c conflict literals :     20861600           (    38.88 % deleted  )
333.53/437.56	c cpu time          :       437.34           
333.53/437.56	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1776235-1243635808/watcher-1776235-1243635808 -o /tmp/evaluation-result-1776235-1243635808/solver-1776235-1243635808 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776235-1243635808.cnf 4 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.93 6.27 6.57 11/116 2823
/proc/meminfo: memFree=1919816/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=1092 CPUtime=0
/proc/2820/stat : 2820 (satake) R 2818 2820 20665 0 -1 4202496 109 0 0 0 0 0 0 0 20 0 4 0 1117718098 1118208 66 4294967295 134512640 135180984 3214099600 3214098944 134705812 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 273 66 54 164 0 108 0
[pid=2820/tid=2821] ppid=2818 vsize=1092 CPUtime=0
/proc/2820/task/2821/stat : 2821 (satake) R 2818 2820 20665 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 1117718098 1118208 66 4294967295 134512640 135180984 3214099600 3086967620 134705812 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=1092 CPUtime=0
/proc/2820/task/2822/stat : 2822 (satake) R 2818 2820 20665 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 1117718098 1118208 66 4294967295 134512640 135180984 3214099600 3086902084 134705812 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2820/tid=2823] ppid=2818 vsize=1092 CPUtime=0
/proc/2820/task/2823/stat : 2823 (satake) R 2818 2820 20665 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 1117718098 1118208 66 4294967295 134512640 135180984 3214099600 3086836548 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.123256 s]
/proc/loadavg: 5.93 6.27 6.57 11/116 2823
/proc/meminfo: memFree=1919816/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=3192 CPUtime=0.1
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 396 0 0 0 10 0 0 0 20 0 5 0 1117718098 3268608 335 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 798 335 68 164 0 633 0
[pid=2820/tid=2821] ppid=2818 vsize=3192 CPUtime=0
/proc/2820/task/2821/stat : 2821 (satake) S 2818 2820 20665 0 -1 4202560 21 0 0 0 0 0 0 0 21 0 5 0 1117718098 3268608 335 4294967295 134512640 135180984 3214099600 3086966800 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=3192 CPUtime=0.07
/proc/2820/task/2822/stat : 2822 (satake) R 2818 2820 20665 0 -1 4202560 108 0 0 0 7 0 0 0 22 0 5 0 1117718098 3268608 335 4294967295 134512640 135180984 3214099600 3086900896 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2820/tid=2823] ppid=2818 vsize=3192 CPUtime=0.01
/proc/2820/task/2823/stat : 2823 (satake) S 2818 2820 20665 0 -1 4202560 81 0 0 0 1 0 0 0 21 0 5 0 1117718098 3268608 335 4294967295 134512640 135180984 3214099600 3086835360 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3192

[startup+0.208733 s]
/proc/loadavg: 5.93 6.27 6.57 11/116 2823
/proc/meminfo: memFree=1919816/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=3456 CPUtime=0.24
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 468 0 0 0 18 6 0 0 20 0 5 0 1117718098 3538944 407 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 864 407 68 164 0 699 0
[pid=2820/tid=2821] ppid=2818 vsize=3456 CPUtime=0.05
/proc/2820/task/2821/stat : 2821 (satake) S 2818 2820 20665 0 -1 4202560 33 0 0 0 3 2 0 0 20 0 5 0 1117718098 3538944 407 4294967295 134512640 135180984 3214099600 3086966800 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=3456 CPUtime=0.1
/proc/2820/task/2822/stat : 2822 (satake) R 2818 2820 20665 0 -1 4202560 131 0 0 0 9 1 0 0 21 0 5 0 1117718098 3538944 407 4294967295 134512640 135180984 3214099600 3086900900 134580588 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2820/tid=2823] ppid=2818 vsize=3456 CPUtime=0.06
/proc/2820/task/2823/stat : 2823 (satake) R 2818 2820 20665 0 -1 4202560 109 0 0 0 4 2 0 0 21 0 5 0 1117718098 3538944 407 4294967295 134512640 135180984 3214099600 3086835472 134524808 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 3456

[startup+0.308729 s]
/proc/loadavg: 5.93 6.27 6.57 11/116 2823
/proc/meminfo: memFree=1919816/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=3588 CPUtime=0.39
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 493 0 0 0 32 7 0 0 20 0 5 0 1117718098 3674112 432 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 897 432 68 164 0 732 0
[pid=2820/tid=2821] ppid=2818 vsize=3588 CPUtime=0.06
/proc/2820/task/2821/stat : 2821 (satake) S 2818 2820 20665 0 -1 4202560 38 0 0 0 4 2 0 0 19 0 5 0 1117718098 3674112 432 4294967295 134512640 135180984 3214099600 3086966800 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=3588 CPUtime=0.17
/proc/2820/task/2822/stat : 2822 (satake) R 2818 2820 20665 0 -1 4202560 137 0 0 0 16 1 0 0 21 0 5 0 1117718098 3674112 432 4294967295 134512640 135180984 3214099600 3086901008 134525015 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2820/tid=2823] ppid=2818 vsize=3588 CPUtime=0.11
/proc/2820/task/2823/stat : 2823 (satake) R 2818 2820 20665 0 -1 4202560 116 0 0 0 8 3 0 0 21 0 5 0 1117718098 3674112 432 4294967295 134512640 135180984 3214099600 3086835568 134528760 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 3588

[startup+0.708697 s]
/proc/loadavg: 5.93 6.27 6.57 11/116 2823
/proc/meminfo: memFree=1919816/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=3852 CPUtime=1
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 583 0 0 0 80 20 0 0 20 0 5 0 1117718098 3944448 522 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 963 522 68 164 0 798 0
[pid=2820/tid=2821] ppid=2818 vsize=3852 CPUtime=0.18
/proc/2820/task/2821/stat : 2821 (satake) S 2818 2820 20665 0 -1 4202560 59 0 0 0 9 9 0 0 15 0 5 0 1117718098 3944448 522 4294967295 134512640 135180984 3214099600 3086966800 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=3852 CPUtime=0.35
/proc/2820/task/2822/stat : 2822 (satake) R 2818 2820 20665 0 -1 4202560 170 0 0 0 34 1 0 0 22 0 5 0 1117718098 3944448 522 4294967295 134512640 135180984 3214099600 3086901120 134518722 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2820/tid=2823] ppid=2818 vsize=3852 CPUtime=0.31
/proc/2820/task/2823/stat : 2823 (satake) R 2818 2820 20665 0 -1 4202560 133 0 0 0 24 7 0 0 20 0 5 0 1117718098 3944448 522 4294967295 134512640 135180984 3214099600 3086835504 134523833 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 3852

[startup+1.50863 s]
/proc/loadavg: 5.93 6.27 6.57 6/118 2825
/proc/meminfo: memFree=1918336/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=4400 CPUtime=2.21
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 722 0 0 0 178 43 0 0 20 0 5 0 1117718098 4505600 661 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 1100 661 68 164 0 935 0
[pid=2820/tid=2821] ppid=2818 vsize=4400 CPUtime=0.37
/proc/2820/task/2821/stat : 2821 (satake) S 2818 2820 20665 0 -1 4202560 115 0 0 0 15 22 0 0 15 0 5 0 1117718098 4505600 661 4294967295 134512640 135180984 3214099600 3086966800 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=4400 CPUtime=0.81
/proc/2820/task/2822/stat : 2822 (satake) R 2818 2820 20665 0 -1 4202560 208 0 0 0 76 5 0 0 21 0 5 0 1117718098 4505600 661 4294967295 134512640 135180984 3214099600 3086901040 134523641 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2820/tid=2823] ppid=2818 vsize=4400 CPUtime=0.76
/proc/2820/task/2823/stat : 2823 (satake) R 2818 2820 20665 0 -1 4202560 170 0 0 0 66 10 0 0 20 0 5 0 1117718098 4505600 661 4294967295 134512640 135180984 3214099600 3086835364 134580588 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2820/tid=2825] ppid=2818 vsize=4400 CPUtime=0.27
/proc/2820/task/2825/stat : 2825 (satake) R 2818 2820 20665 0 -1 4202560 119 0 0 0 21 6 0 0 23 0 5 0 1117718100 4505600 661 4294967295 134512640 135180984 3214099600 3086630564 134580588 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 4400

[startup+3.10851 s]
/proc/loadavg: 5.93 6.27 6.57 9/118 2825
/proc/meminfo: memFree=1917360/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=5480 CPUtime=4.58
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 972 0 0 0 376 82 0 0 20 0 5 0 1117718098 5611520 911 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 1370 911 68 164 0 1205 0
[pid=2820/tid=2821] ppid=2818 vsize=5480 CPUtime=0.68
/proc/2820/task/2821/stat : 2821 (satake) S 2818 2820 20665 0 -1 4202560 194 0 0 0 26 42 0 0 15 0 5 0 1117718098 5611520 911 4294967295 134512640 135180984 3214099600 3086966800 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=5480 CPUtime=1.61
/proc/2820/task/2822/stat : 2822 (satake) R 2818 2820 20665 0 -1 4202560 255 0 0 0 152 9 0 0 20 0 5 0 1117718098 5611520 911 4294967295 134512640 135180984 3214099600 3086901008 134525183 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2820/tid=2823] ppid=2818 vsize=5480 CPUtime=1.53
/proc/2820/task/2823/stat : 2823 (satake) R 2818 2820 20665 0 -1 4202560 246 0 0 0 134 19 0 0 20 0 5 0 1117718098 5611520 911 4294967295 134512640 135180984 3214099600 3086835568 134526516 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2820/tid=2825] ppid=2818 vsize=5480 CPUtime=0.76
/proc/2820/task/2825/stat : 2825 (satake) R 2818 2820 20665 0 -1 4202560 167 0 0 0 64 12 0 0 25 0 5 0 1117718100 5611520 911 4294967295 134512640 135180984 3214099600 3086630564 134580588 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 5480

[startup+6.30825 s]
/proc/loadavg: 6.10 6.30 6.57 9/118 2826
/proc/meminfo: memFree=1915900/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=6804 CPUtime=8.93
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 1311 0 0 0 733 160 0 0 20 0 5 0 1117718098 6967296 1250 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 1701 1250 68 164 0 1536 0
[pid=2820/tid=2821] ppid=2818 vsize=6804 CPUtime=1.3
/proc/2820/task/2821/stat : 2821 (satake) S 2818 2820 20665 0 -1 4202560 340 0 0 0 45 85 0 0 16 0 5 0 1117718098 6967296 1250 4294967295 134512640 135180984 3214099600 3086966800 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=6804 CPUtime=2.91
/proc/2820/task/2822/stat : 2822 (satake) R 2818 2820 20665 0 -1 4202560 323 0 0 0 268 23 0 0 19 0 5 0 1117718098 6967296 1250 4294967295 134512640 135180984 3214099600 3086901104 134528470 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2820/tid=2823] ppid=2818 vsize=6804 CPUtime=2.99
/proc/2820/task/2823/stat : 2823 (satake) R 2818 2820 20665 0 -1 4202560 309 0 0 0 267 32 0 0 19 0 5 0 1117718098 6967296 1250 4294967295 134512640 135180984 3214099600 3086835568 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2820/tid=2825] ppid=2818 vsize=6804 CPUtime=1.73
/proc/2820/task/2825/stat : 2825 (satake) R 2818 2820 20665 0 -1 4202560 229 0 0 0 153 20 0 0 25 0 5 0 1117718100 6967296 1250 4294967295 134512640 135180984 3214099600 3086630768 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.93
Current children cumulated vsize (KiB) 6804

[startup+12.7078 s]
/proc/loadavg: 6.17 6.31 6.58 9/118 2827
/proc/meminfo: memFree=1912860/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=9760 CPUtime=20.03
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 2069 0 0 0 1676 327 0 0 20 0 5 0 1117718098 9994240 2008 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 2440 2008 68 164 0 2275 0
[pid=2820/tid=2821] ppid=2818 vsize=9760 CPUtime=2.59
/proc/2820/task/2821/stat : 2821 (satake) S 2818 2820 20665 0 -1 4202560 748 0 0 0 90 169 0 0 16 0 5 0 1117718098 9994240 2008 4294967295 134512640 135180984 3214099600 3086966800 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=9760 CPUtime=5.9
/proc/2820/task/2822/stat : 2822 (satake) R 2818 2820 20665 0 -1 4202560 424 0 0 0 546 44 0 0 24 0 5 0 1117718098 9994240 2008 4294967295 134512640 135180984 3214099600 3086901040 134523791 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2820/tid=2823] ppid=2818 vsize=9760 CPUtime=7.69
/proc/2820/task/2823/stat : 2823 (satake) R 2818 2820 20665 0 -1 4202560 488 0 0 0 702 67 0 0 16 0 5 0 1117718098 9994240 2008 4294967295 134512640 135180984 3214099600 3086835560 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2820/tid=2825] ppid=2818 vsize=9760 CPUtime=3.85
/proc/2820/task/2825/stat : 2825 (satake) R 2818 2820 20665 0 -1 4202560 299 0 0 0 338 47 0 0 25 0 5 0 1117718100 9994240 2008 4294967295 134512640 135180984 3214099600 3086630764 134518257 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20.03
Current children cumulated vsize (KiB) 9760

[startup+25.5068 s]
/proc/loadavg: 6.50 6.38 6.59 8/118 2829
/proc/meminfo: memFree=1906404/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=16612 CPUtime=42.48
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 3664 0 0 0 3529 719 0 0 20 0 5 0 1117718098 17010688 3603 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 4153 3603 68 164 0 3988 0
[pid=2820/tid=2821] ppid=2818 vsize=16612 CPUtime=5.54
/proc/2820/task/2821/stat : 2821 (satake) S 2818 2820 20665 0 -1 4202560 1746 0 0 0 196 358 0 0 15 0 5 0 1117718098 17010688 3603 4294967295 134512640 135180984 3214099600 3086966800 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=16612 CPUtime=10.96
/proc/2820/task/2822/stat : 2822 (satake) R 2818 2820 20665 0 -1 4202560 598 0 0 0 979 117 0 0 25 0 5 0 1117718098 17010688 3603 4294967295 134512640 135180984 3214099600 3086901104 134528698 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2820/tid=2823] ppid=2818 vsize=16612 CPUtime=17.33
/proc/2820/task/2823/stat : 2823 (satake) R 2818 2820 20665 0 -1 4202560 751 0 0 0 1588 145 0 0 16 0 5 0 1117718098 17010688 3603 4294967295 134512640 135180984 3214099600 3086835568 134528583 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2820/tid=2825] ppid=2818 vsize=16612 CPUtime=8.65
/proc/2820/task/2825/stat : 2825 (satake) R 2818 2820 20665 0 -1 4202560 459 0 0 0 766 99 0 0 25 0 5 0 1117718100 17010688 3603 4294967295 134512640 135180984 3214099600 3086630828 134532594 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 42.48
Current children cumulated vsize (KiB) 16612

[startup+51.1148 s]
/proc/loadavg: 6.77 6.45 6.61 8/119 2880
/proc/meminfo: memFree=1894204/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=28828 CPUtime=87.19
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 6451 0 0 0 7232 1487 0 0 20 0 5 0 1117718098 29519872 6390 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 7207 6390 68 164 0 7042 0
[pid=2820/tid=2821] ppid=2818 vsize=28828 CPUtime=11.12
/proc/2820/task/2821/stat : 2821 (satake) S 2818 2820 20665 0 -1 4202560 3677 0 0 0 375 737 0 0 15 0 5 0 1117718098 29519872 6390 4294967295 134512640 135180984 3214099600 3086966804 134580588 0 0 0 0 3223036975 0 0 -1 1 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=28828 CPUtime=20.35
/proc/2820/task/2822/stat : 2822 (satake) R 2818 2820 20665 0 -1 4202560 867 0 0 0 1797 238 0 0 25 0 5 0 1117718098 29519872 6390 4294967295 134512640 135180984 3214099600 3086900896 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2820/tid=2823] ppid=2818 vsize=28828 CPUtime=36.93
/proc/2820/task/2823/stat : 2823 (satake) S 2818 2820 20665 0 -1 4202560 1078 0 0 0 3413 280 0 0 15 0 5 0 1117718098 29519872 6390 4294967295 134512640 135180984 3214099600 3086835360 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=2820/tid=2825] ppid=2818 vsize=28828 CPUtime=18.79
/proc/2820/task/2825/stat : 2825 (satake) R 2818 2820 20665 0 -1 4202560 719 0 0 0 1647 232 0 0 25 0 5 0 1117718100 29519872 6390 4294967295 134512640 135180984 3214099600 3086630760 134519101 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 87.19
Current children cumulated vsize (KiB) 28828

[startup+102.311 s]
/proc/loadavg: 6.07 6.31 6.55 6/118 3023
/proc/meminfo: memFree=1889388/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=31200 CPUtime=96.16
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 6975 0 0 0 7933 1683 0 0 20 0 5 0 1117718098 31948800 6914 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 7800 6914 68 164 0 7635 0
[pid=2820/tid=2821] ppid=2818 vsize=31200 CPUtime=12.59
/proc/2820/task/2821/stat : 2821 (satake) S 2818 2820 20665 0 -1 4202560 4037 0 0 0 418 841 0 0 15 0 5 0 1117718098 31948800 6914 4294967295 134512640 135180984 3214099600 3086966800 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=31200 CPUtime=21.82
/proc/2820/task/2822/stat : 2822 (satake) S 2818 2820 20665 0 -1 4202560 893 0 0 0 1916 266 0 0 23 0 5 0 1117718098 31948800 6914 4294967295 134512640 135180984 3214099600 3086900896 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=2820/tid=2823] ppid=2818 vsize=31200 CPUtime=42.24
/proc/2820/task/2823/stat : 2823 (satake) S 2818 2820 20665 0 -1 4202560 1159 0 0 0 3910 314 0 0 15 0 5 0 1117718098 31948800 6914 4294967295 134512640 135180984 3214099600 3086835360 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0

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

[pid=2820] ppid=2818 vsize=67852 CPUtime=271.61
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 15079 0 0 0 22520 4641 0 0 20 0 5 0 1117718098 69480448 15018 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 16963 15018 68 164 0 16798 0
[pid=2820/tid=2821] ppid=2818 vsize=67852 CPUtime=33.17
/proc/2820/task/2821/stat : 2821 (satake) S 2818 2820 20665 0 -1 4202560 9414 0 0 0 946 2371 0 0 15 0 5 0 1117718098 69480448 15018 4294967295 134512640 135180984 3214099600 3086966800 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=67852 CPUtime=95.67
/proc/2820/task/2822/stat : 2822 (satake) R 2818 2820 20665 0 -1 4202560 2175 0 0 0 8832 735 0 0 16 0 5 0 1117718098 69480448 15018 4294967295 134512640 135180984 3214099600 3086900936 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2820/tid=2823] ppid=2818 vsize=67852 CPUtime=107.44
/proc/2820/task/2823/stat : 2823 (satake) R 2818 2820 20665 0 -1 4202560 2148 0 0 0 9888 856 0 0 16 0 5 0 1117718098 69480448 15018 4294967295 134512640 135180984 3214099600 3086835560 134519914 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2820/tid=2825] ppid=2818 vsize=67852 CPUtime=35.33
/proc/2820/task/2825/stat : 2825 (satake) R 2818 2820 20665 0 -1 4202560 1232 0 0 0 2854 679 0 0 25 0 5 0 1117718100 69480448 15018 4294967295 134512640 135180984 3214099600 3086630608 134521166 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 271.61
Current children cumulated vsize (KiB) 67852
heavy processes:
  %CPU=93 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=94 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=91 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=93 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

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

[startup+409.617 s]
/proc/loadavg: 7.13 6.35 6.46 6/118 3994
/proc/meminfo: memFree=1844808/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=71580 CPUtime=284.03
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 15787 0 0 0 23610 4793 0 0 20 0 5 0 1117718098 73297920 15726 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 17895 15727 68 164 0 17730 0
[pid=2820/tid=2821] ppid=2818 vsize=71580 CPUtime=34.2
/proc/2820/task/2821/stat : 2821 (satake) S 2818 2820 20665 0 -1 4202560 9826 0 0 0 979 2441 0 0 15 0 5 0 1117718098 73297920 15727 4294967295 134512640 135180984 3214099600 3086966804 134580588 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=71580 CPUtime=101.62
/proc/2820/task/2822/stat : 2822 (satake) S 2818 2820 20665 0 -1 4202560 2252 0 0 0 9399 763 0 0 19 0 5 0 1117718098 73297920 15727 4294967295 134512640 135180984 3214099600 3086900896 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2820/tid=2823] ppid=2818 vsize=71580 CPUtime=112.56
/proc/2820/task/2823/stat : 2823 (satake) S 2818 2820 20665 0 -1 4202560 2262 0 0 0 10368 888 0 0 17 0 5 0 1117718098 73297920 15727 4294967295 134512640 135180984 3214099600 3086835360 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=2820/tid=2825] ppid=2818 vsize=71580 CPUtime=35.65
/proc/2820/task/2825/stat : 2825 (satake) R 2818 2820 20665 0 -1 4202560 1338 0 0 0 2864 701 0 0 25 0 5 0 1117718100 73297920 15727 4294967295 134512640 135180984 3214099600 3086630560 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 284.03
Current children cumulated vsize (KiB) 71580

[startup+422.429 s]
/proc/loadavg: 7.17 6.39 6.47 8/118 4177
/proc/meminfo: memFree=1839644/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=75748 CPUtime=306.74
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 16828 0 0 0 25514 5160 0 0 20 0 5 0 1117718098 77565952 16767 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 18937 16767 68 164 0 18772 0
[pid=2820/tid=2821] ppid=2818 vsize=75748 CPUtime=36.84
/proc/2820/task/2821/stat : 2821 (satake) R 2818 2820 20665 0 -1 4202560 10545 0 0 0 1054 2630 0 0 15 0 5 0 1117718098 77565952 16768 4294967295 134512640 135180984 3214099600 3086966812 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=75748 CPUtime=107.21
/proc/2820/task/2822/stat : 2822 (satake) R 2818 2820 20665 0 -1 4202560 2304 0 0 0 9911 810 0 0 25 0 5 0 1117718098 77565952 16768 4294967295 134512640 135180984 3214099600 3086901104 134528698 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2820/tid=2823] ppid=2818 vsize=75748 CPUtime=122.46
/proc/2820/task/2823/stat : 2823 (satake) R 2818 2820 20665 0 -1 4202560 2331 0 0 0 11307 939 0 0 16 0 5 0 1117718098 77565952 16768 4294967295 134512640 135180984 3214099600 3086835360 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2820/tid=2825] ppid=2818 vsize=75748 CPUtime=40.23
/proc/2820/task/2825/stat : 2825 (satake) R 2818 2820 20665 0 -1 4202560 1539 0 0 0 3242 781 0 0 25 0 5 0 1117718100 77565952 16768 4294967295 134512640 135180984 3214099600 3086630564 134580588 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 306.74
Current children cumulated vsize (KiB) 75748

[startup+428.815 s]
/proc/loadavg: 7.24 6.42 6.48 9/118 4178
/proc/meminfo: memFree=1837840/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=77676 CPUtime=318.25
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 17347 0 0 0 26500 5325 0 0 20 0 5 0 1117718098 79540224 17286 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 19419 17286 68 164 0 19254 0
[pid=2820/tid=2821] ppid=2818 vsize=77676 CPUtime=37.99
/proc/2820/task/2821/stat : 2821 (satake) S 2818 2820 20665 0 -1 4202560 10932 0 0 0 1091 2708 0 0 16 0 5 0 1117718098 79540224 17286 4294967295 134512640 135180984 3214099600 3086966800 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=77676 CPUtime=109.83
/proc/2820/task/2822/stat : 2822 (satake) R 2818 2820 20665 0 -1 4202560 2332 0 0 0 10138 845 0 0 25 0 5 0 1117718098 79540224 17286 4294967295 134512640 135180984 3214099600 3086901036 134523872 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2820/tid=2823] ppid=2818 vsize=77676 CPUtime=127.59
/proc/2820/task/2823/stat : 2823 (satake) R 2818 2820 20665 0 -1 4202560 2386 0 0 0 11796 963 0 0 16 0 5 0 1117718098 79540224 17286 4294967295 134512640 135180984 3214099600 3086835472 134524836 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2820/tid=2825] ppid=2818 vsize=77676 CPUtime=42.85
/proc/2820/task/2825/stat : 2825 (satake) R 2818 2820 20665 0 -1 4202560 1587 0 0 0 3476 809 0 0 25 0 5 0 1117718100 79540224 17286 4294967295 134512640 135180984 3214099600 3086630768 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 318.25
Current children cumulated vsize (KiB) 77676

[startup+432.015 s]
/proc/loadavg: 7.30 6.44 6.49 8/118 4178
/proc/meminfo: memFree=1836364/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=78960 CPUtime=323.86
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 17629 0 0 0 26985 5401 0 0 20 0 5 0 1117718098 80855040 17568 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 19740 17568 68 164 0 19575 0
[pid=2820/tid=2821] ppid=2818 vsize=78960 CPUtime=38.63
/proc/2820/task/2821/stat : 2821 (satake) R 2818 2820 20665 0 -1 4202560 11135 0 0 0 1112 2751 0 0 15 0 5 0 1117718098 80855040 17568 4294967295 134512640 135180984 3214099600 3086966804 134580588 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=78960 CPUtime=111.08
/proc/2820/task/2822/stat : 2822 (satake) R 2818 2820 20665 0 -1 4202560 2356 0 0 0 10254 854 0 0 25 0 5 0 1117718098 80855040 17568 4294967295 134512640 135180984 3214099600 3086900900 134580588 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2820/tid=2823] ppid=2818 vsize=78960 CPUtime=130
/proc/2820/task/2823/stat : 2823 (satake) R 2818 2820 20665 0 -1 4202560 2408 0 0 0 12027 973 0 0 16 0 5 0 1117718098 80855040 17568 4294967295 134512640 135180984 3214099600 3086835568 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2820/tid=2825] ppid=2818 vsize=78960 CPUtime=44.15
/proc/2820/task/2825/stat : 2825 (satake) R 2818 2820 20665 0 -1 4202560 1620 0 0 0 3592 823 0 0 25 0 5 0 1117718100 80855040 17568 4294967295 134512640 135180984 3214099600 3086630768 134528468 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 323.86
Current children cumulated vsize (KiB) 78960

[startup+435.215 s]
/proc/loadavg: 7.44 6.48 6.50 8/118 4178
/proc/meminfo: memFree=1835152/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=80016 CPUtime=329.58
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 17952 0 0 0 27463 5495 0 0 20 0 5 0 1117718098 81936384 17891 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 20004 17891 68 164 0 19839 0
[pid=2820/tid=2821] ppid=2818 vsize=80016 CPUtime=39.28
/proc/2820/task/2821/stat : 2821 (satake) S 2818 2820 20665 0 -1 4202560 11358 0 0 0 1137 2791 0 0 16 0 5 0 1117718098 81936384 17891 4294967295 134512640 135180984 3214099600 3086966804 134580588 0 0 0 0 3223036975 0 0 -1 3 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=80016 CPUtime=112.27
/proc/2820/task/2822/stat : 2822 (satake) R 2818 2820 20665 0 -1 4202560 2378 0 0 0 10355 872 0 0 25 0 5 0 1117718098 81936384 17891 4294967295 134512640 135180984 3214099600 3086900896 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2820/tid=2823] ppid=2818 vsize=80016 CPUtime=132.52
/proc/2820/task/2823/stat : 2823 (satake) R 2818 2820 20665 0 -1 4202560 2452 0 0 0 12259 993 0 0 16 0 5 0 1117718098 81936384 17891 4294967295 134512640 135180984 3214099600 3086835632 134532467 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2820/tid=2825] ppid=2818 vsize=80016 CPUtime=45.52
/proc/2820/task/2825/stat : 2825 (satake) R 2818 2820 20665 0 -1 4202560 1654 0 0 0 3713 839 0 0 25 0 5 0 1117718100 81936384 17891 4294967295 134512640 135180984 3214099600 3086630760 134520907 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 329.58
Current children cumulated vsize (KiB) 80016

[startup+436.815 s]
/proc/loadavg: 7.44 6.48 6.50 8/118 4178
/proc/meminfo: memFree=1834384/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=80736 CPUtime=332.4
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 18127 0 0 0 27703 5537 0 0 20 0 5 0 1117718098 82673664 18066 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 20184 18066 68 164 0 20019 0
[pid=2820/tid=2821] ppid=2818 vsize=80736 CPUtime=39.58
/proc/2820/task/2821/stat : 2821 (satake) S 2818 2820 20665 0 -1 4202560 11461 0 0 0 1143 2815 0 0 15 0 5 0 1117718098 82673664 18066 4294967295 134512640 135180984 3214099600 3086966800 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=80736 CPUtime=113.01
/proc/2820/task/2822/stat : 2822 (satake) R 2818 2820 20665 0 -1 4202560 2392 0 0 0 10423 878 0 0 25 0 5 0 1117718098 82673664 18066 4294967295 134512640 135180984 3214099600 3086901104 134526496 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2820/tid=2823] ppid=2818 vsize=80736 CPUtime=133.74
/proc/2820/task/2823/stat : 2823 (satake) R 2818 2820 20665 0 -1 4202560 2490 0 0 0 12374 1000 0 0 16 0 5 0 1117718098 82673664 18066 4294967295 134512640 135180984 3214099600 3086835568 134528652 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2820/tid=2825] ppid=2818 vsize=80736 CPUtime=46.08
/proc/2820/task/2825/stat : 2825 (satake) R 2818 2820 20665 0 -1 4202560 1674 0 0 0 3764 844 0 0 25 0 5 0 1117718100 82673664 18066 4294967295 134512640 135180984 3214099600 3086630664 134519101 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 332.4
Current children cumulated vsize (KiB) 80736

[startup+437.215 s]
/proc/loadavg: 7.44 6.48 6.50 8/118 4178
/proc/meminfo: memFree=1834384/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=80736 CPUtime=333.09
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 18140 0 0 0 27765 5544 0 0 20 0 5 0 1117718098 82673664 18079 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 20184 18079 68 164 0 20019 0
[pid=2820/tid=2821] ppid=2818 vsize=80736 CPUtime=39.67
/proc/2820/task/2821/stat : 2821 (satake) S 2818 2820 20665 0 -1 4202560 11474 0 0 0 1148 2819 0 0 16 0 5 0 1117718098 82673664 18079 4294967295 134512640 135180984 3214099600 3086966800 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=80736 CPUtime=113.14
/proc/2820/task/2822/stat : 2822 (satake) R 2818 2820 20665 0 -1 4202560 2392 0 0 0 10436 878 0 0 25 0 5 0 1117718098 82673664 18079 4294967295 134512640 135180984 3214099600 3086901104 134528636 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2820/tid=2823] ppid=2818 vsize=80736 CPUtime=134.03
/proc/2820/task/2823/stat : 2823 (satake) R 2818 2820 20665 0 -1 4202560 2490 0 0 0 12400 1003 0 0 16 0 5 0 1117718098 82673664 18079 4294967295 134512640 135180984 3214099600 3086835520 134527270 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2820/tid=2825] ppid=2818 vsize=80736 CPUtime=46.25
/proc/2820/task/2825/stat : 2825 (satake) R 2818 2820 20665 0 -1 4202560 1674 0 0 0 3781 844 0 0 25 0 5 0 1117718100 82673664 18079 4294967295 134512640 135180984 3214099600 3086630768 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 333.09
Current children cumulated vsize (KiB) 80736

[startup+437.415 s]
/proc/loadavg: 7.44 6.48 6.50 8/118 4178
/proc/meminfo: memFree=1834384/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=80736 CPUtime=333.42
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 18153 0 0 0 27794 5548 0 0 20 0 4 0 1117718098 82673664 18092 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 20184 18092 77 164 0 20019 0
[pid=2820/tid=2821] ppid=2818 vsize=80736 CPUtime=39.75
/proc/2820/task/2821/stat : 2821 (satake) R 2818 2820 20665 0 -1 4202560 11478 0 0 0 1154 2821 0 0 15 0 4 0 1117718098 82673664 18092 4294967295 134512640 135180984 3214099600 3086967100 134670216 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=80736 CPUtime=113.21
/proc/2820/task/2822/stat : 2822 (satake) R 2818 2820 20665 0 -1 4202560 2392 0 0 0 10443 878 0 0 25 0 4 0 1117718098 82673664 18092 4294967295 134512640 135180984 3214099600 3086901104 134528696 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2820/tid=2825] ppid=2818 vsize=80736 CPUtime=46.3
/proc/2820/task/2825/stat : 2825 (satake) R 2818 2820 20665 0 -1 4202560 1674 0 0 0 3786 844 0 0 25 0 4 0 1117718100 82673664 18092 4294967295 134512640 135180984 3214099600 3086630688 134519095 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 333.42
Current children cumulated vsize (KiB) 80736

[startup+437.515 s]
/proc/loadavg: 7.44 6.48 6.50 8/118 4178
/proc/meminfo: memFree=1834384/3368532 swapFree=1952996/1959888
[pid=2820] ppid=2818 vsize=78172 CPUtime=333.53
/proc/2820/stat : 2820 (satake) S 2818 2820 20665 0 -1 4202496 18153 0 0 0 27805 5548 0 0 20 0 4 0 1117718098 80048128 17545 4294967295 134512640 135180984 3214099600 3214099036 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2820/statm: 19543 17545 77 164 0 19378 0
[pid=2820/tid=2821] ppid=2818 vsize=78172 CPUtime=39.85
/proc/2820/task/2821/stat : 2821 (satake) R 2818 2820 20665 0 -1 4202560 11478 0 0 0 1164 2821 0 0 16 0 4 0 1117718098 80048128 17545 4294967295 134512640 135180984 3214099600 3086966992 134666427 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2820/tid=2822] ppid=2818 vsize=78172 CPUtime=113.22
/proc/2820/task/2822/stat : 2822 (satake) S 2818 2820 20665 0 -1 4202560 2392 0 0 0 10444 878 0 0 25 0 4 0 1117718098 80048128 17545 4294967295 134512640 135180984 3214099600 3086901640 134579486 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2820/tid=2825] ppid=2818 vsize=78172 CPUtime=46.3
/proc/2820/task/2825/stat : 2825 (satake) R 2818 2820 20665 0 -1 4202560 1674 0 0 0 3786 844 0 0 25 0 4 0 1117718100 80048128 17545 4294967295 134512640 135180984 3214099600 3086630688 134519095 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 333.53
Current children cumulated vsize (KiB) 78172

Child status: 4
Real time (s): 437.561
CPU time (s): 333.57
CPU user time (s): 278.09
CPU system time (s): 55.48
CPU usage (%): 76.2339
Max. virtual memory (cumulated for all children) (KiB): 80736


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 278.09
system time used= 55.48
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18154
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= 10447826
involuntary context switches= 9652184

runsolver used 0.01 second user time and 0.03 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-30 00:23:28
IDJOB=1776235
IDBENCH=20471
IDSOLVER=629
FILE ID=tipi45/1776235-1243635808
PBS_JOBID=
Free space on /tmp= 15502 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.9.unsat.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776235-1243635808/watcher-1776235-1243635808 -o /tmp/evaluation-result-1776235-1243635808/solver-1776235-1243635808 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776235-1243635808.cnf 4 10000

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

MD5SUM BENCH= 738c5d916b76338511b77dbd47cdbc16
RANDOM SEED= 131504272

Linux tipi45 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.081
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.41
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.081
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.10
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.081
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.16
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.081
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       1919964 kB
Buffers:        147244 kB
Cached:         908224 kB
SwapCached:       2100 kB
Active:        1215780 kB
Inactive:       134292 kB
HighTotal:     2489216 kB
HighFree:      1283408 kB
LowTotal:       879316 kB
LowFree:        636556 kB
SwapTotal:     1959888 kB
SwapFree:      1952996 kB
Dirty:            4076 kB
Writeback:           0 kB
AnonPages:      293684 kB
Mapped:           6320 kB
Slab:            85584 kB
SReclaimable:    73820 kB
SUnreclaim:      11764 kB
PageTables:        956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   381636 kB
VmallocTotal:   114680 kB
VmallocUsed:     17900 kB
VmallocChunk:    96244 kB

Free space on /tmp at the end= 15502 MiB
End job on tipi45 at 2009-05-30 00:30:46