Trace number 1729471

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.24 630.251

General information on the benchmark

Namecrafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
MD5SUMd27bb4ae488674c0e5d303cf0ee23c59
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 variables700
Number of clauses3500
Sum of the clauses size10500
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33500
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-1729471-1240749862/watcher-1729471-1240749862 -o /tmp/evaluation-result-1729471-1240749862/solver-1729471-1240749862 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1729471-1240749862.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.99 0.98 0.99 2/65 7967
/proc/meminfo: memFree=1823624/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=1280 CPUtime=0
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 170 0 0 0 0 0 0 0 18 0 4 0 103015223 1310720 155 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 320 155 68 163 0 155 0
[pid=7967/tid=7968] ppid=7965 vsize=1280 CPUtime=0
/proc/7967/task/7968/stat : 7968 (satake) R 7965 7967 7869 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 103015223 1310720 155 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7967/tid=7969] ppid=7965 vsize=1280 CPUtime=0
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 7869 0 -1 4194368 80 0 0 0 0 0 0 0 19 0 4 0 103015223 1310720 155 1992294400 134512640 135180984 4294956208 18446744073709551615 134528641 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7967/tid=7970] ppid=7965 vsize=1280 CPUtime=0
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 7869 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 103015223 1310720 155 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.094472 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7967
/proc/meminfo: memFree=1823624/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=2576 CPUtime=0.14
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 303 0 0 0 9 5 0 0 18 0 4 0 103015223 2637824 288 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 644 288 70 163 0 479 0
[pid=7967/tid=7968] ppid=7965 vsize=2576 CPUtime=0.02
/proc/7967/task/7968/stat : 7968 (satake) R 7965 7967 7869 0 -1 4194368 25 0 0 0 0 2 0 0 17 0 4 0 103015223 2637824 288 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7967/tid=7969] ppid=7965 vsize=2576 CPUtime=0.05
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 7869 0 -1 4194368 106 0 0 0 4 1 0 0 16 0 4 0 103015223 2637824 288 1992294400 134512640 135180984 4294956208 18446744073709551615 134528746 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7967/tid=7970] ppid=7965 vsize=2576 CPUtime=0.05
/proc/7967/task/7970/stat : 7970 (satake) S 7965 7967 7869 0 -1 4194368 89 0 0 0 4 1 0 0 17 0 4 0 103015223 2637824 288 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 2576

[startup+0.10147 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7967
/proc/meminfo: memFree=1823624/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=2576 CPUtime=0.15
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 307 0 0 0 10 5 0 0 18 0 4 0 103015223 2637824 292 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 644 292 70 163 0 479 0
[pid=7967/tid=7968] ppid=7965 vsize=2576 CPUtime=0.02
/proc/7967/task/7968/stat : 7968 (satake) R 7965 7967 7869 0 -1 4194368 25 0 0 0 0 2 0 0 17 0 4 0 103015223 2637824 292 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7967/tid=7969] ppid=7965 vsize=2576 CPUtime=0.05
/proc/7967/task/7969/stat : 7969 (satake) S 7965 7967 7869 0 -1 4194368 109 0 0 0 4 1 0 0 16 0 4 0 103015223 2637824 292 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7967/tid=7970] ppid=7965 vsize=2576 CPUtime=0.05
/proc/7967/task/7970/stat : 7970 (satake) S 7965 7967 7869 0 -1 4194368 90 0 0 0 4 1 0 0 16 0 4 0 103015223 2637824 292 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2576

[startup+0.301493 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7967
/proc/meminfo: memFree=1823624/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=2716 CPUtime=0.49
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 396 0 0 0 33 16 0 0 18 0 4 0 103015223 2781184 381 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 679 381 70 163 0 514 0
[pid=7967/tid=7968] ppid=7965 vsize=2716 CPUtime=0.09
/proc/7967/task/7968/stat : 7968 (satake) R 7965 7967 7869 0 -1 4194368 43 0 0 0 2 7 0 0 17 0 4 0 103015223 2781184 381 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7967/tid=7969] ppid=7965 vsize=2716 CPUtime=0.19
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 7869 0 -1 4194368 144 0 0 0 15 4 0 0 17 0 4 0 103015223 2781184 381 1992294400 134512640 135180984 4294956208 18446744073709551615 134519103 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7967/tid=7970] ppid=7965 vsize=2716 CPUtime=0.19
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 7869 0 -1 4194368 126 0 0 0 15 4 0 0 16 0 4 0 103015223 2781184 381 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2716

