Trace number 1781335

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) 707.03 1000.1

General information on the benchmark

Namegoldb-heqc-term1mul.cnf
MD5SUMc356d60706abf7ddd80826e417c8de67
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark155.33
Satisfiable
(Un)Satisfiability was proved
Number of variables3504
Number of clauses22229
Sum of the clauses size75188
Maximum clause length20
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25116
Number of clauses of size 310312
Number of clauses of size 40
Number of clauses of size 56800
Number of clauses of size over 51

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-1781335-1243653711/watcher-1781335-1243653711 -o /tmp/evaluation-result-1781335-1243653711/solver-1781335-1243653711 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781335-1243653711.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.14 7.26 7.26 11/117 27531
/proc/meminfo: memFree=2203364/3368532 swapFree=1953000/1959888
[pid=27528] ppid=27524 vsize=1092 CPUtime=0
/proc/27528/stat : 27528 (satake) R 27524 27528 20665 0 -1 4202496 110 0 0 0 0 0 0 0 20 0 4 0 1119508432 1118208 66 4294967295 134512640 135180984 3215642112 3215641456 134705812 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27528/statm: 273 66 54 164 0 108 0
[pid=27528/tid=27529] ppid=27524 vsize=1092 CPUtime=0
/proc/27528/task/27529/stat : 27529 (satake) R 27524 27528 20665 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 1119508432 1118208 66 4294967295 134512640 135180984 3215642112 3086934852 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27528/tid=27530] ppid=27524 vsize=1092 CPUtime=0
/proc/27528/task/27530/stat : 27530 (satake) R 27524 27528 20665 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 1119508432 1118208 66 4294967295 134512640 135180984 3215642112 3086869316 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27528/tid=27531] ppid=27524 vsize=1092 CPUtime=0
/proc/27528/task/27531/stat : 27531 (satake) R 27524 27528 20665 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 1119508432 1118208 66 4294967295 134512640 135180984 3215642112 3086803780 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.059224 s]
/proc/loadavg: 7.14 7.26 7.26 11/117 27531
/proc/meminfo: memFree=2203364/3368532 swapFree=1953000/1959888
[pid=27528] ppid=27524 vsize=2804 CPUtime=0.02
/proc/27528/stat : 27528 (satake) R 27524 27528 20665 0 -1 4202496 552 0 0 0 2 0 0 0 20 0 4 0 1119508432 2871296 508 4294967295 134512640 135180984 3215642112 3215641456 134705812 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27528/statm: 701 508 63 164 0 536 0
[pid=27528/tid=27529] ppid=27524 vsize=2804 CPUtime=0
/proc/27528/task/27529/stat : 27529 (satake) S 27524 27528 20665 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 4 0 1119508432 2871296 508 4294967295 134512640 135180984 3215642112 3086934032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=27528/tid=27530] ppid=27524 vsize=2804 CPUtime=0.01
/proc/27528/task/27530/stat : 27530 (satake) R 27524 27528 20665 0 -1 4202560 188 0 0 0 1 0 0 0 21 0 4 0 1119508432 2871296 508 4294967295 134512640 135180984 3215642112 3086868644 134682188 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27528/tid=27531] ppid=27524 vsize=2804 CPUtime=0.01
/proc/27528/task/27531/stat : 27531 (satake) R 27524 27528 20665 0 -1 4202560 247 0 0 0 1 0 0 0 21 0 4 0 1119508432 2871296 508 4294967295 134512640 135180984 3215642112 3086803248 134534751 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2804

[startup+0.109218 s]
/proc/loadavg: 7.14 7.26 7.26 11/117 27531
/proc/meminfo: memFree=2203364/3368532 swapFree=1953000/1959888
[pid=27528] ppid=27524 vsize=2804 CPUtime=0.02
/proc/27528/stat : 27528 (satake) R 27524 27528 20665 0 -1 4202496 552 0 0 0 2 0 0 0 20 0 4 0 1119508432 2871296 508 4294967295 134512640 135180984 3215642112 3215641456 134705812 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27528/statm: 701 508 63 164 0 536 0
[pid=27528/tid=27529] ppid=27524 vsize=2804 CPUtime=0
/proc/27528/task/27529/stat : 27529 (satake) S 27524 27528 20665 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 4 0 1119508432 2871296 508 4294967295 134512640 135180984 3215642112 3086934032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=27528/tid=27530] ppid=27524 vsize=2804 CPUtime=0.01
/proc/27528/task/27530/stat : 27530 (satake) R 27524 27528 20665 0 -1 4202560 188 0 0 0 1 0 0 0 21 0 4 0 1119508432 2871296 508 4294967295 134512640 135180984 3215642112 3086868644 134682188 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27528/tid=27531] ppid=27524 vsize=2804 CPUtime=0.01
/proc/27528/task/27531/stat : 27531 (satake) R 27524 27528 20665 0 -1 4202560 247 0 0 0 1 0 0 0 21 0 4 0 1119508432 2871296 508 4294967295 134512640 135180984 3215642112 3086803248 134534751 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2804

