Trace number 1543406

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.19 601.724

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1588298513-036.cnf
MD5SUM7df25975bd52e28f5eb180dab9fc29e0
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses17000
Sum of the clauses size119000
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 517000

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543406-1238491071/watcher-1543406-1238491071 -o /tmp/evaluation-result-1543406-1238491071/solver-1543406-1238491071 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-own-ipc-queues HOME/satake HOME/instance-1543406-1238491071.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.92 0.98 1.20 3/64 14438
/proc/meminfo: memFree=1500504/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=1656 CPUtime=0
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 253 0 0 0 0 0 0 0 18 0 4 0 1121772142 1695744 238 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 414 238 65 163 0 249 0
[pid=14438/tid=14439] ppid=14436 vsize=1656 CPUtime=0
/proc/14438/task/14439/stat : 14439 (satake) S 14436 14438 13985 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1121772142 1695744 239 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14438/tid=14440] ppid=14436 vsize=1656 CPUtime=0
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 164 0 0 0 0 0 0 0 19 0 4 0 1121772142 1695744 239 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14438/tid=14441] ppid=14436 vsize=1656 CPUtime=0
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1121772142 1695744 240 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.10644 s]
/proc/loadavg: 0.92 0.98 1.20 3/64 14438
/proc/meminfo: memFree=1500504/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=3692 CPUtime=0.19
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 953 0 0 0 18 1 0 0 18 0 4 0 1121772142 3780608 690 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 923 690 70 163 0 758 0
[pid=14438/tid=14439] ppid=14436 vsize=3692 CPUtime=0
/proc/14438/task/14439/stat : 14439 (satake) R 14436 14438 13985 0 -1 4194368 9 0 0 0 0 0 0 0 18 0 4 0 1121772142 3780608 690 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14438/tid=14440] ppid=14436 vsize=3692 CPUtime=0.09
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 430 0 0 0 9 0 0 0 17 0 4 0 1121772142 3780608 690 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14438/tid=14441] ppid=14436 vsize=3692 CPUtime=0.08
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 431 0 0 0 8 0 0 0 17 0 4 0 1121772142 3780608 690 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3692

[startup+0.202459 s]
/proc/loadavg: 0.92 0.98 1.20 3/64 14438
/proc/meminfo: memFree=1500504/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=3956 CPUtime=0.37
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 1035 0 0 0 35 2 0 0 18 0 4 0 1121772142 4050944 772 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 989 772 70 163 0 824 0
[pid=14438/tid=14439] ppid=14436 vsize=3956 CPUtime=0.01
/proc/14438/task/14439/stat : 14439 (satake) S 14436 14438 13985 0 -1 4194368 11 0 0 0 0 1 0 0 16 0 4 0 1121772142 4050944 772 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14438/tid=14440] ppid=14436 vsize=3956 CPUtime=0.18
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 468 0 0 0 18 0 0 0 18 0 4 0 1121772142 4050944 772 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14438/tid=14441] ppid=14436 vsize=3956 CPUtime=0.17
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 473 0 0 0 17 0 0 0 17 0 4 0 1121772142 4050944 772 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 3956

[startup+0.302489 s]
/proc/loadavg: 0.92 0.98 1.20 3/64 14438
/proc/meminfo: memFree=1500504/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=4220 CPUtime=0.58
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 1113 0 0 0 53 5 0 0 18 0 4 0 1121772142 4321280 850 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 1055 851 70 163 0 890 0
[pid=14438/tid=14439] ppid=14436 vsize=4220 CPUtime=0.01
/proc/14438/task/14439/stat : 14439 (satake) S 14436 14438 13985 0 -1 4194368 12 0 0 0 0 1 0 0 16 0 4 0 1121772142 4321280 851 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14438/tid=14440] ppid=14436 vsize=4220 CPUtime=0.27
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 502 0 0 0 26 1 0 0 17 0 4 0 1121772142 4321280 851 1992294400 134512640 135180984 4294956208 18446744073709551615 134528766 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14438/tid=14441] ppid=14436 vsize=4220 CPUtime=0.27
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 517 0 0 0 26 1 0 0 17 0 4 0 1121772142 4321280 851 1992294400 134512640 135180984 4294956208 18446744073709551615 134518228 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 4220

