Trace number 1727563

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.09 601.871

General information on the benchmark

Namecrafted/Hard/contest05/phnf/
phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
MD5SUM73bcef7c584867538ae0bed90374a7ab
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables61649
Number of clauses3157120
Sum of the clauses size6361883
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23150117
Number of clauses of size 31
Number of clauses of size 413
Number of clauses of size 58
Number of clauses of size over 56981

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-1727563-1240726366/watcher-1727563-1240726366 -o /tmp/evaluation-result-1727563-1240726366/solver-1727563-1240726366 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1727563-1240726366.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.69 1.81 1.46 3/65 22701
/proc/meminfo: memFree=1798856/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=5120 CPUtime=0
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 704 0 0 0 0 0 0 0 19 0 4 0 100666285 5242880 689 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 1280 695 65 163 0 1115 0
[pid=22701/tid=22702] ppid=22699 vsize=5120 CPUtime=0
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 7 0 0 0 0 0 0 0 20 0 4 0 100666285 5242880 714 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=22701/tid=22703] ppid=22699 vsize=5120 CPUtime=0
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 647 0 0 0 0 0 0 0 20 0 4 0 100666285 5242880 722 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22701/tid=22704] ppid=22699 vsize=5120 CPUtime=0
/proc/22701/task/22704/stat : 22704 (satake) R 22699 22701 22348 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 4 0 100666285 5242880 731 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.042017 s]
/proc/loadavg: 1.69 1.81 1.46 3/65 22701
/proc/meminfo: memFree=1798856/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=33800 CPUtime=0.07
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 7694 0 0 0 0 7 0 0 19 0 4 0 100666285 34611200 7679 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 8450 7679 65 163 0 8285 0
[pid=22701/tid=22702] ppid=22699 vsize=33800 CPUtime=0
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 7 0 0 0 0 0 0 0 20 0 4 0 100666285 34611200 7679 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=22701/tid=22703] ppid=22699 vsize=33800 CPUtime=0.04
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 4118 0 0 0 0 4 0 0 18 0 4 0 100666285 34611200 7679 1992294400 134512640 135180984 4294956208 18446744073709551615 134706046 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22701/tid=22704] ppid=22699 vsize=33800 CPUtime=0.03
/proc/22701/task/22704/stat : 22704 (satake) D 22699 22701 22348 0 -1 4194368 3486 0 0 0 0 3 0 0 18 0 4 0 100666285 34611200 7679 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 33800

[startup+0.102152 s]
/proc/loadavg: 1.69 1.81 1.46 3/65 22701
/proc/meminfo: memFree=1798856/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=132104 CPUtime=0.18
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 18941 0 0 0 0 18 0 0 19 0 4 0 100666285 135274496 18926 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 33026 18936 65 163 0 32861 0
[pid=22701/tid=22702] ppid=22699 vsize=132104 CPUtime=0
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 7 0 0 0 0 0 0 0 20 0 4 0 100666285 135274496 18941 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=22701/tid=22703] ppid=22699 vsize=132104 CPUtime=0.09
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 9693 0 0 0 0 9 0 0 18 0 4 0 100666285 135274496 18948 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22701/tid=22704] ppid=22699 vsize=132104 CPUtime=0.09
/proc/22701/task/22704/stat : 22704 (satake) R 22699 22701 22348 0 -1 4194368 9187 0 0 0 0 9 0 0 18 0 4 0 100666285 135274496 18955 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 132104

[startup+0.302179 s]
/proc/loadavg: 1.69 1.81 1.46 3/65 22701
/proc/meminfo: memFree=1798856/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=113952 CPUtime=0.58
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 27944 0 0 0 32 26 0 0 19 0 4 0 100666285 116686848 27929 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 28488 27929 65 163 0 28323 0
[pid=22701/tid=22702] ppid=22699 vsize=113952 CPUtime=0
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 7 0 0 0 0 0 0 0 20 0 4 0 100666285 116686848 27929 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=22701/tid=22703] ppid=22699 vsize=113952 CPUtime=0.29
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 13951 0 0 0 16 13 0 0 16 0 4 0 100666285 116686848 27929 1992294400 134512640 135180984 4294956208 18446744073709551615 134673384 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22701/tid=22704] ppid=22699 vsize=113952 CPUtime=0.29
/proc/22701/task/22704/stat : 22704 (satake) S 22699 22701 22348 0 -1 4194368 13903 0 0 0 16 13 0 0 16 0 4 0 100666285 116686848 27929 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 113952

