Trace number 1780270

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)? (TO) 775.26 1000.08

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_L200_coli.sat.cnf
MD5SUM853982f8646333d217e35d938b7eb00b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark895.28
Satisfiable
(Un)Satisfiability was proved
Number of variables670867
Number of clauses3513333
Sum of the clauses size10259569
Maximum clause length11
Minimum clause length1
Number of clauses of size 159077
Number of clauses of size 2795777
Number of clauses of size 32146608
Number of clauses of size 4393835
Number of clauses of size 5117437
Number of clauses of size over 5599

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1780270-1243647001/watcher-1780270-1243647001 -o /tmp/evaluation-result-1780270-1243647001/solver-1780270-1243647001 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780270-1243647001.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: 6.77 7.22 6.84 8/117 6210
/proc/meminfo: memFree=2303940/3368532 swapFree=1953000/1959888
[pid=6206] ppid=6204 vsize=33932 CPUtime=0.03
/proc/6206/stat : 6206 (satake) S 6204 6206 20665 0 -1 4202496 4789 0 0 0 0 3 0 0 18 0 5 0 1118838228 34746368 4746 4294967295 134512640 135180984 3213911136 3213910572 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/6206/statm: 8483 4749 63 164 0 8318 0
[pid=6206/tid=6207] ppid=6204 vsize=33932 CPUtime=0
/proc/6206/task/6207/stat : 6207 (satake) S 6204 6206 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1118838236 34746368 4902 4294967295 134512640 135180984 3213911136 3085967376 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=33932 CPUtime=0.03
/proc/6206/task/6208/stat : 6208 (satake) R 6204 6206 20665 0 -1 4202560 4833 0 0 0 0 3 0 0 20 0 5 0 1118838236 34746368 4907 4294967295 134512640 135180984 3213911136 3085902116 134583077 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=33932 CPUtime=0
/proc/6206/task/6209/stat : 6209 (satake) R 6204 6206 20665 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1118838236 34746368 4912 4294967295 134512640 135180984 3213911136 3085837124 134705812 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6206/tid=6210] ppid=6204 vsize=33932 CPUtime=0
/proc/6206/task/6210/stat : 6210 (satake) R 6204 6206 20665 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1118838236 34746368 4917 4294967295 134512640 135180984 3213911136 3085771588 134705812 0 0 0 0 0 0 0 -1 3 0 0 0

[startup+0.315897 s]
/proc/loadavg: 6.77 7.22 6.84 8/117 6210
/proc/meminfo: memFree=2303940/3368532 swapFree=1953000/1959888
[pid=6206] ppid=6204 vsize=171196 CPUtime=0.28
/proc/6206/stat : 6206 (satake) S 6204 6206 20665 0 -1 4202496 39499 0 0 0 1 27 0 0 18 0 5 0 1118838228 175304704 39456 4294967295 134512640 135180984 3213911136 3213910572 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/6206/statm: 42799 39471 63 164 0 42634 0
[pid=6206/tid=6207] ppid=6204 vsize=171196 CPUtime=0
/proc/6206/task/6207/stat : 6207 (satake) S 6204 6206 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1118838236 175304704 39477 4294967295 134512640 135180984 3213911136 3085967376 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=171196 CPUtime=0.1
/proc/6206/task/6208/stat : 6208 (satake) R 6204 6206 20665 0 -1 4202560 14295 0 0 0 0 10 0 0 21 0 5 0 1118838236 175304704 39485 4294967295 134512640 135180984 3213911136 3085902116 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=171196 CPUtime=0.13
/proc/6206/task/6209/stat : 6209 (satake) R 6204 6206 20665 0 -1 4202560 17892 0 0 0 1 12 0 0 21 0 5 0 1118838236 175304704 39493 4294967295 134512640 135180984 3213911136 3085836516 134680956 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6206/tid=6210] ppid=6204 vsize=171196 CPUtime=0.05
/proc/6206/task/6210/stat : 6210 (satake) R 6204 6206 20665 0 -1 4202560 7232 0 0 0 0 5 0 0 20 0 5 0 1118838236 175304704 39501 4294967295 134512640 135180984 3213911136 3085771044 134583077 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 171196

