Trace number 1562296

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.16 601.65

General information on the benchmark

NameCRAFTED/edgematching/
fbcolors/em_9_3_5_fbc.cnf
MD5SUM31a3aedc721d03e1d956a240f176ac5e
Bench CategoryCRAFTED (crafted 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 variables3857
Number of clauses59728
Sum of the clauses size174559
Maximum clause length49
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 224387
Number of clauses of size 326002
Number of clauses of size 44516
Number of clauses of size 54669
Number of clauses of size over 5154

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-1562296-1238772961/watcher-1562296-1238772961 -o /tmp/evaluation-result-1562296-1238772961/solver-1562296-1238772961 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1562296-1238772961.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 3/64 30634
/proc/meminfo: memFree=1750192/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=4392 CPUtime=0
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 673 0 0 0 0 0 0 0 21 0 4 0 1149958604 4497408 658 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 1098 661 65 163 0 933 0
[pid=30634/tid=30635] ppid=30632 vsize=4392 CPUtime=0
/proc/30634/task/30635/stat : 30635 (satake) S 30632 30634 30325 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 1149958604 4497408 665 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30634/tid=30636] ppid=30632 vsize=4524 CPUtime=0
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 301 0 0 0 0 0 0 0 21 0 4 0 1149958604 4632576 668 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30634/tid=30637] ppid=30632 vsize=4524 CPUtime=0
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 292 0 0 0 0 0 0 0 22 0 4 0 1149958604 4632576 672 1992294400 134512640 135180984 4294956208 18446744073709551615 134706046 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0962519 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30634
/proc/meminfo: memFree=1750192/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=7532 CPUtime=0.17
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 2078 0 0 0 16 1 0 0 21 0 4 0 1149958604 7712768 1535 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 1883 1535 70 163 0 1718 0
[pid=30634/tid=30635] ppid=30632 vsize=7532 CPUtime=0
/proc/30634/task/30635/stat : 30635 (satake) R 30632 30634 30325 0 -1 4194368 76 0 0 0 0 0 0 0 17 0 4 0 1149958604 7712768 1536 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30634/tid=30636] ppid=30632 vsize=7532 CPUtime=0.09
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 929 0 0 0 8 1 0 0 16 0 4 0 1149958604 7712768 1536 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30634/tid=30637] ppid=30632 vsize=7532 CPUtime=0.07
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 991 0 0 0 7 0 0 0 16 0 4 0 1149958604 7712768 1536 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 7532

[startup+0.101849 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30634
/proc/meminfo: memFree=1750192/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=7532 CPUtime=0.17
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 2088 0 0 0 16 1 0 0 21 0 4 0 1149958604 7712768 1545 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 1883 1545 70 163 0 1718 0
[pid=30634/tid=30635] ppid=30632 vsize=7532 CPUtime=0
/proc/30634/task/30635/stat : 30635 (satake) S 30632 30634 30325 0 -1 4194368 76 0 0 0 0 0 0 0 17 0 4 0 1149958604 7712768 1545 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30634/tid=30636] ppid=30632 vsize=7532 CPUtime=0.09
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 935 0 0 0 8 1 0 0 16 0 4 0 1149958604 7712768 1545 1992294400 134512640 135180984 4294956208 18446744073709551615 134518252 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30634/tid=30637] ppid=30632 vsize=7532 CPUtime=0.08
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 994 0 0 0 8 0 0 0 16 0 4 0 1149958604 7712768 1545 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 7532

[startup+0.301891 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30634
/proc/meminfo: memFree=1750192/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=9216 CPUtime=0.58
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 2354 0 0 0 54 4 0 0 21 0 4 0 1149958604 9437184 1811 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 2304 1811 70 163 0 2139 0
[pid=30634/tid=30635] ppid=30632 vsize=9216 CPUtime=0
/proc/30634/task/30635/stat : 30635 (satake) S 30632 30634 30325 0 -1 4194368 76 0 0 0 0 0 0 0 16 0 4 0 1149958604 9437184 1811 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30634/tid=30636] ppid=30632 vsize=9216 CPUtime=0.28
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 1024 0 0 0 27 1 0 0 17 0 4 0 1149958604 9437184 1812 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30634/tid=30637] ppid=30632 vsize=9216 CPUtime=0.27
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 1172 0 0 0 26 1 0 0 17 0 4 0 1149958604 9437184 1812 1992294400 134512640 135180984 4294956208 18446744073709551615 134519080 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9216

