Trace number 1556628

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? (TO) 1200.23 601.528

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-09.cnf
MD5SUM5c56557463274332c6704b6432dfc42b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark629.145
Satisfiable
(Un)Satisfiability was proved
Number of variables69487
Number of clauses226581
Sum of the clauses size587221
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292264
Number of clauses of size 3134188
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:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1556628-1238844507/watcher-1556628-1238844507 -o /tmp/evaluation-result-1556628-1238844507/solver-1556628-1238844507 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1556628-1238844507.cnf 3 1200 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/70 30499
/proc/meminfo: memFree=1375960/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=5128 CPUtime=0
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 707 0 0 0 0 0 0 0 18 0 4 0 1157113399 5251072 692 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 1282 698 65 163 0 1117 0
[pid=30499/tid=30500] ppid=30497 vsize=5128 CPUtime=0
/proc/30499/task/30500/stat : 30500 (satake) S 30497 30499 29913 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1157113399 5251072 716 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30499/tid=30501] ppid=30497 vsize=5128 CPUtime=0
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 330 0 0 0 0 0 0 0 20 0 4 0 1157113399 5251072 725 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30499/tid=30502] ppid=30497 vsize=5128 CPUtime=0
/proc/30499/task/30502/stat : 30502 (satake) R 30497 30499 29913 0 -1 4194368 328 0 0 0 0 0 0 0 20 0 4 0 1157113399 5251072 734 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.01929 s]
/proc/loadavg: 0.92 0.98 0.99 3/70 30499
/proc/meminfo: memFree=1375960/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=32360 CPUtime=0.04
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 4406 0 0 0 2 2 0 0 18 0 4 0 1157113399 33136640 4385 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 8236 4666 65 163 0 8071 0
[pid=30499/tid=30500] ppid=30497 vsize=33076 CPUtime=0
/proc/30499/task/30500/stat : 30500 (satake) S 30497 30499 29913 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1157113399 33869824 4913 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30499/tid=30501] ppid=30497 vsize=35024 CPUtime=0.02
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 2941 0 0 0 1 1 0 0 17 0 4 0 1157113399 35864576 5868 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30499/tid=30502] ppid=30497 vsize=37348 CPUtime=0.07
/proc/30499/task/30502/stat : 30502 (satake) D 30497 30499 29913 0 -1 4194368 3336 0 0 0 5 2 0 0 17 0 4 0 1157113399 38244352 6758 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 32360

[startup+0.281037 s]
/proc/loadavg: 0.92 0.98 0.99 3/70 30499
/proc/meminfo: memFree=1375960/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=44648 CPUtime=0.54
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 10493 0 0 0 47 7 0 0 18 0 4 0 1157113399 45719552 8426 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 11162 8426 68 163 0 10997 0
[pid=30499/tid=30500] ppid=30497 vsize=44648 CPUtime=0.01
/proc/30499/task/30500/stat : 30500 (satake) R 30497 30499 29913 0 -1 4194368 1192 0 0 0 1 0 0 0 17 0 4 0 1157113399 45719552 8426 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30499/tid=30501] ppid=30497 vsize=44648 CPUtime=0.24
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 4604 0 0 0 22 2 0 0 17 0 4 0 1157113399 45719552 8426 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30499/tid=30502] ppid=30497 vsize=44648 CPUtime=0.26
/proc/30499/task/30502/stat : 30502 (satake) R 30497 30499 29913 0 -1 4194368 4614 0 0 0 23 3 0 0 17 0 4 0 1157113399 45719552 8426 1992294400 134512640 135180984 4294956208 18446744073709551615 134537353 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 44648