[startup+0.309204 s]
/proc/loadavg: 7.14 7.26 7.26 11/117 27531
/proc/meminfo: memFree=2203364/3368532 swapFree=1953000/1959888
[pid=27528] ppid=27524 vsize=6456 CPUtime=0.27
/proc/27528/stat : 27528 (satake) S 27524 27528 20665 0 -1 4202496 1573 0 0 0 24 3 0 0 20 0 5 0 1119508432 6610944 1204 4294967295 134512640 135180984 3215642112 3215641548 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27528/statm: 1614 1204 68 164 0 1449 0
[pid=27528/tid=27529] ppid=27524 vsize=6456 CPUtime=0.01
/proc/27528/task/27529/stat : 27529 (satake) S 27524 27528 20665 0 -1 4202560 67 0 0 0 0 1 0 0 19 0 5 0 1119508432 6610944 1204 4294967295 134512640 135180984 3215642112 3086934032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27528/tid=27530] ppid=27524 vsize=6456 CPUtime=0.11
/proc/27528/task/27530/stat : 27530 (satake) R 27524 27528 20665 0 -1 4202560 463 0 0 0 10 1 0 0 22 0 5 0 1119508432 6610944 1204 4294967295 134512640 135180984 3215642112 3086868352 134518634 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27528/tid=27531] ppid=27524 vsize=6456 CPUtime=0.11
/proc/27528/task/27531/stat : 27531 (satake) R 27524 27528 20665 0 -1 4202560 450 0 0 0 10 1 0 0 21 0 5 0 1119508432 6610944 1204 4294967295 134512640 135180984 3215642112 3086802800 134528680 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6456

[startup+0.709169 s]
/proc/loadavg: 7.14 7.26 7.26 11/117 27531
/proc/meminfo: memFree=2203364/3368532 swapFree=1953000/1959888
[pid=27528] ppid=27524 vsize=6720 CPUtime=0.71
/proc/27528/stat : 27528 (satake) S 27524 27528 20665 0 -1 4202496 1678 0 0 0 57 14 0 0 20 0 5 0 1119508432 6881280 1309 4294967295 134512640 135180984 3215642112 3215641548 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27528/statm: 1680 1309 68 164 0 1515 0
[pid=27528/tid=27529] ppid=27524 vsize=6720 CPUtime=0.07
/proc/27528/task/27529/stat : 27529 (satake) S 27524 27528 20665 0 -1 4202560 86 0 0 0 2 5 0 0 16 0 5 0 1119508432 6881280 1309 4294967295 134512640 135180984 3215642112 3086934032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27528/tid=27530] ppid=27524 vsize=6720 CPUtime=0.24
/proc/27528/task/27530/stat : 27530 (satake) S 27524 27528 20665 0 -1 4202560 491 0 0 0 22 2 0 0 22 0 5 0 1119508432 6881280 1309 4294967295 134512640 135180984 3215642112 3086868128 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=27528/tid=27531] ppid=27524 vsize=6720 CPUtime=0.25
/proc/27528/task/27531/stat : 27531 (satake) R 27524 27528 20665 0 -1 4202560 484 0 0 0 21 4 0 0 21 0 5 0 1119508432 6881280 1309 4294967295 134512640 135180984 3215642112 3086802592 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 6720

