Trace number 1779175

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) 1084.09 1000.11

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-15.cnf
MD5SUMc8a05d1e76535706c430a6b42d191d4b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables69695
Number of clauses227171
Sum of the clauses size588683
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292572
Number of clauses of size 3134470
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-1779175-1243642561/watcher-1779175-1243642561 -o /tmp/evaluation-result-1779175-1243642561/solver-1779175-1243642561 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779175-1243642561.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: 7.29 7.21 6.93 6/113 24428
/proc/meminfo: memFree=1676504/3368532 swapFree=1952996/1959888
[pid=24428] ppid=24426 vsize=5264 CPUtime=0.01
/proc/24428/stat : 24428 (satake) S 24426 24428 20665 0 -1 4202496 773 0 0 0 0 1 0 0 18 0 5 0 1118393486 5390336 731 4294967295 134512640 135180984 3221062448 3221061884 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24428/statm: 1316 735 63 164 0 1151 0
[pid=24428/tid=24429] ppid=24426 vsize=5264 CPUtime=0
/proc/24428/task/24429/stat : 24429 (satake) S 24426 24428 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1118393492 5390336 767 4294967295 134512640 135180984 3221062448 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24428/tid=24430] ppid=24426 vsize=5264 CPUtime=0
/proc/24428/task/24430/stat : 24430 (satake) R 24426 24428 20665 0 -1 4202560 696 0 0 0 0 0 0 0 19 0 5 0 1118393492 5390336 772 4294967295 134512640 135180984 3221062448 3086373156 134583077 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24428/tid=24431] ppid=24426 vsize=5264 CPUtime=0
/proc/24428/task/24431/stat : 24431 (satake) R 24426 24428 20665 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 5 0 1118393492 5390336 777 4294967295 134512640 135180984 3221062448 3086308164 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24428/tid=24432] ppid=24426 vsize=5264 CPUtime=0
/proc/24428/task/24432/stat : 24432 (satake) R 24426 24428 20665 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 5 0 1118393492 5390336 781 4294967295 134512640 135180984 3221062448 3086242628 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.253128 s]
/proc/loadavg: 7.29 7.21 6.93 6/113 24428
/proc/meminfo: memFree=1676504/3368532 swapFree=1952996/1959888
[pid=24428] ppid=24426 vsize=58044 CPUtime=0.22
/proc/24428/stat : 24428 (satake) S 24426 24428 20665 0 -1 4202496 10577 0 0 0 20 2 0 0 18 0 5 0 1118393486 59437056 10525 4294967295 134512640 135180984 3221062448 3221061884 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24428/statm: 14511 10526 63 164 0 14346 0
[pid=24428/tid=24429] ppid=24426 vsize=58044 CPUtime=0
/proc/24428/task/24429/stat : 24429 (satake) S 24426 24428 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1118393492 59437056 10526 4294967295 134512640 135180984 3221062448 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24428/tid=24430] ppid=24426 vsize=58044 CPUtime=0.07
/proc/24428/task/24430/stat : 24430 (satake) R 24426 24428 20665 0 -1 4202560 3477 0 0 0 7 0 0 0 20 0 5 0 1118393492 59437056 10526 4294967295 134512640 135180984 3221062448 3086373168 134535254 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24428/tid=24431] ppid=24426 vsize=58044 CPUtime=0.06
/proc/24428/task/24431/stat : 24431 (satake) R 24426 24428 20665 0 -1 4202560 3415 0 0 0 5 1 0 0 19 0 5 0 1118393492 59437056 10526 4294967295 134512640 135180984 3221062448 3086307416 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24428/tid=24432] ppid=24426 vsize=58044 CPUtime=0.08
/proc/24428/task/24432/stat : 24432 (satake) R 24426 24428 20665 0 -1 4202560 3568 0 0 0 8 0 0 0 19 0 5 0 1118393492 59437056 10527 4294967295 134512640 135180984 3221062448 3086242096 134534816 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 58044

[startup+0.313126 s]
/proc/loadavg: 7.29 7.21 6.93 6/113 24428
/proc/meminfo: memFree=1676504/3368532 swapFree=1952996/1959888
[pid=24428] ppid=24426 vsize=62240 CPUtime=0.31
/proc/24428/stat : 24428 (satake) S 24426 24428 20665 0 -1 4202496 11248 0 0 0 29 2 0 0 18 0 5 0 1118393486 63733760 11196 4294967295 134512640 135180984 3221062448 3221061884 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24428/statm: 15560 11196 63 164 0 15395 0
[pid=24428/tid=24429] ppid=24426 vsize=62240 CPUtime=0
/proc/24428/task/24429/stat : 24429 (satake) S 24426 24428 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1118393492 63733760 11196 4294967295 134512640 135180984 3221062448 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24428/tid=24430] ppid=24426 vsize=62240 CPUtime=0.08
/proc/24428/task/24430/stat : 24430 (satake) R 24426 24428 20665 0 -1 4202560 3642 0 0 0 8 0 0 0 20 0 5 0 1118393492 63733760 11197 4294967295 134512640 135180984 3221062448 3086372952 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24428/tid=24431] ppid=24426 vsize=62240 CPUtime=0.11
/proc/24428/task/24431/stat : 24431 (satake) R 24426 24428 20665 0 -1 4202560 3751 0 0 0 10 1 0 0 19 0 5 0 1118393492 63733760 11197 4294967295 134512640 135180984 3221062448 3086307616 134513762 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24428/tid=24432] ppid=24426 vsize=62240 CPUtime=0.11
/proc/24428/task/24432/stat : 24432 (satake) R 24426 24428 20665 0 -1 4202560 3738 0 0 0 11 0 0 0 19 0 5 0 1118393492 63733760 11197 4294967295 134512640 135180984 3221062448 3086242020 134680984 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 62240

