Trace number 1543350

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 601.524

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S45173584-020.cnf
MD5SUM59fbd40d503488bcdf45b7724d53bd6d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark338.69
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of clauses20000
Sum of the clauses size100000
Maximum clause length5
Minimum clause length5
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 520000
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:489) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543350-1238490414/watcher-1543350-1238490414 -o /tmp/evaluation-result-1543350-1238490414/solver-1543350-1238490414 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-own-ipc-queues HOME/satake HOME/instance-1543350-1238490414.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.02 1.18 3/65 18740
/proc/meminfo: memFree=1469968/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=3124 CPUtime=0
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 414 0 0 0 0 0 0 0 18 0 4 0 1121703669 3198976 399 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 781 399 65 163 0 616 0
[pid=18740/tid=18741] ppid=18738 vsize=3124 CPUtime=0
/proc/18740/task/18741/stat : 18741 (satake) S 18738 18740 18283 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1121703669 3198976 399 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18740/tid=18742] ppid=18738 vsize=3124 CPUtime=0
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 172 0 0 0 0 0 0 0 19 0 4 0 1121703669 3198976 400 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18740/tid=18743] ppid=18738 vsize=3124 CPUtime=0
/proc/18740/task/18743/stat : 18743 (satake) R 18738 18740 18283 0 -1 4194368 153 0 0 0 0 0 0 0 19 0 4 0 1121703669 3198976 400 1992294400 134512640 135180984 4294956208 18446744073709551615 134680984 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.104638 s]
/proc/loadavg: 1.00 1.02 1.18 3/65 18740
/proc/meminfo: memFree=1469968/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=4568 CPUtime=0.19
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 1083 0 0 0 18 1 0 0 18 0 4 0 1121703669 4677632 832 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 1142 832 70 163 0 977 0
[pid=18740/tid=18741] ppid=18738 vsize=4568 CPUtime=0
/proc/18740/task/18741/stat : 18741 (satake) R 18738 18740 18283 0 -1 4194368 24 0 0 0 0 0 0 0 16 0 4 0 1121703669 4677632 832 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=4568 CPUtime=0.09
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 493 0 0 0 9 0 0 0 16 0 4 0 1121703669 4677632 832 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18740/tid=18743] ppid=18738 vsize=4568 CPUtime=0.09
/proc/18740/task/18743/stat : 18743 (satake) R 18738 18740 18283 0 -1 4194368 483 0 0 0 9 0 0 0 18 0 4 0 1121703669 4677632 832 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 4568

[startup+0.201656 s]
/proc/loadavg: 1.00 1.02 1.18 3/65 18740
/proc/meminfo: memFree=1469968/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=4832 CPUtime=0.39
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 1226 0 0 0 36 3 0 0 18 0 4 0 1121703669 4947968 975 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 1208 975 70 163 0 1043 0
[pid=18740/tid=18741] ppid=18738 vsize=4832 CPUtime=0
/proc/18740/task/18741/stat : 18741 (satake) S 18738 18740 18283 0 -1 4194368 24 0 0 0 0 0 0 0 17 0 4 0 1121703669 4947968 975 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=4832 CPUtime=0.19
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 566 0 0 0 18 1 0 0 16 0 4 0 1121703669 4947968 975 1992294400 134512640 135180984 4294956208 18446744073709551615 134528465 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18740/tid=18743] ppid=18738 vsize=4832 CPUtime=0.18
/proc/18740/task/18743/stat : 18743 (satake) R 18738 18740 18283 0 -1 4194368 553 0 0 0 17 1 0 0 18 0 4 0 1121703669 4947968 975 1992294400 134512640 135180984 4294956208 18446744073709551615 134519890 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 4832

[startup+0.301672 s]
/proc/loadavg: 1.00 1.02 1.18 3/65 18740
/proc/meminfo: memFree=1469968/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=5096 CPUtime=0.57
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 1362 0 0 0 53 4 0 0 18 0 4 0 1121703669 5218304 1111 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 1274 1111 70 163 0 1109 0
[pid=18740/tid=18741] ppid=18738 vsize=5096 CPUtime=0.01
/proc/18740/task/18741/stat : 18741 (satake) R 18738 18740 18283 0 -1 4194368 24 0 0 0 0 1 0 0 17 0 4 0 1121703669 5218304 1111 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18740/tid=18742] ppid=18738 vsize=5096 CPUtime=0.28
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 635 0 0 0 27 1 0 0 17 0 4 0 1121703669 5218304 1111 1992294400 134512640 135180984 4294956208 18446744073709551615 134525476 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18740/tid=18743] ppid=18738 vsize=5096 CPUtime=0.26
/proc/18740/task/18743/stat : 18743 (satake) S 18738 18740 18283 0 -1 4194368 620 0 0 0 25 1 0 0 16 0 4 0 1121703669 5218304 1111 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 5096

