Trace number 1779040

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) 1167.12 1000.05

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxxororand/maxxororand032.cnf
MD5SUMfc00df719c8630009723cd295f7c0c3b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark863.54
Satisfiable
(Un)Satisfiability was proved
Number of variables23696
Number of clauses70703
Sum of the clauses size164971
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 247134
Number of clauses of size 323567
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-1779040-1243641557/watcher-1779040-1243641557 -o /tmp/evaluation-result-1779040-1243641557/solver-1779040-1243641557 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779040-1243641557.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.91 7.08 6.73 10/116 21186
/proc/meminfo: memFree=1708576/3368532 swapFree=1952996/1959888
[pid=21183] ppid=21181 vsize=1092 CPUtime=0
/proc/21183/stat : 21183 (satake) R 21181 21183 20665 0 -1 4202496 109 0 0 0 0 0 0 0 20 0 4 0 1118293030 1118208 66 4294967295 134512640 135180984 3214152848 3214152192 134705812 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21183/statm: 273 66 54 164 0 108 0
[pid=21183/tid=21184] ppid=21181 vsize=1092 CPUtime=0
/proc/21183/task/21184/stat : 21184 (satake) R 21181 21183 20665 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 1118293030 1118208 66 4294967295 134512640 135180984 3214152848 3086394180 134705812 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21183/tid=21185] ppid=21181 vsize=1092 CPUtime=0
/proc/21183/task/21185/stat : 21185 (satake) R 21181 21183 20665 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 1118293030 1118208 66 4294967295 134512640 135180984 3214152848 3086328644 134705812 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21183/tid=21186] ppid=21181 vsize=1092 CPUtime=0
/proc/21183/task/21186/stat : 21186 (satake) R 21181 21183 20665 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 1118293030 1118208 66 4294967295 134512640 135180984 3214152848 3086263108 134705812 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.038394 s]
/proc/loadavg: 6.91 7.08 6.73 10/116 21186
/proc/meminfo: memFree=1708576/3368532 swapFree=1952996/1959888
[pid=21183] ppid=21181 vsize=4120 CPUtime=0.02
/proc/21183/stat : 21183 (satake) R 21181 21183 20665 0 -1 4202496 883 0 0 0 2 0 0 0 20 0 4 0 1118293030 4218880 840 4294967295 134512640 135180984 3214152848 3214152192 134705812 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21183/statm: 1030 840 63 164 0 865 0
[pid=21183/tid=21184] ppid=21181 vsize=4120 CPUtime=0
/proc/21183/task/21184/stat : 21184 (satake) S 21181 21183 20665 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 4 0 1118293030 4218880 840 4294967295 134512640 135180984 3214152848 3086393360 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=21183/tid=21185] ppid=21181 vsize=4120 CPUtime=0.01
/proc/21183/task/21185/stat : 21185 (satake) R 21181 21183 20665 0 -1 4202560 320 0 0 0 1 0 0 0 21 0 4 0 1118293030 4218880 840 4294967295 134512640 135180984 3214152848 3086328096 134513640 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21183/tid=21186] ppid=21181 vsize=4120 CPUtime=0.01
/proc/21183/task/21186/stat : 21186 (satake) R 21181 21183 20665 0 -1 4202560 447 0 0 0 1 0 0 0 22 0 4 0 1118293030 4218880 840 4294967295 134512640 135180984 3214152848 3086262464 134522972 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4120

[startup+0.118587 s]
/proc/loadavg: 6.91 7.08 6.73 10/116 21186
/proc/meminfo: memFree=1708576/3368532 swapFree=1952996/1959888
[pid=21183] ppid=21181 vsize=6540 CPUtime=0.04
/proc/21183/stat : 21183 (satake) S 21181 21183 20665 0 -1 4202496 1341 0 0 0 4 0 0 0 20 0 5 0 1118293030 6696960 1294 4294967295 134512640 135180984 3214152848 3214152284 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21183/statm: 1635 1295 63 164 0 1470 0
[pid=21183/tid=21184] ppid=21181 vsize=6540 CPUtime=0
/proc/21183/task/21184/stat : 21184 (satake) S 21181 21183 20665 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1118293030 6696960 1295 4294967295 134512640 135180984 3214152848 3086393360 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=21183/tid=21185] ppid=21181 vsize=6540 CPUtime=0.03
/proc/21183/task/21185/stat : 21185 (satake) R 21181 21183 20665 0 -1 4202560 778 0 0 0 3 0 0 0 21 0 5 0 1118293030 6696960 1295 4294967295 134512640 135180984 3214152848 3086328080 134520025 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21183/tid=21186] ppid=21181 vsize=6540 CPUtime=0.01
/proc/21183/task/21186/stat : 21186 (satake) R 21181 21183 20665 0 -1 4202560 447 0 0 0 1 0 0 0 22 0 5 0 1118293030 6696960 1298 4294967295 134512640 135180984 3214152848 3086262464 134522972 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6540