[startup+0.420025 s]
/proc/loadavg: 7.29 7.21 6.93 6/113 24428
/proc/meminfo: memFree=1676504/3368532 swapFree=1952996/1959888
[pid=24428] ppid=24426 vsize=69464 CPUtime=0.53
/proc/24428/stat : 24428 (satake) S 24426 24428 20665 0 -1 4202496 13194 0 0 0 50 3 0 0 18 0 5 0 1118393486 71131136 13142 4294967295 134512640 135180984 3221062448 3221061884 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24428/statm: 17399 13204 63 164 0 17234 0
[pid=24428/tid=24429] ppid=24426 vsize=69596 CPUtime=0
/proc/24428/task/24429/stat : 24429 (satake) S 24426 24428 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1118393492 71266304 13257 4294967295 134512640 135180984 3221062448 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24428/tid=24430] ppid=24426 vsize=69596 CPUtime=0.13
/proc/24428/task/24430/stat : 24430 (satake) R 24426 24428 20665 0 -1 4202560 4064 0 0 0 13 0 0 0 20 0 5 0 1118393492 71266304 13258 4294967295 134512640 135180984 3221062448 3086372952 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24428/tid=24431] ppid=24426 vsize=69596 CPUtime=0.21
/proc/24428/task/24431/stat : 24431 (satake) R 24426 24428 20665 0 -1 4202560 4656 0 0 0 20 1 0 0 19 0 5 0 1118393492 71266304 13258 4294967295 134512640 135180984 3221062448 3086307600 134521019 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24428/tid=24432] ppid=24426 vsize=69596 CPUtime=0.19
/proc/24428/task/24432/stat : 24432 (satake) R 24426 24428 20665 0 -1 4202560 4472 0 0 0 18 1 0 0 19 0 5 0 1118393492 71266304 13258 4294967295 134512640 135180984 3221062448 3086241880 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 69464

[startup+1.00502 s]
/proc/loadavg: 7.29 7.21 6.93 6/113 24428
/proc/meminfo: memFree=1676504/3368532 swapFree=1952996/1959888
[pid=24428] ppid=24426 vsize=67900 CPUtime=1.56
/proc/24428/stat : 24428 (satake) S 24426 24428 20665 0 -1 4202496 15882 0 0 0 153 3 0 0 18 0 5 0 1118393486 69529600 12752 4294967295 134512640 135180984 3221062448 3221061884 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24428/statm: 16975 12753 68 164 0 16810 0
[pid=24428/tid=24429] ppid=24426 vsize=67900 CPUtime=0.02
/proc/24428/task/24429/stat : 24429 (satake) R 24426 24428 20665 0 -1 4202560 1235 0 0 0 2 0 0 0 16 0 5 0 1118393492 69529600 12753 4294967295 134512640 135180984 3221062448 3086438416 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24428/tid=24430] ppid=24426 vsize=67900 CPUtime=0.43
/proc/24428/task/24430/stat : 24430 (satake) R 24426 24428 20665 0 -1 4202560 4784 0 0 0 43 0 0 0 20 0 5 0 1118393492 69529600 12753 4294967295 134512640 135180984 3221062448 3086372656 134523843 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24428/tid=24431] ppid=24426 vsize=67900 CPUtime=0.66
/proc/24428/task/24431/stat : 24431 (satake) S 24426 24428 20665 0 -1 4202560 4960 0 0 0 65 1 0 0 18 0 5 0 1118393492 69529600 12754 4294967295 134512640 135180984 3221062448 3086306976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24428/tid=24432] ppid=24426 vsize=67900 CPUtime=0.51
/proc/24428/task/24432/stat : 24432 (satake) R 24426 24428 20665 0 -1 4202560 4799 0 0 0 50 1 0 0 19 0 5 0 1118393492 69529600 12768 4294967295 134512640 135180984 3221062448 3086241536 134522961 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 67900