[startup+0.303038 s]
/proc/loadavg: 0.92 0.98 0.99 3/70 30499
/proc/meminfo: memFree=1375960/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=44912 CPUtime=0.58
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 10595 0 0 0 51 7 0 0 18 0 4 0 1157113399 45989888 8528 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 11228 8528 69 163 0 11063 0
[pid=30499/tid=30500] ppid=30497 vsize=44912 CPUtime=0.01
/proc/30499/task/30500/stat : 30500 (satake) R 30497 30499 29913 0 -1 4194368 1230 0 0 0 1 0 0 0 16 0 4 0 1157113399 45989888 8528 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30499/tid=30501] ppid=30497 vsize=44912 CPUtime=0.26
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 4656 0 0 0 24 2 0 0 16 0 4 0 1157113399 45989888 8528 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30499/tid=30502] ppid=30497 vsize=44912 CPUtime=0.28
/proc/30499/task/30502/stat : 30502 (satake) R 30497 30499 29913 0 -1 4194368 4626 0 0 0 25 3 0 0 17 0 4 0 1157113399 45989888 8528 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 44912

[startup+0.701118 s]
/proc/loadavg: 0.92 0.98 0.99 3/70 30499
/proc/meminfo: memFree=1375960/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=46716 CPUtime=1.37
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 10958 0 0 0 127 10 0 0 18 0 4 0 1157113399 47837184 8891 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 11679 8891 70 163 0 11514 0
[pid=30499/tid=30500] ppid=30497 vsize=46716 CPUtime=0.02
/proc/30499/task/30500/stat : 30500 (satake) S 30497 30499 29913 0 -1 4194368 1230 0 0 0 1 1 0 0 16 0 4 0 1157113399 47837184 8891 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30499/tid=30501] ppid=30497 vsize=46716 CPUtime=0.65
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 4821 0 0 0 62 3 0 0 19 0 4 0 1157113399 47837184 8891 1992294400 134512640 135180984 4294956208 18446744073709551615 134527217 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30499/tid=30502] ppid=30497 vsize=46716 CPUtime=0.67
/proc/30499/task/30502/stat : 30502 (satake) R 30497 30499 29913 0 -1 4194368 4824 0 0 0 63 4 0 0 19 0 4 0 1157113399 47837184 8891 1992294400 134512640 135180984 4294956208 18446744073709551615 134528214 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 46716

[startup+1.50126 s]
/proc/loadavg: 0.92 0.98 0.99 3/74 30503
/proc/meminfo: memFree=1340152/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=46980 CPUtime=2.97
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 11041 0 0 0 280 17 0 0 18 0 4 0 1157113399 48107520 8974 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 11745 8974 70 163 0 11580 0
[pid=30499/tid=30500] ppid=30497 vsize=46980 CPUtime=0.06
/proc/30499/task/30500/stat : 30500 (satake) S 30497 30499 29913 0 -1 4194368 1234 0 0 0 2 4 0 0 16 0 4 0 1157113399 48107520 8974 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30499/tid=30501] ppid=30497 vsize=46980 CPUtime=1.43
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 4869 0 0 0 138 5 0 0 25 0 4 0 1157113399 48107520 8974 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30499/tid=30502] ppid=30497 vsize=46980 CPUtime=1.45
/proc/30499/task/30502/stat : 30502 (satake) R 30497 30499 29913 0 -1 4194368 4855 0 0 0 139 6 0 0 19 0 4 0 1157113399 48107520 8974 1992294400 134512640 135180984 4294956208 18446744073709551615 134526242 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 46980

[startup+3.10255 s]
/proc/loadavg: 0.92 0.98 0.99 3/74 30503
/proc/meminfo: memFree=1339576/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=47112 CPUtime=6.17
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 11151 0 0 0 595 22 0 0 18 0 4 0 1157113399 48242688 9084 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 11778 9084 70 163 0 11613 0
[pid=30499/tid=30500] ppid=30497 vsize=47112 CPUtime=0.09
/proc/30499/task/30500/stat : 30500 (satake) S 30497 30499 29913 0 -1 4194368 1239 0 0 0 3 6 0 0 16 0 4 0 1157113399 48242688 9084 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30499/tid=30501] ppid=30497 vsize=47112 CPUtime=3.01
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 4892 0 0 0 295 6 0 0 25 0 4 0 1157113399 48242688 9084 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30499/tid=30502] ppid=30497 vsize=47112 CPUtime=3.04
/proc/30499/task/30502/stat : 30502 (satake) R 30497 30499 29913 0 -1 4194368 4937 0 0 0 296 8 0 0 25 0 4 0 1157113399 48242688 9084 1992294400 134512640 135180984 4294956208 18446744073709551615 134525207 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 47112