[startup+0.701538 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7967
/proc/meminfo: memFree=1823624/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=2984 CPUtime=1.18
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 497 0 0 0 83 35 0 0 18 0 4 0 103015223 3055616 482 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 746 482 70 163 0 581 0
[pid=7967/tid=7968] ppid=7965 vsize=2984 CPUtime=0.22
/proc/7967/task/7968/stat : 7968 (satake) R 7965 7967 7869 0 -1 4194368 75 0 0 0 5 17 0 0 17 0 4 0 103015223 3055616 482 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7967/tid=7969] ppid=7965 vsize=2984 CPUtime=0.47
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 7869 0 -1 4194368 174 0 0 0 38 9 0 0 17 0 4 0 103015223 3055616 482 1992294400 134512640 135180984 4294956208 18446744073709551615 134532467 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7967/tid=7970] ppid=7965 vsize=2984 CPUtime=0.47
/proc/7967/task/7970/stat : 7970 (satake) S 7965 7967 7869 0 -1 4194368 165 0 0 0 39 8 0 0 16 0 4 0 103015223 3055616 482 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 2984

[startup+1.50177 s]
/proc/loadavg: 0.99 0.98 0.99 4/69 7971
/proc/meminfo: memFree=1821544/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=3416 CPUtime=2.58
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 667 0 0 0 185 73 0 0 18 0 4 0 103015223 3497984 652 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 854 652 70 163 0 689 0
[pid=7967/tid=7968] ppid=7965 vsize=3416 CPUtime=0.47
/proc/7967/task/7968/stat : 7968 (satake) S 7965 7967 7869 0 -1 4194368 139 0 0 0 11 36 0 0 16 0 4 0 103015223 3497984 652 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7967/tid=7969] ppid=7965 vsize=3416 CPUtime=1.05
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 7869 0 -1 4194368 219 0 0 0 87 18 0 0 17 0 4 0 103015223 3497984 652 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7967/tid=7970] ppid=7965 vsize=3416 CPUtime=1.04
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 7869 0 -1 4194368 226 0 0 0 86 18 0 0 15 0 4 0 103015223 3497984 652 1992294400 134512640 135180984 4294956208 18446744073709551615 134528571 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 3416

[startup+3.10295 s]
/proc/loadavg: 1.15 1.02 1.01 3/69 7971
/proc/meminfo: memFree=1820584/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=4840 CPUtime=5.45
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 934 0 0 0 392 153 0 0 18 0 4 0 103015223 4956160 919 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 1210 919 70 163 0 1045 0
[pid=7967/tid=7968] ppid=7965 vsize=4840 CPUtime=0.96
/proc/7967/task/7968/stat : 7968 (satake) S 7965 7967 7869 0 -1 4194368 272 0 0 0 23 73 0 0 16 0 4 0 103015223 4956160 919 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7967/tid=7969] ppid=7965 vsize=4840 CPUtime=2.25
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 7869 0 -1 4194368 267 0 0 0 185 40 0 0 16 0 4 0 103015223 4956160 919 1992294400 134512640 135180984 4294956208 18446744073709551615 134526151 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7967/tid=7970] ppid=7965 vsize=4840 CPUtime=2.21
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 7869 0 -1 4194368 312 0 0 0 182 39 0 0 16 0 4 0 103015223 4956160 919 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 4840

[startup+6.30131 s]
/proc/loadavg: 1.15 1.02 1.01 3/69 7971
/proc/meminfo: memFree=1818472/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=6952 CPUtime=11.23
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 1396 0 0 0 819 304 0 0 18 0 4 0 103015223 7118848 1381 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 1738 1381 70 163 0 1573 0
[pid=7967/tid=7968] ppid=7965 vsize=6952 CPUtime=1.93
/proc/7967/task/7968/stat : 7968 (satake) R 7965 7967 7869 0 -1 4194368 538 0 0 0 46 147 0 0 16 0 4 0 103015223 7118848 1381 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7967/tid=7969] ppid=7965 vsize=6952 CPUtime=4.66
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 7869 0 -1 4194368 348 0 0 0 386 80 0 0 16 0 4 0 103015223 7118848 1381 1992294400 134512640 135180984 4294956208 18446744073709551615 134527284 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7967/tid=7970] ppid=7965 vsize=6952 CPUtime=4.62
/proc/7967/task/7970/stat : 7970 (satake) S 7965 7967 7869 0 -1 4194368 427 0 0 0 386 76 0 0 16 0 4 0 103015223 7118848 1381 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.23
Current children cumulated vsize (KiB) 6952

