Trace number 1724282

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.21 602.053

General information on the benchmark

Namemanol-pipe-c7bidw_i.cnf
MD5SUM3eac71f4fca7132b74d6d27cfa83813f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark92.107
Satisfiable
(Un)Satisfiability was proved
Number of variables131004
Number of clauses387841
Sum of the clauses size904961
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2258560
Number of clauses of size 3129280
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-1724282-1240694341/watcher-1724282-1240694341 -o /tmp/evaluation-result-1724282-1240694341/solver-1724282-1240694341 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1724282-1240694341.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.00 1.00 1.00 2/65 18449
/proc/meminfo: memFree=1655736/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=5120 CPUtime=0
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 689 0 0 0 0 0 0 0 20 0 4 0 97463106 5242880 674 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 1280 679 65 163 0 1115 0
[pid=18449/tid=18450] ppid=18447 vsize=5120 CPUtime=0
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 97463106 5242880 697 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=5120 CPUtime=0
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 630 0 0 0 0 0 0 0 22 0 4 0 97463106 5242880 705 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=5120 CPUtime=0
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 4 0 97463106 5242880 713 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.050214 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18449
/proc/meminfo: memFree=1655736/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=21952 CPUtime=0.1
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 4929 0 0 0 7 3 0 0 20 0 4 0 97463106 22478848 4911 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 5521 4920 65 163 0 5356 0
[pid=18449/tid=18450] ppid=18447 vsize=22084 CPUtime=0
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 97463106 22614016 4927 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=22216 CPUtime=0.05
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 2443 0 0 0 4 1 0 0 17 0 4 0 97463106 22749184 4936 1992294400 134512640 135180984 4294956208 18446744073709551615 134691935 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=22216 CPUtime=0.04
/proc/18449/task/18452/stat : 18452 (satake) S 18447 18449 18322 0 -1 4194368 2422 0 0 0 3 1 0 0 16 0 4 0 97463106 22749184 4943 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 21952

