Trace number 1557616

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.06 601.421

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-17-s100.cnf
MD5SUMd37c12b8284d10d47c2000db061ff0e1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark168.627
Satisfiable
(Un)Satisfiability was proved
Number of variables31318
Number of clauses94116
Sum of the clauses size221584
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 260636
Number of clauses of size 333416
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-1557616-1238856471/watcher-1557616-1238856471 -o /tmp/evaluation-result-1557616-1238856471/solver-1557616-1238856471 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1557616-1238856471.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: 1.99 1.77 1.37 3/64 3952
/proc/meminfo: memFree=1591016/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=3204 CPUtime=0
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 574 0 0 0 0 0 0 0 18 0 4 0 1158308094 3280896 559 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 801 560 65 163 0 636 0
[pid=3952/tid=3953] ppid=3950 vsize=3204 CPUtime=0
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1158308094 3280896 565 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3952/tid=3954] ppid=3950 vsize=3204 CPUtime=0
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 495 0 0 0 0 0 0 0 19 0 4 0 1158308094 3280896 570 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3952/tid=3955] ppid=3950 vsize=3204 CPUtime=0
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1158308094 3280896 575 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.063575 s]
/proc/loadavg: 1.99 1.77 1.37 3/64 3952
/proc/meminfo: memFree=1591016/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=17388 CPUtime=0.65
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 4584 0 0 0 61 4 0 0 18 0 4 0 1158308094 17805312 3795 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 4347 3795 70 163 0 4182 0
[pid=3952/tid=3953] ppid=3950 vsize=17388 CPUtime=0
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 557 0 0 0 0 0 0 0 16 0 4 0 1158308094 17805312 3795 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3952/tid=3954] ppid=3950 vsize=17388 CPUtime=0.31
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 1944 0 0 0 30 1 0 0 18 0 4 0 1158308094 17805312 3795 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3952/tid=3955] ppid=3950 vsize=17388 CPUtime=0.32
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 2000 0 0 0 30 2 0 0 19 0 4 0 1158308094 17805312 3795 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 17388

[startup+0.371889 s]
/proc/loadavg: 1.99 1.77 1.37 3/64 3952
/proc/meminfo: memFree=1591016/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=17388 CPUtime=0.73
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 4584 0 0 0 69 4 0 0 18 0 4 0 1158308094 17805312 3795 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 4347 3795 70 163 0 4182 0
[pid=3952/tid=3953] ppid=3950 vsize=17388 CPUtime=0
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 557 0 0 0 0 0 0 0 16 0 4 0 1158308094 17805312 3795 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3952/tid=3954] ppid=3950 vsize=17388 CPUtime=0.35
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 1944 0 0 0 34 1 0 0 18 0 4 0 1158308094 17805312 3795 1992294400 134512640 135180984 4294956208 18446744073709551615 134518208 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3952/tid=3955] ppid=3950 vsize=17388 CPUtime=0.36
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 2000 0 0 0 34 2 0 0 19 0 4 0 1158308094 17805312 3795 1992294400 134512640 135180984 4294956208 18446744073709551615 134532409 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 17388

[startup+0.402897 s]
/proc/loadavg: 1.99 1.77 1.37 3/64 3952
/proc/meminfo: memFree=1591016/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=17388 CPUtime=0.79
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 4584 0 0 0 75 4 0 0 18 0 4 0 1158308094 17805312 3795 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 4347 3795 70 163 0 4182 0
[pid=3952/tid=3953] ppid=3950 vsize=17388 CPUtime=0
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 557 0 0 0 0 0 0 0 16 0 4 0 1158308094 17805312 3795 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3952/tid=3954] ppid=3950 vsize=17388 CPUtime=0.38
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 1944 0 0 0 37 1 0 0 18 0 4 0 1158308094 17805312 3795 1992294400 134512640 135180984 4294956208 18446744073709551615 134532460 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3952/tid=3955] ppid=3950 vsize=17388 CPUtime=0.39
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 2000 0 0 0 37 2 0 0 19 0 4 0 1158308094 17805312 3795 1992294400 134512640 135180984 4294956208 18446744073709551615 134523751 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 17388