[startup+6.30113 s]
/proc/loadavg: 1.01 1.00 1.00 3/74 30503
/proc/meminfo: memFree=1339064/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=47376 CPUtime=12.54
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 11264 0 0 0 1225 29 0 0 18 0 4 0 1157113399 48513024 9197 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 11844 9197 70 163 0 11679 0
[pid=30499/tid=30500] ppid=30497 vsize=47376 CPUtime=0.12
/proc/30499/task/30500/stat : 30500 (satake) S 30497 30499 29913 0 -1 4194368 1248 0 0 0 3 9 0 0 15 0 4 0 1157113399 48513024 9197 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30499/tid=30501] ppid=30497 vsize=47376 CPUtime=6.18
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 4927 0 0 0 610 8 0 0 17 0 4 0 1157113399 48513024 9197 1992294400 134512640 135180984 4294956208 18446744073709551615 134528401 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30499/tid=30502] ppid=30497 vsize=47376 CPUtime=6.21
/proc/30499/task/30502/stat : 30502 (satake) R 30497 30499 29913 0 -1 4194368 5006 0 0 0 610 11 0 0 17 0 4 0 1157113399 48513024 9197 1992294400 134512640 135180984 4294956208 18446744073709551615 134528516 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 47376

[startup+12.7023 s]
/proc/loadavg: 1.09 1.02 1.01 3/74 30503
/proc/meminfo: memFree=1338104/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=48796 CPUtime=25.31
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 11481 0 0 0 2488 43 0 0 18 0 4 0 1157113399 49967104 9414 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 12199 9414 70 163 0 12034 0
[pid=30499/tid=30500] ppid=30497 vsize=48796 CPUtime=0.2
/proc/30499/task/30500/stat : 30500 (satake) S 30497 30499 29913 0 -1 4194368 1268 0 0 0 4 16 0 0 15 0 4 0 1157113399 49967104 9414 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30499/tid=30501] ppid=30497 vsize=48796 CPUtime=12.55
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 4977 0 0 0 1244 11 0 0 25 0 4 0 1157113399 49967104 9414 1992294400 134512640 135180984 4294956208 18446744073709551615 134522972 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30499/tid=30502] ppid=30497 vsize=48796 CPUtime=12.55
/proc/30499/task/30502/stat : 30502 (satake) R 30497 30499 29913 0 -1 4194368 5153 0 0 0 1240 15 0 0 25 0 4 0 1157113399 49967104 9414 1992294400 134512640 135180984 4294956208 18446744073709551615 134520671 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 48796

[startup+25.5016 s]
/proc/loadavg: 1.29 1.06 1.02 3/74 30503
/proc/meminfo: memFree=1336056/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=50908 CPUtime=50.85
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 12017 0 0 0 5014 71 0 0 18 0 4 0 1157113399 52129792 9950 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 12727 9950 70 163 0 12562 0
[pid=30499/tid=30500] ppid=30497 vsize=50908 CPUtime=0.37
/proc/30499/task/30500/stat : 30500 (satake) S 30497 30499 29913 0 -1 4194368 1315 0 0 0 7 30 0 0 15 0 4 0 1157113399 52129792 9950 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30499/tid=30501] ppid=30497 vsize=50908 CPUtime=25.26
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 5154 0 0 0 2508 18 0 0 25 0 4 0 1157113399 52129792 9950 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30499/tid=30502] ppid=30497 vsize=50908 CPUtime=25.2
/proc/30499/task/30502/stat : 30502 (satake) R 30497 30499 29913 0 -1 4194368 5465 0 0 0 2498 22 0 0 25 0 4 0 1157113399 52129792 9950 1992294400 134512640 135180984 4294956208 18446744073709551615 134527501 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 50908