[startup+0.113409 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18449
/proc/meminfo: memFree=1655736/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=30976 CPUtime=0.2
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 6700 0 0 0 16 4 0 0 20 0 4 0 97463106 31719424 6674 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 7744 6674 65 163 0 7579 0
[pid=18449/tid=18450] ppid=18447 vsize=30976 CPUtime=0
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 97463106 31719424 6674 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=30976 CPUtime=0.1
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 3314 0 0 0 8 2 0 0 17 0 4 0 97463106 31719424 6674 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=30976 CPUtime=0.1
/proc/18449/task/18452/stat : 18452 (satake) D 18447 18449 18322 0 -1 4194368 3296 0 0 0 8 2 0 0 16 0 4 0 97463106 31719424 6674 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 30976

[startup+0.301251 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18449
/proc/meminfo: memFree=1655736/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=59496 CPUtime=0.59
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 13042 0 0 0 49 10 0 0 20 0 4 0 97463106 60923904 13016 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 14874 13016 65 163 0 14709 0
[pid=18449/tid=18450] ppid=18447 vsize=59496 CPUtime=0
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 97463106 60923904 13018 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=59496 CPUtime=0.29
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 6472 0 0 0 25 4 0 0 16 0 4 0 97463106 60923904 13019 1992294400 134512640 135180984 4294956208 18446744073709551615 134681037 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=59496 CPUtime=0.28
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 6483 0 0 0 23 5 0 0 16 0 4 0 97463106 60923904 13019 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) 59496

[startup+0.701334 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18449
/proc/meminfo: memFree=1655736/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=65080 CPUtime=1.38
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 18504 0 0 0 123 15 0 0 20 0 4 0 97463106 66641920 15190 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 16270 15190 70 163 0 16105 0
[pid=18449/tid=18450] ppid=18447 vsize=65080 CPUtime=0.04
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 2312 0 0 0 2 2 0 0 15 0 4 0 97463106 66641920 15190 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18449/tid=18451] ppid=18447 vsize=65080 CPUtime=0.65
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 8010 0 0 0 60 5 0 0 17 0 4 0 97463106 66641920 15190 1992294400 134512640 135180984 4294956208 18446744073709551615 134523641 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=65080 CPUtime=0.68
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 8099 0 0 0 61 7 0 0 17 0 4 0 97463106 66641920 15190 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 65080

[startup+1.5015 s]
/proc/loadavg: 1.00 1.00 1.00 3/69 18453
/proc/meminfo: memFree=1594776/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=65212 CPUtime=2.98
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 18597 0 0 0 275 23 0 0 20 0 4 0 97463106 66777088 15283 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 16303 15283 70 163 0 16138 0
[pid=18449/tid=18450] ppid=18447 vsize=65212 CPUtime=0.07
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 2317 0 0 0 2 5 0 0 16 0 4 0 97463106 66777088 15283 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=65212 CPUtime=1.41
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 8062 0 0 0 134 7 0 0 17 0 4 0 97463106 66777088 15283 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=65212 CPUtime=1.46
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 8135 0 0 0 137 9 0 0 16 0 4 0 97463106 66777088 15283 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 65212

[startup+3.10283 s]
/proc/loadavg: 1.00 1.00 1.00 3/69 18453
/proc/meminfo: memFree=1594072/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=66500 CPUtime=6.16
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 18802 0 0 0 579 37 0 0 20 0 4 0 97463106 68096000 15488 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 16625 15488 70 163 0 16460 0
[pid=18449/tid=18450] ppid=18447 vsize=66500 CPUtime=0.17
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 2334 0 0 0 5 12 0 0 15 0 4 0 97463106 68096000 15488 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=66500 CPUtime=2.96
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 8151 0 0 0 285 11 0 0 17 0 4 0 97463106 68096000 15488 1992294400 134512640 135180984 4294956208 18446744073709551615 134523775 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=66500 CPUtime=3.02
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 8234 0 0 0 289 13 0 0 17 0 4 0 97463106 68096000 15488 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 66500

[startup+6.30132 s]
/proc/loadavg: 1.08 1.02 1.01 3/69 18453
/proc/meminfo: memFree=1592088/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=68348 CPUtime=12.5
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 19294 0 0 0 1157 93 0 0 20 0 4 0 97463106 69988352 15980 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 17087 15980 70 163 0 16922 0
[pid=18449/tid=18450] ppid=18447 vsize=68348 CPUtime=0.48
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 2418 0 0 0 11 37 0 0 15 0 4 0 97463106 69988352 15980 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18449/tid=18451] ppid=18447 vsize=68348 CPUtime=5.96
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 8311 0 0 0 570 26 0 0 17 0 4 0 97463106 69988352 15980 1992294400 134512640 135180984 4294956208 18446744073709551615 134523674 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=68348 CPUtime=6.05
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 8482 0 0 0 575 30 0 0 18 0 4 0 97463106 69988352 15980 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 68348

[startup+12.7016 s]
/proc/loadavg: 1.15 1.03 1.01 3/69 18453
/proc/meminfo: memFree=1586648/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=73880 CPUtime=25.22
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 20702 0 0 0 2341 181 0 0 20 0 4 0 97463106 75653120 17388 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 18470 17388 70 163 0 18305 0
[pid=18449/tid=18450] ppid=18447 vsize=73880 CPUtime=1.01
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 2567 0 0 0 23 78 0 0 15 0 4 0 97463106 75653120 17388 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18449/tid=18451] ppid=18447 vsize=73880 CPUtime=12.07
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 8948 0 0 0 1159 48 0 0 17 0 4 0 97463106 75653120 17388 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18449/tid=18452] ppid=18447 vsize=73880 CPUtime=12.12
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 9104 0 0 0 1159 53 0 0 17 0 4 0 97463106 75653120 17388 1992294400 134512640 135180984 4294956208 18446744073709551615 134532448 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 73880