[startup+0.411077 s]
/proc/loadavg: 6.77 7.22 6.84 8/117 6210
/proc/meminfo: memFree=2303940/3368532 swapFree=1953000/1959888
[pid=6206] ppid=6204 vsize=290504 CPUtime=0.42
/proc/6206/stat : 6206 (satake) S 6204 6206 20665 0 -1 4202496 53862 0 0 0 5 37 0 0 18 0 5 0 1118838228 297476096 53794 4294967295 134512640 135180984 3213911136 3213910572 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/6206/statm: 72626 53797 63 164 0 72461 0
[pid=6206/tid=6207] ppid=6204 vsize=290504 CPUtime=0
/proc/6206/task/6207/stat : 6207 (satake) S 6204 6206 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1118838236 297476096 53801 4294967295 134512640 135180984 3213911136 3085967376 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=290504 CPUtime=0.15
/proc/6206/task/6208/stat : 6208 (satake) R 6204 6206 20665 0 -1 4202560 18721 0 0 0 2 13 0 0 21 0 5 0 1118838236 297476096 53802 4294967295 134512640 135180984 3213911136 3085902076 134522603 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=290504 CPUtime=0.15
/proc/6206/task/6209/stat : 6209 (satake) R 6204 6206 20665 0 -1 4202560 19759 0 0 0 3 12 0 0 21 0 5 0 1118838236 297476096 53804 4294967295 134512640 135180984 3213911136 3085836528 134522598 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6206/tid=6210] ppid=6204 vsize=290504 CPUtime=0.12
/proc/6206/task/6210/stat : 6210 (satake) R 6204 6206 20665 0 -1 4202560 15275 0 0 0 0 12 0 0 21 0 5 0 1118838236 297476096 53806 4294967295 134512640 135180984 3213911136 3085771044 134583077 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 290504

[startup+0.511076 s]
/proc/loadavg: 6.77 7.22 6.84 8/117 6210
/proc/meminfo: memFree=2303940/3368532 swapFree=1953000/1959888
[pid=6206] ppid=6204 vsize=312908 CPUtime=0.55
/proc/6206/stat : 6206 (satake) S 6204 6206 20665 0 -1 4202496 65339 0 0 0 15 40 0 0 18 0 5 0 1118838228 320417792 65270 4294967295 134512640 135180984 3213911136 3213910572 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/6206/statm: 78227 65273 63 164 0 78062 0
[pid=6206/tid=6207] ppid=6204 vsize=312908 CPUtime=0
/proc/6206/task/6207/stat : 6207 (satake) S 6204 6206 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1118838236 320417792 65275 4294967295 134512640 135180984 3213911136 3085967376 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=312908 CPUtime=0.18
/proc/6206/task/6208/stat : 6208 (satake) R 6204 6206 20665 0 -1 4202560 21526 0 0 0 5 13 0 0 21 0 5 0 1118838236 320417792 65277 4294967295 134512640 135180984 3213911136 3085902064 134522560 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=312908 CPUtime=0.24
/proc/6206/task/6209/stat : 6209 (satake) R 6204 6206 20665 0 -1 4202560 25579 0 0 0 9 15 0 0 21 0 5 0 1118838236 320417792 65277 4294967295 134512640 135180984 3213911136 3085836544 134522209 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6206/tid=6210] ppid=6204 vsize=312908 CPUtime=0.13
/proc/6206/task/6210/stat : 6210 (satake) R 6204 6206 20665 0 -1 4202560 18124 0 0 0 1 12 0 0 21 0 5 0 1118838236 320417792 65277 4294967295 134512640 135180984 3213911136 3085770944 134522980 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 312908

[startup+0.711055 s]
/proc/loadavg: 6.77 7.22 6.84 8/117 6210
/proc/meminfo: memFree=2303940/3368532 swapFree=1953000/1959888
[pid=6206] ppid=6204 vsize=378840 CPUtime=0.82
/proc/6206/stat : 6206 (satake) S 6204 6206 20665 0 -1 4202496 80942 0 0 0 34 48 0 0 18 0 5 0 1118838228 387932160 80860 4294967295 134512640 135180984 3213911136 3213910572 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/6206/statm: 94710 80863 63 164 0 94545 0
[pid=6206/tid=6207] ppid=6204 vsize=378840 CPUtime=0
/proc/6206/task/6207/stat : 6207 (satake) S 6204 6206 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1118838236 387932160 80864 4294967295 134512640 135180984 3213911136 3085967376 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=378840 CPUtime=0.25
/proc/6206/task/6208/stat : 6208 (satake) R 6204 6206 20665 0 -1 4202560 27227 0 0 0 11 14 0 0 21 0 5 0 1118838236 387932160 80866 4294967295 134512640 135180984 3213911136 3085902112 134513741 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=378840 CPUtime=0.32
/proc/6206/task/6209/stat : 6209 (satake) R 6204 6206 20665 0 -1 4202560 27769 0 0 0 15 17 0 0 21 0 5 0 1118838236 387932160 80867 4294967295 134512640 135180984 3213911136 3085836436 134579486 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6206/tid=6210] ppid=6204 vsize=378840 CPUtime=0.25
/proc/6206/task/6210/stat : 6210 (satake) R 6204 6206 20665 0 -1 4202560 25838 0 0 0 8 17 0 0 21 0 5 0 1118838236 387932160 80870 4294967295 134512640 135180984 3213911136 3085771008 134522209 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 378840