[startup+12.7029 s]
/proc/loadavg: 1.36 1.06 1.02 4/69 7971
/proc/meminfo: memFree=1814832/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=10628 CPUtime=23.03
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 2252 0 0 0 1707 596 0 0 18 0 4 0 103015223 10883072 2237 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 2657 2237 70 163 0 2492 0
[pid=7967/tid=7968] ppid=7965 vsize=10628 CPUtime=3.74
/proc/7967/task/7968/stat : 7968 (satake) S 7965 7967 7869 0 -1 4194368 1073 0 0 0 85 289 0 0 15 0 4 0 103015223 10883072 2237 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7967/tid=7969] ppid=7965 vsize=10628 CPUtime=9.66
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 7869 0 -1 4194368 477 0 0 0 810 156 0 0 17 0 4 0 103015223 10883072 2237 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7967/tid=7970] ppid=7965 vsize=10628 CPUtime=9.6
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 7869 0 -1 4194368 619 0 0 0 811 149 0 0 15 0 4 0 103015223 10883072 2237 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.03
Current children cumulated vsize (KiB) 10628

[startup+25.5014 s]
/proc/loadavg: 1.54 1.11 1.04 3/69 7971
/proc/meminfo: memFree=1808560/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=16472 CPUtime=46.86
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 3784 0 0 0 3499 1187 0 0 18 0 4 0 103015223 16867328 3769 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 4118 3769 70 163 0 3953 0
[pid=7967/tid=7968] ppid=7965 vsize=16472 CPUtime=7.33
/proc/7967/task/7968/stat : 7968 (satake) S 7965 7967 7869 0 -1 4194368 2086 0 0 0 162 571 0 0 16 0 4 0 103015223 16867328 3769 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7967/tid=7969] ppid=7965 vsize=16472 CPUtime=19.81
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 7869 0 -1 4194368 714 0 0 0 1669 312 0 0 16 0 4 0 103015223 16867328 3769 1992294400 134512640 135180984 4294956208 18446744073709551615 134518227 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7967/tid=7970] ppid=7965 vsize=16472 CPUtime=19.7
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 7869 0 -1 4194368 901 0 0 0 1667 303 0 0 15 0 4 0 103015223 16867328 3769 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 46.86
Current children cumulated vsize (KiB) 16472

[startup+51.1013 s]
/proc/loadavg: 1.77 1.20 1.07 4/69 7971
/proc/meminfo: memFree=1797680/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=28428 CPUtime=94.95
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 6554 0 0 0 7177 2318 0 0 18 0 4 0 103015223 29110272 6539 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 7107 6539 70 163 0 6942 0
[pid=7967/tid=7968] ppid=7965 vsize=28428 CPUtime=14.31
/proc/7967/task/7968/stat : 7968 (satake) R 7965 7967 7869 0 -1 4194368 4077 0 0 0 318 1113 0 0 16 0 4 0 103015223 29110272 6539 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7967/tid=7969] ppid=7965 vsize=28428 CPUtime=40.32
/proc/7967/task/7969/stat : 7969 (satake) S 7965 7967 7869 0 -1 4194368 1057 0 0 0 3424 608 0 0 16 0 4 0 103015223 29110272 6539 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7967/tid=7970] ppid=7965 vsize=28428 CPUtime=40.3
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 7869 0 -1 4194368 1337 0 0 0 3434 596 0 0 16 0 4 0 103015223 29110272 6539 1992294400 134512640 135180984 4294956208 18446744073709551615 134518228 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 94.95
Current children cumulated vsize (KiB) 28428