[startup+0.70197 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30634
/proc/meminfo: memFree=1750192/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=9876 CPUtime=1.36
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 2628 0 0 0 127 9 0 0 21 0 4 0 1149958604 10113024 2085 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 2469 2085 70 163 0 2304 0
[pid=30634/tid=30635] ppid=30632 vsize=9876 CPUtime=0.04
/proc/30634/task/30635/stat : 30635 (satake) S 30632 30634 30325 0 -1 4194368 85 0 0 0 1 3 0 0 16 0 4 0 1149958604 10113024 2085 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30634/tid=30636] ppid=30632 vsize=9876 CPUtime=0.65
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 1158 0 0 0 62 3 0 0 16 0 4 0 1149958604 10113024 2085 1992294400 134512640 135180984 4294956208 18446744073709551615 134528664 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30634/tid=30637] ppid=30632 vsize=9876 CPUtime=0.65
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 1302 0 0 0 63 2 0 0 16 0 4 0 1149958604 10113024 2085 1992294400 134512640 135180984 4294956208 18446744073709551615 134522986 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9876

[startup+1.50112 s]
/proc/loadavg: 1.00 1.00 1.00 3/68 30638
/proc/meminfo: memFree=1741264/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=12220 CPUtime=2.94
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 3112 0 0 0 270 24 0 0 21 0 4 0 1149958604 12513280 2569 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 3055 2569 70 163 0 2890 0
[pid=30634/tid=30635] ppid=30632 vsize=12220 CPUtime=0.13
/proc/30634/task/30635/stat : 30635 (satake) S 30632 30634 30325 0 -1 4194368 108 0 0 0 3 10 0 0 15 0 4 0 1149958604 12513280 2569 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30634/tid=30636] ppid=30632 vsize=12220 CPUtime=1.39
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 1377 0 0 0 133 6 0 0 16 0 4 0 1149958604 12513280 2569 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30634/tid=30637] ppid=30632 vsize=12220 CPUtime=1.39
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 1545 0 0 0 133 6 0 0 17 0 4 0 1149958604 12513280 2570 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 12220

[startup+3.10244 s]
/proc/loadavg: 1.00 1.00 1.00 3/68 30638
/proc/meminfo: memFree=1738064/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=15892 CPUtime=6.12
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 4108 0 0 0 566 46 0 0 21 0 4 0 1149958604 16273408 3565 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 3973 3565 70 163 0 3808 0
[pid=30634/tid=30635] ppid=30632 vsize=15892 CPUtime=0.24
/proc/30634/task/30635/stat : 30635 (satake) S 30632 30634 30325 0 -1 4194368 141 0 0 0 4 20 0 0 15 0 4 0 1149958604 16273408 3565 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30634/tid=30636] ppid=30632 vsize=15892 CPUtime=2.93
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 2008 0 0 0 281 12 0 0 17 0 4 0 1149958604 16273408 3565 1992294400 134512640 135180984 4294956208 18446744073709551615 134528711 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30634/tid=30637] ppid=30632 vsize=15892 CPUtime=2.92
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 1876 0 0 0 280 12 0 0 17 0 4 0 1149958604 16273408 3565 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 15892

[startup+6.30108 s]
/proc/loadavg: 1.08 1.02 1.01 4/68 30638
/proc/meminfo: memFree=1730768/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=22988 CPUtime=12.48
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 5844 0 0 0 1172 76 0 0 21 0 4 0 1149958604 23539712 5301 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 5747 5301 70 163 0 5582 0
[pid=30634/tid=30635] ppid=30632 vsize=22988 CPUtime=0.42
/proc/30634/task/30635/stat : 30635 (satake) S 30632 30634 30325 0 -1 4194368 201 0 0 0 8 34 0 0 15 0 4 0 1149958604 23539712 5301 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30634/tid=30636] ppid=30632 vsize=22988 CPUtime=6.04
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 3058 0 0 0 583 21 0 0 18 0 4 0 1149958604 23539712 5301 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30634/tid=30637] ppid=30632 vsize=22988 CPUtime=6.01
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 2502 0 0 0 581 20 0 0 17 0 4 0 1149958604 23539712 5301 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 22988