[startup+1.51099 s]
/proc/loadavg: 6.77 7.22 6.84 8/118 6212
/proc/meminfo: memFree=1940008/3368532 swapFree=1953000/1959888
[pid=6206] ppid=6204 vsize=439904 CPUtime=2.02
/proc/6206/stat : 6206 (satake) S 6204 6206 20665 0 -1 4202496 100024 0 0 0 149 53 0 0 18 0 5 0 1118838228 450461696 99942 4294967295 134512640 135180984 3213911136 3213910572 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/6206/statm: 109976 99944 63 164 0 109811 0
[pid=6206/tid=6207] ppid=6204 vsize=439904 CPUtime=0
/proc/6206/task/6207/stat : 6207 (satake) S 6204 6206 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1118838236 450461696 99944 4294967295 134512640 135180984 3213911136 3085967376 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=439904 CPUtime=0.65
/proc/6206/task/6208/stat : 6208 (satake) R 6204 6206 20665 0 -1 4202560 33365 0 0 0 49 16 0 0 19 0 5 0 1118838236 450461696 99944 4294967295 134512640 135180984 3213911136 3085902112 134513632 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=439904 CPUtime=0.96
/proc/6206/task/6209/stat : 6209 (satake) R 6204 6206 20665 0 -1 4202560 37328 0 0 0 78 18 0 0 19 0 5 0 1118838236 450461696 99944 4294967295 134512640 135180984 3213911136 3085836260 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6206/tid=6210] ppid=6204 vsize=439904 CPUtime=0.41
/proc/6206/task/6210/stat : 6210 (satake) R 6204 6206 20665 0 -1 4202560 29216 0 0 0 22 19 0 0 21 0 5 0 1118838236 450461696 99944 4294967295 134512640 135180984 3213911136 3085770900 134579486 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 439904

[startup+3.11087 s]
/proc/loadavg: 6.87 7.23 6.84 9/118 6212
/proc/meminfo: memFree=1849980/3368532 swapFree=1953000/1959888
[pid=6206] ppid=6204 vsize=635508 CPUtime=4.59
/proc/6206/stat : 6206 (satake) S 6204 6206 20665 0 -1 4202496 136222 0 0 0 397 62 0 0 18 0 5 0 1118838228 650760192 136140 4294967295 134512640 135180984 3213911136 3213910572 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/6206/statm: 158877 136140 63 164 0 158712 0
[pid=6206/tid=6207] ppid=6204 vsize=635508 CPUtime=0
/proc/6206/task/6207/stat : 6207 (satake) S 6204 6206 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1118838236 650760192 136140 4294967295 134512640 135180984 3213911136 3085967376 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=635508 CPUtime=1.62
/proc/6206/task/6208/stat : 6208 (satake) R 6204 6206 20665 0 -1 4202560 48604 0 0 0 144 18 0 0 16 0 5 0 1118838236 650760192 136142 4294967295 134512640 135180984 3213911136 3085901796 134675767 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=635508 CPUtime=2.55
/proc/6206/task/6209/stat : 6209 (satake) R 6204 6206 20665 0 -1 4202560 57744 0 0 0 230 25 0 0 18 0 5 0 1118838236 650760192 136142 4294967295 134512640 135180984 3213911136 3085836376 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6206/tid=6210] ppid=6204 vsize=635508 CPUtime=0.42
/proc/6206/task/6210/stat : 6210 (satake) R 6204 6206 20665 0 -1 4202560 29759 0 0 0 23 19 0 0 20 0 5 0 1118838236 650760192 136142 4294967295 134512640 135180984 3213911136 3085771000 134519907 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 635508