[startup+0.701959 s]
/proc/loadavg: 1.99 1.77 1.37 3/64 3952
/proc/meminfo: memFree=1591016/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=17388 CPUtime=1.39
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 4585 0 0 0 135 4 0 0 18 0 4 0 1158308094 17805312 3796 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 4347 3796 70 163 0 4182 0
[pid=3952/tid=3953] ppid=3950 vsize=17388 CPUtime=0
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 557 0 0 0 0 0 0 0 16 0 4 0 1158308094 17805312 3796 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3952/tid=3954] ppid=3950 vsize=17388 CPUtime=0.68
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 1944 0 0 0 67 1 0 0 20 0 4 0 1158308094 17805312 3796 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3952/tid=3955] ppid=3950 vsize=17388 CPUtime=0.69
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 2001 0 0 0 67 2 0 0 21 0 4 0 1158308094 17805312 3796 1992294400 134512640 135180984 4294956208 18446744073709551615 134525163 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 17388

[startup+1.50214 s]
/proc/loadavg: 1.99 1.77 1.37 3/68 3956
/proc/meminfo: memFree=1575944/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=17552 CPUtime=2.98
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 4607 0 0 0 292 6 0 0 18 0 4 0 1158308094 17973248 3818 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 4388 3818 70 163 0 4223 0
[pid=3952/tid=3953] ppid=3950 vsize=17552 CPUtime=0.01
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 557 0 0 0 0 1 0 0 16 0 4 0 1158308094 17973248 3818 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3952/tid=3954] ppid=3950 vsize=17552 CPUtime=1.47
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 1965 0 0 0 145 2 0 0 25 0 4 0 1158308094 17973248 3818 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3952/tid=3955] ppid=3950 vsize=17552 CPUtime=1.47
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 2002 0 0 0 145 2 0 0 25 0 4 0 1158308094 17973248 3818 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 17552

[startup+3.10248 s]
/proc/loadavg: 1.99 1.77 1.37 3/68 3956
/proc/meminfo: memFree=1575816/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=17552 CPUtime=6.18
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 4610 0 0 0 610 8 0 0 18 0 4 0 1158308094 17973248 3821 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 4388 3821 70 163 0 4223 0
[pid=3952/tid=3953] ppid=3950 vsize=17552 CPUtime=0.03
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 557 0 0 0 1 2 0 0 16 0 4 0 1158308094 17973248 3821 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3952/tid=3954] ppid=3950 vsize=17552 CPUtime=3.05
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 1967 0 0 0 303 2 0 0 25 0 4 0 1158308094 17973248 3821 1992294400 134512640 135180984 4294956208 18446744073709551615 134526112 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3952/tid=3955] ppid=3950 vsize=17552 CPUtime=3.06
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 2003 0 0 0 304 2 0 0 25 0 4 0 1158308094 17973248 3821 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 17552

[startup+6.30117 s]
/proc/loadavg: 1.99 1.77 1.37 3/68 3956
/proc/meminfo: memFree=1575624/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=17552 CPUtime=12.55
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 4629 0 0 0 1241 14 0 0 18 0 4 0 1158308094 17973248 3840 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 4388 3840 70 163 0 4223 0
[pid=3952/tid=3953] ppid=3950 vsize=17552 CPUtime=0.07
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 566 0 0 0 2 5 0 0 16 0 4 0 1158308094 17973248 3840 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3952/tid=3954] ppid=3950 vsize=17552 CPUtime=6.22
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 1971 0 0 0 617 5 0 0 25 0 4 0 1158308094 17973248 3840 1992294400 134512640 135180984 4294956208 18446744073709551615 134522986 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3952/tid=3955] ppid=3950 vsize=17552 CPUtime=6.25
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 2009 0 0 0 621 4 0 0 25 0 4 0 1158308094 17973248 3840 1992294400 134512640 135180984 4294956208 18446744073709551615 134526464 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 17552

