Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.2 | 1800.81 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-berlin_5_8_0.opb |
MD5SUM | 69d5c7c1a4b8d5de2fe0ee7c53688a9d |
Bench Category | OPT-SMALLINT (optimisation, small 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 | 9464 |
Total number of constraints | 1820 |
Number of constraints which are clauses | 309 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1511 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 78 |
Biggest coefficient in the objective function | 262133 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524327 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262133 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524346 |
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.01 c Time Limit set via PBTIMEOUT to 1800 0.03 c INFO: OSL Context initialized. 0.41 c Initial problem consists of 9464 variables and 1821 constraints. 0.46 c No problem reductions applied in OPT. instance. 0.46 c preprocess terminated. Elapsed time: 0.438 0.46 c After prepocess the problem consists of 9450 variables and 1821 constraints. 0.46 c Initial Lower Bound: -16 0.69 c Restart #1 #Var: 9450 LB: -16 @ 0.671 1.23 c Restart #2 #Var: 9450 LB: -16 @ 1.209 1.85 c Restart #3 #Var: 9450 LB: -16 @ 1.831 2.66 c Restart #4 #Var: 9450 LB: -16 @ 2.634 4.56 c Restart #5 #Var: 9450 LB: -16 @ 4.538 6.30 c Restart #6 #Var: 9450 LB: -16 @ 6.276 8.53 c Restart #7 #Var: 9450 LB: -16 @ 8.501 9.62 c Restart #8 #Var: 9450 LB: -16 @ 9.594 9.83 c Restart #9 #Var: 9450 LB: -16 @ 9.798 10.05 c Restart #10 #Var: 9450 LB: -16 @ 10.024 10.50 c Restart #11 #Var: 9450 LB: -16 @ 10.466 10.81 c Restart #12 #Var: 9450 LB: -16 @ 10.775 11.40 c Restart #13 #Var: 9450 LB: -16 @ 11.365 11.79 c Restart #14 #Var: 9450 LB: -16 @ 11.756 12.23 c Restart #15 #Var: 9450 LB: -16 @ 12.195 12.78 c Restart #16 #Var: 9450 LB: -16 @ 12.745 14.37 c Restart #17 #Var: 9450 LB: -16 @ 14.334 15.21 c Restart #18 #Var: 9450 LB: -16 @ 15.178 17.40 c Restart #19 #Var: 9450 LB: -16 @ 17.37 18.17 c Restart #20 #Var: 9450 LB: -16 @ 18.142 20.44 c Restart #21 #Var: 9450 LB: -16 @ 20.408 21.33 c Restart #22 #Var: 9450 LB: -16 @ 21.3 22.71 c Restart #23 #Var: 9450 LB: -16 @ 22.674 23.64 c Restart #24 #Var: 9450 LB: -16 @ 23.603 24.85 c Restart #25 #Var: 9450 LB: -16 @ 24.816 26.02 c Restart #26 #Var: 9450 LB: -16 @ 25.984 27.45 c Restart #27 #Var: 9450 LB: -16 @ 27.417 29.02 c Restart #28 #Var: 9450 LB: -16 @ 28.988 30.27 c Restart #29 #Var: 9450 LB: -16 @ 30.238 31.42 c Restart #30 #Var: 9450 LB: -16 @ 31.383 32.39 c Restart #31 #Var: 9450 LB: -16 @ 32.357 33.73 c Restart #32 #Var: 9450 LB: -16 @ 33.697 34.77 c Restart #33 #Var: 9450 LB: -16 @ 34.734 36.49 c Restart #34 #Var: 9450 LB: -16 @ 36.446 38.04 c Restart #35 #Var: 9450 LB: -16 @ 37.996 39.76 c Restart #36 #Var: 9450 LB: -16 @ 39.721 40.75 c Restart #37 #Var: 9450 LB: -16 @ 40.71 46.36 c Restart #38 #Var: 9450 LB: -16 @ 46.324 47.57 c Restart #39 #Var: 9450 LB: -16 @ 47.524 49.13 c Restart #40 #Var: 9450 LB: -16 @ 49.091 51.41 c Restart #41 #Var: 9450 LB: -16 @ 51.364 52.47 c Restart #42 #Var: 9450 LB: -16 @ 52.423 55.38 c Restart #43 #Var: 9450 LB: -16 @ 55.34 56.94 c Restart #44 #Var: 9450 LB: -16 @ 56.901 61.85 c Restart #45 #Var: 9450 LB: -16 @ 61.805 92.60 c Restart #46 #Var: 9450 LB: -16 @ 92.546 94.34 c Restart #47 #Var: 9450 LB: -16 @ 94.282 98.09 c Restart #48 #Var: 9450 LB: -16 @ 98.033 176.20 c Restart #49 #Var: 9450 LB: -16 @ 176.12 187.29 c Restart #50 #Var: 9450 LB: -16 @ 187.21 190.80 c Restart #51 #Var: 9450 LB: -16 @ 190.71 192.40 c Restart #52 #Var: 9450 LB: -16 @ 192.31 234.86 c Restart #53 #Var: 9450 LB: -16 @ 234.76 240.05 c Restart #54 #Var: 9450 LB: -16 @ 239.95 285.84 c Restart #55 #Var: 9450 LB: -16 @ 285.71 290.74 c Restart #56 #Var: 9450 LB: -16 @ 290.61 298.32 c Restart #57 #Var: 9450 LB: -16 @ 298.17 303.93 c Restart #58 #Var: 9450 LB: -16 @ 303.78 320.10 c Restart #59 #Var: 9450 LB: -16 @ 319.95 331.66 c Restart #60 #Var: 9450 LB: -16 @ 331.5 340.59 c Restart #61 #Var: 9450 LB: -16 @ 340.43 350.50 c Restart #62 #Var: 9450 LB: -16 @ 350.34 374.43 c Restart #63 #Var: 9450 LB: -16 @ 374.26 390.34 c Restart #64 #Var: 9450 LB: -16 @ 390.17 398.72 c Restart #65 #Var: 9450 LB: -16 @ 398.54 401.04 c Restart #66 #Var: 9450 LB: -16 @ 400.87 416.40 c Restart #67 #Var: 9450 LB: -16 @ 416.22 426.92 c Restart #68 #Var: 9450 LB: -16 @ 426.74 431.11 c Restart #69 #Var: 9450 LB: -16 @ 430.92 466.78 c Restart #70 #Var: 9450 LB: -16 @ 466.58 496.68 c Restart #71 #Var: 9450 LB: -16 @ 496.47 526.39 c Restart #72 #Var: 9450 LB: -16 @ 526.17 553.26 c Restart #73 #Var: 9450 LB: -16 @ 553.04 565.54 c Restart #74 #Var: 9450 LB: -16 @ 565.32 571.13 c Restart #75 #Var: 9450 LB: -16 @ 570.89 680.20 c Restart #76 #Var: 9450 LB: -16 @ 679.94 688.99 c Restart #77 #Var: 9450 LB: -16 @ 688.72 737.98 c Restart #78 #Var: 9450 LB: -16 @ 737.7 768.77 c Restart #79 #Var: 9450 LB: -16 @ 768.48 773.99 c Restart #80 #Var: 9450 LB: -16 @ 773.7 912.84 c CHANGE Heuristic... 912.84 c Restart #0 #Var: 9450 LB: -16 @ 912.5 913.00 c Restart #1 #Var: 9450 LB: -16 @ 912.67 913.04 c Restart #2 #Var: 9450 LB: -16 @ 912.71 913.09 c Restart #3 #Var: 9450 LB: -16 @ 912.75 913.20 c Restart #4 #Var: 9450 LB: -16 @ 912.86 913.28 c Restart #5 #Var: 9450 LB: -16 @ 912.94 913.48 c Restart #6 #Var: 9450 LB: -16 @ 913.14 913.60 c Restart #7 #Var: 9450 LB: -16 @ 913.27 913.88 c Restart #8 #Var: 9450 LB: -16 @ 913.55 914.06 c Restart #9 #Var: 9450 LB: -16 @ 913.72 914.22 c Restart #10 #Var: 9450 LB: -16 @ 913.88 914.41 c Restart #11 #Var: 9450 LB: -16 @ 914.07 914.67 c Restart #12 #Var: 9450 LB: -16 @ 914.33 914.98 c Restart #13 #Var: 9450 LB: -16 @ 914.65 915.40 c Restart #14 #Var: 9450 LB: -16 @ 915.06 915.76 c Restart #15 #Var: 9450 LB: -16 @ 915.43 916.18 c Restart #16 #Var: 9450 LB: -16 @ 915.84 916.51 c Restart #17 #Var: 9450 LB: -16 @ 916.18 917.00 c Restart #18 #Var: 9450 LB: -16 @ 916.66 917.37 c Restart #19 #Var: 9450 LB: -16 @ 917.03 917.89 c Restart #20 #Var: 9450 LB: -16 @ 917.55 918.35 c Restart #21 #Var: 9450 LB: -16 @ 918.01 919.31 c Restart #22 #Var: 9450 LB: -16 @ 918.97 919.89 c Restart #23 #Var: 9450 LB: -16 @ 919.55 920.98 c Restart #24 #Var: 9450 LB: -16 @ 920.65 921.47 c Restart #25 #Var: 9450 LB: -16 @ 921.13 922.15 c Restart #26 #Var: 9450 LB: -16 @ 921.81 922.82 c Restart #27 #Var: 9450 LB: -16 @ 922.48 923.75 c Restart #28 #Var: 9450 LB: -16 @ 923.41 924.70 c Restart #29 #Var: 9450 LB: -16 @ 924.37 925.90 c Restart #30 #Var: 9450 LB: -16 @ 925.56 926.99 c Restart #31 #Var: 9450 LB: -16 @ 926.65 928.32 c Restart #32 #Var: 9450 LB: -16 @ 927.99 929.79 c Restart #33 #Var: 9450 LB: -16 @ 929.45 931.60 c Restart #34 #Var: 9450 LB: -16 @ 931.26 933.32 c Restart #35 #Var: 9450 LB: -16 @ 932.97 935.38 c Restart #36 #Var: 9450 LB: -16 @ 935.04 937.45 c Restart #37 #Var: 9450 LB: -16 @ 937.11 939.55 c Restart #38 #Var: 9450 LB: -16 @ 939.2 941.99 c Restart #39 #Var: 9450 LB: -16 @ 941.65 944.00 c Restart #40 #Var: 9450 LB: -16 @ 943.65 945.35 c Restart #41 #Var: 9450 LB: -16 @ 945 947.62 c Restart #42 #Var: 9450 LB: -16 @ 947.27 948.88 c Restart #43 #Var: 9450 LB: -16 @ 948.54 951.12 c Restart #44 #Var: 9450 LB: -16 @ 950.77 952.49 c Restart #45 #Var: 9450 LB: -16 @ 952.14 954.99 c Restart #46 #Var: 9450 LB: -16 @ 954.64 956.51 c Restart #47 #Var: 9450 LB: -16 @ 956.16 958.69 c Restart #48 #Var: 9450 LB: -16 @ 958.34 960.31 c Restart #49 #Var: 9450 LB: -16 @ 959.96 962.97 c Restart #50 #Var: 9450 LB: -16 @ 962.62 976.68 c Restart #51 #Var: 9450 LB: -16 @ 976.32 987.00 c Restart #52 #Var: 9450 LB: -16 @ 986.64 1010.27 c Restart #53 #Var: 9450 LB: -16 @ 1009.9 1016.86 c Restart #54 #Var: 9450 LB: -16 @ 1016.5 1047.62 c Restart #55 #Var: 9450 LB: -16 @ 1047.2 1106.31 c Restart #56 #Var: 9450 LB: -16 @ 1105.9 1124.15 c Restart #57 #Var: 9450 LB: -16 @ 1123.7 1229.04 c Restart #58 #Var: 9450 LB: -16 @ 1228.6 1360.23 c Restart #59 #Var: 9450 LB: -16 @ 1359.8 1384.77 c Restart #60 #Var: 9450 LB: -16 @ 1384.3 1407.30 c Restart #61 #Var: 9450 LB: -16 @ 1406.8 1459.12 c Restart #62 #Var: 9450 LB: -16 @ 1458.6 1479.05 c Restart #63 #Var: 9450 LB: -16 @ 1478.5 1482.88 c Restart #64 #Var: 9450 LB: -16 @ 1482.4 1484.20 c Restart #65 #Var: 9450 LB: -16 @ 1483.7 1517.14 c Restart #66 #Var: 9450 LB: -16 @ 1516.6 1531.31 c Restart #67 #Var: 9450 LB: -16 @ 1530.8 1543.05 c Restart #68 #Var: 9450 LB: -16 @ 1542.5 1561.86 c Restart #69 #Var: 9450 LB: -16 @ 1561.3 1567.44 c Restart #70 #Var: 9450 LB: -16 @ 1566.9 1588.61 c Restart #71 #Var: 9450 LB: -16 @ 1588.1 1591.48 c Restart #72 #Var: 9450 LB: -16 @ 1590.9 1660.55 c Restart #73 #Var: 9450 LB: -16 @ 1660 1678.98 c Restart #74 #Var: 9450 LB: -16 @ 1678.4 1697.53 c Restart #75 #Var: 9450 LB: -16 @ 1697 1729.74 c Restart #76 #Var: 9450 LB: -16 @ 1729.2 1748.85 c Restart #77 #Var: 9450 LB: -16 @ 1748.3 1784.88 c Restart #78 #Var: 9450 LB: -16 @ 1784.3 1791.66 c Restart #79 #Var: 9450 LB: -16 @ 1791.1 1800.61 s UNKNOWN 1800.61 c Exit Code: 0 1800.61 c Total time: 1800 s
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/node33/watcher-39846-1149260185 -o ROOT/results/node33/solver-39846-1149260185 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/39846-1149260185/instance-39846-1149260185.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 2/64 7851 /proc/meminfo: memFree=1667608/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=436 CPUtime=0 /proc/7851/stat : 7851 (bsolo) D 7849 7851 7805 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 191682326 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10945316 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/7851/statm: 109 23 18 55 0 18 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.95 0.98 2/64 7851 /proc/meminfo: memFree=1649184/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=23004 CPUtime=9.97 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 4969 0 0 0 986 11 0 0 25 0 1 0 191682326 23556096 4862 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 5751 4862 297 55 0 4643 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 23004 [startup+20.0087 s] /proc/loadavg: 0.94 0.96 0.98 2/64 7851 /proc/meminfo: memFree=1628264/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=43860 CPUtime=19.97 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 10190 0 0 0 1981 16 0 0 25 0 1 0 191682326 44912640 10083 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542194 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 10965 10083 297 55 0 9857 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 43860 [startup+30.015 s] /proc/loadavg: 0.95 0.96 0.98 2/64 7851 /proc/meminfo: memFree=1587048/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=85136 CPUtime=29.97 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 20478 0 0 0 2974 23 0 0 25 0 1 0 191682326 87179264 20362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534909 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 21284 20362 297 55 0 20176 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 85136 [startup+40.0213 s] /proc/loadavg: 0.95 0.96 0.98 2/64 7851 /proc/meminfo: memFree=1538984/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=133624 CPUtime=39.98 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 32519 0 0 0 3965 33 0 0 25 0 1 0 191682326 136830976 32384 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537746 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 33406 32384 297 55 0 32298 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 133624 [startup+50.0276 s] /proc/loadavg: 0.96 0.96 0.98 2/64 7851 /proc/meminfo: memFree=1508200/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=164488 CPUtime=49.98 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 40207 0 0 0 4958 40 0 0 25 0 1 0 191682326 168435712 40066 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 41122 40066 297 55 0 40014 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 164488 [startup+60.0339 s] /proc/loadavg: 0.97 0.96 0.98 2/64 7851 /proc/meminfo: memFree=1479016/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=193784 CPUtime=59.98 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 47484 0 0 0 5952 46 0 0 25 0 1 0 191682326 198434816 47334 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 48446 47334 297 55 0 47338 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 193784 [startup+70.0402 s] /proc/loadavg: 0.97 0.96 0.98 2/64 7851 /proc/meminfo: memFree=1476328/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=196420 CPUtime=69.98 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 48152 0 0 0 6950 48 0 0 25 0 1 0 191682326 201134080 48002 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 49105 48002 297 55 0 47997 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 196420 [startup+80.0475 s] /proc/loadavg: 0.98 0.96 0.98 2/64 7851 /proc/meminfo: memFree=1474984/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=197740 CPUtime=79.99 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 48493 0 0 0 7949 50 0 0 25 0 1 0 191682326 202485760 48343 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 49435 48343 297 55 0 48327 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 197740 [startup+90.0527 s] /proc/loadavg: 0.98 0.96 0.98 2/64 7851 /proc/meminfo: memFree=1472104/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=200644 CPUtime=89.99 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 49200 0 0 0 8947 52 0 0 25 0 1 0 191682326 205459456 49050 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534037 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 50161 49050 297 55 0 49053 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 200644 [startup+100.059 s] /proc/loadavg: 0.98 0.96 0.98 2/64 7851 /proc/meminfo: memFree=1447912/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=224876 CPUtime=100 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 55244 0 0 0 9942 58 0 0 25 0 1 0 191682326 230273024 55090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 56219 55090 297 55 0 55111 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 224876 [startup+110.065 s] /proc/loadavg: 0.98 0.96 0.98 2/64 7851 /proc/meminfo: memFree=1445736/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=226988 CPUtime=110 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 55779 0 0 0 10942 58 0 0 25 0 1 0 191682326 232435712 55625 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 56747 55625 297 55 0 55639 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 226988 [startup+120.072 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7851 /proc/meminfo: memFree=1444392/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=228440 CPUtime=120 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 56138 0 0 0 11942 58 0 0 25 0 1 0 191682326 233922560 55984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548552 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 57110 55984 297 55 0 56002 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 228440 [startup+130.078 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7851 /proc/meminfo: memFree=1442920/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=229908 CPUtime=130 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 56495 0 0 0 12941 59 0 0 25 0 1 0 191682326 235425792 56341 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 57477 56341 297 55 0 56369 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 229908 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7851 /proc/meminfo: memFree=1441512/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=231360 CPUtime=140.01 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 56847 0 0 0 13942 59 0 0 25 0 1 0 191682326 236912640 56693 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533895 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 57840 56693 297 55 0 56732 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 231360 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7851 /proc/meminfo: memFree=1440104/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=232680 CPUtime=150.01 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 57195 0 0 0 14941 60 0 0 25 0 1 0 191682326 238264320 57041 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 58170 57041 297 55 0 57062 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 232680 [startup+160.097 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7851 /proc/meminfo: memFree=1438696/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=234136 CPUtime=160.01 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 57541 0 0 0 15941 60 0 0 25 0 1 0 191682326 239755264 57387 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 58534 57387 297 55 0 57426 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 234136 [startup+170.103 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7851 /proc/meminfo: memFree=1437288/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=235460 CPUtime=170.01 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 57888 0 0 0 16941 60 0 0 25 0 1 0 191682326 241111040 57734 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 58865 57734 297 55 0 57757 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 235460 [startup+180.109 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7851 /proc/meminfo: memFree=1431784/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=241004 CPUtime=180.02 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 59269 0 0 0 17939 63 0 0 25 0 1 0 191682326 246788096 59115 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 60251 59115 297 55 0 59143 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 241004 [startup+190.116 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7851 /proc/meminfo: memFree=1424296/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=248404 CPUtime=190.03 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 61136 0 0 0 18937 66 0 0 25 0 1 0 191682326 254365696 60982 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 62101 60982 297 55 0 60993 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 248404 [startup+200.122 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7851 /proc/meminfo: memFree=1402600/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=270188 CPUtime=200.02 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 66551 0 0 0 19933 69 0 0 25 0 1 0 191682326 276672512 66397 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 67547 66397 297 55 0 66439 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 270188 [startup+210.127 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7851 /proc/meminfo: memFree=1400360/2055920 swapFree=4181332/4192956 ################ # More data... # ################ /proc/7851/statm: 309548 307086 297 55 0 308440 0 Current children cumulated CPU time (s) 1760.5 Current children cumulated vsize (Kb) 1238192 [startup+1771.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=435368/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1240172 CPUtime=1770.5 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 308155 0 0 0 176713 337 0 0 25 0 1 0 191682326 1269936128 307598 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 310043 307598 297 55 0 308935 0 Current children cumulated CPU time (s) 1770.5 Current children cumulated vsize (Kb) 1240172 [startup+1781.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=433384/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1242152 CPUtime=1780.5 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 308653 0 0 0 177711 339 0 0 25 0 1 0 191682326 1271963648 308096 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528793 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 310538 308096 297 55 0 309430 0 Current children cumulated CPU time (s) 1780.5 Current children cumulated vsize (Kb) 1242152 [startup+1782.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=431016/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1244528 CPUtime=1781.51 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 309245 0 0 0 177811 340 0 0 25 0 1 0 191682326 1274396672 308688 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 311132 308688 297 55 0 310024 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 1244528 [startup+1783.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=430888/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1244660 CPUtime=1782.52 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 309271 0 0 0 177912 340 0 0 25 0 1 0 191682326 1274531840 308714 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 311165 308714 297 55 0 310057 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 1244660 [startup+1784.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=430824/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1244792 CPUtime=1783.52 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 309295 0 0 0 178012 340 0 0 25 0 1 0 191682326 1274667008 308738 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 311198 308738 297 55 0 310090 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 1244792 [startup+1785.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=426728/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1248752 CPUtime=1784.53 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 310316 0 0 0 178112 341 0 0 25 0 1 0 191682326 1278722048 309759 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 312188 309759 297 55 0 311080 0 Current children cumulated CPU time (s) 1784.53 Current children cumulated vsize (Kb) 1248752 [startup+1786.14 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=426472/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1249016 CPUtime=1785.53 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 310382 0 0 0 178212 341 0 0 25 0 1 0 191682326 1278992384 309825 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 312254 309825 297 55 0 311146 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (Kb) 1249016 [startup+1787.14 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=425576/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1249940 CPUtime=1786.53 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 310596 0 0 0 178312 341 0 0 25 0 1 0 191682326 1279938560 310039 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 312485 310039 297 55 0 311377 0 Current children cumulated CPU time (s) 1786.53 Current children cumulated vsize (Kb) 1249940 [startup+1788.15 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=425320/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1250204 CPUtime=1787.53 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 310668 0 0 0 178412 341 0 0 25 0 1 0 191682326 1280208896 310111 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 312551 310111 297 55 0 311443 0 Current children cumulated CPU time (s) 1787.53 Current children cumulated vsize (Kb) 1250204 [startup+1789.15 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=422248/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1253236 CPUtime=1788.54 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 311435 0 0 0 178512 342 0 0 25 0 1 0 191682326 1283313664 310878 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 313309 310878 297 55 0 312201 0 Current children cumulated CPU time (s) 1788.54 Current children cumulated vsize (Kb) 1253236 [startup+1790.16 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=419432/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1256008 CPUtime=1789.55 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 312127 0 0 0 178612 343 0 0 25 0 1 0 191682326 1286152192 311570 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 314002 311570 297 55 0 312894 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (Kb) 1256008 [startup+1791.16 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=417128/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1258388 CPUtime=1790.55 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 312706 0 0 0 178711 344 0 0 25 0 1 0 191682326 1288589312 312149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 314597 312149 297 55 0 313489 0 Current children cumulated CPU time (s) 1790.55 Current children cumulated vsize (Kb) 1258388 [startup+1792.17 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=411176/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1264460 CPUtime=1791.56 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 314212 0 0 0 178811 345 0 0 25 0 1 0 191682326 1294807040 313655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 316115 313656 297 55 0 315007 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 1264460 [startup+1793.17 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=406504/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1269080 CPUtime=1792.56 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 315362 0 0 0 178910 346 0 0 25 0 1 0 191682326 1299537920 314805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 317270 314805 297 55 0 316162 0 Current children cumulated CPU time (s) 1792.56 Current children cumulated vsize (Kb) 1269080 [startup+1794.18 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=406056/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1269476 CPUtime=1793.56 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 315478 0 0 0 179010 346 0 0 25 0 1 0 191682326 1299943424 314921 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 317369 314921 297 55 0 316261 0 Current children cumulated CPU time (s) 1793.56 Current children cumulated vsize (Kb) 1269476 [startup+1795.18 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=405800/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1269608 CPUtime=1794.57 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 315526 0 0 0 179111 346 0 0 25 0 1 0 191682326 1300078592 314969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 317402 314969 297 55 0 316294 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (Kb) 1269608 [startup+1796.19 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=405672/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1269872 CPUtime=1795.57 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 315570 0 0 0 179211 346 0 0 25 0 1 0 191682326 1300348928 315013 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 317468 315013 297 55 0 316360 0 Current children cumulated CPU time (s) 1795.57 Current children cumulated vsize (Kb) 1269872 [startup+1797.19 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=405224/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1270268 CPUtime=1796.58 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 315671 0 0 0 179311 347 0 0 25 0 1 0 191682326 1300754432 315114 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 317567 315114 297 55 0 316459 0 Current children cumulated CPU time (s) 1796.58 Current children cumulated vsize (Kb) 1270268 [startup+1798.2 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=405096/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1270400 CPUtime=1797.59 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 315701 0 0 0 179412 347 0 0 25 0 1 0 191682326 1300889600 315144 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 317600 315144 297 55 0 316492 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (Kb) 1270400 [startup+1799.2 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=405032/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1270400 CPUtime=1798.59 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 315720 0 0 0 179512 347 0 0 25 0 1 0 191682326 1300889600 315163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 317600 315163 297 55 0 316492 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 1270400 [startup+1800.21 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8046 /proc/meminfo: memFree=404968/2055920 swapFree=4181332/4192956 [pid=7851] ppid=7849 vsize=1270532 CPUtime=1799.6 /proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 315735 0 0 0 179613 347 0 0 25 0 1 0 191682326 1301024768 315178 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7851/statm: 317633 315178 297 55 0 316525 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 1270532 Child status: 0 Real time (s): 1800.81 CPU time (s): 1800.2 CPU user time (s): 1796.53 CPU system time (s): 3.66544 CPU usage (%): 99.9663 Max. virtual memory (cumulated for all children) (Kb): 1270532
Begin job on node33 on Fri Jun 2 14:56:25 UTC 2006 FILE ID= 39846-1149260185 PBS_JOBID= 298604 BENCH NAME= ROOT/tmp/node33/39846-1149260185/instance-39846-1149260185.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/39846-1149260185/instance-39846-1149260185.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-39846-1149260185 -o ROOT/results/node33/solver-39846-1149260185 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/39846-1149260185/instance-39846-1149260185.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 69d5c7c1a4b8d5de2fe0ee7c53688a9d RANDOM SEED= 269790663 /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.213 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.213 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: 1667816 kB Buffers: 23548 kB Cached: 292236 kB SwapCached: 3544 kB Active: 35692 kB Inactive: 289076 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1667816 kB SwapTotal: 4192956 kB SwapFree: 4181332 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14900 kB Slab: 49424 kB Committed_AS: 266932 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node33 on Fri Jun 2 15:26:26 UTC 2006