[startup+6.31062 s]
/proc/loadavg: 6.87 7.23 6.84 8/118 6212
/proc/meminfo: memFree=1676456/3368532 swapFree=1953000/1959888
[pid=6206] ppid=6204 vsize=751148 CPUtime=10.45
/proc/6206/stat : 6206 (satake) S 6204 6206 20665 0 -1 4202496 164494 0 0 0 976 69 0 0 18 0 5 0 1118838228 769175552 164412 4294967295 134512640 135180984 3213911136 3213910572 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/6206/statm: 187787 164412 64 164 0 187622 0
[pid=6206/tid=6207] ppid=6204 vsize=751148 CPUtime=0
/proc/6206/task/6207/stat : 6207 (satake) S 6204 6206 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1118838236 769175552 164414 4294967295 134512640 135180984 3213911136 3085967376 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=751148 CPUtime=4.28
/proc/6206/task/6208/stat : 6208 (satake) R 6204 6206 20665 0 -1 4202560 66186 0 0 0 405 23 0 0 16 0 5 0 1118838236 769175552 164415 4294967295 134512640 135180984 3213911136 3085902024 134520871 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=751148 CPUtime=5.53
/proc/6206/task/6209/stat : 6209 (satake) R 6204 6206 20665 0 -1 4202560 65161 0 0 0 526 27 0 0 19 0 5 0 1118838236 769175552 164415 4294967295 134512640 135180984 3213911136 3085836488 134520873 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6206/tid=6210] ppid=6204 vsize=751148 CPUtime=0.64
/proc/6206/task/6210/stat : 6210 (satake) R 6204 6206 20665 0 -1 4202560 33033 0 0 0 45 19 0 0 20 0 5 0 1118838236 769175552 164415 4294967295 134512640 135180984 3213911136 3085770840 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.45
Current children cumulated vsize (KiB) 751148

[startup+12.7101 s]
/proc/loadavg: 6.96 7.24 6.85 9/118 6212
/proc/meminfo: memFree=1534112/3368532 swapFree=1953000/1959888
[pid=6206] ppid=6204 vsize=907720 CPUtime=21.42
/proc/6206/stat : 6206 (satake) S 6204 6206 20665 0 -1 4202496 196703 0 0 0 2065 77 0 0 18 0 5 0 1118838228 929505280 196621 4294967295 134512640 135180984 3213911136 3213910572 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/6206/statm: 226930 196621 64 164 0 226765 0
[pid=6206/tid=6207] ppid=6204 vsize=907720 CPUtime=0
/proc/6206/task/6207/stat : 6207 (satake) S 6204 6206 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1118838236 929505280 196621 4294967295 134512640 135180984 3213911136 3085967376 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=907720 CPUtime=8.85
/proc/6206/task/6208/stat : 6208 (satake) R 6204 6206 20665 0 -1 4202560 66186 0 0 0 862 23 0 0 22 0 5 0 1118838236 929505280 196621 4294967295 134512640 135180984 3213911136 3085902024 134520871 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=907720 CPUtime=8.66
/proc/6206/task/6209/stat : 6209 (satake) R 6204 6206 20665 0 -1 4202560 65161 0 0 0 839 27 0 0 25 0 5 0 1118838236 929505280 196621 4294967295 134512640 135180984 3213911136 3085836488 134520873 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6206/tid=6210] ppid=6204 vsize=907720 CPUtime=3.91
/proc/6206/task/6210/stat : 6210 (satake) R 6204 6206 20665 0 -1 4202560 65239 0 0 0 364 27 0 0 25 0 5 0 1118838236 929505280 196621 4294967295 134512640 135180984 3213911136 3085770960 134520773 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 21.42
Current children cumulated vsize (KiB) 907720

[startup+25.5091 s]
/proc/loadavg: 7.03 7.25 6.86 7/118 6212
/proc/meminfo: memFree=1625764/3368532 swapFree=1953000/1959888
[pid=6206] ppid=6204 vsize=814412 CPUtime=33.39
/proc/6206/stat : 6206 (satake) S 6204 6206 20665 0 -1 4202496 209372 0 0 0 3256 83 0 0 18 0 5 0 1118838228 833957888 173598 4294967295 134512640 135180984 3213911136 3213910572 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/6206/statm: 203603 173598 68 164 0 203438 0
[pid=6206/tid=6207] ppid=6204 vsize=814412 CPUtime=0.19
/proc/6206/task/6207/stat : 6207 (satake) S 6204 6206 20665 0 -1 4202560 11229 0 0 0 16 3 0 0 16 0 5 0 1118838236 833957888 173598 4294967295 134512640 135180984 3213911136 3085967380 134580588 0 0 0 0 3223036975 0 0 -1 3 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=814412 CPUtime=11.42
/proc/6206/task/6208/stat : 6208 (satake) R 6204 6206 20665 0 -1 4202560 66917 0 0 0 1117 25 0 0 25 0 5 0 1118838236 833957888 173598 4294967295 134512640 135180984 3213911136 3085901484 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=814412 CPUtime=11.97
/proc/6206/task/6209/stat : 6209 (satake) S 6204 6206 20665 0 -1 4202560 65877 0 0 0 1169 28 0 0 18 0 5 0 1118838236 833957888 173598 4294967295 134512640 135180984 3213911136 3085835936 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=6206/tid=6210] ppid=6204 vsize=814412 CPUtime=9.81
/proc/6206/task/6210/stat : 6210 (satake) R 6204 6206 20665 0 -1 4202560 65239 0 0 0 954 27 0 0 25 0 5 0 1118838236 833957888 173598 4294967295 134512640 135180984 3213911136 3085770960 134520798 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 33.39
Current children cumulated vsize (KiB) 814412

