Trace number 1722490

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.18 601.472

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_20_SAT.cnf
MD5SUM8aa38136187abb1238dedfc85e88a72c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.64075
Satisfiable
(Un)Satisfiability was proved
Number of variables4242
Number of clauses503783
Sum of the clauses size1505427
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 26480
Number of clauses of size 3497272
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

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-1722490-1240676041/watcher-1722490-1240676041 -o /tmp/evaluation-result-1722490-1240676041/solver-1722490-1240676041 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1722490-1240676041.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 3/65 17790
/proc/meminfo: memFree=1721648/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=5120 CPUtime=0
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 698 0 0 0 0 0 0 0 20 0 4 0 95633138 5242880 683 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 1280 690 65 163 0 1115 0
[pid=17790/tid=17791] ppid=17788 vsize=5120 CPUtime=0
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 95633138 5242880 707 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17790/tid=17792] ppid=17788 vsize=5120 CPUtime=0
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 640 0 0 0 0 0 0 0 21 0 4 0 95633138 5242880 715 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=5120 CPUtime=0
/proc/17790/task/17793/stat : 17793 (satake) R 17788 17790 17060 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 4 0 95633139 5242880 724 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0738351 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 17790
/proc/meminfo: memFree=1721648/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=23688 CPUtime=0.13
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 5667 0 0 0 8 5 0 0 20 0 4 0 95633138 24256512 5642 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 5922 5642 65 163 0 5757 0
[pid=17790/tid=17791] ppid=17788 vsize=23688 CPUtime=0
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 95633138 24256512 5642 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17790/tid=17792] ppid=17788 vsize=23688 CPUtime=0.06
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 2798 0 0 0 4 2 0 0 17 0 4 0 95633138 24256512 5642 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=23688 CPUtime=0.05
/proc/17790/task/17793/stat : 17793 (satake) D 17788 17790 17060 0 -1 4194368 2779 0 0 0 3 2 0 0 17 0 4 0 95633139 24256512 5642 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 23688

[startup+0.102874 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 17790
/proc/meminfo: memFree=1721648/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=26936 CPUtime=0.19
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 6370 0 0 0 14 5 0 0 20 0 4 0 95633138 27582464 6345 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 6734 6346 65 163 0 6569 0
[pid=17790/tid=17791] ppid=17788 vsize=26936 CPUtime=0
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 95633138 27582464 6346 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17790/tid=17792] ppid=17788 vsize=26936 CPUtime=0.09
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 3144 0 0 0 7 2 0 0 17 0 4 0 95633138 27582464 6347 1992294400 134512640 135180984 4294956208 18446744073709551615 134519595 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=26936 CPUtime=0.09
/proc/17790/task/17793/stat : 17793 (satake) R 17788 17790 17060 0 -1 4194368 3138 0 0 0 6 3 0 0 17 0 4 0 95633139 27582464 6347 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26936

[startup+0.302915 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 17790
/proc/meminfo: memFree=1721648/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=49600 CPUtime=0.59
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 11513 0 0 0 51 8 0 0 20 0 4 0 95633138 50790400 11487 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 12400 11488 65 163 0 12235 0
[pid=17790/tid=17791] ppid=17788 vsize=49600 CPUtime=0
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 95633138 50790400 11488 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17790/tid=17792] ppid=17788 vsize=49600 CPUtime=0.29
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 5696 0 0 0 25 4 0 0 17 0 4 0 95633138 50790400 11489 1992294400 134512640 135180984 4294956208 18446744073709551615 134534765 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=49600 CPUtime=0.29
/proc/17790/task/17793/stat : 17793 (satake) R 17788 17790 17060 0 -1 4194368 5729 0 0 0 25 4 0 0 17 0 4 0 95633139 50790400 11489 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 49600

[startup+0.702999 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 17790
/proc/meminfo: memFree=1721648/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=44284 CPUtime=1.39
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 14508 0 0 0 129 10 0 0 20 0 4 0 95633138 45346816 10236 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 11071 10236 70 163 0 10906 0
[pid=17790/tid=17791] ppid=17788 vsize=44284 CPUtime=0
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 82 0 0 0 0 0 0 0 15 0 4 0 95633138 45346816 10236 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17790/tid=17792] ppid=17788 vsize=44284 CPUtime=0.68
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 7135 0 0 0 64 4 0 0 17 0 4 0 95633138 45346816 10236 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=44284 CPUtime=0.69
/proc/17790/task/17793/stat : 17793 (satake) R 17788 17790 17060 0 -1 4194368 7208 0 0 0 64 5 0 0 17 0 4 0 95633139 45346816 10236 1992294400 134512640 135180984 4294956208 18446744073709551615 134520662 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 44284

