Trace number 1734031

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
CircUs 2009-03-23SAT 18.9951 19.0008

General information on the benchmark

NameCRAFTED/modcircuits/
mod3block_3vars_9gates_restr.cnf
MD5SUM60e334561da9fdbaa733cc223a2437e5
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.72513
Satisfiable
(Un)Satisfiability was proved
Number of variables784
Number of clauses209392
Sum of the clauses size1193937
Maximum clause length28
Minimum clause length1
Number of clauses of size 1169
Number of clauses of size 22410
Number of clauses of size 311424
Number of clauses of size 43741
Number of clauses of size 510370
Number of clauses of size over 5181278

Solver Data 

5.29/5.31	c CirCUs release 2.0 (compiled 25-Mar-09 at 4:46 PM)
5.29/5.31	c Eliminate time :       4.97 
18.89/18.96	c CNF read time  :        0.3 
18.89/18.96	c CNF solve time :      18.92 
18.89/18.96	c Memory usage :     25.625 MB
18.89/18.96	c Restart : 139
18.89/18.96	c Decisions : random(3266), heuristic(204752), history(0/0)
18.89/18.96	c Implications : 5586152
18.89/18.96	c Forced Restart : 0
18.89/18.96	c Polarity Change : 240
18.89/18.96	c Learned clasues  : 19235 out of 143411
18.89/18.96	c Learned literals : 329986 out of 2830801
18.89/18.96	c Number of first UIP : 37245 out of 143411
18.89/18.96	c Number of simplify : 3
18.89/18.96	c Number of continuous distill : 2520
18.89/18.96	c Average depth of OTS : 4
18.89/18.96	c Average depth of additional conflict : 15
18.89/18.96	c Saved conflict clasues : 960
18.89/18.96	c Saved conflict literals : 13318
18.89/18.96	c Additional conflict clauses : 2041
18.89/18.96	c Additional conflict literals : 31733
18.89/18.96	c Additional conflict analysis : 9593
18.89/18.96	s SATISFIABLE
18.89/18.96	v  1  2  3  4  5  6  7  8  9 -10 
18.89/18.96	v -11 -12 -13  14 -15 -16 -17 -18 -19 -20 
18.89/18.96	v -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 
18.89/18.96	v -31 -32 -33 -34 -35 -36 -37 -38 -39  40 
18.89/18.96	v -41 -42 -43 -44 -45  46 -47 -48 -49 -50 
18.89/18.96	v -51  52 -53 -54 -55 -56 -57 -58 -59 -60 
18.89/18.96	v -61 -62 -63 -64 -65  66 -67 -68 -69 -70 
18.89/18.96	v -71 -72 -73  74 -75 -76 -77 -78 -79 -80 
18.89/18.96	v -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 
18.89/18.96	v -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 
18.89/18.96	v -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 
18.89/18.96	v -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 
18.89/18.96	v -121 -122  123 -124 -125 -126 -127 -128 -129 -130 
18.89/18.96	v -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 
18.89/18.96	v -141 -142 -143 -144 -145  146 -147 -148 -149 -150 
18.89/18.96	v -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 
18.89/18.96	v -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 
18.89/18.96	v -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 
18.89/18.96	v -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 
18.89/18.96	v -191 -192 -193 -194 -195 -196 -197 -198  199 -200 
18.89/18.96	v -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 
18.89/18.96	v -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 
18.89/18.96	v -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 
18.89/18.96	v -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 
18.89/18.96	v -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 
18.89/18.96	v -251 -252  253  254  255  256  257  258  259  260 
18.89/18.96	v  261  262  263  264 -265 -266  267  268  269  270 
18.89/18.96	v  271  272 -273 -274 -275  276  277 -278 -279 -280 
18.89/18.96	v -281 -282  283 -284 -285 -286 -287 -288 -289 -290 
18.89/18.96	v  291 -292 -293 -294  295 -296  297 -298 -299 -300 
18.89/18.96	v -301  302 -303  304 -305 -306  307  308 -309  310 
18.89/18.96	v -311 -312 -313  314  315  316 -317 -318  319  320 
18.89/18.96	v  321  322 -323 -324 -325 -326 -327 -328  329 -330 
18.89/18.96	v  331 -332 -333 -334  335 -336 -337 -338  339 -340 
18.89/18.96	v  341 -342  343 -344  345 -346  347 -348 -349  350 
18.89/18.96	v -351  352  353 -354  355  356 -357  358  359 -360 
18.89/18.96	v -361  362  363  364  365 -366  367  368  369  370 
18.89/18.96	v  371 -372 -373  374 -375 -376 -377  378  379  380 
18.89/18.96	v -381 -382 -383  384 -385  386  387 -388 -389  390 
18.89/18.96	v  391  392  393 -394 -395  396 -397 -398 -399  400 
18.89/18.96	v -401  402  403 -404 -405  406 -407  408 -409 -410 
18.89/18.96	v  411  412 -413  414  415 -416  417  418 -419  420 
18.89/18.96	v -421  422 -423 -424  425  426  427  428 -429 -430 
18.89/18.96	v  431  432 -433  434  435 -436  437  438  439  440 
18.89/18.96	v  441 -442  443  444 -445 -446 -447  448  449  450 
18.89/18.96	v  451 -452 -453  454  455  456 -457 -458  459  460 
18.89/18.96	v  461  462  463 -464  465  466  467  468 -469 -470 
18.89/18.96	v  471 -472 -473 -474 -475 -476  477  478  479  480 
18.89/18.96	v -481 -482 -483 -484 -485 -486 -487 -488  489  490 
18.89/18.96	v  491  492 -493 -494 -495 -496 -497 -498 -499 -500 
18.89/18.96	v -501 -502 -503 -504 -505 -506  507  508 -509  510 
18.89/18.96	v -511  512  513 -514  515 -516 -517  518 -519  520 
18.89/18.96	v -521  522 -523  524  525 -526  527 -528 -529  530 
18.89/18.96	v -531  532 -533  534 -535  536 -537  538 -539  540 
18.89/18.96	v -541 -542  543  544 -545  546 -547  548 -549  550 
18.89/18.96	v -551  552 -553  554 -555  556  557 -558  559 -560 
18.89/18.96	v  561 -562  563 -564  565 -566  567 -568 -569  570 
18.89/18.96	v -571  572  573 -574  575 -576 -577 -578  579  580 
18.89/18.96	v  581  582 -583  584  585  586  587  588 -589  590 
18.89/18.96	v -591  592  593 -594  595 -596  597  598  599  600 
18.89/18.96	v  601 -602  603 -604 -605  606 -607  608  609 -610 
18.89/18.96	v  611 -612  613  614 -615 -616  617 -618  619 -620 
18.89/18.96	v -621 -622 -623 -624 -625  626 -627  628  629 -630 
18.89/18.96	v  631 -632 -633 -634 -635 -636 -637  638 -639  640 
18.89/18.96	v -641  642 -643  644  645 -646  647 -648  649 -650 
18.89/18.96	v -651 -652  653  654  655 -656  657  658 -659 -660 
18.89/18.96	v  661 -662 -663  664 -665  666  667 -668  669  670 
18.89/19.00	v -671 -672  673 -674 -675  676  677 -678 -679  680 
18.89/19.00	v -681  682  683 -684  685  686 -687 -688  689  690 
18.89/19.00	v -691 -692  693 -694 -695  696 -697 -698  699  700 
18.89/19.00	v  701  702 -703 -704  705 -706 -707  708 -709 -710 
18.89/19.00	v  711  712 -713 -714  715  716  717  718 -719 -720 
18.89/19.00	v  721 -722 -723 -724 -725 -726 -727  728 -729  730 
18.89/19.00	v  731 -732  733 -734 -735 -736 -737 -738 -739  740 
18.89/19.00	v -741  742  743 -744  745 -746 -747 -748  749 -750 
18.89/19.00	v -751 -752 -753 -754 -755  756 -757 -758 -759 -760 
18.89/19.00	v -761 -762  763 -764 -765 -766 -767 -768 -769 -770 
18.89/19.00	v -771 -772 -773  774  775  776  777  778  779  780 
18.89/19.00	v  781  782  783  784 0

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1734031-1240795023/watcher-1734031-1240795023 -o /tmp/evaluation-result-1734031-1240795023/solver-1734031-1240795023 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/CirCUs HOME/instance-1734031-1240795023.cnf -t 1200 

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): 1800 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 1.10 3/65 9468
/proc/meminfo: memFree=1721056/2055920 swapFree=4191900/4192956
[pid=9468] ppid=9466 vsize=3080 CPUtime=0
/proc/9468/stat : 9468 (CirCUs) R 9466 9468 9334 0 -1 4194304 194 0 0 0 0 0 0 0 20 0 1 120000 107531392 3153920 179 1992294400 134512640 135224549 4294956208 18446744073709551615 134749214 0 0 4096 8192 0 0 0 17 1 0 0
/proc/9468/statm: 770 179 70 173 0 595 0