[startup+0.308568 s]
/proc/loadavg: 6.91 7.08 6.73 10/116 21186
/proc/meminfo: memFree=1708576/3368532 swapFree=1952996/1959888
[pid=21183] ppid=21181 vsize=19676 CPUtime=0.35
/proc/21183/stat : 21183 (satake) S 21181 21183 20665 0 -1 4202496 5009 0 0 0 33 2 0 0 20 0 5 0 1118293030 20148224 4120 4294967295 134512640 135180984 3214152848 3214152284 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21183/statm: 4919 4120 68 164 0 4754 0
[pid=21183/tid=21184] ppid=21181 vsize=19676 CPUtime=0.01
/proc/21183/task/21184/stat : 21184 (satake) S 21181 21183 20665 0 -1 4202560 428 0 0 0 1 0 0 0 19 0 5 0 1118293030 20148224 4120 4294967295 134512640 135180984 3214152848 3086393360 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=21183/tid=21185] ppid=21181 vsize=19676 CPUtime=0.16
/proc/21183/task/21185/stat : 21185 (satake) R 21181 21183 20665 0 -1 4202560 1503 0 0 0 14 2 0 0 22 0 5 0 1118293030 20148224 4120 4294967295 134512640 135180984 3214152848 3086327632 134522706 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=21183/tid=21186] ppid=21181 vsize=19676 CPUtime=0.11
/proc/21183/task/21186/stat : 21186 (satake) R 21181 21183 20665 0 -1 4202560 1484 0 0 0 11 0 0 0 22 0 5 0 1118293030 20148224 4121 4294967295 134512640 135180984 3214152848 3086262016 134522980 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 19676

[startup+0.708539 s]
/proc/loadavg: 6.91 7.08 6.73 10/116 21186
/proc/meminfo: memFree=1708576/3368532 swapFree=1952996/1959888
[pid=21183] ppid=21181 vsize=19820 CPUtime=0.95
/proc/21183/stat : 21183 (satake) S 21181 21183 20665 0 -1 4202496 5079 0 0 0 93 2 0 0 20 0 5 0 1118293030 20295680 4190 4294967295 134512640 135180984 3214152848 3214152284 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21183/statm: 4955 4190 68 164 0 4790 0
[pid=21183/tid=21184] ppid=21181 vsize=19820 CPUtime=0.02
/proc/21183/task/21184/stat : 21184 (satake) S 21181 21183 20665 0 -1 4202560 432 0 0 0 2 0 0 0 15 0 5 0 1118293030 20295680 4190 4294967295 134512640 135180984 3214152848 3086393360 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=21183/tid=21185] ppid=21181 vsize=19820 CPUtime=0.36
/proc/21183/task/21185/stat : 21185 (satake) R 21181 21183 20665 0 -1 4202560 1528 0 0 0 34 2 0 0 22 0 5 0 1118293030 20295680 4190 4294967295 134512640 135180984 3214152848 3086327656 134518252 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=21183/tid=21186] ppid=21181 vsize=19820 CPUtime=0.3
/proc/21183/task/21186/stat : 21186 (satake) R 21181 21183 20665 0 -1 4202560 1501 0 0 0 30 0 0 0 22 0 5 0 1118293030 20295680 4190 4294967295 134512640 135180984 3214152848 3086262064 134523674 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 19820

[startup+1.50848 s]
/proc/loadavg: 6.91 7.08 6.73 9/118 21188
/proc/meminfo: memFree=1692000/3368532 swapFree=1952996/1959888
[pid=21183] ppid=21181 vsize=20976 CPUtime=1.53
/proc/21183/stat : 21183 (satake) S 21181 21183 20665 0 -1 4202496 5153 0 0 0 147 6 0 0 20 0 5 0 1118293030 21479424 4264 4294967295 134512640 135180984 3214152848 3214152284 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21183/statm: 5244 4264 68 164 0 5079 0
[pid=21183/tid=21184] ppid=21181 vsize=20976 CPUtime=0.05
/proc/21183/task/21184/stat : 21184 (satake) S 21181 21183 20665 0 -1 4202560 439 0 0 0 3 2 0 0 15 0 5 0 1118293030 21479424 4264 4294967295 134512640 135180984 3214152848 3086393360 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=21183/tid=21185] ppid=21181 vsize=20976 CPUtime=0.58
/proc/21183/task/21185/stat : 21185 (satake) S 21181 21183 20665 0 -1 4202560 1554 0 0 0 55 3 0 0 23 0 5 0 1118293030 21479424 4264 4294967295 134512640 135180984 3214152848 3086327456 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21183/tid=21186] ppid=21181 vsize=20976 CPUtime=0.43
/proc/21183/task/21186/stat : 21186 (satake) S 21181 21183 20665 0 -1 4202560 1517 0 0 0 43 0 0 0 23 0 5 0 1118293030 21479424 4264 4294967295 134512640 135180984 3214152848 3086261920 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=21183/tid=21188] ppid=21181 vsize=20976 CPUtime=0.47
/proc/21183/task/21188/stat : 21188 (satake) R 21181 21183 20665 0 -1 4202560 1533 0 0 0 46 1 0 0 25 0 5 0 1118293039 21479424 4264 4294967295 134512640 135180984 3214152848 3086188204 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 20976