[startup+51.1013 s]
/proc/loadavg: 1.53 1.14 1.04 3/74 30503
/proc/meminfo: memFree=1332280/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=54960 CPUtime=101.93
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 12960 0 0 0 10079 114 0 0 18 0 4 0 1157113399 56279040 10893 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 13740 10893 70 163 0 13575 0
[pid=30499/tid=30500] ppid=30497 vsize=54960 CPUtime=0.61
/proc/30499/task/30500/stat : 30500 (satake) S 30497 30499 29913 0 -1 4194368 1387 0 0 0 12 49 0 0 15 0 4 0 1157113399 56279040 10893 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30499/tid=30501] ppid=30497 vsize=54960 CPUtime=50.72
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 5467 0 0 0 5045 27 0 0 25 0 4 0 1157113399 56279040 10893 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30499/tid=30502] ppid=30497 vsize=54960 CPUtime=50.59
/proc/30499/task/30502/stat : 30502 (satake) R 30497 30499 29913 0 -1 4194368 6023 0 0 0 5021 38 0 0 25 0 4 0 1157113399 56279040 10893 1992294400 134512640 135180984 4294956208 18446744073709551615 134526125 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 54960

[startup+102.302 s]
/proc/loadavg: 1.79 1.27 1.09 3/74 30503
/proc/meminfo: memFree=1324984/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=61968 CPUtime=204.1
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 14761 0 0 0 20221 189 0 0 18 0 4 0 1157113399 63455232 12694 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 15492 12694 70 163 0 15327 0
[pid=30499/tid=30500] ppid=30497 vsize=61968 CPUtime=1.03
/proc/30499/task/30500/stat : 30500 (satake) S 30497 30499 29913 0 -1 4194368 1521 0 0 0 20 83 0 0 16 0 4 0 1157113399 63455232 12694 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30499/tid=30501] ppid=30497 vsize=61968 CPUtime=101.68
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 6065 0 0 0 10123 45 0 0 25 0 4 0 1157113399 63455232 12694 1992294400 134512640 135180984 4294956208 18446744073709551615 134526047 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30499/tid=30502] ppid=30497 vsize=61968 CPUtime=101.37
/proc/30499/task/30502/stat : 30502 (satake) R 30497 30499 29913 0 -1 4194368 7092 0 0 0 10077 60 0 0 25 0 4 0 1157113399 63455232 12694 1992294400 134512640 135180984 4294956208 18446744073709551615 134525209 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 61968

[startup+162.302 s]
/proc/loadavg: 1.92 1.40 1.15 3/74 30503
/proc/meminfo: memFree=1318392/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=68508 CPUtime=323.81
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 16395 0 0 0 32103 278 0 0 18 0 4 0 1157113399 70152192 14328 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 17127 14328 70 163 0 16962 0
[pid=30499/tid=30500] ppid=30497 vsize=68508 CPUtime=1.56
/proc/30499/task/30500/stat : 30500 (satake) S 30497 30499 29913 0 -1 4194368 1679 0 0 0 32 124 0 0 16 0 4 0 1157113399 70152192 14328 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30499/tid=30501] ppid=30497 vsize=68508 CPUtime=161.39
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 6629 0 0 0 16071 68 0 0 25 0 4 0 1157113399 70152192 14328 1992294400 134512640 135180984 4294956208 18446744073709551615 134518224 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30499/tid=30502] ppid=30497 vsize=68508 CPUtime=160.84
/proc/30499/task/30502/stat : 30502 (satake) R 30497 30499 29913 0 -1 4194368 8004 0 0 0 15999 85 0 0 25 0 4 0 1157113399 70152192 14328 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.81
Current children cumulated vsize (KiB) 68508