[startup+1.51326 s]
/proc/loadavg: 7.29 7.21 6.93 6/113 24428
/proc/meminfo: memFree=1676504/3368532 swapFree=1952996/1959888
[pid=24428] ppid=24426 vsize=68164 CPUtime=2.51
/proc/24428/stat : 24428 (satake) S 24426 24428 20665 0 -1 4202496 16000 0 0 0 248 3 0 0 18 0 5 0 1118393486 69799936 12870 4294967295 134512640 135180984 3221062448 3221061884 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24428/statm: 17041 12870 68 164 0 16876 0
[pid=24428/tid=24429] ppid=24426 vsize=68164 CPUtime=0.02
/proc/24428/task/24429/stat : 24429 (satake) S 24426 24428 20665 0 -1 4202560 1235 0 0 0 2 0 0 0 15 0 5 0 1118393492 69799936 12870 4294967295 134512640 135180984 3221062448 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24428/tid=24430] ppid=24426 vsize=68164 CPUtime=0.67
/proc/24428/task/24430/stat : 24430 (satake) R 24426 24428 20665 0 -1 4202560 4863 0 0 0 67 0 0 0 20 0 5 0 1118393492 69799936 12870 4294967295 134512640 135180984 3221062448 3086372720 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24428/tid=24431] ppid=24426 vsize=68164 CPUtime=1.11
/proc/24428/task/24431/stat : 24431 (satake) R 24426 24428 20665 0 -1 4202560 4979 0 0 0 110 1 0 0 19 0 5 0 1118393492 69799936 12870 4294967295 134512640 135180984 3221062448 3086307184 134526115 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24428/tid=24432] ppid=24426 vsize=68164 CPUtime=0.71
/proc/24428/task/24432/stat : 24432 (satake) R 24426 24428 20665 0 -1 4202560 4812 0 0 0 70 1 0 0 20 0 5 0 1118393492 69799936 12870 4294967295 134512640 135180984 3221062448 3086241696 134535641 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 68164

[startup+3.11313 s]
/proc/loadavg: 7.29 7.21 6.93 9/118 24434
/proc/meminfo: memFree=1625680/3368532 swapFree=1952996/1959888
[pid=24428] ppid=24426 vsize=68296 CPUtime=4.91
/proc/24428/stat : 24428 (satake) S 24426 24428 20665 0 -1 4202496 16095 0 0 0 486 5 0 0 18 0 5 0 1118393486 69935104 12965 4294967295 134512640 135180984 3221062448 3221061884 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24428/statm: 17074 12965 68 164 0 16909 0
[pid=24428/tid=24429] ppid=24426 vsize=68296 CPUtime=0.03
/proc/24428/task/24429/stat : 24429 (satake) S 24426 24428 20665 0 -1 4202560 1237 0 0 0 2 1 0 0 16 0 5 0 1118393492 69935104 12965 4294967295 134512640 135180984 3221062448 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24428/tid=24430] ppid=24426 vsize=68296 CPUtime=1.45
/proc/24428/task/24430/stat : 24430 (satake) R 24426 24428 20665 0 -1 4202560 4892 0 0 0 145 0 0 0 22 0 5 0 1118393492 69935104 12965 4294967295 134512640 135180984 3221062448 3086372608 134522790 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24428/tid=24431] ppid=24426 vsize=68296 CPUtime=1.91
/proc/24428/task/24431/stat : 24431 (satake) R 24426 24428 20665 0 -1 4202560 4994 0 0 0 190 1 0 0 20 0 5 0 1118393492 69935104 12965 4294967295 134512640 135180984 3221062448 3086307200 134518730 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24428/tid=24432] ppid=24426 vsize=68296 CPUtime=1.51
/proc/24428/task/24432/stat : 24432 (satake) R 24426 24428 20665 0 -1 4202560 4861 0 0 0 149 2 0 0 21 0 5 0 1118393492 69935104 12965 4294967295 134512640 135180984 3221062448 3086241640 134520896 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.91
Current children cumulated vsize (KiB) 68296

[startup+6.31288 s]
/proc/loadavg: 7.27 7.20 6.93 9/118 24435
/proc/meminfo: memFree=1625084/3368532 swapFree=1952996/1959888
[pid=24428] ppid=24426 vsize=68428 CPUtime=9.43
/proc/24428/stat : 24428 (satake) S 24426 24428 20665 0 -1 4202496 16188 0 0 0 937 6 0 0 18 0 5 0 1118393486 70070272 13058 4294967295 134512640 135180984 3221062448 3221061884 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24428/statm: 17107 13058 68 164 0 16942 0
[pid=24428/tid=24429] ppid=24426 vsize=68428 CPUtime=0.05
/proc/24428/task/24429/stat : 24429 (satake) S 24426 24428 20665 0 -1 4202560 1242 0 0 0 3 2 0 0 15 0 5 0 1118393492 70070272 13058 4294967295 134512640 135180984 3221062448 3086438420 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=24428/tid=24430] ppid=24426 vsize=68428 CPUtime=2.98
/proc/24428/task/24430/stat : 24430 (satake) S 24426 24428 20665 0 -1 4202560 4922 0 0 0 298 0 0 0 25 0 5 0 1118393492 70070272 13058 4294967295 134512640 135180984 3221062448 3086372512 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24428/tid=24431] ppid=24426 vsize=68428 CPUtime=3.51
/proc/24428/task/24431/stat : 24431 (satake) R 24426 24428 20665 0 -1 4202560 5025 0 0 0 350 1 0 0 25 0 5 0 1118393492 70070272 13058 4294967295 134512640 135180984 3221062448 3086307072 134522980 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24428/tid=24432] ppid=24426 vsize=68428 CPUtime=2.88
/proc/24428/task/24432/stat : 24432 (satake) R 24426 24428 20665 0 -1 4202560 4888 0 0 0 286 2 0 0 25 0 5 0 1118393492 70070272 13058 4294967295 134512640 135180984 3221062448 3086241452 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.43
Current children cumulated vsize (KiB) 68428