[startup+102.306 s]
/proc/loadavg: 2.16 1.41 1.14 3/69 7971
/proc/meminfo: memFree=1777008/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=51596 CPUtime=192.1
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 11608 0 0 0 14743 4467 0 0 18 0 4 0 103015223 52834304 11593 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 12899 11593 70 163 0 12734 0
[pid=7967/tid=7968] ppid=7965 vsize=51596 CPUtime=27.53
/proc/7967/task/7968/stat : 7968 (satake) R 7965 7967 7869 0 -1 4194368 7852 0 0 0 616 2137 0 0 15 0 4 0 103015223 52834304 11593 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7967/tid=7969] ppid=7965 vsize=51596 CPUtime=82.28
/proc/7967/task/7969/stat : 7969 (satake) S 7965 7967 7869 0 -1 4194368 1675 0 0 0 7057 1171 0 0 17 0 4 0 103015223 52834304 11593 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7967/tid=7970] ppid=7965 vsize=51596 CPUtime=82.27
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 7869 0 -1 4194368 1998 0 0 0 7069 1158 0 0 15 0 4 0 103015223 52834304 11593 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 192.1
Current children cumulated vsize (KiB) 51596

[startup+162.302 s]
/proc/loadavg: 2.37 1.60 1.22 3/69 7971
/proc/meminfo: memFree=1756720/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=77036 CPUtime=306.38
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 16734 0 0 0 23750 6888 0 0 18 0 4 0 103015223 78884864 16719 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 19259 16719 70 163 0 19094 0
[pid=7967/tid=7968] ppid=7965 vsize=77036 CPUtime=42.26
/proc/7967/task/7968/stat : 7968 (satake) S 7965 7967 7869 0 -1 4194368 11649 0 0 0 925 3301 0 0 16 0 4 0 103015223 78884864 16719 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7967/tid=7969] ppid=7965 vsize=77036 CPUtime=131.79
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 7869 0 -1 4194368 2348 0 0 0 11379 1800 0 0 16 0 4 0 103015223 78884864 16719 1992294400 134512640 135180984 4294956208 18446744073709551615 134528462 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7967/tid=7970] ppid=7965 vsize=77036 CPUtime=132.31
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 7869 0 -1 4194368 2654 0 0 0 11445 1786 0 0 16 0 4 0 103015223 78884864 16719 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 306.38
Current children cumulated vsize (KiB) 77036

[startup+222.301 s]
/proc/loadavg: 2.38 1.73 1.29 3/69 7971
/proc/meminfo: memFree=1736176/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=98640 CPUtime=420.39
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 21756 0 0 0 32698 9341 0 0 18 0 4 0 103015223 101007360 21741 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 24660 21741 70 163 0 24495 0
[pid=7967/tid=7968] ppid=7965 vsize=98640 CPUtime=57.13
/proc/7967/task/7968/stat : 7968 (satake) R 7965 7967 7869 0 -1 4194368 15347 0 0 0 1247 4466 0 0 16 0 4 0 103015223 101007360 21741 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7967/tid=7969] ppid=7965 vsize=98640 CPUtime=181.25
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 7869 0 -1 4194368 3014 0 0 0 15681 2444 0 0 16 0 4 0 103015223 101007360 21741 1992294400 134512640 135180984 4294956208 18446744073709551615 134528436 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7967/tid=7970] ppid=7965 vsize=98640 CPUtime=181.98
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 7869 0 -1 4194368 3312 0 0 0 15769 2429 0 0 16 0 4 0 103015223 101007360 21741 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 420.39
Current children cumulated vsize (KiB) 98640

[startup+282.302 s]
/proc/loadavg: 2.17 1.79 1.34 2/69 7971
/proc/meminfo: memFree=1716656/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=124544 CPUtime=534.45
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 26718 0 0 0 41616 11829 0 0 18 0 4 0 103015223 127533056 26703 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 31136 26703 70 163 0 30971 0
[pid=7967/tid=7968] ppid=7965 vsize=124544 CPUtime=72.15
/proc/7967/task/7968/stat : 7968 (satake) S 7965 7967 7869 0 -1 4194368 19099 0 0 0 1566 5649 0 0 15 0 4 0 103015223 127533056 26704 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7967/tid=7969] ppid=7965 vsize=124544 CPUtime=230.55
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 7869 0 -1 4194368 3711 0 0 0 19962 3093 0 0 16 0 4 0 103015223 127533056 26704 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7967/tid=7970] ppid=7965 vsize=124544 CPUtime=231.73
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 7869 0 -1 4194368 3826 0 0 0 20087 3086 0 0 16 0 4 0 103015223 127533056 26704 1992294400 134512640 135180984 4294956208 18446744073709551615 134537887 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 534.45
Current children cumulated vsize (KiB) 124544