[startup+0.080846 s]
/proc/loadavg: 1.00 1.00 1.10 3/65 9468
/proc/meminfo: memFree=1721056/2055920 swapFree=4191900/4192956
[pid=9468] ppid=9466 vsize=7468 CPUtime=0.07
/proc/9468/stat : 9468 (CirCUs) R 9466 9468 9334 0 -1 4194304 1339 0 0 0 7 0 0 0 20 0 1 120000 107531392 7647232 1291 1992294400 134512640 135224549 4294956208 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/9468/statm: 1867 1291 70 173 0 1692 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7468

[startup+0.101847 s]
/proc/loadavg: 1.00 1.00 1.10 3/65 9468
/proc/meminfo: memFree=1721056/2055920 swapFree=4191900/4192956
[pid=9468] ppid=9466 vsize=8928 CPUtime=0.09
/proc/9468/stat : 9468 (CirCUs) R 9466 9468 9334 0 -1 4194304 1729 0 0 0 9 0 0 0 20 0 1 120000 107531392 9142272 1616 1992294400 134512640 135224549 4294956208 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/9468/statm: 2232 1616 70 173 0 2057 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8928

[startup+0.301871 s]
/proc/loadavg: 1.00 1.00 1.10 3/65 9468
/proc/meminfo: memFree=1721056/2055920 swapFree=4191900/4192956
[pid=9468] ppid=9466 vsize=20688 CPUtime=0.29
/proc/9468/stat : 9468 (CirCUs) R 9466 9468 9334 0 -1 4194304 4874 0 0 0 27 2 0 0 22 0 1 120000 107531392 21184512 4632 1992294400 134512640 135224549 4294956208 18446744073709551615 134632558 0 0 4096 8192 0 0 0 17 1 0 0
/proc/9468/statm: 5172 4633 70 173 0 4997 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20688