[startup+12.7224 s]
/proc/loadavg: 7.17 7.18 6.92 9/118 24435
/proc/meminfo: memFree=1624652/3368532 swapFree=1952996/1959888
[pid=24428] ppid=24426 vsize=68564 CPUtime=12.7
/proc/24428/stat : 24428 (satake) S 24426 24428 20665 0 -1 4202496 16237 0 0 0 1264 6 0 0 18 0 5 0 1118393486 70209536 13107 4294967295 134512640 135180984 3221062448 3221061884 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24428/statm: 17141 13107 68 164 0 16976 0
[pid=24428/tid=24429] ppid=24426 vsize=68564 CPUtime=0.05
/proc/24428/task/24429/stat : 24429 (satake) S 24426 24428 20665 0 -1 4202560 1243 0 0 0 3 2 0 0 15 0 5 0 1118393492 70209536 13107 4294967295 134512640 135180984 3221062448 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24428/tid=24430] ppid=24426 vsize=68564 CPUtime=4.13
/proc/24428/task/24430/stat : 24430 (satake) R 24426 24428 20665 0 -1 4202560 4929 0 0 0 413 0 0 0 19 0 5 0 1118393492 70209536 13107 4294967295 134512640 135180984 3221062448 3086372656 134523821 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24428/tid=24431] ppid=24426 vsize=68564 CPUtime=4.96
/proc/24428/task/24431/stat : 24431 (satake) R 24426 24428 20665 0 -1 4202560 5052 0 0 0 495 1 0 0 19 0 5 0 1118393492 70209536 13107 4294967295 134512640 135180984 3221062448 3086307072 134522986 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24428/tid=24432] ppid=24426 vsize=68564 CPUtime=3.55
/proc/24428/task/24432/stat : 24432 (satake) R 24426 24428 20665 0 -1 4202560 4902 0 0 0 353 2 0 0 25 0 5 0 1118393492 70209536 13107 4294967295 134512640 135180984 3221062448 3086241644 134527217 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 68564

[startup+25.5114 s]
/proc/loadavg: 7.12 7.17 6.92 6/118 24437
/proc/meminfo: memFree=1623708/3368532 swapFree=1952996/1959888
[pid=24428] ppid=24426 vsize=68696 CPUtime=21.56
/proc/24428/stat : 24428 (satake) S 24426 24428 20665 0 -1 4202496 16333 0 0 0 2149 7 0 0 18 0 5 0 1118393486 70344704 13203 4294967295 134512640 135180984 3221062448 3221061884 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24428/statm: 17174 13203 68 164 0 17009 0
[pid=24428/tid=24429] ppid=24426 vsize=68696 CPUtime=0.07
/proc/24428/task/24429/stat : 24429 (satake) S 24426 24428 20665 0 -1 4202560 1256 0 0 0 4 3 0 0 15 0 5 0 1118393492 70344704 13203 4294967295 134512640 135180984 3221062448 3086438420 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=24428/tid=24430] ppid=24426 vsize=68696 CPUtime=7.56
/proc/24428/task/24430/stat : 24430 (satake) S 24426 24428 20665 0 -1 4202560 4944 0 0 0 756 0 0 0 21 0 5 0 1118393492 70344704 13203 4294967295 134512640 135180984 3221062448 3086372512 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24428/tid=24431] ppid=24426 vsize=68696 CPUtime=8.57
/proc/24428/task/24431/stat : 24431 (satake) S 24426 24428 20665 0 -1 4202560 5094 0 0 0 856 1 0 0 21 0 5 0 1118393492 70344704 13203 4294967295 134512640 135180984 3221062448 3086306976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24428/tid=24432] ppid=24426 vsize=68696 CPUtime=5.35
/proc/24428/task/24432/stat : 24432 (satake) R 24426 24428 20665 0 -1 4202560 4928 0 0 0 533 2 0 0 25 0 5 0 1118393492 70344704 13203 4294967295 134512640 135180984 3221062448 3086241452 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 21.56
Current children cumulated vsize (KiB) 68696