[startup+0.701743 s]
/proc/loadavg: 1.00 1.02 1.18 3/65 18740
/proc/meminfo: memFree=1469968/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=8200 CPUtime=1.37
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 1920 0 0 0 130 7 0 0 18 0 4 0 1121703669 8396800 1669 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 2050 1669 70 163 0 1885 0
[pid=18740/tid=18741] ppid=18738 vsize=8200 CPUtime=0.03
/proc/18740/task/18741/stat : 18741 (satake) S 18738 18740 18283 0 -1 4194368 25 0 0 0 0 3 0 0 17 0 4 0 1121703669 8396800 1669 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18740/tid=18742] ppid=18738 vsize=8200 CPUtime=0.67
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 904 0 0 0 65 2 0 0 19 0 4 0 1121703669 8396800 1669 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18740/tid=18743] ppid=18738 vsize=8200 CPUtime=0.65
/proc/18740/task/18743/stat : 18743 (satake) R 18738 18740 18283 0 -1 4194368 908 0 0 0 63 2 0 0 16 0 4 0 1121703669 8396800 1669 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 8200

[startup+1.50189 s]
/proc/loadavg: 1.08 1.04 1.18 3/69 18744
/proc/meminfo: memFree=1461360/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=12228 CPUtime=2.96
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 2894 0 0 0 281 15 0 0 18 0 4 0 1121703669 12521472 2643 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 3057 2643 70 163 0 2892 0
[pid=18740/tid=18741] ppid=18738 vsize=12228 CPUtime=0.06
/proc/18740/task/18741/stat : 18741 (satake) S 18738 18740 18283 0 -1 4194368 33 0 0 0 1 5 0 0 16 0 4 0 1121703669 12521472 2643 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18740/tid=18742] ppid=18738 vsize=12228 CPUtime=1.45
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 1376 0 0 0 141 4 0 0 17 0 4 0 1121703669 12521472 2643 1992294400 134512640 135180984 4294956208 18446744073709551615 134520901 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18740/tid=18743] ppid=18738 vsize=12228 CPUtime=1.43
/proc/18740/task/18743/stat : 18743 (satake) R 18738 18740 18283 0 -1 4194368 1402 0 0 0 139 4 0 0 18 0 4 0 1121703669 12521472 2643 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 12228

[startup+3.10217 s]
/proc/loadavg: 1.08 1.04 1.18 3/69 18744
/proc/meminfo: memFree=1456560/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=18484 CPUtime=6.16
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 4453 0 0 0 592 24 0 0 18 0 4 0 1121703669 18927616 4202 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 4621 4202 70 163 0 4456 0
[pid=18740/tid=18741] ppid=18738 vsize=18484 CPUtime=0.11
/proc/18740/task/18741/stat : 18741 (satake) S 18738 18740 18283 0 -1 4194368 42 0 0 0 2 9 0 0 16 0 4 0 1121703669 18927616 4202 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18740/tid=18742] ppid=18738 vsize=18484 CPUtime=3.03
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 2156 0 0 0 296 7 0 0 17 0 4 0 1121703669 18927616 4202 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18740/tid=18743] ppid=18738 vsize=18484 CPUtime=2.99
/proc/18740/task/18743/stat : 18743 (satake) R 18738 18740 18283 0 -1 4194368 2172 0 0 0 292 7 0 0 25 0 4 0 1121703669 18927616 4202 1992294400 134512640 135180984 4294956208 18446744073709551615 134519924 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 18484