[startup+0.701261 s]
/proc/loadavg: 1.69 1.81 1.46 3/65 22701
/proc/meminfo: memFree=1798856/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=133640 CPUtime=1.37
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 32232 0 0 0 105 32 0 0 19 0 4 0 100666285 136847360 32217 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 33410 32218 65 163 0 33245 0
[pid=22701/tid=22702] ppid=22699 vsize=133640 CPUtime=0
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 7 0 0 0 0 0 0 0 20 0 4 0 100666285 136847360 32218 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=22701/tid=22703] ppid=22699 vsize=133772 CPUtime=0.68
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 16047 0 0 0 52 16 0 0 16 0 4 0 100666285 136982528 32219 1992294400 134512640 135180984 4294956208 18446744073709551615 134681037 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22701/tid=22704] ppid=22699 vsize=133772 CPUtime=0.67
/proc/22701/task/22704/stat : 22704 (satake) R 22699 22701 22348 0 -1 4194368 16097 0 0 0 52 15 0 0 16 0 4 0 100666285 136982528 32219 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 133640

[startup+1.50143 s]
/proc/loadavg: 1.69 1.81 1.46 2/69 22705
/proc/meminfo: memFree=1656296/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=171512 CPUtime=2.95
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 41528 0 0 0 251 44 0 0 19 0 4 0 100666285 175628288 41513 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 42878 41513 65 163 0 42713 0
[pid=22701/tid=22702] ppid=22699 vsize=171512 CPUtime=0
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 7 0 0 0 0 0 0 0 20 0 4 0 100666285 175628288 41513 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=22701/tid=22703] ppid=22699 vsize=171512 CPUtime=1.47
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 20601 0 0 0 125 22 0 0 16 0 4 0 100666285 175628288 41513 1992294400 134512640 135180984 4294956208 18446744073709551615 134520025 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22701/tid=22704] ppid=22699 vsize=171512 CPUtime=1.46
/proc/22701/task/22704/stat : 22704 (satake) R 22699 22701 22348 0 -1 4194368 20837 0 0 0 125 21 0 0 16 0 4 0 100666285 175628288 41513 1992294400 134512640 135180984 4294956208 18446744073709551615 134513973 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 171512

[startup+3.10175 s]
/proc/loadavg: 1.69 1.81 1.46 3/69 22705
/proc/meminfo: memFree=1602728/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=251156 CPUtime=6.12
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 61443 0 0 0 548 64 0 0 19 0 4 0 100666285 257183744 61428 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 62789 61428 65 163 0 62624 0
[pid=22701/tid=22702] ppid=22699 vsize=251156 CPUtime=0
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 7 0 0 0 0 0 0 0 20 0 4 0 100666285 257183744 61430 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=22701/tid=22703] ppid=22699 vsize=251156 CPUtime=3.07
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 30471 0 0 0 274 33 0 0 16 0 4 0 100666285 257183744 61430 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22701/tid=22704] ppid=22699 vsize=251156 CPUtime=3.05
/proc/22701/task/22704/stat : 22704 (satake) R 22699 22701 22348 0 -1 4194368 30884 0 0 0 274 31 0 0 16 0 4 0 100666285 257183744 61430 1992294400 134512640 135180984 4294956208 18446744073709551615 134534786 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 251156

[startup+6.30126 s]
/proc/loadavg: 1.79 1.83 1.47 3/69 22705
/proc/meminfo: memFree=1585576/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=234212 CPUtime=12.45
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 76504 0 0 0 1120 125 0 0 19 0 4 0 100666285 239833088 53755 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 58553 53755 70 163 0 58388 0
[pid=22701/tid=22702] ppid=22699 vsize=234212 CPUtime=0.28
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 1160 0 0 0 7 21 0 0 16 0 4 0 100666285 239833088 53755 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=22701/tid=22703] ppid=22699 vsize=234212 CPUtime=6.08
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 37446 0 0 0 555 53 0 0 16 0 4 0 100666285 239833088 53755 1992294400 134512640 135180984 4294956208 18446744073709551615 134523713 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22701/tid=22704] ppid=22699 vsize=234212 CPUtime=6.07
/proc/22701/task/22704/stat : 22704 (satake) R 22699 22701 22348 0 -1 4194368 37815 0 0 0 558 49 0 0 17 0 4 0 100666285 239833088 53755 1992294400 134512640 135180984 4294956208 18446744073709551615 134528683 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 234212

