Trace number 370178

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-08UNSAT 169.521 169.584

General information on the benchmark

Namecrafted/Difficult/contest05/QG/
QG6-dead-dnd001.sat05-2742.reshuffled-07.cnf
MD5SUMb415e752d16c11d39d46562455a8cb4d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark70.7312
Satisfiable
(Un)Satisfiability was proved
Number of variables1558
Number of clauses8169
Sum of the clauses size71377
Maximum clause length16
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 2290
Number of clauses of size 31413
Number of clauses of size 4183
Number of clauses of size 5234
Number of clauses of size over 56016

Solver Data (download as text)

0.00/0.00	c Pre-processing provided 0 assignments
0.00/0.00	c |  Number of variables:  1558                                                 |
0.00/0.02	c |  Number of clauses:    8169                                                 |
169.43/169.57	c |  Parsing time:         0.02         sec                                       |
169.43/169.57	c #varS 1558 #clauseS 4390
169.43/169.57	c REMAP internally 1
169.43/169.57	c After remapping new number of variables: 1253
169.43/169.57	c DBreduced=0 GV=101[0]  GL=4491[ 4390,101] Prune=1202 decisions=1101 restart=0 est=6.37448e-05 DB Impl=2489[0]  
169.43/169.57	c DBreduced=0 GV=151[0]  GL=4541[ 4390,151] Prune=1328 decisions=1177 restart=1 est=6.3745e-05 DB Impl=3284[0]  
169.43/169.57	c DBreduced=0 GV=226[0]  GL=4616[ 4390,226] Prune=1555 decisions=1329 restart=2 est=0.000382418 DB Impl=4343[0]  
169.43/169.57	c DBreduced=0 GV=338[0]  GL=4728[ 4390,338] Prune=2274 decisions=1936 restart=3 est=0.000446213 DB Impl=6278[0]  
169.43/169.57	c DBreduced=0 GV=507[0]  GL=4897[ 4390,507] Prune=2793 decisions=2286 restart=4 est=0.000382519 DB Impl=9546[0]  
169.43/169.57	c DBreduced=0 GV=760[0]  GL=5150[ 4390,760] Prune=3805 decisions=3045 restart=5 est=0.000382469 DB Impl=14784[0]  
169.43/169.57	c DBreduced=0 GV=1140[0]  GL=5530[ 4390,1140] Prune=5023 decisions=3883 restart=6 est=0.000446163 DB Impl=24357[0]  
169.43/169.57	c DBreduced=0 GV=1710[0]  GL=6100[ 4390,1710] Prune=6710 decisions=5000 restart=7 est=0.000318775 DB Impl=41548[0]  
169.43/169.57	c DBreduced=1 GV=2563[0]  GL=6539[ 4390,2149] Prune=9086 decisions=6523 restart=8 est=0.000446213 DB Impl=62307[0]  
169.43/169.57	c DBreduced=3 GV=3845[0]  GL=5852[ 4390,1462] Prune=12432 decisions=8587 restart=9 est=0.00038252 DB Impl=98751[0]  
169.43/169.57	c DBreduced=4 GV=5767[0]  GL=6764[ 4390,2374] Prune=17624 decisions=11857 restart=10 est=0.000382519 DB Impl=160974[0]  
169.43/169.57	c DBreduced=6 GV=8650[0]  GL=7532[ 4390,3142] Prune=26802 decisions=18152 restart=11 est=0.000382469 DB Impl=263610[0]  
169.43/169.57	c DBreduced=9 GV=12975[0]  GL=7954[ 4390,3564] Prune=39939 decisions=26964 restart=12 est=0.000446213 DB Impl=409463[0]  
169.43/169.57	c DBreduced=12 GV=19462[0]  GL=9348[ 4390,4958] Prune=58799 decisions=39337 restart=13 est=0.000509857 DB Impl=635091[0]  
169.43/169.57	c DBreduced=15 GV=29193[0]  GL=12577[ 4390,8187] Prune=84156 decisions=54963 restart=14 est=0.000446112 DB Impl=1019391[0]  
169.43/169.57	c DBreduced=19 GV=43790[0]  GL=15102[ 4390,10712] Prune=121417 decisions=77627 restart=15 est=6.37448e-05 DB Impl=1508632[0]  
169.43/169.57	c DBreduced=23 GV=65685[0]  GL=19332[ 4390,14942] Prune=179388 decisions=113703 restart=16 est=0.000573601 DB Impl=2323737[0]  
169.43/169.57	c DBreduced=27 GV=98527[0]  GL=27802[ 4390,23412] Prune=258919 decisions=160392 restart=17 est=0.0802547 DB Impl=3549450[0]  
169.43/169.57	c DBreduced=31 GV=147790[0]  GL=40607[ 4390,36217] Prune=373916 decisions=226126 restart=18 est=0.0807644 DB Impl=5607034[0]  
169.43/169.57	c DBreduced=36 GV=221684[0]  GL=45178[ 4390,40788] Prune=538419 decisions=316735 restart=19 est=0.079873 DB Impl=8709207[0]  
169.43/169.57	c DBreduced=40 GV=332526[0]  GL=72714[ 4390,68324] Prune=780059 decisions=447533 restart=20 est=0.240508 DB Impl=13554769[0]  
169.43/169.57	c #Total time (in seconds): 169.457
169.43/169.57	c #Memory used (in MB): 25.4141
169.43/169.57	c 
169.43/169.57	s UNSATISFIABLE

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node67/watcher-370178-1177552240 -o ROOT/results/node67/solver-370178-1177552240 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/370178-1177552240/cmusat /tmp/evaluation/370178-1177552240/instance-370178-1177552240.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.95 3/64 29604
/proc/meminfo: memFree=1640112/2055920 swapFree=4182956/4192956
[pid=29604] ppid=29602 vsize=2448 CPUtime=0
/proc/29604/stat : 29604 (cmusat) R 29602 29604 28824 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 231213549 2506752 267 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/29604/statm: 612 268 96 243 0 366 0