[startup+0.701913 s]
/proc/loadavg: 1.00 1.00 1.10 3/65 9468
/proc/meminfo: memFree=1721056/2055920 swapFree=4191900/4192956
[pid=9468] ppid=9466 vsize=22140 CPUtime=0.69
/proc/9468/stat : 9468 (CirCUs) R 9466 9468 9334 0 -1 4194304 5390 0 0 0 67 2 0 0 25 0 1 120000 107531392 22671360 5147 1992294400 134512640 135224549 4294956208 18446744073709551615 134570518 0 0 4096 8192 0 0 0 17 1 0 0
/proc/9468/statm: 5535 5147 75 173 0 5360 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22140

[startup+1.502 s]
/proc/loadavg: 1.00 1.00 1.10 2/66 9469
/proc/meminfo: memFree=1700632/2055920 swapFree=4191900/4192956
[pid=9468] ppid=9466 vsize=22140 CPUtime=1.49
/proc/9468/stat : 9468 (CirCUs) R 9466 9468 9334 0 -1 4194304 5390 0 0 0 147 2 0 0 25 0 1 120000 107531392 22671360 5147 1992294400 134512640 135224549 4294956208 18446744073709551615 134570670 0 0 4096 8192 0 0 0 17 1 0 0
/proc/9468/statm: 5535 5147 75 173 0 5360 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22140

[startup+3.10118 s]
/proc/loadavg: 1.00 1.00 1.10 2/66 9469
/proc/meminfo: memFree=1700504/2055920 swapFree=4191900/4192956
[pid=9468] ppid=9466 vsize=22140 CPUtime=3.09
/proc/9468/stat : 9468 (CirCUs) R 9466 9468 9334 0 -1 4194304 5390 0 0 0 307 2 0 0 25 0 1 120000 107531392 22671360 5147 1992294400 134512640 135224549 4294956208 18446744073709551615 134570670 0 0 4096 8192 0 0 0 17 1 0 0
/proc/9468/statm: 5535 5147 75 173 0 5360 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22140

[startup+6.30154 s]
/proc/loadavg: 1.00 1.00 1.10 2/66 9469
/proc/meminfo: memFree=1699224/2055920 swapFree=4191900/4192956
[pid=9468] ppid=9466 vsize=23808 CPUtime=6.29
/proc/9468/stat : 9468 (CirCUs) R 9466 9468 9334 0 -1 4194304 6003 0 0 0 626 3 0 0 25 0 1 120000 107531392 24379392 5537 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/9468/statm: 5952 5537 92 173 0 5777 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23808

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.10 2/66 9469
/proc/meminfo: memFree=1697432/2055920 swapFree=4191900/4192956
[pid=9468] ppid=9466 vsize=25432 CPUtime=12.68
/proc/9468/stat : 9468 (CirCUs) R 9466 9468 9334 0 -1 4194304 6396 0 0 0 1265 3 0 0 25 0 1 120000 107531392 26042368 5930 1992294400 134512640 135224549 4294956208 18446744073709551615 134632717 0 0 4096 8192 0 0 0 17 1 0 0
/proc/9468/statm: 6358 5930 92 173 0 6183 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25432

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

