Trace number 318856

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
TTS 4.0? (MO) 659.508 659.679

General information on the benchmark

Nameindustrial/babic/hsatv17/
hsat_vc12016.cnf
MD5SUM240b13662b1715595ba6c034fd886d0b
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.21081
Satisfiable
(Un)Satisfiability was proved
Number of variables162939
Number of clauses456921
Sum of the clauses size1177547
Maximum clause length3
Minimum clause length1
Number of clauses of size 120880
Number of clauses of size 2151456
Number of clauses of size 3284585
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)



Verifier Data (download as text)




ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: 



Watcher Data (download as text)




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

command line: runsolver --timestamp -w ROOT/results/node29/watcher-318856-1176322621 -o ROOT/results/node29/solver-318856-1176322621 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/318856-1176322621/tts-4-0 /tmp/evaluation/318856-1176322621/instance-318856-1176322621.cnf 

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): 2400 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.06 1.01 1.00 3/77 27829
/proc/meminfo: memFree=427336/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=936 CPUtime=0
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 149 0 0 0 0 0 0 0 18 0 1 0 80177911 958464 134 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 234 135 57 113 0 118 0

[startup+0.021407 s]
/proc/loadavg: 1.06 1.01 1.00 3/77 27829
/proc/meminfo: memFree=427336/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=2088 CPUtime=0.01
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 413 0 0 0 1 0 0 0 18 0 1 0 80177911 2138112 398 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 522 399 57 113 0 406 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2088

[startup+0.101411 s]
/proc/loadavg: 1.06 1.01 1.00 3/77 27829
/proc/meminfo: memFree=427336/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=5092 CPUtime=0.09
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 1144 0 0 0 8 1 0 0 18 0 1 0 80177911 5214208 1129 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 1273 1129 57 113 0 1157 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5092

[startup+0.301423 s]
/proc/loadavg: 1.06 1.01 1.00 3/77 27829
/proc/meminfo: memFree=427336/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=12008 CPUtime=0.29
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 2905 0 0 0 28 1 0 0 19 0 1 0 80177911 12296192 2890 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 3002 2890 57 113 0 2886 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12008

[startup+0.701448 s]
/proc/loadavg: 1.06 1.01 1.00 3/77 27829
/proc/meminfo: memFree=427336/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=26088 CPUtime=0.69
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 6388 0 0 0 65 4 0 0 23 0 1 0 80177911 26714112 6373 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 6522 6373 57 113 0 6406 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26088

