Trace number 367452

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
CMUSAT 2007-02-08SAT 502.038 502.161

General information on the benchmark

Nameindustrial/narain/
clauses-6.cnf
MD5SUM61486826db531b2bec67f4c4c779f9ff
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark412.943
Satisfiable
(Un)Satisfiability was proved
Number of variables683995
Number of clauses2623082
Sum of the clauses size6506810
Maximum clause length385
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 21990085
Number of clauses of size 3452561
Number of clauses of size 45943
Number of clauses of size 5154560
Number of clauses of size over 519932

Solver Data (download as text)

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

Verifier Data (download as text)

OK

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-367452-1177551497 -o ROOT/results/node65/solver-367452-1177551497 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/367452-1177551497/cmusat /tmp/evaluation/367452-1177551497/instance-367452-1177551497.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.93 3/64 20129
/proc/meminfo: memFree=1727168/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=2636 CPUtime=0
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 507 0 0 0 0 0 0 0 18 0 1 0 231139616 2699264 491 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134548958 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 659 491 96 243 0 413 0

[startup+0.07514 s]
/proc/loadavg: 0.91 0.97 0.93 3/64 20129
/proc/meminfo: memFree=1727168/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=8784 CPUtime=0.06
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 1923 0 0 0 6 0 0 0 18 0 1 0 231139616 8994816 1907 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 2196 1907 96 243 0 1950 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8784

[startup+0.101142 s]
/proc/loadavg: 0.91 0.97 0.93 3/64 20129
/proc/meminfo: memFree=1727168/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=11360 CPUtime=0.09
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 2434 0 0 0 9 0 0 0 18 0 1 0 231139616 11632640 2418 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 2840 2418 96 243 0 2594 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11360

[startup+0.301159 s]
/proc/loadavg: 0.91 0.97 0.93 3/64 20129
/proc/meminfo: memFree=1727168/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=26672 CPUtime=0.29
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 6202 0 0 0 26 3 0 0 19 0 1 0 231139616 27312128 6186 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 6668 6186 96 243 0 6422 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26672

[startup+0.701193 s]
/proc/loadavg: 0.91 0.97 0.93 3/64 20129
/proc/meminfo: memFree=1727168/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=57624 CPUtime=0.69
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 13294 0 0 0 62 7 0 0 22 0 1 0 231139616 59006976 13278 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 14439 13279 96 243 0 14193 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57624

[startup+1.50126 s]
/proc/loadavg: 0.91 0.97 0.93 2/65 20130
/proc/meminfo: memFree=1654264/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=115224 CPUtime=1.49
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 25442 0 0 0 136 13 0 0 25 0 1 0 231139616 117989376 25426 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 28806 25426 96 243 0 28560 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 115224

