Trace number 1735440

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.17 601.431

General information on the benchmark

NameCRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes9.cnf
MD5SUM5b3cb365e0da247dad8c75295d40c6a5
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark23.4134
Satisfiable
(Un)Satisfiability was proved
Number of variables945
Number of clauses61409
Sum of the clauses size123673
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 261364
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

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-1735440-1240802399/watcher-1735440-1240802399 -o /tmp/evaluation-result-1735440-1240802399/solver-1735440-1240802399 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1735440-1240802399.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.61 1.18 1.06 3/64 28392
/proc/meminfo: memFree=1625944/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=2756 CPUtime=0
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 320 0 0 0 0 0 0 0 18 0 4 0 108273099 2822144 305 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 689 305 65 163 0 524 0
[pid=28392/tid=28393] ppid=28390 vsize=2756 CPUtime=0
/proc/28392/task/28393/stat : 28393 (satake) S 28390 28392 27476 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 108273099 2822144 306 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=28392/tid=28394] ppid=28390 vsize=2756 CPUtime=0
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 4 0 0 0 0 0 0 0 19 0 4 0 108273099 2822144 307 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28392/tid=28395] ppid=28390 vsize=2756 CPUtime=0
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 228 0 0 0 0 0 0 0 20 0 4 0 108273099 2822144 307 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.071673 s]
/proc/loadavg: 1.61 1.18 1.06 3/64 28392
/proc/meminfo: memFree=1625944/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=5600 CPUtime=0.13
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 1511 0 0 0 11 2 0 0 18 0 4 0 108273099 5734400 1140 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 1400 1140 70 163 0 1235 0
[pid=28392/tid=28393] ppid=28390 vsize=5600 CPUtime=0
/proc/28392/task/28393/stat : 28393 (satake) S 28390 28392 27476 0 -1 4194368 27 0 0 0 0 0 0 0 16 0 4 0 108273099 5734400 1140 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=28392/tid=28394] ppid=28390 vsize=5600 CPUtime=0.05
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 695 0 0 0 5 0 0 0 18 0 4 0 108273099 5734400 1140 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28392/tid=28395] ppid=28390 vsize=5600 CPUtime=0.05
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 706 0 0 0 5 0 0 0 17 0 4 0 108273099 5734400 1140 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5600

[startup+0.101775 s]
/proc/loadavg: 1.61 1.18 1.06 3/64 28392
/proc/meminfo: memFree=1625944/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=5600 CPUtime=0.18
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 1552 0 0 0 15 3 0 0 18 0 4 0 108273099 5734400 1181 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 1400 1181 70 163 0 1235 0
[pid=28392/tid=28393] ppid=28390 vsize=5600 CPUtime=0.01
/proc/28392/task/28393/stat : 28393 (satake) S 28390 28392 27476 0 -1 4194368 30 0 0 0 0 1 0 0 16 0 4 0 108273099 5734400 1181 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=28392/tid=28394] ppid=28390 vsize=5600 CPUtime=0.07
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 715 0 0 0 7 0 0 0 17 0 4 0 108273099 5734400 1181 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28392/tid=28395] ppid=28390 vsize=5600 CPUtime=0.08
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 724 0 0 0 7 1 0 0 17 0 4 0 108273099 5734400 1181 1992294400 134512640 135180984 4294956208 18446744073709551615 134522986 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5600

[startup+0.301795 s]
/proc/loadavg: 1.61 1.18 1.06 3/64 28392
/proc/meminfo: memFree=1625944/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=7156 CPUtime=0.56
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 1797 0 0 0 43 13 0 0 18 0 4 0 108273099 7327744 1426 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 1789 1426 70 163 0 1624 0
[pid=28392/tid=28393] ppid=28390 vsize=7156 CPUtime=0.07
/proc/28392/task/28393/stat : 28393 (satake) R 28390 28392 27476 0 -1 4194368 56 0 0 0 1 6 0 0 17 0 4 0 108273099 7327744 1426 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28392/tid=28394] ppid=28390 vsize=7156 CPUtime=0.24
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 824 0 0 0 20 4 0 0 16 0 4 0 108273099 7327744 1426 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28392/tid=28395] ppid=28390 vsize=7156 CPUtime=0.24
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 834 0 0 0 21 3 0 0 17 0 4 0 108273099 7327744 1426 1992294400 134512640 135180984 4294956208 18446744073709551615 134519104 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 7156