[startup+342.302 s]
/proc/loadavg: 2.18 1.87 1.39 3/69 7971
/proc/meminfo: memFree=1696240/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=147492 CPUtime=649.12
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 31721 0 0 0 50590 14322 0 0 18 0 4 0 103015223 151031808 31706 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 36873 31706 70 163 0 36708 0
[pid=7967/tid=7968] ppid=7965 vsize=147492 CPUtime=87.22
/proc/7967/task/7968/stat : 7968 (satake) R 7965 7967 7869 0 -1 4194368 22745 0 0 0 1891 6831 0 0 16 0 4 0 103015223 151031808 31706 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7967/tid=7969] ppid=7965 vsize=147492 CPUtime=280.23
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 7869 0 -1 4194368 4563 0 0 0 24286 3737 0 0 16 0 4 0 103015223 151031808 31706 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7967/tid=7970] ppid=7965 vsize=147492 CPUtime=281.64
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 7869 0 -1 4194368 4330 0 0 0 24411 3753 0 0 17 0 4 0 103015223 151031808 31706 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 649.12
Current children cumulated vsize (KiB) 147492

[startup+402.301 s]
/proc/loadavg: 2.32 1.96 1.45 3/69 7971
/proc/meminfo: memFree=1677552/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=168212 CPUtime=763.63
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 36448 0 0 0 59607 16756 0 0 18 0 4 0 103015223 172249088 36433 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 42053 36433 70 163 0 41888 0
[pid=7967/tid=7968] ppid=7965 vsize=168212 CPUtime=101.84
/proc/7967/task/7968/stat : 7968 (satake) S 7965 7967 7869 0 -1 4194368 26050 0 0 0 2199 7985 0 0 15 0 4 0 103015223 172249088 36433 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7967/tid=7969] ppid=7965 vsize=168212 CPUtime=330.31
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 7869 0 -1 4194368 5240 0 0 0 28664 4367 0 0 16 0 4 0 103015223 172249088 36433 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7967/tid=7970] ppid=7965 vsize=168212 CPUtime=331.47
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 7869 0 -1 4194368 5075 0 0 0 28744 4403 0 0 17 0 4 0 103015223 172249088 36433 1992294400 134512640 135180984 4294956208 18446744073709551615 134526200 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 763.63
Current children cumulated vsize (KiB) 168212

[startup+462.302 s]
/proc/loadavg: 2.33 2.02 1.50 4/69 7971
/proc/meminfo: memFree=1659952/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=189012 CPUtime=878.37
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 40787 0 0 0 68728 19109 0 0 18 0 4 0 103015223 193548288 40772 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 47253 40772 70 163 0 47088 0
[pid=7967/tid=7968] ppid=7965 vsize=189012 CPUtime=115.91
/proc/7967/task/7968/stat : 7968 (satake) R 7965 7967 7869 0 -1 4194368 29114 0 0 0 2494 9097 0 0 16 0 4 0 103015223 193548288 40772 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7967/tid=7969] ppid=7965 vsize=189012 CPUtime=380.76
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 7869 0 -1 4194368 5858 0 0 0 33101 4975 0 0 16 0 4 0 103015223 193548288 40772 1992294400 134512640 135180984 4294956208 18446744073709551615 134519925 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7967/tid=7970] ppid=7965 vsize=189012 CPUtime=381.69
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 7869 0 -1 4194368 5732 0 0 0 33133 5036 0 0 16 0 4 0 103015223 193548288 40772 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 878.37
Current children cumulated vsize (KiB) 189012

[startup+522.303 s]
/proc/loadavg: 2.21 2.04 1.54 3/69 7971
/proc/meminfo: memFree=1641840/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=211972 CPUtime=993.31
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 45300 0 0 0 77906 21425 0 0 18 0 4 0 103015223 217059328 45285 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 52993 45285 70 163 0 52828 0
[pid=7967/tid=7968] ppid=7965 vsize=211972 CPUtime=129.8
/proc/7967/task/7968/stat : 7968 (satake) S 7965 7967 7869 0 -1 4194368 32404 0 0 0 2793 10187 0 0 15 0 4 0 103015223 217059328 45285 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7967/tid=7969] ppid=7965 vsize=211972 CPUtime=431.23
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 7869 0 -1 4194368 6565 0 0 0 37538 5585 0 0 16 0 4 0 103015223 217059328 45285 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7967/tid=7970] ppid=7965 vsize=211972 CPUtime=432.26
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 7869 0 -1 4194368 6248 0 0 0 37574 5652 0 0 17 0 4 0 103015223 217059328 45285 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 993.31
Current children cumulated vsize (KiB) 211972

