Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 1318.51 | 1318.91 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_1.opb |
MD5SUM | c7543821508efc06c2ce41424051ab2c |
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 | 71 |
Total number of constraints | 17 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 16 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 70 |
Number of terms in the objective function | 1 |
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 | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1884 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5652 |
Number of bits of the biggest sum of numbers | 13 |
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 Initial problem consists of 71 variables and 17 constraints. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.009 0.02 c After prepocess the problem consists of 70 variables and 16 constraints. 0.02 c Initial Lower Bound: 0 0.03 c Restart #1 #Var: 70 LB: 0 @ 0.023 0.06 c Restart #2 #Var: 70 LB: 0 @ 0.05 0.11 c Restart #3 #Var: 70 LB: 0 @ 0.098 0.18 c Restart #4 #Var: 70 LB: 0 @ 0.173 0.27 c Restart #5 #Var: 70 LB: 0 @ 0.259 0.39 c Restart #6 #Var: 70 LB: 0 @ 0.379 0.61 c Restart #7 #Var: 70 LB: 0 @ 0.598 0.90 c Restart #8 #Var: 70 LB: 0 @ 0.892 1.03 c Restart #9 #Var: 70 LB: 0 @ 1.018 1.18 c Restart #10 #Var: 70 LB: 0 @ 1.166 1.34 c Restart #11 #Var: 70 LB: 0 @ 1.327 1.52 c Restart #12 #Var: 70 LB: 0 @ 1.509 1.75 c Restart #13 #Var: 70 LB: 0 @ 1.738 1.99 c Restart #14 #Var: 70 LB: 0 @ 1.981 2.29 c Restart #15 #Var: 70 LB: 0 @ 2.276 2.63 c Restart #16 #Var: 70 LB: 0 @ 2.614 3.07 c Restart #17 #Var: 70 LB: 0 @ 3.056 3.61 c Restart #18 #Var: 70 LB: 0 @ 3.597 4.11 c Restart #19 #Var: 70 LB: 0 @ 4.096 4.49 c Restart #20 #Var: 70 LB: 0 @ 4.474 5.21 c Restart #21 #Var: 70 LB: 0 @ 5.196 5.99 c Restart #22 #Var: 70 LB: 0 @ 5.977 6.70 c Restart #23 #Var: 70 LB: 0 @ 6.688 7.29 c Restart #24 #Var: 70 LB: 0 @ 7.275 8.02 c Restart #25 #Var: 70 LB: 0 @ 8.009 8.79 c Restart #26 #Var: 70 LB: 0 @ 8.781 9.41 c Restart #27 #Var: 70 LB: 0 @ 9.396 10.22 c Restart #28 #Var: 70 LB: 0 @ 10.207 11.15 c Restart #29 #Var: 70 LB: 0 @ 11.13 12.00 c Restart #30 #Var: 70 LB: 0 @ 11.983 13.03 c Restart #31 #Var: 70 LB: 0 @ 13.013 13.93 c Restart #32 #Var: 70 LB: 0 @ 13.914 14.92 c Restart #33 #Var: 70 LB: 0 @ 14.899 15.73 c Restart #34 #Var: 70 LB: 0 @ 15.712 16.59 c Restart #35 #Var: 70 LB: 0 @ 16.568 17.79 c Restart #36 #Var: 70 LB: 0 @ 17.774 19.20 c Restart #37 #Var: 70 LB: 0 @ 19.184 20.49 c Restart #38 #Var: 70 LB: 0 @ 20.469 21.81 c Restart #39 #Var: 70 LB: 0 @ 21.793 23.59 c Restart #40 #Var: 70 LB: 0 @ 23.569 25.45 c Restart #41 #Var: 70 LB: 0 @ 25.433 27.66 c Restart #42 #Var: 70 LB: 0 @ 27.632 29.84 c Restart #43 #Var: 70 LB: 0 @ 29.818 33.34 c Restart #44 #Var: 70 LB: 0 @ 33.317 38.22 c Restart #45 #Var: 70 LB: 0 @ 38.192 47.86 c Restart #46 #Var: 70 LB: 0 @ 47.827 62.59 c Restart #47 #Var: 70 LB: 0 @ 62.554 73.81 c Restart #48 #Var: 70 LB: 0 @ 73.771 90.52 c Restart #49 #Var: 70 LB: 0 @ 90.482 98.09 c Restart #50 #Var: 70 LB: 0 @ 98.051 106.25 c Restart #51 #Var: 70 LB: 0 @ 106.21 121.80 c Restart #52 #Var: 70 LB: 0 @ 121.75 135.60 c Restart #53 #Var: 70 LB: 0 @ 135.55 146.16 c Restart #54 #Var: 70 LB: 0 @ 146.1 152.28 c Restart #55 #Var: 70 LB: 0 @ 152.22 161.65 c Restart #56 #Var: 70 LB: 0 @ 161.59 173.76 c Restart #57 #Var: 70 LB: 0 @ 173.7 182.82 c Restart #58 #Var: 70 LB: 0 @ 182.75 194.12 c Restart #59 #Var: 70 LB: 0 @ 194.06 200.96 c Restart #60 #Var: 70 LB: 0 @ 200.89 213.20 c Restart #61 #Var: 70 LB: 0 @ 213.13 228.75 c Restart #62 #Var: 70 LB: 0 @ 228.68 249.53 c Restart #63 #Var: 70 LB: 0 @ 249.45 262.14 c Restart #64 #Var: 70 LB: 0 @ 262.06 275.61 c Restart #65 #Var: 70 LB: 0 @ 275.53 288.26 c Restart #66 #Var: 70 LB: 0 @ 288.17 301.89 c Restart #67 #Var: 70 LB: 0 @ 301.79 309.97 c Restart #68 #Var: 70 LB: 0 @ 309.87 319.51 c Restart #69 #Var: 70 LB: 0 @ 319.41 327.21 c Restart #70 #Var: 70 LB: 0 @ 327.11 332.58 c Restart #71 #Var: 70 LB: 0 @ 332.47 337.83 c Restart #72 #Var: 70 LB: 0 @ 337.73 344.50 c Restart #73 #Var: 70 LB: 0 @ 344.4 354.51 c Restart #74 #Var: 70 LB: 0 @ 354.4 369.03 c Restart #75 #Var: 70 LB: 0 @ 368.91 383.48 c Restart #76 #Var: 70 LB: 0 @ 383.36 402.02 c Restart #77 #Var: 70 LB: 0 @ 401.89 415.65 c Restart #78 #Var: 70 LB: 0 @ 415.52 434.56 c Restart #79 #Var: 70 LB: 0 @ 434.43 458.64 c Restart #80 #Var: 70 LB: 0 @ 458.5 479.80 c Restart #81 #Var: 70 LB: 0 @ 479.65 495.36 c Restart #82 #Var: 70 LB: 0 @ 495.21 510.69 c Restart #83 #Var: 70 LB: 0 @ 510.54 526.37 c Restart #84 #Var: 70 LB: 0 @ 526.21 536.58 c Restart #85 #Var: 70 LB: 0 @ 536.42 549.11 c Restart #86 #Var: 70 LB: 0 @ 548.95 567.62 c Restart #87 #Var: 70 LB: 0 @ 567.45 581.61 c Restart #88 #Var: 70 LB: 0 @ 581.43 596.45 c Restart #89 #Var: 70 LB: 0 @ 596.27 606.68 c Restart #90 #Var: 70 LB: 0 @ 606.49 625.95 c Restart #91 #Var: 70 LB: 0 @ 625.76 652.08 c Restart #92 #Var: 70 LB: 0 @ 651.89 666.98 c Restart #93 #Var: 70 LB: 0 @ 666.78 694.94 c Restart #94 #Var: 70 LB: 0 @ 694.73 734.51 c Restart #95 #Var: 70 LB: 0 @ 734.3 757.55 c Restart #96 #Var: 70 LB: 0 @ 757.33 779.07 c Restart #97 #Var: 70 LB: 0 @ 778.84 800.48 c Restart #98 #Var: 70 LB: 0 @ 800.25 823.86 c Restart #99 #Var: 70 LB: 0 @ 823.62 852.22 c Restart #100 #Var: 70 LB: 0 @ 851.97 870.75 c Restart #101 #Var: 70 LB: 0 @ 870.5 885.73 c Restart #102 #Var: 70 LB: 0 @ 885.48 898.17 c Restart #103 #Var: 70 LB: 0 @ 897.91 909.18 c CHANGE Heuristic... 909.18 c Restart #0 #Var: 70 LB: 0 @ 908.92 914.46 c Restart #1 #Var: 70 LB: 0 @ 914.2 919.32 c Restart #2 #Var: 70 LB: 0 @ 919.05 923.32 c Restart #3 #Var: 70 LB: 0 @ 923.05 928.25 c Restart #4 #Var: 70 LB: 0 @ 927.98 931.60 c Restart #5 #Var: 70 LB: 0 @ 931.33 935.08 c Restart #6 #Var: 70 LB: 0 @ 934.81 938.22 c Restart #7 #Var: 70 LB: 0 @ 937.94 941.73 c Restart #8 #Var: 70 LB: 0 @ 941.46 945.11 c Restart #9 #Var: 70 LB: 0 @ 944.84 948.13 c Restart #10 #Var: 70 LB: 0 @ 947.85 953.69 c Restart #11 #Var: 70 LB: 0 @ 953.42 959.09 c Restart #12 #Var: 70 LB: 0 @ 958.81 965.93 c Restart #13 #Var: 70 LB: 0 @ 965.66 970.62 c Restart #14 #Var: 70 LB: 0 @ 970.34 978.53 c Restart #15 #Var: 70 LB: 0 @ 978.25 983.08 c Restart #16 #Var: 70 LB: 0 @ 982.79 987.25 c Restart #17 #Var: 70 LB: 0 @ 986.96 991.08 c Restart #18 #Var: 70 LB: 0 @ 990.79 1001.17 c Restart #19 #Var: 70 LB: 0 @ 1000.9 1010.42 c Restart #20 #Var: 70 LB: 0 @ 1010.1 1016.45 c Restart #21 #Var: 70 LB: 0 @ 1016.2 1022.23 c Restart #22 #Var: 70 LB: 0 @ 1021.9 1027.61 c Restart #23 #Var: 70 LB: 0 @ 1027.3 1031.76 c Restart #24 #Var: 70 LB: 0 @ 1031.5 1039.93 c Restart #25 #Var: 70 LB: 0 @ 1039.6 1047.24 c Restart #26 #Var: 70 LB: 0 @ 1046.9 1052.45 c Restart #27 #Var: 70 LB: 0 @ 1052.1 1057.58 c Restart #28 #Var: 70 LB: 0 @ 1057.3 1063.82 c Restart #29 #Var: 70 LB: 0 @ 1063.5 1068.45 c Restart #30 #Var: 70 LB: 0 @ 1068.1 1072.80 c Restart #31 #Var: 70 LB: 0 @ 1072.5 1081.66 c Restart #32 #Var: 70 LB: 0 @ 1081.3 1090.12 c Restart #33 #Var: 70 LB: 0 @ 1089.8 1098.39 c Restart #34 #Var: 70 LB: 0 @ 1098.1 1104.70 c Restart #35 #Var: 70 LB: 0 @ 1104.4 1109.44 c Restart #36 #Var: 70 LB: 0 @ 1109.1 1113.84 c Restart #37 #Var: 70 LB: 0 @ 1113.5 1118.44 c Restart #38 #Var: 70 LB: 0 @ 1118.1 1123.59 c Restart #39 #Var: 70 LB: 0 @ 1123.3 1130.23 c Restart #40 #Var: 70 LB: 0 @ 1129.9 1137.06 c Restart #41 #Var: 70 LB: 0 @ 1136.7 1143.34 c Restart #42 #Var: 70 LB: 0 @ 1143 1148.17 c Restart #43 #Var: 70 LB: 0 @ 1147.8 1153.51 c Restart #44 #Var: 70 LB: 0 @ 1153.2 1157.99 c Restart #45 #Var: 70 LB: 0 @ 1157.7 1162.77 c Restart #46 #Var: 70 LB: 0 @ 1162.4 1167.61 c Restart #47 #Var: 70 LB: 0 @ 1167.3 1172.01 c Restart #48 #Var: 70 LB: 0 @ 1171.7 1176.06 c Restart #49 #Var: 70 LB: 0 @ 1175.7 1180.70 c Restart #50 #Var: 70 LB: 0 @ 1180.4 1185.95 c Restart #51 #Var: 70 LB: 0 @ 1185.6 1191.38 c Restart #52 #Var: 70 LB: 0 @ 1191 1198.05 c Restart #53 #Var: 70 LB: 0 @ 1197.7 1208.03 c Restart #54 #Var: 70 LB: 0 @ 1207.7 1218.15 c Restart #55 #Var: 70 LB: 0 @ 1217.8 1224.67 c Restart #56 #Var: 70 LB: 0 @ 1224.3 1231.15 c Restart #57 #Var: 70 LB: 0 @ 1230.8 1239.63 c Restart #58 #Var: 70 LB: 0 @ 1239.3 1247.06 c Restart #59 #Var: 70 LB: 0 @ 1246.7 1253.40 c Restart #60 #Var: 70 LB: 0 @ 1253 1260.71 c Restart #61 #Var: 70 LB: 0 @ 1260.4 1267.84 c Restart #62 #Var: 70 LB: 0 @ 1267.5 1274.94 c Restart #63 #Var: 70 LB: 0 @ 1274.6 1283.49 c Restart #64 #Var: 70 LB: 0 @ 1283.1 1291.15 c Restart #65 #Var: 70 LB: 0 @ 1290.8 1300.76 c Restart #66 #Var: 70 LB: 0 @ 1300.4 1314.17 c Restart #67 #Var: 70 LB: 0 @ 1313.8
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.1 (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/node87/watcher-50335-1149934139 -o ROOT/results/node87/solver-50335-1149934139 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/50335-1149934139/instance-50335-1149934139.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1620728/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=2900 CPUtime=0 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 42 0 0 0 0 0 0 0 19 0 1 0 259053075 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11239867 0 0 4096 0 0 0 0 17 1 0 0 /proc/26048/statm: 725 27 19 55 0 38 0 [startup+10.0028 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1525064/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=100460 CPUtime=9.97 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 24276 0 0 0 984 13 0 0 25 0 1 0 259053075 102871040 24178 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26048/statm: 25115 24178 294 55 0 24006 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 100460 [startup+20.0089 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1445384/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=180404 CPUtime=19.98 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 44182 0 0 0 1972 26 0 0 25 0 1 0 259053075 184733696 44065 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 45101 44065 294 55 0 43992 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 180404 [startup+30.0141 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1393736/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=232000 CPUtime=29.98 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 57085 0 0 0 2962 36 0 0 25 0 1 0 259053075 237568000 56957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 58000 56957 294 55 0 56891 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 232000 [startup+40.0203 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1368392/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=257504 CPUtime=39.99 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 63413 0 0 0 3958 41 0 0 25 0 1 0 259053075 263684096 63280 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 64376 63280 294 55 0 63267 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 257504 [startup+50.0264 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1360136/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=265896 CPUtime=49.98 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 65507 0 0 0 4956 42 0 0 25 0 1 0 259053075 272277504 65366 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11675691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 66474 65366 294 55 0 65365 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 265896 [startup+60.0326 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1353544/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=272364 CPUtime=59.99 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 67142 0 0 0 5955 44 0 0 25 0 1 0 259053075 278900736 67001 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 68091 67001 294 55 0 66982 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 272364 [startup+70.0387 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1342280/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=283768 CPUtime=69.99 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 69953 0 0 0 6952 47 0 0 25 0 1 0 259053075 290578432 69808 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 70942 69808 294 55 0 69833 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 283768 [startup+80.0449 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1335816/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=290312 CPUtime=80 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 71585 0 0 0 7951 49 0 0 25 0 1 0 259053075 297279488 71433 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 72578 71433 294 55 0 71469 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 290312 [startup+90.05 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1328968/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=297228 CPUtime=90 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 73294 0 0 0 8949 51 0 0 25 0 1 0 259053075 304361472 73138 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550818 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 74307 73138 294 55 0 73198 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 297228 [startup+100.056 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1314248/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=311884 CPUtime=100.01 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 76960 0 0 0 9946 55 0 0 25 0 1 0 259053075 319369216 76804 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540702 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 77971 76804 294 55 0 76862 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 311884 [startup+110.062 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1301192/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=324952 CPUtime=110 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 80214 0 0 0 10941 59 0 0 25 0 1 0 259053075 332750848 80056 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 81238 80056 294 55 0 80129 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 324952 [startup+120.069 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1294728/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=331420 CPUtime=120.01 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 81824 0 0 0 11940 61 0 0 25 0 1 0 259053075 339374080 81666 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 82855 81666 294 55 0 81746 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 331420 [startup+130.075 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1287432/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=338948 CPUtime=130.02 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 83694 0 0 0 12937 65 0 0 25 0 1 0 259053075 347082752 83517 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533970 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 84737 83517 294 55 0 83628 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 338948 [startup+140.081 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1276872/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=349376 CPUtime=140.02 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 86315 0 0 0 13935 67 0 0 25 0 1 0 259053075 357761024 86138 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 87344 86138 294 55 0 86235 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 349376 [startup+150.087 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1259400/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=366932 CPUtime=150.03 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 90686 0 0 0 14931 72 0 0 25 0 1 0 259053075 375738368 90508 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11673757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 91733 90509 294 55 0 90624 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 366932 [startup+160.093 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1244360/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=381956 CPUtime=160.02 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 94432 0 0 0 15926 76 0 0 25 0 1 0 259053075 391122944 94248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 95489 94248 294 55 0 94380 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 381956 [startup+170.099 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1233224/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=393044 CPUtime=170.03 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 97212 0 0 0 16924 79 0 0 25 0 1 0 259053075 402477056 97027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 98261 97027 294 55 0 97152 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 393044 [startup+180.105 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1219208/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=407116 CPUtime=180.03 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 100720 0 0 0 17921 82 0 0 25 0 1 0 259053075 416886784 100530 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 101779 100530 294 55 0 100670 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 407116 [startup+190.112 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1204808/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=421436 CPUtime=190.03 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 104318 0 0 0 18918 85 0 0 25 0 1 0 259053075 431550464 104122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 105359 104122 294 55 0 104250 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 421436 [startup+200.118 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=1189320/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=437036 CPUtime=200.04 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 108182 0 0 0 19915 89 0 0 25 0 1 0 259053075 447524864 107986 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 109259 107986 294 55 0 108150 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 437036 [startup+210.124 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 ################ # More data... # ################ Current children cumulated CPU time (s) 1100.34 Current children cumulated vsize (Kb) 1439952 [startup+1110.67 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=175752/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=1455716 CPUtime=1110.34 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 363934 0 0 0 110696 338 0 0 25 0 1 0 259053075 1490653184 360859 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 363929 360859 294 55 0 362820 0 Current children cumulated CPU time (s) 1110.34 Current children cumulated vsize (Kb) 1455716 [startup+1120.67 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=155400/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=1475996 CPUtime=1120.35 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 369013 0 0 0 111693 342 0 0 25 0 1 0 259053075 1511419904 365937 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 368999 365937 294 55 0 367890 0 Current children cumulated CPU time (s) 1120.35 Current children cumulated vsize (Kb) 1475996 [startup+1130.68 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=139848/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=1491444 CPUtime=1130.35 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 372888 0 0 0 112690 345 0 0 25 0 1 0 259053075 1527238656 369812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 372861 369812 294 55 0 371752 0 Current children cumulated CPU time (s) 1130.35 Current children cumulated vsize (Kb) 1491444 [startup+1140.69 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=124616/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=1506504 CPUtime=1140.35 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 376701 0 0 0 113686 349 0 0 25 0 1 0 259053075 1542660096 373624 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11675691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 376626 373624 294 55 0 375517 0 Current children cumulated CPU time (s) 1140.35 Current children cumulated vsize (Kb) 1506504 [startup+1150.69 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=105544/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=1525900 CPUtime=1150.35 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 381603 0 0 0 114683 352 0 0 25 0 1 0 259053075 1562521600 378364 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 381475 378364 294 55 0 380366 0 Current children cumulated CPU time (s) 1150.35 Current children cumulated vsize (Kb) 1525900 [startup+1160.7 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=82504/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=1548916 CPUtime=1160.35 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 387363 0 0 0 115679 356 0 0 25 0 1 0 259053075 1586089984 384124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 387229 384124 294 55 0 386120 0 Current children cumulated CPU time (s) 1160.35 Current children cumulated vsize (Kb) 1548916 [startup+1170.7 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=57864/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=1573468 CPUtime=1170.35 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 393518 0 0 0 116674 361 0 0 25 0 1 0 259053075 1611231232 390279 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11675691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 393367 390279 294 55 0 392258 0 Current children cumulated CPU time (s) 1170.35 Current children cumulated vsize (Kb) 1573468 [startup+1180.71 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=32456/2055888 swapFree=4085404/4096564 [pid=26048] ppid=26046 vsize=1598712 CPUtime=1180.37 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 399839 0 0 0 117672 365 0 0 25 0 1 0 259053075 1637081088 396598 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 399678 396598 294 55 0 398569 0 Current children cumulated CPU time (s) 1180.37 Current children cumulated vsize (Kb) 1598712 [startup+1190.72 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=15368/2055888 swapFree=4085380/4096564 [pid=26048] ppid=26046 vsize=1622796 CPUtime=1190.37 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 405872 0 0 0 118669 368 0 0 25 0 1 0 259053075 1661743104 402631 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 405699 402631 294 55 0 404590 0 Current children cumulated CPU time (s) 1190.37 Current children cumulated vsize (Kb) 1622796 [startup+1200.72 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=16072/2055888 swapFree=4085380/4096564 [pid=26048] ppid=26046 vsize=1639208 CPUtime=1200.37 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 409985 0 0 0 119666 371 0 0 25 0 1 0 259053075 1678548992 406659 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 409802 406659 294 55 0 408693 0 Current children cumulated CPU time (s) 1200.37 Current children cumulated vsize (Kb) 1639208 [startup+1210.73 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=14856/2055888 swapFree=4085380/4096564 [pid=26048] ppid=26046 vsize=1649636 CPUtime=1210.37 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 412604 0 0 0 120662 375 0 0 25 0 1 0 259053075 1689227264 409278 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 412409 409278 294 55 0 411300 0 Current children cumulated CPU time (s) 1210.37 Current children cumulated vsize (Kb) 1649636 [startup+1220.74 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=15432/2055888 swapFree=4085324/4096564 [pid=26048] ppid=26046 vsize=1664424 CPUtime=1220.38 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 416339 0 0 0 121659 379 0 0 25 0 1 0 259053075 1704370176 413013 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11675691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 416106 413013 294 55 0 414997 0 Current children cumulated CPU time (s) 1220.38 Current children cumulated vsize (Kb) 1664424 [startup+1230.74 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=15688/2055888 swapFree=4085324/4096564 [pid=26048] ppid=26046 vsize=1687776 CPUtime=1230.38 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 422195 0 0 0 122655 383 0 0 25 0 1 0 259053075 1728282624 418782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 421944 418782 294 55 0 420835 0 Current children cumulated CPU time (s) 1230.38 Current children cumulated vsize (Kb) 1687776 [startup+1240.75 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=15880/2055888 swapFree=4085324/4096564 [pid=26048] ppid=26046 vsize=1702528 CPUtime=1240.39 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 425911 0 0 0 123652 387 0 0 25 0 1 0 259053075 1743388672 422250 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 425632 422250 294 55 0 424523 0 Current children cumulated CPU time (s) 1240.39 Current children cumulated vsize (Kb) 1702528 [startup+1250.75 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=15176/2055888 swapFree=4085324/4096564 [pid=26048] ppid=26046 vsize=1724708 CPUtime=1250.39 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 431510 0 0 0 124648 391 0 0 25 0 1 0 259053075 1766100992 427849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 431177 427849 294 55 0 430068 0 Current children cumulated CPU time (s) 1250.39 Current children cumulated vsize (Kb) 1724708 [startup+1260.76 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=14984/2055888 swapFree=4085324/4096564 [pid=26048] ppid=26046 vsize=1744704 CPUtime=1260.39 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 436537 0 0 0 125644 395 0 0 25 0 1 0 259053075 1786576896 432872 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 436176 432872 294 55 0 435067 0 Current children cumulated CPU time (s) 1260.39 Current children cumulated vsize (Kb) 1744704 [startup+1270.77 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=16072/2055888 swapFree=4085324/4096564 [pid=26048] ppid=26046 vsize=1766624 CPUtime=1270.4 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 442060 0 0 0 126641 399 0 0 25 0 1 0 259053075 1809022976 438394 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 441656 438394 294 55 0 440547 0 Current children cumulated CPU time (s) 1270.4 Current children cumulated vsize (Kb) 1766624 [startup+1280.77 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=15240/2055888 swapFree=4085324/4096564 [pid=26048] ppid=26046 vsize=1784720 CPUtime=1280.4 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 446573 0 0 0 127638 402 0 0 25 0 1 0 259053075 1827553280 442906 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11675691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 446180 442906 294 55 0 445071 0 Current children cumulated CPU time (s) 1280.4 Current children cumulated vsize (Kb) 1784720 [startup+1290.78 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=16008/2055888 swapFree=4085324/4096564 [pid=26048] ppid=26046 vsize=1804804 CPUtime=1290.4 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 451643 0 0 0 128634 406 0 0 25 0 1 0 259053075 1848119296 447814 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529334 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 451201 447814 294 55 0 450092 0 Current children cumulated CPU time (s) 1290.4 Current children cumulated vsize (Kb) 1804804 [startup+1300.79 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=16200/2055888 swapFree=4085324/4096564 [pid=26048] ppid=26046 vsize=1820576 CPUtime=1300.4 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 455555 0 0 0 129631 409 0 0 25 0 1 0 259053075 1864269824 451720 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 455144 451720 294 55 0 454035 0 Current children cumulated CPU time (s) 1300.4 Current children cumulated vsize (Kb) 1820576 [startup+1310.79 s] /proc/loadavg: 1.00 1.00 0.94 2/67 26048 /proc/meminfo: memFree=16200/2055888 swapFree=4085324/4096564 [pid=26048] ppid=26046 vsize=1833044 CPUtime=1310.41 /proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 458736 0 0 0 130629 412 0 0 25 0 1 0 259053075 1877037056 454819 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26048/statm: 458261 454819 294 55 0 457152 0 Current children cumulated CPU time (s) 1310.41 Current children cumulated vsize (Kb) 1833044 Child ended because it received signal 6 (SIGABRT) Real time (s): 1318.91 CPU time (s): 1318.51 CPU user time (s): 1314.11 CPU system time (s): 4.40833 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (Kb): 1833044 The end
Begin job on node87 on Sat Jun 10 10:08:59 UTC 2006 FILE ID= 50335-1149934139 PBS_JOBID= 385604 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/50335-1149934139/instance-50335-1149934139.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node87/watcher-50335-1149934139 -o ROOT/results/node87/solver-50335-1149934139 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/50335-1149934139/instance-50335-1149934139.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= c7543821508efc06c2ce41424051ab2c RANDOM SEED= 787611392 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.17 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1620872 kB Buffers: 39132 kB Cached: 323980 kB SwapCached: 2388 kB Active: 125924 kB Inactive: 245908 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1620872 kB SwapTotal: 4096564 kB SwapFree: 4085404 kB Dirty: 208 kB Writeback: 0 kB Mapped: 16832 kB Slab: 49836 kB Committed_AS: 609892 kB PageTables: 1280 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node87 on Sat Jun 10 10:30:58 UTC 2006