[startup+51.1071 s]
/proc/loadavg: 7.32 7.29 6.88 8/118 6397
/proc/meminfo: memFree=1691272/3368532 swapFree=1953000/1959888
[pid=6206] ppid=6204 vsize=745460 CPUtime=51.09
/proc/6206/stat : 6206 (satake) S 6204 6206 20665 0 -1 4202496 210300 0 0 0 4996 113 0 0 18 0 5 0 1118838228 763351040 156680 4294967295 134512640 135180984 3213911136 3213910572 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/6206/statm: 186365 156680 68 164 0 186200 0
[pid=6206/tid=6207] ppid=6204 vsize=745460 CPUtime=0.37
/proc/6206/task/6207/stat : 6207 (satake) S 6204 6206 20665 0 -1 4202560 11241 0 0 0 18 19 0 0 15 0 5 0 1118838236 763351040 156680 4294967295 134512640 135180984 3213911136 3085967376 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=745460 CPUtime=14.99
/proc/6206/task/6208/stat : 6208 (satake) S 6204 6206 20665 0 -1 4202560 66987 0 0 0 1469 30 0 0 25 0 5 0 1118838236 763351040 156680 4294967295 134512640 135180984 3213911136 3085901472 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=745460 CPUtime=19.81
/proc/6206/task/6209/stat : 6209 (satake) R 6204 6206 20665 0 -1 4202560 65936 0 0 0 1949 32 0 0 25 0 5 0 1118838236 763351040 156680 4294967295 134512640 135180984 3213911136 3085836076 134520865 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6206/tid=6210] ppid=6204 vsize=745460 CPUtime=15.92
/proc/6206/task/6210/stat : 6210 (satake) R 6204 6206 20665 0 -1 4202560 66026 0 0 0 1560 32 0 0 25 0 5 0 1118838236 763351040 156680 4294967295 134512640 135180984 3213911136 3085770412 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 745460

[startup+102.313 s]
/proc/loadavg: 7.20 7.25 6.88 8/118 6584

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