[startup+3.10836 s]
/proc/loadavg: 6.91 7.08 6.73 6/118 21188
/proc/meminfo: memFree=1691664/3368532 swapFree=1952996/1959888
[pid=21183] ppid=21181 vsize=20976 CPUtime=1.53
/proc/21183/stat : 21183 (satake) S 21181 21183 20665 0 -1 4202496 5154 0 0 0 147 6 0 0 20 0 5 0 1118293030 21479424 4265 4294967295 134512640 135180984 3214152848 3214152284 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21183/statm: 5244 4265 68 164 0 5079 0
[pid=21183/tid=21184] ppid=21181 vsize=20976 CPUtime=0.05
/proc/21183/task/21184/stat : 21184 (satake) S 21181 21183 20665 0 -1 4202560 440 0 0 0 3 2 0 0 15 0 5 0 1118293030 21479424 4265 4294967295 134512640 135180984 3214152848 3086393360 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=21183/tid=21185] ppid=21181 vsize=20976 CPUtime=0.58
/proc/21183/task/21185/stat : 21185 (satake) S 21181 21183 20665 0 -1 4202560 1554 0 0 0 55 3 0 0 23 0 5 0 1118293030 21479424 4265 4294967295 134512640 135180984 3214152848 3086327456 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21183/tid=21186] ppid=21181 vsize=20976 CPUtime=0.43
/proc/21183/task/21186/stat : 21186 (satake) S 21181 21183 20665 0 -1 4202560 1517 0 0 0 43 0 0 0 23 0 5 0 1118293030 21479424 4265 4294967295 134512640 135180984 3214152848 3086261920 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=21183/tid=21188] ppid=21181 vsize=20976 CPUtime=0.47
/proc/21183/task/21188/stat : 21188 (satake) R 21181 21183 20665 0 -1 4202560 1533 0 0 0 46 1 0 0 25 0 5 0 1118293039 21479424 4265 4294967295 134512640 135180984 3214152848 3086188204 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 20976
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
  %CPU=88 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=91 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+6.3081 s]
/proc/loadavg: 6.76 7.05 6.72 6/118 21189
/proc/meminfo: memFree=1691416/3368532 swapFree=1952996/1959888
[pid=21183] ppid=21181 vsize=21240 CPUtime=2.03
/proc/21183/stat : 21183 (satake) S 21181 21183 20665 0 -1 4202496 5214 0 0 0 195 8 0 0 20 0 5 0 1118293030 21749760 4325 4294967295 134512640 135180984 3214152848 3214152284 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21183/statm: 5310 4325 68 164 0 5145 0
[pid=21183/tid=21184] ppid=21181 vsize=21240 CPUtime=0.06
/proc/21183/task/21184/stat : 21184 (satake) S 21181 21183 20665 0 -1 4202560 452 0 0 0 3 3 0 0 15 0 5 0 1118293030 21749760 4325 4294967295 134512640 135180984 3214152848 3086393364 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=21183/tid=21185] ppid=21181 vsize=21240 CPUtime=0.78
/proc/21183/task/21185/stat : 21185 (satake) S 21181 21183 20665 0 -1 4202560 1569 0 0 0 75 3 0 0 19 0 5 0 1118293030 21749760 4325 4294967295 134512640 135180984 3214152848 3086327456 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21183/tid=21186] ppid=21181 vsize=21240 CPUtime=0.65
/proc/21183/task/21186/stat : 21186 (satake) S 21181 21183 20665 0 -1 4202560 1543 0 0 0 64 1 0 0 18 0 5 0 1118293030 21749760 4325 4294967295 134512640 135180984 3214152848 3086261920 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=21183/tid=21188] ppid=21181 vsize=21240 CPUtime=0.54
/proc/21183/task/21188/stat : 21188 (satake) R 21181 21183 20665 0 -1 4202560 1540 0 0 0 53 1 0 0 25 0 5 0 1118293039 21749760 4325 4294967295 134512640 135180984 3214152848 3086188204 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 21240
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
  %CPU=88 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=91 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+12.7176 s]