[startup+1.50116 s]
/proc/loadavg: 0.99 0.98 0.99 3/69 17794
/proc/meminfo: memFree=1679632/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=46136 CPUtime=2.97
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 15107 0 0 0 286 11 0 0 20 0 4 0 95633138 47243264 10835 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 11534 10835 70 163 0 11369 0
[pid=17790/tid=17791] ppid=17788 vsize=46136 CPUtime=0
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 82 0 0 0 0 0 0 0 15 0 4 0 95633138 47243264 10835 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17790/tid=17792] ppid=17788 vsize=46136 CPUtime=1.48
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 7467 0 0 0 143 5 0 0 17 0 4 0 95633138 47243264 10835 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=46136 CPUtime=1.48
/proc/17790/task/17793/stat : 17793 (satake) R 17788 17790 17060 0 -1 4194368 7475 0 0 0 142 6 0 0 17 0 4 0 95633139 47243264 10835 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 46136

[startup+3.10148 s]
/proc/loadavg: 0.99 0.98 0.99 3/69 17794
/proc/meminfo: memFree=1676880/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=50064 CPUtime=6.17
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 15998 0 0 0 604 13 0 0 20 0 4 0 95633138 51265536 11726 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 12516 11726 70 163 0 12351 0
[pid=17790/tid=17791] ppid=17788 vsize=50064 CPUtime=0
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 82 0 0 0 0 0 0 0 15 0 4 0 95633138 51265536 11726 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17790/tid=17792] ppid=17788 vsize=50064 CPUtime=3.08
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 7914 0 0 0 303 5 0 0 17 0 4 0 95633138 51265536 11726 1992294400 134512640 135180984 4294956208 18446744073709551615 134528540 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=50064 CPUtime=3.08
/proc/17790/task/17793/stat : 17793 (satake) R 17788 17790 17060 0 -1 4194368 7919 0 0 0 301 7 0 0 17 0 4 0 95633139 51265536 11726 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 50064

[startup+6.30213 s]
/proc/loadavg: 1.07 1.00 1.00 3/69 17794
/proc/meminfo: memFree=1669264/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=57424 CPUtime=12.56
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 17782 0 0 0 1241 15 0 0 20 0 4 0 95633138 58802176 13510 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 14356 13510 70 163 0 14191 0
[pid=17790/tid=17791] ppid=17788 vsize=57424 CPUtime=0
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 82 0 0 0 0 0 0 0 15 0 4 0 95633138 58802176 13510 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17790/tid=17792] ppid=17788 vsize=57424 CPUtime=6.25
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 8729 0 0 0 620 5 0 0 18 0 4 0 95633138 58802176 13510 1992294400 134512640 135180984 4294956208 18446744073709551615 134524991 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=57424 CPUtime=6.28
/proc/17790/task/17793/stat : 17793 (satake) R 17788 17790 17060 0 -1 4194368 8888 0 0 0 620 8 0 0 20 0 4 0 95633139 58802176 13510 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 57424

[startup+12.7014 s]
/proc/loadavg: 1.15 1.02 1.01 3/69 17794
/proc/meminfo: memFree=1657944/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=67492 CPUtime=25.33
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 20412 0 0 0 2513 20 0 0 20 0 4 0 95633138 69111808 16140 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 16873 16140 70 163 0 16708 0
[pid=17790/tid=17791] ppid=17788 vsize=67492 CPUtime=0.01
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 82 0 0 0 0 1 0 0 15 0 4 0 95633138 69111808 16140 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17790/tid=17792] ppid=17788 vsize=67492 CPUtime=12.62
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 10131 0 0 0 1255 7 0 0 25 0 4 0 95633138 69111808 16140 1992294400 134512640 135180984 4294956208 18446744073709551615 134528571 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=67492 CPUtime=12.67
/proc/17790/task/17793/stat : 17793 (satake) R 17788 17790 17060 0 -1 4194368 10116 0 0 0 1257 10 0 0 17 0 4 0 95633139 69111808 16140 1992294400 134512640 135180984 4294956208 18446744073709551615 134525377 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 67492