/proc/6206/stat : 6206 (satake) S 6204 6206 20665 0 -1 4202496 222313 0 0 0 51428 865 0 0 18 0 5 0 1118838228 812007424 168693 4294967295 134512640 135180984 3213911136 3213910572 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/6206/statm: 198244 168693 68 164 0 198079 0
[pid=6206/tid=6207] ppid=6204 vsize=792976 CPUtime=6.73
/proc/6206/task/6207/stat : 6207 (satake) S 6204 6206 20665 0 -1 4202560 13650 0 0 0 226 447 0 0 15 0 5 0 1118838236 812007424 168693 4294967295 134512640 135180984 3213911136 3085967376 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=792976 CPUtime=169.2
/proc/6206/task/6208/stat : 6208 (satake) S 6204 6206 20665 0 -1 4202560 70184 0 0 0 16791 129 0 0 25 0 5 0 1118838236 812007424 168693 4294967295 134512640 135180984 3213911136 3085901472 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=792976 CPUtime=173.27
/proc/6206/task/6209/stat : 6209 (satake) R 6204 6206 20665 0 -1 4202560 69328 0 0 0 17172 155 0 0 25 0 5 0 1118838236 812007424 168693 4294967295 134512640 135180984 3213911136 3085835948 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6206/tid=6210] ppid=6204 vsize=792976 CPUtime=173.73
/proc/6206/task/6210/stat : 6210 (satake) S 6204 6206 20665 0 -1 4202560 69041 0 0 0 17239 134 0 0 23 0 5 0 1118838236 812007424 168693 4294967295 134512640 135180984 3213911136 3085770400 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 522.93
Current children cumulated vsize (KiB) 792976
heavy processes:
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+762.302 s]
/proc/loadavg: 5.74 6.29 6.56 7/118 8672
/proc/meminfo: memFree=1617220/3368532 swapFree=1953000/1959888
[pid=6206] ppid=6204 vsize=797528 CPUtime=553.54
/proc/6206/stat : 6206 (satake) S 6204 6206 20665 0 -1 4202496 223099 0 0 0 54451 903 0 0 18 0 5 0 1118838228 816668672 169479 4294967295 134512640 135180984 3213911136 3213910572 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/6206/statm: 199382 169479 68 164 0 199217 0
[pid=6206/tid=6207] ppid=6204 vsize=797528 CPUtime=7.08
/proc/6206/task/6207/stat : 6207 (satake) S 6204 6206 20665 0 -1 4202560 13770 0 0 0 238 470 0 0 15 0 5 0 1118838236 816668672 169479 4294967295 134512640 135180984 3213911136 3085967376 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=797528 CPUtime=178.36
/proc/6206/task/6208/stat : 6208 (satake) S 6204 6206 20665 0 -1 4202560 70372 0 0 0 17702 134 0 0 25 0 5 0 1118838236 816668672 169479 4294967295 134512640 135180984 3213911136 3085901472 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=797528 CPUtime=182.11
/proc/6206/task/6209/stat : 6209 (satake) R 6204 6206 20665 0 -1 4202560 69565 0 0 0 18049 162 0 0 25 0 5 0 1118838236 816668672 169479 4294967295 134512640 135180984 3213911136 3085835948 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6206/tid=6210] ppid=6204 vsize=797528 CPUtime=185.99
/proc/6206/task/6210/stat : 6210 (satake) S 6204 6206 20665 0 -1 4202560 69282 0 0 0 18462 137 0 0 20 0 5 0 1118838236 816668672 169479 4294967295 134512640 135180984 3213911136 3085770400 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 553.54
Current children cumulated vsize (KiB) 797528
heavy processes:
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+822.317 s]
/proc/loadavg: 5.53 6.11 6.48 7/119 8794
/proc/meminfo: memFree=1613160/3368532 swapFree=1953000/1959888
[pid=6206] ppid=6204 vsize=798480 CPUtime=558.79
/proc/6206/stat : 6206 (satake) S 6204 6206 20665 0 -1 4202496 223270 0 0 0 54963 916 0 0 18 0 5 0 1118838228 817643520 169650 4294967295 134512640 135180984 3213911136 3213910572 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/6206/statm: 199620 169650 68 164 0 199455 0
[pid=6206/tid=6207] ppid=6204 vsize=798480 CPUtime=7.22
/proc/6206/task/6207/stat : 6207 (satake) S 6204 6206 20665 0 -1 4202560 13813 0 0 0 240 482 0 0 15 0 5 0 1118838236 817643520 169650 4294967295 134512640 135180984 3213911136 3085967376 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=798480 CPUtime=180.48
/proc/6206/task/6208/stat : 6208 (satake) S 6204 6206 20665 0 -1 4202560 70388 0 0 0 17913 135 0 0 18 0 5 0 1118838236 817643520 169650 4294967295 134512640 135180984 3213911136 3085901472 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=798480 CPUtime=182.9
/proc/6206/task/6209/stat : 6209 (satake) R 6204 6206 20665 0 -1 4202560 69583 0 0 0 18128 162 0 0 25 0 5 0 1118838236 817643520 169650 4294967295 134512640 135180984 3213911136 3085835948 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6206/tid=6210] ppid=6204 vsize=798480 CPUtime=188.19
/proc/6206/task/6210/stat : 6210 (satake) S 6204 6206 20665 0 -1 4202560 69376 0 0 0 18682 137 0 0 16 0 5 0 1118838236 817643520 169650 4294967295 134512640 135180984 3213911136 3085770400 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 558.79
Current children cumulated vsize (KiB) 798480
heavy processes:
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+882.313 s]
/proc/loadavg: 6.33 6.24 6.50 8/118 9047
/proc/meminfo: memFree=1603520/3368532 swapFree=1953000/1959888
[pid=6206] ppid=6204 vsize=807472 CPUtime=631.62
/proc/6206/stat : 6206 (satake) S 6204 6206 20665 0 -1 4202496 225579 0 0 0 62199 963 0 0 18 0 5 0 1118838228 826851328 171959 4294967295 134512640 135180984 3213911136 3213910572 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/6206/statm: 201868 171959 68 164 0 201703 0
[pid=6206/tid=6207] ppid=6204 vsize=807472 CPUtime=7.56
/proc/6206/task/6207/stat : 6207 (satake) S 6204 6206 20665 0 -1 4202560 14133 0 0 0 253 503 0 0 15 0 5 0 1118838236 826851328 171959 4294967295 134512640 135180984 3213911136 3085967376 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=807472 CPUtime=205.25
/proc/6206/task/6208/stat : 6208 (satake) R 6204 6206 20665 0 -1 4202560 70972 0 0 0 20381 144 0 0 25 0 5 0 1118838236 826851328 171959 4294967295 134512640 135180984 3213911136 3085901744 134532406 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=807472 CPUtime=207.03
/proc/6206/task/6209/stat : 6209 (satake) R 6204 6206 20665 0 -1 4202560 70040 0 0 0 20533 170 0 0 25 0 5 0 1118838236 826851328 171959 4294967295 134512640 135180984 3213911136 3085836144 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6206/tid=6210] ppid=6204 vsize=807472 CPUtime=211.78
/proc/6206/task/6210/stat : 6210 (satake) R 6204 6206 20665 0 -1 4202560 70324 0 0 0 21032 146 0 0 25 0 5 0 1118838236 826851328 171959 4294967295 134512640 135180984 3213911136 3085770544 134523644 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 631.62
Current children cumulated vsize (KiB) 807472
heavy processes:
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+942.308 s]
/proc/loadavg: 6.79 6.40 6.54 9/118 9235
/proc/meminfo: memFree=1594956/3368532 swapFree=1953000/1959888
[pid=6206] ppid=6204 vsize=813852 CPUtime=704.7
/proc/6206/stat : 6206 (satake) S 6204 6206 20665 0 -1 4202496 227315 0 0 0 69488 982 0 0 18 0 5 0 1118838228 833384448 173695 4294967295 134512640 135180984 3213911136 3213910572 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/6206/statm: 203463 173695 68 164 0 203298 0
[pid=6206/tid=6207] ppid=6204 vsize=813852 CPUtime=7.66
/proc/6206/task/6207/stat : 6207 (satake) S 6204 6206 20665 0 -1 4202560 14334 0 0 0 258 508 0 0 15 0 5 0 1118838236 833384448 173695 4294967295 134512640 135180984 3213911136 3085967376 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=813852 CPUtime=229.8
/proc/6206/task/6208/stat : 6208 (satake) R 6204 6206 20665 0 -1 4202560 71347 0 0 0 22831 149 0 0 25 0 5 0 1118838236 833384448 173695 4294967295 134512640 135180984 3213911136 3085901680 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=813852 CPUtime=229.83
/proc/6206/task/6209/stat : 6209 (satake) R 6204 6206 20665 0 -1 4202560 70539 0 0 0 22808 175 0 0 25 0 5 0 1118838236 833384448 173695 4294967295 134512640 135180984 3213911136 3085836144 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6206/tid=6210] ppid=6204 vsize=813852 CPUtime=237.41
/proc/6206/task/6210/stat : 6210 (satake) R 6204 6206 20665 0 -1 4202560 70985 0 0 0 23591 150 0 0 25 0 5 0 1118838236 833384448 173695 4294967295 134512640 135180984 3213911136 3085770608 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 704.7
Current children cumulated vsize (KiB) 813852
heavy processes:
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 6.96 6.51 6.57 9/118 9422
/proc/meminfo: memFree=1587128/3368532 swapFree=1953000/1959888
[pid=6206] ppid=6204 vsize=820872 CPUtime=775.17
/proc/6206/stat : 6206 (satake) S 6204 6206 20665 0 -1 4202496 228765 0 0 0 76497 1020 0 0 18 0 5 0 1118838228 840572928 175145 4294967295 134512640 135180984 3213911136 3213910572 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/6206/statm: 205218 175145 68 164 0 205053 0
[pid=6206/tid=6207] ppid=6204 vsize=820872 CPUtime=7.93
/proc/6206/task/6207/stat : 6207 (satake) S 6204 6206 20665 0 -1 4202560 14526 0 0 0 266 527 0 0 15 0 5 0 1118838236 840572928 175145 4294967295 134512640 135180984 3213911136 3085967376 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=820872 CPUtime=254.49
/proc/6206/task/6208/stat : 6208 (satake) R 6204 6206 20665 0 -1 4202560 71701 0 0 0 25293 156 0 0 20 0 5 0 1118838236 840572928 175145 4294967295 134512640 135180984 3213911136 3085901696 134518626 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=820872 CPUtime=254.32
/proc/6206/task/6209/stat : 6209 (satake) R 6204 6206 20665 0 -1 4202560 70992 0 0 0 25253 179 0 0 17 0 5 0 1118838236 840572928 175145 4294967295 134512640 135180984 3213911136 3085836144 134528449 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6206/tid=6210] ppid=6204 vsize=820872 CPUtime=258.43
/proc/6206/task/6210/stat : 6210 (satake) R 6204 6206 20665 0 -1 4202560 71436 0 0 0 25685 158 0 0 25 0 5 0 1118838236 840572928 175145 4294967295 134512640 135180984 3213911136 3085770608 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 775.17
Current children cumulated vsize (KiB) 820872
heavy processes:
  %CPU=86 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=86 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=87 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1000.01 s]