[startup+12.7025 s]
/proc/loadavg: 1.99 1.78 1.38 3/68 3956
/proc/meminfo: memFree=1575176/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=17816 CPUtime=25.33
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 4724 0 0 0 2507 26 0 0 18 0 4 0 1158308094 18243584 3935 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 4454 3935 70 163 0 4289 0
[pid=3952/tid=3953] ppid=3950 vsize=17816 CPUtime=0.13
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 589 0 0 0 4 9 0 0 16 0 4 0 1158308094 18243584 3935 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3952/tid=3954] ppid=3950 vsize=17816 CPUtime=12.57
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 2005 0 0 0 1249 8 0 0 25 0 4 0 1158308094 18243584 3935 1992294400 134512640 135180984 4294956208 18446744073709551615 134523846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3952/tid=3955] ppid=3950 vsize=17816 CPUtime=12.62
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 2047 0 0 0 1254 8 0 0 25 0 4 0 1158308094 18243584 3935 1992294400 134512640 135180984 4294956208 18446744073709551615 134526035 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 17816

[startup+25.5063 s]
/proc/loadavg: 1.99 1.79 1.38 3/68 3956
/proc/meminfo: memFree=1574536/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=18492 CPUtime=50.87
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 4896 0 0 0 5032 55 0 0 18 0 4 0 1158308094 18935808 4107 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 4623 4107 70 163 0 4458 0
[pid=3952/tid=3953] ppid=3950 vsize=18492 CPUtime=0.3
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 661 0 0 0 7 23 0 0 16 0 4 0 1158308094 18935808 4107 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3952/tid=3954] ppid=3950 vsize=18492 CPUtime=25.27
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 2059 0 0 0 2512 15 0 0 25 0 4 0 1158308094 18935808 4107 1992294400 134512640 135180984 4294956208 18446744073709551615 134520896 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3952/tid=3955] ppid=3950 vsize=18492 CPUtime=25.28
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 2093 0 0 0 2512 16 0 0 25 0 4 0 1158308094 18935808 4107 1992294400 134512640 135180984 4294956208 18446744073709551615 134528446 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 18492

[startup+51.1018 s]
/proc/loadavg: 1.99 1.80 1.40 3/68 3956
/proc/meminfo: memFree=1573320/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=19552 CPUtime=101.95
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 5222 0 0 0 10092 103 0 0 18 0 4 0 1158308094 20021248 4433 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 4888 4433 70 163 0 4723 0
[pid=3952/tid=3953] ppid=3950 vsize=19552 CPUtime=0.59
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 774 0 0 0 13 46 0 0 16 0 4 0 1158308094 20021248 4433 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3952/tid=3954] ppid=3950 vsize=19552 CPUtime=50.72
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 2170 0 0 0 5044 28 0 0 25 0 4 0 1158308094 20021248 4433 1992294400 134512640 135180984 4294956208 18446744073709551615 134532464 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3952/tid=3955] ppid=3950 vsize=19552 CPUtime=50.62
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 2195 0 0 0 5034 28 0 0 25 0 4 0 1158308094 20021248 4433 1992294400 134512640 135180984 4294956208 18446744073709551615 134518247 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 19552

[startup+102.302 s]
/proc/loadavg: 1.99 1.83 1.43 3/68 3956
/proc/meminfo: memFree=1570824/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=22688 CPUtime=204.11
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 5824 0 0 0 20200 211 0 0 18 0 4 0 1158308094 23232512 5035 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 5672 5035 70 163 0 5507 0
[pid=3952/tid=3953] ppid=3950 vsize=22688 CPUtime=1.24
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 1007 0 0 0 26 98 0 0 16 0 4 0 1158308094 23232512 5035 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3952/tid=3954] ppid=3950 vsize=22688 CPUtime=101.53
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 2365 0 0 0 10099 54 0 0 25 0 4 0 1158308094 23232512 5035 1992294400 134512640 135180984 4294956208 18446744073709551615 134522790 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3952/tid=3955] ppid=3950 vsize=22688 CPUtime=101.31
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 2369 0 0 0 10073 58 0 0 25 0 4 0 1158308094 23232512 5035 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 22688