[startup+6.30174 s]
/proc/loadavg: 1.08 1.04 1.18 3/69 18744
/proc/meminfo: memFree=1447728/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=23304 CPUtime=12.54
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 5800 0 0 0 1215 39 0 0 18 0 4 0 1121703669 23863296 5549 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 5826 5549 70 163 0 5661 0
[pid=18740/tid=18741] ppid=18738 vsize=23304 CPUtime=0.19
/proc/18740/task/18741/stat : 18741 (satake) S 18738 18740 18283 0 -1 4194368 55 0 0 0 4 15 0 0 16 0 4 0 1121703669 23863296 5549 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18740/tid=18742] ppid=18738 vsize=23304 CPUtime=6.19
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 2841 0 0 0 608 11 0 0 17 0 4 0 1121703669 23863296 5549 1992294400 134512640 135180984 4294956208 18446744073709551615 134528683 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18740/tid=18743] ppid=18738 vsize=23304 CPUtime=6.14
/proc/18740/task/18743/stat : 18743 (satake) R 18738 18740 18283 0 -1 4194368 2821 0 0 0 602 12 0 0 17 0 4 0 1121703669 23863296 5549 1992294400 134512640 135180984 4294956208 18446744073709551615 134528862 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 23304

[startup+12.7019 s]
/proc/loadavg: 1.22 1.07 1.19 3/69 18744
/proc/meminfo: memFree=1442928/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=27592 CPUtime=25.3
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 6971 0 0 0 2471 59 0 0 18 0 4 0 1121703669 28254208 6720 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 6898 6720 70 163 0 6733 0
[pid=18740/tid=18741] ppid=18738 vsize=27592 CPUtime=0.3
/proc/18740/task/18741/stat : 18741 (satake) S 18738 18740 18283 0 -1 4194368 62 0 0 0 6 24 0 0 16 0 4 0 1121703669 28254208 6720 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18740/tid=18742] ppid=18738 vsize=27592 CPUtime=12.52
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 3403 0 0 0 1235 17 0 0 17 0 4 0 1121703669 28254208 6720 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=27592 CPUtime=12.46
/proc/18740/task/18743/stat : 18743 (satake) R 18738 18740 18283 0 -1 4194368 3423 0 0 0 1229 17 0 0 20 0 4 0 1121703669 28254208 6720 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 27592

[startup+25.5011 s]
/proc/loadavg: 1.34 1.10 1.20 3/69 18744
/proc/meminfo: memFree=1438512/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=33304 CPUtime=50.84
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 8151 0 0 0 4997 87 0 0 18 0 4 0 1121703669 34103296 7900 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 8326 7900 70 163 0 8161 0
[pid=18740/tid=18741] ppid=18738 vsize=33304 CPUtime=0.47
/proc/18740/task/18741/stat : 18741 (satake) S 18738 18740 18283 0 -1 4194368 72 0 0 0 10 37 0 0 16 0 4 0 1121703669 34103296 7900 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=33304 CPUtime=25.22
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 4045 0 0 0 2498 24 0 0 17 0 4 0 1121703669 34103296 7900 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18740/tid=18743] ppid=18738 vsize=33304 CPUtime=25.13
/proc/18740/task/18743/stat : 18743 (satake) R 18738 18740 18283 0 -1 4194368 3951 0 0 0 2488 25 0 0 18 0 4 0 1121703669 34103296 7900 1992294400 134512640 135180984 4294956208 18446744073709551615 134528605 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 33304

[startup+51.1017 s]
/proc/loadavg: 1.60 1.19 1.22 3/69 18744
/proc/meminfo: memFree=1430768/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=40604 CPUtime=101.92
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 10013 0 0 0 10060 132 0 0 18 0 4 0 1121703669 41578496 9762 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 10151 9762 70 163 0 9986 0
[pid=18740/tid=18741] ppid=18738 vsize=40604 CPUtime=0.71
/proc/18740/task/18741/stat : 18741 (satake) S 18738 18740 18283 0 -1 4194368 93 0 0 0 15 56 0 0 16 0 4 0 1121703669 41578496 9762 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18740/tid=18742] ppid=18738 vsize=40604 CPUtime=50.69
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 5065 0 0 0 5031 38 0 0 18 0 4 0 1121703669 41578496 9762 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18740/tid=18743] ppid=18738 vsize=40604 CPUtime=50.49
/proc/18740/task/18743/stat : 18743 (satake) R 18738 18740 18283 0 -1 4194368 4772 0 0 0 5012 37 0 0 25 0 4 0 1121703669 41578496 9762 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 40604