/proc/loadavg: 6.70 7.03 6.71 9/118 21189
/proc/meminfo: memFree=1690580/3368532 swapFree=1952996/1959888
[pid=21183] ppid=21181 vsize=22064 CPUtime=3.84
/proc/21183/stat : 21183 (satake) S 21181 21183 20665 0 -1 4202496 5467 0 0 0 367 17 0 0 20 0 5 0 1118293030 22593536 4578 4294967295 134512640 135180984 3214152848 3214152284 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21183/statm: 5516 4578 68 164 0 5351 0
[pid=21183/tid=21184] ppid=21181 vsize=22064 CPUtime=0.12
/proc/21183/task/21184/stat : 21184 (satake) S 21181 21183 20665 0 -1 4202560 482 0 0 0 4 8 0 0 16 0 5 0 1118293030 22593536 4578 4294967295 134512640 135180984 3214152848 3086393360 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=21183/tid=21185] ppid=21181 vsize=22064 CPUtime=1.49
/proc/21183/task/21185/stat : 21185 (satake) R 21181 21183 20665 0 -1 4202560 1636 0 0 0 146 3 0 0 18 0 5 0 1118293030 22593536 4578 4294967295 134512640 135180984 3214152848 3086327656 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=21183/tid=21186] ppid=21181 vsize=22064 CPUtime=1.38
/proc/21183/task/21186/stat : 21186 (satake) R 21181 21183 20665 0 -1 4202560 1650 0 0 0 134 4 0 0 18 0 5 0 1118293030 22593536 4578 4294967295 134512640 135180984 3214152848 3086261960 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21183/tid=21188] ppid=21181 vsize=22064 CPUtime=0.85
/proc/21183/task/21188/stat : 21188 (satake) R 21181 21183 20665 0 -1 4202560 1589 0 0 0 83 2 0 0 25 0 5 0 1118293039 22593536 4578 4294967295 134512640 135180984 3214152848 3086188400 134528209 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 22064
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
  %CPU=88 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=91 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+25.5166 s]
/proc/loadavg: 6.59 6.99 6.71 6/118 21373
/proc/meminfo: memFree=1683092/3368532 swapFree=1952996/1959888
[pid=21183] ppid=21181 vsize=28544 CPUtime=14.75
/proc/21183/stat : 21183 (satake) S 21181 21183 20665 0 -1 4202496 6999 0 0 0 1414 61 0 0 20 0 5 0 1118293030 29229056 6110 4294967295 134512640 135180984 3214152848 3214152284 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21183/statm: 7136 6110 68 164 0 6971 0
[pid=21183/tid=21184] ppid=21181 vsize=28544 CPUtime=0.4
/proc/21183/task/21184/stat : 21184 (satake) S 21181 21183 20665 0 -1 4202560 583 0 0 0 8 32 0 0 15 0 5 0 1118293030 29229056 6110 4294967295 134512640 135180984 3214152848 3086393364 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=21183/tid=21185] ppid=21181 vsize=28544 CPUtime=5.63
/proc/21183/task/21185/stat : 21185 (satake) S 21181 21183 20665 0 -1 4202560 2252 0 0 0 557 6 0 0 16 0 5 0 1118293030 29229056 6110 4294967295 134512640 135180984 3214152848 3086327456 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21183/tid=21186] ppid=21181 vsize=28544 CPUtime=4.64
/proc/21183/task/21186/stat : 21186 (satake) R 21181 21183 20665 0 -1 4202560 2041 0 0 0 448 16 0 0 25 0 5 0 1118293030 29229056 6110 4294967295 134512640 135180984 3214152848 3086261932 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21183/tid=21188] ppid=21181 vsize=28544 CPUtime=4.08
/proc/21183/task/21188/stat : 21188 (satake) S 21181 21183 20665 0 -1 4202560 2013 0 0 0 401 7 0 0 18 0 5 0 1118293039 29229056 6110 4294967295 134512640 135180984 3214152848 3086188192 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.75
Current children cumulated vsize (KiB) 28544
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
  %CPU=88 pid=13124 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R
  %CPU=91 pid=13512 uid=2256 cmd=./multiboost --fileformat arff --traintest /users/tao/kegl/Research/Samples/LetterRecognition/letterTrain.arff /users/tao/kegl/R

[startup+51.1146 s]
/proc/loadavg: 6.13 6.85 6.67 8/118 21376
/proc/meminfo: memFree=1681188/3368532 swapFree=1952996/1959888
[pid=21183] ppid=21181 vsize=29732 CPUtime=17.5
/proc/21183/stat : 21183 (satake) S 21181 21183 20665 0 -1 4202496 7383 0 0 0 1687 63 0 0 20 0 5 0 1118293030 30445568 6494 4294967295 134512640 135180984 3214152848 3214152284 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21183/statm: 7433 6494 68 164 0 7268 0
[pid=21183/tid=21184] ppid=21181 vsize=29732 CPUtime=0.42
/proc/21183/task/21184/stat : 21184 (satake) S 21181 21183 20665 0 -1 4202560 597 0 0 0 9 33 0 0 16 0 5 0 1118293030 30445568 6494 4294967295 134512640 135180984 3214152848 3086393364 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=21183/tid=21185] ppid=21181 vsize=29732 CPUtime=6.75

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