[startup+0.701559 s]
/proc/loadavg: 0.92 0.98 1.20 3/64 14438
/proc/meminfo: memFree=1500504/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=6184 CPUtime=1.35
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 1405 0 0 0 126 9 0 0 18 0 4 0 1121772142 6332416 1142 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 1546 1142 70 163 0 1381 0
[pid=14438/tid=14439] ppid=14436 vsize=6184 CPUtime=0.04
/proc/14438/task/14439/stat : 14439 (satake) S 14436 14438 13985 0 -1 4194368 22 0 0 0 0 4 0 0 17 0 4 0 1121772142 6332416 1142 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14438/tid=14440] ppid=14436 vsize=6184 CPUtime=0.65
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 635 0 0 0 63 2 0 0 16 0 4 0 1121772142 6332416 1142 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14438/tid=14441] ppid=14436 vsize=6184 CPUtime=0.64
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 665 0 0 0 62 2 0 0 17 0 4 0 1121772142 6332416 1142 1992294400 134512640 135180984 4294956208 18446744073709551615 134519098 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 6184

[startup+1.50172 s]
/proc/loadavg: 0.92 0.98 1.20 3/68 14442
/proc/meminfo: memFree=1495032/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=7636 CPUtime=2.93
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 1896 0 0 0 276 17 0 0 18 0 4 0 1121772142 7819264 1633 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 1909 1633 70 163 0 1744 0
[pid=14438/tid=14439] ppid=14436 vsize=7636 CPUtime=0.09
/proc/14438/task/14439/stat : 14439 (satake) S 14436 14438 13985 0 -1 4194368 40 0 0 0 1 8 0 0 16 0 4 0 1121772142 7819264 1633 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14438/tid=14440] ppid=14436 vsize=7636 CPUtime=1.41
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 867 0 0 0 138 3 0 0 16 0 4 0 1121772142 7819264 1633 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14438/tid=14441] ppid=14436 vsize=7636 CPUtime=1.42
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 906 0 0 0 137 5 0 0 21 0 4 0 1121772142 7819264 1633 1992294400 134512640 135180984 4294956208 18446744073709551615 134518252 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 7636

[startup+3.10104 s]
/proc/loadavg: 0.92 0.98 1.20 3/68 14442
/proc/meminfo: memFree=1492536/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=10904 CPUtime=6.12
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 2658 0 0 0 582 30 0 0 18 0 4 0 1121772142 11165696 2395 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 2726 2395 70 163 0 2561 0
[pid=14438/tid=14439] ppid=14436 vsize=10904 CPUtime=0.15
/proc/14438/task/14439/stat : 14439 (satake) S 14436 14438 13985 0 -1 4194368 56 0 0 0 2 13 0 0 16 0 4 0 1121772142 11165696 2395 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14438/tid=14440] ppid=14436 vsize=10904 CPUtime=2.97
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 1239 0 0 0 290 7 0 0 17 0 4 0 1121772142 11165696 2395 1992294400 134512640 135180984 4294956208 18446744073709551615 134519894 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14438/tid=14441] ppid=14436 vsize=10904 CPUtime=2.97
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 1280 0 0 0 288 9 0 0 16 0 4 0 1121772142 11165696 2395 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 10904

[startup+6.30168 s]
/proc/loadavg: 1.01 1.00 1.20 3/68 14442
/proc/meminfo: memFree=1490040/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=12224 CPUtime=12.47
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 3087 0 0 0 1199 48 0 0 18 0 4 0 1121772142 12517376 2824 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 3056 2824 70 163 0 2891 0
[pid=14438/tid=14439] ppid=14436 vsize=12224 CPUtime=0.24
/proc/14438/task/14439/stat : 14439 (satake) S 14436 14438 13985 0 -1 4194368 70 0 0 0 4 20 0 0 16 0 4 0 1121772142 12517376 2824 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14438/tid=14440] ppid=14436 vsize=12224 CPUtime=6.1
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 1461 0 0 0 598 12 0 0 17 0 4 0 1121772142 12517376 2824 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14438/tid=14441] ppid=14436 vsize=12224 CPUtime=6.12
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 1473 0 0 0 597 15 0 0 17 0 4 0 1121772142 12517376 2824 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 12224

