Trace number 452671

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, and are wall clock time (not CPU 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
bsolo 3.0.17SAT 324.724 324.804

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/industrial/
anbulagan/medium-sat/dated-10-13-s.opb
MD5SUM6e9c2aadaeb51e3400bb600f13759f35
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark111.386
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables181082
Total number of constraints824258
Number of constraints which are clauses824258
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 10
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

Sorry, but this trace is too large and cannot be obtained.

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node65/watcher-452671-1177963531 -o ROOT/results/node65/solver-452671-1177963531 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452671-1177963531/instance-452671-1177963531.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 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 0.98 3/64 26079
/proc/meminfo: memFree=1784280/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=44636 CPUtime=0
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 339 0 0 0 0 0 0 0 18 0 1 0 272342851 45707264 309 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 11159 317 278 324 0 3957 0

[startup+0.0309729 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 26079
/proc/meminfo: memFree=1784280/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=30236 CPUtime=0.02
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 670 0 0 0 2 0 0 0 18 0 1 0 272342851 30961664 640 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134538857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 7559 647 310 324 0 357 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 30236

[startup+0.102978 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 26079
/proc/meminfo: memFree=1784280/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=32064 CPUtime=0.09
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 1281 0 0 0 9 0 0 0 18 0 1 0 272342851 32833536 1211 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6145920 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 8016 1211 406 324 0 814 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32064

[startup+0.301995 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 26079
/proc/meminfo: memFree=1784280/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=36184 CPUtime=0.29
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 2567 0 0 0 28 1 0 0 19 0 1 0 272342851 37052416 2497 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 9046 2497 682 324 0 1844 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36184

[startup+0.701027 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 26079
/proc/meminfo: memFree=1784280/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=47820 CPUtime=0.68
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 6154 0 0 0 66 2 0 0 22 0 1 0 272342851 48967680 5799 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 11955 5799 1156 324 0 4753 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 47820

[startup+1.5011 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 26080
/proc/meminfo: memFree=1759056/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=63460 CPUtime=1.49
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 11076 0 0 0 145 4 0 0 25 0 1 0 272342851 64983040 10624 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 15865 10624 1972 324 0 8663 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63460

[startup+3.10123 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 26080
/proc/meminfo: memFree=1739408/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=83612 CPUtime=3.09
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 17640 0 0 0 302 7 0 0 25 0 1 0 272342851 85618688 16875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 20903 16875 3464 324 0 13701 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83612

[startup+6.30149 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 26080
/proc/meminfo: memFree=1695696/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=153220 CPUtime=6.29
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 44084 0 0 0 612 17 0 0 25 0 1 0 272342851 156897280 37047 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134561980 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 38305 37047 299 324 0 37375 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 153220

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 26080
/proc/meminfo: memFree=1634592/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=156920 CPUtime=12.68
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 44725 0 0 0 1251 17 0 0 25 0 1 0 272342851 160686080 37688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 39230 37688 303 324 0 38300 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 156920

[startup+25.5021 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 26080
/proc/meminfo: memFree=1634656/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=157052 CPUtime=25.48
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 44751 0 0 0 2530 18 0 0 25 0 1 0 272342851 160821248 37714 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 39263 37714 303 324 0 38333 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 157052

[startup+51.1022 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 26080
/proc/meminfo: memFree=1634336/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=157448 CPUtime=51.08
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 44840 0 0 0 5089 19 0 0 25 0 1 0 272342851 161226752 37803 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 39362 37803 303 324 0 38432 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 157448

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 26080
/proc/meminfo: memFree=1633512/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=158368 CPUtime=102.27
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 45075 0 0 0 10207 20 0 0 25 0 1 0 272342851 162168832 38038 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6119116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 39592 38038 303 324 0 38662 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 158368

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 26080
/proc/meminfo: memFree=1633320/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=158368 CPUtime=162.25
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 45115 0 0 0 16204 21 0 0 25 0 1 0 272342851 162168832 38078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 39592 38078 303 324 0 38662 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 158368

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 26080
/proc/meminfo: memFree=1633128/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=158368 CPUtime=222.24
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 45483 0 0 0 22202 22 0 0 25 0 1 0 272342851 162168832 38092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 39592 38092 308 324 0 38662 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 158368

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 26080
/proc/meminfo: memFree=1628072/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=163792 CPUtime=282.22
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 46823 0 0 0 28199 23 0 0 25 0 1 0 272342851 167723008 39432 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574775 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 40948 39432 308 324 0 40018 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 163792

Solver just ended. Dumping a history of the last processes samples

[startup+307.101 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 26080
/proc/meminfo: memFree=1609192/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=182892 CPUtime=307.02
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 51596 0 0 0 30675 27 0 0 25 0 1 0 272342851 187281408 44205 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 45723 44205 308 324 0 44793 0
Current children cumulated CPU time (s) 307.02
Current children cumulated vsize (KiB) 182892

[startup+313.506 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 26080
/proc/meminfo: memFree=1601000/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=190632 CPUtime=313.42
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 53529 0 0 0 31314 28 0 0 25 0 1 0 272342851 195207168 46138 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6127232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 47658 46138 308 324 0 46728 0
Current children cumulated CPU time (s) 313.42
Current children cumulated vsize (KiB) 190632

[startup+319.902 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 26080
/proc/meminfo: memFree=1597416/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=194432 CPUtime=319.81
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 54475 0 0 0 31953 28 0 0 25 0 1 0 272342851 199098368 47084 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 48608 47084 308 324 0 47678 0
Current children cumulated CPU time (s) 319.81
Current children cumulated vsize (KiB) 194432

[startup+323.102 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 26080
/proc/meminfo: memFree=1596072/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=195952 CPUtime=323.02
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 54864 0 0 0 32273 29 0 0 25 0 1 0 272342851 200654848 47473 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 48988 47473 308 324 0 48058 0
Current children cumulated CPU time (s) 323.02
Current children cumulated vsize (KiB) 195952

[startup+323.902 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 26080
/proc/meminfo: memFree=1595560/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=196464 CPUtime=323.82
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 54980 0 0 0 32353 29 0 0 25 0 1 0 272342851 201179136 47589 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 49116 47589 308 324 0 48186 0
Current children cumulated CPU time (s) 323.82
Current children cumulated vsize (KiB) 196464

[startup+324.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 26080
/proc/meminfo: memFree=1595560/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=196712 CPUtime=324.22
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 55066 0 0 0 32393 29 0 0 25 0 1 0 272342851 201433088 47675 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 49178 47675 308 324 0 48248 0
Current children cumulated CPU time (s) 324.22
Current children cumulated vsize (KiB) 196712

[startup+324.703 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 26080
/proc/meminfo: memFree=1594792/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=197268 CPUtime=324.62
/proc/26079/stat : 26079 (bsolo3.0.17) R 26077 26079 25020 0 -1 4194304 55191 0 0 0 32433 29 0 0 16 0 1 0 272342851 202002432 47800 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26079/statm: 49317 47800 309 324 0 48387 0
Current children cumulated CPU time (s) 324.62
Current children cumulated vsize (KiB) 197268

[startup+324.804 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 26080
/proc/meminfo: memFree=1594792/2055920 swapFree=4184072/4192956
[pid=26079] ppid=26077 vsize=0 CPUtime=324.71
/proc/26079/stat : 26079 (bsolo3.0.17) D 26077 26079 25020 0 -1 4194308 55195 0 0 0 32438 33 0 0 15 0 1 0 272342851 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0
/proc/26079/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.71
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 324.804
CPU time (s): 324.724
CPU user time (s): 324.386
CPU system time (s): 0.337948
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 197268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 324.386
system time used= 0.337948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55195
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= 15
involuntary context switches= 481

runsolver used 0.267959 second user time and 0.647901 second system time

The end

Launcher Data (download as text)

Begin job on node65 on Mon Apr 30 20:05:32 UTC 2007

IDJOB= 452671
IDBENCH= 47738
IDSOLVER= 199
FILE ID= node65/452671-1177963531

PBS_JOBID= 4727731

Free space on /tmp= 66534 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/anbulagan/medium-sat/dated-10-13-s.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452671-1177963531/instance-452671-1177963531.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node65/watcher-452671-1177963531 -o ROOT/results/node65/solver-452671-1177963531 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/452671-1177963531/instance-452671-1177963531.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  6e9c2aadaeb51e3400bb600f13759f35

RANDOM SEED= 583809513

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node65.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.245
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.245
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:       1784760 kB
Buffers:         20356 kB
Cached:         171672 kB
SwapCached:       2860 kB
Active:          62580 kB
Inactive:       141576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1784760 kB
SwapTotal:     4192956 kB
SwapFree:      4184072 kB
Dirty:           31704 kB
Writeback:           0 kB
Mapped:          18088 kB
Slab:            53088 kB
Committed_AS:  2609664 kB
PageTables:       1464 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= 66534 MiB

End job on node65 on Mon Apr 30 20:10:57 UTC 2007