[startup+12.7023 s]
/proc/loadavg: 1.15 1.03 1.01 3/68 30638
/proc/meminfo: memFree=1717200/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=35944 CPUtime=25.26
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 8954 0 0 0 2415 111 0 0 21 0 4 0 1149958604 36806656 8411 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 8986 8411 70 163 0 8821 0
[pid=30634/tid=30635] ppid=30632 vsize=35944 CPUtime=0.6
/proc/30634/task/30635/stat : 30635 (satake) S 30632 30634 30325 0 -1 4194368 271 0 0 0 11 49 0 0 15 0 4 0 1149958604 36806656 8411 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30634/tid=30636] ppid=30632 vsize=35944 CPUtime=12.33
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 4887 0 0 0 1203 30 0 0 17 0 4 0 1149958604 36806656 8411 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30634/tid=30637] ppid=30632 vsize=35944 CPUtime=12.3
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 3713 0 0 0 1199 31 0 0 16 0 4 0 1149958604 36806656 8411 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 35944

[startup+25.5019 s]
/proc/loadavg: 1.34 1.08 1.02 3/68 30638
/proc/meminfo: memFree=1693648/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=59376 CPUtime=50.79
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 14669 0 0 0 4917 162 0 0 21 0 4 0 1149958604 60801024 14126 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 14844 14126 70 163 0 14679 0
[pid=30634/tid=30635] ppid=30632 vsize=59376 CPUtime=0.89
/proc/30634/task/30635/stat : 30635 (satake) S 30632 30634 30325 0 -1 4194368 369 0 0 0 17 72 0 0 15 0 4 0 1149958604 60801024 14126 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30634/tid=30636] ppid=30632 vsize=59376 CPUtime=24.98
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 7868 0 0 0 2455 43 0 0 20 0 4 0 1149958604 60801024 14126 1992294400 134512640 135180984 4294956208 18446744073709551615 134528664 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30634/tid=30637] ppid=30632 vsize=59376 CPUtime=24.9
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 6349 0 0 0 2445 45 0 0 25 0 4 0 1149958604 60801024 14126 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 59376

[startup+51.1019 s]
/proc/loadavg: 1.56 1.15 1.05 3/68 30638
/proc/meminfo: memFree=1665680/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=85548 CPUtime=101.85
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 21611 0 0 0 9955 230 0 0 21 0 4 0 1149958604 87601152 21068 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 21387 21068 70 163 0 21222 0
[pid=30634/tid=30635] ppid=30632 vsize=85548 CPUtime=1.24
/proc/30634/task/30635/stat : 30635 (satake) S 30632 30634 30325 0 -1 4194368 484 0 0 0 24 100 0 0 15 0 4 0 1149958604 87601152 21068 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30634/tid=30636] ppid=30632 vsize=85548 CPUtime=50.33
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 11195 0 0 0 4970 63 0 0 18 0 4 0 1149958604 87601152 21068 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30634/tid=30637] ppid=30632 vsize=85548 CPUtime=50.27
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 9849 0 0 0 4961 66 0 0 17 0 4 0 1149958604 87601152 21068 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 85548

[startup+102.306 s]
/proc/loadavg: 1.81 1.28 1.10 3/68 30638
/proc/meminfo: memFree=1658640/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=93208 CPUtime=203.98
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 23366 0 0 0 20026 372 0 0 21 0 4 0 1149958604 95444992 22823 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 23302 22823 70 163 0 23137 0
[pid=30634/tid=30635] ppid=30632 vsize=93208 CPUtime=2.1
/proc/30634/task/30635/stat : 30635 (satake) S 30632 30634 30325 0 -1 4194368 776 0 0 0 44 166 0 0 15 0 4 0 1149958604 95444992 22823 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30634/tid=30636] ppid=30632 vsize=93208 CPUtime=101.03
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 11848 0 0 0 10009 94 0 0 22 0 4 0 1149958604 95444992 22823 1992294400 134512640 135180984 4294956208 18446744073709551615 134518218 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30634/tid=30637] ppid=30632 vsize=93208 CPUtime=100.82
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 10659 0 0 0 9972 110 0 0 21 0 4 0 1149958604 95444992 22823 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.98
Current children cumulated vsize (KiB) 93208