[startup+12.7016 s]
/proc/loadavg: 1.89 1.85 1.48 3/69 22705
/proc/meminfo: memFree=1582120/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=237668 CPUtime=25.1
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 77335 0 0 0 2262 248 0 0 19 0 4 0 100666285 243372032 54586 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 59417 54586 70 163 0 59252 0
[pid=22701/tid=22702] ppid=22699 vsize=237668 CPUtime=1.01
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 1383 0 0 0 23 78 0 0 15 0 4 0 100666285 243372032 54586 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=22701/tid=22703] ppid=22699 vsize=237668 CPUtime=12.05
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 37728 0 0 0 1118 87 0 0 17 0 4 0 100666285 243372032 54586 1992294400 134512640 135180984 4294956208 18446744073709551615 134528861 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22701/tid=22704] ppid=22699 vsize=237668 CPUtime=12.02
/proc/22701/task/22704/stat : 22704 (satake) R 22699 22701 22348 0 -1 4194368 38141 0 0 0 1120 82 0 0 16 0 4 0 100666285 243372032 54586 1992294400 134512640 135180984 4294956208 18446744073709551615 134528288 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 237668

[startup+25.5022 s]
/proc/loadavg: 1.91 1.85 1.49 3/69 22705
/proc/meminfo: memFree=1576744/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=242320 CPUtime=50.53
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 78667 0 0 0 4628 425 0 0 19 0 4 0 100666285 248135680 55918 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 60580 55918 70 163 0 60415 0
[pid=22701/tid=22702] ppid=22699 vsize=242320 CPUtime=2.06
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 1726 0 0 0 47 159 0 0 15 0 4 0 100666285 248135680 55918 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=22701/tid=22703] ppid=22699 vsize=242320 CPUtime=24.25
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 38195 0 0 0 2291 134 0 0 19 0 4 0 100666285 248135680 55918 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22701/tid=22704] ppid=22699 vsize=242320 CPUtime=24.2
/proc/22701/task/22704/stat : 22704 (satake) R 22699 22701 22348 0 -1 4194368 38663 0 0 0 2289 131 0 0 17 0 4 0 100666285 248135680 55918 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.53
Current children cumulated vsize (KiB) 242320

[startup+51.1025 s]
/proc/loadavg: 1.94 1.86 1.50 3/69 22705
/proc/meminfo: memFree=1568040/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=252012 CPUtime=101.48
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 80889 0 0 0 9483 665 0 0 19 0 4 0 100666285 258060288 58140 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 63003 58140 70 163 0 62838 0
[pid=22701/tid=22702] ppid=22699 vsize=252012 CPUtime=3.51
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 2179 0 0 0 82 269 0 0 15 0 4 0 100666285 258060288 58140 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=22701/tid=22703] ppid=22699 vsize=252012 CPUtime=48.98
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 38936 0 0 0 4698 200 0 0 18 0 4 0 100666285 258060288 58140 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22701/tid=22704] ppid=22699 vsize=252012 CPUtime=48.96
/proc/22701/task/22704/stat : 22704 (satake) R 22699 22701 22348 0 -1 4194368 39691 0 0 0 4701 195 0 0 17 0 4 0 100666285 258060288 58140 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 252012