[startup+102.302 s]
/proc/loadavg: 1.82 1.31 1.26 3/69 18744
/proc/meminfo: memFree=1425136/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=45424 CPUtime=204.08
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 11400 0 0 0 20209 199 0 0 18 0 4 0 1121703669 46514176 11149 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 11356 11149 70 163 0 11191 0
[pid=18740/tid=18741] ppid=18738 vsize=45424 CPUtime=1.1
/proc/18740/task/18741/stat : 18741 (satake) S 18738 18740 18283 0 -1 4194368 107 0 0 0 25 85 0 0 16 0 4 0 1121703669 46514176 11149 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=45424 CPUtime=101.67
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 5759 0 0 0 10111 56 0 0 23 0 4 0 1121703669 46514176 11149 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18740/tid=18743] ppid=18738 vsize=45424 CPUtime=101.28
/proc/18740/task/18743/stat : 18743 (satake) R 18738 18740 18283 0 -1 4194368 5451 0 0 0 10072 56 0 0 21 0 4 0 1121703669 46514176 11149 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 45424

[startup+162.301 s]
/proc/loadavg: 1.93 1.43 1.31 3/69 18744
/proc/meminfo: memFree=1418608/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=52448 CPUtime=323.81
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 13030 0 0 0 32115 266 0 0 18 0 4 0 1121703669 53706752 12779 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 13112 12779 70 163 0 12947 0
[pid=18740/tid=18741] ppid=18738 vsize=52448 CPUtime=1.48
/proc/18740/task/18741/stat : 18741 (satake) S 18738 18740 18283 0 -1 4194368 128 0 0 0 34 114 0 0 16 0 4 0 1121703669 53706752 12779 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=52448 CPUtime=161.44
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 6469 0 0 0 16067 77 0 0 25 0 4 0 1121703669 53706752 12779 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18740/tid=18743] ppid=18738 vsize=52448 CPUtime=160.86
/proc/18740/task/18743/stat : 18743 (satake) R 18738 18740 18283 0 -1 4194368 6350 0 0 0 16012 74 0 0 25 0 4 0 1121703669 53706752 12779 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.81
Current children cumulated vsize (KiB) 52448

[startup+222.306 s]
/proc/loadavg: 2.01 1.55 1.35 3/69 18744
/proc/meminfo: memFree=1412592/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=58688 CPUtime=443.52
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 14548 0 0 0 44022 330 0 0 18 0 4 0 1121703669 60096512 14297 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 14672 14297 70 163 0 14507 0
[pid=18740/tid=18741] ppid=18738 vsize=58688 CPUtime=1.84
/proc/18740/task/18741/stat : 18741 (satake) S 18738 18740 18283 0 -1 4194368 139 0 0 0 41 143 0 0 16 0 4 0 1121703669 60096512 14297 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=58688 CPUtime=221.13
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 7251 0 0 0 22018 95 0 0 19 0 4 0 1121703669 60096512 14297 1992294400 134512640 135180984 4294956208 18446744073709551615 134518252 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=58688 CPUtime=220.52
/proc/18740/task/18743/stat : 18743 (satake) R 18738 18740 18283 0 -1 4194368 7075 0 0 0 21961 91 0 0 25 0 4 0 1121703669 60096512 14297 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.52
Current children cumulated vsize (KiB) 58688

[startup+282.302 s]
/proc/loadavg: 2.00 1.63 1.39 3/69 18744
/proc/meminfo: memFree=1411056/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=59876 CPUtime=563.24
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 14906 0 0 0 55950 374 0 0 18 0 4 0 1121703669 61313024 14655 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 14969 14655 70 163 0 14804 0
[pid=18740/tid=18741] ppid=18738 vsize=59876 CPUtime=2.09
/proc/18740/task/18741/stat : 18741 (satake) S 18738 18740 18283 0 -1 4194368 144 0 0 0 48 161 0 0 16 0 4 0 1121703669 61313024 14655 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=59876 CPUtime=280.76
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 7539 0 0 0 27968 108 0 0 18 0 4 0 1121703669 61313024 14655 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=59876 CPUtime=280.37
/proc/18740/task/18743/stat : 18743 (satake) R 18738 18740 18283 0 -1 4194368 7140 0 0 0 27933 104 0 0 25 0 4 0 1121703669 61313024 14655 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.24
Current children cumulated vsize (KiB) 59876