[startup+1.50911 s]
/proc/loadavg: 7.14 7.26 7.26 9/119 27541
/proc/meminfo: memFree=2198688/3368532 swapFree=1953000/1959888
[pid=27528] ppid=27524 vsize=7512 CPUtime=1.84
/proc/27528/stat : 27528 (satake) S 27524 27528 20665 0 -1 4202496 1961 0 0 0 152 32 0 0 20 0 5 0 1119508432 7692288 1592 4294967295 134512640 135180984 3215642112 3215641548 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27528/statm: 1878 1592 68 164 0 1713 0
[pid=27528/tid=27529] ppid=27524 vsize=7512 CPUtime=0.18
/proc/27528/task/27529/stat : 27529 (satake) S 27524 27528 20665 0 -1 4202560 141 0 0 0 3 15 0 0 16 0 5 0 1119508432 7692288 1592 4294967295 134512640 135180984 3215642112 3086934032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27528/tid=27530] ppid=27524 vsize=7512 CPUtime=0.56
/proc/27528/task/27530/stat : 27530 (satake) R 27524 27528 20665 0 -1 4202560 561 0 0 0 50 6 0 0 22 0 5 0 1119508432 7692288 1592 4294967295 134512640 135180984 3215642112 3086868336 134528674 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27528/tid=27531] ppid=27524 vsize=7512 CPUtime=0.61
/proc/27528/task/27531/stat : 27531 (satake) R 27524 27528 20665 0 -1 4202560 561 0 0 0 56 5 0 0 22 0 5 0 1119508432 7692288 1592 4294967295 134512640 135180984 3215642112 3086802800 134526950 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27528/tid=27534] ppid=27524 vsize=7512 CPUtime=0.49
/proc/27528/task/27534/stat : 27534 (satake) R 27524 27528 20665 0 -1 4202560 587 0 0 0 43 6 0 0 22 0 5 0 1119508443 7692288 1592 4294967295 134512640 135180984 3215642112 3086729072 134528655 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 7512

[startup+3.10899 s]
/proc/loadavg: 7.14 7.26 7.26 10/119 27604
/proc/meminfo: memFree=2197060/3368532 swapFree=1953000/1959888
[pid=27528] ppid=27524 vsize=10384 CPUtime=4.32
/proc/27528/stat : 27528 (satake) S 27524 27528 20665 0 -1 4202496 2603 0 0 0 369 63 0 0 20 0 5 0 1119508432 10633216 2234 4294967295 134512640 135180984 3215642112 3215641548 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27528/statm: 2596 2234 68 164 0 2431 0
[pid=27528/tid=27529] ppid=27524 vsize=10384 CPUtime=0.39
/proc/27528/task/27529/stat : 27529 (satake) S 27524 27528 20665 0 -1 4202560 251 0 0 0 9 30 0 0 15 0 5 0 1119508432 10633216 2234 4294967295 134512640 135180984 3215642112 3086934032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27528/tid=27530] ppid=27524 vsize=10384 CPUtime=1.34
/proc/27528/task/27530/stat : 27530 (satake) S 27524 27528 20665 0 -1 4202560 739 0 0 0 120 14 0 0 24 0 5 0 1119508432 10633216 2234 4294967295 134512640 135180984 3215642112 3086868128 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=27528/tid=27531] ppid=27524 vsize=10384 CPUtime=1.31
/proc/27528/task/27531/stat : 27531 (satake) R 27524 27528 20665 0 -1 4202560 717 0 0 0 122 9 0 0 25 0 5 0 1119508432 10633216 2234 4294967295 134512640 135180984 3215642112 3086802604 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27528/tid=27534] ppid=27524 vsize=10384 CPUtime=1.28
/proc/27528/task/27534/stat : 27534 (satake) R 27524 27528 20665 0 -1 4202560 785 0 0 0 118 10 0 0 23 0 5 0 1119508443 10633216 2234 4294967295 134512640 135180984 3215642112 3086729072 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 10384

[startup+6.30873 s]
/proc/loadavg: 6.97 7.22 7.25 8/118 27668
/proc/meminfo: memFree=2193336/3368532 swapFree=1953000/1959888
[pid=27528] ppid=27524 vsize=13400 CPUtime=7.64
/proc/27528/stat : 27528 (satake) S 27524 27528 20665 0 -1 4202496 3287 0 0 0 664 100 0 0 20 0 5 0 1119508432 13721600 2918 4294967295 134512640 135180984 3215642112 3215641548 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27528/statm: 3350 2918 68 164 0 3185 0
[pid=27528/tid=27529] ppid=27524 vsize=13400 CPUtime=0.68
/proc/27528/task/27529/stat : 27529 (satake) S 27524 27528 20665 0 -1 4202560 397 0 0 0 17 51 0 0 16 0 5 0 1119508432 13721600 2918 4294967295 134512640 135180984 3215642112 3086934032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=27528/tid=27530] ppid=27524 vsize=13400 CPUtime=2.1
/proc/27528/task/27530/stat : 27530 (satake) R 27524 27528 20665 0 -1 4202560 893 0 0 0 189 21 0 0 25 0 5 0 1119508432 13721600 2918 4294967295 134512640 135180984 3215642112 3086868264 134579486 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27528/tid=27531] ppid=27524 vsize=13400 CPUtime=2.22
/proc/27528/task/27531/stat : 27531 (satake) R 27524 27528 20665 0 -1 4202560 915 0 0 0 209 13 0 0 16 0 5 0 1119508432 13721600 2918 4294967295 134512640 135180984 3215642112 3086802736 134523716 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27528/tid=27534] ppid=27524 vsize=13400 CPUtime=2.65
/proc/27528/task/27534/stat : 27534 (satake) R 27524 27528 20665 0 -1 4202560 971 0 0 0 250 15 0 0 16 0 5 0 1119508443 13721600 2918 4294967295 134512640 135180984 3215642112 3086728876 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.64
Current children cumulated vsize (KiB) 13400