[startup+0.0820161 s]
/proc/loadavg: 0.91 0.97 0.95 3/64 29604
/proc/meminfo: memFree=1640112/2055920 swapFree=4182956/4192956
[pid=29604] ppid=29602 vsize=2796 CPUtime=0.07
/proc/29604/stat : 29604 (cmusat) R 29602 29604 28824 0 -1 4194304 584 0 0 0 7 0 0 0 18 0 1 0 231213549 2863104 397 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135107855 0 0 4096 35 0 0 0 17 1 0 0
/proc/29604/statm: 699 397 111 243 0 453 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2796

[startup+0.101018 s]
/proc/loadavg: 0.91 0.97 0.95 3/64 29604
/proc/meminfo: memFree=1640112/2055920 swapFree=4182956/4192956
[pid=29604] ppid=29602 vsize=3120 CPUtime=0.09
/proc/29604/stat : 29604 (cmusat) R 29602 29604 28824 0 -1 4194304 631 0 0 0 9 0 0 0 18 0 1 0 231213549 3194880 444 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134591949 0 0 4096 35 0 0 0 17 1 0 0
/proc/29604/statm: 780 444 118 243 0 534 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3120

[startup+0.301054 s]
/proc/loadavg: 0.91 0.97 0.95 3/64 29604
/proc/meminfo: memFree=1640112/2055920 swapFree=4182956/4192956
[pid=29604] ppid=29602 vsize=3560 CPUtime=0.29
/proc/29604/stat : 29604 (cmusat) R 29602 29604 28824 0 -1 4194304 746 0 0 0 29 0 0 0 19 0 1 0 231213549 3645440 559 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134580956 0 0 4096 35 0 0 0 17 1 0 0
/proc/29604/statm: 890 559 118 243 0 644 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3560

[startup+0.701128 s]
/proc/loadavg: 0.91 0.97 0.95 3/64 29604
/proc/meminfo: memFree=1640112/2055920 swapFree=4182956/4192956
[pid=29604] ppid=29602 vsize=3880 CPUtime=0.69
/proc/29604/stat : 29604 (cmusat) R 29602 29604 28824 0 -1 4194304 830 0 0 0 69 0 0 0 22 0 1 0 231213549 3973120 643 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589526 0 0 4096 35 0 0 0 17 1 0 0
/proc/29604/statm: 970 643 118 243 0 724 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3880

[startup+1.50127 s]
/proc/loadavg: 0.91 0.97 0.95 2/65 29605
/proc/meminfo: memFree=1637288/2055920 swapFree=4182956/4192956
[pid=29604] ppid=29602 vsize=4912 CPUtime=1.49
/proc/29604/stat : 29604 (cmusat) R 29602 29604 28824 0 -1 4194304 1049 0 0 0 149 0 0 0 25 0 1 0 231213549 5029888 862 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589563 0 0 4096 35 0 0 0 17 1 0 0
/proc/29604/statm: 1228 862 118 243 0 982 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4912