[startup+0.701831 s]
/proc/loadavg: 1.61 1.18 1.06 3/64 28392
/proc/meminfo: memFree=1625944/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=8088 CPUtime=1.34
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 2184 0 0 0 109 25 0 0 18 0 4 0 108273099 8282112 1813 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 2022 1813 70 163 0 1857 0
[pid=28392/tid=28393] ppid=28390 vsize=8088 CPUtime=0.13
/proc/28392/task/28393/stat : 28393 (satake) S 28390 28392 27476 0 -1 4194368 84 0 0 0 2 11 0 0 16 0 4 0 108273099 8282112 1813 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=28392/tid=28394] ppid=28390 vsize=8088 CPUtime=0.6
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 1022 0 0 0 53 7 0 0 17 0 4 0 108273099 8282112 1813 1992294400 134512640 135180984 4294956208 18446744073709551615 134523660 0 0 4096 0 0 0 0 -1 0 0 0
[pid=28392/tid=28395] ppid=28390 vsize=8088 CPUtime=0.6
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 995 0 0 0 54 6 0 0 17 0 4 0 108273099 8282112 1813 1992294400 134512640 135180984 4294956208 18446744073709551615 134528436 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 8088

[startup+1.5019 s]
/proc/loadavg: 1.65 1.19 1.06 4/68 28396
/proc/meminfo: memFree=1617784/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=11608 CPUtime=2.91
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 2817 0 0 0 253 38 0 0 18 0 4 0 108273099 11886592 2446 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 2902 2446 70 163 0 2737 0
[pid=28392/tid=28393] ppid=28390 vsize=11608 CPUtime=0.22
/proc/28392/task/28393/stat : 28393 (satake) R 28390 28392 27476 0 -1 4194368 112 0 0 0 4 18 0 0 16 0 4 0 108273099 11886592 2446 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28392/tid=28394] ppid=28390 vsize=11608 CPUtime=1.33
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 1348 0 0 0 123 10 0 0 16 0 4 0 108273099 11886592 2446 1992294400 134512640 135180984 4294956208 18446744073709551615 134519890 0 0 4096 0 0 0 0 -1 0 0 0
[pid=28392/tid=28395] ppid=28390 vsize=11608 CPUtime=1.34
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 1274 0 0 0 125 9 0 0 17 0 4 0 108273099 11886592 2446 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 11608

[startup+3.10104 s]
/proc/loadavg: 1.65 1.19 1.06 3/68 28396
/proc/meminfo: memFree=1614584/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=14612 CPUtime=6.1
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 3740 0 0 0 556 54 0 0 18 0 4 0 108273099 14962688 3369 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 3653 3369 70 163 0 3488 0
[pid=28392/tid=28393] ppid=28390 vsize=14612 CPUtime=0.31
/proc/28392/task/28393/stat : 28393 (satake) S 28390 28392 27476 0 -1 4194368 147 0 0 0 6 25 0 0 16 0 4 0 108273099 14962688 3369 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=28392/tid=28394] ppid=28390 vsize=14612 CPUtime=2.89
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 1815 0 0 0 274 15 0 0 17 0 4 0 108273099 14962688 3369 1992294400 134512640 135180984 4294956208 18446744073709551615 134518218 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28392/tid=28395] ppid=28390 vsize=14612 CPUtime=2.88
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 1695 0 0 0 275 13 0 0 17 0 4 0 108273099 14962688 3369 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 14612

[startup+6.30232 s]
/proc/loadavg: 1.65 1.19 1.06 3/68 28396
/proc/meminfo: memFree=1608248/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=20720 CPUtime=12.48
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 5163 0 0 0 1172 76 0 0 18 0 4 0 108273099 21217280 4792 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 5180 4792 70 163 0 5015 0
[pid=28392/tid=28393] ppid=28390 vsize=20720 CPUtime=0.44
/proc/28392/task/28393/stat : 28393 (satake) S 28390 28392 27476 0 -1 4194368 199 0 0 0 8 36 0 0 16 0 4 0 108273099 21217280 4792 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=28392/tid=28394] ppid=28390 vsize=20720 CPUtime=6.03
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 2512 0 0 0 583 20 0 0 17 0 4 0 108273099 21217280 4792 1992294400 134512640 135180984 4294956208 18446744073709551615 134526427 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28392/tid=28395] ppid=28390 vsize=20720 CPUtime=5.99
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 2369 0 0 0 579 20 0 0 19 0 4 0 108273099 21217280 4792 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 20720