[startup+12.702 s]
/proc/loadavg: 1.09 1.02 1.21 3/68 14442
/proc/meminfo: memFree=1487736/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=14308 CPUtime=25.23
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 3434 0 0 0 2445 78 0 0 18 0 4 0 1121772142 14651392 3171 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 3577 3171 70 163 0 3412 0
[pid=14438/tid=14439] ppid=14436 vsize=14308 CPUtime=0.42
/proc/14438/task/14439/stat : 14439 (satake) S 14436 14438 13985 0 -1 4194368 84 0 0 0 8 34 0 0 16 0 4 0 1121772142 14651392 3171 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14438/tid=14440] ppid=14436 vsize=14308 CPUtime=12.39
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 1617 0 0 0 1218 21 0 0 17 0 4 0 1121772142 14651392 3171 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14438/tid=14441] ppid=14436 vsize=14308 CPUtime=12.41
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 1650 0 0 0 1219 22 0 0 17 0 4 0 1121772142 14651392 3171 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 14308

[startup+25.5025 s]
/proc/loadavg: 1.29 1.06 1.22 3/68 14442
/proc/meminfo: memFree=1484664/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=16712 CPUtime=50.76
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 4213 0 0 0 4943 133 0 0 18 0 4 0 1121772142 17113088 3950 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 4178 3950 70 163 0 4013 0
[pid=14438/tid=14439] ppid=14436 vsize=16712 CPUtime=0.73
/proc/14438/task/14439/stat : 14439 (satake) S 14436 14438 13985 0 -1 4194368 102 0 0 0 15 58 0 0 16 0 4 0 1121772142 17113088 3950 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14438/tid=14440] ppid=14436 vsize=16712 CPUtime=24.97
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 1947 0 0 0 2461 36 0 0 17 0 4 0 1121772142 17113088 3950 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14438/tid=14441] ppid=14436 vsize=16712 CPUtime=25.03
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 2081 0 0 0 2465 38 0 0 17 0 4 0 1121772142 17113088 3950 1992294400 134512640 135180984 4294956208 18446744073709551615 134526109 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 16712

[startup+51.1027 s]
/proc/loadavg: 1.53 1.14 1.24 3/68 14442
/proc/meminfo: memFree=1481656/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=20412 CPUtime=101.8
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 4969 0 0 0 9966 214 0 0 18 0 4 0 1121772142 20901888 4706 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 5103 4706 70 163 0 4938 0
[pid=14438/tid=14439] ppid=14436 vsize=20412 CPUtime=1.21
/proc/14438/task/14439/stat : 14439 (satake) S 14436 14438 13985 0 -1 4194368 122 0 0 0 26 95 0 0 16 0 4 0 1121772142 20901888 4706 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14438/tid=14440] ppid=14436 vsize=20412 CPUtime=50.27
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 2237 0 0 0 4970 57 0 0 17 0 4 0 1121772142 20901888 4706 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14438/tid=14441] ppid=14436 vsize=20412 CPUtime=50.29
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 2527 0 0 0 4969 60 0 0 17 0 4 0 1121772142 20901888 4706 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 20412

[startup+102.302 s]
/proc/loadavg: 1.79 1.27 1.28 3/68 14442
/proc/meminfo: memFree=1476728/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=25480 CPUtime=203.92
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 6191 0 0 0 20030 362 0 0 18 0 4 0 1121772142 26091520 5928 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 6370 5928 70 163 0 6205 0
[pid=14438/tid=14439] ppid=14436 vsize=25480 CPUtime=2.07
/proc/14438/task/14439/stat : 14439 (satake) S 14436 14438 13985 0 -1 4194368 207 0 0 0 45 162 0 0 16 0 4 0 1121772142 26091520 5928 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14438/tid=14440] ppid=14436 vsize=25480 CPUtime=100.85
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 2639 0 0 0 9986 99 0 0 16 0 4 0 1121772142 26091520 5928 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14438/tid=14441] ppid=14436 vsize=25480 CPUtime=100.97
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 3262 0 0 0 9998 99 0 0 17 0 4 0 1121772142 26091520 5928 1992294400 134512640 135180984 4294956208 18446744073709551615 134528219 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 25480