[startup+342.301 s]
/proc/loadavg: 2.00 1.69 1.42 3/69 18744
/proc/meminfo: memFree=1406320/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=64440 CPUtime=682.95
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 16122 0 0 0 67864 431 0 0 18 0 4 0 1121703669 65986560 15871 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 16110 15871 70 163 0 15945 0
[pid=18740/tid=18741] ppid=18738 vsize=64440 CPUtime=2.4
/proc/18740/task/18741/stat : 18741 (satake) S 18738 18740 18283 0 -1 4194368 154 0 0 0 56 184 0 0 16 0 4 0 1121703669 65986560 15871 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=64440 CPUtime=340.36
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 8135 0 0 0 33913 123 0 0 17 0 4 0 1121703669 65986560 15871 1992294400 134512640 135180984 4294956208 18446744073709551615 134518224 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=64440 CPUtime=340.16
/proc/18740/task/18743/stat : 18743 (satake) R 18738 18740 18283 0 -1 4194368 7750 0 0 0 33894 122 0 0 25 0 4 0 1121703669 65986560 15871 1992294400 134512640 135180984 4294956208 18446744073709551615 134528658 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.95
Current children cumulated vsize (KiB) 64440

[startup+402.302 s]
/proc/loadavg: 2.00 1.74 1.46 3/69 18744
/proc/meminfo: memFree=1404336/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=67456 CPUtime=802.68
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 16615 0 0 0 79792 476 0 0 18 0 4 0 1121703669 69074944 16364 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 16864 16364 70 163 0 16699 0
[pid=18740/tid=18741] ppid=18738 vsize=67456 CPUtime=2.7
/proc/18740/task/18741/stat : 18741 (satake) S 18738 18740 18283 0 -1 4194368 158 0 0 0 64 206 0 0 16 0 4 0 1121703669 69074944 16364 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18740/tid=18742] ppid=18738 vsize=67456 CPUtime=399.96
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 8597 0 0 0 39862 134 0 0 19 0 4 0 1121703669 69074944 16364 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=67456 CPUtime=399.98
/proc/18740/task/18743/stat : 18743 (satake) R 18738 18740 18283 0 -1 4194368 7777 0 0 0 39864 134 0 0 25 0 4 0 1121703669 69074944 16364 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.68
Current children cumulated vsize (KiB) 67456

[startup+462.302 s]
/proc/loadavg: 2.00 1.79 1.49 3/69 18744
/proc/meminfo: memFree=1402992/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=68016 CPUtime=922.41
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 16949 0 0 0 91727 514 0 0 18 0 4 0 1121703669 69648384 16698 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 17004 16698 70 163 0 16839 0
[pid=18740/tid=18741] ppid=18738 vsize=68016 CPUtime=2.96
/proc/18740/task/18741/stat : 18741 (satake) S 18738 18740 18283 0 -1 4194368 180 0 0 0 70 226 0 0 16 0 4 0 1121703669 69648384 16698 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=68016 CPUtime=459.61
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 8719 0 0 0 45819 142 0 0 19 0 4 0 1121703669 69648384 16698 1992294400 134512640 135180984 4294956208 18446744073709551615 134528192 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=68016 CPUtime=459.82
/proc/18740/task/18743/stat : 18743 (satake) R 18738 18740 18283 0 -1 4194368 7967 0 0 0 45837 145 0 0 18 0 4 0 1121703669 69648384 16698 1992294400 134512640 135180984 4294956208 18446744073709551615 134528677 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.41
Current children cumulated vsize (KiB) 68016

[startup+522.302 s]
/proc/loadavg: 2.00 1.82 1.52 3/69 18744
/proc/meminfo: memFree=1401200/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=70064 CPUtime=1042.14
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 17382 0 0 0 103649 565 0 0 18 0 4 0 1121703669 71745536 17131 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 17516 17131 70 163 0 17351 0
[pid=18740/tid=18741] ppid=18738 vsize=70064 CPUtime=3.25
/proc/18740/task/18741/stat : 18741 (satake) S 18738 18740 18283 0 -1 4194368 182 0 0 0 78 247 0 0 16 0 4 0 1121703669 71745536 17131 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18740/tid=18742] ppid=18738 vsize=70064 CPUtime=519.24
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 8720 0 0 0 51768 156 0 0 17 0 4 0 1121703669 71745536 17131 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=70064 CPUtime=519.64
/proc/18740/task/18743/stat : 18743 (satake) R 18738 18740 18283 0 -1 4194368 8397 0 0 0 51803 161 0 0 25 0 4 0 1121703669 71745536 17131 1992294400 134512640 135180984 4294956208 18446744073709551615 134527257 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1042.14
Current children cumulated vsize (KiB) 70064

