Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs 0.3.2 | ? (MO) | 796.015 | 803.559 |
Name | csp/haystacks/ normalized-haystacks-10.xml |
MD5SUM | e3b2ef63bef9ef1642e95610d4dd6a1e |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.14882 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 459 |
Maximum constraint arity | 2 |
Maximum domain size | 10 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 459 |
Global constraints used (with number of constraints) |
0.00/0.01 c has operations which may create big domains 0.00/0.01 c big-domain mode 0.17/0.23 c Seed is 1447448122 0.17/0.23 c Constructing HOME/instance-2080690-1247718171.xml 0.17/0.23 c deduced all_different(V7,V47,V63,V0) 0.17/0.23 c deduced all_different(V6,V31,V93,V1) 0.17/0.23 c deduced all_different(V30,V44,V52,V60,V2) 0.17/0.23 c deduced all_different(V38,V43,V62,V3) 0.17/0.23 c deduced all_different(V24,V47,V63,V4) 0.17/0.23 c deduced all_different(V28,V45,V77,V5) 0.17/0.23 c deduced all_different(V19,V30,V52,V60,V8) 0.17/0.23 c deduced all_different(V38,V43,V62,V9) 0.17/0.23 c deduced all_different(V6,V21,V31,V93,V13) 0.17/0.23 c deduced all_different(V22,V27,V32,V57,V14) 0.17/0.23 c deduced all_different(V46,V51,V67,V15) 0.17/0.23 c deduced all_different(V14,V27,V39,V23) 0.17/0.23 c deduced all_different(V25,V55,V82,V26) 0.17/0.23 c deduced all_different(V11,V27,V39,V33) 0.17/0.23 c deduced all_different(V51,V67,V89,V35) 0.17/0.23 c deduced all_different(V3,V43,V62,V40) 0.17/0.23 c deduced all_different(V17,V53,V79,V41) 0.17/0.23 c deduced all_different(V15,V46,V67,V42) 0.17/0.23 c deduced all_different(V5,V45,V77,V94,V58) 0.17/0.23 c deduced all_different(V24,V47,V63,V59) 0.17/0.23 c deduced all_different(V6,V21,V93,V65) 0.17/0.23 c deduced all_different(V25,V55,V82,V66) 0.17/0.23 c deduced all_different(V38,V43,V62,V71) 0.17/0.23 c deduced all_different(V3,V40,V62,V72) 0.17/0.23 c deduced all_different(V1,V31,V83,V86) 0.17/0.23 c deduced all_different(V15,V46,V67,V90) 0.17/0.23 c deduced all_different(V0,V7,V47,V95) 0.17/0.23 c deduced all_different(V10,V87,V99,V97) 0.17/0.23 c with 1240 constraints 0.17/0.23 c Solving
ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected) Got answer: <no 's ' line found>
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2080690-1247718171/watcher-2080690-1247718171 -o /tmp/evaluation-result-2080690-1247718171/solver-2080690-1247718171 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1447448122 HOME/instance-2080690-1247718171.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.99 1.98 1.99 4/81 17071 /proc/meminfo: memFree=1358680/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=18576 CPUtime=0 /proc/17071/stat : 17071 (runsolver) R 17069 17071 14762 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58883979 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 240472616231 0 0 4096 24578 0 0 0 17 1 0 0 /proc/17071/statm: 4644 284 249 26 0 2626 0 [startup+0.0165209 s] /proc/loadavg: 1.99 1.98 1.99 4/81 17071 /proc/meminfo: memFree=1358680/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=5356 CPUtime=0 /proc/17071/stat : 17071 (pcssolve) S 17069 17071 14762 0 -1 4194304 367 648 0 0 0 0 0 0 23 0 1 0 58883979 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17071/statm: 1339 243 202 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.101526 s] /proc/loadavg: 1.99 1.98 1.99 4/81 17071 /proc/meminfo: memFree=1358680/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=5432 CPUtime=0.07 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 1073 825 0 0 7 0 0 0 18 0 1 0 58883979 5562368 682 996147200 134512640 135215973 4294956304 18446744073709551615 134640982 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 1358 682 419 171 0 283 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5432 [startup+0.301541 s] /proc/loadavg: 1.99 1.98 1.99 4/81 17071 /proc/meminfo: memFree=1358680/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=5772 CPUtime=0.27 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 1188 825 0 0 27 0 0 0 19 0 1 0 58883979 5910528 744 996147200 134512640 135215973 4294956304 18446744073709551615 134583383 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 1443 744 419 171 0 368 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 5772 [startup+0.701574 s] /proc/loadavg: 1.99 1.98 1.99 4/81 17071 /proc/meminfo: memFree=1358680/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=5904 CPUtime=0.67 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 1244 825 0 0 67 0 0 0 23 0 1 0 58883979 6045696 800 996147200 134512640 135215973 4294956304 18446744073709551615 7946348 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 1476 800 419 171 0 401 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 5904 [startup+1.50165 s] /proc/loadavg: 1.99 1.98 1.99 3/82 17077 /proc/meminfo: memFree=1355536/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=6688 CPUtime=1.46 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 1426 825 0 0 145 1 0 0 25 0 1 0 58883979 6848512 982 996147200 134512640 135215973 4294956304 18446744073709551615 134590545 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 1672 982 419 171 0 597 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 6688 [startup+3.10179 s] /proc/loadavg: 1.99 1.98 1.99 4/82 17077 /proc/meminfo: memFree=1352976/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=8488 CPUtime=3.05 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 1875 825 0 0 304 1 0 0 25 0 1 0 58883979 8691712 1398 996147200 134512640 135215973 4294956304 18446744073709551615 134583557 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 2122 1398 419 171 0 1047 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 8488 [startup+6.30107 s] /proc/loadavg: 1.99 1.98 1.99 3/82 17077 /proc/meminfo: memFree=1346704/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=12140 CPUtime=6.21 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 2834 825 0 0 620 1 0 0 25 0 1 0 58883979 12431360 2292 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 3035 2292 419 171 0 1960 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 12140 [startup+12.7016 s] /proc/loadavg: 1.99 1.98 1.99 3/82 17077 /proc/meminfo: memFree=1335568/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=20244 CPUtime=12.55 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 4930 825 0 0 1253 2 0 0 25 0 1 0 58883979 20729856 4226 996147200 134512640 135215973 4294956304 18446744073709551615 135095160 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 5061 4226 419 171 0 3986 0 Current children cumulated CPU time (s) 12.55 Current children cumulated vsize (KiB) 20244 [startup+25.5018 s] /proc/loadavg: 1.99 1.98 1.99 3/83 17079 /proc/meminfo: memFree=1266944/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=36192 CPUtime=25.23 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 9105 825 0 0 2518 5 0 0 25 0 1 0 58883979 37060608 8079 996147200 134512640 135215973 4294956304 18446744073709551615 134632056 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 9048 8079 419 171 0 7973 0 Current children cumulated CPU time (s) 25.23 Current children cumulated vsize (KiB) 36192 [startup+51.102 s] /proc/loadavg: 2.11 2.02 2.00 3/83 17079 /proc/meminfo: memFree=1214592/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=64816 CPUtime=50.59 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 16584 825 0 0 5049 10 0 0 25 0 1 0 58883979 66371584 15429 996147200 134512640 135215973 4294956304 18446744073709551615 134997537 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 16204 15429 419 171 0 15129 0 Current children cumulated CPU time (s) 50.59 Current children cumulated vsize (KiB) 64816 [startup+102.306 s] /proc/loadavg: 2.13 2.03 2.01 3/83 17079 /proc/meminfo: memFree=1150528/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=123416 CPUtime=101.31 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 31835 825 0 0 10110 21 0 0 25 0 1 0 58883979 126377984 29910 996147200 134512640 135215973 4294956304 18446744073709551615 134600384 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 30854 29910 419 171 0 29779 0 Current children cumulated CPU time (s) 101.31 Current children cumulated vsize (KiB) 123416 [startup+162.302 s] /proc/loadavg: 2.04 2.02 2.00 3/83 17079 /proc/meminfo: memFree=1077184/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=193324 CPUtime=160.75 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 49967 825 0 0 16042 33 0 0 25 0 1 0 58883979 197963776 47017 996147200 134512640 135215973 4294956304 18446744073709551615 134600482 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 48331 47017 419 171 0 47256 0 Current children cumulated CPU time (s) 160.75 Current children cumulated vsize (KiB) 193324 [startup+222.302 s] /proc/loadavg: 2.01 2.02 2.00 3/83 17079 /proc/meminfo: memFree=998784/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=274540 CPUtime=220.19 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 71192 825 0 0 21973 46 0 0 25 0 1 0 58883979 281128960 65680 996147200 134512640 135215973 4294956304 18446744073709551615 134686211 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 68635 65680 419 171 0 67560 0 Current children cumulated CPU time (s) 220.19 Current children cumulated vsize (KiB) 274540 [startup+282.301 s] /proc/loadavg: 2.00 2.01 2.00 3/83 17079 /proc/meminfo: memFree=935168/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=336568 CPUtime=279.63 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 87252 825 0 0 27906 57 0 0 25 0 1 0 58883979 344645632 81740 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 84142 81740 419 171 0 83067 0 Current children cumulated CPU time (s) 279.63 Current children cumulated vsize (KiB) 336568 [startup+342.302 s] /proc/loadavg: 2.00 2.00 2.00 3/83 17079 /proc/meminfo: memFree=869248/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=399772 CPUtime=339.06 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 103545 825 0 0 33839 67 0 0 25 0 1 0 58883979 409366528 98033 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 99943 98033 419 171 0 98868 0 Current children cumulated CPU time (s) 339.06 Current children cumulated vsize (KiB) 399772 [startup+402.302 s] /proc/loadavg: 2.00 2.00 2.00 3/83 17079 /proc/meminfo: memFree=803456/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=463972 CPUtime=398.5 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 120139 825 0 0 39773 77 0 0 25 0 1 0 58883979 475107328 114627 996147200 134512640 135215973 4294956304 18446744073709551615 134687107 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 115993 114627 419 171 0 114918 0 Current children cumulated CPU time (s) 398.5 Current children cumulated vsize (KiB) 463972 [startup+462.302 s] /proc/loadavg: 2.08 2.02 2.01 3/82 17079 /proc/meminfo: memFree=726976/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=554188 CPUtime=457.94 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 143191 825 0 0 45703 91 0 0 25 0 1 0 58883979 567488512 133582 996147200 134512640 135215973 4294956304 18446744073709551615 134902529 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 138547 133582 419 171 0 137472 0 Current children cumulated CPU time (s) 457.94 Current children cumulated vsize (KiB) 554188 [startup+522.301 s] /proc/loadavg: 2.03 2.01 2.00 3/82 17079 /proc/meminfo: memFree=663424/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=616048 CPUtime=517.38 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 159233 825 0 0 51637 101 0 0 25 0 1 0 58883979 630833152 149624 996147200 134512640 135215973 4294956304 18446744073709551615 134591108 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 154012 149624 419 171 0 152937 0 Current children cumulated CPU time (s) 517.38 Current children cumulated vsize (KiB) 616048 [startup+582.302 s] /proc/loadavg: 2.01 2.00 2.00 3/82 17079 /proc/meminfo: memFree=593984/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=682520 CPUtime=576.82 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 176433 825 0 0 57570 112 0 0 25 0 1 0 58883979 698900480 166824 996147200 134512640 135215973 4294956304 18446744073709551615 134597482 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 170630 166824 419 171 0 169555 0 Current children cumulated CPU time (s) 576.82 Current children cumulated vsize (KiB) 682520 [startup+642.302 s] /proc/loadavg: 2.00 2.00 2.00 3/82 17079 /proc/meminfo: memFree=521728/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=751580 CPUtime=636.25 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 194249 825 0 0 63504 121 0 0 25 0 1 0 58883979 769617920 184640 996147200 134512640 135215973 4294956304 18446744073709551615 134589618 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 187895 184640 419 171 0 186820 0 Current children cumulated CPU time (s) 636.25 Current children cumulated vsize (KiB) 751580 [startup+702.301 s] /proc/loadavg: 2.05 2.01 2.00 3/82 17079 /proc/meminfo: memFree=459456/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=812244 CPUtime=695.69 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 209956 825 0 0 69439 130 0 0 25 0 1 0 58883979 831737856 200347 996147200 134512640 135215973 4294956304 18446744073709551615 134583485 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 203061 200347 419 171 0 201986 0 Current children cumulated CPU time (s) 695.69 Current children cumulated vsize (KiB) 812244 [startup+762.306 s] /proc/loadavg: 2.06 2.02 2.00 3/82 17079 /proc/meminfo: memFree=392256/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=876520 CPUtime=755.13 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 226585 825 0 0 75371 142 0 0 25 0 1 0 58883979 897556480 216976 996147200 134512640 135215973 4294956304 18446744073709551615 4159347456 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 219130 216976 419 171 0 218055 0 Current children cumulated CPU time (s) 755.13 Current children cumulated vsize (KiB) 876520 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+803.402 s] /proc/loadavg: 2.17 2.05 2.01 3/82 17079 /proc/meminfo: memFree=345472/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=921696 CPUtime=795.85 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4194304 238236 825 0 0 79437 148 0 0 25 0 1 0 58883979 943816704 228627 996147200 134512640 135215973 4294956304 18446744073709551615 134588209 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 230424 228627 419 171 0 229349 0 Current children cumulated CPU time (s) 795.85 Current children cumulated vsize (KiB) 921696 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+803.508 s] /proc/loadavg: 2.17 2.05 2.01 3/82 17079 /proc/meminfo: memFree=345472/2055920 swapFree=4191900/4192956 [pid=17071] ppid=17069 vsize=0 CPUtime=795.94 /proc/17071/stat : 17071 (pcs.big) R 17069 17071 14762 0 -1 4195332 238236 825 0 0 79437 157 0 0 25 0 1 0 58883979 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/17071/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 795.94 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 803.559 CPU time (s): 796.015 CPU user time (s): 794.376 CPU system time (s): 1.63875 CPU usage (%): 99.0612 Max. virtual memory (cumulated for all children) (KiB): 921696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 794.376 system time used= 1.63875 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 239061 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= 32716 runsolver used 0.91886 second user time and 2.74558 second system time The end
Begin job on node15 at 2009-07-16 06:22:51 IDJOB=2080690 IDBENCH=57128 IDSOLVER=733 FILE ID=node15/2080690-1247718171 PBS_JOBID= 9521309 Free space on /tmp= 66304 MiB SOLVER NAME= pcs 0.2 BENCH NAME= CPAI08/csp/haystacks/normalized-haystacks-10.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080690-1247718171/watcher-2080690-1247718171 -o /tmp/evaluation-result-2080690-1247718171/solver-2080690-1247718171 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1447448122 HOME/instance-2080690-1247718171.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= e3b2ef63bef9ef1642e95610d4dd6a1e RANDOM SEED=1447448122 node15.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.220 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.220 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: 1359160 kB Buffers: 87312 kB Cached: 504552 kB SwapCached: 416 kB Active: 215108 kB Inactive: 412392 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1359160 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 5132 kB Writeback: 0 kB Mapped: 55256 kB Slab: 54240 kB Committed_AS: 863300 kB PageTables: 1980 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= 66304 MiB End job on node15 at 2009-07-16 06:36:17