Trace number 242346

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
CSPtoSAT+minisat 0.3SAT 0.027995 0.039267

General information on the benchmark

Namedimacs/ssa/
ssa-2670-141_ext.xml
MD5SUM6f3931ea06fa90198e947bac565e0a08
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.027995
SatisfiableYES
(Un)Satisfiability was proved
Number of variables391
Number of constraints177
Maximum constraint arity4
Maximum domain size2
Number of constraints which are defined in extension177
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.02	c This is CSPtoSAT+minisat version 0.3
0.02	c (c) 2006 roussel@cril.univ-artois.fr
0.02	
0.02	c This solver internally uses a modified version of MiniSat2 version 061112
0.02	c MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
0.02	
0.02	c parsing...
0.02	c preparing clauses for relation R0
0.02	c preparing clauses for relation R1
0.02	c preparing clauses for relation R2
0.02	c preparing clauses for relation R3
0.02	c preparing clauses for relation R4
0.02	c preparing clauses for relation R5
0.02	c instanciating clauses for relation R0 (supports) and variables V172 V169 
0.02	c instanciating clauses for relation R0 (supports) and variables V145 V109 
0.02	c instanciating clauses for relation R0 (supports) and variables V144 V34 
0.02	c instanciating clauses for relation R0 (supports) and variables V146 V33 
0.02	c instanciating clauses for relation R0 (supports) and variables V223 V222 
0.02	c instanciating clauses for relation R0 (supports) and variables V112 V35 
0.02	c instanciating clauses for relation R0 (supports) and variables V147 V36 
0.02	c instanciating clauses for relation R0 (supports) and variables V136 V134 
0.02	c instanciating clauses for relation R0 (supports) and variables V227 V192 
0.02	c instanciating clauses for relation R0 (supports) and variables V228 V195 
0.02	c instanciating clauses for relation R0 (supports) and variables V161 V46 
0.02	c instanciating clauses for relation R0 (supports) and variables V137 V79 
0.02	c instanciating clauses for relation R0 (supports) and variables V231 V194 
0.02	c instanciating clauses for relation R0 (supports) and variables V226 V225 
0.02	c instanciating clauses for relation R0 (supports) and variables V258 V257 
0.02	c instanciating clauses for relation R0 (supports) and variables V288 V262 
0.02	c instanciating clauses for relation R0 (supports) and variables V287 V268 
0.02	c instanciating clauses for relation R0 (supports) and variables V363 V267 
0.02	c instanciating clauses for relation R0 (supports) and variables V266 V265 
0.02	c instanciating clauses for relation R0 (supports) and variables V241 V162 
0.02	c instanciating clauses for relation R0 (supports) and variables V219 V153 
0.02	c instanciating clauses for relation R0 (supports) and variables V328 V327 
0.02	c instanciating clauses for relation R0 (supports) and variables V298 V247 
0.02	c instanciating clauses for relation R0 (supports) and variables V364 V217 
0.02	c instanciating clauses for relation R0 (supports) and variables V313 V303 
0.02	c instanciating clauses for relation R0 (supports) and variables V330 V329 
0.02	c instanciating clauses for relation R0 (supports) and variables V359 V356 
0.02	c instanciating clauses for relation R0 (supports) and variables V290 V289 
0.02	c instanciating clauses for relation R0 (supports) and variables V353 V299 
0.02	c instanciating clauses for relation R0 (supports) and variables V204 V199 
0.02	c instanciating clauses for relation R0 (supports) and variables V203 V198 
0.02	c instanciating clauses for relation R0 (supports) and variables V233 V230 
0.02	c instanciating clauses for relation R0 (supports) and variables V7 V0 
0.02	c instanciating clauses for relation R0 (supports) and variables V218 V93 
0.02	c instanciating clauses for relation R0 (supports) and variables V85 V49 
0.02	c instanciating clauses for relation R0 (supports) and variables V110 V108 
0.02	c instanciating clauses for relation R0 (supports) and variables V111 V80 
0.02	c instanciating clauses for relation R0 (supports) and variables V97 V94 
0.02	c instanciating clauses for relation R0 (supports) and variables V143 V45 
0.02	c instanciating clauses for relation R0 (supports) and variables V44 V38 
0.02	c instanciating clauses for relation R0 (supports) and variables V291 V86 
0.02	c instanciating clauses for relation R0 (supports) and variables V187 V41 
0.02	c instanciating clauses for relation R0 (supports) and variables V10 V6 
0.02	c instanciating clauses for relation R0 (supports) and variables V17 V12 
0.02	c instanciating clauses for relation R0 (supports) and variables V48 V47 
0.02	c instanciating clauses for relation R0 (supports) and variables V130 V127 
0.02	c instanciating clauses for relation R0 (supports) and variables V177 V124 
0.02	c instanciating clauses for relation R0 (supports) and variables V254 V224 
0.02	c instanciating clauses for relation R0 (supports) and variables V179 V173 
0.02	c instanciating clauses for relation R0 (supports) and variables V251 V149 
0.02	c instanciating clauses for relation R0 (supports) and variables V292 V238 
0.02	c instanciating clauses for relation R0 (supports) and variables V348 V338 
0.02	c instanciating clauses for relation R0 (supports) and variables V324 V318 
0.02	c instanciating clauses for relation R0 (supports) and variables V325 V321 
0.02	c instanciating clauses for relation R0 (supports) and variables V335 V332 
0.02	c instanciating clauses for relation R0 (supports) and variables V221 V220 
0.02	c instanciating clauses for relation R0 (supports) and variables V256 V248 
0.02	c instanciating clauses for relation R0 (supports) and variables V189 V188 
0.02	c instanciating clauses for relation R0 (supports) and variables V186 V185 
0.02	c instanciating clauses for relation R0 (supports) and variables V331 V74 
0.02	c instanciating clauses for relation R0 (supports) and variables V107 V104 
0.02	c instanciating clauses for relation R0 (supports) and variables V66 V31 
0.02	c instanciating clauses for relation R0 (supports) and variables V64 V63 
0.02	c instanciating clauses for relation R0 (supports) and variables V26 V21 
0.02	c instanciating clauses for relation R0 (supports) and variables V56 V28 
0.02	c instanciating clauses for relation R0 (supports) and variables V58 V30 
0.02	c instanciating clauses for relation R0 (supports) and variables V57 V29 
0.02	c instanciating clauses for relation R0 (supports) and variables V295 V293 
0.02	c instanciating clauses for relation R1 (supports) and variables V170 V171 V168 
0.02	c instanciating clauses for relation R1 (supports) and variables V9 V8 V2 
0.02	c instanciating clauses for relation R1 (supports) and variables V250 V191 V72 
0.02	c instanciating clauses for relation R1 (supports) and variables V255 V249 V113 
0.02	c instanciating clauses for relation R1 (supports) and variables V336 V334 V333 
0.02	c instanciating clauses for relation R1 (supports) and variables V78 V77 V76 
0.02	c instanciating clauses for relation R1 (supports) and variables V51 V52 V18 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V193 V229 V195 V192 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V196 V205 V207 V208 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V4 V89 V91 V92 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V3 V82 V80 V84 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V15 V100 V102 V103 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V13 V95 V94 V96 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V39 V81 V362 V83 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V11 V14 V12 V16 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V123 V125 V178 V126 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V119 V121 V135 V122 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V148 V151 V149 V190 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V150 V174 V180 V175 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V116 V120 V206 V117 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V337 V340 V332 V253 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V337 V341 V332 V253 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V337 V340 V342 V253 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V337 V341 V342 V253 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V337 V345 V350 V339 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V20 V105 V104 V106 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V55 V87 V90 V88 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V19 V98 V101 V99 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V297 V293 V294 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V297 V296 V294 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V245 V243 V242 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V246 V243 V242 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V245 V244 V242 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V246 V244 V242 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V127 V133 V132 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V129 V131 V128 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V71 V70 V69 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V257 V260 V259 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V269 V271 V261 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V270 V274 V261 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V260 V263 V264 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V210 V176 V200 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V210 V209 V200 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V214 V211 V202 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V214 V215 V216 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V211 V212 V213 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V160 V155 V159 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V160 V165 V163 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V155 V157 V158 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V139 V140 V138 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V142 V141 V138 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V280 V278 V277 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V281 V278 V277 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V280 V279 V277 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V281 V279 V277 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V305 V304 V300 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V307 V306 V300 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V366 V365 V358 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V366 V323 V358 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V357 V354 V355 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V357 V356 V355 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V359 V360 V361 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V301 V299 V302 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V37 V41 V40 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V37 V252 V43 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V42 V181 V182 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V27 V25 V24 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V23 V21 V22 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V273 V272 V118 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V276 V275 V118 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V316 V314 V184 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V316 V315 V184 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V240 V239 V183 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V240 V237 V183 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V342 V332 V253 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V341 V340 V253 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V285 V283 V282 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V286 V283 V282 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V285 V284 V282 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V286 V284 V282 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V310 V309 V308 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V312 V311 V308 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V317 V320 V341 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V317 V318 V319 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V320 V326 V322 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V344 V343 V340 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V344 V347 V346 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V343 V349 V351 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V164 V152 V73 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V164 V166 V167 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V152 V156 V154 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V236 V234 V75 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V236 V235 V75 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V62 V61 V53 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V62 V63 V65 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V61 V67 V68 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V32 V59 V60 
0.03	c instanciating clauses for relation R4 (supports) and variables V390 V387 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V387 V389 V388 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V197 V374 V373 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V201 V376 V375 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V232 V372 V371 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V352 V368 V367 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V1 V384 V383 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V5 V386 V385 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V115 V370 V369 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V114 V378 V377 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V50 V382 V381 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V54 V380 V379 
0.03	c ...done
0.03	c #SATvar=947 #SATclauses=1778 #CSPpredicates=0
0.03	Verified 1776 original clauses.
0.03	c SAT problem is solved
0.03	restarts              : 1
0.03	conflicts             : 0              (0 /sec)
0.03	decisions             : 280            (1.79 % random) (11669 /sec)
0.03	propagations          : 945            (39382 /sec)
0.03	conflict literals     : 0              ( nan % deleted)
0.03	Memory used           : 6.89 MB
0.03	CPU time              : 0.023996 s
0.03	c all predicates checked
0.03	
0.03	s SATISFIABLE
0.03	v 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 0 1 1 1 1 0 1 0 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 1 1 1 0 1 0 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 0 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 
0.03

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node11/watcher-242346-1168701572 -o ROOT/results/node11/solver-242346-1168701572 -C 1800 -M 900 /tmp/evaluation/242346-1168701572/CSPtoSAT+minisat /tmp/evaluation/242346-1168701572/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.60 1.74 0.85 4/87 30007
/proc/meminfo: memFree=1614352/2055920 swapFree=4171812/4192956
[pid=30006] ppid=30004 vsize=496 CPUtime=0
/proc/30006/stat : 30006 (CSPtoSAT+minisa) R 30004 30006 29836 0 -1 4194304 51 0 0 0 0 0 0 0 19 0 1 0 218552475 507904 36 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 7979812 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/30006/statm: 124 36 29 52 0 19 0