[startup+102.306 s]
/proc/loadavg: 1.97 1.88 1.52 3/69 22705
/proc/meminfo: memFree=1552552/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=267212 CPUtime=203.53
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 84711 0 0 0 19355 998 0 0 19 0 4 0 100666285 273625088 61962 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 66803 61962 70 163 0 66638 0
[pid=22701/tid=22702] ppid=22699 vsize=267212 CPUtime=5.58
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 2806 0 0 0 138 420 0 0 15 0 4 0 100666285 273625088 61962 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=22701/tid=22703] ppid=22699 vsize=267212 CPUtime=98.98
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 40281 0 0 0 9608 290 0 0 21 0 4 0 100666285 273625088 61962 1992294400 134512640 135180984 4294956208 18446744073709551615 134528978 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22701/tid=22704] ppid=22699 vsize=267212 CPUtime=98.95
/proc/22701/task/22704/stat : 22704 (satake) R 22699 22701 22348 0 -1 4194368 41541 0 0 0 9608 287 0 0 25 0 4 0 100666285 273625088 61962 1992294400 134512640 135180984 4294956208 18446744073709551615 134528438 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.53
Current children cumulated vsize (KiB) 267212

[startup+162.303 s]
/proc/loadavg: 1.99 1.90 1.55 3/69 22705
/proc/meminfo: memFree=1536936/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=282356 CPUtime=323.15
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 88627 0 0 0 30972 1343 0 0 19 0 4 0 100666285 289132544 65878 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 70589 65878 70 163 0 70424 0
[pid=22701/tid=22702] ppid=22699 vsize=282356 CPUtime=7.73
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 3457 0 0 0 194 579 0 0 15 0 4 0 100666285 289132544 65878 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=22701/tid=22703] ppid=22699 vsize=282356 CPUtime=157.82
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 41546 0 0 0 15399 383 0 0 18 0 4 0 100666285 289132544 65878 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22701/tid=22704] ppid=22699 vsize=282356 CPUtime=157.58
/proc/22701/task/22704/stat : 22704 (satake) R 22699 22701 22348 0 -1 4194368 43541 0 0 0 15378 380 0 0 18 0 4 0 100666285 289132544 65878 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.15
Current children cumulated vsize (KiB) 282356

[startup+222.301 s]
/proc/loadavg: 1.99 1.92 1.57 3/69 22705
/proc/meminfo: memFree=1523496/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=297028 CPUtime=442.86
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 91963 0 0 0 42725 1561 0 0 19 0 4 0 100666285 304156672 69214 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 74257 69214 70 163 0 74092 0
[pid=22701/tid=22702] ppid=22699 vsize=297028 CPUtime=9.11
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 3878 0 0 0 233 678 0 0 15 0 4 0 100666285 304156672 69214 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=22701/tid=22703] ppid=22699 vsize=297028 CPUtime=217.02
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 42749 0 0 0 21258 444 0 0 18 0 4 0 100666285 304156672 69214 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22701/tid=22704] ppid=22699 vsize=297028 CPUtime=216.69
/proc/22701/task/22704/stat : 22704 (satake) R 22699 22701 22348 0 -1 4194368 45253 0 0 0 21232 437 0 0 25 0 4 0 100666285 304156672 69214 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 442.86
Current children cumulated vsize (KiB) 297028

[startup+282.302 s]
/proc/loadavg: 1.99 1.93 1.60 3/69 22705
/proc/meminfo: memFree=1510888/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=308992 CPUtime=562.56
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 95115 0 0 0 54475 1781 0 0 19 0 4 0 100666285 316407808 72366 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 77248 72366 70 163 0 77083 0
[pid=22701/tid=22702] ppid=22699 vsize=308992 CPUtime=10.49
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 4297 0 0 0 272 777 0 0 15 0 4 0 100666285 316407808 72366 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=22701/tid=22703] ppid=22699 vsize=308992 CPUtime=276.16
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 43931 0 0 0 27111 505 0 0 25 0 4 0 100666285 316407808 72366 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22701/tid=22704] ppid=22699 vsize=308992 CPUtime=275.89
/proc/22701/task/22704/stat : 22704 (satake) R 22699 22701 22348 0 -1 4194368 46804 0 0 0 27091 498 0 0 25 0 4 0 100666285 316407808 72366 1992294400 134512640 135180984 4294956208 18446744073709551615 134518257 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.56
Current children cumulated vsize (KiB) 308992