[startup+3.10139 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 20130
/proc/meminfo: memFree=1589624/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=222208 CPUtime=3.09
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 51212 0 0 0 282 27 0 0 25 0 1 0 231139616 227540992 51196 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 55585 51196 96 243 0 55339 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 222208

[startup+6.30165 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 20130
/proc/meminfo: memFree=1488888/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=252908 CPUtime=6.29
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 60364 0 0 0 597 32 0 0 25 0 1 0 231139616 258977792 60339 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135093012 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 63227 60346 108 243 0 62981 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 252908

[startup+12.7012 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 20130
/proc/meminfo: memFree=1477048/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=262640 CPUtime=12.69
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 63045 0 0 0 1236 33 0 0 25 0 1 0 231139616 268943360 63020 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134546892 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 65660 63020 107 243 0 65414 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 262640

[startup+25.5012 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 20130
/proc/meminfo: memFree=1401208/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=345244 CPUtime=25.48
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 83040 0 0 0 2506 42 0 0 25 0 1 0 231139616 353529856 83015 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134522228 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 86311 83015 107 243 0 86065 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 345244

[startup+51.1014 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 20130
/proc/meminfo: memFree=1644600/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=135160 CPUtime=51.08
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 115534 0 0 0 5045 63 0 0 25 0 1 0 231139616 138403840 29471 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134592013 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 33790 29471 112 243 0 33544 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 135160

[startup+102.305 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 20130
/proc/meminfo: memFree=1609144/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=135160 CPUtime=102.27
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 115698 0 0 0 10163 64 0 0 25 0 1 0 231139616 138403840 29635 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 33790 29635 118 243 0 33544 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 135160

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 20132
/proc/meminfo: memFree=1588088/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=155512 CPUtime=162.25
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 120989 0 0 0 16155 70 0 0 25 0 1 0 231139616 159244288 34926 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589468 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 38878 34926 118 243 0 38632 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 155512

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 20132
/proc/meminfo: memFree=1566840/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=175972 CPUtime=222.24
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 126238 0 0 0 22148 76 0 0 25 0 1 0 231139616 180195328 40175 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134579083 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 43993 40175 118 243 0 43747 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 175972

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 20132
/proc/meminfo: memFree=1546232/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=196208 CPUtime=282.22
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 131426 0 0 0 28142 80 0 0 25 0 1 0 231139616 200916992 45363 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134590282 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 49052 45363 118 243 0 48806 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 196208

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 20132
/proc/meminfo: memFree=1528504/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=213424 CPUtime=342.21
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 135822 0 0 0 34137 84 0 0 25 0 1 0 231139616 218546176 49759 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 53356 49759 118 243 0 53110 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 213424

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 20132
/proc/meminfo: memFree=1510776/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=231032 CPUtime=402.2
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 140308 0 0 0 40131 89 0 0 25 0 1 0 231139616 236576768 54245 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589593 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 57758 54245 118 243 0 57512 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 231032

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 20132
/proc/meminfo: memFree=1492920/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=248420 CPUtime=462.18
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 144735 0 0 0 46124 94 0 0 25 0 1 0 231139616 254382080 58672 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134578865 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 62105 58672 118 243 0 61859 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 248420

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

[startup+486.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 20132
/proc/meminfo: memFree=1485560/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=255504 CPUtime=486.17
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 146551 0 0 0 48521 96 0 0 25 0 1 0 231139616 261636096 60488 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589468 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 63876 60488 118 243 0 63630 0
Current children cumulated CPU time (s) 486.17
Current children cumulated vsize (KiB) 255504

[startup+492.702 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 20132
/proc/meminfo: memFree=1483384/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=257616 CPUtime=492.58
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 147091 0 0 0 49161 97 0 0 25 0 1 0 231139616 263798784 61028 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589506 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 64404 61028 118 243 0 64158 0
Current children cumulated CPU time (s) 492.58
Current children cumulated vsize (KiB) 257616

[startup+499.101 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 20132
/proc/meminfo: memFree=1660792/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=150808 CPUtime=498.97
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 172716 0 0 0 49783 114 0 0 25 0 1 0 231139616 154427392 25536 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134594129 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 37702 25536 118 243 0 37456 0
Current children cumulated CPU time (s) 498.97
Current children cumulated vsize (KiB) 150808

[startup+500.702 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 20132
/proc/meminfo: memFree=1573880/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=177280 CPUtime=500.57
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 188399 0 0 0 49934 123 0 0 25 0 1 0 231139616 181534720 41219 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 44320 41219 118 243 0 44074 0
Current children cumulated CPU time (s) 500.57
Current children cumulated vsize (KiB) 177280

[startup+501.502 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 20132
/proc/meminfo: memFree=1508216/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=230268 CPUtime=501.38
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 202025 0 0 0 50008 130 0 0 25 0 1 0 231139616 235794432 54845 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 57567 54845 118 243 0 57321 0
Current children cumulated CPU time (s) 501.38
Current children cumulated vsize (KiB) 230268

[startup+501.902 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 20132
/proc/meminfo: memFree=1508216/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=230548 CPUtime=501.77
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 202745 0 0 0 50047 130 0 0 25 0 1 0 231139616 236081152 55231 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135145181 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 57637 55231 128 243 0 57391 0
Current children cumulated CPU time (s) 501.77
Current children cumulated vsize (KiB) 230548

[startup+502.102 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 20132
/proc/meminfo: memFree=1508216/2055920 swapFree=4184008/4192956
[pid=20129] ppid=20127 vsize=230548 CPUtime=501.97
/proc/20129/stat : 20129 (cmusat) R 20127 20129 19045 0 -1 4194304 202745 0 0 0 50066 131 0 0 25 0 1 0 231139616 236081152 55231 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135145181 0 0 4096 35 0 0 0 17 1 0 0
/proc/20129/statm: 57637 55231 128 243 0 57391 0
Current children cumulated CPU time (s) 501.97
Current children cumulated vsize (KiB) 230548

Child status: 10
Real time (s): 502.161
CPU time (s): 502.038
CPU user time (s): 500.68
CPU system time (s): 1.35779
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 405584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 500.68
system time used= 1.35779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202747
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= 10
involuntary context switches= 679

runsolver used 0.421935 second user time and 1.00885 second system time

The end

Launcher Data (download as text)

Begin job on node65 on Thu Apr 26 01:38:20 UTC 2007

IDJOB= 367452
IDBENCH= 20509
IDSOLVER= 173
FILE ID= node65/367452-1177551497

PBS_JOBID= 4696317

Free space on /tmp= 66350 MiB

SOLVER NAME= CMUSAT 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/narain/clauses-6.cnf
COMMAND LINE= /tmp/evaluation/367452-1177551497/cmusat /tmp/evaluation/367452-1177551497/instance-367452-1177551497.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node65/watcher-367452-1177551497 -o ROOT/results/node65/solver-367452-1177551497 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/367452-1177551497/cmusat /tmp/evaluation/367452-1177551497/instance-367452-1177551497.cnf            

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  61486826db531b2bec67f4c4c779f9ff

RANDOM SEED= 542663836

TIME LIMIT= 5000 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:       1727576 kB
Buffers:         24076 kB
Cached:         223988 kB
SwapCached:       2652 kB
Active:         103028 kB
Inactive:       156904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1727576 kB
SwapTotal:     4192956 kB
SwapFree:      4184008 kB
Dirty:           52708 kB
Writeback:           0 kB
Mapped:          17868 kB
Slab:            54448 kB
Committed_AS:  2506928 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= 66350 MiB

End job on node65 on Thu Apr 26 01:46:42 UTC 2007