[startup+1.5015 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 27830
/proc/meminfo: memFree=395328/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=33940 CPUtime=1.49
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 8059 0 0 0 144 5 0 0 25 0 1 0 80177911 34754560 8044 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134524625 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 8485 8044 58 113 0 8369 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33940

[startup+3.1026 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 27830
/proc/meminfo: memFree=395200/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=36344 CPUtime=3.09
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 8565 0 0 0 304 5 0 0 25 0 1 0 80177911 37216256 8550 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 9086 8552 58 113 0 8970 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36344

[startup+6.3018 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 27830
/proc/meminfo: memFree=240960/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=285740 CPUtime=6.29
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 50129 0 0 0 609 20 0 0 25 0 1 0 80177911 292597760 49836 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134555200 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 71435 49836 62 113 0 71319 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 285740

[startup+12.7012 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 27830
/proc/meminfo: memFree=227392/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=285740 CPUtime=12.69
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 50160 0 0 0 1249 20 0 0 25 0 1 0 80177911 292597760 49867 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134555200 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 71435 49867 62 113 0 71319 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 285740

[startup+25.502 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 27830
/proc/meminfo: memFree=227392/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=285740 CPUtime=25.49
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 50160 0 0 0 2529 20 0 0 25 0 1 0 80177911 292597760 49867 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134555203 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 71435 49867 62 113 0 71319 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 285740

[startup+51.1016 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 27830
/proc/meminfo: memFree=227392/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=285740 CPUtime=51.07
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 50163 0 0 0 5087 20 0 0 25 0 1 0 80177911 292597760 49870 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134554486 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 71435 49870 62 113 0 71319 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 285740

[startup+102.306 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 27830
/proc/meminfo: memFree=121664/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=391736 CPUtime=102.27
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 77208 0 0 0 10195 32 0 0 25 0 1 0 80177911 401137664 76341 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134538263 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 97934 76341 65 113 0 97818 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 391736

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27830
/proc/meminfo: memFree=15872/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=691128 CPUtime=162.24
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 151351 0 0 0 16160 64 0 0 25 0 1 0 80177911 707715072 149585 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134538269 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 172782 149585 65 113 0 172666 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 691128

[startup+222.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 27830
/proc/meminfo: memFree=15936/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=1233980 CPUtime=222.23
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 270888 0 0 0 22107 116 0 0 25 0 1 0 80177911 1263595520 269122 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134543308 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 308495 269122 66 113 0 308379 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1233980

[startup+282.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 27830
/proc/meminfo: memFree=18304/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=1295724 CPUtime=282.21
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 285934 0 0 0 28097 124 0 0 25 0 1 0 80177911 1326821376 284168 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134534709 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 323931 284168 66 113 0 323815 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1295724

[startup+342.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 27830
/proc/meminfo: memFree=15680/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=1298524 CPUtime=342.2
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 286635 0 0 0 34095 125 0 0 25 0 1 0 80177911 1329688576 284869 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134641324 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 324631 284869 66 113 0 324515 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1298524

[startup+402.302 s]
/proc/loadavg: 1.01 1.01 1.00 3/78 27830
/proc/meminfo: memFree=15680/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=1300084 CPUtime=402.19
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 287041 0 0 0 40093 126 0 0 25 0 1 0 80177911 1331286016 285275 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 325021 285275 66 113 0 324905 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1300084

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 27830
/proc/meminfo: memFree=19840/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=1301904 CPUtime=462.17
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 287527 0 0 0 46091 126 0 0 25 0 1 0 80177911 1333149696 285761 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 325476 285761 66 113 0 325360 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1301904

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27830
/proc/meminfo: memFree=19392/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=1302384 CPUtime=522.16
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 287649 0 0 0 52089 127 0 0 25 0 1 0 80177911 1333641216 285883 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134641338 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 325596 285883 66 113 0 325480 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1302384

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27830
/proc/meminfo: memFree=18880/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=1309468 CPUtime=582.14
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 289381 0 0 0 58086 128 0 0 25 0 1 0 80177911 1340895232 287615 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 327367 287615 66 113 0 327251 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1309468

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27830
/proc/meminfo: memFree=15168/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=1619252 CPUtime=642.13
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 358449 0 0 0 64054 159 0 0 25 0 1 0 80177911 1658114048 356683 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 404813 356683 66 113 0 404697 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1619252



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+659.402 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27830
/proc/meminfo: memFree=16064/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=1845496 CPUtime=659.23
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4194304 395517 0 0 0 65746 177 0 0 25 0 1 0 80177911 1889787904 393751 18446744073709551615 134512640 134976056 4294956592 18446744073709551615 134591708 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 461374 393751 66 113 0 461258 0
Current children cumulated CPU time (s) 659.23
Current children cumulated vsize (KiB) 1845496

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+659.602 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27830
/proc/meminfo: memFree=16064/2055920 swapFree=4192812/4192956
[pid=27829] ppid=27827 vsize=0 CPUtime=659.42
/proc/27829/stat : 27829 (tts-4-0) R 27827 27829 27053 0 -1 4195332 395517 0 0 0 65746 196 0 0 25 0 1 0 80177911 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/27829/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 659.42
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 659.679
CPU time (s): 659.508
CPU user time (s): 657.462
CPU system time (s): 2.04569
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 1845496

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

runsolver used 0.756884 second user time and 1.61575 second system time

The end



Launcher Data (download as text)




Begin job on node29 on Wed Apr 11 20:17:02 UTC 2007

IDJOB= 318856
IDBENCH= 20465
IDSOLVER= 98
FILE ID= node29/318856-1176322621

PBS_JOBID= 4516719

Free space on /tmp= 66556 MiB

SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/industrial/babic/hsatv17/hsat_vc12016.cnf
COMMAND LINE= /tmp/evaluation/318856-1176322621/tts-4-0 /tmp/evaluation/318856-1176322621/instance-318856-1176322621.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-318856-1176322621 -o ROOT/results/node29/solver-318856-1176322621 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/318856-1176322621/tts-4-0 /tmp/evaluation/318856-1176322621/instance-318856-1176322621.cnf            

META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH=  240b13662b1715595ba6c034fd886d0b

RANDOM SEED= 448842015

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node29.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.224
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.224
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:        427872 kB
Buffers:         46416 kB
Cached:        1313108 kB
SwapCached:          0 kB
Active:         659388 kB
Inactive:       758160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        427872 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            9216 kB
Writeback:           0 kB
Mapped:          76904 kB
Slab:           196004 kB
Committed_AS:   200284 kB
PageTables:       1872 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= 66556 MiB

End job on node29 on Wed Apr 11 20:28:03 UTC 2007