[startup+162.301 s]
/proc/loadavg: 1.92 1.40 1.32 3/68 14442
/proc/meminfo: memFree=1473208/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=28696 CPUtime=323.57
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 7047 0 0 0 31851 506 0 0 18 0 4 0 1121772142 29384704 6784 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 7174 6784 70 163 0 7009 0
[pid=14438/tid=14439] ppid=14436 vsize=28696 CPUtime=2.91
/proc/14438/task/14439/stat : 14439 (satake) S 14436 14438 13985 0 -1 4194368 288 0 0 0 65 226 0 0 16 0 4 0 1121772142 29384704 6784 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14438/tid=14440] ppid=14436 vsize=28696 CPUtime=160.19
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 2980 0 0 0 15881 138 0 0 17 0 4 0 1121772142 29384704 6784 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14438/tid=14441] ppid=14436 vsize=28696 CPUtime=160.45
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 3696 0 0 0 15904 141 0 0 17 0 4 0 1121772142 29384704 6784 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.57
Current children cumulated vsize (KiB) 28696

[startup+222.307 s]
/proc/loadavg: 1.97 1.51 1.36 3/68 14442
/proc/meminfo: memFree=1471544/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=31312 CPUtime=443.28
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 7517 0 0 0 43706 622 0 0 18 0 4 0 1121772142 32063488 7254 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 7828 7254 70 163 0 7663 0
[pid=14438/tid=14439] ppid=14436 vsize=31312 CPUtime=3.58
/proc/14438/task/14439/stat : 14439 (satake) S 14436 14438 13985 0 -1 4194368 338 0 0 0 82 276 0 0 16 0 4 0 1121772142 32063488 7254 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14438/tid=14440] ppid=14436 vsize=31312 CPUtime=219.6
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 3267 0 0 0 21787 173 0 0 17 0 4 0 1121772142 32063488 7254 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14438/tid=14441] ppid=14436 vsize=31312 CPUtime=220.09
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 3829 0 0 0 21836 173 0 0 19 0 4 0 1121772142 32063488 7254 1992294400 134512640 135180984 4294956208 18446744073709551615 134525458 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.28
Current children cumulated vsize (KiB) 31312

[startup+282.302 s]
/proc/loadavg: 1.99 1.59 1.39 3/68 14442
/proc/meminfo: memFree=1469304/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=33412 CPUtime=562.95
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 8053 0 0 0 55545 750 0 0 18 0 4 0 1121772142 34213888 7790 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 8353 7790 70 163 0 8188 0
[pid=14438/tid=14439] ppid=14436 vsize=33412 CPUtime=4.33
/proc/14438/task/14439/stat : 14439 (satake) S 14436 14438 13985 0 -1 4194368 456 0 0 0 99 334 0 0 16 0 4 0 1121772142 34213888 7790 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14438/tid=14440] ppid=14436 vsize=33412 CPUtime=279.16
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 3474 0 0 0 27710 206 0 0 17 0 4 0 1121772142 34213888 7790 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14438/tid=14441] ppid=14436 vsize=33412 CPUtime=279.45
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 4040 0 0 0 27736 209 0 0 16 0 4 0 1121772142 34213888 7790 1992294400 134512640 135180984 4294956208 18446744073709551615 134528206 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.95
Current children cumulated vsize (KiB) 33412