[startup+12.7082 s]
/proc/loadavg: 6.89 7.20 7.24 6/118 27668
/proc/meminfo: memFree=2192396/3368532 swapFree=1953000/1959888
[pid=27528] ppid=27524 vsize=13400 CPUtime=8.18
/proc/27528/stat : 27528 (satake) S 27524 27528 20665 0 -1 4202496 3307 0 0 0 709 109 0 0 20 0 5 0 1119508432 13721600 2938 4294967295 134512640 135180984 3215642112 3215641548 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27528/statm: 3350 2938 68 164 0 3185 0
[pid=27528/tid=27529] ppid=27524 vsize=13400 CPUtime=0.72
/proc/27528/task/27529/stat : 27529 (satake) S 27524 27528 20665 0 -1 4202560 407 0 0 0 17 55 0 0 16 0 5 0 1119508432 13721600 2938 4294967295 134512640 135180984 3215642112 3086934036 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=27528/tid=27530] ppid=27524 vsize=13400 CPUtime=2.14
/proc/27528/task/27530/stat : 27530 (satake) R 27524 27528 20665 0 -1 4202560 893 0 0 0 191 23 0 0 25 0 5 0 1119508432 13721600 2938 4294967295 134512640 135180984 3215642112 3086868140 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27528/tid=27531] ppid=27524 vsize=13400 CPUtime=2.43
/proc/27528/task/27531/stat : 27531 (satake) S 27524 27528 20665 0 -1 4202560 921 0 0 0 228 15 0 0 16 0 5 0 1119508432 13721600 2938 4294967295 134512640 135180984 3215642112 3086802592 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27528/tid=27534] ppid=27524 vsize=13400 CPUtime=2.89
/proc/27528/task/27534/stat : 27534 (satake) S 27524 27528 20665 0 -1 4202560 975 0 0 0 273 16 0 0 16 0 5 0 1119508443 13721600 2938 4294967295 134512640 135180984 3215642112 3086728864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.18
Current children cumulated vsize (KiB) 13400
heavy processes:
  %CPU=82 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=83 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=82 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=84 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+25.5072 s]
/proc/loadavg: 6.47 7.09 7.21 6/118 27673
/proc/meminfo: memFree=2191748/3368532 swapFree=1953000/1959888
[pid=27528] ppid=27524 vsize=13400 CPUtime=8.19
/proc/27528/stat : 27528 (satake) S 27524 27528 20665 0 -1 4202496 3307 0 0 0 709 110 0 0 20 0 5 0 1119508432 13721600 2938 4294967295 134512640 135180984 3215642112 3215641548 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27528/statm: 3350 2938 68 164 0 3185 0
[pid=27528/tid=27529] ppid=27524 vsize=13400 CPUtime=0.73
/proc/27528/task/27529/stat : 27529 (satake) S 27524 27528 20665 0 -1 4202560 407 0 0 0 17 56 0 0 16 0 5 0 1119508432 13721600 2938 4294967295 134512640 135180984 3215642112 3086934036 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=27528/tid=27530] ppid=27524 vsize=13400 CPUtime=2.14
/proc/27528/task/27530/stat : 27530 (satake) R 27524 27528 20665 0 -1 4202560 893 0 0 0 191 23 0 0 25 0 5 0 1119508432 13721600 2938 4294967295 134512640 135180984 3215642112 3086868140 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27528/tid=27531] ppid=27524 vsize=13400 CPUtime=2.43
/proc/27528/task/27531/stat : 27531 (satake) S 27524 27528 20665 0 -1 4202560 921 0 0 0 228 15 0 0 16 0 5 0 1119508432 13721600 2938 4294967295 134512640 135180984 3215642112 3086802592 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27528/tid=27534] ppid=27524 vsize=13400 CPUtime=2.89
/proc/27528/task/27534/stat : 27534 (satake) S 27524 27528 20665 0 -1 4202560 975 0 0 0 273 16 0 0 16 0 5 0 1119508443 13721600 2938 4294967295 134512640 135180984 3215642112 3086728864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.19
Current children cumulated vsize (KiB) 13400
heavy processes:
  %CPU=82 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=83 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=82 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=84 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+51.1053 s]