[startup+15.9016 s]
/proc/loadavg: 1.00 1.00 1.10 2/66 9469
/proc/meminfo: memFree=1696920/2055920 swapFree=4191900/4192956
[pid=9468] ppid=9466 vsize=25828 CPUtime=15.88
/proc/9468/stat : 9468 (CirCUs) R 9466 9468 9334 0 -1 4194304 6491 0 0 0 1585 3 0 0 25 0 1 120000 107531392 26447872 6025 1992294400 134512640 135224549 4294956208 18446744073709551615 134587776 0 0 4096 8192 0 0 0 17 1 0 0
/proc/9468/statm: 6457 6025 92 173 0 6282 0
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (KiB) 25828

[startup+17.5018 s]
/proc/loadavg: 1.00 1.00 1.10 2/66 9469
/proc/meminfo: memFree=1696792/2055920 swapFree=4191900/4192956
[pid=9468] ppid=9466 vsize=25960 CPUtime=17.49
/proc/9468/stat : 9468 (CirCUs) R 9466 9468 9334 0 -1 4194304 6522 0 0 0 1745 4 0 0 25 0 1 120000 107531392 26583040 6056 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/9468/statm: 6490 6056 92 173 0 6315 0
Current children cumulated CPU time (s) 17.49
Current children cumulated vsize (KiB) 25960

[startup+18.3019 s]
/proc/loadavg: 1.00 1.00 1.10 2/66 9469
/proc/meminfo: memFree=1696792/2055920 swapFree=4191900/4192956
[pid=9468] ppid=9466 vsize=26236 CPUtime=18.29
/proc/9468/stat : 9468 (CirCUs) R 9466 9468 9334 0 -1 4194304 6577 0 0 0 1825 4 0 0 25 0 1 120000 107531392 26865664 6111 1992294400 134512640 135224549 4294956208 18446744073709551615 134618565 0 0 4096 8192 0 0 0 17 1 0 0
/proc/9468/statm: 6559 6111 92 173 0 6384 0
Current children cumulated CPU time (s) 18.29
Current children cumulated vsize (KiB) 26236

[startup+18.7059 s]
/proc/loadavg: 1.00 1.00 1.10 2/66 9469
/proc/meminfo: memFree=1696600/2055920 swapFree=4191900/4192956
[pid=9468] ppid=9466 vsize=26236 CPUtime=18.69
/proc/9468/stat : 9468 (CirCUs) R 9466 9468 9334 0 -1 4194304 6578 0 0 0 1865 4 0 0 25 0 1 120000 107531392 26865664 6112 1992294400 134512640 135224549 4294956208 18446744073709551615 134595412 0 0 4096 8192 0 0 0 17 1 0 0
/proc/9468/statm: 6559 6112 92 173 0 6384 0
Current children cumulated CPU time (s) 18.69
Current children cumulated vsize (KiB) 26236

[startup+18.9019 s]
/proc/loadavg: 1.00 1.00 1.10 2/66 9469
/proc/meminfo: memFree=1696600/2055920 swapFree=4191900/4192956
[pid=9468] ppid=9466 vsize=26236 CPUtime=18.89
/proc/9468/stat : 9468 (CirCUs) R 9466 9468 9334 0 -1 4194304 6578 0 0 0 1885 4 0 0 25 0 1 120000 107531392 26865664 6112 1992294400 134512640 135224549 4294956208 18446744073709551615 134595596 0 0 4096 8192 0 0 0 17 1 0 0
/proc/9468/statm: 6559 6112 92 173 0 6384 0
Current children cumulated CPU time (s) 18.89
Current children cumulated vsize (KiB) 26236

Child status: 0
Real time (s): 19.0008
CPU time (s): 18.9951
CPU user time (s): 18.9491
CPU system time (s): 0.045993
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 26236

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

runsolver used 0.024996 second user time and 0.049992 second system time

The end

Launcher Data 

Begin job on node91 at 2009-04-27 03:17:04
IDJOB=1734031
IDBENCH=71152
IDSOLVER=544
FILE ID=node91/1734031-1240795023
PBS_JOBID= 9187354
Free space on /tmp= 66552 MiB

SOLVER NAME= CircUs 2009-03-23
BENCH NAME= SAT09/CRAFTED/modcircuits/mod3block_3vars_9gates_restr.cnf
COMMAND LINE= HOME/CirCUs BENCHNAME -t TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1734031-1240795023/watcher-1734031-1240795023 -o /tmp/evaluation-result-1734031-1240795023/solver-1734031-1240795023 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/CirCUs HOME/instance-1734031-1240795023.cnf -t 1200

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 60e334561da9fdbaa733cc223a2437e5
RANDOM SEED=529405489

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

/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.241
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.241
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1721472 kB
Buffers:         43228 kB
Cached:         210912 kB
SwapCached:        384 kB
Active:          97884 kB
Inactive:       170188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1721472 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            6668 kB
Writeback:           0 kB
Mapped:          22396 kB
Slab:            52232 kB
Committed_AS:   321996 kB
PageTables:       1356 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66552 MiB
End job on node91 at 2009-04-27 03:17:23