[startup+582.301 s]
/proc/loadavg: 2.40 2.12 1.60 3/69 7971
/proc/meminfo: memFree=1623216/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=237612 CPUtime=1108.27
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 49941 0 0 0 87043 23784 0 0 18 0 4 0 103015223 243314688 49926 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 59403 49926 70 163 0 59238 0
[pid=7967/tid=7968] ppid=7965 vsize=237612 CPUtime=143.99
/proc/7967/task/7968/stat : 7968 (satake) S 7965 7967 7869 0 -1 4194368 35753 0 0 0 3091 11308 0 0 15 0 4 0 103015223 243314688 49926 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=7967/tid=7969] ppid=7965 vsize=237612 CPUtime=481.38
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 7869 0 -1 4194368 7318 0 0 0 41941 6197 0 0 16 0 4 0 103015223 243314688 49926 1992294400 134512640 135180984 4294956208 18446744073709551615 134527111 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7967/tid=7970] ppid=7965 vsize=237612 CPUtime=482.87
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 7869 0 -1 4194368 6787 0 0 0 42009 6278 0 0 17 0 4 0 103015223 243314688 49926 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1108.27
Current children cumulated vsize (KiB) 237612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+630.201 s]
/proc/loadavg: 2.31 2.14 1.62 3/69 7971
/proc/meminfo: memFree=1608880/2055920 swapFree=4191900/4192956
[pid=7967] ppid=7965 vsize=254228 CPUtime=1200.19
/proc/7967/stat : 7967 (satake) S 7965 7967 7869 0 -1 4194304 53445 0 0 0 94425 25594 0 0 18 0 4 0 103015223 260329472 53430 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7967/statm: 63557 53430 70 163 0 63392 0
[pid=7967/tid=7968] ppid=7965 vsize=254228 CPUtime=154.84
/proc/7967/task/7968/stat : 7968 (satake) S 7965 7967 7869 0 -1 4194368 38253 0 0 0 3319 12165 0 0 16 0 4 0 103015223 260329472 53430 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=7967/tid=7969] ppid=7965 vsize=254228 CPUtime=521.77
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 7869 0 -1 4194368 7743 0 0 0 45513 6664 0 0 16 0 4 0 103015223 260329472 53430 1992294400 134512640 135180984 4294956208 18446744073709551615 134528536 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7967/tid=7970] ppid=7965 vsize=254228 CPUtime=523.56
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 7869 0 -1 4194368 7366 0 0 0 45592 6764 0 0 16 0 4 0 103015223 260329472 53430 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.19
Current children cumulated vsize (KiB) 254228

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): 630.251
CPU time (s): 1200.24
CPU user time (s): 944.263
CPU system time (s): 255.975
CPU usage (%): 190.438
Max. virtual memory (cumulated for all children) (KiB): 254228

deleting IPC queue 2654208
deleting IPC queue 2686977
deleting IPC queue 2719746
deleting IPC queue 2752515
deleting IPC queue 2785284
deleting IPC queue 2818053
deleting IPC queue 2850822
deleting IPC queue 2883591
deleting IPC queue 2916360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 944.263
system time used= 255.975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53447
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= 10867642
involuntary context switches= 9919103

runsolver used 0.71789 second user time and 1.74773 second system time

The end

Launcher Data 

Begin job on node91 at 2009-04-26 14:44:22
IDJOB=1729471
IDBENCH=24703
IDSOLVER=553
FILE ID=node91/1729471-1240749862
PBS_JOBID= 9187071
Free space on /tmp= 66556 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/crafted/Hard/contest03/looksrandom/hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1729471-1240749862/watcher-1729471-1240749862 -o /tmp/evaluation-result-1729471-1240749862/solver-1729471-1240749862 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1729471-1240749862.cnf 3 1200

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

MD5SUM BENCH= d27bb4ae488674c0e5d303cf0ee23c59
RANDOM SEED=9565711

node91.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.241
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.241
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:       1824040 kB
Buffers:         17880 kB
Cached:         133852 kB
SwapCached:        384 kB
Active:          29008 kB
Inactive:       136708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1824040 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:             808 kB
Writeback:           0 kB
Mapped:          22396 kB
Slab:            52028 kB
Committed_AS:   293576 kB
PageTables:       1356 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66556 MiB
End job on node91 at 2009-04-26 14:54:54