[startup+12.7019 s]
/proc/loadavg: 1.70 1.22 1.07 3/68 28396
/proc/meminfo: memFree=1601024/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=26544 CPUtime=25.25
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 6682 0 0 0 2428 97 0 0 18 0 4 0 108273099 27181056 6311 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 6636 6311 70 163 0 6471 0
[pid=28392/tid=28393] ppid=28390 vsize=26544 CPUtime=0.54
/proc/28392/task/28393/stat : 28393 (satake) S 28390 28392 27476 0 -1 4194368 231 0 0 0 10 44 0 0 16 0 4 0 108273099 27181056 6311 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=28392/tid=28394] ppid=28390 vsize=26544 CPUtime=12.37
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 3360 0 0 0 1211 26 0 0 25 0 4 0 108273099 27181056 6311 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28392/tid=28395] ppid=28390 vsize=26544 CPUtime=12.31
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 3008 0 0 0 1205 26 0 0 25 0 4 0 108273099 27181056 6311 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 26544

[startup+25.502 s]
/proc/loadavg: 1.75 1.24 1.08 3/68 28396
/proc/meminfo: memFree=1591296/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=35808 CPUtime=50.79
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 9058 0 0 0 4944 135 0 0 18 0 4 0 108273099 36667392 8687 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 8952 8687 70 163 0 8787 0
[pid=28392/tid=28393] ppid=28390 vsize=35808 CPUtime=0.75
/proc/28392/task/28393/stat : 28393 (satake) S 28390 28392 27476 0 -1 4194368 322 0 0 0 14 61 0 0 16 0 4 0 108273099 36667392 8687 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=28392/tid=28394] ppid=28390 vsize=35808 CPUtime=25.07
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 4581 0 0 0 2469 38 0 0 20 0 4 0 108273099 36667392 8687 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28392/tid=28395] ppid=28390 vsize=35808 CPUtime=24.95
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 4072 0 0 0 2460 35 0 0 19 0 4 0 108273099 36667392 8687 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 35808

[startup+51.1012 s]
/proc/loadavg: 1.83 1.30 1.10 3/68 28396
/proc/meminfo: memFree=1579840/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=48372 CPUtime=101.87
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 11897 0 0 0 10010 177 0 0 18 0 4 0 108273099 49532928 11526 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 12093 11526 70 163 0 11928 0
[pid=28392/tid=28393] ppid=28390 vsize=48372 CPUtime=0.97
/proc/28392/task/28393/stat : 28393 (satake) S 28390 28392 27476 0 -1 4194368 385 0 0 0 18 79 0 0 16 0 4 0 108273099 49532928 11526 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=28392/tid=28394] ppid=28390 vsize=48372 CPUtime=50.56
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 5761 0 0 0 5007 49 0 0 17 0 4 0 108273099 49532928 11526 1992294400 134512640 135180984 4294956208 18446744073709551615 134528674 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28392/tid=28395] ppid=28390 vsize=48372 CPUtime=50.33
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 5668 0 0 0 4985 48 0 0 18 0 4 0 108273099 49532928 11526 1992294400 134512640 135180984 4294956208 18446744073709551615 134518227 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 48372

[startup+102.306 s]
/proc/loadavg: 1.93 1.42 1.15 3/68 28396
/proc/meminfo: memFree=1561472/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=66488 CPUtime=204.07
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 16433 0 0 0 20180 227 0 0 18 0 4 0 108273099 68083712 16062 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 16622 16062 70 163 0 16457 0
[pid=28392/tid=28393] ppid=28390 vsize=66488 CPUtime=1.23
/proc/28392/task/28393/stat : 28393 (satake) S 28390 28392 27476 0 -1 4194368 495 0 0 0 24 99 0 0 16 0 4 0 108273099 68083712 16062 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=28392/tid=28394] ppid=28390 vsize=66488 CPUtime=101.62
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 7808 0 0 0 10099 63 0 0 17 0 4 0 108273099 68083712 16062 1992294400 134512640 135180984 4294956208 18446744073709551615 134520033 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28392/tid=28395] ppid=28390 vsize=66488 CPUtime=101.18
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 8047 0 0 0 10055 63 0 0 25 0 4 0 108273099 68083712 16062 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 66488