[startup+222.306 s]
/proc/loadavg: 1.97 1.51 1.20 3/74 30503
/proc/meminfo: memFree=1313592/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=72992 CPUtime=443.54
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 17587 0 0 0 43999 355 0 0 18 0 4 0 1157113399 74743808 15520 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 18248 15520 70 163 0 18083 0
[pid=30499/tid=30500] ppid=30497 vsize=72992 CPUtime=1.99
/proc/30499/task/30500/stat : 30500 (satake) S 30497 30499 29913 0 -1 4194368 1846 0 0 0 42 157 0 0 15 0 4 0 1157113399 74743808 15520 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30499/tid=30501] ppid=30497 vsize=72992 CPUtime=221.13
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 6854 0 0 0 22025 88 0 0 25 0 4 0 1157113399 74743808 15520 1992294400 134512640 135180984 4294956208 18446744073709551615 134525183 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30499/tid=30502] ppid=30497 vsize=72992 CPUtime=220.38
/proc/30499/task/30502/stat : 30502 (satake) R 30497 30499 29913 0 -1 4194368 8804 0 0 0 21930 108 0 0 25 0 4 0 1157113399 74743808 15520 1992294400 134512640 135180984 4294956208 18446744073709551615 134527501 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.54
Current children cumulated vsize (KiB) 72992

[startup+282.302 s]
/proc/loadavg: 2.02 1.61 1.25 2/74 30503
/proc/meminfo: memFree=1310648/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=75996 CPUtime=563.26
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 18334 0 0 0 55901 425 0 0 18 0 4 0 1157113399 77819904 16267 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 18999 16267 70 163 0 18834 0
[pid=30499/tid=30500] ppid=30497 vsize=75996 CPUtime=2.42
/proc/30499/task/30500/stat : 30500 (satake) S 30497 30499 29913 0 -1 4194368 1990 0 0 0 52 190 0 0 15 0 4 0 1157113399 77819904 16267 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30499/tid=30501] ppid=30497 vsize=75996 CPUtime=280.67
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 7176 0 0 0 27962 105 0 0 25 0 4 0 1157113399 77819904 16267 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30499/tid=30502] ppid=30497 vsize=75996 CPUtime=280.13
/proc/30499/task/30502/stat : 30502 (satake) R 30497 30499 29913 0 -1 4194368 9085 0 0 0 27885 128 0 0 22 0 4 0 1157113399 77819904 16267 1992294400 134512640 135180984 4294956208 18446744073709551615 134526427 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.26
Current children cumulated vsize (KiB) 75996

[startup+342.302 s]
/proc/loadavg: 2.01 1.68 1.29 3/74 30503
/proc/meminfo: memFree=1306744/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=80068 CPUtime=682.97
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 19292 0 0 0 67807 490 0 0 18 0 4 0 1157113399 81989632 17225 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 20017 17225 70 163 0 19852 0
[pid=30499/tid=30500] ppid=30497 vsize=80068 CPUtime=2.81
/proc/30499/task/30500/stat : 30500 (satake) S 30497 30499 29913 0 -1 4194368 2127 0 0 0 60 221 0 0 15 0 4 0 1157113399 81989632 17225 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30499/tid=30501] ppid=30497 vsize=80068 CPUtime=340.46
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 7438 0 0 0 33924 122 0 0 25 0 4 0 1157113399 81989632 17225 1992294400 134512640 135180984 4294956208 18446744073709551615 134522790 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30499/tid=30502] ppid=30497 vsize=80068 CPUtime=339.69
/proc/30499/task/30502/stat : 30502 (satake) R 30497 30499 29913 0 -1 4194368 9644 0 0 0 33823 146 0 0 25 0 4 0 1157113399 81989632 17225 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.97
Current children cumulated vsize (KiB) 80068