[startup+342.302 s]
/proc/loadavg: 1.99 1.66 1.43 3/68 14442
/proc/meminfo: memFree=1465528/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=37764 CPUtime=682.66
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 8995 0 0 0 67413 853 0 0 18 0 4 0 1121772142 38670336 8732 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 9441 8732 70 163 0 9276 0
[pid=14438/tid=14439] ppid=14436 vsize=37764 CPUtime=4.92
/proc/14438/task/14439/stat : 14439 (satake) S 14436 14438 13985 0 -1 4194368 531 0 0 0 112 380 0 0 16 0 4 0 1121772142 38670336 8732 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14438/tid=14440] ppid=14436 vsize=37764 CPUtime=338.76
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 4163 0 0 0 33642 234 0 0 17 0 4 0 1121772142 38670336 8732 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14438/tid=14441] ppid=14436 vsize=37764 CPUtime=338.96
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 4218 0 0 0 33658 238 0 0 25 0 4 0 1121772142 38670336 8732 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.66
Current children cumulated vsize (KiB) 37764

[startup+402.302 s]
/proc/loadavg: 1.99 1.72 1.46 3/68 14442
/proc/meminfo: memFree=1463928/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=39912 CPUtime=802.37
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 9513 0 0 0 79258 979 0 0 18 0 4 0 1121772142 40869888 9250 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 9978 9250 70 163 0 9813 0
[pid=14438/tid=14439] ppid=14436 vsize=39912 CPUtime=5.66
/proc/14438/task/14439/stat : 14439 (satake) S 14436 14438 13985 0 -1 4194368 676 0 0 0 129 437 0 0 16 0 4 0 1121772142 40869888 9250 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14438/tid=14440] ppid=14436 vsize=39912 CPUtime=398.15
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 4312 0 0 0 39548 267 0 0 20 0 4 0 1121772142 40869888 9250 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14438/tid=14441] ppid=14436 vsize=39912 CPUtime=398.54
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 4442 0 0 0 39580 274 0 0 17 0 4 0 1121772142 40869888 9250 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.37
Current children cumulated vsize (KiB) 39912

[startup+462.303 s]
/proc/loadavg: 1.99 1.77 1.49 3/68 14442
/proc/meminfo: memFree=1462136/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=41384 CPUtime=922.06
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 9842 0 0 0 91113 1093 0 0 18 0 4 0 1121772142 42377216 9579 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 10346 9579 70 163 0 10181 0
[pid=14438/tid=14439] ppid=14436 vsize=41384 CPUtime=6.34
/proc/14438/task/14439/stat : 14439 (satake) S 14436 14438 13985 0 -1 4194368 757 0 0 0 146 488 0 0 16 0 4 0 1121772142 42377216 9579 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14438/tid=14440] ppid=14436 vsize=41384 CPUtime=457.73
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 4477 0 0 0 45473 300 0 0 17 0 4 0 1121772142 42377216 9579 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14438/tid=14441] ppid=14436 vsize=41384 CPUtime=457.98
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 4525 0 0 0 45494 304 0 0 18 0 4 0 1121772142 42377216 9579 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.06
Current children cumulated vsize (KiB) 41384