[startup+162.302 s]
/proc/loadavg: 2.03 1.54 1.21 3/68 28396
/proc/meminfo: memFree=1552128/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=76360 CPUtime=323.81
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 18736 0 0 0 32097 284 0 0 18 0 4 0 108273099 78192640 18365 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 19090 18365 70 163 0 18925 0
[pid=28392/tid=28393] ppid=28390 vsize=76360 CPUtime=1.55
/proc/28392/task/28393/stat : 28393 (satake) S 28390 28392 27476 0 -1 4194368 550 0 0 0 32 123 0 0 16 0 4 0 108273099 78192640 18365 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=28392/tid=28394] ppid=28390 vsize=76360 CPUtime=161.44
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 9162 0 0 0 16064 80 0 0 25 0 4 0 108273099 78192640 18365 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28392/tid=28395] ppid=28390 vsize=76360 CPUtime=160.79
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 8941 0 0 0 16000 79 0 0 25 0 4 0 108273099 78192640 18365 1992294400 134512640 135180984 4294956208 18446744073709551615 134520912 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.81
Current children cumulated vsize (KiB) 76360

[startup+222.302 s]
/proc/loadavg: 2.14 1.66 1.27 3/68 28396
/proc/meminfo: memFree=1550144/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=78124 CPUtime=443.55
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 19225 0 0 0 44027 328 0 0 18 0 4 0 108273099 79998976 18854 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 19531 18854 70 163 0 19366 0
[pid=28392/tid=28393] ppid=28390 vsize=78124 CPUtime=1.82
/proc/28392/task/28393/stat : 28393 (satake) S 28390 28392 27476 0 -1 4194368 552 0 0 0 38 144 0 0 15 0 4 0 108273099 79998976 18854 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=28392/tid=28394] ppid=28390 vsize=78124 CPUtime=221.28
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 9524 0 0 0 22036 92 0 0 25 0 4 0 108273099 79998976 18854 1992294400 134512640 135180984 4294956208 18446744073709551615 134528677 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28392/tid=28395] ppid=28390 vsize=78124 CPUtime=220.42
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 9066 0 0 0 21951 91 0 0 25 0 4 0 108273099 79998976 18854 1992294400 134512640 135180984 4294956208 18446744073709551615 134528648 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.55
Current children cumulated vsize (KiB) 78124

[startup+282.301 s]
/proc/loadavg: 2.05 1.72 1.31 3/68 28396
/proc/meminfo: memFree=1542848/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=85936 CPUtime=563.29
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 21111 0 0 0 55971 358 0 0 18 0 4 0 108273099 87998464 20740 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 21484 20740 70 163 0 21319 0
[pid=28392/tid=28393] ppid=28390 vsize=85936 CPUtime=1.97
/proc/28392/task/28393/stat : 28393 (satake) S 28390 28392 27476 0 -1 4194368 560 0 0 0 42 155 0 0 16 0 4 0 108273099 87998464 20740 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=28392/tid=28394] ppid=28390 vsize=85936 CPUtime=281.2
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 9901 0 0 0 28020 100 0 0 25 0 4 0 108273099 87998464 20740 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28392/tid=28395] ppid=28390 vsize=85936 CPUtime=280.1
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 10567 0 0 0 27908 102 0 0 25 0 4 0 108273099 87998464 20740 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.29
Current children cumulated vsize (KiB) 85936