[startup+51.1094 s]
/proc/loadavg: 6.73 7.08 6.90 9/118 24621
/proc/meminfo: memFree=1621536/3368532 swapFree=1952996/1959888
[pid=24428] ppid=24426 vsize=69356 CPUtime=37.33
/proc/24428/stat : 24428 (satake) S 24426 24428 20665 0 -1 4202496 16590 0 0 0 3720 13 0 0 18 0 5 0 1118393486 71020544 13460 4294967295 134512640 135180984 3221062448 3221061884 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24428/statm: 17339 13460 68 164 0 17174 0
[pid=24428/tid=24429] ppid=24426 vsize=69356 CPUtime=0.1
/proc/24428/task/24429/stat : 24429 (satake) S 24426 24428 20665 0 -1 4202560 1275 0 0 0 4 6 0 0 16 0 5 0 1118393492 71020544 13460 4294967295 134512640 135180984 3221062448 3086438420 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=24428/tid=24430] ppid=24426 vsize=69356 CPUtime=14.18
/proc/24428/task/24430/stat : 24430 (satake) R 24426 24428 20665 0 -1 4202560 5033 0 0 0 1417 1 0 0 19 0 5 0 1118393492 71020544 13460 4294967295 134512640 135180984 3221062448 3086372608 134522992 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24428/tid=24431] ppid=24426 vsize=69356 CPUtime=14.31
/proc/24428/task/24431/stat : 24431 (satake) R 24426 24428 20665 0 -1 4202560 5163 0 0 0 1428 3 0 0 19 0 5 0 1118393492 71020544 13460 4294967295 134512640 135180984 3221062448 3086307184 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24428/tid=24432] ppid=24426 vsize=69356 CPUtime=8.73
/proc/24428/task/24432/stat : 24432 (satake) R 24426 24428 20665 0 -1 4202560 5008 0 0 0 871 2 0 0 25 0 5 0 1118393492 71020544 13460 4294967295 134512640 135180984 3221062448 3086241452 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 37.33
Current children cumulated vsize (KiB) 69356
heavy processes:
  %CPU=88 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=89 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam

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

[pid=24428/tid=24430] ppid=24426 vsize=109232 CPUtime=200.78
/proc/24428/task/24430/stat : 24430 (satake) R 24426 24428 20665 0 -1 4202560 7812 0 0 0 20048 30 0 0 25 0 5 0 1118393492 111853568 23303 4294967295 134512640 135180984 3221062448 3086372712 134520896 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24428/tid=24431] ppid=24426 vsize=109232 CPUtime=198
/proc/24428/task/24431/stat : 24431 (satake) R 24426 24428 20665 0 -1 4202560 8405 0 0 0 19770 30 0 0 18 0 5 0 1118393492 111853568 23303 4294967295 134512640 135180984 3221062448 3086307016 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24428/tid=24432] ppid=24426 vsize=109232 CPUtime=183.12
/proc/24428/task/24432/stat : 24432 (satake) R 24426 24428 20665 0 -1 4202560 8164 0 0 0 18291 21 0 0 18 0 5 0 1118393492 111853568 23303 4294967295 134512640 135180984 3221062448 3086241640 134520896 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 583.54
Current children cumulated vsize (KiB) 109232

[startup+582.308 s]
/proc/loadavg: 6.81 6.99 6.91 6/118 26323
/proc/meminfo: memFree=1563200/3368532 swapFree=1952996/1959888
[pid=24428] ppid=24426 vsize=113580 CPUtime=646.65
/proc/24428/stat : 24428 (satake) S 24426 24428 20665 0 -1 4202496 27465 0 0 0 64459 206 0 0 18 0 5 0 1118393486 116305920 24335 4294967295 134512640 135180984 3221062448 3221061884 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24428/statm: 28395 24335 68 164 0 28230 0
[pid=24428/tid=24429] ppid=24426 vsize=113580 CPUtime=1.69
/proc/24428/task/24429/stat : 24429 (satake) S 24426 24428 20665 0 -1 4202560 1969 0 0 0 54 115 0 0 15 0 5 0 1118393492 116305920 24335 4294967295 134512640 135180984 3221062448 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=24428/tid=24430] ppid=24426 vsize=113580 CPUtime=220.13
/proc/24428/task/24430/stat : 24430 (satake) R 24426 24428 20665 0 -1 4202560 8139 0 0 0 21981 32 0 0 22 0 5 0 1118393492 116305920 24335 4294967295 134512640 135180984 3221062448 3086372656 134523641 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24428/tid=24431] ppid=24426 vsize=113580 CPUtime=221.71
/proc/24428/task/24431/stat : 24431 (satake) R 24426 24428 20665 0 -1 4202560 8745 0 0 0 22136 35 0 0 25 0 5 0 1118393492 116305920 24335 4294967295 134512640 135180984 3221062448 3086307080 134518214 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24428/tid=24432] ppid=24426 vsize=113580 CPUtime=203.11
/proc/24428/task/24432/stat : 24432 (satake) R 24426 24428 20665 0 -1 4202560 8501 0 0 0 20288 23 0 0 25 0 5 0 1118393492 116305920 24335 4294967295 134512640 135180984 3221062448 3086241536 134522982 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 646.65
Current children cumulated vsize (KiB) 113580