[startup+162.302 s]
/proc/loadavg: 1.99 1.86 1.46 3/68 3957
/proc/meminfo: memFree=1567624/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=25472 CPUtime=323.82
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 6552 0 0 0 32061 321 0 0 18 0 4 0 1158308094 26083328 5763 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 6368 5763 70 163 0 6203 0
[pid=3952/tid=3953] ppid=3950 vsize=25472 CPUtime=1.9
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 1220 0 0 0 41 149 0 0 16 0 4 0 1158308094 26083328 5763 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3952/tid=3954] ppid=3950 vsize=25472 CPUtime=161.16
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 2639 0 0 0 16032 84 0 0 25 0 4 0 1158308094 26083328 5763 1992294400 134512640 135180984 4294956208 18446744073709551615 134528514 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3952/tid=3955] ppid=3950 vsize=25472 CPUtime=160.74
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 2610 0 0 0 15987 87 0 0 25 0 4 0 1158308094 26083328 5763 1992294400 134512640 135180984 4294956208 18446744073709551615 134526529 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.82
Current children cumulated vsize (KiB) 25472

[startup+222.302 s]
/proc/loadavg: 1.99 1.88 1.49 3/68 3958
/proc/meminfo: memFree=1565064/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=28828 CPUtime=443.56
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 7220 0 0 0 43931 425 0 0 18 0 4 0 1158308094 29519872 6431 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 7207 6431 70 163 0 7042 0
[pid=3952/tid=3953] ppid=3950 vsize=28828 CPUtime=2.51
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 1454 0 0 0 54 197 0 0 16 0 4 0 1158308094 29519872 6431 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3952/tid=3954] ppid=3950 vsize=28828 CPUtime=220.8
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 2894 0 0 0 21967 113 0 0 25 0 4 0 1158308094 29519872 6431 1992294400 134512640 135180984 4294956208 18446744073709551615 134532443 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3952/tid=3955] ppid=3950 vsize=28828 CPUtime=220.23
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 2789 0 0 0 21909 114 0 0 25 0 4 0 1158308094 29519872 6431 1992294400 134512640 135180984 4294956208 18446744073709551615 134528414 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.56
Current children cumulated vsize (KiB) 28828

[startup+282.302 s]
/proc/loadavg: 1.99 1.90 1.52 3/68 3958
/proc/meminfo: memFree=1562888/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=30752 CPUtime=563.29
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 7761 0 0 0 55802 527 0 0 18 0 4 0 1158308094 31490048 6972 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 7688 6972 70 163 0 7523 0
[pid=3952/tid=3953] ppid=3950 vsize=30752 CPUtime=3.1
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 1642 0 0 0 68 242 0 0 16 0 4 0 1158308094 31490048 6972 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3952/tid=3954] ppid=3950 vsize=30752 CPUtime=280.25
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 3091 0 0 0 27886 139 0 0 25 0 4 0 1158308094 31490048 6972 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3952/tid=3955] ppid=3950 vsize=30752 CPUtime=279.91
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 2945 0 0 0 27847 144 0 0 25 0 4 0 1158308094 31490048 6972 1992294400 134512640 135180984 4294956208 18446744073709551615 134523800 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.29
Current children cumulated vsize (KiB) 30752