[startup+25.502 s]
/proc/loadavg: 1.34 1.06 1.02 3/69 17794
/proc/meminfo: memFree=1642584/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=82400 CPUtime=50.87
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 24096 0 0 0 5062 25 0 0 20 0 4 0 95633138 84377600 19824 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 20600 19824 70 163 0 20435 0
[pid=17790/tid=17791] ppid=17788 vsize=82400 CPUtime=0.01
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 82 0 0 0 0 1 0 0 15 0 4 0 95633138 84377600 19824 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17790/tid=17792] ppid=17788 vsize=82400 CPUtime=25.38
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 11964 0 0 0 2528 10 0 0 25 0 4 0 95633138 84377600 19824 1992294400 134512640 135180984 4294956208 18446744073709551615 134528862 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=82400 CPUtime=25.46
/proc/17790/task/17793/stat : 17793 (satake) R 17788 17790 17060 0 -1 4194368 11967 0 0 0 2533 13 0 0 25 0 4 0 95633139 84377600 19824 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 82400

[startup+51.1022 s]
/proc/loadavg: 1.56 1.14 1.04 3/69 17794
/proc/meminfo: memFree=1607384/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=118332 CPUtime=101.95
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 33008 0 0 0 10157 38 0 0 20 0 4 0 95633138 121171968 28736 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 29583 28736 70 163 0 29418 0
[pid=17790/tid=17791] ppid=17788 vsize=118332 CPUtime=0.02
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 82 0 0 0 0 2 0 0 15 0 4 0 95633138 121171968 28736 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17790/tid=17792] ppid=17788 vsize=118332 CPUtime=50.87
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 15726 0 0 0 5072 15 0 0 25 0 4 0 95633138 121171968 28736 1992294400 134512640 135180984 4294956208 18446744073709551615 134528406 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=118332 CPUtime=51.04
/proc/17790/task/17793/stat : 17793 (satake) R 17788 17790 17060 0 -1 4194368 17117 0 0 0 5084 20 0 0 17 0 4 0 95633139 121171968 28736 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 118332

[startup+102.307 s]
/proc/loadavg: 1.81 1.27 1.09 3/69 17794
/proc/meminfo: memFree=1561368/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=163840 CPUtime=204.13
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 44345 0 0 0 20360 53 0 0 20 0 4 0 95633138 167772160 40073 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 40960 40073 70 163 0 40795 0
[pid=17790/tid=17791] ppid=17788 vsize=163840 CPUtime=0.04
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 83 0 0 0 0 4 0 0 15 0 4 0 95633138 167772160 40073 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17790/tid=17792] ppid=17788 vsize=163840 CPUtime=101.85
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 19859 0 0 0 10166 19 0 0 25 0 4 0 95633138 167772160 40073 1992294400 134512640 135180984 4294956208 18446744073709551615 134528869 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=163840 CPUtime=102.2
/proc/17790/task/17793/stat : 17793 (satake) R 17788 17790 17060 0 -1 4194368 24320 0 0 0 10192 28 0 0 18 0 4 0 95633139 167772160 40073 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.13
Current children cumulated vsize (KiB) 163840

[startup+162.303 s]
/proc/loadavg: 1.93 1.40 1.15 3/69 17794
/proc/meminfo: memFree=1531864/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=194232 CPUtime=323.86
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 51713 0 0 0 32321 65 0 0 20 0 4 0 95633138 198893568 47441 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 48558 47441 70 163 0 48393 0
[pid=17790/tid=17791] ppid=17788 vsize=194232 CPUtime=0.06
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 83 0 0 0 1 5 0 0 15 0 4 0 95633138 198893568 47441 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17790/tid=17792] ppid=17788 vsize=194232 CPUtime=161.61
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 22181 0 0 0 16138 23 0 0 25 0 4 0 95633138 198893568 47441 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=194232 CPUtime=162.16
/proc/17790/task/17793/stat : 17793 (satake) R 17788 17790 17060 0 -1 4194368 29366 0 0 0 16181 35 0 0 25 0 4 0 95633139 198893568 47441 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.86
Current children cumulated vsize (KiB) 194232

[startup+222.301 s]
/proc/loadavg: 1.97 1.51 1.20 3/69 17794
/proc/meminfo: memFree=1497368/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=229308 CPUtime=443.58
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 60253 0 0 0 44279 79 0 0 20 0 4 0 95633138 234811392 55981 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 57327 55981 70 163 0 57162 0
[pid=17790/tid=17791] ppid=17788 vsize=229308 CPUtime=0.08
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 83 0 0 0 1 7 0 0 15 0 4 0 95633138 234811392 55981 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17790/tid=17792] ppid=17788 vsize=229308 CPUtime=221.35
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 26069 0 0 0 22106 29 0 0 25 0 4 0 95633138 234811392 55981 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=229308 CPUtime=222.12
/proc/17790/task/17793/stat : 17793 (satake) R 17788 17790 17060 0 -1 4194368 34018 0 0 0 22170 42 0 0 25 0 4 0 95633139 234811392 55981 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.58
Current children cumulated vsize (KiB) 229308