[startup+642.303 s]
/proc/loadavg: 6.70 6.91 6.89 8/118 26511
/proc/meminfo: memFree=1558100/3368532 swapFree=1952996/1959888
[pid=24428] ppid=24426 vsize=117608 CPUtime=704.78
/proc/24428/stat : 24428 (satake) S 24426 24428 20665 0 -1 4202496 28469 0 0 0 70267 211 0 0 18 0 5 0 1118393486 120430592 25339 4294967295 134512640 135180984 3221062448 3221061884 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24428/statm: 29402 25339 68 164 0 29237 0
[pid=24428/tid=24429] ppid=24426 vsize=117608 CPUtime=1.72
/proc/24428/task/24429/stat : 24429 (satake) S 24426 24428 20665 0 -1 4202560 1996 0 0 0 55 117 0 0 15 0 5 0 1118393492 120430592 25339 4294967295 134512640 135180984 3221062448 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=24428/tid=24430] ppid=24426 vsize=117608 CPUtime=243.03
/proc/24428/task/24430/stat : 24430 (satake) R 24426 24428 20665 0 -1 4202560 8506 0 0 0 24268 35 0 0 25 0 5 0 1118393492 120430592 25339 4294967295 134512640 135180984 3221062448 3086372720 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24428/tid=24431] ppid=24426 vsize=117608 CPUtime=234.51
/proc/24428/task/24431/stat : 24431 (satake) R 24426 24428 20665 0 -1 4202560 8964 0 0 0 23416 35 0 0 25 0 5 0 1118393492 120430592 25339 4294967295 134512640 135180984 3221062448 3086307176 134520909 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24428/tid=24432] ppid=24426 vsize=117608 CPUtime=225.51
/proc/24428/task/24432/stat : 24432 (satake) R 24426 24428 20665 0 -1 4202560 8892 0 0 0 22528 23 0 0 25 0 5 0 1118393492 120430592 25339 4294967295 134512640 135180984 3221062448 3086241544 134520911 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 704.78
Current children cumulated vsize (KiB) 117608

[startup+702.319 s]
/proc/loadavg: 6.89 6.89 6.88 8/118 26700
/proc/meminfo: memFree=1552148/3368532 swapFree=1952996/1959888
[pid=24428] ppid=24426 vsize=122796 CPUtime=761.59
/proc/24428/stat : 24428 (satake) S 24426 24428 20665 0 -1 4202496 29541 0 0 0 75923 236 0 0 18 0 5 0 1118393486 125743104 26411 4294967295 134512640 135180984 3221062448 3221061884 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24428/statm: 30699 26411 68 164 0 30534 0
[pid=24428/tid=24429] ppid=24426 vsize=122796 CPUtime=1.89
/proc/24428/task/24429/stat : 24429 (satake) S 24426 24428 20665 0 -1 4202560 2038 0 0 0 61 128 0 0 15 0 5 0 1118393492 125743104 26411 4294967295 134512640 135180984 3221062448 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24428/tid=24430] ppid=24426 vsize=122796 CPUtime=264.63
/proc/24428/task/24430/stat : 24430 (satake) R 24426 24428 20665 0 -1 4202560 8899 0 0 0 26417 46 0 0 19 0 5 0 1118393492 125743104 26411 4294967295 134512640 135180984 3221062448 3086372624 134524752 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24428/tid=24431] ppid=24426 vsize=122796 CPUtime=258.31
/proc/24428/task/24431/stat : 24431 (satake) R 24426 24428 20665 0 -1 4202560 9374 0 0 0 25794 37 0 0 20 0 5 0 1118393492 125743104 26411 4294967295 134512640 135180984 3221062448 3086307184 134528062 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24428/tid=24432] ppid=24426 vsize=122796 CPUtime=236.75
/proc/24428/task/24432/stat : 24432 (satake) R 24426 24428 20665 0 -1 4202560 9119 0 0 0 23651 24 0 0 25 0 5 0 1118393492 125743104 26411 4294967295 134512640 135180984 3221062448 3086241536 134522776 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 761.59
Current children cumulated vsize (KiB) 122796

[startup+762.314 s]
/proc/loadavg: 6.78 6.86 6.87 8/118 26891
/proc/meminfo: memFree=1543592/3368532 swapFree=1952996/1959888
[pid=24428] ppid=24426 vsize=128904 CPUtime=831.46
/proc/24428/stat : 24428 (satake) S 24426 24428 20665 0 -1 4202496 31135 0 0 0 82887 259 0 0 18 0 5 0 1118393486 131997696 28005 4294967295 134512640 135180984 3221062448 3221061884 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24428/statm: 32226 28005 68 164 0 32061 0
[pid=24428/tid=24429] ppid=24426 vsize=128904 CPUtime=2
/proc/24428/task/24429/stat : 24429 (satake) S 24426 24428 20665 0 -1 4202560 2106 0 0 0 62 138 0 0 15 0 5 0 1118393492 131997696 28005 4294967295 134512640 135180984 3221062448 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24428/tid=24430] ppid=24426 vsize=128904 CPUtime=286.33
/proc/24428/task/24430/stat : 24430 (satake) R 24426 24428 20665 0 -1 4202560 9361 0 0 0 28587 46 0 0 19 0 5 0 1118393492 131997696 28005 4294967295 134512640 135180984 3221062448 3086372616 134519103 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24428/tid=24431] ppid=24426 vsize=128904 CPUtime=283.01
/proc/24428/task/24431/stat : 24431 (satake) R 24426 24428 20665 0 -1 4202560 9849 0 0 0 28261 40 0 0 20 0 5 0 1118393492 131997696 28005 4294967295 134512640 135180984 3221062448 3086307136 134527313 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24428/tid=24432] ppid=24426 vsize=128904 CPUtime=260.11
/proc/24428/task/24432/stat : 24432 (satake) R 24426 24428 20665 0 -1 4202560 9708 0 0 0 25977 34 0 0 25 0 5 0 1118393492 131997696 28005 4294967295 134512640 135180984 3221062448 3086241648 134526482 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 831.46
Current children cumulated vsize (KiB) 128904