/proc/loadavg: 6.04 6.94 7.15 7/118 27677
/proc/meminfo: memFree=2189656/3368532 swapFree=1953000/1959888
[pid=27528] ppid=27524 vsize=15364 CPUtime=12.13
/proc/27528/stat : 27528 (satake) S 27524 27528 20665 0 -1 4202496 3683 0 0 0 1058 155 0 0 20 0 5 0 1119508432 15732736 3314 4294967295 134512640 135180984 3215642112 3215641548 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27528/statm: 3841 3314 68 164 0 3676 0
[pid=27528/tid=27529] ppid=27524 vsize=15364 CPUtime=1.08
/proc/27528/task/27529/stat : 27529 (satake) S 27524 27528 20665 0 -1 4202560 501 0 0 0 26 82 0 0 16 0 5 0 1119508432 15732736 3314 4294967295 134512640 135180984 3215642112 3086934036 134580588 0 0 0 0 3223036975 0 0 -1 3 0 0 0
[pid=27528/tid=27530] ppid=27524 vsize=15364 CPUtime=2.79
/proc/27528/task/27530/stat : 27530 (satake) R 27524 27528 20665 0 -1 4202560 946 0 0 0 250 29 0 0 25 0 5 0 1119508432 15732736 3314 4294967295 134512640 135180984 3215642112 3086868128 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27528/tid=27531] ppid=27524 vsize=15364 CPUtime=3.81
/proc/27528/task/27531/stat : 27531 (satake) S 27524 27528 20665 0 -1 4202560 994 0 0 0 362 19 0 0 15 0 5 0 1119508432 15732736 3314 4294967295 134512640 135180984 3215642112 3086802592 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27528/tid=27534] ppid=27524 vsize=15364 CPUtime=4.45
/proc/27528/task/27534/stat : 27534 (satake) R 27524 27528 20665 0 -1 4202560 1131 0 0 0 420 25 0 0 16 0 5 0 1119508443 15732736 3314 4294967295 134512640 135180984 3215642112 3086729040 134522701 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.13
Current children cumulated vsize (KiB) 15364
heavy processes:
  %CPU=82 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=83 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam

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

/proc/27528/task/27534/stat : 27534 (satake) S 27524 27528 20665 0 -1 4202560 2294 0 0 0 13108 838 0 0 15 0 5 0 1119508443 108015616 22853 4294967295 134512640 135180984 3215642112 3086728864 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 554.79
Current children cumulated vsize (KiB) 105484

[startup+702.305 s]
/proc/loadavg: 5.80 6.35 6.78 8/118 29746
/proc/meminfo: memFree=2089464/3368532 swapFree=1953000/1959888
[pid=27528] ppid=27524 vsize=107556 CPUtime=564.74
/proc/27528/stat : 27528 (satake) S 27524 27528 20665 0 -1 4202496 23622 0 0 0 51225 5249 0 0 20 0 5 0 1119508432 110137344 23253 4294967295 134512640 135180984 3215642112 3215641548 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27528/statm: 26889 23253 68 164 0 26724 0
[pid=27528/tid=27529] ppid=27524 vsize=107556 CPUtime=39.55
/proc/27528/task/27529/stat : 27529 (satake) S 27524 27528 20665 0 -1 4202560 12531 0 0 0 1217 2738 0 0 16 0 5 0 1119508432 110137344 23253 4294967295 134512640 135180984 3215642112 3086934036 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=27528/tid=27530] ppid=27524 vsize=107556 CPUtime=182.25
/proc/27528/task/27530/stat : 27530 (satake) R 27524 27528 20665 0 -1 4202560 4144 0 0 0 17443 782 0 0 25 0 5 0 1119508432 110137344 23253 4294967295 134512640 135180984 3215642112 3086868140 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27528/tid=27531] ppid=27524 vsize=107556 CPUtime=198.96
/proc/27528/task/27531/stat : 27531 (satake) S 27524 27528 20665 0 -1 4202560 4508 0 0 0 19027 869 0 0 18 0 5 0 1119508432 110137344 23253 4294967295 134512640 135180984 3215642112 3086802592 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27528/tid=27534] ppid=27524 vsize=107556 CPUtime=143.98
/proc/27528/task/27534/stat : 27534 (satake) S 27524 27528 20665 0 -1 4202560 2328 0 0 0 13538 860 0 0 18 0 5 0 1119508443 110137344 23253 4294967295 134512640 135180984 3215642112 3086728864 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.74
Current children cumulated vsize (KiB) 107556

