Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (exit code) | 267.769 | 267.841 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-d2q06c.opb |
MD5SUM | 121100115f65aafe7304954ad1ff7cf1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
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 | 1653.56 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155010 |
Total number of constraints | 2171 |
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 | 2171 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 3270 |
Number of terms in the objective function | 89670 |
Biggest coefficient in the objective function | 1092 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 602590 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 602590 |
Number of bits of the biggest sum of numbers | 20 |
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 c glpPB 0.2 (July 2006) 0.00 c An Application of GLPK 4.10 for PB Constraints 0.00 c Done @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 267.81 c starting to Solve 267.81 Assertion failed: x <= ub; file glpmip2.c; line 239
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node18/watcher-85001-1154164108 -o ROOT/results/node18/solver-85001-1154164108 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node18/85001-1154164108/instance-85001-1154164108.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.90 0.95 0.90 3/64 19775 /proc/meminfo: memFree=1674624/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=2664 CPUtime=0 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 261 0 0 0 0 0 0 0 18 0 1 0 163271482 2727936 231 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 8326871 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 666 231 192 40 0 83 0 [startup+10.0029 s] /proc/loadavg: 0.91 0.95 0.90 2/64 19775 /proc/meminfo: memFree=1565960/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=9.99 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 33369 0 0 0 985 14 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134590116 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 110932 [startup+20.0089 s] /proc/loadavg: 0.92 0.95 0.91 2/64 19775 /proc/meminfo: memFree=1566152/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=19.99 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 33369 0 0 0 1985 14 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582188 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 110932 [startup+30.0149 s] /proc/loadavg: 0.94 0.95 0.91 2/64 19775 /proc/meminfo: memFree=1566280/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=30 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 33369 0 0 0 2986 14 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134588014 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 110932 [startup+40.0208 s] /proc/loadavg: 0.94 0.95 0.91 2/64 19775 /proc/meminfo: memFree=1566280/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=40 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 33369 0 0 0 3986 14 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582191 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 110932 [startup+50.0268 s] /proc/loadavg: 0.95 0.95 0.91 2/64 19775 /proc/meminfo: memFree=1566280/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=50 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 33369 0 0 0 4986 14 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134590094 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 110932 [startup+60.0328 s] /proc/loadavg: 0.96 0.95 0.91 2/64 19775 /proc/meminfo: memFree=1566280/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=60.01 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 33369 0 0 0 5987 14 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134589905 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 110932 [startup+70.0398 s] /proc/loadavg: 0.97 0.95 0.91 2/64 19775 /proc/meminfo: memFree=1561992/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=115244 CPUtime=70.01 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 35515 0 0 0 6986 15 0 0 25 0 1 0 163271482 118009856 28427 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582171 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 28811 28427 221 40 0 28228 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 115244 [startup+80.0457 s] /proc/loadavg: 0.97 0.95 0.91 2/64 19775 /proc/meminfo: memFree=1566280/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=80.01 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 36583 0 0 0 7985 16 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587947 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 110932 [startup+90.0517 s] /proc/loadavg: 0.97 0.95 0.91 2/64 19775 /proc/meminfo: memFree=1566280/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=90.02 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 36583 0 0 0 8986 16 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582174 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 110932 [startup+100.058 s] /proc/loadavg: 0.98 0.95 0.91 2/64 19775 /proc/meminfo: memFree=1566280/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=100.02 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 36583 0 0 0 9986 16 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582915 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 110932 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.91 2/64 19775 /proc/meminfo: memFree=1566280/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=110.02 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 36583 0 0 0 10986 16 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134589868 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 110932 [startup+120.07 s] /proc/loadavg: 0.98 0.96 0.91 2/64 19775 /proc/meminfo: memFree=1566280/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=120.03 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 36583 0 0 0 11987 16 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134590082 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 110932 [startup+130.076 s] /proc/loadavg: 0.99 0.96 0.91 2/64 19775 /proc/meminfo: memFree=1566280/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=130.03 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 36583 0 0 0 12987 16 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134590088 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 110932 [startup+140.082 s] /proc/loadavg: 0.99 0.96 0.91 2/64 19775 /proc/meminfo: memFree=1566280/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=140.03 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 36583 0 0 0 13987 16 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134583232 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 110932 [startup+150.088 s] /proc/loadavg: 0.99 0.96 0.91 2/64 19775 /proc/meminfo: memFree=1561928/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=115244 CPUtime=150.04 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 38729 0 0 0 14987 17 0 0 25 0 1 0 163271482 118009856 28427 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134589874 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 28811 28427 221 40 0 28228 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 115244 [startup+160.094 s] /proc/loadavg: 0.99 0.96 0.91 2/64 19775 /proc/meminfo: memFree=1561928/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=115244 CPUtime=160.04 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 38729 0 0 0 15987 17 0 0 25 0 1 0 163271482 118009856 28427 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582191 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 28811 28427 221 40 0 28228 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 115244 [startup+170.1 s] /proc/loadavg: 0.99 0.96 0.91 2/64 19775 /proc/meminfo: memFree=1566280/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=170.05 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 39797 0 0 0 16987 18 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582191 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 110932 [startup+180.106 s] /proc/loadavg: 0.99 0.96 0.91 2/64 19775 /proc/meminfo: memFree=1566280/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=180.05 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 39797 0 0 0 17987 18 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134589605 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 110932 [startup+190.111 s] /proc/loadavg: 0.99 0.96 0.91 2/64 19775 /proc/meminfo: memFree=1566280/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=190.06 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 39797 0 0 0 18988 18 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587949 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 110932 [startup+200.117 s] /proc/loadavg: 0.99 0.96 0.91 2/64 19775 /proc/meminfo: memFree=1566280/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=200.06 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 39797 0 0 0 19988 18 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587971 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 110932 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19775 /proc/meminfo: memFree=1566216/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=210.06 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 39797 0 0 0 20988 18 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582191 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 210.06 Current children cumulated vsize (Kb) 110932 [startup+220.129 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19775 /proc/meminfo: memFree=1566216/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=220.06 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 39797 0 0 0 21988 18 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134581422 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 220.06 Current children cumulated vsize (Kb) 110932 [startup+230.135 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19775 /proc/meminfo: memFree=1566216/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=230.07 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 39797 0 0 0 22989 18 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582194 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 230.07 Current children cumulated vsize (Kb) 110932 [startup+240.141 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19775 /proc/meminfo: memFree=1566216/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=110932 CPUtime=240.07 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 39797 0 0 0 23989 18 0 0 25 0 1 0 163271482 113594368 27349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582174 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 27733 27349 221 40 0 27150 0 Current children cumulated CPU time (s) 240.07 Current children cumulated vsize (Kb) 110932 [startup+250.146 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19775 /proc/meminfo: memFree=1563208/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=113948 CPUtime=250.07 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 57689 0 0 0 24980 27 0 0 25 0 1 0 163271482 116682752 28106 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 28487 28106 227 40 0 27904 0 Current children cumulated CPU time (s) 250.07 Current children cumulated vsize (Kb) 113948 [startup+260.152 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19775 /proc/meminfo: memFree=1552648/2055920 swapFree=4184088/4192956 [pid=19775] ppid=19773 vsize=127344 CPUtime=260.08 /proc/19775/stat : 19775 (glpPBv3) R 19773 19775 19726 0 -1 0 143456 0 0 0 25938 70 0 0 25 0 1 0 163271482 130400256 31446 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 8326871 0 0 4096 0 0 0 0 17 1 0 0 /proc/19775/statm: 31836 31452 227 40 0 31253 0 Current children cumulated CPU time (s) 260.08 Current children cumulated vsize (Kb) 127344 Child status: 1 Real time (s): 267.841 CPU time (s): 267.769 CPU user time (s): 266.846 CPU system time (s): 0.922859 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (Kb): 127344 The end
Begin job on node18 on Sat Jul 29 09:08:29 UTC 2006 FILE ID= 85001-1154164108 PBS_JOBID= 892775 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-d2q06c.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node18/85001-1154164108/instance-85001-1154164108.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-85001-1154164108 -o ROOT/results/node18/solver-85001-1154164108 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node18/85001-1154164108/instance-85001-1154164108.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 121100115f65aafe7304954ad1ff7cf1 RANDOM SEED= 288962158 TIMEOUT= 1800 seconds /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.236 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.236 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: 1674832 kB Buffers: 16844 kB Cached: 286692 kB SwapCached: 2600 kB Active: 33336 kB Inactive: 278740 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1674832 kB SwapTotal: 4192956 kB SwapFree: 4184088 kB Dirty: 152 kB Writeback: 0 kB Mapped: 14556 kB Slab: 55112 kB Committed_AS: 670472 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node18 on Sat Jul 29 09:12:57 UTC 2006