[startup+342.301 s]
/proc/loadavg: 2.02 1.77 1.35 3/68 28396
/proc/meminfo: memFree=1530432/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=100160 CPUtime=683.04
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 24169 0 0 0 67918 386 0 0 18 0 4 0 108273099 102563840 23798 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 25040 23798 70 163 0 24875 0
[pid=28392/tid=28393] ppid=28390 vsize=100160 CPUtime=2.1
/proc/28392/task/28393/stat : 28393 (satake) S 28390 28392 27476 0 -1 4194368 605 0 0 0 44 166 0 0 16 0 4 0 108273099 102563840 23798 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=28392/tid=28394] ppid=28390 vsize=100160 CPUtime=341.12
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 11434 0 0 0 34003 109 0 0 25 0 4 0 108273099 102563840 23798 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28392/tid=28395] ppid=28390 vsize=100160 CPUtime=339.8
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 12047 0 0 0 33870 110 0 0 25 0 4 0 108273099 102563840 23798 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 683.04
Current children cumulated vsize (KiB) 100160

[startup+402.301 s]
/proc/loadavg: 2.00 1.81 1.39 3/68 28396
/proc/meminfo: memFree=1524416/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=106804 CPUtime=802.77
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 25647 0 0 0 79858 419 0 0 18 0 4 0 108273099 109367296 25276 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 26701 25276 70 163 0 26536 0
[pid=28392/tid=28393] ppid=28390 vsize=106804 CPUtime=2.27
/proc/28392/task/28393/stat : 28393 (satake) S 28390 28392 27476 0 -1 4194368 646 0 0 0 48 179 0 0 16 0 4 0 108273099 109367296 25276 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=28392/tid=28394] ppid=28390 vsize=106804 CPUtime=401.02
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 12409 0 0 0 39985 117 0 0 25 0 4 0 108273099 109367296 25276 1992294400 134512640 135180984 4294956208 18446744073709551615 134528636 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28392/tid=28395] ppid=28390 vsize=106804 CPUtime=399.46
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 12509 0 0 0 39824 122 0 0 25 0 4 0 108273099 109367296 25276 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.77
Current children cumulated vsize (KiB) 106804

[startup+462.302 s]
/proc/loadavg: 2.00 1.84 1.42 3/68 28396
/proc/meminfo: memFree=1523136/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=108336 CPUtime=922.52
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 25952 0 0 0 91794 458 0 0 18 0 4 0 108273099 110936064 25581 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 27084 25581 70 163 0 26919 0
[pid=28392/tid=28393] ppid=28390 vsize=108336 CPUtime=2.5
/proc/28392/task/28393/stat : 28393 (satake) S 28390 28392 27476 0 -1 4194368 647 0 0 0 53 197 0 0 16 0 4 0 108273099 110936064 25581 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=28392/tid=28394] ppid=28390 vsize=108336 CPUtime=460.88
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 12505 0 0 0 45960 128 0 0 25 0 4 0 108273099 110936064 25581 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28392/tid=28395] ppid=28390 vsize=108336 CPUtime=459.11
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 12717 0 0 0 45779 132 0 0 25 0 4 0 108273099 110936064 25581 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.52
Current children cumulated vsize (KiB) 108336

[startup+522.302 s]
/proc/loadavg: 2.00 1.87 1.46 3/68 28396
/proc/meminfo: memFree=1522240/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=109152 CPUtime=1042.26
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 26180 0 0 0 103747 479 0 0 18 0 4 0 108273099 111771648 25809 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 27288 25809 70 163 0 27123 0
[pid=28392/tid=28393] ppid=28390 vsize=109152 CPUtime=2.63
/proc/28392/task/28393/stat : 28393 (satake) S 28390 28392 27476 0 -1 4194368 668 0 0 0 57 206 0 0 16 0 4 0 108273099 111771648 25809 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=28392/tid=28394] ppid=28390 vsize=109152 CPUtime=520.59
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 12614 0 0 0 51924 135 0 0 25 0 4 0 108273099 111771648 25809 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=28392/tid=28395] ppid=28390 vsize=109152 CPUtime=519.02
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 12815 0 0 0 51765 137 0 0 25 0 4 0 108273099 111771648 25809 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1042.26
Current children cumulated vsize (KiB) 109152