[startup+822.319 s]
/proc/loadavg: 6.62 6.77 6.83 8/118 27078
/proc/meminfo: memFree=1536904/3368532 swapFree=1952996/1959888
[pid=24428] ppid=24426 vsize=133196 CPUtime=882.55
/proc/24428/stat : 24428 (satake) S 24426 24428 20665 0 -1 4202496 32204 0 0 0 87986 269 0 0 18 0 5 0 1118393486 136392704 29074 4294967295 134512640 135180984 3221062448 3221061884 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24428/statm: 33299 29074 68 164 0 33134 0
[pid=24428/tid=24429] ppid=24426 vsize=133196 CPUtime=2.07
/proc/24428/task/24429/stat : 24429 (satake) S 24426 24428 20665 0 -1 4202560 2144 0 0 0 65 142 0 0 16 0 5 0 1118393492 136392704 29074 4294967295 134512640 135180984 3221062448 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=24428/tid=24430] ppid=24426 vsize=133196 CPUtime=307.35
/proc/24428/task/24430/stat : 24430 (satake) R 24426 24428 20665 0 -1 4202560 9757 0 0 0 30687 48 0 0 18 0 5 0 1118393492 136392704 29074 4294967295 134512640 135180984 3221062448 3086372688 134519935 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24428/tid=24431] ppid=24426 vsize=133196 CPUtime=295.15
/proc/24428/task/24431/stat : 24431 (satake) R 24426 24428 20665 0 -1 4202560 10070 0 0 0 29474 41 0 0 18 0 5 0 1118393492 136392704 29074 4294967295 134512640 135180984 3221062448 3086307016 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24428/tid=24432] ppid=24426 vsize=133196 CPUtime=277.98
/proc/24428/task/24432/stat : 24432 (satake) R 24426 24428 20665 0 -1 4202560 10122 0 0 0 27761 37 0 0 25 0 5 0 1118393492 136392704 29074 4294967295 134512640 135180984 3221062448 3086241552 134525129 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 882.55
Current children cumulated vsize (KiB) 133196

[startup+882.305 s]
/proc/loadavg: 7.24 6.90 6.87 9/118 27266
/proc/meminfo: memFree=1530308/3368532 swapFree=1952996/1959888
[pid=24428] ppid=24426 vsize=138644 CPUtime=960.56
/proc/24428/stat : 24428 (satake) S 24426 24428 20665 0 -1 4202496 33563 0 0 0 95764 292 0 0 18 0 5 0 1118393486 141971456 30433 4294967295 134512640 135180984 3221062448 3221061884 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24428/statm: 34661 30433 68 164 0 34496 0
[pid=24428/tid=24429] ppid=24426 vsize=138644 CPUtime=2.31
/proc/24428/task/24429/stat : 24429 (satake) S 24426 24428 20665 0 -1 4202560 2189 0 0 0 72 159 0 0 15 0 5 0 1118393492 141971456 30433 4294967295 134512640 135180984 3221062448 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=24428/tid=24430] ppid=24426 vsize=138644 CPUtime=329.63
/proc/24428/task/24430/stat : 24430 (satake) R 24426 24428 20665 0 -1 4202560 10146 0 0 0 32914 49 0 0 25 0 5 0 1118393492 141971456 30433 4294967295 134512640 135180984 3221062448 3086372720 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24428/tid=24431] ppid=24426 vsize=138644 CPUtime=325.41
/proc/24428/task/24431/stat : 24431 (satake) R 24426 24428 20665 0 -1 4202560 10611 0 0 0 32498 43 0 0 19 0 5 0 1118393492 141971456 30433 4294967295 134512640 135180984 3221062448 3086307080 134519088 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24428/tid=24432] ppid=24426 vsize=138644 CPUtime=303.21
/proc/24428/task/24432/stat : 24432 (satake) R 24426 24428 20665 0 -1 4202560 10506 0 0 0 30281 40 0 0 19 0 5 0 1118393492 141971456 30433 4294967295 134512640 135180984 3221062448 3086241648 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 960.56
Current children cumulated vsize (KiB) 138644