/proc/loadavg: 6.96 6.51 6.57 9/118 9422
/proc/meminfo: memFree=1587128/3368532 swapFree=1953000/1959888
[pid=6206] ppid=6204 vsize=820872 CPUtime=775.17
/proc/6206/stat : 6206 (satake) S 6204 6206 20665 0 -1 4202496 228765 0 0 0 76497 1020 0 0 18 0 5 0 1118838228 840572928 175145 4294967295 134512640 135180984 3213911136 3213910572 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/6206/statm: 205218 175145 68 164 0 205053 0
[pid=6206/tid=6207] ppid=6204 vsize=820872 CPUtime=7.93
/proc/6206/task/6207/stat : 6207 (satake) S 6204 6206 20665 0 -1 4202560 14526 0 0 0 266 527 0 0 15 0 5 0 1118838236 840572928 175145 4294967295 134512640 135180984 3213911136 3085967376 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=6206/tid=6208] ppid=6204 vsize=820872 CPUtime=254.49
/proc/6206/task/6208/stat : 6208 (satake) R 6204 6206 20665 0 -1 4202560 71701 0 0 0 25293 156 0 0 20 0 5 0 1118838236 840572928 175145 4294967295 134512640 135180984 3213911136 3085901696 134518626 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=820872 CPUtime=254.32
/proc/6206/task/6209/stat : 6209 (satake) R 6204 6206 20665 0 -1 4202560 70992 0 0 0 25253 179 0 0 17 0 5 0 1118838236 840572928 175145 4294967295 134512640 135180984 3213911136 3085836144 134528449 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6206/tid=6210] ppid=6204 vsize=820872 CPUtime=258.43
/proc/6206/task/6210/stat : 6210 (satake) R 6204 6206 20665 0 -1 4202560 71436 0 0 0 25685 158 0 0 25 0 5 0 1118838236 840572928 175145 4294967295 134512640 135180984 3213911136 3085770608 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 775.17
Current children cumulated vsize (KiB) 820872

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.08
CPU time (s): 775.26
CPU user time (s): 765.01
CPU system time (s): 10.25
CPU usage (%): 77.5195
Max. virtual memory (cumulated for all children) (KiB): 907720