[pid=21183/tid=21185] ppid=21181 vsize=214500 CPUtime=203.63
/proc/21183/task/21185/stat : 21185 (satake) R 21181 21183 20665 0 -1 4202560 18477 0 0 0 20302 61 0 0 25 0 5 0 1118293030 219648000 51731 4294967295 134512640 135180984 3214152848 3086327456 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21183/tid=21186] ppid=21181 vsize=214500 CPUtime=162.23
/proc/21183/task/21186/stat : 21186 (satake) R 21181 21183 20665 0 -1 4202560 16003 0 0 0 16157 66 0 0 20 0 5 0 1118293030 219648000 51731 4294967295 134512640 135180984 3214152848 3086262128 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21183/tid=21188] ppid=21181 vsize=214500 CPUtime=201.75
/proc/21183/task/21188/stat : 21188 (satake) R 21181 21183 20665 0 -1 4202560 17141 0 0 0 20104 71 0 0 25 0 5 0 1118293039 219648000 51731 4294967295 134512640 135180984 3214152848 3086188400 134528661 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 569.74
Current children cumulated vsize (KiB) 214500

[startup+582.303 s]
/proc/loadavg: 6.94 6.83 6.72 8/118 23072
/proc/meminfo: memFree=1485012/3368532 swapFree=1952996/1959888
[pid=21183] ppid=21181 vsize=214500 CPUtime=649.1
/proc/21183/stat : 21183 (satake) S 21181 21183 20665 0 -1 4202496 52623 0 0 0 64535 375 0 0 20 0 5 0 1118293030 219648000 51734 4294967295 134512640 135180984 3214152848 3214152284 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21183/statm: 53625 51734 68 164 0 53460 0
[pid=21183/tid=21184] ppid=21181 vsize=214500 CPUtime=2.17
/proc/21183/task/21184/stat : 21184 (satake) S 21181 21183 20665 0 -1 4202560 890 0 0 0 56 161 0 0 15 0 5 0 1118293030 219648000 51734 4294967295 134512640 135180984 3214152848 3086393360 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21183/tid=21185] ppid=21181 vsize=214500 CPUtime=229.77
/proc/21183/task/21185/stat : 21185 (satake) R 21181 21183 20665 0 -1 4202560 18478 0 0 0 22908 69 0 0 25 0 5 0 1118293030 219648000 51734 4294967295 134512640 135180984 3214152848 3086327468 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21183/tid=21186] ppid=21181 vsize=214500 CPUtime=189.79
/proc/21183/task/21186/stat : 21186 (satake) S 21181 21183 20665 0 -1 4202560 16004 0 0 0 18910 69 0 0 16 0 5 0 1118293030 219648000 51734 4294967295 134512640 135180984 3214152848 3086261920 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21183/tid=21188] ppid=21181 vsize=214500 CPUtime=227.37
/proc/21183/task/21188/stat : 21188 (satake) S 21181 21183 20665 0 -1 4202560 17141 0 0 0 22661 76 0 0 16 0 5 0 1118293039 219648000 51734 4294967295 134512640 135180984 3214152848 3086188192 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 649.1
Current children cumulated vsize (KiB) 214500

[startup+642.319 s]
/proc/loadavg: 6.83 6.81 6.72 8/118 23259
/proc/meminfo: memFree=1482484/3368532 swapFree=1952996/1959888
[pid=21183] ppid=21181 vsize=214500 CPUtime=714.23
/proc/21183/stat : 21183 (satake) S 21181 21183 20665 0 -1 4202496 52644 0 0 0 71031 392 0 0 20 0 5 0 1118293030 219648000 51755 4294967295 134512640 135180984 3214152848 3214152284 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21183/statm: 53625 51755 68 164 0 53460 0
[pid=21183/tid=21184] ppid=21181 vsize=214500 CPUtime=2.35
/proc/21183/task/21184/stat : 21184 (satake) S 21181 21183 20665 0 -1 4202560 891 0 0 0 61 174 0 0 15 0 5 0 1118293030 219648000 51755 4294967295 134512640 135180984 3214152848 3086393360 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=21183/tid=21185] ppid=21181 vsize=214500 CPUtime=251.46
/proc/21183/task/21185/stat : 21185 (satake) R 21181 21183 20665 0 -1 4202560 18480 0 0 0 25074 72 0 0 25 0 5 0 1118293030 219648000 51755 4294967295 134512640 135180984 3214152848 3086327456 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21183/tid=21186] ppid=21181 vsize=214500 CPUtime=210.21
/proc/21183/task/21186/stat : 21186 (satake) R 21181 21183 20665 0 -1 4202560 16004 0 0 0 20952 69 0 0 25 0 5 0 1118293030 219648000 51755 4294967295 134512640 135180984 3214152848 3086261920 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=21183/tid=21188] ppid=21181 vsize=214500 CPUtime=250.21
/proc/21183/task/21188/stat : 21188 (satake) R 21181 21183 20665 0 -1 4202560 17159 0 0 0 24944 77 0 0 25 0 5 0 1118293039 219648000 51755 4294967295 134512640 135180984 3214152848 3086188400 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 714.23
Current children cumulated vsize (KiB) 214500