[startup+3.10156 s]
/proc/loadavg: 0.91 0.97 0.95 2/65 29605
/proc/meminfo: memFree=1636584/2055920 swapFree=4182956/4192956
[pid=29604] ppid=29602 vsize=5616 CPUtime=3.09
/proc/29604/stat : 29604 (cmusat) R 29602 29604 28824 0 -1 4194304 1270 0 0 0 309 0 0 0 25 0 1 0 231213549 5750784 1083 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589468 0 0 4096 35 0 0 0 17 1 0 0
/proc/29604/statm: 1404 1083 118 243 0 1158 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5616

[startup+6.30115 s]
/proc/loadavg: 0.92 0.97 0.95 2/65 29605
/proc/meminfo: memFree=1634536/2055920 swapFree=4182956/4192956
[pid=29604] ppid=29602 vsize=7480 CPUtime=6.29
/proc/29604/stat : 29604 (cmusat) R 29602 29604 28824 0 -1 4194304 1806 0 0 0 628 1 0 0 25 0 1 0 231213549 7659520 1451 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/29604/statm: 1870 1451 118 243 0 1624 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7480

[startup+12.7013 s]
/proc/loadavg: 0.92 0.97 0.95 2/65 29605
/proc/meminfo: memFree=1633768/2055920 swapFree=4182956/4192956
[pid=29604] ppid=29602 vsize=7944 CPUtime=12.69
/proc/29604/stat : 29604 (cmusat) R 29602 29604 28824 0 -1 4194304 2162 0 0 0 1268 1 0 0 25 0 1 0 231213549 8134656 1627 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134578858 0 0 4096 35 0 0 0 17 1 0 0
/proc/29604/statm: 1986 1627 118 243 0 1740 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7944

[startup+25.5016 s]
/proc/loadavg: 0.94 0.97 0.95 2/65 29605
/proc/meminfo: memFree=1628072/2055920 swapFree=4182956/4192956
[pid=29604] ppid=29602 vsize=14408 CPUtime=25.48
/proc/29604/stat : 29604 (cmusat) R 29602 29604 28824 0 -1 4194304 4091 0 0 0 2546 2 0 0 25 0 1 0 231213549 14753792 3032 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589593 0 0 4096 35 0 0 0 17 1 0 0
/proc/29604/statm: 3602 3032 118 243 0 3356 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14408

[startup+51.1013 s]
/proc/loadavg: 0.96 0.97 0.95 2/65 29605
/proc/meminfo: memFree=1626344/2055920 swapFree=4182956/4192956
[pid=29604] ppid=29602 vsize=15752 CPUtime=51.07
/proc/29604/stat : 29604 (cmusat) R 29602 29604 28824 0 -1 4194304 4886 0 0 0 5103 4 0 0 25 0 1 0 231213549 16130048 3480 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/29604/statm: 3938 3480 118 243 0 3692 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 15752

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.95 2/65 29605
/proc/meminfo: memFree=1618024/2055920 swapFree=4182956/4192956
[pid=29604] ppid=29602 vsize=25568 CPUtime=102.26
/proc/29604/stat : 29604 (cmusat) R 29602 29604 28824 0 -1 4194304 7992 0 0 0 10221 5 0 0 25 0 1 0 231213549 26181632 5543 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134590157 0 0 4096 35 0 0 0 17 1 0 0
/proc/29604/statm: 6392 5543 118 243 0 6146 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 25568

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 29605
/proc/meminfo: memFree=1617064/2055920 swapFree=4182956/4192956
[pid=29604] ppid=29602 vsize=26024 CPUtime=162.23
/proc/29604/stat : 29604 (cmusat) R 29602 29604 28824 0 -1 4194304 8551 0 0 0 16218 5 0 0 25 0 1 0 231213549 26648576 5782 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134580118 0 0 4096 35 0 0 0 17 1 0 0
/proc/29604/statm: 6506 5782 118 243 0 6260 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 26024

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