[startup+162.302 s]
/proc/loadavg: 1.98 1.42 1.16 3/68 30638
/proc/meminfo: memFree=1648144/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=103748 CPUtime=323.64
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 25964 0 0 0 31820 544 0 0 21 0 4 0 1149958604 106237952 25421 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 25937 25421 70 163 0 25772 0
[pid=30634/tid=30635] ppid=30632 vsize=103748 CPUtime=3.07
/proc/30634/task/30635/stat : 30635 (satake) S 30632 30634 30325 0 -1 4194368 1071 0 0 0 65 242 0 0 15 0 4 0 1149958604 106237952 25421 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30634/tid=30636] ppid=30632 vsize=103748 CPUtime=160.43
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 12825 0 0 0 15902 141 0 0 17 0 4 0 1149958604 106237952 25421 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30634/tid=30637] ppid=30632 vsize=103748 CPUtime=160.11
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 11985 0 0 0 15851 160 0 0 22 0 4 0 1149958604 106237952 25421 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.64
Current children cumulated vsize (KiB) 103748

[startup+222.302 s]
/proc/loadavg: 1.99 1.53 1.21 3/68 30638
/proc/meminfo: memFree=1616912/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=135668 CPUtime=443.32
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 33774 0 0 0 43678 654 0 0 21 0 4 0 1149958604 138924032 33231 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 33917 33231 70 163 0 33752 0
[pid=30634/tid=30635] ppid=30632 vsize=135668 CPUtime=3.68
/proc/30634/task/30635/stat : 30635 (satake) S 30632 30634 30325 0 -1 4194368 1241 0 0 0 79 289 0 0 15 0 4 0 1149958604 138924032 33231 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30634/tid=30636] ppid=30632 vsize=135668 CPUtime=220.09
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 17273 0 0 0 21840 169 0 0 16 0 4 0 1149958604 138924032 33231 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30634/tid=30637] ppid=30632 vsize=135668 CPUtime=219.53
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 15177 0 0 0 21758 195 0 0 17 0 4 0 1149958604 138924032 33231 1992294400 134512640 135180984 4294956208 18446744073709551615 134528221 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.32
Current children cumulated vsize (KiB) 135668

[startup+282.302 s]
/proc/loadavg: 2.07 1.63 1.26 3/68 30638
/proc/meminfo: memFree=1609104/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=144120 CPUtime=563.02
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 35772 0 0 0 55466 836 0 0 21 0 4 0 1149958604 147578880 35229 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 36030 35229 70 163 0 35865 0
[pid=30634/tid=30635] ppid=30632 vsize=144120 CPUtime=4.8
/proc/30634/task/30635/stat : 30635 (satake) S 30632 30634 30325 0 -1 4194368 1637 0 0 0 107 373 0 0 15 0 4 0 1149958604 147578880 35229 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30634/tid=30636] ppid=30632 vsize=144120 CPUtime=279.42
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 17992 0 0 0 27722 220 0 0 20 0 4 0 1149958604 147578880 35229 1992294400 134512640 135180984 4294956208 18446744073709551615 134518208 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30634/tid=30637] ppid=30632 vsize=144120 CPUtime=278.78
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 16060 0 0 0 27636 242 0 0 24 0 4 0 1149958604 147578880 35229 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.02
Current children cumulated vsize (KiB) 144120