[startup+402.301 s]
/proc/loadavg: 2.00 1.73 1.33 3/74 30503
/proc/meminfo: memFree=1303672/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=83860 CPUtime=802.7
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 20082 0 0 0 79727 543 0 0 18 0 4 0 1157113399 85872640 18015 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 20965 18015 70 163 0 20800 0
[pid=30499/tid=30500] ppid=30497 vsize=83860 CPUtime=3.13
/proc/30499/task/30500/stat : 30500 (satake) S 30497 30499 29913 0 -1 4194368 2247 0 0 0 66 247 0 0 16 0 4 0 1157113399 85872640 18015 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30499/tid=30501] ppid=30497 vsize=83860 CPUtime=400.27
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 7676 0 0 0 39891 136 0 0 25 0 4 0 1157113399 85872640 18015 1992294400 134512640 135180984 4294956208 18446744073709551615 134527266 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30499/tid=30502] ppid=30497 vsize=83860 CPUtime=399.28
/proc/30499/task/30502/stat : 30502 (satake) R 30497 30499 29913 0 -1 4194368 10076 0 0 0 39769 159 0 0 25 0 4 0 1157113399 85872640 18015 1992294400 134512640 135180984 4294956208 18446744073709551615 134523615 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.7
Current children cumulated vsize (KiB) 83860

[startup+462.301 s]
/proc/loadavg: 2.00 1.78 1.37 3/74 30503
/proc/meminfo: memFree=1300408/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=86472 CPUtime=922.43
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 20871 0 0 0 91635 608 0 0 18 0 4 0 1157113399 88547328 18804 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 21618 18804 70 163 0 21453 0
[pid=30499/tid=30500] ppid=30497 vsize=86472 CPUtime=3.51
/proc/30499/task/30500/stat : 30500 (satake) S 30497 30499 29913 0 -1 4194368 2401 0 0 0 74 277 0 0 16 0 4 0 1157113399 88547328 18804 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30499/tid=30501] ppid=30497 vsize=86472 CPUtime=460.05
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 7838 0 0 0 45852 153 0 0 25 0 4 0 1157113399 88547328 18804 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30499/tid=30502] ppid=30497 vsize=86472 CPUtime=458.84
/proc/30499/task/30502/stat : 30502 (satake) R 30497 30499 29913 0 -1 4194368 10549 0 0 0 45708 176 0 0 25 0 4 0 1157113399 88547328 18804 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.43
Current children cumulated vsize (KiB) 86472

[startup+522.302 s]
/proc/loadavg: 2.00 1.82 1.41 3/74 30503
/proc/meminfo: memFree=1298104/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=89244 CPUtime=1042.15
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 21460 0 0 0 103547 668 0 0 18 0 4 0 1157113399 91385856 19393 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 22311 19393 70 163 0 22146 0
[pid=30499/tid=30500] ppid=30497 vsize=89244 CPUtime=3.85
/proc/30499/task/30500/stat : 30500 (satake) S 30497 30499 29913 0 -1 4194368 2542 0 0 0 81 304 0 0 16 0 4 0 1157113399 91385856 19393 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30499/tid=30501] ppid=30497 vsize=89244 CPUtime=519.86
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 7969 0 0 0 51816 170 0 0 25 0 4 0 1157113399 91385856 19393 1992294400 134512640 135180984 4294956208 18446744073709551615 134518648 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30499/tid=30502] ppid=30497 vsize=89244 CPUtime=518.42
/proc/30499/task/30502/stat : 30502 (satake) R 30497 30499 29913 0 -1 4194368 10866 0 0 0 51649 193 0 0 25 0 4 0 1157113399 91385856 19393 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.15
Current children cumulated vsize (KiB) 89244

