Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | -15 | 78.905 | 78.9356 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_25_1.opb |
MD5SUM | 009ec87aa7f9a2a2aeb136cc6734ca0d |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -15 |
Best CPU time to get the best result obtained on this benchmark | 13.075 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -15 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 43 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 3038 |
Sum of products size (including duplicates) | 6076 |
Number of different products | 1519 |
Sum of products size | 3038 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/454281-1178023712/instance-454281-1178023712.opb 0.00/0.00 c File size is 34355 bytes. 0.00/0.02 c Highest Coefficient sum: 100 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.018 s 0.00/0.02 c Var: 3138 Constr: 6276 3138/100/3038 Lit: 24304 Watch. Lit: 18228 0.00/0.02 c Obj. Vars: 100 (3.18674 % of total variables) 0.00/0.06 c Pre-processing Time: 0.06 s 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 100 1519 4557 3 3038 506 0 0 0.06 0.00/0.06 c Switching off LPR mode. 0.00/0.06 o -12 0.061 0.00/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.09 c 0 100 1520 4657 3 3052 939 1 0 0.06 0.00/0.09 c 100 100 1620 12992 8 3252 1033 101 1492 0.07 0.00/0.09 o -13 0.087 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 343 100 1864 33399 17 3753 972 345 3942 0.09 0.09/0.15 c 443 100 1964 41719 21 3953 1070 445 4614 0.10 0.09/0.15 c 693 100 2214 62397 28 4453 1178 695 5680 0.12 0.09/0.15 o -14 0.147 7.49/7.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.49/7.53 c 907 100 2429 80209 33 4897 1006 910 6170 0.15 7.49/7.53 c 1007 100 2529 88381 34 5097 1107 1010 6103 0.17 7.49/7.53 c 1257 100 2779 108671 39 5597 1218 1260 6316 0.20 7.49/7.53 c 1732 100 3254 147408 45 6547 1340 1735 6687 0.26 7.49/7.53 c 2545 100 4067 213531 52 8173 1475 2548 5837 0.44 7.49/7.53 c 3865 100 5387 320418 59 10813 1623 3868 4164 0.93 7.49/7.53 c 5947 100 3549 169295 47 7112 1786 2030 3508 1.70 7.49/7.53 c 9171 100 2776 104450 37 5566 1965 1257 2544 3.60 7.49/7.53 c 14108 100 3618 174065 48 7250 2162 2099 2619 5.39 7.49/7.53 o -15 7.532 78.87/78.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 78.87/78.93 c 19981 100 5310 311348 58 10649 1039 3791 2652 7.53 78.87/78.93 c 20082 100 5411 319435 59 10851 1143 3892 2642 7.60 78.87/78.93 c 20332 100 5661 339472 59 11351 1258 4142 2648 7.68 78.87/78.93 c 20807 100 2403 75795 31 4821 1384 884 2650 7.85 78.87/78.93 c 21620 100 3216 140757 43 6447 1523 1697 2717 7.96 78.87/78.93 c 22940 100 4536 246835 54 9087 1676 3017 2727 8.41 78.87/78.93 c 25023 100 2686 97487 36 5387 1844 1167 2700 9.27 78.87/78.93 c 28246 100 5909 355073 60 11833 2029 4390 2703 10.45 78.87/78.93 c 33183 100 2609 89116 34 5233 2232 1090 2544 13.04 78.87/78.93 c 40689 97 5893 342806 58 11798 2456 4374 2549 15.96 78.87/78.93 c 52050 97 4251 212859 50 8514 2702 2732 2452 21.23 78.87/78.93 c 69195 95 3566 155241 43 7142 2973 2047 2348 29.47 78.87/78.93 c 95014 91 6486 359343 55 12978 3271 4967 2248 42.25 78.87/78.93 c 133847 82 7499 379952 50 14995 3599 5980 2149 62.27 78.87/78.93 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 78.87/78.93 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 78.87/78.93 v x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 x77 -x78 -x79 x80 -x81 78.87/78.93 v -x82 -x83 -x84 x85 x86 x87 -x88 x89 x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 78.87/78.93 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 78.87/78.93 c 28 164181 2141 166565 3623 66021 2104 2080 78.90 78.87/78.93 c Objective: -15 78.87/78.93 s OPTIMUM FOUND 78.87/78.93 c Total time: 78.9 s
OK -15
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-454281-1178023712 -o ROOT/results/node1/solver-454281-1178023712 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454281-1178023712/instance-454281-1178023712.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.00 1.00 1.00 3/77 10848 /proc/meminfo: memFree=1795576/2055920 swapFree=4145736/4192956 [pid=10848] ppid=10846 vsize=11772 CPUtime=0 /proc/10848/stat : 10848 (bsolo3.0.17) R 10846 10848 18654 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 278409011 12054528 346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10848/statm: 2943 346 290 324 0 2004 0 [startup+0.0963491 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10848 /proc/meminfo: memFree=1795576/2055920 swapFree=4145736/4192956 [pid=10848] ppid=10846 vsize=5704 CPUtime=0.08 /proc/10848/stat : 10848 (bsolo3.0.17) R 10846 10848 18654 0 -1 4194304 843 0 0 0 8 0 0 0 18 0 1 0 278409011 5840896 804 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10848/statm: 1426 804 310 324 0 496 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5704 [startup+0.101348 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10848 /proc/meminfo: memFree=1795576/2055920 swapFree=4145736/4192956 [pid=10848] ppid=10846 vsize=5836 CPUtime=0.09 /proc/10848/stat : 10848 (bsolo3.0.17) R 10846 10848 18654 0 -1 4194304 854 0 0 0 9 0 0 0 18 0 1 0 278409011 5976064 815 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551266 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10848/statm: 1459 815 310 324 0 529 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5836 [startup+0.301371 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10848 /proc/meminfo: memFree=1795576/2055920 swapFree=4145736/4192956 [pid=10848] ppid=10846 vsize=7288 CPUtime=0.3 /proc/10848/stat : 10848 (bsolo3.0.17) R 10846 10848 18654 0 -1 4194304 1227 0 0 0 29 1 0 0 19 0 1 0 278409011 7462912 1188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10848/statm: 1822 1188 311 324 0 892 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 7288 [startup+0.701419 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10848 /proc/meminfo: memFree=1795576/2055920 swapFree=4145736/4192956 [pid=10848] ppid=10846 vsize=8600 CPUtime=0.69 /proc/10848/stat : 10848 (bsolo3.0.17) R 10846 10848 18654 0 -1 4194304 1559 0 0 0 68 1 0 0 23 0 1 0 278409011 8806400 1520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10848/statm: 2150 1520 311 324 0 1220 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8600 [startup+1.50151 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10849 /proc/meminfo: memFree=1790000/2055920 swapFree=4145736/4192956 [pid=10848] ppid=10846 vsize=10148 CPUtime=1.49 /proc/10848/stat : 10848 (bsolo3.0.17) R 10846 10848 18654 0 -1 4194304 1950 0 0 0 148 1 0 0 25 0 1 0 278409011 10391552 1911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6270598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10848/statm: 2537 1911 311 324 0 1607 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10148 [startup+3.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10849 /proc/meminfo: memFree=1788976/2055920 swapFree=4145736/4192956 [pid=10848] ppid=10846 vsize=10148 CPUtime=3.09 /proc/10848/stat : 10848 (bsolo3.0.17) R 10846 10848 18654 0 -1 4194304 1950 0 0 0 308 1 0 0 25 0 1 0 278409011 10391552 1911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10848/statm: 2537 1911 311 324 0 1607 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10148 [startup+6.30108 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10849 /proc/meminfo: memFree=1788664/2055920 swapFree=4145736/4192956 [pid=10848] ppid=10846 vsize=10536 CPUtime=6.29 /proc/10848/stat : 10848 (bsolo3.0.17) R 10846 10848 18654 0 -1 4194304 2033 0 0 0 628 1 0 0 25 0 1 0 278409011 10788864 1994 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572383 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10848/statm: 2634 1994 311 324 0 1704 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10536 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10849 /proc/meminfo: memFree=1788568/2055920 swapFree=4145736/4192956 [pid=10848] ppid=10846 vsize=10668 CPUtime=12.69 /proc/10848/stat : 10848 (bsolo3.0.17) R 10846 10848 18654 0 -1 4194304 2090 0 0 0 1268 1 0 0 25 0 1 0 278409011 10924032 2051 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10848/statm: 2667 2051 311 324 0 1737 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10668 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10849 /proc/meminfo: memFree=1788312/2055920 swapFree=4145736/4192956 [pid=10848] ppid=10846 vsize=11056 CPUtime=25.48 /proc/10848/stat : 10848 (bsolo3.0.17) R 10846 10848 18654 0 -1 4194304 2169 0 0 0 2547 1 0 0 25 0 1 0 278409011 11321344 2130 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10848/statm: 2764 2130 311 324 0 1834 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 11056 [startup+51.1023 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10849 /proc/meminfo: memFree=1788184/2055920 swapFree=4145736/4192956 [pid=10848] ppid=10846 vsize=11184 CPUtime=51.07 /proc/10848/stat : 10848 (bsolo3.0.17) R 10846 10848 18654 0 -1 4194304 2217 0 0 0 5105 2 0 0 25 0 1 0 278409011 11452416 2178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10848/statm: 2796 2178 311 324 0 1866 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 11184 Solver just ended. Dumping a history of the last processes samples [startup+63.9018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10849 /proc/meminfo: memFree=1788312/2055920 swapFree=4145736/4192956 [pid=10848] ppid=10846 vsize=11124 CPUtime=63.87 /proc/10848/stat : 10848 (bsolo3.0.17) R 10846 10848 18654 0 -1 4194304 2218 0 0 0 6385 2 0 0 25 0 1 0 278409011 11390976 2166 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10848/statm: 2781 2166 311 324 0 1851 0 Current children cumulated CPU time (s) 63.87 Current children cumulated vsize (KiB) 11124 [startup+70.3016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10849 /proc/meminfo: memFree=1788312/2055920 swapFree=4145736/4192956 [pid=10848] ppid=10846 vsize=11104 CPUtime=70.27 /proc/10848/stat : 10848 (bsolo3.0.17) R 10846 10848 18654 0 -1 4194304 2218 0 0 0 7025 2 0 0 25 0 1 0 278409011 11370496 2161 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10848/statm: 2776 2161 311 324 0 1846 0 Current children cumulated CPU time (s) 70.27 Current children cumulated vsize (KiB) 11104 [startup+73.502 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10849 /proc/meminfo: memFree=1788312/2055920 swapFree=4145736/4192956 [pid=10848] ppid=10846 vsize=11104 CPUtime=73.47 /proc/10848/stat : 10848 (bsolo3.0.17) R 10846 10848 18654 0 -1 4194304 2218 0 0 0 7345 2 0 0 25 0 1 0 278409011 11370496 2161 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10848/statm: 2776 2161 311 324 0 1846 0 Current children cumulated CPU time (s) 73.47 Current children cumulated vsize (KiB) 11104 [startup+76.7023 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10849 /proc/meminfo: memFree=1788312/2055920 swapFree=4145736/4192956 [pid=10848] ppid=10846 vsize=11056 CPUtime=76.67 /proc/10848/stat : 10848 (bsolo3.0.17) R 10846 10848 18654 0 -1 4194304 2218 0 0 0 7665 2 0 0 25 0 1 0 278409011 11321344 2149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10848/statm: 2764 2149 311 324 0 1834 0 Current children cumulated CPU time (s) 76.67 Current children cumulated vsize (KiB) 11056 [startup+78.3015 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10849 /proc/meminfo: memFree=1788312/2055920 swapFree=4145736/4192956 [pid=10848] ppid=10846 vsize=11056 CPUtime=78.27 /proc/10848/stat : 10848 (bsolo3.0.17) R 10846 10848 18654 0 -1 4194304 2218 0 0 0 7825 2 0 0 25 0 1 0 278409011 11321344 2149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10848/statm: 2764 2149 311 324 0 1834 0 Current children cumulated CPU time (s) 78.27 Current children cumulated vsize (KiB) 11056 [startup+78.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10849 /proc/meminfo: memFree=1788312/2055920 swapFree=4145736/4192956 [pid=10848] ppid=10846 vsize=11056 CPUtime=78.67 /proc/10848/stat : 10848 (bsolo3.0.17) R 10846 10848 18654 0 -1 4194304 2218 0 0 0 7865 2 0 0 25 0 1 0 278409011 11321344 2149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10848/statm: 2764 2149 311 324 0 1834 0 Current children cumulated CPU time (s) 78.67 Current children cumulated vsize (KiB) 11056 [startup+78.9016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10849 /proc/meminfo: memFree=1788312/2055920 swapFree=4145736/4192956 [pid=10848] ppid=10846 vsize=11056 CPUtime=78.87 /proc/10848/stat : 10848 (bsolo3.0.17) R 10846 10848 18654 0 -1 4194304 2218 0 0 0 7885 2 0 0 25 0 1 0 278409011 11321344 2149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551482 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10848/statm: 2764 2149 311 324 0 1834 0 Current children cumulated CPU time (s) 78.87 Current children cumulated vsize (KiB) 11056 Child status: 0 Real time (s): 78.9356 CPU time (s): 78.905 CPU user time (s): 78.883 CPU system time (s): 0.021996 CPU usage (%): 99.9612 Max. virtual memory (cumulated for all children) (KiB): 11184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 78.883 system time used= 0.021996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2222 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= 11 involuntary context switches= 1597 runsolver used 0.067989 second user time and 0.171973 second system time The end
Begin job on node1 on Tue May 1 12:48:32 UTC 2007 IDJOB= 454281 IDBENCH= 48186 IDSOLVER= 199 FILE ID= node1/454281-1178023712 PBS_JOBID= 4728372 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_25_1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454281-1178023712/instance-454281-1178023712.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-454281-1178023712 -o ROOT/results/node1/solver-454281-1178023712 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454281-1178023712/instance-454281-1178023712.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 009ec87aa7f9a2a2aeb136cc6734ca0d RANDOM SEED= 34422620 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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.234 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.234 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: 1796048 kB Buffers: 64324 kB Cached: 104472 kB SwapCached: 14532 kB Active: 133840 kB Inactive: 62160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1796048 kB SwapTotal: 4192956 kB SwapFree: 4145736 kB Dirty: 6768 kB Writeback: 0 kB Mapped: 33524 kB Slab: 49368 kB Committed_AS: 7606428 kB PageTables: 1840 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= 66558 MiB End job on node1 on Tue May 1 12:49:51 UTC 2007