[startup+342.302 s]
/proc/loadavg: 2.06 1.96 1.63 3/69 22705
/proc/meminfo: memFree=1498920/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=321344 CPUtime=682.25
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 98091 0 0 0 66253 1972 0 0 19 0 4 0 100666285 329056256 75342 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 80336 75342 70 163 0 80171 0
[pid=22701/tid=22702] ppid=22699 vsize=321344 CPUtime=11.71
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 4660 0 0 0 307 864 0 0 15 0 4 0 100666285 329056256 75342 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=22701/tid=22703] ppid=22699 vsize=321344 CPUtime=335.43
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 45038 0 0 0 32985 558 0 0 22 0 4 0 100666285 329056256 75342 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22701/tid=22704] ppid=22699 vsize=321344 CPUtime=335.09
/proc/22701/task/22704/stat : 22704 (satake) R 22699 22701 22348 0 -1 4194368 48310 0 0 0 32960 549 0 0 21 0 4 0 100666285 329056256 75342 1992294400 134512640 135180984 4294956208 18446744073709551615 134519091 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.25
Current children cumulated vsize (KiB) 321344

[startup+402.302 s]
/proc/loadavg: 2.02 1.96 1.65 3/69 22705
/proc/meminfo: memFree=1487656/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=332136 CPUtime=801.97
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 100907 0 0 0 78035 2162 0 0 19 0 4 0 100666285 340107264 78158 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 83034 78158 70 163 0 82869 0
[pid=22701/tid=22702] ppid=22699 vsize=332136 CPUtime=12.9
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 5032 0 0 0 339 951 0 0 15 0 4 0 100666285 340107264 78158 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=22701/tid=22703] ppid=22699 vsize=332136 CPUtime=394.6
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 46138 0 0 0 38850 610 0 0 25 0 4 0 100666285 340107264 78158 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22701/tid=22704] ppid=22699 vsize=332136 CPUtime=394.46
/proc/22701/task/22704/stat : 22704 (satake) R 22699 22701 22348 0 -1 4194368 49654 0 0 0 38846 600 0 0 25 0 4 0 100666285 340107264 78158 1992294400 134512640 135180984 4294956208 18446744073709551615 134532624 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 801.97
Current children cumulated vsize (KiB) 332136

[startup+462.302 s]
/proc/loadavg: 2.00 1.97 1.66 3/69 22705
/proc/meminfo: memFree=1476392/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=343340 CPUtime=921.69
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 103715 0 0 0 89839 2330 0 0 19 0 4 0 100666285 351580160 80966 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 85835 80966 70 163 0 85670 0
[pid=22701/tid=22702] ppid=22699 vsize=343340 CPUtime=13.99
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 5349 0 0 0 373 1026 0 0 15 0 4 0 100666285 351580160 80966 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=22701/tid=22703] ppid=22699 vsize=343340 CPUtime=453.98
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 47272 0 0 0 44742 656 0 0 17 0 4 0 100666285 351580160 80966 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22701/tid=22704] ppid=22699 vsize=343340 CPUtime=453.7
/proc/22701/task/22704/stat : 22704 (satake) R 22699 22701 22348 0 -1 4194368 51011 0 0 0 44723 647 0 0 17 0 4 0 100666285 351580160 80966 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 921.69
Current children cumulated vsize (KiB) 343340

[startup+522.301 s]
/proc/loadavg: 2.00 1.97 1.68 3/69 22705
/proc/meminfo: memFree=1465064/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=354416 CPUtime=1041.4
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 106568 0 0 0 101653 2487 0 0 19 0 4 0 100666285 362921984 83819 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 88604 83819 70 163 0 88439 0
[pid=22701/tid=22702] ppid=22699 vsize=354416 CPUtime=14.97
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 5636 0 0 0 399 1098 0 0 15 0 4 0 100666285 362921984 83819 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=22701/tid=22703] ppid=22699 vsize=354416 CPUtime=513.23
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 48371 0 0 0 50626 697 0 0 25 0 4 0 100666285 362921984 83819 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22701/tid=22704] ppid=22699 vsize=354416 CPUtime=513.19
/proc/22701/task/22704/stat : 22704 (satake) R 22699 22701 22348 0 -1 4194368 52478 0 0 0 50628 691 0 0 17 0 4 0 100666285 362921984 83819 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.4
Current children cumulated vsize (KiB) 354416

