Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 156.965 | 157.031 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-pp08a.opb |
MD5SUM | ff5b6f1c6eab20bc880408fc770c13e2 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 5344 |
Total number of constraints | 136 |
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 | 136 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 240 |
Number of terms in the objective function | 3424 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 180407058264 |
Number of bits of the sum of numbers in the objective function | 38 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 180407058264 |
Number of bits of the biggest sum of numbers | 38 |
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 Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c BIG Int formula... 0.11 c Initial problem consists of 5344 variables and 200 constraints. 0.12 c No problem reductions applied in OPT. instance. 0.12 c preprocess terminated. Elapsed time: 0.115 0.12 c After prepocess the problem consists of 4600 variables and 200 constraints. 0.12 c Initial Lower Bound: 0 0.18 c Restart #1 #Var: 4600 LB: 0 @ 0.175 0.30 c Restart #2 #Var: 4600 LB: 0 @ 0.298 0.46 c Restart #3 #Var: 4600 LB: 0 @ 0.458 0.66 c Restart #4 #Var: 4600 LB: 0 @ 0.651 0.86 c Restart #5 #Var: 4600 LB: 0 @ 0.857 1.04 c Restart #6 #Var: 4600 LB: 0 @ 1.039 1.28 c Restart #7 #Var: 4600 LB: 0 @ 1.278 1.58 c Restart #8 #Var: 4600 LB: 0 @ 1.569 1.87 c Restart #9 #Var: 4600 LB: 0 @ 1.861 2.17 c Restart #10 #Var: 4600 LB: 0 @ 2.156 2.49 c Restart #11 #Var: 4600 LB: 0 @ 2.479 2.76 c Restart #12 #Var: 4600 LB: 0 @ 2.753 2.97 c Restart #13 #Var: 4600 LB: 0 @ 2.955 3.19 c Restart #14 #Var: 4600 LB: 0 @ 3.182 3.42 c Restart #15 #Var: 4600 LB: 0 @ 3.409 3.67 c Restart #16 #Var: 4600 LB: 0 @ 3.656 3.93 c Restart #17 #Var: 4600 LB: 0 @ 3.922 4.21 c Restart #18 #Var: 4600 LB: 0 @ 4.199 4.52 c Restart #19 #Var: 4600 LB: 0 @ 4.51 4.89 c Restart #20 #Var: 4600 LB: 0 @ 4.879 5.37 c Restart #21 #Var: 4600 LB: 0 @ 5.359 5.72 c Restart #22 #Var: 4600 LB: 0 @ 5.711 6.20 c Restart #23 #Var: 4600 LB: 0 @ 6.185 6.67 c Restart #24 #Var: 4600 LB: 0 @ 6.663 7.19 c Restart #25 #Var: 4600 LB: 0 @ 7.176 7.65 c Restart #26 #Var: 4600 LB: 0 @ 7.643 8.30 c Restart #27 #Var: 4600 LB: 0 @ 8.283 8.94 c Restart #28 #Var: 4600 LB: 0 @ 8.926 9.61 c Restart #29 #Var: 4600 LB: 0 @ 9.596 10.26 c Restart #30 #Var: 4600 LB: 0 @ 10.248 10.81 c Restart #31 #Var: 4600 LB: 0 @ 10.794 11.49 c Restart #32 #Var: 4600 LB: 0 @ 11.479 12.17 c Restart #33 #Var: 4600 LB: 0 @ 12.155 12.93 c Restart #34 #Var: 4600 LB: 0 @ 12.915 13.69 c Restart #35 #Var: 4600 LB: 0 @ 13.671 14.45 c Restart #36 #Var: 4600 LB: 0 @ 14.435 15.42 c Restart #37 #Var: 4600 LB: 0 @ 15.407 16.29 c Restart #38 #Var: 4600 LB: 0 @ 16.272 17.19 c Restart #39 #Var: 4600 LB: 0 @ 17.176 18.23 c Restart #40 #Var: 4600 LB: 0 @ 18.217 19.09 c Restart #41 #Var: 4600 LB: 0 @ 19.072 20.24 c Restart #42 #Var: 4600 LB: 0 @ 20.22 21.42 c Restart #43 #Var: 4600 LB: 0 @ 21.4 22.52 c Restart #44 #Var: 4600 LB: 0 @ 22.501 23.75 c Restart #45 #Var: 4600 LB: 0 @ 23.734 24.84 c Restart #46 #Var: 4600 LB: 0 @ 24.825 26.15 c Restart #47 #Var: 4600 LB: 0 @ 26.132 27.62 c Restart #48 #Var: 4600 LB: 0 @ 27.606 28.89 c Restart #49 #Var: 4600 LB: 0 @ 28.867 30.36 c Restart #50 #Var: 4600 LB: 0 @ 30.337 31.52 c Restart #51 #Var: 4600 LB: 0 @ 31.497 33.15 c Restart #52 #Var: 4600 LB: 0 @ 33.128 34.43 c Restart #53 #Var: 4600 LB: 0 @ 34.408 35.97 c Restart #54 #Var: 4600 LB: 0 @ 35.952 37.53 c Restart #55 #Var: 4600 LB: 0 @ 37.509 39.12 c Restart #56 #Var: 4600 LB: 0 @ 39.098 40.83 c Restart #57 #Var: 4600 LB: 0 @ 40.809 42.39 c Restart #58 #Var: 4600 LB: 0 @ 42.369 44.40 c Restart #59 #Var: 4600 LB: 0 @ 44.379 46.02 c Restart #60 #Var: 4600 LB: 0 @ 45.992 47.84 c Restart #61 #Var: 4600 LB: 0 @ 47.814 49.62 c Restart #62 #Var: 4600 LB: 0 @ 49.594 51.21 c Restart #63 #Var: 4600 LB: 0 @ 51.187 53.03 c Restart #64 #Var: 4600 LB: 0 @ 53.002 54.73 c Restart #65 #Var: 4600 LB: 0 @ 54.704 56.40 c Restart #66 #Var: 4600 LB: 0 @ 56.368 58.31 c Restart #67 #Var: 4600 LB: 0 @ 58.286 60.33 c Restart #68 #Var: 4600 LB: 0 @ 60.3 62.74 c Restart #69 #Var: 4600 LB: 0 @ 62.707 64.67 c Restart #70 #Var: 4600 LB: 0 @ 64.636 66.98 c Restart #71 #Var: 4600 LB: 0 @ 66.953 69.14 c Restart #72 #Var: 4600 LB: 0 @ 69.104 71.39 c Restart #73 #Var: 4600 LB: 0 @ 71.359 73.71 c Restart #74 #Var: 4600 LB: 0 @ 73.676 76.01 c Restart #75 #Var: 4600 LB: 0 @ 75.97 78.26 c Restart #76 #Var: 4600 LB: 0 @ 78.222 80.60 c Restart #77 #Var: 4600 LB: 0 @ 80.562 82.91 c Restart #78 #Var: 4600 LB: 0 @ 82.874 85.71 c Restart #79 #Var: 4600 LB: 0 @ 85.672 88.29 c Restart #80 #Var: 4600 LB: 0 @ 88.251 91.08 c Restart #81 #Var: 4600 LB: 0 @ 91.035 93.68 c Restart #82 #Var: 4600 LB: 0 @ 93.637 96.33 c Restart #83 #Var: 4600 LB: 0 @ 96.293 98.96 c Restart #84 #Var: 4600 LB: 0 @ 98.918 101.83 c Restart #85 #Var: 4600 LB: 0 @ 101.78 104.48 c Restart #86 #Var: 4600 LB: 0 @ 104.43 107.18 c Restart #87 #Var: 4600 LB: 0 @ 107.14 109.99 c Restart #88 #Var: 4600 LB: 0 @ 109.94 113.26 c Restart #89 #Var: 4600 LB: 0 @ 113.22 116.30 c Restart #90 #Var: 4600 LB: 0 @ 116.25 119.84 c Restart #91 #Var: 4600 LB: 0 @ 119.79 123.00 c Restart #92 #Var: 4600 LB: 0 @ 122.95 126.16 c Restart #93 #Var: 4600 LB: 0 @ 126.11 129.50 c Restart #94 #Var: 4600 LB: 0 @ 129.44 133.02 c Restart #95 #Var: 4600 LB: 0 @ 132.97 136.95 c Restart #96 #Var: 4600 LB: 0 @ 136.89 140.34 c Restart #97 #Var: 4600 LB: 0 @ 140.28 144.37 c Restart #98 #Var: 4600 LB: 0 @ 144.31 147.94 c Restart #99 #Var: 4600 LB: 0 @ 147.88 151.99 c Restart #100 #Var: 4600 LB: 0 @ 151.93 155.84 c Restart #101 #Var: 4600 LB: 0 @ 155.78
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 Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-40747-1149315053 -o ROOT/results/node17/solver-40747-1149315053 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node17/40747-1149315053/instance-40747-1149315053.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.01 1.00 2/64 32076 /proc/meminfo: memFree=1867248/2055920 swapFree=4180996/4192956 [pid=32076] ppid=32074 vsize=4624 CPUtime=0 /proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 73 0 0 0 0 0 0 0 19 0 1 0 197168601 4734976 55 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2859812 0 0 4096 0 0 0 0 17 1 0 0 /proc/32076/statm: 1164 57 42 55 0 44 0 [startup+10.0029 s] /proc/loadavg: 1.00 1.01 1.00 2/64 32076 /proc/meminfo: memFree=1700488/2055920 swapFree=4180996/4192956 [pid=32076] ppid=32074 vsize=171572 CPUtime=9.98 /proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 42008 0 0 0 959 39 0 0 25 0 1 0 197168601 175689728 41900 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32076/statm: 42893 41901 297 55 0 41785 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 171572 [startup+20.0097 s] /proc/loadavg: 1.00 1.01 1.00 2/64 32076 /proc/meminfo: memFree=1542600/2055920 swapFree=4180996/4192956 [pid=32076] ppid=32074 vsize=329828 CPUtime=19.98 /proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 81464 0 0 0 1939 59 0 0 25 0 1 0 197168601 337743872 81301 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32076/statm: 82457 81301 297 55 0 81349 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 329828 [startup+30.0166 s] /proc/loadavg: 1.00 1.01 1.00 2/64 32076 /proc/meminfo: memFree=1412040/2055920 swapFree=4180996/4192956 [pid=32076] ppid=32074 vsize=461364 CPUtime=29.99 /proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 114441 0 0 0 2923 76 0 0 25 0 1 0 197168601 472436736 113924 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32076/statm: 115341 113924 297 55 0 114233 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 461364 [startup+40.0224 s] /proc/loadavg: 1.00 1.01 1.00 2/64 32076 /proc/meminfo: memFree=1285384/2055920 swapFree=4180996/4192956 [pid=32076] ppid=32074 vsize=588076 CPUtime=39.99 /proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 146305 0 0 0 3905 94 0 0 25 0 1 0 197168601 602189824 145532 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32076/statm: 147019 145532 297 55 0 145911 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 588076 [startup+50.0293 s] /proc/loadavg: 1.00 1.01 1.00 2/64 32076 /proc/meminfo: memFree=1167112/2055920 swapFree=4180996/4192956 [pid=32076] ppid=32074 vsize=705968 CPUtime=49.99 /proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 175917 0 0 0 4890 109 0 0 25 0 1 0 197168601 722911232 175050 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32076/statm: 176492 175051 297 55 0 175384 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 705968 [startup+60.0351 s] /proc/loadavg: 1.00 1.01 1.00 2/64 32076 /proc/meminfo: memFree=1030024/2055920 swapFree=4180996/4192956 [pid=32076] ppid=32074 vsize=842388 CPUtime=60 /proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 210105 0 0 0 5873 127 0 0 25 0 1 0 197168601 862605312 209233 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32076/statm: 210597 209233 297 55 0 209489 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 842388 [startup+70.049 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32076 /proc/meminfo: memFree=922696/2055920 swapFree=4180996/4192956 [pid=32076] ppid=32074 vsize=951340 CPUtime=70 /proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 237498 0 0 0 6858 142 0 0 25 0 1 0 197168601 974172160 236041 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32076/statm: 237835 236041 297 55 0 236727 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 951340 [startup+80.0548 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32076 /proc/meminfo: memFree=798664/2055920 swapFree=4180996/4192956 [pid=32076] ppid=32074 vsize=1075492 CPUtime=80.01 /proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 268676 0 0 0 7843 158 0 0 25 0 1 0 197168601 1101303808 266970 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32076/statm: 268873 266970 297 55 0 267765 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 1075492 [startup+90.0606 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32076 /proc/meminfo: memFree=693448/2055920 swapFree=4180996/4192956 [pid=32076] ppid=32074 vsize=1180764 CPUtime=90.01 /proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 295017 0 0 0 8827 174 0 0 25 0 1 0 197168601 1209102336 293216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3294789 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32076/statm: 295191 293216 297 55 0 294083 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 1180764 [startup+100.066 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32076 /proc/meminfo: memFree=586952/2055920 swapFree=4180996/4192956 [pid=32076] ppid=32074 vsize=1286972 CPUtime=100.02 /proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 321619 0 0 0 9815 187 0 0 25 0 1 0 197168601 1317859328 319804 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550909 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32076/statm: 321743 319804 297 55 0 320635 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 1286972 [startup+110.072 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32076 /proc/meminfo: memFree=474248/2055920 swapFree=4180996/4192956 [pid=32076] ppid=32074 vsize=1399260 CPUtime=110.02 /proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 349736 0 0 0 10801 201 0 0 25 0 1 0 197168601 1432842240 347907 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32076/statm: 349815 347907 297 55 0 348707 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 1399260 [startup+120.078 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32076 /proc/meminfo: memFree=378632/2055920 swapFree=4180996/4192956 [pid=32076] ppid=32074 vsize=1494836 CPUtime=120.02 /proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 373674 0 0 0 11789 213 0 0 25 0 1 0 197168601 1530712064 371758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32076/statm: 373709 371758 297 55 0 372601 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 1494836 [startup+130.084 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32076 /proc/meminfo: memFree=279880/2055920 swapFree=4180996/4192956 [pid=32076] ppid=32074 vsize=1594248 CPUtime=130.02 /proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 398714 0 0 0 12776 226 0 0 25 0 1 0 197168601 1632509952 396390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32076/statm: 398562 396390 297 55 0 397454 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 1594248 [startup+140.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32076 /proc/meminfo: memFree=177800/2055920 swapFree=4180996/4192956 [pid=32076] ppid=32074 vsize=1697276 CPUtime=140.02 /proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 424684 0 0 0 13763 239 0 0 25 0 1 0 197168601 1738010624 421872 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32076/statm: 424319 421872 297 55 0 423211 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 1697276 [startup+150.096 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32076 /proc/meminfo: memFree=88840/2055920 swapFree=4180996/4192956 [pid=32076] ppid=32074 vsize=1788820 CPUtime=150.02 /proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 447953 0 0 0 14751 251 0 0 25 0 1 0 197168601 1831751680 444091 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32076/statm: 447205 444091 297 55 0 446097 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 1788820 Child ended because it received signal 6 (SIGABRT) Real time (s): 157.031 CPU time (s): 156.965 CPU user time (s): 154.099 CPU system time (s): 2.86656 CPU usage (%): 99.9579 Max. virtual memory (cumulated for all children) (Kb): 1788820 The end
Begin job on node17 on Sat Jun 3 06:10:53 UTC 2006 FILE ID= 40747-1149315053 PBS_JOBID= 308300 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08a.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node17/40747-1149315053/instance-40747-1149315053.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-40747-1149315053 -o ROOT/results/node17/solver-40747-1149315053 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node17/40747-1149315053/instance-40747-1149315053.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= ff5b6f1c6eab20bc880408fc770c13e2 RANDOM SEED= 255776414 /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.278 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.278 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: 1867456 kB Buffers: 17468 kB Cached: 100156 kB SwapCached: 3620 kB Active: 32328 kB Inactive: 93932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1867456 kB SwapTotal: 4192956 kB SwapFree: 4180996 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14716 kB Slab: 48216 kB Committed_AS: 309844 kB PageTables: 1476 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node17 on Sat Jun 3 06:13:30 UTC 2006