[startup+342.302 s]
/proc/loadavg: 2.03 1.69 1.30 3/68 30638
/proc/meminfo: memFree=1598928/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=152832 CPUtime=682.71
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 38203 0 0 0 67306 965 0 0 21 0 4 0 1149958604 156499968 37660 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 38208 37660 70 163 0 38043 0
[pid=30634/tid=30635] ppid=30632 vsize=152832 CPUtime=5.55
/proc/30634/task/30635/stat : 30635 (satake) S 30632 30634 30325 0 -1 4194368 1674 0 0 0 122 433 0 0 15 0 4 0 1149958604 156499968 37660 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30634/tid=30636] ppid=30632 vsize=152832 CPUtime=338.86
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 19484 0 0 0 33634 252 0 0 25 0 4 0 1149958604 156499968 37660 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30634/tid=30637] ppid=30632 vsize=152832 CPUtime=338.28
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 16962 0 0 0 33549 279 0 0 22 0 4 0 1149958604 156499968 37660 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.71
Current children cumulated vsize (KiB) 152832

[startup+402.301 s]
/proc/loadavg: 2.01 1.74 1.34 3/68 30638
/proc/meminfo: memFree=1582864/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=170252 CPUtime=802.44
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 42383 0 0 0 79186 1058 0 0 21 0 4 0 1149958604 174338048 41840 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 42563 41840 70 163 0 42398 0
[pid=30634/tid=30635] ppid=30632 vsize=170252 CPUtime=6.07
/proc/30634/task/30635/stat : 30635 (satake) S 30632 30634 30325 0 -1 4194368 1681 0 0 0 136 471 0 0 15 0 4 0 1149958604 174338048 41840 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30634/tid=30636] ppid=30632 vsize=170252 CPUtime=398.37
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 21228 0 0 0 39554 283 0 0 19 0 4 0 1149958604 174338048 41840 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30634/tid=30637] ppid=30632 vsize=170252 CPUtime=397.98
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 19391 0 0 0 39495 303 0 0 25 0 4 0 1149958604 174338048 41840 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.44
Current children cumulated vsize (KiB) 170252

[startup+462.301 s]
/proc/loadavg: 2.00 1.79 1.38 3/68 30638
/proc/meminfo: memFree=1568336/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=183128 CPUtime=922.14
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 45838 0 0 0 91050 1164 0 0 21 0 4 0 1149958604 187523072 45295 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 45782 45295 70 163 0 45617 0
[pid=30634/tid=30635] ppid=30632 vsize=183128 CPUtime=6.69
/proc/30634/task/30635/stat : 30635 (satake) S 30632 30634 30325 0 -1 4194368 1690 0 0 0 150 519 0 0 15 0 4 0 1149958604 187523072 45295 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30634/tid=30636] ppid=30632 vsize=183128 CPUtime=457.93
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 23223 0 0 0 45481 312 0 0 25 0 4 0 1149958604 187523072 45295 1992294400 134512640 135180984 4294956208 18446744073709551615 134528406 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30634/tid=30637] ppid=30632 vsize=183128 CPUtime=457.5
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 20842 0 0 0 45418 332 0 0 21 0 4 0 1149958604 187523072 45295 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.14
Current children cumulated vsize (KiB) 183128

[startup+522.302 s]
/proc/loadavg: 2.00 1.82 1.42 3/68 30638
/proc/meminfo: memFree=1565776/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=187224 CPUtime=1041.87
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 46658 0 0 0 102959 1228 0 0 21 0 4 0 1149958604 191717376 46115 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 46806 46115 70 163 0 46641 0
[pid=30634/tid=30635] ppid=30632 vsize=187224 CPUtime=7.04
/proc/30634/task/30635/stat : 30635 (satake) S 30632 30634 30325 0 -1 4194368 1695 0 0 0 159 545 0 0 15 0 4 0 1149958604 191717376 46115 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30634/tid=30636] ppid=30632 vsize=187224 CPUtime=517.65
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 23567 0 0 0 51432 333 0 0 25 0 4 0 1149958604 191717376 46115 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30634/tid=30637] ppid=30632 vsize=187224 CPUtime=517.17
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 21313 0 0 0 51368 349 0 0 17 0 4 0 1149958604 191717376 46115 1992294400 134512640 135180984 4294956208 18446744073709551615 134518228 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1041.87
Current children cumulated vsize (KiB) 187224