[startup+582.302 s]
/proc/loadavg: 2.00 1.97 1.70 3/69 22705
/proc/meminfo: memFree=1453736/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=366316 CPUtime=1161.1
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 109380 0 0 0 113487 2623 0 0 19 0 4 0 100666285 375107584 86631 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 91579 86631 70 163 0 91414 0
[pid=22701/tid=22702] ppid=22699 vsize=366316 CPUtime=15.82
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 5889 0 0 0 423 1159 0 0 15 0 4 0 100666285 375107584 86631 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=22701/tid=22703] ppid=22699 vsize=366316 CPUtime=572.59
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 49570 0 0 0 56526 733 0 0 22 0 4 0 100666285 375107584 86631 1992294400 134512640 135180984 4294956208 18446744073709551615 134528887 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22701/tid=22704] ppid=22699 vsize=366316 CPUtime=572.67
/proc/22701/task/22704/stat : 22704 (satake) R 22699 22701 22348 0 -1 4194368 53838 0 0 0 56537 730 0 0 25 0 4 0 100666285 375107584 86631 1992294400 134512640 135180984 4294956208 18446744073709551615 134523674 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.1
Current children cumulated vsize (KiB) 366316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.801 s]
/proc/loadavg: 2.00 1.97 1.70 3/69 22705
/proc/meminfo: memFree=1449960/2055920 swapFree=4181412/4192956
[pid=22701] ppid=22699 vsize=369328 CPUtime=1200.01
/proc/22701/stat : 22701 (satake) S 22699 22701 22348 0 -1 4194304 110284 0 0 0 117333 2668 0 0 19 0 4 0 100666285 378191872 87535 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22701/statm: 92332 87535 70 163 0 92167 0
[pid=22701/tid=22702] ppid=22699 vsize=369328 CPUtime=16.14
/proc/22701/task/22702/stat : 22702 (satake) S 22699 22701 22348 0 -1 4194368 5977 0 0 0 434 1180 0 0 15 0 4 0 100666285 378191872 87535 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=22701/tid=22703] ppid=22699 vsize=369328 CPUtime=591.9
/proc/22701/task/22703/stat : 22703 (satake) R 22699 22701 22348 0 -1 4194368 49927 0 0 0 58445 745 0 0 19 0 4 0 100666285 378191872 87535 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22701/tid=22704] ppid=22699 vsize=369328 CPUtime=591.95
/proc/22701/task/22704/stat : 22704 (satake) R 22699 22701 22348 0 -1 4194368 54297 0 0 0 58453 742 0 0 18 0 4 0 100666285 378191872 87535 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 369328

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.871
CPU time (s): 1200.09
CPU user time (s): 1173.35
CPU system time (s): 26.7419
CPU usage (%): 199.394
Max. virtual memory (cumulated for all children) (KiB): 369328

deleting IPC queue 2359296
deleting IPC queue 2392065
deleting IPC queue 2424834
deleting IPC queue 2457603
deleting IPC queue 2490372
deleting IPC queue 2523141
deleting IPC queue 2555910
deleting IPC queue 2588679
deleting IPC queue 2621448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1173.35
system time used= 26.7419
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110285
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= 2444624
involuntary context switches= 2423112

runsolver used 0.599908 second user time and 1.61775 second system time

The end

Launcher Data 

Begin job on node80 at 2009-04-26 08:12:53
IDJOB=1727563
IDBENCH=24640
IDSOLVER=553
FILE ID=node80/1727563-1240726366
PBS_JOBID= 9186895
Free space on /tmp= 66112 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1727563-1240726366/watcher-1727563-1240726366 -o /tmp/evaluation-result-1727563-1240726366/solver-1727563-1240726366 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1727563-1240726366.cnf 3 1200

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

MD5SUM BENCH= 73bcef7c584867538ae0bed90374a7ab
RANDOM SEED=1770924208

node80.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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1799904 kB
Buffers:         16524 kB
Cached:         166240 kB
SwapCached:       5460 kB
Active:          65804 kB
Inactive:       124880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1799904 kB
SwapTotal:     4192956 kB
SwapFree:      4181412 kB
Dirty:           46424 kB
Writeback:           0 kB
Mapped:          13560 kB
Slab:            51340 kB
Committed_AS:   343668 kB
PageTables:       1384 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= 66112 MiB
End job on node80 at 2009-04-26 08:22:57