[startup+702.314 s]
/proc/loadavg: 7.25 6.92 6.76 6/118 23450
/proc/meminfo: memFree=1480812/3368532 swapFree=1952996/1959888
[pid=21183] ppid=21181 vsize=215160 CPUtime=780.14
/proc/21183/stat : 21183 (satake) S 21181 21183 20665 0 -1 4202496 52769 0 0 0 77597 417 0 0 20 0 5 0 1118293030 220323840 51880 4294967295 134512640 135180984 3214152848 3214152284 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21183/statm: 53790 51880 68 164 0 53625 0
[pid=21183/tid=21184] ppid=21181 vsize=215160 CPUtime=2.5
/proc/21183/task/21184/stat : 21184 (satake) S 21181 21183 20665 0 -1 4202560 892 0 0 0 66 184 0 0 15 0 5 0 1118293030 220323840 51880 4294967295 134512640 135180984 3214152848 3086393360 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=21183/tid=21185] ppid=21181 vsize=215160 CPUtime=277.59
/proc/21183/task/21185/stat : 21185 (satake) R 21181 21183 20665 0 -1 4202560 18546 0 0 0 27681 78 0 0 16 0 5 0 1118293030 220323840 51880 4294967295 134512640 135180984 3214152848 3086327656 134518214 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21183/tid=21186] ppid=21181 vsize=215160 CPUtime=222.33
/proc/21183/task/21186/stat : 21186 (satake) R 21181 21183 20665 0 -1 4202560 16004 0 0 0 22164 69 0 0 25 0 5 0 1118293030 220323840 51880 4294967295 134512640 135180984 3214152848 3086261920 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=21183/tid=21188] ppid=21181 vsize=215160 CPUtime=277.73
/proc/21183/task/21188/stat : 21188 (satake) R 21181 21183 20665 0 -1 4202560 17217 0 0 0 27687 86 0 0 16 0 5 0 1118293039 220323840 51880 4294967295 134512640 135180984 3214152848 3086188368 134519935 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 780.14
Current children cumulated vsize (KiB) 215160

[startup+762.319 s]
/proc/loadavg: 7.43 7.04 6.81 7/118 23638
/proc/meminfo: memFree=1474928/3368532 swapFree=1952996/1959888
[pid=21183] ppid=21181 vsize=220000 CPUtime=854.23
/proc/21183/stat : 21183 (satake) S 21181 21183 20665 0 -1 4202496 53967 0 0 0 84996 427 0 0 20 0 5 0 1118293030 225280000 53078 4294967295 134512640 135180984 3214152848 3214152284 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21183/statm: 55000 53078 68 164 0 54835 0
[pid=21183/tid=21184] ppid=21181 vsize=220000 CPUtime=2.51
/proc/21183/task/21184/stat : 21184 (satake) S 21181 21183 20665 0 -1 4202560 893 0 0 0 67 184 0 0 15 0 5 0 1118293030 225280000 53078 4294967295 134512640 135180984 3214152848 3086393360 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21183/tid=21185] ppid=21181 vsize=220000 CPUtime=306.87
/proc/21183/task/21185/stat : 21185 (satake) R 21181 21183 20665 0 -1 4202560 18813 0 0 0 30606 81 0 0 25 0 5 0 1118293030 225280000 53078 4294967295 134512640 135180984 3214152848 3086327664 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21183/tid=21186] ppid=21181 vsize=220000 CPUtime=243.61
/proc/21183/task/21186/stat : 21186 (satake) R 21181 21183 20665 0 -1 4202560 16050 0 0 0 24292 69 0 0 24 0 5 0 1118293030 225280000 53078 4294967295 134512640 135180984 3214152848 3086262128 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21183/tid=21188] ppid=21181 vsize=220000 CPUtime=301.24
/proc/21183/task/21188/stat : 21188 (satake) R 21181 21183 20665 0 -1 4202560 18101 0 0 0 30031 93 0 0 25 0 5 0 1118293039 225280000 53078 4294967295 134512640 135180984 3214152848 3086188192 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 854.23
Current children cumulated vsize (KiB) 220000