[startup+582.303 s]
/proc/loadavg: 2.00 1.85 1.44 3/74 30503
/proc/meminfo: memFree=1295608/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=91872 CPUtime=1161.88
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 22083 0 0 0 115455 733 0 0 18 0 4 0 1157113399 94076928 20016 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 22968 20016 70 163 0 22803 0
[pid=30499/tid=30500] ppid=30497 vsize=91872 CPUtime=4.21
/proc/30499/task/30500/stat : 30500 (satake) S 30497 30499 29913 0 -1 4194368 2669 0 0 0 87 334 0 0 16 0 4 0 1157113399 94076928 20016 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30499/tid=30501] ppid=30497 vsize=91872 CPUtime=579.67
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 8214 0 0 0 57779 188 0 0 25 0 4 0 1157113399 94076928 20016 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30499/tid=30502] ppid=30497 vsize=91872 CPUtime=577.98
/proc/30499/task/30502/stat : 30502 (satake) R 30497 30499 29913 0 -1 4194368 11117 0 0 0 57588 210 0 0 25 0 4 0 1157113399 94076928 20016 1992294400 134512640 135180984 4294956208 18446744073709551615 134523641 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.88
Current children cumulated vsize (KiB) 91872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.502 s]
/proc/loadavg: 2.00 1.86 1.46 3/74 30503
/proc/meminfo: memFree=1294776/2055920 swapFree=4170592/4192956
[pid=30499] ppid=30497 vsize=92424 CPUtime=1200.2
/proc/30499/stat : 30499 (satake) S 30497 30499 29913 0 -1 4194304 22268 0 0 0 119261 759 0 0 18 0 4 0 1157113399 94642176 20201 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30499/statm: 23106 20201 70 163 0 22941 0
[pid=30499/tid=30500] ppid=30497 vsize=92424 CPUtime=4.36
/proc/30499/task/30500/stat : 30500 (satake) S 30497 30499 29913 0 -1 4194368 2731 0 0 0 90 346 0 0 16 0 4 0 1157113399 94642176 20201 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30499/tid=30501] ppid=30497 vsize=92424 CPUtime=598.78
/proc/30499/task/30501/stat : 30501 (satake) R 30497 30499 29913 0 -1 4194368 8265 0 0 0 59684 194 0 0 25 0 4 0 1157113399 94642176 20201 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30499/tid=30502] ppid=30497 vsize=92424 CPUtime=597.03
/proc/30499/task/30502/stat : 30502 (satake) R 30497 30499 29913 0 -1 4194368 11189 0 0 0 59486 217 0 0 25 0 4 0 1157113399 94642176 20201 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.2
Current children cumulated vsize (KiB) 92424

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): 601.528
CPU time (s): 1200.23
CPU user time (s): 1192.63
CPU system time (s): 7.60584
CPU usage (%): 199.531
Max. virtual memory (cumulated for all children) (KiB): 92424

deleting IPC queue 3997696
deleting IPC queue 4030465
deleting IPC queue 4063234
deleting IPC queue 4096003
deleting IPC queue 4128772
deleting IPC queue 4161541
deleting IPC queue 4194310
deleting IPC queue 4227079
deleting IPC queue 4259848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1192.63
system time used= 7.60584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22268
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= 733553
involuntary context switches= 740561

runsolver used 0.620905 second user time and 1.67374 second system time

The end

Launcher Data 

Begin job on node45 at 2009-04-04 13:28:28
IDJOB=1556628
IDBENCH=70822
IDSOLVER=553
FILE ID=node45/1556628-1238844507
PBS_JOBID= 9085837
Free space on /tmp= 66512 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-09.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1556628-1238844507/watcher-1556628-1238844507 -o /tmp/evaluation-result-1556628-1238844507/solver-1556628-1238844507 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1556628-1238844507.cnf 3 1200

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3

MD5SUM BENCH= 5c56557463274332c6704b6432dfc42b
RANDOM SEED=1617049051

node45.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.285
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.285
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1376376 kB
Buffers:         95740 kB
Cached:         485652 kB
SwapCached:      11568 kB
Active:         286192 kB
Inactive:       308316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1376376 kB
SwapTotal:     4192956 kB
SwapFree:      4170592 kB
Dirty:            4840 kB
Writeback:           0 kB
Mapped:          18752 kB
Slab:            70356 kB
Committed_AS:  3041288 kB
PageTables:       1912 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66508 MiB
End job on node45 at 2009-04-04 13:38:31