deleting IPC queue 10485760
deleting IPC queue 10518529
deleting IPC queue 10551298
deleting IPC queue 10584067
deleting IPC queue 10616836
deleting IPC queue 10649605
deleting IPC queue 10682374
deleting IPC queue 10715143
deleting IPC queue 10747912
deleting IPC queue 10780681
deleting IPC queue 10813450
deleting IPC queue 10846219
deleting IPC queue 10878988
deleting IPC queue 10911757
deleting IPC queue 10944526
deleting IPC queue 10977295

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 765.01
system time used= 10.25
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228765
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= 2164274
involuntary context switches= 2068198

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-30 03:30:01
IDJOB=1780270
IDBENCH=70965
IDSOLVER=629
FILE ID=tipi45/1780270-1243647001
PBS_JOBID=
Free space on /tmp= 15432 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L200_coli.sat.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780270-1243647001/watcher-1780270-1243647001 -o /tmp/evaluation-result-1780270-1243647001/solver-1780270-1243647001 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780270-1243647001.cnf 4 10000

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

MD5SUM BENCH= 853982f8646333d217e35d938b7eb00b
RANDOM SEED= 1585381103

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:       2320072 kB
Buffers:         34736 kB
Cached:         588196 kB
SwapCached:       1800 kB
Active:         446556 kB
Inactive:       514008 kB
HighTotal:     2489216 kB
HighFree:      1560948 kB
LowTotal:       879316 kB
LowFree:        759124 kB
SwapTotal:     1959888 kB
SwapFree:      1953000 kB
Dirty:           72436 kB
Writeback:           0 kB
AnonPages:      336560 kB
Mapped:           6296 kB
Slab:            75208 kB
SReclaimable:    63212 kB
SUnreclaim:      11996 kB
PageTables:       1016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   424768 kB
VmallocTotal:   114680 kB
VmallocUsed:     17900 kB
VmallocChunk:    96244 kB

Free space on /tmp at the end= 15432 MiB
End job on tipi45 at 2009-05-30 03:46:52