[startup+822.315 s]
/proc/loadavg: 7.43 7.11 6.85 9/118 23826
/proc/meminfo: memFree=1463512/3368532 swapFree=1952996/1959888
[pid=21183] ppid=21181 vsize=230712 CPUtime=932.32
/proc/21183/stat : 21183 (satake) S 21181 21183 20665 0 -1 4202496 56483 0 0 0 92797 435 0 0 20 0 5 0 1118293030 236249088 55594 4294967295 134512640 135180984 3214152848 3214152284 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21183/statm: 57678 55594 68 164 0 57513 0
[pid=21183/tid=21184] ppid=21181 vsize=230712 CPUtime=2.54
/proc/21183/task/21184/stat : 21184 (satake) S 21181 21183 20665 0 -1 4202560 898 0 0 0 67 187 0 0 15 0 5 0 1118293030 236249088 55594 4294967295 134512640 135180984 3214152848 3086393360 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21183/tid=21185] ppid=21181 vsize=230712 CPUtime=334.71
/proc/21183/task/21185/stat : 21185 (satake) R 21181 21183 20665 0 -1 4202560 19115 0 0 0 33388 83 0 0 25 0 5 0 1118293030 236249088 55594 4294967295 134512640 135180984 3214152848 3086327664 134528554 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21183/tid=21186] ppid=21181 vsize=230712 CPUtime=268.92
/proc/21183/task/21186/stat : 21186 (satake) R 21181 21183 20665 0 -1 4202560 16512 0 0 0 26821 71 0 0 25 0 5 0 1118293030 236249088 55594 4294967295 134512640 135180984 3214152848 3086262128 134528655 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21183/tid=21188] ppid=21181 vsize=230712 CPUtime=326.15
/proc/21183/task/21188/stat : 21188 (satake) R 21181 21183 20665 0 -1 4202560 19848 0 0 0 32521 94 0 0 25 0 5 0 1118293039 236249088 55594 4294967295 134512640 135180984 3214152848 3086188400 134528706 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 932.32
Current children cumulated vsize (KiB) 230712

[startup+882.31 s]
/proc/loadavg: 7.41 7.15 6.87 9/118 24015
/proc/meminfo: memFree=1440984/3368532 swapFree=1952996/1959888
[pid=21183] ppid=21181 vsize=251136 CPUtime=1012.91
/proc/21183/stat : 21183 (satake) S 21181 21183 20665 0 -1 4202496 61628 0 0 0 100852 439 0 0 20 0 5 0 1118293030 257163264 60739 4294967295 134512640 135180984 3214152848 3214152284 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21183/statm: 62784 60739 68 164 0 62619 0
[pid=21183/tid=21184] ppid=21181 vsize=251136 CPUtime=2.54
/proc/21183/task/21184/stat : 21184 (satake) S 21181 21183 20665 0 -1 4202560 912 0 0 0 67 187 0 0 15 0 5 0 1118293030 257163264 60739 4294967295 134512640 135180984 3214152848 3086393360 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21183/tid=21185] ppid=21181 vsize=251136 CPUtime=361.71
/proc/21183/task/21185/stat : 21185 (satake) R 21181 21183 20665 0 -1 4202560 20814 0 0 0 36088 83 0 0 25 0 5 0 1118293030 257163264 60739 4294967295 134512640 135180984 3214152848 3086327664 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21183/tid=21186] ppid=21181 vsize=251136 CPUtime=295.31
/proc/21183/task/21186/stat : 21186 (satake) R 21181 21183 20665 0 -1 4202560 18278 0 0 0 29459 72 0 0 25 0 5 0 1118293030 257163264 60739 4294967295 134512640 135180984 3214152848 3086262024 134520909 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21183/tid=21188] ppid=21181 vsize=251136 CPUtime=353.35
/proc/21183/task/21188/stat : 21188 (satake) R 21181 21183 20665 0 -1 4202560 21514 0 0 0 35238 97 0 0 25 0 5 0 1118293039 257163264 60739 4294967295 134512640 135180984 3214152848 3086188316 134519103 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1012.91
Current children cumulated vsize (KiB) 251136