[startup+342.306 s]
/proc/loadavg: 1.99 1.92 1.55 3/68 3958
/proc/meminfo: memFree=1560840/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=33996 CPUtime=683.02
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 8262 0 0 0 67684 618 0 0 18 0 4 0 1158308094 34811904 7473 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 8499 7473 70 163 0 8334 0
[pid=3952/tid=3953] ppid=3950 vsize=33996 CPUtime=3.64
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 1860 0 0 0 78 286 0 0 16 0 4 0 1158308094 34811904 7473 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3952/tid=3954] ppid=3950 vsize=33996 CPUtime=339.74
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 3242 0 0 0 33812 162 0 0 25 0 4 0 1158308094 34811904 7473 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3952/tid=3955] ppid=3950 vsize=33996 CPUtime=339.61
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 3077 0 0 0 33793 168 0 0 25 0 4 0 1158308094 34811904 7473 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 683.02
Current children cumulated vsize (KiB) 33996

[startup+402.301 s]
/proc/loadavg: 1.99 1.93 1.57 3/68 3958
/proc/meminfo: memFree=1558792/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=35516 CPUtime=802.74
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 8774 0 0 0 79562 712 0 0 18 0 4 0 1158308094 36368384 7985 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 8879 7985 70 163 0 8714 0
[pid=3952/tid=3953] ppid=3950 vsize=35516 CPUtime=4.18
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 2067 0 0 0 88 330 0 0 16 0 4 0 1158308094 36368384 7985 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3952/tid=3954] ppid=3950 vsize=35516 CPUtime=399.24
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 3413 0 0 0 39738 186 0 0 25 0 4 0 1158308094 36368384 7985 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3952/tid=3955] ppid=3950 vsize=35516 CPUtime=399.31
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 3211 0 0 0 39736 195 0 0 25 0 4 0 1158308094 36368384 7985 1992294400 134512640 135180984 4294956208 18446744073709551615 134526529 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.74
Current children cumulated vsize (KiB) 35516

[startup+462.301 s]
/proc/loadavg: 1.99 1.94 1.60 3/68 3958
/proc/meminfo: memFree=1556488/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=38288 CPUtime=922.47
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 9330 0 0 0 91449 798 0 0 18 0 4 0 1158308094 39206912 8541 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 9572 8541 70 163 0 9407 0
[pid=3952/tid=3953] ppid=3950 vsize=38288 CPUtime=4.67
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 2227 0 0 0 99 368 0 0 16 0 4 0 1158308094 39206912 8541 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3952/tid=3954] ppid=3950 vsize=38288 CPUtime=458.75
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 3603 0 0 0 45666 209 0 0 25 0 4 0 1158308094 39206912 8541 1992294400 134512640 135180984 4294956208 18446744073709551615 134518235 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3952/tid=3955] ppid=3950 vsize=38288 CPUtime=459.01
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 3417 0 0 0 45682 219 0 0 25 0 4 0 1158308094 39206912 8541 1992294400 134512640 135180984 4294956208 18446744073709551615 134519081 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.47
Current children cumulated vsize (KiB) 38288

[startup+522.301 s]
/proc/loadavg: 1.99 1.95 1.62 4/68 3958
/proc/meminfo: memFree=1554568/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=39752 CPUtime=1042.19
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 9832 0 0 0 103331 888 0 0 18 0 4 0 1158308094 40706048 9043 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 9938 9043 70 163 0 9773 0
[pid=3952/tid=3953] ppid=3950 vsize=39752 CPUtime=5.21
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 2421 0 0 0 111 410 0 0 16 0 4 0 1158308094 40706048 9043 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3952/tid=3954] ppid=3950 vsize=39752 CPUtime=518.25
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 3739 0 0 0 51593 232 0 0 25 0 4 0 1158308094 40706048 9043 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3952/tid=3955] ppid=3950 vsize=39752 CPUtime=518.71
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 3589 0 0 0 51626 245 0 0 25 0 4 0 1158308094 40706048 9043 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1042.19
Current children cumulated vsize (KiB) 39752