[startup+25.5014 s]
/proc/loadavg: 1.34 1.08 1.02 3/69 18453
/proc/meminfo: memFree=1576792/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=83444 CPUtime=50.62
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 23084 0 0 0 4686 376 0 0 20 0 4 0 97463106 85446656 19770 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 20861 19770 70 163 0 20696 0
[pid=18449/tid=18450] ppid=18447 vsize=83444 CPUtime=2.13
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 2966 0 0 0 46 167 0 0 15 0 4 0 97463106 85446656 19770 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=83444 CPUtime=24.17
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 10013 0 0 0 2317 100 0 0 16 0 4 0 97463106 85446656 19770 1992294400 134512640 135180984 4294956208 18446744073709551615 134526471 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=83444 CPUtime=24.3
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 10022 0 0 0 2322 108 0 0 17 0 4 0 97463106 85446656 19770 1992294400 134512640 135180984 4294956208 18446744073709551615 134519077 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 83444

[startup+51.1014 s]
/proc/loadavg: 1.56 1.15 1.05 3/69 18453
/proc/meminfo: memFree=1559960/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=101236 CPUtime=101.49
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 27340 0 0 0 9436 713 0 0 20 0 4 0 97463106 103665664 24026 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 25309 24026 70 163 0 25144 0
[pid=18449/tid=18450] ppid=18447 vsize=101236 CPUtime=4.1
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 3689 0 0 0 89 321 0 0 15 0 4 0 97463106 103665664 24026 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=101236 CPUtime=48.52
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 11996 0 0 0 4661 191 0 0 17 0 4 0 97463106 103665664 24026 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=101236 CPUtime=48.86
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 11572 0 0 0 4686 200 0 0 18 0 4 0 97463106 103665664 24026 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 101236

[startup+102.306 s]
/proc/loadavg: 1.81 1.28 1.10 3/69 18453
/proc/meminfo: memFree=1533656/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=126592 CPUtime=203.46
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 33790 0 0 0 19162 1184 0 0 20 0 4 0 97463106 129630208 30476 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 31648 30476 70 163 0 31483 0
[pid=18449/tid=18450] ppid=18447 vsize=126592 CPUtime=6.84
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 4696 0 0 0 148 536 0 0 16 0 4 0 97463106 129630208 30476 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=126592 CPUtime=98.22
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 14649 0 0 0 9504 318 0 0 17 0 4 0 97463106 129630208 30476 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=126592 CPUtime=98.37
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 14362 0 0 0 9509 328 0 0 17 0 4 0 97463106 129630208 30476 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.46
Current children cumulated vsize (KiB) 126592

[startup+162.301 s]
/proc/loadavg: 1.93 1.41 1.15 3/69 18453
/proc/meminfo: memFree=1511512/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=150076 CPUtime=323.05
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 39305 0 0 0 30690 1615 0 0 20 0 4 0 97463106 153677824 35991 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 37519 35991 70 163 0 37354 0
[pid=18449/tid=18450] ppid=18447 vsize=150076 CPUtime=9.35
/proc/18449/task/18450/stat : 18450 (satake) R 18447 18449 18322 0 -1 4194368 5614 0 0 0 201 734 0 0 15 0 4 0 97463106 153677824 35991 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18449/tid=18451] ppid=18447 vsize=150076 CPUtime=156.79
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 16777 0 0 0 15241 438 0 0 17 0 4 0 97463106 153677824 35991 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18449/tid=18452] ppid=18447 vsize=150076 CPUtime=156.89
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 16831 0 0 0 15247 442 0 0 19 0 4 0 97463106 153677824 35991 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.05
Current children cumulated vsize (KiB) 150076

[startup+222.302 s]
/proc/loadavg: 1.97 1.52 1.20 3/69 18453
/proc/meminfo: memFree=1493464/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=166160 CPUtime=442.68
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 43794 0 0 0 42257 2011 0 0 20 0 4 0 97463106 170147840 40480 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 41540 40480 70 163 0 41375 0
[pid=18449/tid=18450] ppid=18447 vsize=166160 CPUtime=11.66
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 6313 0 0 0 249 917 0 0 15 0 4 0 97463106 170147840 40480 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=166160 CPUtime=215.47
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 18794 0 0 0 20996 551 0 0 22 0 4 0 97463106 170147840 40480 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=166160 CPUtime=215.53
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 18604 0 0 0 21010 543 0 0 25 0 4 0 97463106 170147840 40480 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 442.68
Current children cumulated vsize (KiB) 166160