[startup+166.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 29605
/proc/meminfo: memFree=1617000/2055920 swapFree=4182956/4192956
[pid=29604] ppid=29602 vsize=26024 CPUtime=166.23
/proc/29604/stat : 29604 (cmusat) R 29602 29604 28824 0 -1 4194304 8555 0 0 0 16618 5 0 0 25 0 1 0 231213549 26648576 5786 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589589 0 0 4096 35 0 0 0 17 1 0 0
/proc/29604/statm: 6506 5786 118 243 0 6260 0
Current children cumulated CPU time (s) 166.23
Current children cumulated vsize (KiB) 26024

[startup+167.902 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 29605
/proc/meminfo: memFree=1617000/2055920 swapFree=4182956/4192956
[pid=29604] ppid=29602 vsize=26024 CPUtime=167.83
/proc/29604/stat : 29604 (cmusat) R 29602 29604 28824 0 -1 4194304 8558 0 0 0 16778 5 0 0 25 0 1 0 231213549 26648576 5789 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/29604/statm: 6506 5789 118 243 0 6260 0
Current children cumulated CPU time (s) 167.83
Current children cumulated vsize (KiB) 26024

[startup+168.702 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 29605
/proc/meminfo: memFree=1617000/2055920 swapFree=4182956/4192956
[pid=29604] ppid=29602 vsize=26024 CPUtime=168.63
/proc/29604/stat : 29604 (cmusat) R 29602 29604 28824 0 -1 4194304 8558 0 0 0 16858 5 0 0 25 0 1 0 231213549 26648576 5789 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134581192 0 0 4096 35 0 0 0 17 1 0 0
/proc/29604/statm: 6506 5789 118 243 0 6260 0
Current children cumulated CPU time (s) 168.63
Current children cumulated vsize (KiB) 26024

[startup+169.102 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 29605
/proc/meminfo: memFree=1617000/2055920 swapFree=4182956/4192956
[pid=29604] ppid=29602 vsize=26024 CPUtime=169.03
/proc/29604/stat : 29604 (cmusat) R 29602 29604 28824 0 -1 4194304 8558 0 0 0 16898 5 0 0 25 0 1 0 231213549 26648576 5789 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134581192 0 0 4096 35 0 0 0 17 1 0 0
/proc/29604/statm: 6506 5789 118 243 0 6260 0
Current children cumulated CPU time (s) 169.03
Current children cumulated vsize (KiB) 26024

[startup+169.502 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 29605
/proc/meminfo: memFree=1617000/2055920 swapFree=4182956/4192956
[pid=29604] ppid=29602 vsize=26024 CPUtime=169.43
/proc/29604/stat : 29604 (cmusat) R 29602 29604 28824 0 -1 4194304 8558 0 0 0 16938 5 0 0 25 0 1 0 231213549 26648576 5789 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/29604/statm: 6506 5789 118 243 0 6260 0
Current children cumulated CPU time (s) 169.43
Current children cumulated vsize (KiB) 26024

Child status: 20
Real time (s): 169.584
CPU time (s): 169.521
CPU user time (s): 169.457
CPU system time (s): 0.06399
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 26024

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

runsolver used 0.141978 second user time and 0.32695 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Thu Apr 26 01:50:40 UTC 2007

IDJOB= 370178
IDBENCH= 24713
IDSOLVER= 182
FILE ID= node67/370178-1177552240

PBS_JOBID= 4696619

Free space on /tmp= 66468 MiB

SOLVER NAME= CMUSAT 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/crafted/Difficult/contest05/QG/QG6-dead-dnd001.sat05-2742.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/370178-1177552240/cmusat /tmp/evaluation/370178-1177552240/instance-370178-1177552240.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-370178-1177552240 -o ROOT/results/node67/solver-370178-1177552240 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/370178-1177552240/cmusat /tmp/evaluation/370178-1177552240/instance-370178-1177552240.cnf            

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  b415e752d16c11d39d46562455a8cb4d

RANDOM SEED= 908096140

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node67.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.263
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.263
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:       1640648 kB
Buffers:         26948 kB
Cached:         278468 kB
SwapCached:       3916 kB
Active:         204024 kB
Inactive:       148752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1640648 kB
SwapTotal:     4192956 kB
SwapFree:      4182956 kB
Dirty:            2800 kB
Writeback:           0 kB
Mapped:          53196 kB
Slab:            48376 kB
Committed_AS:  1263476 kB
PageTables:       1564 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= 66468 MiB

End job on node67 on Thu Apr 26 01:53:30 UTC 2007