[startup+762.31 s]
/proc/loadavg: 5.62 6.20 6.70 7/118 29934
/proc/meminfo: memFree=2085752/3368532 swapFree=1953000/1959888
[pid=27528] ppid=27524 vsize=109484 CPUtime=586.71
/proc/27528/stat : 27528 (satake) S 27524 27528 20665 0 -1 4202496 24158 0 0 0 53188 5483 0 0 20 0 5 0 1119508432 112111616 23789 4294967295 134512640 135180984 3215642112 3215641548 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27528/statm: 27371 23789 68 164 0 27206 0
[pid=27528/tid=27529] ppid=27524 vsize=109484 CPUtime=41.21
/proc/27528/task/27529/stat : 27529 (satake) S 27524 27528 20665 0 -1 4202560 12874 0 0 0 1263 2858 0 0 16 0 5 0 1119508432 112111616 23789 4294967295 134512640 135180984 3215642112 3086934036 134580588 0 0 0 0 3223036975 0 0 -1 3 0 0 0
[pid=27528/tid=27530] ppid=27524 vsize=109484 CPUtime=185.84
/proc/27528/task/27530/stat : 27530 (satake) S 27524 27528 20665 0 -1 4202560 4239 0 0 0 17769 815 0 0 25 0 5 0 1119508432 112111616 23789 4294967295 134512640 135180984 3215642112 3086868128 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27528/tid=27531] ppid=27524 vsize=109484 CPUtime=206.69
/proc/27528/task/27531/stat : 27531 (satake) R 27524 27528 20665 0 -1 4202560 4592 0 0 0 19761 908 0 0 25 0 5 0 1119508432 112111616 23789 4294967295 134512640 135180984 3215642112 3086802604 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27528/tid=27534] ppid=27524 vsize=109484 CPUtime=152.97
/proc/27528/task/27534/stat : 27534 (satake) S 27524 27528 20665 0 -1 4202560 2342 0 0 0 14395 902 0 0 25 0 5 0 1119508443 112111616 23789 4294967295 134512640 135180984 3215642112 3086728864 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 586.71
Current children cumulated vsize (KiB) 109484
heavy processes:
  %CPU=82 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=83 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=83 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=84 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+822.316 s]
/proc/loadavg: 5.77 6.14 6.65 7/118 30126
/proc/meminfo: memFree=2082528/3368532 swapFree=1953000/1959888
[pid=27528] ppid=27524 vsize=109756 CPUtime=597.97
/proc/27528/stat : 27528 (satake) S 27524 27528 20665 0 -1 4202496 24278 0 0 0 54217 5580 0 0 20 0 5 0 1119508432 112390144 23909 4294967295 134512640 135180984 3215642112 3215641548 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27528/statm: 27439 23909 68 164 0 27274 0
[pid=27528/tid=27529] ppid=27524 vsize=109756 CPUtime=41.82
/proc/27528/task/27529/stat : 27529 (satake) S 27524 27528 20665 0 -1 4202560 12980 0 0 0 1280 2902 0 0 16 0 5 0 1119508432 112390144 23909 4294967295 134512640 135180984 3215642112 3086934032 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27528/tid=27530] ppid=27524 vsize=109756 CPUtime=189.22
/proc/27528/task/27530/stat : 27530 (satake) S 27524 27528 20665 0 -1 4202560 4253 0 0 0 18081 841 0 0 24 0 5 0 1119508432 112390144 23909 4294967295 134512640 135180984 3215642112 3086868128 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27528/tid=27531] ppid=27524 vsize=109756 CPUtime=209.8
/proc/27528/task/27531/stat : 27531 (satake) S 27524 27528 20665 0 -1 4202560 4592 0 0 0 20057 923 0 0 18 0 5 0 1119508432 112390144 23909 4294967295 134512640 135180984 3215642112 3086802592 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27528/tid=27534] ppid=27524 vsize=109756 CPUtime=157.13
/proc/27528/task/27534/stat : 27534 (satake) R 27524 27528 20665 0 -1 4202560 2342 0 0 0 14799 914 0 0 25 0 5 0 1119508443 112390144 23909 4294967295 134512640 135180984 3215642112 3086728876 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 597.97
Current children cumulated vsize (KiB) 109756
heavy processes:
  %CPU=82 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=83 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=83 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=84 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+882.311 s]
