Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.14 | 1800.84 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-recipe.opb |
MD5SUM | afb312a519ee7dfceb0c5aec9cb860b5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -82060 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -118677 |
Optimality of the best value was proved | NO |
Number of variables | 3671 |
Total number of constraints | 159 |
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 | 159 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 420 |
Number of terms in the objective function | 1055 |
Biggest coefficient in the objective function | 58802 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524960 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262113 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524960 |
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 Time Limit set via PBTIMEOUT to 1800 0.03 c INFO: OSL Context initialized. 0.13 c Initial problem consists of 3671 variables and 219 constraints. 0.14 c No problem reductions applied in OPT. instance. 0.14 c preprocess terminated. Elapsed time: 0.118 0.14 c After prepocess the problem consists of 3089 variables and 163 constraints. 0.14 c Initial Lower Bound: -500699 0.20 c Restart #1 #Var: 3089 LB: -500699 @ 0.169 0.28 c Restart #2 #Var: 3089 LB: -500699 @ 0.253 0.40 c Restart #3 #Var: 3089 LB: -500699 @ 0.373 0.54 c Restart #4 #Var: 3089 LB: -500699 @ 0.514 0.75 c Restart #5 #Var: 3089 LB: -500699 @ 0.724 0.99 c Restart #6 #Var: 3089 LB: -500699 @ 0.962 1.28 c Restart #7 #Var: 3089 LB: -500699 @ 1.256 1.82 c Restart #8 #Var: 3089 LB: -500699 @ 1.796 2.08 c Restart #9 #Var: 3089 LB: -500699 @ 2.053 2.34 c Restart #10 #Var: 3089 LB: -500699 @ 2.312 2.96 c Restart #11 #Var: 3089 LB: -500699 @ 2.935 3.32 c Restart #12 #Var: 3089 LB: -500699 @ 3.288 4.16 c Restart #13 #Var: 3089 LB: -500699 @ 4.137 4.69 c Restart #14 #Var: 3089 LB: -500699 @ 4.664 5.48 c Restart #15 #Var: 3089 LB: -500699 @ 5.454 6.00 c Restart #16 #Var: 3089 LB: -500699 @ 5.969 7.36 c Restart #17 #Var: 3089 LB: -500699 @ 7.328 8.52 c Restart #18 #Var: 3089 LB: -500699 @ 8.494 9.62 c Restart #19 #Var: 3089 LB: -500699 @ 9.59 10.07 c Restart #20 #Var: 3089 LB: -500699 @ 10.037 11.50 c Restart #21 #Var: 3089 LB: -500699 @ 11.461 13.98 c Restart #22 #Var: 3089 LB: -500699 @ 13.944 14.94 c Restart #23 #Var: 3089 LB: -500699 @ 14.908 16.72 c Restart #24 #Var: 3089 LB: -500699 @ 16.689 17.15 c Restart #25 #Var: 3089 LB: -500699 @ 17.118 18.31 c Restart #26 #Var: 3089 LB: -500699 @ 18.277 19.30 c Restart #27 #Var: 3089 LB: -500699 @ 19.26 21.65 c Restart #28 #Var: 3089 LB: -500699 @ 21.614 22.04 c Restart #29 #Var: 3089 LB: -500699 @ 22.001 22.81 c Restart #30 #Var: 3089 LB: -500699 @ 22.773 23.95 c Restart #31 #Var: 3089 LB: -500699 @ 23.914 25.00 c Restart #32 #Var: 3089 LB: -500699 @ 24.958 25.65 c Restart #33 #Var: 3089 LB: -500699 @ 25.616 27.65 c Restart #34 #Var: 3089 LB: -500699 @ 27.615 29.86 c Restart #35 #Var: 3089 LB: -500699 @ 29.817 31.00 c Restart #36 #Var: 3089 LB: -500699 @ 30.962 34.86 c Restart #37 #Var: 3089 LB: -500699 @ 34.816 35.41 c Restart #38 #Var: 3089 LB: -500699 @ 35.365 41.90 c Restart #39 #Var: 3089 LB: -500699 @ 41.859 44.80 c Restart #40 #Var: 3089 LB: -500699 @ 44.759 47.44 c Restart #41 #Var: 3089 LB: -500699 @ 47.396 51.11 c Restart #42 #Var: 3089 LB: -500699 @ 51.066 52.07 c Restart #43 #Var: 3089 LB: -500699 @ 52.02 54.29 c Restart #44 #Var: 3089 LB: -500699 @ 54.237 57.20 c Restart #45 #Var: 3089 LB: -500699 @ 57.151 59.46 c Restart #46 #Var: 3088 LB: -500699 @ 59.408 61.36 c Restart #47 #Var: 3088 LB: -500699 @ 61.309 64.44 c Restart #48 #Var: 3088 LB: -500699 @ 64.388 67.22 c Restart #49 #Var: 3088 LB: -500699 @ 67.165 68.34 c Restart #50 #Var: 3088 LB: -500699 @ 68.289 70.10 c Restart #51 #Var: 3088 LB: -500699 @ 70.046 72.96 c Restart #52 #Var: 3088 LB: -500699 @ 72.9 76.47 c Restart #53 #Var: 3088 LB: -500699 @ 76.418 79.35 c Restart #54 #Var: 3088 LB: -500699 @ 79.298 83.00 c Restart #55 #Var: 3088 LB: -500699 @ 82.947 84.86 c Restart #56 #Var: 3088 LB: -500699 @ 84.801 85.88 c Restart #57 #Var: 3088 LB: -500699 @ 85.818 91.15 c Restart #58 #Var: 3088 LB: -500699 @ 91.089 95.55 c Restart #59 #Var: 3088 LB: -500699 @ 95.484 100.23 c Restart #60 #Var: 3088 LB: -500699 @ 100.16 104.88 c Restart #61 #Var: 3088 LB: -500699 @ 104.82 106.61 c Restart #62 #Var: 3088 LB: -500699 @ 106.55 109.66 c Restart #63 #Var: 3088 LB: -500699 @ 109.59 112.09 c Restart #64 #Var: 3088 LB: -500699 @ 112.02 116.35 c Restart #65 #Var: 3088 LB: -500699 @ 116.28 119.73 c Restart #66 #Var: 3088 LB: -500699 @ 119.66 123.00 c Restart #67 #Var: 3088 LB: -500699 @ 122.92 124.23 c Restart #68 #Var: 3088 LB: -500699 @ 124.16 126.32 c Restart #69 #Var: 3088 LB: -500699 @ 126.25 128.83 c Restart #70 #Var: 3088 LB: -500699 @ 128.76 130.06 c Restart #71 #Var: 3088 LB: -500699 @ 129.99 134.30 c Restart #72 #Var: 3088 LB: -500699 @ 134.22 136.98 c Restart #73 #Var: 3088 LB: -500699 @ 136.9 138.55 c Restart #74 #Var: 3088 LB: -500699 @ 138.48 141.27 c Restart #75 #Var: 3088 LB: -500699 @ 141.19 143.98 c Restart #76 #Var: 3088 LB: -500699 @ 143.9 147.26 c Restart #77 #Var: 3088 LB: -500699 @ 147.18 152.94 c Restart #78 #Var: 3088 LB: -500699 @ 152.85 158.52 c Restart #79 #Var: 3088 LB: -500699 @ 158.43 169.48 c Restart #80 #Var: 3088 LB: -500699 @ 169.39 179.48 c Restart #81 #Var: 3088 LB: -500699 @ 179.39 190.08 c Restart #82 #Var: 3088 LB: -500699 @ 189.99 200.12 c Restart #83 #Var: 3088 LB: -500699 @ 200.03 205.08 c Restart #84 #Var: 3088 LB: -500699 @ 204.98 207.18 c Restart #85 #Var: 3088 LB: -500699 @ 207.08 210.17 c Restart #86 #Var: 3088 LB: -500699 @ 210.07 212.89 c Restart #87 #Var: 3088 LB: -500699 @ 212.78 214.98 c Restart #88 #Var: 3088 LB: -500699 @ 214.88 217.55 c Restart #89 #Var: 3088 LB: -500699 @ 217.45 221.99 c Restart #90 #Var: 3088 LB: -500699 @ 221.89 226.44 c Restart #91 #Var: 3088 LB: -500699 @ 226.33 230.35 c Restart #92 #Var: 3088 LB: -500699 @ 230.25 232.82 c Restart #93 #Var: 3088 LB: -500699 @ 232.71 236.12 c Restart #94 #Var: 3088 LB: -500699 @ 236.01 238.61 c Restart #95 #Var: 3087 LB: -500699 @ 238.5 242.91 c Restart #96 #Var: 3085 LB: -500699 @ 242.8 244.51 c Restart #97 #Var: 3085 LB: -500699 @ 244.39 246.55 c Restart #98 #Var: 3084 LB: -500699 @ 246.43 250.44 c Restart #99 #Var: 3084 LB: -500699 @ 250.32 254.57 c Restart #100 #Var: 3084 LB: -500699 @ 254.46 258.68 c Restart #101 #Var: 3084 LB: -500699 @ 258.56 262.96 c Restart #102 #Var: 3084 LB: -500699 @ 262.84 266.85 c Restart #103 #Var: 3084 LB: -500699 @ 266.73 276.11 c Restart #104 #Var: 3084 LB: -500699 @ 275.99 277.84 c Restart #105 #Var: 3084 LB: -500699 @ 277.72 283.92 c Restart #106 #Var: 3084 LB: -500699 @ 283.79 291.29 c Restart #107 #Var: 3084 LB: -500699 @ 291.17 293.34 c Restart #108 #Var: 3084 LB: -500699 @ 293.22 407.97 c Restart #109 #Var: 3084 LB: -500699 @ 407.81 418.24 c Restart #110 #Var: 3084 LB: -500699 @ 418.07 428.79 c Restart #111 #Var: 3084 LB: -500699 @ 428.61 434.70 c Restart #112 #Var: 3084 LB: -500699 @ 434.53 441.02 c Restart #113 #Var: 3084 LB: -500699 @ 440.85 445.75 c Restart #114 #Var: 3084 LB: -500699 @ 445.57 451.65 c Restart #115 #Var: 3084 LB: -500699 @ 451.47 460.57 c Restart #116 #Var: 3084 LB: -500699 @ 460.38 466.20 c Restart #117 #Var: 3084 LB: -500699 @ 466.01 471.58 c Restart #118 #Var: 3084 LB: -500699 @ 471.39 476.73 c Restart #119 #Var: 3084 LB: -500699 @ 476.54 481.67 c Restart #120 #Var: 3084 LB: -500699 @ 481.48 485.74 c Restart #121 #Var: 3084 LB: -500699 @ 485.55 490.74 c Restart #122 #Var: 3084 LB: -500699 @ 490.55 852.76 c Restart #123 #Var: 3083 LB: -500684 @ 852.45 861.33 c Restart #124 #Var: 3083 LB: -500684 @ 861.01 875.60 c Restart #125 #Var: 3083 LB: -500684 @ 875.28 886.56 c Restart #126 #Var: 3081 LB: -500684 @ 886.23 889.34 c Restart #127 #Var: 3078 LB: -500625 @ 889.02 899.61 c Restart #128 #Var: 3078 LB: -500625 @ 899.28 904.76 c CHANGE Heuristic... 904.76 c Restart #0 #Var: 3078 LB: -500625 @ 904.43 905.10 c Restart #1 #Var: 3078 LB: -500625 @ 904.77 905.73 c Restart #2 #Var: 3078 LB: -500625 @ 905.39 907.28 c Restart #3 #Var: 3078 LB: -500625 @ 906.95 907.52 c Restart #4 #Var: 3077 LB: -500625 @ 907.18 908.09 c Restart #5 #Var: 3077 LB: -500625 @ 907.75 908.40 c Restart #6 #Var: 3077 LB: -500625 @ 908.07 910.50 c Restart #7 #Var: 3077 LB: -500625 @ 910.16 911.04 c Restart #8 #Var: 3077 LB: -500625 @ 910.7 912.47 c Restart #9 #Var: 3077 LB: -500625 @ 912.13 913.36 c Restart #10 #Var: 3077 LB: -500625 @ 913.03 913.86 c Restart #11 #Var: 3077 LB: -500625 @ 913.53 914.76 c Restart #12 #Var: 3077 LB: -500625 @ 914.42 915.10 c Restart #13 #Var: 3077 LB: -500625 @ 914.77 915.62 c Restart #14 #Var: 3077 LB: -500625 @ 915.29 916.21 c Restart #15 #Var: 3077 LB: -500625 @ 915.87 916.64 c Restart #16 #Var: 3077 LB: -500625 @ 916.3 918.37 c Restart #17 #Var: 3077 LB: -500625 @ 918.03 919.59 c Restart #18 #Var: 3077 LB: -500625 @ 919.26 920.77 c Restart #19 #Var: 3077 LB: -500625 @ 920.43 922.94 c Restart #20 #Var: 3077 LB: -500625 @ 922.61 924.65 c Restart #21 #Var: 3077 LB: -500625 @ 924.32 925.35 c Restart #22 #Var: 3077 LB: -500625 @ 925.01 926.05 c Restart #23 #Var: 3077 LB: -500625 @ 925.71 926.64 c Restart #24 #Var: 3077 LB: -500625 @ 926.3 931.12 c Restart #25 #Var: 3077 LB: -500625 @ 930.77 934.26 c Restart #26 #Var: 3077 LB: -500625 @ 933.91 934.85 c Restart #27 #Var: 3077 LB: -500625 @ 934.51 935.42 c Restart #28 #Var: 3077 LB: -500625 @ 935.08 936.46 c Restart #29 #Var: 3077 LB: -500625 @ 936.12 937.16 c Restart #30 #Var: 3077 LB: -500625 @ 936.82 938.35 c Restart #31 #Var: 3077 LB: -500625 @ 938.01 940.13 c Restart #32 #Var: 3077 LB: -500625 @ 939.78 942.02 c Restart #33 #Var: 3077 LB: -500625 @ 941.67 943.69 c Restart #34 #Var: 3077 LB: -500625 @ 943.34 945.48 c Restart #35 #Var: 3077 LB: -500625 @ 945.13 954.11 c Restart #36 #Var: 3077 LB: -500625 @ 953.76 958.41 c Restart #37 #Var: 3077 LB: -500625 @ 958.05 961.87 c Restart #38 #Var: 3077 LB: -500625 @ 961.52 962.89 c Restart #39 #Var: 3077 LB: -500625 @ 962.54 963.64 c Restart #40 #Var: 3077 LB: -500625 @ 963.28 967.89 c Restart #41 #Var: 3077 LB: -500625 @ 967.53 969.83 c Restart #42 #Var: 3077 LB: -500625 @ 969.48 971.67 c Restart #43 #Var: 3077 LB: -500625 @ 971.31 973.28 c Restart #44 #Var: 3077 LB: -500625 @ 972.93 978.69 c Restart #45 #Var: 3077 LB: -500625 @ 978.33 980.66 c Restart #46 #Var: 3077 LB: -500625 @ 980.3 982.58 c Restart #47 #Var: 3077 LB: -500625 @ 982.23 985.30 c Restart #48 #Var: 3077 LB: -500625 @ 984.94 987.69 c Restart #49 #Var: 3077 LB: -500625 @ 987.33 988.70 c Restart #50 #Var: 3077 LB: -500625 @ 988.34 990.79 c Restart #51 #Var: 3077 LB: -500625 @ 990.43 992.52 c Restart #52 #Var: 3077 LB: -500625 @ 992.16 995.89 c Restart #53 #Var: 3077 LB: -500625 @ 995.53 997.43 c Restart #54 #Var: 3077 LB: -500625 @ 997.06 999.25 c Restart #55 #Var: 3077 LB: -500625 @ 998.89 1015.52 c Restart #56 #Var: 3077 LB: -500625 @ 1015.1 1018.88 c Restart #57 #Var: 3077 LB: -500625 @ 1018.5 1055.65 c Restart #58 #Var: 3077 LB: -500625 @ 1055.3 1061.84 c Restart #59 #Var: 3077 LB: -500625 @ 1061.5 1075.48 c Restart #60 #Var: 3077 LB: -500625 @ 1075.1 1077.33 c Restart #61 #Var: 3077 LB: -500625 @ 1076.9 1079.92 c Restart #62 #Var: 3077 LB: -500625 @ 1079.5 1083.11 c Restart #63 #Var: 3077 LB: -500625 @ 1082.7 1085.24 c Restart #64 #Var: 3077 LB: -500625 @ 1084.8 1095.87 c Restart #65 #Var: 3077 LB: -500625 @ 1095.5 1107.55 c Restart #66 #Var: 3077 LB: -500625 @ 1107.2 1110.73 c Restart #67 #Var: 3077 LB: -500625 @ 1110.3 1112.94 c Restart #68 #Var: 3077 LB: -500625 @ 1112.5 1141.41 c Restart #69 #Var: 3077 LB: -500625 @ 1141 1143.85 c Restart #70 #Var: 3077 LB: -500625 @ 1143.4 1147.21 c Restart #71 #Var: 3077 LB: -500625 @ 1146.8 1151.17 c Restart #72 #Var: 3077 LB: -500625 @ 1150.8 1155.51 c Restart #73 #Var: 3077 LB: -500625 @ 1155.1 1160.38 c Restart #74 #Var: 3077 LB: -500625 @ 1160 1164.15 c Restart #75 #Var: 3077 LB: -500625 @ 1163.7 1167.06 c Restart #76 #Var: 3077 LB: -500625 @ 1166.6 1171.52 c Restart #77 #Var: 3077 LB: -500625 @ 1171.1 1190.30 c Restart #78 #Var: 3077 LB: -500625 @ 1189.9 1194.30 c Restart #79 #Var: 3077 LB: -500625 @ 1193.9 1201.51 c Restart #80 #Var: 3077 LB: -500625 @ 1201.1 1205.24 c Restart #81 #Var: 3077 LB: -500625 @ 1204.8 1210.26 c Restart #82 #Var: 3077 LB: -500625 @ 1209.8 1215.79 c Restart #83 #Var: 3077 LB: -500625 @ 1215.4 1221.40 c Restart #84 #Var: 3077 LB: -500625 @ 1221 1226.41 c Restart #85 #Var: 3077 LB: -500625 @ 1226 1229.32 c Restart #86 #Var: 3077 LB: -500625 @ 1228.9 1237.24 c Restart #87 #Var: 3077 LB: -500625 @ 1236.8 1244.12 c Restart #88 #Var: 3077 LB: -500625 @ 1243.7 1248.35 c Restart #89 #Var: 3077 LB: -500625 @ 1247.9 1253.93 c Restart #90 #Var: 3077 LB: -500625 @ 1253.5 1256.87 c Restart #91 #Var: 3077 LB: -500625 @ 1256.4 1264.99 c Restart #92 #Var: 3077 LB: -500625 @ 1264.5 1267.52 c Restart #93 #Var: 3077 LB: -500625 @ 1267.1 1271.38 c Restart #94 #Var: 3077 LB: -500625 @ 1270.9 1280.68 c Restart #95 #Var: 3077 LB: -500625 @ 1280.2 1282.54 c Restart #96 #Var: 3077 LB: -500625 @ 1282.1 1294.33 c Restart #97 #Var: 3075 LB: -500625 @ 1293.9 1339.62 c Restart #98 #Var: 3075 LB: -500625 @ 1339.1 1348.29 c Restart #99 #Var: 3075 LB: -500625 @ 1347.8 1356.32 c Restart #100 #Var: 3075 LB: -500625 @ 1355.8 1373.35 c Restart #101 #Var: 3075 LB: -500625 @ 1372.9 1380.13 c Restart #102 #Var: 3075 LB: -500625 @ 1379.6 1392.54 c Restart #103 #Var: 3075 LB: -500625 @ 1392 1399.22 c Restart #104 #Var: 3075 LB: -500625 @ 1398.7 1403.99 c Restart #105 #Var: 3075 LB: -500625 @ 1403.5 1408.79 c Restart #106 #Var: 3075 LB: -500625 @ 1408.3 1416.83 c Restart #107 #Var: 3075 LB: -500625 @ 1416.3 1421.94 c Restart #108 #Var: 3075 LB: -500625 @ 1421.4 1435.41 c Restart #109 #Var: 3075 LB: -500625 @ 1434.9 1441.88 c Restart #110 #Var: 3075 LB: -500625 @ 1441.4 1445.18 c Restart #111 #Var: 3075 LB: -500625 @ 1444.7 1470.02 c Restart #112 #Var: 3075 LB: -500625 @ 1469.5 1473.82 c Restart #113 #Var: 3075 LB: -500625 @ 1473.3 1522.07 c Restart #114 #Var: 3075 LB: -500625 @ 1521.5 1527.84 c Restart #115 #Var: 3075 LB: -500625 @ 1527.3 1536.51 c Restart #116 #Var: 3075 LB: -500625 @ 1536 1546.46 c Restart #117 #Var: 3075 LB: -500625 @ 1545.9 1555.51 c Restart #118 #Var: 3075 LB: -500625 @ 1555 1567.49 c Restart #119 #Var: 3075 LB: -500625 @ 1566.9 1589.40 c Restart #120 #Var: 3075 LB: -500625 @ 1588.8 1597.00 c Restart #121 #Var: 3075 LB: -500625 @ 1596.4 1800.72 s UNKNOWN 1800.72 c Exit Code: 0 1800.72 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/node45/watcher-39931-1149334297 -o ROOT/results/node45/solver-39931-1149334297 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node45/39931-1149334297/instance-39931-1149334297.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.98 0.99 3/64 27141 /proc/meminfo: memFree=1542416/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=4932 CPUtime=0 /proc/27141/stat : 27141 (bsolo) D 27139 27141 27095 0 -1 0 366 0 0 0 0 0 0 0 19 0 1 0 94867435 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0 /proc/27141/statm: 1233 330 226 55 0 125 0 [startup+10.0019 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1532304/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=14700 CPUtime=9.96 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 2911 0 0 0 990 6 0 0 25 0 1 0 94867435 15052800 2826 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 3675 2826 297 55 0 2567 0 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 14700 [startup+20.0087 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1530192/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=16796 CPUtime=19.96 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 3594 0 0 0 1989 7 0 0 25 0 1 0 94867435 17199104 3357 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 4199 3357 297 55 0 3091 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 16796 [startup+30.0145 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1506832/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=40132 CPUtime=29.96 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 9413 0 0 0 2983 13 0 0 25 0 1 0 94867435 41095168 9176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 10033 9176 297 55 0 8925 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 40132 [startup+40.0204 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1500496/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=46344 CPUtime=39.97 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 10999 0 0 0 3982 15 0 0 25 0 1 0 94867435 47456256 10751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 11586 10751 297 55 0 10478 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 46344 [startup+50.0262 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1500496/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=46344 CPUtime=49.97 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 11003 0 0 0 4981 16 0 0 25 0 1 0 94867435 47456256 10755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 11586 10755 297 55 0 10478 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 46344 [startup+60.032 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1485456/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=61368 CPUtime=59.97 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 14754 0 0 0 5977 20 0 0 25 0 1 0 94867435 62840832 14506 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 15342 14506 297 55 0 14234 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 61368 [startup+70.0378 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1485136/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=61756 CPUtime=69.97 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 14841 0 0 0 6975 22 0 0 25 0 1 0 94867435 63238144 14593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 15439 14593 297 55 0 14331 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 61756 [startup+80.0436 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1484496/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=62352 CPUtime=79.97 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 15017 0 0 0 7974 23 0 0 25 0 1 0 94867435 63848448 14750 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603839 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 15588 14750 297 55 0 14480 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 62352 [startup+90.0495 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1477776/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=69200 CPUtime=89.98 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 16929 0 0 0 8973 25 0 0 25 0 1 0 94867435 70860800 16441 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 17300 16441 297 55 0 16192 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 69200 [startup+100.055 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1478032/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=68592 CPUtime=99.98 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 16929 0 0 0 9972 26 0 0 25 0 1 0 94867435 70238208 16319 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 17148 16319 297 55 0 16040 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 68592 [startup+110.061 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1478032/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=68592 CPUtime=109.99 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 16930 0 0 0 10972 27 0 0 25 0 1 0 94867435 70238208 16320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 17148 16320 297 55 0 16040 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 68592 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1475344/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=71492 CPUtime=119.99 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 17650 0 0 0 11971 28 0 0 25 0 1 0 94867435 73207808 17040 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 17873 17040 297 55 0 16765 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 71492 [startup+130.073 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1434384/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=112396 CPUtime=129.98 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 27861 0 0 0 12965 33 0 0 25 0 1 0 94867435 115093504 27251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 28099 27251 297 55 0 26991 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 112396 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1405584/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=141256 CPUtime=139.99 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 35050 0 0 0 13960 39 0 0 25 0 1 0 94867435 144646144 34440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5161716 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 35314 34440 297 55 0 34206 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 141256 [startup+150.084 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1404432/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=142440 CPUtime=150 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 35337 0 0 0 14960 40 0 0 25 0 1 0 94867435 145858560 34727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 35610 34727 297 55 0 34502 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 142440 [startup+160.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1402192/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=144404 CPUtime=159.99 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 35962 0 0 0 15958 41 0 0 25 0 1 0 94867435 147869696 35248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 36101 35248 297 55 0 34993 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 144404 [startup+170.097 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1402192/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=144404 CPUtime=170 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 35962 0 0 0 16958 42 0 0 25 0 1 0 94867435 147869696 35248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 36101 35248 297 55 0 34993 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 144404 [startup+180.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1402192/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=144404 CPUtime=180 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 35962 0 0 0 17957 43 0 0 25 0 1 0 94867435 147869696 35248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5156933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 36101 35248 297 55 0 34993 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 144404 [startup+190.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1402256/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=144404 CPUtime=190 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 35962 0 0 0 18956 44 0 0 25 0 1 0 94867435 147869696 35248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718478 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 36101 35248 297 55 0 34993 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 144404 [startup+200.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1402256/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=144404 CPUtime=200 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 35962 0 0 0 19955 45 0 0 25 0 1 0 94867435 147869696 35248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 36101 35248 297 55 0 34993 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 144404 [startup+210.122 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27141 /proc/meminfo: memFree=1402256/2055920 swapFree=4191900/4192956 ################ # More data... # ################ /proc/27141/statm: 185233 184014 297 55 0 184125 0 Current children cumulated CPU time (s) 1760.42 Current children cumulated vsize (Kb) 740932 [startup+1771.05 s] /proc/loadavg: 0.99 0.98 0.99 2/70 27204 /proc/meminfo: memFree=804632/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1770.41 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 176776 265 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1770.41 Current children cumulated vsize (Kb) 740932 [startup+1781.06 s] /proc/loadavg: 0.99 0.98 0.99 2/70 27254 /proc/meminfo: memFree=804504/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1780.39 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 177773 266 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1780.39 Current children cumulated vsize (Kb) 740932 [startup+1782.07 s] /proc/loadavg: 0.99 0.98 0.99 2/70 27254 /proc/meminfo: memFree=804504/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1781.4 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 177874 266 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (Kb) 740932 [startup+1783.07 s] /proc/loadavg: 0.99 0.98 0.99 2/70 27262 /proc/meminfo: memFree=804440/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1782.4 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 177974 266 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1782.4 Current children cumulated vsize (Kb) 740932 [startup+1784.08 s] /proc/loadavg: 0.99 0.98 0.99 2/70 27262 /proc/meminfo: memFree=804440/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1783.41 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 178075 266 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1783.41 Current children cumulated vsize (Kb) 740932 [startup+1785.08 s] /proc/loadavg: 0.99 0.98 0.99 2/70 27262 /proc/meminfo: memFree=804440/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1784.41 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 178175 266 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1784.41 Current children cumulated vsize (Kb) 740932 [startup+1786.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27336 /proc/meminfo: memFree=805448/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1785.38 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 178271 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1785.38 Current children cumulated vsize (Kb) 740932 [startup+1787.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27336 /proc/meminfo: memFree=805448/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1786.39 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 178372 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534057 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1786.39 Current children cumulated vsize (Kb) 740932 [startup+1788.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27336 /proc/meminfo: memFree=805448/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1787.39 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 178472 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1787.39 Current children cumulated vsize (Kb) 740932 [startup+1789.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27336 /proc/meminfo: memFree=805448/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1788.4 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 178573 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1788.4 Current children cumulated vsize (Kb) 740932 [startup+1790.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27336 /proc/meminfo: memFree=805448/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1789.4 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 178673 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1789.4 Current children cumulated vsize (Kb) 740932 [startup+1791.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27336 /proc/meminfo: memFree=805448/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1790.41 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 178774 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1790.41 Current children cumulated vsize (Kb) 740932 [startup+1792.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27336 /proc/meminfo: memFree=805448/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1791.41 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 178874 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (Kb) 740932 [startup+1793.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27336 /proc/meminfo: memFree=805520/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1792.42 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 178975 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1792.42 Current children cumulated vsize (Kb) 740932 [startup+1794.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27336 /proc/meminfo: memFree=805520/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1793.42 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 179075 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1793.42 Current children cumulated vsize (Kb) 740932 [startup+1795.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27336 /proc/meminfo: memFree=805520/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1794.43 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 179176 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1794.43 Current children cumulated vsize (Kb) 740932 [startup+1796.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27336 /proc/meminfo: memFree=805520/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1795.43 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 179276 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1795.43 Current children cumulated vsize (Kb) 740932 [startup+1797.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27336 /proc/meminfo: memFree=805520/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1796.44 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 179377 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1796.44 Current children cumulated vsize (Kb) 740932 [startup+1798.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27336 /proc/meminfo: memFree=805520/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1797.44 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 179477 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1797.44 Current children cumulated vsize (Kb) 740932 [startup+1799.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27336 /proc/meminfo: memFree=805520/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1798.44 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 179577 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1798.44 Current children cumulated vsize (Kb) 740932 [startup+1800.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27336 /proc/meminfo: memFree=805520/2055920 swapFree=4191900/4192956 [pid=27141] ppid=27139 vsize=740932 CPUtime=1799.45 /proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 179678 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27141/statm: 185233 184016 297 55 0 184125 0 Current children cumulated CPU time (s) 1799.45 Current children cumulated vsize (Kb) 740932 Child status: 0 Real time (s): 1800.84 CPU time (s): 1800.14 CPU user time (s): 1797.35 CPU system time (s): 2.78658 CPU usage (%): 99.9607 Max. virtual memory (cumulated for all children) (Kb): 740932
Begin job on node45 on Sat Jun 3 11:31:37 UTC 2006 FILE ID= 39931-1149334297 PBS_JOBID= 310054 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-recipe.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node45/39931-1149334297/instance-39931-1149334297.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-39931-1149334297 -o ROOT/results/node45/solver-39931-1149334297 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node45/39931-1149334297/instance-39931-1149334297.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= afb312a519ee7dfceb0c5aec9cb860b5 RANDOM SEED= 300703921 /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.263 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.263 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: 1542624 kB Buffers: 27436 kB Cached: 409408 kB SwapCached: 260 kB Active: 42792 kB Inactive: 407980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1542624 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 172 kB Writeback: 0 kB Mapped: 23016 kB Slab: 48552 kB Committed_AS: 279264 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node45 on Sat Jun 3 12:01:38 UTC 2006