Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs-restart 0.3.2 | SAT | 19.0811 | 19.0903 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 51810 |
Name | csp/QCP-20/ normalized-qcp-20-187-9_ext.xml |
MD5SUM | e4f8b42ca6d148c9b16fcc1baf7ad15d |
Bench Category | 2-ARY-EXT (binary constraints in extension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 3.58046 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 5540 |
Maximum constraint arity | 2 |
Maximum domain size | 20 |
Number of constraints which are defined in extension | 5540 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
0.00/0.01 c small-domain mode 0.00/0.01 c Seed is 81598153 0.00/0.01 c Constructing HOME/instance-2058834-1247694340.xml with 35294 constraints 0.08/0.15 c Solving 51810 backtracks 18 restarts 18.97/19.02 s SATISFIABLE 18.97/19.02 c V0=2, V1=3, V2=4, V3=18, V4=6, V5=13, V6=12, V7=0, V8=15, V9=16, V10=5, V11=17, V12=1, V13=9, V14=19, V15=11, V16=7, V17=8, V18=14, V19=10, V20=5, V21=15, V22=16, V23=8, V24=9, V25=4, V26=2, V27=7, V28=13, V29=1, V30=3, V31=12, V32=19, V33=0, V34=11, V35=18, V36=10, V37=6, V38=17, V39=14, V40=10, V41=9, V42=15, V43=6, V44=1, V45=12, V46=19, V47=2, V48=18, V49=8, V50=7, V51=11, V52=3, V53=13, V54=16, V55=5, V56=14, V57=4, V58=0, V59=17, V60=7, V61=1, V62=17, V63=13, V64=10, V65=9, V66=5, V67=4, V68=16, V69=11, V70=6, V71=14, V72=12, V73=18, V74=8, V75=3, V76=0, V77=19, V78=15, V79=2, V80=0, V81=6, V82=14, V83=16, V84=5, V85=8, V86=10, V87=9, V88=12, V89=17, V90=11, V91=1, V92=13, V93=15, V94=4, V95=2, V96=19, V97=7, V98=3, V99=18, V100=12, V101=16, V102=7, V103=15, V104=17, V105=3, V106=8, V107=19, V108=5, V109=6, V110=14, V111=2, V112=11, V113=1, V114=10, V115=4, V116=18, V117=9, V118=13, V119=0, V120=11, V121=18, V122=1, V123=5, V124=3, V125=0, V126=15, V127=10, V128=8, V129=4, V130=9, V131=13, V132=6, V133=17, V134=7, V135=14, V136=2, V137=12, V138=19, V139=16, V140=3, V141=8, V142=12, V143=1, V144=2, V145=16, V146=13, V147=11, V148=10, V149=5, V150=0, V151=6, V152=4, V153=19, V154=14, V155=9, V156=15, V157=17, V158=18, V159=7, V160=4, V161=14, V162=18, V163=19, V164=7, V165=6, V166=11, V167=3, V168=17, V169=9, V170=13, V171=10, V172=0, V173=12, V174=2, V175=8, V176=16, V177=5, V178=1, V179=15, V180=6, V181=0, V182=11, V183=17, V184=13, V185=19, V186=4, V187=15, V188=14, V189=2, V190=18, V191=16, V192=9, V193=5, V194=12, V195=7, V196=8, V197=1, V198=10, V199=3, V200=18, V201=17, V202=13, V203=14, V204=19, V205=2, V206=9, V207=1, V208=4, V209=7, V210=10, V211=15, V212=16, V213=8, V214=3, V215=12, V216=11, V217=0, V218=5, V219=6, V220=19, V221=5, V222=2, V223=10, V224=0, V225=17, V226=1, V227=12, V228=9, V229=14, V230=16, V231=18, V232=7, V233=4, V234=15, V235=13, V236=6, V237=3, V238=11, V239=8, V240=1, V241=7, V242=0, V243=4, V244=18, V245=10, V246=6, V247=8, V248=11, V249=13, V250=17, V251=3, V252=15, V253=14, V254=5, V255=19, V256=9, V257=16, V258=2, V259=12, V260=14, V261=4, V262=19, V263=2, V264=11, V265=15, V266=7, V267=18, V268=6, V269=3, V270=1, V271=9, V272=17, V273=10, V274=0, V275=16, V276=12, V277=13, V278=8, V279=5, V280=8, V281=2, V282=9, V283=7, V284=14, V285=18, V286=0, V287=13, V288=19, V289=15, V290=12, V291=4, V292=5, V293=16, V294=17, V295=1, V296=3, V297=10, V298=6, V299=11, V300=15, V301=11, V302=5, V303=0, V304=16, V305=1, V306=17, V307=14, V308=3, V309=10, V310=19, V311=8, V312=18, V313=7, V314=9, V315=6, V316=4, V317=2, V318=12, V319=13, V320=16, V321=13, V322=3, V323=12, V324=8, V325=11, V326=14, V327=17, V328=2, V329=18, V330=4, V331=19, V332=10, V333=6, V334=1, V335=0, V336=5, V337=15, V338=7, V339=9, V340=17, V341=12, V342=10, V343=9, V344=4, V345=5, V346=3, V347=6, V348=0, V349=19, V350=8, V351=7, V352=14, V353=2, V354=18, V355=15, V356=13, V357=11, V358=16, V359=1, V360=13, V361=19, V362=8, V363=11, V364=12, V365=7, V366=18, V367=16, V368=1, V369=0, V370=15, V371=5, V372=2, V373=3, V374=6, V375=10, V376=17, V377=14, V378=9, V379=4, V380=9, V381=10, V382=6, V383=3, V384=15, V385=14, V386=16, V387=5, V388=7, V389=12, V390=2, V391=0, V392=8, V393=11, V394=13, V395=17, V396=1, V397=18, V398=4, V399=19, 18.97/19.02 v 2 3 4 18 6 13 12 0 15 16 5 17 1 9 19 11 7 8 14 10 5 15 16 8 9 4 2 7 13 1 3 12 19 0 11 18 10 6 17 14 10 9 15 6 1 12 19 2 18 8 7 11 3 13 16 5 14 4 0 17 7 1 17 13 10 9 5 4 16 11 6 14 12 18 8 3 0 19 15 2 0 6 14 16 5 8 10 9 12 17 11 1 13 15 4 2 19 7 3 18 12 16 7 15 17 3 8 19 5 6 14 2 11 1 10 4 18 9 13 0 11 18 1 5 3 0 15 10 8 4 9 13 6 17 7 14 2 12 19 16 3 8 12 1 2 16 13 11 10 5 0 6 4 19 14 9 15 17 18 7 4 14 18 19 7 6 11 3 17 9 13 10 0 12 2 8 16 5 1 15 6 0 11 17 13 19 4 15 14 2 18 16 9 5 12 7 8 1 10 3 18 17 13 14 19 2 9 1 4 7 10 15 16 8 3 12 11 0 5 6 19 5 2 10 0 17 1 12 9 14 16 18 7 4 15 13 6 3 11 8 1 7 0 4 18 10 6 8 11 13 17 3 15 14 5 19 9 16 2 12 14 4 19 2 11 15 7 18 6 3 1 9 17 10 0 16 12 13 8 5 8 2 9 7 14 18 0 13 19 15 12 4 5 16 17 1 3 10 6 11 15 11 5 0 16 1 17 14 3 10 19 8 18 7 9 6 4 2 12 13 16 13 3 12 8 11 14 17 2 18 4 19 10 6 1 0 5 15 7 9 17 12 10 9 4 5 3 6 0 19 8 7 14 2 18 15 13 11 16 1 13 19 8 11 12 7 18 16 1 0 15 5 2 3 6 10 17 14 9 4 9 10 6 3 15 14 16 5 7 12 2 0 8 11 13 17 1 18 4 19 18.97/19.08 d ASSIGNMENTS 51810
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2058834-1247694340/watcher-2058834-1247694340 -o /tmp/evaluation-result-2058834-1247694340/solver-2058834-1247694340 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 81598153 HOME/instance-2058834-1247694340.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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 [startup+0 s] /proc/loadavg: 1.73 0.64 0.23 4/73 14309 /proc/meminfo: memFree=1351560/2055920 swapFree=4192812/4192956 [pid=14309] ppid=14307 vsize=5356 CPUtime=0 /proc/14309/stat : 14309 (pcssolve) S 14307 14309 14057 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 56498611 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/14309/statm: 1339 242 201 169 0 50 0 [pid=14310] ppid=14309 vsize=5356 CPUtime=0 /proc/14310/stat : 14310 (pcssolve) R 14309 14309 14057 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 56498612 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 226686987559 0 0 4096 0 0 0 0 17 1 0 0 /proc/14310/statm: 1339 243 202 169 0 50 0 [pid=14311] ppid=14309 vsize=3676 CPUtime=0 /proc/14311/stat : 14311 (grep) S 14309 14309 14057 0 -1 4194304 154 0 0 0 0 0 0 0 18 0 1 0 56498612 3764224 121 996147200 4194304 4274172 548682069040 18446744073709551615 226687156306 0 0 4096 0 18446744071563648864 0 0 17 0 0 0 /proc/14311/statm: 919 121 99 19 0 43 0 [startup+0.0132189 s] /proc/loadavg: 1.73 0.64 0.23 4/73 14309 /proc/meminfo: memFree=1351560/2055920 swapFree=4192812/4192956 [pid=14309] ppid=14307 vsize=5356 CPUtime=0 /proc/14309/stat : 14309 (pcssolve) S 14307 14309 14057 0 -1 4194304 367 651 0 0 0 0 0 0 21 0 1 0 56498611 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14309/statm: 1339 243 202 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.101242 s] /proc/loadavg: 1.73 0.64 0.23 4/73 14309 /proc/meminfo: memFree=1351560/2055920 swapFree=4192812/4192956 [pid=14309] ppid=14307 vsize=7664 CPUtime=0.08 /proc/14309/stat : 14309 (pcs.small) R 14307 14309 14057 0 -1 4194304 1754 824 0 0 8 0 0 0 22 0 1 0 56498611 7847936 1136 996147200 134512640 135095119 4294956304 18446744073709551615 6149755 0 0 4096 0 0 0 0 17 0 0 0 /proc/14309/statm: 1916 1137 367 142 0 870 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7664 [startup+0.301283 s] /proc/loadavg: 1.73 0.64 0.23 4/73 14309 /proc/meminfo: memFree=1351560/2055920 swapFree=4192812/4192956 [pid=14309] ppid=14307 vsize=10304 CPUtime=0.28 /proc/14309/stat : 14309 (pcs.small) R 14307 14309 14057 0 -1 4194304 2555 824 0 0 27 1 0 0 24 0 1 0 56498611 10551296 1647 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0 /proc/14309/statm: 2576 1647 378 142 0 1530 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 10304 [startup+0.701364 s] /proc/loadavg: 1.73 0.64 0.23 4/73 14309 /proc/meminfo: memFree=1351560/2055920 swapFree=4192812/4192956 [pid=14309] ppid=14307 vsize=10600 CPUtime=0.68 /proc/14309/stat : 14309 (pcs.small) R 14307 14309 14057 0 -1 4194304 2621 824 0 0 67 1 0 0 25 0 1 0 56498611 10854400 1713 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0 /proc/14309/statm: 2650 1713 378 142 0 1604 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 10600 [startup+1.50152 s] /proc/loadavg: 1.73 0.64 0.23 3/74 14315 /proc/meminfo: memFree=1345792/2055920 swapFree=4192812/4192956 [pid=14309] ppid=14307 vsize=10984 CPUtime=1.48 /proc/14309/stat : 14309 (pcs.small) R 14307 14309 14057 0 -1 4194304 2788 824 0 0 147 1 0 0 25 0 1 0 56498611 11247616 1847 996147200 134512640 135095119 4294956304 18446744073709551615 134582115 0 0 4096 0 0 0 0 17 0 0 0 /proc/14309/statm: 2746 1847 378 142 0 1700 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10984 [startup+3.10285 s] /proc/loadavg: 1.73 0.64 0.23 3/74 14315 /proc/meminfo: memFree=1344640/2055920 swapFree=4192812/4192956 [pid=14309] ppid=14307 vsize=12264 CPUtime=3.08 /proc/14309/stat : 14309 (pcs.small) R 14307 14309 14057 0 -1 4194304 3218 824 0 0 307 1 0 0 25 0 1 0 56498611 12558336 2212 996147200 134512640 135095119 4294956304 18446744073709551615 134555270 0 0 4096 0 0 0 0 17 0 0 0 /proc/14309/statm: 3066 2212 378 142 0 2020 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 12264 [startup+6.3015 s] /proc/loadavg: 1.75 0.66 0.24 3/74 14315 /proc/meminfo: memFree=1341632/2055920 swapFree=4192812/4192956 [pid=14309] ppid=14307 vsize=14568 CPUtime=6.27 /proc/14309/stat : 14309 (pcs.small) R 14307 14309 14057 0 -1 4194304 4002 824 0 0 625 2 0 0 25 0 1 0 56498611 14917632 2867 996147200 134512640 135095119 4294956304 18446744073709551615 134642872 0 0 4096 0 0 0 0 17 0 0 0 /proc/14309/statm: 3642 2867 378 142 0 2596 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 14568 [startup+12.7028 s] /proc/loadavg: 1.77 0.68 0.25 3/74 14315 /proc/meminfo: memFree=1334984/2055920 swapFree=4192812/4192956 [pid=14309] ppid=14307 vsize=22064 CPUtime=12.68 /proc/14309/stat : 14309 (pcs.small) R 14307 14309 14057 0 -1 4194304 6252 824 0 0 1264 4 0 0 25 0 1 0 56498611 22593536 4282 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0 /proc/14309/statm: 5516 4282 378 142 0 4470 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22064 Solver just ended. Dumping a history of the last processes samples [startup+15.9014 s] /proc/loadavg: 1.79 0.70 0.25 3/74 14315 /proc/meminfo: memFree=1333384/2055920 swapFree=4192812/4192956 [pid=14309] ppid=14307 vsize=25008 CPUtime=15.87 /proc/14309/stat : 14309 (pcs.small) R 14307 14309 14057 0 -1 4194304 7178 824 0 0 1583 4 0 0 25 0 1 0 56498611 25608192 4695 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0 /proc/14309/statm: 6252 4695 378 142 0 5206 0 Current children cumulated CPU time (s) 15.87 Current children cumulated vsize (KiB) 25008 [startup+17.5018 s] /proc/loadavg: 1.89 0.74 0.27 3/74 14315 /proc/meminfo: memFree=1331784/2055920 swapFree=4192812/4192956 [pid=14309] ppid=14307 vsize=25776 CPUtime=17.47 /proc/14309/stat : 14309 (pcs.small) R 14307 14309 14057 0 -1 4194304 7449 824 0 0 1743 4 0 0 25 0 1 0 56498611 26394624 4966 996147200 134512640 135095119 4294956304 18446744073709551615 134616992 0 0 4096 0 0 0 0 17 0 0 0 /proc/14309/statm: 6444 4966 378 142 0 5398 0 Current children cumulated CPU time (s) 17.47 Current children cumulated vsize (KiB) 25776 [startup+18.3029 s] /proc/loadavg: 1.89 0.74 0.27 3/74 14315 /proc/meminfo: memFree=1331784/2055920 swapFree=4192812/4192956 [pid=14309] ppid=14307 vsize=26160 CPUtime=18.27 /proc/14309/stat : 14309 (pcs.small) R 14307 14309 14057 0 -1 4194304 7587 824 0 0 1823 4 0 0 25 0 1 0 56498611 26787840 5104 996147200 134512640 135095119 4294956304 18446744073709551615 134637222 0 0 4096 0 0 0 0 17 0 0 0 /proc/14309/statm: 6540 5104 378 142 0 5494 0 Current children cumulated CPU time (s) 18.27 Current children cumulated vsize (KiB) 26160 [startup+18.706 s] /proc/loadavg: 1.89 0.74 0.27 3/74 14315 /proc/meminfo: memFree=1330952/2055920 swapFree=4192812/4192956 [pid=14309] ppid=14307 vsize=26416 CPUtime=18.67 /proc/14309/stat : 14309 (pcs.small) R 14307 14309 14057 0 -1 4194304 7660 824 0 0 1863 4 0 0 25 0 1 0 56498611 27049984 5177 996147200 134512640 135095119 4294956304 18446744073709551615 134580674 0 0 4096 0 0 0 0 17 0 0 0 /proc/14309/statm: 6604 5177 378 142 0 5558 0 Current children cumulated CPU time (s) 18.67 Current children cumulated vsize (KiB) 26416 [startup+18.9011 s] /proc/loadavg: 1.89 0.74 0.27 3/74 14315 /proc/meminfo: memFree=1330952/2055920 swapFree=4192812/4192956 [pid=14309] ppid=14307 vsize=26416 CPUtime=18.87 /proc/14309/stat : 14309 (pcs.small) R 14307 14309 14057 0 -1 4194304 7692 824 0 0 1883 4 0 0 25 0 1 0 56498611 27049984 5209 996147200 134512640 135095119 4294956304 18446744073709551615 134641789 0 0 4096 0 0 0 0 17 0 0 0 /proc/14309/statm: 6604 5209 378 142 0 5558 0 Current children cumulated CPU time (s) 18.87 Current children cumulated vsize (KiB) 26416 [startup+19.0011 s] /proc/loadavg: 1.89 0.74 0.27 3/74 14315 /proc/meminfo: memFree=1330952/2055920 swapFree=4192812/4192956 [pid=14309] ppid=14307 vsize=26544 CPUtime=18.97 /proc/14309/stat : 14309 (pcs.small) R 14307 14309 14057 0 -1 4194304 7711 824 0 0 1893 4 0 0 25 0 1 0 56498611 27181056 5228 996147200 134512640 135095119 4294956304 18446744073709551615 134637591 0 0 4096 0 0 0 0 17 0 0 0 /proc/14309/statm: 6636 5228 378 142 0 5590 0 Current children cumulated CPU time (s) 18.97 Current children cumulated vsize (KiB) 26544 Child status: 0 Real time (s): 19.0903 CPU time (s): 19.0811 CPU user time (s): 19.0201 CPU system time (s): 0.06099 CPU usage (%): 99.952 Max. virtual memory (cumulated for all children) (KiB): 26544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19.0201 system time used= 0.06099 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8539 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= 22 involuntary context switches= 70 runsolver used 0.024996 second user time and 0.051992 second system time The end
Begin job on node80 at 2009-07-15 23:45:40 IDJOB=2058834 IDBENCH=53527 IDSOLVER=734 FILE ID=node80/2058834-1247694340 PBS_JOBID= 9521157 Free space on /tmp= 66320 MiB SOLVER NAME= pcs-restart 0.2.restart BENCH NAME= CPAI08/csp/QCP-20/normalized-qcp-20-187-9_ext.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2058834-1247694340/watcher-2058834-1247694340 -o /tmp/evaluation-result-2058834-1247694340/solver-2058834-1247694340 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 81598153 HOME/instance-2058834-1247694340.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= e4f8b42ca6d148c9b16fcc1baf7ad15d RANDOM SEED=81598153 node80.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.285 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.285 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: 1352040 kB Buffers: 73752 kB Cached: 516352 kB SwapCached: 0 kB Active: 199528 kB Inactive: 424956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1352040 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2112 kB Writeback: 0 kB Mapped: 45840 kB Slab: 64844 kB Committed_AS: 541172 kB PageTables: 1780 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= 66320 MiB End job on node80 at 2009-07-15 23:45:59