Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs 0.3.2 | SAT | 376.278 | 379.401 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 8166 |
Name | csp/wordsHerald/ normalized-crossword-m1-words-15-10.xml |
MD5SUM | 4054e8cc40ed34185434fb37f8362548 |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 8.36273 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 190 |
Number of constraints | 964 |
Maximum constraint arity | 20 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 72 |
Number of constraints which are defined in intension | 892 |
Global constraints used (with number of constraints) |
0.00/0.02 c small-domain mode 0.00/0.02 c Seed is 135086967 0.00/0.02 c Constructing HOME/instance-2077632-1247715195.xml with 14356 constraints 0.18/0.29 c Solving 8166 backtracks 13 restarts 376.16/379.40 s SATISFIABLE 376.16/379.40 c V0=4, V1=17, V2=8, V3=18, V4=0, V5=22, V6=0, V7=17, V8=4, V9=1, V10=17, V11=0, V12=19, V13=17, V14=8, V15=2, V16=4, V17=11, V18=4, V19=13, V20=8, V21=13, V22=17, V23=14, V24=1, V25=4, V26=8, V27=2, V28=14, V29=13, V30=14, V31=2, V32=11, V33=0, V34=18, V35=19, V36=8, V37=21, V38=0, V39=13, V40=2, V41=14, V42=13, V43=19, V44=17, V45=14, V46=11, V47=11, V48=4, V49=17, V50=19, V51=4, V52=18, V53=19, V54=4, V55=0, V56=18, V57=24, V58=4, V59=21, V60=0, V61=3, V62=4, V63=18, V64=5, V65=11, V66=4, V67=0, V68=18, V69=18, V70=15, V71=0, V72=8, V73=13, V74=17, V75=0, V76=24, V77=18, V78=0, V79=18, V80=19, V81=20, V82=19, V83=4, V84=13, V85=4, V86=18, V87=18, V88=0, V89=22, V90=4, V91=18, V92=14, V93=12, V94=4, V95=17, V96=4, V97=19, V98=8, V99=17, V100=4, V101=4, V102=20, V103=13, V104=3, V105=8, V106=17, V107=4, V108=2, V109=19, V110=4, V111=3, V112=2, V113=14, V114=0, V115=23, V116=12, V117=8, V118=17, V119=19, V120=7, V121=13, V122=0, V123=18, V124=19, V125=24, V126=6, V127=4, V128=12, V129=8, V130=13, V131=8, V132=4, V133=12, V134=12, V135=0, V136=14, V137=17, V138=0, V139=11, V140=2, V141=20, V142=17, V143=8, V144=14, V145=20, V146=18, V147=4, V148=18, V149=19, V150=13, V151=14, V152=17, V153=0, V154=8, V155=13, V156=4, V157=23, V158=14, V159=17, V160=0, V161=1, V162=11, V163=24, V164=4, V165=3, V166=8, V167=19, V168=20, V169=19, V170=19, V171=4, V172=17, V173=17, V174=4, V175=0, V176=15, V177=17, V178=4, V179=13, V180=4, V181=12, V182=14, V183=14, V184=3, V185=18, V186=8, V187=13, V188=19, V189=14, 376.16/379.40 v 4 17 8 18 0 22 0 17 4 1 17 0 19 17 8 2 4 11 4 13 8 13 17 14 1 4 8 2 14 13 14 2 11 0 18 19 8 21 0 13 2 14 13 19 17 14 11 11 4 17 19 4 18 19 4 0 18 24 4 21 0 3 4 18 5 11 4 0 18 18 15 0 8 13 17 0 24 18 0 18 19 20 19 4 13 4 18 18 0 22 4 18 14 12 4 17 4 19 8 17 4 4 20 13 3 8 17 4 2 19 4 3 2 14 0 23 12 8 17 19 7 13 0 18 19 24 6 4 12 8 13 8 4 12 12 0 14 17 0 11 2 20 17 8 14 20 18 4 18 19 13 14 17 0 8 13 4 23 14 17 0 1 11 24 4 3 8 19 20 19 19 4 17 17 4 0 15 17 4 13 4 12 14 14 3 18 8 13 19 14 376.16/379.40 d ASSIGNMENTS 8166
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2077632-1247715195/watcher-2077632-1247715195 -o /tmp/evaluation-result-2077632-1247715195/solver-2077632-1247715195 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 135086967 HOME/instance-2077632-1247715195.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: 2.17 2.06 2.02 4/72 12564 /proc/meminfo: memFree=848160/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=5212 CPUtime=0 /proc/12564/stat : 12564 (pcssolve) R 12562 12564 11570 0 -1 4194304 69 0 0 0 0 0 0 0 20 0 1 0 58586372 5337088 43 996147200 4194304 4889804 548682068800 18446744073709551615 237785643097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 1303 43 29 169 0 14 0 [startup+0.079216 s] /proc/loadavg: 2.17 2.06 2.02 4/72 12564 /proc/meminfo: memFree=848160/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=5084 CPUtime=0.05 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 968 1169 0 0 5 0 0 0 24 0 1 0 58586372 5206016 577 996147200 134512640 135095119 4294956304 18446744073709551615 134944298 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 1271 577 375 142 0 225 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5084 [startup+0.101216 s] /proc/loadavg: 2.17 2.06 2.02 4/72 12564 /proc/meminfo: memFree=848160/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=5228 CPUtime=0.07 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 984 1169 0 0 7 0 0 0 24 0 1 0 58586372 5353472 593 996147200 134512640 135095119 4294956304 18446744073709551615 134650089 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 1307 593 375 142 0 261 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5228 [startup+0.301259 s] /proc/loadavg: 2.17 2.06 2.02 4/72 12564 /proc/meminfo: memFree=848160/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=9316 CPUtime=0.27 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 1976 1169 0 0 26 1 0 0 25 0 1 0 58586372 9539584 1487 996147200 134512640 135095119 4294956304 18446744073709551615 3038989 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 2329 1487 399 142 0 1283 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9316 [startup+0.701328 s] /proc/loadavg: 2.17 2.06 2.02 4/72 12564 /proc/meminfo: memFree=848160/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=9316 CPUtime=0.67 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 2045 1169 0 0 66 1 0 0 25 0 1 0 58586372 9539584 1556 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 2329 1556 400 142 0 1283 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 9316 [startup+1.50148 s] /proc/loadavg: 2.17 2.06 2.02 3/73 12570 /proc/meminfo: memFree=842776/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=9316 CPUtime=1.46 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 2047 1169 0 0 145 1 0 0 25 0 1 0 58586372 9539584 1558 996147200 134512640 135095119 4294956304 18446744073709551615 134918148 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 2329 1558 400 142 0 1283 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 9316 [startup+3.10177 s] /proc/loadavg: 2.17 2.06 2.02 3/73 12570 /proc/meminfo: memFree=842008/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=9316 CPUtime=3.05 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 2048 1169 0 0 304 1 0 0 25 0 1 0 58586372 9539584 1559 996147200 134512640 135095119 4294956304 18446744073709551615 134927080 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 2329 1559 400 142 0 1283 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 9316 [startup+6.30136 s] /proc/loadavg: 2.16 2.05 2.02 3/73 12570 /proc/meminfo: memFree=839704/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=9316 CPUtime=6.22 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 2091 1169 0 0 621 1 0 0 25 0 1 0 58586372 9539584 1602 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 2329 1602 400 142 0 1283 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 9316 [startup+12.7015 s] /proc/loadavg: 2.14 2.05 2.02 3/73 12570 /proc/meminfo: memFree=835800/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=9316 CPUtime=12.56 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 2110 1169 0 0 1255 1 0 0 25 0 1 0 58586372 9539584 1621 996147200 134512640 135095119 4294956304 18446744073709551615 134918194 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 2329 1621 400 142 0 1283 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 9316 [startup+25.5019 s] /proc/loadavg: 2.11 2.05 2.01 3/73 12570 /proc/meminfo: memFree=827992/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=9448 CPUtime=25.26 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 2130 1169 0 0 2525 1 0 0 25 0 1 0 58586372 9674752 1641 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 2362 1641 400 142 0 1316 0 Current children cumulated CPU time (s) 25.26 Current children cumulated vsize (KiB) 9448 [startup+51.1016 s] /proc/loadavg: 2.07 2.05 2.01 3/73 12570 /proc/meminfo: memFree=812888/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=9576 CPUtime=50.65 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 2190 1169 0 0 5064 1 0 0 25 0 1 0 58586372 9805824 1668 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 2394 1668 400 142 0 1348 0 Current children cumulated CPU time (s) 50.65 Current children cumulated vsize (KiB) 9576 [startup+102.306 s] /proc/loadavg: 2.03 2.04 2.01 3/73 12570 /proc/meminfo: memFree=777496/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=10856 CPUtime=101.44 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 2579 1169 0 0 10142 2 0 0 25 0 1 0 58586372 11116544 1863 996147200 134512640 135095119 4294956304 18446744073709551615 134918268 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 2714 1863 400 142 0 1668 0 Current children cumulated CPU time (s) 101.44 Current children cumulated vsize (KiB) 10856 [startup+162.301 s] /proc/loadavg: 2.01 2.03 2.00 3/73 12570 /proc/meminfo: memFree=735768/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=11580 CPUtime=160.94 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 2827 1169 0 0 16092 2 0 0 25 0 1 0 58586372 11857920 1982 996147200 134512640 135095119 4294956304 18446744073709551615 134927077 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 2895 1982 400 142 0 1849 0 Current children cumulated CPU time (s) 160.94 Current children cumulated vsize (KiB) 11580 [startup+222.301 s] /proc/loadavg: 2.00 2.02 2.00 3/73 12570 /proc/meminfo: memFree=694872/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=11932 CPUtime=220.46 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 2979 1169 0 0 22043 3 0 0 25 0 1 0 58586372 12218368 2134 996147200 134512640 135095119 4294956304 18446744073709551615 134918159 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 2983 2134 400 142 0 1937 0 Current children cumulated CPU time (s) 220.46 Current children cumulated vsize (KiB) 11932 [startup+282.301 s] /proc/loadavg: 2.00 2.02 2.00 3/73 12570 /proc/meminfo: memFree=669784/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=12276 CPUtime=279.96 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 3131 1169 0 0 27993 3 0 0 25 0 1 0 58586372 12570624 2286 996147200 134512640 135095119 4294956304 18446744073709551615 134927011 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 3069 2286 400 142 0 2023 0 Current children cumulated CPU time (s) 279.96 Current children cumulated vsize (KiB) 12276 [startup+342.301 s] /proc/loadavg: 2.00 2.01 2.00 3/73 12570 /proc/meminfo: memFree=650648/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=13624 CPUtime=339.46 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 3529 1169 0 0 33943 3 0 0 25 0 1 0 58586372 13950976 2427 996147200 134512640 135095119 4294956304 18446744073709551615 134927080 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 3406 2427 400 142 0 2360 0 Current children cumulated CPU time (s) 339.46 Current children cumulated vsize (KiB) 13624 Solver just ended. Dumping a history of the last processes samples [startup+358.301 s] /proc/loadavg: 2.00 2.01 2.00 3/73 12570 /proc/meminfo: memFree=646488/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=13736 CPUtime=355.34 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 3563 1169 0 0 35530 4 0 0 25 0 1 0 58586372 14065664 2461 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 3434 2461 400 142 0 2388 0 Current children cumulated CPU time (s) 355.34 Current children cumulated vsize (KiB) 13736 [startup+371.102 s] /proc/loadavg: 2.00 2.01 2.00 3/73 12570 /proc/meminfo: memFree=640664/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=13736 CPUtime=368.02 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 3595 1169 0 0 36798 4 0 0 25 0 1 0 58586372 14065664 2493 996147200 134512640 135095119 4294956304 18446744073709551615 134918224 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 3434 2493 400 142 0 2388 0 Current children cumulated CPU time (s) 368.02 Current children cumulated vsize (KiB) 13736 [startup+374.301 s] /proc/loadavg: 2.00 2.01 2.00 3/73 12570 /proc/meminfo: memFree=640216/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=13852 CPUtime=371.19 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 3607 1169 0 0 37115 4 0 0 25 0 1 0 58586372 14184448 2505 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 3463 2505 400 142 0 2417 0 Current children cumulated CPU time (s) 371.19 Current children cumulated vsize (KiB) 13852 [startup+377.502 s] /proc/loadavg: 2.00 2.01 2.00 3/73 12570 /proc/meminfo: memFree=639832/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=13852 CPUtime=374.37 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 3611 1169 0 0 37433 4 0 0 25 0 1 0 58586372 14184448 2509 996147200 134512640 135095119 4294956304 18446744073709551615 134927073 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 3463 2509 400 142 0 2417 0 Current children cumulated CPU time (s) 374.37 Current children cumulated vsize (KiB) 13852 [startup+378.302 s] /proc/loadavg: 2.00 2.01 2.00 3/73 12570 /proc/meminfo: memFree=639768/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=13852 CPUtime=375.17 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 3611 1169 0 0 37513 4 0 0 25 0 1 0 58586372 14184448 2509 996147200 134512640 135095119 4294956304 18446744073709551615 134918249 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 3463 2509 400 142 0 2417 0 Current children cumulated CPU time (s) 375.17 Current children cumulated vsize (KiB) 13852 [startup+379.101 s] /proc/loadavg: 2.00 2.01 2.00 3/73 12570 /proc/meminfo: memFree=639768/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=13852 CPUtime=375.96 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 3612 1169 0 0 37592 4 0 0 25 0 1 0 58586372 14184448 2510 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 3463 2510 400 142 0 2417 0 Current children cumulated CPU time (s) 375.96 Current children cumulated vsize (KiB) 13852 [startup+379.301 s] /proc/loadavg: 2.00 2.01 2.00 3/73 12570 /proc/meminfo: memFree=639768/2055920 swapFree=4192812/4192956 [pid=12564] ppid=12562 vsize=14176 CPUtime=376.16 /proc/12564/stat : 12564 (pcs.small) R 12562 12564 11570 0 -1 4194304 3662 1169 0 0 37612 4 0 0 25 0 1 0 58586372 14516224 2560 996147200 134512640 135095119 4294956304 18446744073709551615 134555247 0 0 4096 0 0 0 0 17 1 0 0 /proc/12564/statm: 3544 2560 400 142 0 2498 0 Current children cumulated CPU time (s) 376.16 Current children cumulated vsize (KiB) 14176 Child status: 0 Real time (s): 379.401 CPU time (s): 376.278 CPU user time (s): 376.227 CPU system time (s): 0.050992 CPU usage (%): 99.1768 Max. virtual memory (cumulated for all children) (KiB): 14176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 376.227 system time used= 0.050992 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4840 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= 8190 runsolver used 0.419936 second user time and 1.03884 second system time The end
Begin job on node24 at 2009-07-16 05:33:15 IDJOB=2077632 IDBENCH=56641 IDSOLVER=733 FILE ID=node24/2077632-1247715195 PBS_JOBID= 9521478 Free space on /tmp= 66412 MiB SOLVER NAME= pcs 0.2 BENCH NAME= CPAI08/csp/wordsHerald/normalized-crossword-m1-words-15-10.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2077632-1247715195/watcher-2077632-1247715195 -o /tmp/evaluation-result-2077632-1247715195/solver-2077632-1247715195 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 135086967 HOME/instance-2077632-1247715195.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4054e8cc40ed34185434fb37f8362548 RANDOM SEED=135086967 node24.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.287 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.287 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: 848640 kB Buffers: 89464 kB Cached: 522808 kB SwapCached: 0 kB Active: 690120 kB Inactive: 426312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 848640 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2444 kB Writeback: 0 kB Mapped: 515728 kB Slab: 75212 kB Committed_AS: 1037268 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= 66408 MiB End job on node24 at 2009-07-16 05:39:35