Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | -15 | 79.165 | 79.1957 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/454275-1178023618/instance-454275-1178023618.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.017 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.05/0.06 c Pre-processing Time: 0.059 s 0.05/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.06 c 0 100 1519 4557 3 3038 506 0 0 0.06 0.05/0.06 c Switching off LPR mode. 0.05/0.06 o -12 0.06 0.05/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.09 c 0 100 1520 4657 3 3052 939 1 0 0.06 0.05/0.09 c 100 100 1620 12992 8 3252 1033 101 1492 0.07 0.05/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.48/7.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.48/7.56 c 907 100 2429 80209 33 4897 1006 910 6170 0.15 7.48/7.56 c 1007 100 2529 88381 34 5097 1107 1010 6103 0.17 7.48/7.56 c 1257 100 2779 108671 39 5597 1218 1260 6285 0.20 7.48/7.56 c 1732 100 3254 147408 45 6547 1340 1735 6661 0.26 7.48/7.56 c 2545 100 4067 213531 52 8173 1475 2548 5823 0.44 7.48/7.56 c 3865 100 5387 320418 59 10813 1623 3868 4155 0.93 7.48/7.56 c 5947 100 3549 169295 47 7112 1786 2030 3492 1.70 7.48/7.56 c 9171 100 2776 104450 37 5566 1965 1257 2521 3.64 7.48/7.56 c 14108 100 3618 174065 48 7250 2162 2099 2606 5.41 7.48/7.56 o -15 7.561 79.06/79.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 79.06/79.19 c 19981 100 5310 311348 58 10649 1039 3791 2642 7.56 79.06/79.19 c 20082 100 5411 319435 59 10851 1143 3892 2633 7.63 79.06/79.19 c 20332 100 5661 339472 59 11351 1258 4142 2639 7.70 79.06/79.19 c 20807 100 2403 75795 31 4821 1384 884 2641 7.88 79.06/79.19 c 21620 100 3216 140757 43 6447 1523 1697 2707 7.98 79.06/79.19 c 22940 100 4536 246835 54 9087 1676 3017 2718 8.44 79.06/79.19 c 25023 100 2686 97487 36 5387 1844 1167 2693 9.29 79.06/79.19 c 28246 100 5909 355073 60 11833 2029 4390 2697 10.47 79.06/79.19 c 33183 100 2609 89116 34 5233 2232 1090 2541 13.06 79.06/79.19 c 40689 97 5893 342806 58 11798 2456 4374 2547 15.97 79.06/79.19 c 52050 97 4251 212859 50 8514 2702 2732 2447 21.27 79.06/79.19 c 69195 95 3566 155241 43 7142 2973 2047 2342 29.54 79.06/79.19 c 95014 91 6486 359343 55 12978 3271 4967 2238 42.44 79.06/79.19 c 133847 82 7499 379952 50 14995 3599 5980 2140 62.54 79.06/79.19 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 79.06/79.19 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 79.06/79.19 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 79.06/79.19 v -x82 -x83 -x84 x85 x86 x87 -x88 x89 x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 79.06/79.19 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 79.06/79.19 c 28 164181 2141 166565 3623 66021 2104 2074 79.16 79.06/79.19 c Objective: -15 79.06/79.19 s OPTIMUM FOUND 79.06/79.19 c Total time: 79.159 s
OK -15
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node23/watcher-454275-1178023618 -o ROOT/results/node23/solver-454275-1178023618 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454275-1178023618/instance-454275-1178023618.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: 0.78 0.95 0.98 3/77 15986 /proc/meminfo: memFree=1884192/2055920 swapFree=4169104/4192956 [pid=15986] ppid=15984 vsize=11772 CPUtime=0 /proc/15986/stat : 15986 (bsolo3.0.16) R 15984 15986 15387 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 250278946 12054528 344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15986/statm: 2943 344 291 324 0 2003 0 [startup+0.0607939 s] /proc/loadavg: 0.78 0.95 0.98 3/77 15986 /proc/meminfo: memFree=1884192/2055920 swapFree=4169104/4192956 [pid=15986] ppid=15984 vsize=5704 CPUtime=0.05 /proc/15986/stat : 15986 (bsolo3.0.16) R 15984 15986 15387 0 -1 4194304 841 0 0 0 5 0 0 0 18 0 1 0 250278946 5840896 801 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134557668 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15986/statm: 1426 801 308 324 0 495 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5704 [startup+0.101802 s] /proc/loadavg: 0.78 0.95 0.98 3/77 15986 /proc/meminfo: memFree=1884192/2055920 swapFree=4169104/4192956 [pid=15986] ppid=15984 vsize=5836 CPUtime=0.09 /proc/15986/stat : 15986 (bsolo3.0.16) R 15984 15986 15387 0 -1 4194304 858 0 0 0 9 0 0 0 18 0 1 0 250278946 5976064 818 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15986/statm: 1459 818 312 324 0 528 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5836 [startup+0.301841 s] /proc/loadavg: 0.78 0.95 0.98 3/77 15986 /proc/meminfo: memFree=1884192/2055920 swapFree=4169104/4192956 [pid=15986] ppid=15984 vsize=7288 CPUtime=0.29 /proc/15986/stat : 15986 (bsolo3.0.16) R 15984 15986 15387 0 -1 4194304 1228 0 0 0 29 0 0 0 19 0 1 0 250278946 7462912 1188 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15986/statm: 1822 1189 313 324 0 891 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7288 [startup+0.701917 s] /proc/loadavg: 0.78 0.95 0.98 3/77 15986 /proc/meminfo: memFree=1884192/2055920 swapFree=4169104/4192956 [pid=15986] ppid=15984 vsize=8600 CPUtime=0.69 /proc/15986/stat : 15986 (bsolo3.0.16) R 15984 15986 15387 0 -1 4194304 1562 0 0 0 68 1 0 0 22 0 1 0 250278946 8806400 1522 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2928161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15986/statm: 2150 1522 313 324 0 1219 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8600 [startup+1.50107 s] /proc/loadavg: 0.78 0.95 0.98 2/78 15987 /proc/meminfo: memFree=1878680/2055920 swapFree=4169104/4192956 [pid=15986] ppid=15984 vsize=10148 CPUtime=1.49 /proc/15986/stat : 15986 (bsolo3.0.16) R 15984 15986 15387 0 -1 4194304 1953 0 0 0 148 1 0 0 25 0 1 0 250278946 10391552 1913 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15986/statm: 2537 1913 313 324 0 1606 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10148 [startup+3.10238 s] /proc/loadavg: 0.78 0.95 0.98 2/78 15987 /proc/meminfo: memFree=1877592/2055920 swapFree=4169104/4192956 [pid=15986] ppid=15984 vsize=10148 CPUtime=3.09 /proc/15986/stat : 15986 (bsolo3.0.16) R 15984 15986 15387 0 -1 4194304 1953 0 0 0 307 2 0 0 25 0 1 0 250278946 10391552 1913 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15986/statm: 2537 1913 313 324 0 1606 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10148 [startup+6.302 s] /proc/loadavg: 0.80 0.95 0.98 2/78 15987 /proc/meminfo: memFree=1877272/2055920 swapFree=4169104/4192956 [pid=15986] ppid=15984 vsize=10536 CPUtime=6.29 /proc/15986/stat : 15986 (bsolo3.0.16) R 15984 15986 15387 0 -1 4194304 2036 0 0 0 626 3 0 0 25 0 1 0 250278946 10788864 1996 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15986/statm: 2634 1996 313 324 0 1703 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10536 [startup+12.7012 s] /proc/loadavg: 0.81 0.95 0.98 2/78 15987 /proc/meminfo: memFree=1877040/2055920 swapFree=4169104/4192956 [pid=15986] ppid=15984 vsize=10668 CPUtime=12.68 /proc/15986/stat : 15986 (bsolo3.0.16) R 15984 15986 15387 0 -1 4194304 2093 0 0 0 1264 4 0 0 25 0 1 0 250278946 10924032 2053 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15986/statm: 2667 2053 313 324 0 1736 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 10668 [startup+25.5017 s] /proc/loadavg: 0.85 0.95 0.98 2/78 15987 /proc/meminfo: memFree=1876976/2055920 swapFree=4169104/4192956 [pid=15986] ppid=15984 vsize=11056 CPUtime=25.49 /proc/15986/stat : 15986 (bsolo3.0.16) R 15984 15986 15387 0 -1 4194304 2172 0 0 0 2542 7 0 0 25 0 1 0 250278946 11321344 2132 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15986/statm: 2764 2132 313 324 0 1833 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11056 [startup+51.1017 s] /proc/loadavg: 0.90 0.96 0.98 2/78 15987 /proc/meminfo: memFree=1876784/2055920 swapFree=4169104/4192956 [pid=15986] ppid=15984 vsize=11184 CPUtime=51.07 /proc/15986/stat : 15986 (bsolo3.0.16) R 15984 15986 15387 0 -1 4194304 2220 0 0 0 5096 11 0 0 25 0 1 0 250278946 11452416 2180 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15986/statm: 2796 2180 313 324 0 1865 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.9012 s] /proc/loadavg: 0.92 0.96 0.98 2/78 15987 /proc/meminfo: memFree=1876784/2055920 swapFree=4169104/4192956 [pid=15986] ppid=15984 vsize=11124 CPUtime=63.87 /proc/15986/stat : 15986 (bsolo3.0.16) R 15984 15986 15387 0 -1 4194304 2221 0 0 0 6373 14 0 0 25 0 1 0 250278946 11390976 2168 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15986/statm: 2781 2168 313 324 0 1850 0 Current children cumulated CPU time (s) 63.87 Current children cumulated vsize (KiB) 11124 [startup+70.3014 s] /proc/loadavg: 0.93 0.96 0.98 2/78 15987 /proc/meminfo: memFree=1876784/2055920 swapFree=4169104/4192956 [pid=15986] ppid=15984 vsize=11104 CPUtime=70.27 /proc/15986/stat : 15986 (bsolo3.0.16) R 15984 15986 15387 0 -1 4194304 2221 0 0 0 7012 15 0 0 25 0 1 0 250278946 11370496 2163 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15986/statm: 2776 2163 313 324 0 1845 0 Current children cumulated CPU time (s) 70.27 Current children cumulated vsize (KiB) 11104 [startup+73.502 s] /proc/loadavg: 0.93 0.96 0.98 2/78 15987 /proc/meminfo: memFree=1876784/2055920 swapFree=4169104/4192956 [pid=15986] ppid=15984 vsize=11104 CPUtime=73.47 /proc/15986/stat : 15986 (bsolo3.0.16) R 15984 15986 15387 0 -1 4194304 2221 0 0 0 7331 16 0 0 25 0 1 0 250278946 11370496 2163 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15986/statm: 2776 2163 313 324 0 1845 0 Current children cumulated CPU time (s) 73.47 Current children cumulated vsize (KiB) 11104 [startup+76.7016 s] /proc/loadavg: 0.93 0.96 0.98 2/78 15987 /proc/meminfo: memFree=1876784/2055920 swapFree=4169104/4192956 [pid=15986] ppid=15984 vsize=11072 CPUtime=76.66 /proc/15986/stat : 15986 (bsolo3.0.16) R 15984 15986 15387 0 -1 4194304 2221 0 0 0 7650 16 0 0 25 0 1 0 250278946 11337728 2155 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15986/statm: 2768 2155 313 324 0 1837 0 Current children cumulated CPU time (s) 76.66 Current children cumulated vsize (KiB) 11072 [startup+78.3019 s] /proc/loadavg: 0.94 0.96 0.98 2/78 15987 /proc/meminfo: memFree=1876784/2055920 swapFree=4169104/4192956 [pid=15986] ppid=15984 vsize=11056 CPUtime=78.26 /proc/15986/stat : 15986 (bsolo3.0.16) R 15984 15986 15387 0 -1 4194304 2221 0 0 0 7809 17 0 0 25 0 1 0 250278946 11321344 2151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15986/statm: 2764 2151 313 324 0 1833 0 Current children cumulated CPU time (s) 78.26 Current children cumulated vsize (KiB) 11056 [startup+78.702 s] /proc/loadavg: 0.94 0.96 0.98 2/78 15987 /proc/meminfo: memFree=1876784/2055920 swapFree=4169104/4192956 [pid=15986] ppid=15984 vsize=11056 CPUtime=78.66 /proc/15986/stat : 15986 (bsolo3.0.16) R 15984 15986 15387 0 -1 4194304 2221 0 0 0 7849 17 0 0 25 0 1 0 250278946 11321344 2151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15986/statm: 2764 2151 313 324 0 1833 0 Current children cumulated CPU time (s) 78.66 Current children cumulated vsize (KiB) 11056 [startup+79.1011 s] /proc/loadavg: 0.94 0.96 0.98 2/78 15987 /proc/meminfo: memFree=1876784/2055920 swapFree=4169104/4192956 [pid=15986] ppid=15984 vsize=11056 CPUtime=79.06 /proc/15986/stat : 15986 (bsolo3.0.16) R 15984 15986 15387 0 -1 4194304 2221 0 0 0 7889 17 0 0 25 0 1 0 250278946 11321344 2151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546373 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15986/statm: 2764 2151 313 324 0 1833 0 Current children cumulated CPU time (s) 79.06 Current children cumulated vsize (KiB) 11056 Child status: 0 Real time (s): 79.1957 CPU time (s): 79.165 CPU user time (s): 78.985 CPU system time (s): 0.179972 CPU usage (%): 99.9612 Max. virtual memory (cumulated for all children) (KiB): 11184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 78.985 system time used= 0.179972 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= 134 runsolver used 0.079987 second user time and 0.159975 second system time The end
Begin job on node23 on Tue May 1 12:46:58 UTC 2007 IDJOB= 454275 IDBENCH= 48186 IDSOLVER= 163 FILE ID= node23/454275-1178023618 PBS_JOBID= 4728371 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_25_1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454275-1178023618/instance-454275-1178023618.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-454275-1178023618 -o ROOT/results/node23/solver-454275-1178023618 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454275-1178023618/instance-454275-1178023618.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 009ec87aa7f9a2a2aeb136cc6734ca0d RANDOM SEED= 854926029 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node23.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.276 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.276 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: 1884600 kB Buffers: 18776 kB Cached: 68932 kB SwapCached: 2392 kB Active: 72972 kB Inactive: 40692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1884600 kB SwapTotal: 4192956 kB SwapFree: 4169104 kB Dirty: 6828 kB Writeback: 0 kB Mapped: 33276 kB Slab: 43124 kB Committed_AS: 4012552 kB PageTables: 1800 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 node23 on Tue May 1 12:48:18 UTC 2007