/proc/loadavg: 6.09 6.18 6.63 7/118 30315
/proc/meminfo: memFree=2074468/3368532 swapFree=1953000/1959888
[pid=27528] ppid=27524 vsize=115696 CPUtime=648.47
/proc/27528/stat : 27528 (satake) S 27524 27528 20665 0 -1 4202496 25915 0 0 0 58848 5999 0 0 20 0 5 0 1119508432 118472704 25546 4294967295 134512640 135180984 3215642112 3215641548 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27528/statm: 28924 25546 68 164 0 28759 0
[pid=27528/tid=27529] ppid=27524 vsize=115696 CPUtime=44.59
/proc/27528/task/27529/stat : 27529 (satake) S 27524 27528 20665 0 -1 4202560 13602 0 0 0 1347 3112 0 0 15 0 5 0 1119508432 118472704 25546 4294967295 134512640 135180984 3215642112 3086934036 134580588 0 0 0 0 3223036975 0 0 -1 1 0 0 0
[pid=27528/tid=27530] ppid=27524 vsize=115696 CPUtime=207.41
/proc/27528/task/27530/stat : 27530 (satake) R 27524 27528 20665 0 -1 4202560 4819 0 0 0 19845 896 0 0 25 0 5 0 1119508432 118472704 25546 4294967295 134512640 135180984 3215642112 3086868140 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27528/tid=27531] ppid=27524 vsize=115696 CPUtime=229.4
/proc/27528/task/27531/stat : 27531 (satake) S 27524 27528 20665 0 -1 4202560 5027 0 0 0 21906 1034 0 0 18 0 5 0 1119508432 118472704 25546 4294967295 134512640 135180984 3215642112 3086802592 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27528/tid=27534] ppid=27524 vsize=115696 CPUtime=167.07
/proc/27528/task/27534/stat : 27534 (satake) S 27524 27528 20665 0 -1 4202560 2356 0 0 0 15750 957 0 0 17 0 5 0 1119508443 118472704 25546 4294967295 134512640 135180984 3215642112 3086728864 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.47
Current children cumulated vsize (KiB) 115696
heavy processes:
  %CPU=82 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=83 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=83 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=84 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+942.306 s]
/proc/loadavg: 6.21 6.22 6.61 6/118 30502
/proc/meminfo: memFree=2070376/3368532 swapFree=1953000/1959888
[pid=27528] ppid=27524 vsize=117696 CPUtime=693.92
/proc/27528/stat : 27528 (satake) S 27524 27528 20665 0 -1 4202496 26624 0 0 0 62962 6430 0 0 20 0 5 0 1119508432 120520704 26255 4294967295 134512640 135180984 3215642112 3215641548 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27528/statm: 29424 26255 68 164 0 29259 0
[pid=27528/tid=27529] ppid=27524 vsize=117696 CPUtime=47.51
/proc/27528/task/27529/stat : 27529 (satake) S 27524 27528 20665 0 -1 4202560 14179 0 0 0 1427 3324 0 0 15 0 5 0 1119508432 120520704 26255 4294967295 134512640 135180984 3215642112 3086934036 134580588 0 0 0 0 3223036975 0 0 -1 1 0 0 0
[pid=27528/tid=27530] ppid=27524 vsize=117696 CPUtime=214.83
/proc/27528/task/27530/stat : 27530 (satake) R 27524 27528 20665 0 -1 4202560 4878 0 0 0 20533 950 0 0 25 0 5 0 1119508432 120520704 26255 4294967295 134512640 135180984 3215642112 3086868140 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27528/tid=27531] ppid=27524 vsize=117696 CPUtime=246.59
/proc/27528/task/27531/stat : 27531 (satake) S 27524 27528 20665 0 -1 4202560 5087 0 0 0 23521 1138 0 0 17 0 5 0 1119508432 120520704 26255 4294967295 134512640 135180984 3215642112 3086802592 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27528/tid=27534] ppid=27524 vsize=117696 CPUtime=184.99
/proc/27528/task/27534/stat : 27534 (satake) S 27524 27528 20665 0 -1 4202560 2369 0 0 0 17481 1018 0 0 16 0 5 0 1119508443 120520704 26255 4294967295 134512640 135180984 3215642112 3086728864 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 693.92
Current children cumulated vsize (KiB) 117696
heavy processes:
  %CPU=82 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=83 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=83 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=84 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: 5.88 6.12 6.55 6/118 30690