[startup+282.303 s]
/proc/loadavg: 1.99 1.60 1.25 3/69 18453
/proc/meminfo: memFree=1480664/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=179124 CPUtime=562.35
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 47043 0 0 0 53961 2274 0 0 20 0 4 0 97463106 183422976 43729 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 44781 43729 70 163 0 44616 0
[pid=18449/tid=18450] ppid=18447 vsize=179124 CPUtime=13.16
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 6557 0 0 0 282 1034 0 0 15 0 4 0 97463106 183422976 43729 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=179124 CPUtime=274.52
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 20048 0 0 0 26831 621 0 0 25 0 4 0 97463106 183422976 43729 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=179124 CPUtime=274.65
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 20355 0 0 0 26847 618 0 0 25 0 4 0 97463106 183422976 43729 1992294400 134512640 135180984 4294956208 18446744073709551615 134518720 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.35
Current children cumulated vsize (KiB) 179124

[startup+342.302 s]
/proc/loadavg: 1.99 1.67 1.29 3/69 18453
/proc/meminfo: memFree=1463256/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=199120 CPUtime=682.02
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 51380 0 0 0 65707 2495 0 0 20 0 4 0 97463106 203898880 48066 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 49780 48066 70 163 0 49615 0
[pid=18449/tid=18450] ppid=18447 vsize=199120 CPUtime=14.4
/proc/18449/task/18450/stat : 18450 (satake) R 18447 18449 18322 0 -1 4194368 7014 0 0 0 311 1129 0 0 15 0 4 0 97463106 203898880 48066 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18449/tid=18451] ppid=18447 vsize=199120 CPUtime=333.72
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 22148 0 0 0 32691 681 0 0 23 0 4 0 97463106 203898880 48066 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=199120 CPUtime=333.88
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 22135 0 0 0 32704 684 0 0 17 0 4 0 97463106 203898880 48066 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.02
Current children cumulated vsize (KiB) 199120

[startup+402.302 s]
/proc/loadavg: 1.99 1.73 1.33 3/69 18453
/proc/meminfo: memFree=1446360/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=217048 CPUtime=801.72
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 55573 0 0 0 77471 2701 0 0 20 0 4 0 97463106 222257152 52259 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 54262 52259 70 163 0 54097 0
[pid=18449/tid=18450] ppid=18447 vsize=217048 CPUtime=15.62
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 7479 0 0 0 339 1223 0 0 15 0 4 0 97463106 222257152 52259 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=217048 CPUtime=392.87
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 24207 0 0 0 38545 742 0 0 19 0 4 0 97463106 222257152 52259 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=217048 CPUtime=393.2
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 23804 0 0 0 38586 734 0 0 18 0 4 0 97463106 222257152 52259 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 801.72
Current children cumulated vsize (KiB) 217048

[startup+462.302 s]
/proc/loadavg: 2.05 1.79 1.38 3/69 18453
/proc/meminfo: memFree=1431512/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=231636 CPUtime=921.4
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 59264 0 0 0 89248 2892 0 0 20 0 4 0 97463106 237195264 55950 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 57909 55950 70 163 0 57744 0
[pid=18449/tid=18450] ppid=18447 vsize=231636 CPUtime=16.72
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 7889 0 0 0 362 1310 0 0 15 0 4 0 97463106 237195264 55950 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=231636 CPUtime=452.18
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 25721 0 0 0 44419 799 0 0 21 0 4 0 97463106 237195264 55950 1992294400 134512640 135180984 4294956208 18446744073709551615 134519941 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=231636 CPUtime=452.49
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 25571 0 0 0 44467 782 0 0 25 0 4 0 97463106 237195264 55950 1992294400 134512640 135180984 4294956208 18446744073709551615 134526482 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 921.4
Current children cumulated vsize (KiB) 231636