[startup+942.305 s]
/proc/loadavg: 7.49 7.21 6.91 8/118 24202
/proc/meminfo: memFree=1428948/3368532 swapFree=1952996/1959888
[pid=21183] ppid=21181 vsize=261332 CPUtime=1092.63
/proc/21183/stat : 21183 (satake) S 21181 21183 20665 0 -1 4202496 64128 0 0 0 108819 444 0 0 20 0 5 0 1118293030 267603968 63239 4294967295 134512640 135180984 3214152848 3214152284 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21183/statm: 65333 63239 68 164 0 65168 0
[pid=21183/tid=21184] ppid=21181 vsize=261332 CPUtime=2.56
/proc/21183/task/21184/stat : 21184 (satake) S 21181 21183 20665 0 -1 4202560 939 0 0 0 68 188 0 0 15 0 5 0 1118293030 267603968 63239 4294967295 134512640 135180984 3214152848 3086393360 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21183/tid=21185] ppid=21181 vsize=261332 CPUtime=387.81
/proc/21183/task/21185/stat : 21185 (satake) R 21181 21183 20665 0 -1 4202560 21870 0 0 0 38698 83 0 0 25 0 5 0 1118293030 267603968 63239 4294967295 134512640 135180984 3214152848 3086327664 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21183/tid=21186] ppid=21181 vsize=261332 CPUtime=320.61
/proc/21183/task/21186/stat : 21186 (satake) R 21181 21183 20665 0 -1 4202560 19507 0 0 0 31985 76 0 0 25 0 5 0 1118293030 267603968 63239 4294967295 134512640 135180984 3214152848 3086262128 134528658 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21183/tid=21188] ppid=21181 vsize=261332 CPUtime=381.65
/proc/21183/task/21188/stat : 21188 (satake) R 21181 21183 20665 0 -1 4202560 21702 0 0 0 38068 97 0 0 25 0 5 0 1118293039 267603968 63239 4294967295 134512640 135180984 3214152848 3086188400 134528636 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1092.63
Current children cumulated vsize (KiB) 261332



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 7.50 7.25 6.94 6/118 24389
/proc/meminfo: memFree=1427616/3368532 swapFree=1952996/1959888
[pid=21183] ppid=21181 vsize=261332 CPUtime=1167.09
/proc/21183/stat : 21183 (satake) S 21181 21183 20665 0 -1 4202496 64134 0 0 0 116253 456 0 0 20 0 5 0 1118293030 267603968 63245 4294967295 134512640 135180984 3214152848 3214152284 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21183/statm: 65333 63245 68 164 0 65168 0
[pid=21183/tid=21184] ppid=21181 vsize=261332 CPUtime=2.67
/proc/21183/task/21184/stat : 21184 (satake) S 21181 21183 20665 0 -1 4202560 942 0 0 0 73 194 0 0 15 0 5 0 1118293030 267603968 63245 4294967295 134512640 135180984 3214152848 3086393360 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21183/tid=21185] ppid=21181 vsize=261332 CPUtime=410.06
/proc/21183/task/21185/stat : 21185 (satake) S 21181 21183 20665 0 -1 4202560 21873 0 0 0 40922 84 0 0 25 0 5 0 1118293030 267603968 63245 4294967295 134512640 135180984 3214152848 3086327456 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21183/tid=21186] ppid=21181 vsize=261332 CPUtime=346.32
/proc/21183/task/21186/stat : 21186 (satake) R 21181 21183 20665 0 -1 4202560 19507 0 0 0 34555 77 0 0 25 0 5 0 1118293030 267603968 63245 4294967295 134512640 135180984 3214152848 3086261932 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21183/tid=21188] ppid=21181 vsize=261332 CPUtime=408.04
/proc/21183/task/21188/stat : 21188 (satake) S 21181 21183 20665 0 -1 4202560 21702 0 0 0 40703 101 0 0 25 0 5 0 1118293039 267603968 63245 4294967295 134512640 135180984 3214152848 3086188192 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1167.09
Current children cumulated vsize (KiB) 261332

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.05
CPU time (s): 1167.12
CPU user time (s): 1162.55
CPU system time (s): 4.57
CPU usage (%): 116.707
Max. virtual memory (cumulated for all children) (KiB): 261332

deleting IPC queue 7340032
deleting IPC queue 7372801
deleting IPC queue 7405570
deleting IPC queue 7438339
deleting IPC queue 7471108
deleting IPC queue 7503877
deleting IPC queue 7536646
deleting IPC queue 7569415
deleting IPC queue 7602184
deleting IPC queue 7634953
deleting IPC queue 7667722
deleting IPC queue 7700491
deleting IPC queue 7733260
deleting IPC queue 7766029
deleting IPC queue 7798798
deleting IPC queue 7831567

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1162.55
system time used= 4.57
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64134
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= 272576
involuntary context switches= 223401

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-30 01:59:17
IDJOB=1779040
IDBENCH=70796
IDSOLVER=629
FILE ID=tipi45/1779040-1243641557
PBS_JOBID=
Free space on /tmp= 15501 MiB

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

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

MD5SUM BENCH= fc00df719c8630009723cd295f7c0c3b
RANDOM SEED= 407627197

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:       1708308 kB
Buffers:        148432 kB
Cached:        1096204 kB
SwapCached:       2100 kB
Active:        1395432 kB
Inactive:       166368 kB
HighTotal:     2489216 kB
HighFree:      1072648 kB
LowTotal:       879316 kB
LowFree:        635660 kB
SwapTotal:     1959888 kB
SwapFree:      1952996 kB
Dirty:            7200 kB
Writeback:           0 kB
AnonPages:      316200 kB
Mapped:           6372 kB
Slab:            85072 kB
SReclaimable:    73872 kB
SUnreclaim:      11200 kB
PageTables:       1020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   404120 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 02:16:00