[startup+582.303 s]
/proc/loadavg: 2.00 1.85 1.45 3/68 30638
/proc/meminfo: memFree=1553872/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=198436 CPUtime=1161.58
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 49451 0 0 0 114829 1329 0 0 21 0 4 0 1149958604 203198464 48908 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 49609 48908 70 163 0 49444 0
[pid=30634/tid=30635] ppid=30632 vsize=198436 CPUtime=7.61
/proc/30634/task/30635/stat : 30635 (satake) S 30632 30634 30325 0 -1 4194368 1835 0 0 0 172 589 0 0 15 0 4 0 1149958604 203198464 48908 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30634/tid=30636] ppid=30632 vsize=198436 CPUtime=577.09
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 24504 0 0 0 57345 364 0 0 25 0 4 0 1149958604 203198464 48908 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30634/tid=30637] ppid=30632 vsize=198436 CPUtime=576.86
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 23029 0 0 0 57310 376 0 0 25 0 4 0 1149958604 203198464 48908 1992294400 134512640 135180984 4294956208 18446744073709551615 134518208 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.58
Current children cumulated vsize (KiB) 198436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 2.00 1.86 1.46 3/68 30638
/proc/meminfo: memFree=1553168/2055920 swapFree=4176304/4192956
[pid=30634] ppid=30632 vsize=199460 CPUtime=1200.1
/proc/30634/stat : 30634 (satake) S 30632 30634 30325 0 -1 4194304 49614 0 0 0 118670 1340 0 0 21 0 4 0 1149958604 204247040 49071 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30634/statm: 49865 49071 70 163 0 49700 0
[pid=30634/tid=30635] ppid=30632 vsize=199460 CPUtime=7.67
/proc/30634/task/30635/stat : 30635 (satake) S 30632 30634 30325 0 -1 4194368 1858 0 0 0 174 593 0 0 15 0 4 0 1149958604 204247040 49071 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30634/tid=30636] ppid=30632 vsize=199460 CPUtime=596.29
/proc/30634/task/30636/stat : 30636 (satake) R 30632 30634 30325 0 -1 4194368 24582 0 0 0 59260 369 0 0 25 0 4 0 1149958604 204247040 49071 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30634/tid=30637] ppid=30632 vsize=199460 CPUtime=596.13
/proc/30634/task/30637/stat : 30637 (satake) R 30632 30634 30325 0 -1 4194368 23091 0 0 0 59235 378 0 0 25 0 4 0 1149958604 204247040 49071 1992294400 134512640 135180984 4294956208 18446744073709551615 134522980 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 199460

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.65
CPU time (s): 1200.16
CPU user time (s): 1186.72
CPU system time (s): 13.442
CPU usage (%): 199.478
Max. virtual memory (cumulated for all children) (KiB): 199460

deleting IPC queue 2916352
deleting IPC queue 2949121
deleting IPC queue 2981890
deleting IPC queue 3014659
deleting IPC queue 3047428
deleting IPC queue 3080197
deleting IPC queue 3112966
deleting IPC queue 3145735
deleting IPC queue 3178504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1186.72
system time used= 13.442
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49614
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= 1129796
involuntary context switches= 1126107

runsolver used 0.517921 second user time and 1.68474 second system time

The end

Launcher Data 

Begin job on node53 at 2009-04-03 17:36:01
IDJOB=1562296
IDBENCH=70931
IDSOLVER=553
FILE ID=node53/1562296-1238772961
PBS_JOBID= 9085517
Free space on /tmp= 66444 MiB

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

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

MD5SUM BENCH= 31a3aedc721d03e1d956a240f176ac5e
RANDOM SEED=1959647052

node53.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.264
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.264
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:       1750608 kB
Buffers:         38464 kB
Cached:         178804 kB
SwapCached:      10600 kB
Active:          66124 kB
Inactive:       163260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1750608 kB
SwapTotal:     4192956 kB
SwapFree:      4176304 kB
Dirty:            1812 kB
Writeback:           0 kB
Mapped:          17856 kB
Slab:            61964 kB
Committed_AS:  2837056 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= 66444 MiB
End job on node53 at 2009-04-03 17:46:04