[startup+582.303 s]
/proc/loadavg: 2.00 1.85 1.55 3/69 18744
/proc/meminfo: memFree=1395120/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=76236 CPUtime=1161.87
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 18916 0 0 0 115579 608 0 0 18 0 4 0 1121703669 78065664 18665 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 19059 18665 70 163 0 18894 0
[pid=18740/tid=18741] ppid=18738 vsize=76236 CPUtime=3.48
/proc/18740/task/18741/stat : 18741 (satake) S 18738 18740 18283 0 -1 4194368 186 0 0 0 83 265 0 0 16 0 4 0 1121703669 78065664 18665 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=76236 CPUtime=578.95
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 9730 0 0 0 57726 169 0 0 18 0 4 0 1121703669 78065664 18665 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18740/tid=18743] ppid=18738 vsize=76236 CPUtime=579.41
/proc/18740/task/18743/stat : 18743 (satake) R 18738 18740 18283 0 -1 4194368 8917 0 0 0 57769 172 0 0 23 0 4 0 1121703669 78065664 18665 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.87
Current children cumulated vsize (KiB) 76236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.501 s]
/proc/loadavg: 2.00 1.86 1.55 3/69 18744
/proc/meminfo: memFree=1395120/2055920 swapFree=4177700/4192956
[pid=18740] ppid=18738 vsize=76236 CPUtime=1200.18
/proc/18740/stat : 18740 (satake) S 18738 18740 18283 0 -1 4194304 18916 0 0 0 119398 620 0 0 18 0 4 0 1121703669 78065664 18665 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18740/statm: 19059 18665 70 163 0 18894 0
[pid=18740/tid=18741] ppid=18738 vsize=76236 CPUtime=3.55
/proc/18740/task/18741/stat : 18741 (satake) S 18738 18740 18283 0 -1 4194368 186 0 0 0 85 270 0 0 16 0 4 0 1121703669 78065664 18665 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18740/tid=18742] ppid=18738 vsize=76236 CPUtime=598.11
/proc/18740/task/18742/stat : 18742 (satake) R 18738 18740 18283 0 -1 4194368 9730 0 0 0 59638 173 0 0 20 0 4 0 1121703669 78065664 18665 1992294400 134512640 135180984 4294956208 18446744073709551615 134519890 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18740/tid=18743] ppid=18738 vsize=76236 CPUtime=598.5
/proc/18740/task/18743/stat : 18743 (satake) R 18738 18740 18283 0 -1 4194368 8917 0 0 0 59674 176 0 0 25 0 4 0 1121703669 78065664 18665 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.18
Current children cumulated vsize (KiB) 76236

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.524
CPU time (s): 1200.21
CPU user time (s): 1194
CPU system time (s): 6.21705
CPU usage (%): 199.529
Max. virtual memory (cumulated for all children) (KiB): 76236

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= 1194
system time used= 6.21705
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18916
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= 468990
involuntary context switches= 472184

runsolver used 0.490925 second user time and 1.70674 second system time

The end

Launcher Data 

Begin job on node56 at 2009-03-31 11:06:54
IDJOB=1543350
IDBENCH=70191
IDSOLVER=553
FILE ID=node56/1543350-1238490414
PBS_JOBID= 9061829
Free space on /tmp= 103044 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/1000/unif-k5-r20-v1000-c20000-S45173584-020.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543350-1238490414/watcher-1543350-1238490414 -o /tmp/evaluation-result-1543350-1238490414/solver-1543350-1238490414 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-own-ipc-queues HOME/satake HOME/instance-1543350-1238490414.cnf 3 1200

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

MD5SUM BENCH= 59fbd40d503488bcdf45b7724d53bd6d
RANDOM SEED=1229047186

node56.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.256
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.256
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:       1470384 kB
Buffers:         89572 kB
Cached:         398544 kB
SwapCached:       9032 kB
Active:         199168 kB
Inactive:       299428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1470384 kB
SwapTotal:     4192956 kB
SwapFree:      4177700 kB
Dirty:            1220 kB
Writeback:           0 kB
Mapped:          16108 kB
Slab:            72900 kB
Committed_AS:  2621560 kB
PageTables:       1472 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= 103044 MiB
End job on node56 at 2009-03-31 11:16:58