Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Pueblo 1.4 | UNSAT | 436.892 | 437.007 |
Name | normalized-PB07/PURE-SAT/SAT07/industrial/ babic/hsatv17/hsat_vc11944.opb |
MD5SUM | f83f841a8f4dff79c5180d1c656f5f99 |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 18.3892 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 178730 |
Total number of constraints | 508210 |
Number of constraints which are clauses | 508210 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 5 |
Number of bits of the biggest sum of numbers | 3 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 436.68/436.83 c starting to Solve 436.68/436.83 c #variables read: 178730 - #constraints read: 486293 436.78/436.98 c total time : 436.92 s 436.78/436.98 s UNSATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/419728-1177411923/instance-419728-1177411923.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-419728-1177411923 -o ROOT/results/node43/solver-419728-1177411923 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/419728-1177411923/instance-419728-1177411923.opb 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): 3600 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.10 1.02 1.00 3/77 14247 /proc/meminfo: memFree=1765992/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=2552 CPUtime=0 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 189104213 2613248 236 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134540052 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 638 238 199 16 0 77 0 [startup+0.0105231 s] /proc/loadavg: 1.10 1.02 1.00 3/77 14247 /proc/meminfo: memFree=1765992/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=2684 CPUtime=0 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 314 0 0 0 0 0 0 0 18 0 1 0 189104213 2748416 285 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 5197527 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 671 285 199 16 0 110 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2684 [startup+0.10153 s] /proc/loadavg: 1.10 1.02 1.00 3/77 14247 /proc/meminfo: memFree=1765992/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=5480 CPUtime=0.09 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 1001 0 0 0 9 0 0 0 18 0 1 0 189104213 5611520 972 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 5197527 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 1370 972 199 16 0 809 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5480 [startup+0.301547 s] /proc/loadavg: 1.10 1.02 1.00 3/77 14247 /proc/meminfo: memFree=1765992/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=8944 CPUtime=0.29 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 1859 0 0 0 29 0 0 0 19 0 1 0 189104213 9158656 1830 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 5197527 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 2236 1830 199 16 0 1675 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8944 [startup+0.701583 s] /proc/loadavg: 1.10 1.02 1.00 3/77 14247 /proc/meminfo: memFree=1765992/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=13872 CPUtime=0.69 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 3115 0 0 0 68 1 0 0 23 0 1 0 189104213 14204928 3086 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 5197527 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 3468 3087 200 16 0 2907 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13872 [startup+1.50165 s] /proc/loadavg: 1.10 1.02 1.00 2/78 14248 /proc/meminfo: memFree=1750624/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=24132 CPUtime=1.49 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 5665 0 0 0 146 3 0 0 25 0 1 0 189104213 24711168 5636 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 6033 5636 199 16 0 5472 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24132 [startup+3.10179 s] /proc/loadavg: 1.09 1.02 1.00 2/78 14248 /proc/meminfo: memFree=1736800/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=43448 CPUtime=3.09 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 10502 0 0 0 303 6 0 0 25 0 1 0 189104213 44490752 10473 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 5197527 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 10862 10473 199 16 0 10301 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 43448 [startup+6.30107 s] /proc/loadavg: 1.09 1.02 1.00 2/78 14248 /proc/meminfo: memFree=1697704/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=80880 CPUtime=6.29 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 19856 0 0 0 618 11 0 0 25 0 1 0 189104213 82821120 19827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 20220 19827 199 16 0 19659 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 80880 [startup+12.7016 s] /proc/loadavg: 1.08 1.01 1.00 2/78 14248 /proc/meminfo: memFree=1667120/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=108808 CPUtime=12.69 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 1281219 0 0 0 907 362 0 0 25 0 1 0 189104213 111419392 24914 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 27202 24924 205 16 0 26641 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 108808 [startup+25.5017 s] /proc/loadavg: 1.07 1.01 1.00 2/78 14248 /proc/meminfo: memFree=1666800/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=108808 CPUtime=25.48 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 3933822 0 0 0 1445 1103 0 0 25 0 1 0 189104213 111419392 24867 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 27202 24877 205 16 0 26641 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 108808 [startup+51.102 s] /proc/loadavg: 1.04 1.01 1.00 2/78 14248 /proc/meminfo: memFree=1666608/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=109064 CPUtime=51.08 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 9247135 0 0 0 2526 2582 0 0 25 0 1 0 189104213 111681536 24831 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 27266 24841 205 16 0 26705 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 109064 [startup+102.305 s] /proc/loadavg: 1.02 1.01 1.00 2/78 14248 /proc/meminfo: memFree=1666288/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=109448 CPUtime=102.26 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 19848958 0 0 0 4685 5541 0 0 25 0 1 0 189104213 112074752 24946 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 27362 24957 205 16 0 26801 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 109448 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14248 /proc/meminfo: memFree=1665968/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=109960 CPUtime=162.25 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 32246941 0 0 0 7220 9005 0 0 25 0 1 0 189104213 112599040 25054 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 27490 25064 205 16 0 26929 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 109960 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14248 /proc/meminfo: memFree=1665904/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=110092 CPUtime=222.24 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 44632763 0 0 0 9743 12481 0 0 25 0 1 0 189104213 112734208 25076 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 27523 25086 205 16 0 26962 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 110092 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14248 /proc/meminfo: memFree=1660144/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=116924 CPUtime=282.22 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 57034412 0 0 0 12266 15956 0 0 25 0 1 0 189104213 119730176 26750 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 29231 26750 205 16 0 28670 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 116924 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14248 /proc/meminfo: memFree=1653488/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=122600 CPUtime=342.2 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 69445713 0 0 0 14798 19422 0 0 25 0 1 0 189104213 125542400 28102 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 30650 28111 205 16 0 30089 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 122600 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14248 /proc/meminfo: memFree=1647408/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=128540 CPUtime=402.18 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 81842721 0 0 0 17328 22890 0 0 25 0 1 0 189104213 131624960 29685 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 32135 29694 205 16 0 31574 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 128540 Solver just ended. Dumping a history of the last processes samples [startup+409.501 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14248 /proc/meminfo: memFree=1646576/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=129200 CPUtime=409.38 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 83337819 0 0 0 17636 23302 0 0 25 0 1 0 189104213 132300800 29932 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 32300 29942 205 16 0 31739 0 Current children cumulated CPU time (s) 409.38 Current children cumulated vsize (KiB) 129200 [startup+422.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14248 /proc/meminfo: memFree=1645424/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=130388 CPUtime=422.18 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 85976849 0 0 0 18171 24047 0 0 25 0 1 0 189104213 133517312 30137 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 32597 30148 205 16 0 32036 0 Current children cumulated CPU time (s) 422.18 Current children cumulated vsize (KiB) 130388 [startup+428.702 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14248 /proc/meminfo: memFree=1645104/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=131048 CPUtime=428.58 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 87298591 0 0 0 18440 24418 0 0 25 0 1 0 189104213 134193152 30279 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 32762 30284 205 16 0 32201 0 Current children cumulated CPU time (s) 428.58 Current children cumulated vsize (KiB) 131048 [startup+431.901 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14248 /proc/meminfo: memFree=1644912/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=131312 CPUtime=431.77 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 87957710 0 0 0 18571 24606 0 0 25 0 1 0 189104213 134463488 30523 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 32828 30533 205 16 0 32267 0 Current children cumulated CPU time (s) 431.77 Current children cumulated vsize (KiB) 131312 [startup+435.101 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14248 /proc/meminfo: memFree=1644080/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=131576 CPUtime=434.97 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 88612331 0 0 0 18703 24794 0 0 25 0 1 0 189104213 134733824 30469 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 32894 30479 205 16 0 32333 0 Current children cumulated CPU time (s) 434.97 Current children cumulated vsize (KiB) 131576 [startup+435.901 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14248 /proc/meminfo: memFree=1644208/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=131708 CPUtime=435.78 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 88776284 0 0 0 18736 24842 0 0 25 0 1 0 189104213 134868992 30622 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 32927 30632 206 16 0 32366 0 Current children cumulated CPU time (s) 435.78 Current children cumulated vsize (KiB) 131708 [startup+436.705 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14248 /proc/meminfo: memFree=1644336/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=131840 CPUtime=436.58 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 88941364 0 0 0 18770 24888 0 0 25 0 1 0 189104213 135004160 30502 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 32960 30512 205 16 0 32399 0 Current children cumulated CPU time (s) 436.58 Current children cumulated vsize (KiB) 131840 [startup+436.901 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14248 /proc/meminfo: memFree=1644336/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=133920 CPUtime=436.78 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194304 88968005 0 0 0 18783 24895 0 0 25 0 1 0 189104213 137134080 31068 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519782 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 33480 31068 206 16 0 32919 0 Current children cumulated CPU time (s) 436.78 Current children cumulated vsize (KiB) 133920 [startup+437.001 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14248 /proc/meminfo: memFree=1644336/2055920 swapFree=4158592/4192956 [pid=14247] ppid=14245 vsize=0 CPUtime=436.87 /proc/14247/stat : 14247 (Pueblo) R 14245 14247 13911 0 -1 4194308 88968014 0 0 0 18791 24896 0 0 25 0 1 0 189104213 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/14247/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 436.87 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 437.007 CPU time (s): 436.892 CPU user time (s): 187.918 CPU system time (s): 248.973 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 133920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 187.918 system time used= 248.973 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 88968014 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= 8917 runsolver used 0.353946 second user time and 1.07784 second system time The end
Begin job on node43 on Tue Apr 24 10:52:04 UTC 2007 IDJOB= 419728 IDBENCH= 47794 IDSOLVER= 165 FILE ID= node43/419728-1177411923 PBS_JOBID= 4675675 Free space on /tmp= 66416 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/babic/hsatv17/hsat_vc11944.opb COMMAND LINE= Pueblo /tmp/evaluation/419728-1177411923/instance-419728-1177411923.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node43/convwatcher-419728-1177411923 -o ROOT/results/node43/conversion-419728-1177411923 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/419728-1177411923/instance-419728-1177411923.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-419728-1177411923 -o ROOT/results/node43/solver-419728-1177411923 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/419728-1177411923/instance-419728-1177411923.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= f83f841a8f4dff79c5180d1c656f5f99 RANDOM SEED= 409554809 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.218 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.218 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: 1766400 kB Buffers: 42012 kB Cached: 167640 kB SwapCached: 2984 kB Active: 142436 kB Inactive: 91176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1766400 kB SwapTotal: 4192956 kB SwapFree: 4158592 kB Dirty: 19116 kB Writeback: 0 kB Mapped: 31560 kB Slab: 41268 kB Committed_AS: 2637944 kB PageTables: 1896 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= 66416 MiB End job on node43 on Tue Apr 24 10:59:21 UTC 2007