[startup+582.301 s]
/proc/loadavg: 1.99 1.95 1.64 3/68 3958
/proc/meminfo: memFree=1552840/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=41928 CPUtime=1161.91
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 10245 0 0 0 115221 970 0 0 18 0 4 0 1158308094 42934272 9456 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 10482 9456 70 163 0 10317 0
[pid=3952/tid=3953] ppid=3950 vsize=41928 CPUtime=5.7
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 2600 0 0 0 122 448 0 0 16 0 4 0 1158308094 42934272 9456 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3952/tid=3954] ppid=3950 vsize=41928 CPUtime=577.93
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 3861 0 0 0 57540 253 0 0 25 0 4 0 1158308094 42934272 9456 1992294400 134512640 135180984 4294956208 18446744073709551615 134526482 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3952/tid=3955] ppid=3950 vsize=41928 CPUtime=578.27
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 3701 0 0 0 57559 268 0 0 25 0 4 0 1158308094 42934272 9456 1992294400 134512640 135180984 4294956208 18446744073709551615 134520896 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.91
Current children cumulated vsize (KiB) 41928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.402 s]
/proc/loadavg: 1.99 1.95 1.65 3/68 3958
/proc/meminfo: memFree=1552264/2055920 swapFree=4177960/4192956
[pid=3952] ppid=3950 vsize=42644 CPUtime=1200.03
/proc/3952/stat : 3952 (satake) S 3950 3952 3842 0 -1 4194304 10387 0 0 0 119006 997 0 0 18 0 4 0 1158308094 43667456 9598 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3952/statm: 10661 9598 70 163 0 10496 0
[pid=3952/tid=3953] ppid=3950 vsize=42644 CPUtime=5.84
/proc/3952/task/3953/stat : 3953 (satake) S 3950 3952 3842 0 -1 4194368 2655 0 0 0 124 460 0 0 16 0 4 0 1158308094 43667456 9598 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3952/tid=3954] ppid=3950 vsize=42644 CPUtime=596.96
/proc/3952/task/3954/stat : 3954 (satake) R 3950 3952 3842 0 -1 4194368 3900 0 0 0 59436 260 0 0 25 0 4 0 1158308094 43667456 9598 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3952/tid=3955] ppid=3950 vsize=42644 CPUtime=597.21
/proc/3952/task/3955/stat : 3955 (satake) R 3950 3952 3842 0 -1 4194368 3749 0 0 0 59445 276 0 0 25 0 4 0 1158308094 43667456 9598 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 42644

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.421
CPU time (s): 1200.06
CPU user time (s): 1190.08
CPU system time (s): 9.97848
CPU usage (%): 199.537
Max. virtual memory (cumulated for all children) (KiB): 42644

deleting IPC queue 2064384
deleting IPC queue 2097153
deleting IPC queue 2129922
deleting IPC queue 2162691
deleting IPC queue 2195460
deleting IPC queue 2228229
deleting IPC queue 2260998
deleting IPC queue 2293767
deleting IPC queue 2326536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1190.08
system time used= 9.97848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10387
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= 966016
involuntary context switches= 973618

runsolver used 0.571913 second user time and 1.63075 second system time

The end

Launcher Data 

Begin job on node71 at 2009-04-04 16:47:51
IDJOB=1557616
IDBENCH=70841
IDSOLVER=553
FILE ID=node71/1557616-1238856471
PBS_JOBID= 9085912
Free space on /tmp= 66548 MiB

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

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

MD5SUM BENCH= d37c12b8284d10d47c2000db061ff0e1
RANDOM SEED=2124071662

node71.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.270
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.270
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:       1591496 kB
Buffers:         48940 kB
Cached:         340056 kB
SwapCached:       8940 kB
Active:         158032 kB
Inactive:       241568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1591496 kB
SwapTotal:     4192956 kB
SwapFree:      4177960 kB
Dirty:            2236 kB
Writeback:           0 kB
Mapped:          16356 kB
Slab:            50796 kB
Committed_AS:  2668640 kB
PageTables:       1444 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= 66548 MiB
End job on node71 at 2009-04-04 16:57:55