Child status: 0
Real time (s): 0.039267
CPU time (s): 0.027995
CPU user time (s): 0.024996
CPU system time (s): 0.002999
CPU usage (%): 71.294
Max. virtual memory (cumulated for all children) (KiB): 0

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

runsolver used 0.002999 s user time and 0.008998 s system time

The end

Launcher Data (download as text)

Begin job on node11 on Sat Jan 13 15:19:32 UTC 2007


IDJOB= 242346
IDBENCH= 7385
IDSOLVER= 87
FILE ID= node11/242346-1168701572

PBS_JOBID= 3546997

Free space on /tmp= 66561 MiB

SOLVER NAME= CSPtoSAT+minisat 0.3
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/ssa/ssa-2670-141_ext.xml
COMMAND LINE= /tmp/evaluation/242346-1168701572/CSPtoSAT+minisat /tmp/evaluation/242346-1168701572/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-242346-1168701572 -o ROOT/results/node11/solver-242346-1168701572 -C 1800 -M 900  /tmp/evaluation/242346-1168701572/CSPtoSAT+minisat /tmp/evaluation/242346-1168701572/unknown.xml

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  6f3931ea06fa90198e947bac565e0a08

RANDOM SEED= 858519331

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.261
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	: 5931.00
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.261
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:       1614960 kB
Buffers:          7900 kB
Cached:         114196 kB
SwapCached:       2684 kB
Active:         296524 kB
Inactive:        84448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1614960 kB
SwapTotal:     4192956 kB
SwapFree:      4171812 kB
Dirty:            1712 kB
Writeback:           0 kB
Mapped:         277168 kB
Slab:            44184 kB
Committed_AS:  7338508 kB
PageTables:       2816 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= 66561 MiB



End job on node11 on Sat Jan 13 15:19:35 UTC 2007