[startup+282.301 s]
/proc/loadavg: 1.99 1.59 1.24 3/69 17794
/proc/meminfo: memFree=1468568/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=258248 CPUtime=563.32
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 67489 0 0 0 56240 92 0 0 20 0 4 0 95633138 264445952 63217 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 64562 63217 70 163 0 64397 0
[pid=17790/tid=17791] ppid=17788 vsize=258248 CPUtime=0.1
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 83 0 0 0 2 8 0 0 15 0 4 0 95633138 264445952 63217 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17790/tid=17792] ppid=17788 vsize=258248 CPUtime=281.11
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 30315 0 0 0 28075 36 0 0 22 0 4 0 95633138 264445952 63217 1992294400 134512640 135180984 4294956208 18446744073709551615 134528742 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=258248 CPUtime=282.09
/proc/17790/task/17793/stat : 17793 (satake) R 17788 17790 17060 0 -1 4194368 37008 0 0 0 28162 47 0 0 25 0 4 0 95633139 264445952 63217 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.32
Current children cumulated vsize (KiB) 258248

[startup+342.301 s]
/proc/loadavg: 1.99 1.66 1.29 3/69 17794
/proc/meminfo: memFree=1439064/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=288376 CPUtime=683.05
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 74815 0 0 0 68202 103 0 0 20 0 4 0 95633138 295297024 70543 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 72094 70543 70 163 0 71929 0
[pid=17790/tid=17791] ppid=17788 vsize=288376 CPUtime=0.1
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 83 0 0 0 2 8 0 0 15 0 4 0 95633138 295297024 70543 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17790/tid=17792] ppid=17788 vsize=288376 CPUtime=340.86
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 34475 0 0 0 34045 41 0 0 25 0 4 0 95633138 295297024 70543 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=288376 CPUtime=342.06
/proc/17790/task/17793/stat : 17793 (satake) R 17788 17790 17060 0 -1 4194368 40174 0 0 0 34154 52 0 0 22 0 4 0 95633139 295297024 70543 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 683.05
Current children cumulated vsize (KiB) 288376

[startup+402.303 s]
/proc/loadavg: 1.99 1.72 1.33 3/69 17794
/proc/meminfo: memFree=1416472/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=310560 CPUtime=802.79
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 80507 0 0 0 80165 114 0 0 20 0 4 0 95633138 318013440 76235 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 77640 76235 70 163 0 77475 0
[pid=17790/tid=17791] ppid=17788 vsize=310560 CPUtime=0.12
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 83 0 0 0 2 10 0 0 15 0 4 0 95633138 318013440 76235 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17790/tid=17792] ppid=17788 vsize=310560 CPUtime=400.62
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 37173 0 0 0 40018 44 0 0 25 0 4 0 95633138 318013440 76235 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=310560 CPUtime=402.02
/proc/17790/task/17793/stat : 17793 (satake) R 17788 17790 17060 0 -1 4194368 43168 0 0 0 40144 58 0 0 25 0 4 0 95633139 318013440 76235 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.79
Current children cumulated vsize (KiB) 310560

[startup+462.303 s]
/proc/loadavg: 1.99 1.77 1.37 3/69 17794
/proc/meminfo: memFree=1394904/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=333008 CPUtime=922.51
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 85843 0 0 0 92128 123 0 0 20 0 4 0 95633138 341000192 81571 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 83252 81571 70 163 0 83087 0
[pid=17790/tid=17791] ppid=17788 vsize=333008 CPUtime=0.12
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 83 0 0 0 2 10 0 0 15 0 4 0 95633138 341000192 81571 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17790/tid=17792] ppid=17788 vsize=333008 CPUtime=460.38
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 39638 0 0 0 45990 48 0 0 25 0 4 0 95633138 341000192 81571 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=333008 CPUtime=461.99
/proc/17790/task/17793/stat : 17793 (satake) R 17788 17790 17060 0 -1 4194368 46039 0 0 0 46135 64 0 0 25 0 4 0 95633139 341000192 81571 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.51
Current children cumulated vsize (KiB) 333008

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.41 3/69 17794
/proc/meminfo: memFree=1371096/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=357024 CPUtime=1042.25
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 91841 0 0 0 104093 132 0 0 20 0 4 0 95633138 365592576 87569 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 89256 87569 70 163 0 89091 0
[pid=17790/tid=17791] ppid=17788 vsize=357024 CPUtime=0.13
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 83 0 0 0 2 11 0 0 15 0 4 0 95633138 365592576 87569 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17790/tid=17792] ppid=17788 vsize=357024 CPUtime=520.14
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 42063 0 0 0 51963 51 0 0 25 0 4 0 95633138 365592576 87569 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=357024 CPUtime=521.95
/proc/17790/task/17793/stat : 17793 (satake) R 17788 17790 17060 0 -1 4194368 49612 0 0 0 52127 68 0 0 25 0 4 0 95633139 365592576 87569 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.25
Current children cumulated vsize (KiB) 357024