[startup+942.31 s]
/proc/loadavg: 7.15 6.92 6.87 8/118 27454
/proc/meminfo: memFree=1523356/3368532 swapFree=1952996/1959888
[pid=24428] ppid=24426 vsize=143968 CPUtime=1032.2
/proc/24428/stat : 24428 (satake) S 24426 24428 20665 0 -1 4202496 34828 0 0 0 102906 314 0 0 18 0 5 0 1118393486 147423232 31698 4294967295 134512640 135180984 3221062448 3221061884 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24428/statm: 35992 31698 68 164 0 35827 0
[pid=24428/tid=24429] ppid=24426 vsize=143968 CPUtime=2.44
/proc/24428/task/24429/stat : 24429 (satake) S 24426 24428 20665 0 -1 4202560 2226 0 0 0 75 169 0 0 16 0 5 0 1118393492 147423232 31698 4294967295 134512640 135180984 3221062448 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24428/tid=24430] ppid=24426 vsize=143968 CPUtime=350.03
/proc/24428/task/24430/stat : 24430 (satake) R 24426 24428 20665 0 -1 4202560 10499 0 0 0 34951 52 0 0 20 0 5 0 1118393492 147423232 31698 4294967295 134512640 135180984 3221062448 3086372624 134525209 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24428/tid=24431] ppid=24426 vsize=143968 CPUtime=352.01
/proc/24428/task/24431/stat : 24431 (satake) R 24426 24428 20665 0 -1 4202560 11047 0 0 0 35157 44 0 0 25 0 5 0 1118393492 147423232 31698 4294967295 134512640 135180984 3221062448 3086307184 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24428/tid=24432] ppid=24426 vsize=143968 CPUtime=327.71
/proc/24428/task/24432/stat : 24432 (satake) R 24426 24428 20665 0 -1 4202560 10945 0 0 0 32723 48 0 0 25 0 5 0 1118393492 147423232 31698 4294967295 134512640 135180984 3221062448 3086241552 134525333 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1032.2
Current children cumulated vsize (KiB) 143968



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 6.85 6.85 6.85 8/118 27643
/proc/meminfo: memFree=1517820/3368532 swapFree=1952996/1959888
[pid=24428] ppid=24426 vsize=147476 CPUtime=1084.08
/proc/24428/stat : 24428 (satake) S 24426 24428 20665 0 -1 4202496 35681 0 0 0 108073 335 0 0 18 0 5 0 1118393486 151015424 32551 4294967295 134512640 135180984 3221062448 3221061884 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24428/statm: 36869 32551 68 164 0 36704 0
[pid=24428/tid=24429] ppid=24426 vsize=147476 CPUtime=2.58
/proc/24428/task/24429/stat : 24429 (satake) S 24426 24428 20665 0 -1 4202560 2316 0 0 0 77 181 0 0 15 0 5 0 1118393492 151015424 32551 4294967295 134512640 135180984 3221062448 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24428/tid=24430] ppid=24426 vsize=147476 CPUtime=367.93
/proc/24428/task/24430/stat : 24430 (satake) R 24426 24428 20665 0 -1 4202560 10670 0 0 0 36739 54 0 0 25 0 5 0 1118393492 151015424 32551 4294967295 134512640 135180984 3221062448 3086372784 134532470 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24428/tid=24431] ppid=24426 vsize=147476 CPUtime=366.71
/proc/24428/task/24431/stat : 24431 (satake) R 24426 24428 20665 0 -1 4202560 11326 0 0 0 36624 47 0 0 22 0 5 0 1118393492 151015424 32551 4294967295 134512640 135180984 3221062448 3086307184 134528554 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24428/tid=24432] ppid=24426 vsize=147476 CPUtime=346.85
/proc/24428/task/24432/stat : 24432 (satake) R 24426 24428 20665 0 -1 4202560 11258 0 0 0 34633 52 0 0 22 0 5 0 1118393492 151015424 32551 4294967295 134512640 135180984 3221062448 3086241552 134525458 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1084.08
Current children cumulated vsize (KiB) 147476

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.11
CPU time (s): 1084.09
CPU user time (s): 1080.74
CPU system time (s): 3.35
CPU usage (%): 108.397
Max. virtual memory (cumulated for all children) (KiB): 147476

deleting IPC queue 7864320
deleting IPC queue 7897089
deleting IPC queue 7929858
deleting IPC queue 7962627
deleting IPC queue 7995396
deleting IPC queue 8028165
deleting IPC queue 8060934
deleting IPC queue 8093703
deleting IPC queue 8126472
deleting IPC queue 8159241
deleting IPC queue 8192010
deleting IPC queue 8224779
deleting IPC queue 8257548
deleting IPC queue 8290317
deleting IPC queue 8323086
deleting IPC queue 8355855

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1080.74
system time used= 3.35
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35681
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= 472279
involuntary context switches= 456980

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-30 02:16:01
IDJOB=1779175
IDBENCH=70819
IDSOLVER=629
FILE ID=tipi45/1779175-1243642561
PBS_JOBID=
Free space on /tmp= 15498 MiB

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

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

MD5SUM BENCH= c8a05d1e76535706c430a6b42d191d4b
RANDOM SEED= 1917574066

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:       1676504 kB
Buffers:        148432 kB
Cached:        1124448 kB
SwapCached:       2100 kB
Active:        1425764 kB
Inactive:       167632 kB
HighTotal:     2489216 kB
HighFree:      1041148 kB
LowTotal:       879316 kB
LowFree:        635356 kB
SwapTotal:     1959888 kB
SwapFree:      1952996 kB
Dirty:            9992 kB
Writeback:           0 kB
AnonPages:      319788 kB
Mapped:           6384 kB
Slab:            85264 kB
SReclaimable:    73884 kB
SUnreclaim:      11380 kB
PageTables:        996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   407644 kB
VmallocTotal:   114680 kB
VmallocUsed:     17900 kB
VmallocChunk:    96244 kB

Free space on /tmp at the end= 15498 MiB
End job on tipi45 at 2009-05-30 02:32:44