[startup+582.301 s]
/proc/loadavg: 2.00 1.89 1.49 3/68 28396
/proc/meminfo: memFree=1517248/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=115160 CPUtime=1162.01
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 27439 0 0 0 115705 496 0 0 18 0 4 0 108273099 117923840 27068 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 28790 27068 70 163 0 28625 0
[pid=28392/tid=28393] ppid=28390 vsize=115160 CPUtime=2.71
/proc/28392/task/28393/stat : 28393 (satake) S 28390 28392 27476 0 -1 4194368 672 0 0 0 58 213 0 0 15 0 4 0 108273099 117923840 27068 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=28392/tid=28394] ppid=28390 vsize=115160 CPUtime=580.31
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 12930 0 0 0 57892 139 0 0 25 0 4 0 108273099 117923840 27068 1992294400 134512640 135180984 4294956208 18446744073709551615 134528587 0 0 4096 0 0 0 0 -1 0 0 0
[pid=28392/tid=28395] ppid=28390 vsize=115160 CPUtime=578.96
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 13754 0 0 0 57753 143 0 0 25 0 4 0 108273099 117923840 27068 1992294400 134512640 135180984 4294956208 18446744073709551615 134528446 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1162.01
Current children cumulated vsize (KiB) 115160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.402 s]
/proc/loadavg: 2.00 1.89 1.50 3/68 28396
/proc/meminfo: memFree=1513152/2055920 swapFree=4191900/4192956
[pid=28392] ppid=28390 vsize=119056 CPUtime=1200.14
/proc/28392/stat : 28392 (satake) S 28390 28392 27476 0 -1 4194304 28436 0 0 0 119513 501 0 0 18 0 4 0 108273099 121913344 28065 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28392/statm: 29764 28065 70 163 0 29599 0
[pid=28392/tid=28393] ppid=28390 vsize=119056 CPUtime=2.73
/proc/28392/task/28393/stat : 28393 (satake) S 28390 28392 27476 0 -1 4194368 684 0 0 0 59 214 0 0 16 0 4 0 108273099 121913344 28065 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=28392/tid=28394] ppid=28390 vsize=119056 CPUtime=599.32
/proc/28392/task/28394/stat : 28394 (satake) R 28390 28392 27476 0 -1 4194368 13602 0 0 0 59791 141 0 0 25 0 4 0 108273099 121913344 28065 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
[pid=28392/tid=28395] ppid=28390 vsize=119056 CPUtime=598.06
/proc/28392/task/28395/stat : 28395 (satake) R 28390 28392 27476 0 -1 4194368 14067 0 0 0 59661 145 0 0 25 0 4 0 108273099 121913344 28065 1992294400 134512640 135180984 4294956208 18446744073709551615 134528636 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.14
Current children cumulated vsize (KiB) 119056

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.431
CPU time (s): 1200.17
CPU user time (s): 1195.14
CPU system time (s): 5.02923
CPU usage (%): 199.553
Max. virtual memory (cumulated for all children) (KiB): 119056

deleting IPC queue 884736
deleting IPC queue 917505
deleting IPC queue 950274
deleting IPC queue 983043
deleting IPC queue 1015812
deleting IPC queue 1048581
deleting IPC queue 1081350
deleting IPC queue 1114119
deleting IPC queue 1146888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1195.14
system time used= 5.02923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28436
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= 383514
involuntary context switches= 389926

runsolver used 0.546916 second user time and 1.65075 second system time

The end

Launcher Data 

Begin job on node31 at 2009-04-27 05:19:59
IDJOB=1735440
IDBENCH=71418
IDSOLVER=553
FILE ID=node31/1735440-1240802399
PBS_JOBID= 9187355
Free space on /tmp= 66416 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v945c61409gyes9.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1735440-1240802399/watcher-1735440-1240802399 -o /tmp/evaluation-result-1735440-1240802399/solver-1735440-1240802399 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1735440-1240802399.cnf 3 1200

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

MD5SUM BENCH= 5b3cb365e0da247dad8c75295d40c6a5
RANDOM SEED=698615149

node31.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.213
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.213
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:       1626360 kB
Buffers:         57668 kB
Cached:         284668 kB
SwapCached:        384 kB
Active:         157544 kB
Inactive:       199204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1626360 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            1460 kB
Writeback:           0 kB
Mapped:          22836 kB
Slab:            58532 kB
Committed_AS:   414180 kB
PageTables:       1464 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= 66416 MiB
End job on node31 at 2009-04-27 05:30:03