[startup+522.303 s]
/proc/loadavg: 1.99 1.81 1.52 3/68 14442
/proc/meminfo: memFree=1460664/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=42964 CPUtime=1041.75
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 10201 0 0 0 102980 1195 0 0 18 0 4 0 1121772142 43995136 9938 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 10741 9938 70 163 0 10576 0
[pid=14438/tid=14439] ppid=14436 vsize=42964 CPUtime=6.93
/proc/14438/task/14439/stat : 14439 (satake) S 14436 14438 13985 0 -1 4194368 862 0 0 0 162 531 0 0 16 0 4 0 1121772142 43995136 9938 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14438/tid=14440] ppid=14436 vsize=42964 CPUtime=517.28
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 4586 0 0 0 51400 328 0 0 17 0 4 0 1121772142 43995136 9938 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14438/tid=14441] ppid=14436 vsize=42964 CPUtime=517.52
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 4670 0 0 0 51417 335 0 0 17 0 4 0 1121772142 43995136 9938 1992294400 134512640 135180984 4294956208 18446744073709551615 134528536 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1041.75
Current children cumulated vsize (KiB) 42964

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.55 3/68 14442
/proc/meminfo: memFree=1459384/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=44404 CPUtime=1161.45
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 10523 0 0 0 114851 1294 0 0 18 0 4 0 1121772142 45469696 10260 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 11101 10260 70 163 0 10936 0
[pid=14438/tid=14439] ppid=14436 vsize=44404 CPUtime=7.51
/proc/14438/task/14439/stat : 14439 (satake) S 14436 14438 13985 0 -1 4194368 930 0 0 0 175 576 0 0 16 0 4 0 1121772142 45469696 10260 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14438/tid=14440] ppid=14436 vsize=44404 CPUtime=576.93
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 4687 0 0 0 57340 353 0 0 17 0 4 0 1121772142 45469696 10260 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14438/tid=14441] ppid=14436 vsize=44404 CPUtime=576.98
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 4823 0 0 0 57335 363 0 0 25 0 4 0 1121772142 45469696 10260 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.45
Current children cumulated vsize (KiB) 44404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.702 s]
/proc/loadavg: 1.99 1.85 1.56 3/68 14442
/proc/meminfo: memFree=1459192/2055920 swapFree=4175828/4192956
[pid=14438] ppid=14436 vsize=44564 CPUtime=1200.16
/proc/14438/stat : 14438 (satake) S 14436 14438 13985 0 -1 4194304 10558 0 0 0 118694 1322 0 0 18 0 4 0 1121772142 45633536 10295 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14438/statm: 11141 10295 70 163 0 10976 0
[pid=14438/tid=14439] ppid=14436 vsize=44564 CPUtime=7.67
/proc/14438/task/14439/stat : 14439 (satake) S 14436 14438 13985 0 -1 4194368 946 0 0 0 179 588 0 0 16 0 4 0 1121772142 45633536 10295 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14438/tid=14440] ppid=14436 vsize=44564 CPUtime=596.24
/proc/14438/task/14440/stat : 14440 (satake) R 14436 14438 13985 0 -1 4194368 4706 0 0 0 59262 362 0 0 17 0 4 0 1121772142 45633536 10295 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14438/tid=14441] ppid=14436 vsize=44564 CPUtime=596.23
/proc/14438/task/14441/stat : 14441 (satake) R 14436 14438 13985 0 -1 4194368 4823 0 0 0 59252 371 0 0 17 0 4 0 1121772142 45633536 10295 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.16
Current children cumulated vsize (KiB) 44564

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.724
CPU time (s): 1200.19
CPU user time (s): 1186.96
CPU system time (s): 13.232
CPU usage (%): 199.459
Max. virtual memory (cumulated for all children) (KiB): 44564

deleting IPC queue 0
deleting IPC queue 32769
deleting IPC queue 65538
deleting IPC queue 98307
deleting IPC queue 196614

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1186.96
system time used= 13.232
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10558
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= 1037785
involuntary context switches= 1026079

runsolver used 0.513921 second user time and 1.68474 second system time

The end

Launcher Data 

Begin job on node33 at 2009-03-31 11:17:51
IDJOB=1543406
IDBENCH=70247
IDSOLVER=553
FILE ID=node33/1543406-1238491071
PBS_JOBID= 9061854
Free space on /tmp= 66132 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/200/unif-k7-r85-v200-c17000-S1588298513-036.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543406-1238491071/watcher-1543406-1238491071 -o /tmp/evaluation-result-1543406-1238491071/solver-1543406-1238491071 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-own-ipc-queues HOME/satake HOME/instance-1543406-1238491071.cnf 3 1200

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

MD5SUM BENCH= 7df25975bd52e28f5eb180dab9fc29e0
RANDOM SEED=1781910409

node33.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.266
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.266
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:       1500920 kB
Buffers:         84784 kB
Cached:         377644 kB
SwapCached:      10920 kB
Active:         258916 kB
Inactive:       216040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1500920 kB
SwapTotal:     4192956 kB
SwapFree:      4175828 kB
Dirty:            1240 kB
Writeback:           0 kB
Mapped:          18172 kB
Slab:            65996 kB
Committed_AS:  3130788 kB
PageTables:       1400 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= 66132 MiB
End job on node33 at 2009-03-31 11:27:55