[startup+582.301 s]
/proc/loadavg: 1.99 1.84 1.44 3/69 17794
/proc/meminfo: memFree=1348440/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=379960 CPUtime=1161.97
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 97439 0 0 0 116058 139 0 0 20 0 4 0 95633138 389079040 93167 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 94990 93167 70 163 0 94825 0
[pid=17790/tid=17791] ppid=17788 vsize=379960 CPUtime=0.15
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 83 0 0 0 3 12 0 0 15 0 4 0 95633138 389079040 93167 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17790/tid=17792] ppid=17788 vsize=379960 CPUtime=579.89
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 44325 0 0 0 57935 54 0 0 25 0 4 0 95633138 389079040 93167 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=379960 CPUtime=581.91
/proc/17790/task/17793/stat : 17793 (satake) R 17788 17790 17060 0 -1 4194368 52948 0 0 0 58119 72 0 0 25 0 4 0 95633139 389079040 93167 1992294400 134512640 135180984 4294956208 18446744073709551615 134520661 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.97
Current children cumulated vsize (KiB) 379960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.402 s]
/proc/loadavg: 1.99 1.85 1.45 3/69 17794
/proc/meminfo: memFree=1340632/2055920 swapFree=4181392/4192956
[pid=17790] ppid=17788 vsize=388200 CPUtime=1200.1
/proc/17790/stat : 17790 (satake) S 17788 17790 17060 0 -1 4194304 99341 0 0 0 119868 142 0 0 20 0 4 0 95633138 397516800 95069 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17790/statm: 97050 95069 70 163 0 96885 0
[pid=17790/tid=17791] ppid=17788 vsize=388200 CPUtime=0.15
/proc/17790/task/17791/stat : 17791 (satake) S 17788 17790 17060 0 -1 4194368 83 0 0 0 3 12 0 0 15 0 4 0 95633138 397516800 95069 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17790/tid=17792] ppid=17788 vsize=388200 CPUtime=598.92
/proc/17790/task/17792/stat : 17792 (satake) R 17788 17790 17060 0 -1 4194368 44999 0 0 0 59838 54 0 0 25 0 4 0 95633138 397516800 95069 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17790/tid=17793] ppid=17788 vsize=388200 CPUtime=601.01
/proc/17790/task/17793/stat : 17793 (satake) R 17788 17790 17060 0 -1 4194368 54176 0 0 0 60026 75 0 0 25 0 4 0 95633139 397516800 95069 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 388200

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.472
CPU time (s): 1200.18
CPU user time (s): 1198.7
CPU system time (s): 1.48277
CPU usage (%): 199.54
Max. virtual memory (cumulated for all children) (KiB): 388200

deleting IPC queue 589824
deleting IPC queue 622593
deleting IPC queue 655362
deleting IPC queue 688131
deleting IPC queue 720900
deleting IPC queue 753669
deleting IPC queue 786438
deleting IPC queue 819207
deleting IPC queue 851976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.7
system time used= 1.48277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99341
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= 18267
involuntary context switches= 26597

runsolver used 0.608907 second user time and 1.58876 second system time

The end

Launcher Data 

Begin job on node80 at 2009-04-25 18:14:02
IDJOB=1722490
IDBENCH=71090
IDSOLVER=553
FILE ID=node80/1722490-1240676041
PBS_JOBID= 9186581
Free space on /tmp= 66148 MiB

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

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

MD5SUM BENCH= 8aa38136187abb1238dedfc85e88a72c
RANDOM SEED=1068943942

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:       1722064 kB
Buffers:         44424 kB
Cached:         214412 kB
SwapCached:       5344 kB
Active:         105976 kB
Inactive:       160664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1722064 kB
SwapTotal:     4192956 kB
SwapFree:      4181392 kB
Dirty:            9236 kB
Writeback:           0 kB
Mapped:          13456 kB
Slab:            53104 kB
Committed_AS:   320172 kB
PageTables:       1392 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= 66144 MiB
End job on node80 at 2009-04-25 18:24:05