/proc/meminfo: memFree=2067004/3368532 swapFree=1953000/1959888
[pid=27528] ppid=27524 vsize=120008 CPUtime=707.03
/proc/27528/stat : 27528 (satake) S 27524 27528 20665 0 -1 4202496 26870 0 0 0 64201 6502 0 0 20 0 5 0 1119508432 122888192 26501 4294967295 134512640 135180984 3215642112 3215641548 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27528/statm: 30002 26501 68 164 0 29837 0
[pid=27528/tid=27529] ppid=27524 vsize=120008 CPUtime=48.08
/proc/27528/task/27529/stat : 27529 (satake) S 27524 27528 20665 0 -1 4202560 14375 0 0 0 1447 3361 0 0 15 0 5 0 1119508432 122888192 26501 4294967295 134512640 135180984 3215642112 3086934036 134580588 0 0 0 0 3223036975 0 0 -1 3 0 0 0
[pid=27528/tid=27530] ppid=27524 vsize=120008 CPUtime=217.37
/proc/27528/task/27530/stat : 27530 (satake) R 27524 27528 20665 0 -1 4202560 4893 0 0 0 20776 961 0 0 25 0 5 0 1119508432 122888192 26501 4294967295 134512640 135180984 3215642112 3086868140 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27528/tid=27531] ppid=27524 vsize=120008 CPUtime=250.93
/proc/27528/task/27531/stat : 27531 (satake) S 27524 27528 20665 0 -1 4202560 5122 0 0 0 23944 1149 0 0 15 0 5 0 1119508432 122888192 26501 4294967295 134512640 135180984 3215642112 3086802592 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=27528/tid=27534] ppid=27524 vsize=120008 CPUtime=190.65
/proc/27528/task/27534/stat : 27534 (satake) S 27524 27528 20665 0 -1 4202560 2369 0 0 0 18034 1031 0 0 16 0 5 0 1119508443 122888192 26501 4294967295 134512640 135180984 3215642112 3086728864 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 707.03
Current children cumulated vsize (KiB) 120008
heavy processes:
  %CPU=82 pid=12341 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=83 pid=12739 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/Isolet/isoletTrain.arff /users/tao/kegl/Research/Sam
  %CPU=83 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=84 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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27528 and gives
#  childrusage.ru_utime.tv_sec=642
#  childrusage.ru_utime.tv_usec=10000
#  childrusage.ru_stime.tv_sec=65
#  childrusage.ru_stime.tv_usec=20000
# CPU time returned by wait4() is 707.03
# while last known CPU time is 707.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1000.1
CPU time (s): 707.03
CPU user time (s): 642.01
CPU system time (s): 65.02
CPU usage (%): 70.696
Max. virtual memory (cumulated for all children) (KiB): 120008

deleting IPC queue 14155776
deleting IPC queue 14188545
deleting IPC queue 14221314
deleting IPC queue 14254083
deleting IPC queue 14286852
deleting IPC queue 14319621
deleting IPC queue 14352390
deleting IPC queue 14385159
deleting IPC queue 14417928
deleting IPC queue 14450697
deleting IPC queue 14483466
deleting IPC queue 14516235
deleting IPC queue 14549004
deleting IPC queue 14581773
deleting IPC queue 14614542
deleting IPC queue 14647311

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 642.01
system time used= 65.02
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26870
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= 13461228
involuntary context switches= 12719065

runsolver used 0 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-30 05:21:51
IDJOB=1781335
IDBENCH=71729
IDSOLVER=629
FILE ID=tipi45/1781335-1243653711
PBS_JOBID=
Free space on /tmp= 15501 MiB

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

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

MD5SUM BENCH= c356d60706abf7ddd80826e417c8de67
RANDOM SEED= 1266358648

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:       2203512 kB
Buffers:         35224 kB
Cached:         681780 kB
SwapCached:       1800 kB
Active:         549876 kB
Inactive:       526480 kB
HighTotal:     2489216 kB
HighFree:      1445212 kB
LowTotal:       879316 kB
LowFree:        758300 kB
SwapTotal:     1959888 kB
SwapFree:      1953000 kB
Dirty:            4712 kB
Writeback:           0 kB
AnonPages:      358624 kB
Mapped:           6388 kB
Slab:            74952 kB
SReclaimable:    63292 kB
SUnreclaim:      11660 kB
PageTables:        996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   446680 kB
VmallocTotal:   114680 kB
VmallocUsed:     17900 kB
VmallocChunk:    96244 kB

Free space on /tmp at the end= 15501 MiB
End job on tipi45 at 2009-05-30 05:38:34