[startup+522.302 s]
/proc/loadavg: 2.02 1.83 1.41 3/69 18453
/proc/meminfo: memFree=1418712/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=244396 CPUtime=1041.13
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 62515 0 0 0 101085 3028 0 0 20 0 4 0 97463106 250261504 59201 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 61099 59201 70 163 0 60934 0
[pid=18449/tid=18450] ppid=18447 vsize=244396 CPUtime=17.52
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 8181 0 0 0 379 1373 0 0 15 0 4 0 97463106 250261504 59201 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=244396 CPUtime=511.57
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 27210 0 0 0 50323 834 0 0 17 0 4 0 97463106 250261504 59201 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18449/tid=18452] ppid=18447 vsize=244396 CPUtime=512.02
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 27041 0 0 0 50382 820 0 0 18 0 4 0 97463106 250261504 59201 1992294400 134512640 135180984 4294956208 18446744073709551615 134523791 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1041.13
Current children cumulated vsize (KiB) 244396

[startup+582.302 s]
/proc/loadavg: 2.00 1.85 1.45 3/69 18453
/proc/meminfo: memFree=1406936/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=256772 CPUtime=1160.84
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 65399 0 0 0 112910 3174 0 0 20 0 4 0 97463106 262934528 62085 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 64193 62085 70 163 0 64028 0
[pid=18449/tid=18450] ppid=18447 vsize=256772 CPUtime=18.4
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 8522 0 0 0 399 1441 0 0 15 0 4 0 97463106 262934528 62085 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=256772 CPUtime=570.95
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 28571 0 0 0 56225 870 0 0 19 0 4 0 97463106 262934528 62085 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18449/tid=18452] ppid=18447 vsize=256772 CPUtime=571.47
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 28223 0 0 0 56285 862 0 0 25 0 4 0 97463106 262934528 62085 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1160.84
Current children cumulated vsize (KiB) 256772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+602.001 s]
/proc/loadavg: 2.00 1.86 1.46 3/69 18453
/proc/meminfo: memFree=1403736/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=259148 CPUtime=1200.14
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 66175 0 0 0 116797 3217 0 0 20 0 4 0 97463106 265367552 62861 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 64787 62861 70 163 0 64622 0
[pid=18449/tid=18450] ppid=18447 vsize=259148 CPUtime=18.65
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 8615 0 0 0 405 1460 0 0 15 0 4 0 97463106 265367552 62861 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=259148 CPUtime=590.45
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 28912 0 0 0 58162 883 0 0 25 0 4 0 97463106 265367552 62861 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18449/tid=18452] ppid=18447 vsize=259148 CPUtime=591.02
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 28565 0 0 0 58229 873 0 0 25 0 4 0 97463106 265367552 62861 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.14
Current children cumulated vsize (KiB) 259148

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): 602.053
CPU time (s): 1200.21
CPU user time (s): 1167.99
CPU system time (s): 32.2181
CPU usage (%): 199.353
Max. virtual memory (cumulated for all children) (KiB): 259148

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= 1167.99
system time used= 32.2181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66175
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= 2920677
involuntary context switches= 2897533

runsolver used 0.549916 second user time and 1.66375 second system time

The end

Launcher Data 

Begin job on node80 at 2009-04-25 23:19:02
IDJOB=1724282
IDBENCH=71766
IDSOLVER=553
FILE ID=node80/1724282-1240694341
PBS_JOBID= 9186757
Free space on /tmp= 66148 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT_RACE06/manol-pipe-c7bidw_i.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1724282-1240694341/watcher-1724282-1240694341 -o /tmp/evaluation-result-1724282-1240694341/solver-1724282-1240694341 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1724282-1240694341.cnf 3 1200

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

MD5SUM BENCH= 3eac71f4fca7132b74d6d27cfa83813f
RANDOM SEED=9548155

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:       1656216 kB
Buffers:         52804 kB
Cached:         270892 kB
SwapCached:       5424 kB
Active:         138188 kB
Inactive:       193308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1656216 kB
SwapTotal:     4192956 kB
SwapFree:      4181392 kB
Dirty:            7320 kB
Writeback:           0 kB
Mapped:          13452 kB
Slab:            54120 kB
Committed_AS:   328948 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66148 MiB
End job on node80 at 2009-04-25 23:29:06