Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1800.5 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc05.opb |
MD5SUM | 4e6161a7dc803af1e0ad1878eef0a0d1 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1076796928 |
Best CPU time to get the best result obtained on this benchmark | 247.126 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1076796928 |
Optimality of the best value was proved | YES |
Number of variables | 1940 |
Total number of constraints | 300 |
Number of constraints which are clauses | 155 |
Number of constraints which are cardinality constraints (but not clauses) | 8 |
Number of constraints which are nor clauses,nor cardinality constraints | 137 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 451 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 83751857084 |
Number of bits of the biggest sum of numbers | 37 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c BIG Int formula... 0.07 c Initial problem consists of 1940 variables and 329 constraints. 0.08 c No problem reductions applied in OPT. instance. 0.08 c preprocess terminated. Elapsed time: 0.073 0.08 c After prepocess the problem consists of 1260 variables and 295 constraints. 0.08 c Initial Lower Bound: 0 0.18 c Restart #1 #Var: 1260 LB: 0 @ 0.168 0.37 c Restart #2 #Var: 1260 LB: 0 @ 0.36 0.66 c Restart #3 #Var: 1260 LB: 0 @ 0.649 1.02 c Restart #4 #Var: 1260 LB: 0 @ 1.013 1.48 c Restart #5 #Var: 1260 LB: 0 @ 1.467 2.04 c Restart #6 #Var: 1260 LB: 0 @ 2.033 2.76 c Restart #7 #Var: 1260 LB: 0 @ 2.753 3.62 c Restart #8 #Var: 1260 LB: 0 @ 3.615 4.24 c Restart #9 #Var: 1260 LB: 0 @ 4.232 5.08 c Restart #10 #Var: 1260 LB: 0 @ 5.074 6.03 c Restart #11 #Var: 1260 LB: 0 @ 6.023 6.86 c Restart #12 #Var: 1260 LB: 0 @ 6.848 7.65 c Restart #13 #Var: 1260 LB: 0 @ 7.642 8.78 c Restart #14 #Var: 1260 LB: 0 @ 8.772 9.85 c Restart #15 #Var: 1241 LB: 0 @ 9.839 10.83 c Restart #16 #Var: 1240 LB: 0 @ 10.812 12.36 c Restart #17 #Var: 1240 LB: 0 @ 12.347 13.65 c Restart #18 #Var: 1240 LB: 0 @ 13.639 15.66 c Restart #19 #Var: 1240 LB: 0 @ 15.647 17.04 c Restart #20 #Var: 1240 LB: 0 @ 17.029 20.12 c Restart #21 #Var: 1240 LB: 0 @ 20.103 22.27 c Restart #22 #Var: 1240 LB: 0 @ 22.254 24.57 c Restart #23 #Var: 1240 LB: 0 @ 24.55 27.01 c Restart #24 #Var: 1238 LB: 0 @ 26.989 28.75 c Restart #25 #Var: 1238 LB: 0 @ 28.734 31.10 c Restart #26 #Var: 1238 LB: 0 @ 31.077 32.75 c Restart #27 #Var: 1238 LB: 0 @ 32.727 34.97 c Restart #28 #Var: 1238 LB: 0 @ 34.949 39.01 c Restart #29 #Var: 1238 LB: 0 @ 38.991 45.73 c Restart #30 #Var: 1238 LB: 0 @ 45.702 50.18 c Restart #31 #Var: 1238 LB: 0 @ 50.159 53.03 c Restart #32 #Var: 1225 LB: 0 @ 53.003 57.34 c Restart #33 #Var: 1225 LB: 0 @ 57.311 64.31 c Restart #34 #Var: 1219 LB: 0 @ 64.276 67.00 c Restart #35 #Var: 1219 LB: 0 @ 66.974 72.31 c Restart #36 #Var: 1217 LB: 0 @ 72.278 77.97 c Restart #37 #Var: 1217 LB: 0 @ 77.936 82.25 c Restart #38 #Var: 1217 LB: 0 @ 82.213 87.06 c Restart #39 #Var: 1217 LB: 0 @ 87.021 89.63 c Restart #40 #Var: 1217 LB: 0 @ 89.594 93.65 c Restart #41 #Var: 1216 LB: 0 @ 93.609 96.92 c Restart #42 #Var: 1214 LB: 0 @ 96.879 100.72 c Restart #43 #Var: 1212 LB: 0 @ 100.68 104.44 c Restart #44 #Var: 1209 LB: 0 @ 104.4 107.75 c Restart #45 #Var: 1209 LB: 0 @ 107.71 112.62 c Restart #46 #Var: 1209 LB: 0 @ 112.58 116.30 c Restart #47 #Var: 1209 LB: 0 @ 116.26 119.28 c Restart #48 #Var: 1208 LB: 0 @ 119.23 122.00 c Restart #49 #Var: 1208 LB: 0 @ 121.95 125.99 c Restart #50 #Var: 1208 LB: 0 @ 125.94 130.38 c Restart #51 #Var: 1208 LB: 0 @ 130.34 135.53 c Restart #52 #Var: 1208 LB: 0 @ 135.48 139.45 c Restart #53 #Var: 1208 LB: 0 @ 139.4 142.92 c Restart #54 #Var: 1208 LB: 0 @ 142.87 147.71 c Restart #55 #Var: 1208 LB: 0 @ 147.66 156.08 c Restart #56 #Var: 1208 LB: 0 @ 156.03 161.34 c Restart #57 #Var: 1208 LB: 0 @ 161.29 165.55 c Restart #58 #Var: 1208 LB: 0 @ 165.5 170.15 c Restart #59 #Var: 1208 LB: 0 @ 170.09 176.09 c Restart #60 #Var: 1208 LB: 0 @ 176.03 186.01 c Restart #61 #Var: 1208 LB: 0 @ 185.95 197.80 c Restart #62 #Var: 1208 LB: 0 @ 197.74 203.68 c Restart #63 #Var: 1208 LB: 0 @ 203.61 209.58 c Restart #64 #Var: 1206 LB: 0 @ 209.52 215.14 c Restart #65 #Var: 1206 LB: 0 @ 215.07 220.11 c Restart #66 #Var: 1206 LB: 0 @ 220.04 224.81 c Restart #67 #Var: 1206 LB: 0 @ 224.74 229.75 c Restart #68 #Var: 1206 LB: 0 @ 229.68 236.84 c Restart #69 #Var: 1206 LB: 0 @ 236.76 248.28 c Restart #70 #Var: 1206 LB: 0 @ 248.21 253.26 c Restart #71 #Var: 1206 LB: 0 @ 253.18 259.28 c Restart #72 #Var: 1206 LB: 0 @ 259.2 265.35 c Restart #73 #Var: 1206 LB: 0 @ 265.27 271.49 c Restart #74 #Var: 1206 LB: 0 @ 271.41 279.89 c Restart #75 #Var: 1206 LB: 0 @ 279.8 286.26 c Restart #76 #Var: 1206 LB: 0 @ 286.18 299.31 c Restart #77 #Var: 1206 LB: 0 @ 299.22 307.03 c Restart #78 #Var: 1206 LB: 0 @ 306.94 313.28 c Restart #79 #Var: 1206 LB: 0 @ 313.19 320.55 c Restart #80 #Var: 1206 LB: 0 @ 320.45 329.33 c Restart #81 #Var: 1206 LB: 0 @ 329.23 344.55 c Restart #82 #Var: 1206 LB: 0 @ 344.44 358.24 c Restart #83 #Var: 1206 LB: 0 @ 358.13 363.98 c Restart #84 #Var: 1206 LB: 0 @ 363.87 371.93 c Restart #85 #Var: 1206 LB: 0 @ 371.82 378.40 c Restart #86 #Var: 1206 LB: 0 @ 378.29 385.37 c Restart #87 #Var: 1206 LB: 0 @ 385.26 391.75 c Restart #88 #Var: 1206 LB: 0 @ 391.64 399.00 c Restart #89 #Var: 1206 LB: 0 @ 398.89 404.98 c Restart #90 #Var: 1206 LB: 0 @ 404.86 419.24 c Restart #91 #Var: 1206 LB: 0 @ 419.12 439.38 c Restart #92 #Var: 1206 LB: 0 @ 439.25 447.06 c Restart #93 #Var: 1206 LB: 0 @ 446.93 455.35 c Restart #94 #Var: 1206 LB: 0 @ 455.22 461.50 c Restart #95 #Var: 1206 LB: 0 @ 461.37 471.14 c Restart #96 #Var: 1206 LB: 0 @ 471 503.73 c Restart #97 #Var: 1206 LB: 0 @ 503.59 513.95 c Restart #98 #Var: 1206 LB: 0 @ 513.8 522.18 c Restart #99 #Var: 1206 LB: 0 @ 522.03 531.40 c Restart #100 #Var: 1206 LB: 0 @ 531.25 539.62 c Restart #101 #Var: 1206 LB: 0 @ 539.46 551.17 c Restart #102 #Var: 1206 LB: 0 @ 551.02 562.17 c Restart #103 #Var: 1206 LB: 0 @ 562.01 572.23 c Restart #104 #Var: 1206 LB: 0 @ 572.06 580.86 c Restart #105 #Var: 1206 LB: 0 @ 580.69 588.42 c Restart #106 #Var: 1206 LB: 0 @ 588.25 604.51 c Restart #107 #Var: 1206 LB: 0 @ 604.33 613.54 c Restart #108 #Var: 1206 LB: 0 @ 613.36 623.29 c Restart #109 #Var: 1206 LB: 0 @ 623.11 638.96 c Restart #110 #Var: 1206 LB: 0 @ 638.78 647.97 c Restart #111 #Var: 1206 LB: 0 @ 647.78 662.59 c Restart #112 #Var: 1206 LB: 0 @ 662.4 674.85 c Restart #113 #Var: 1206 LB: 0 @ 674.66 682.10 c Restart #114 #Var: 1206 LB: 0 @ 681.9 692.72 c Restart #115 #Var: 1206 LB: 0 @ 692.52 701.32 c Restart #116 #Var: 1206 LB: 0 @ 701.12 712.58 c Restart #117 #Var: 1206 LB: 0 @ 712.37 721.07 c Restart #118 #Var: 1206 LB: 0 @ 720.87 732.69 c Restart #119 #Var: 1206 LB: 0 @ 732.48 761.05 c Restart #120 #Var: 1206 LB: 0 @ 760.83 781.10 c Restart #121 #Var: 1206 LB: 0 @ 780.88 790.73 c Restart #122 #Var: 1206 LB: 0 @ 790.51 800.15 c Restart #123 #Var: 1206 LB: 0 @ 799.93 810.03 c Restart #124 #Var: 1206 LB: 0 @ 809.8 819.32 c Restart #125 #Var: 1206 LB: 0 @ 819.09 838.58 c Restart #126 #Var: 1206 LB: 0 @ 838.34 848.48 c Restart #127 #Var: 1206 LB: 0 @ 848.24 861.29 c Restart #128 #Var: 1206 LB: 0 @ 861.05 875.33 c Restart #129 #Var: 1206 LB: 0 @ 875.08 883.33 c Restart #130 #Var: 1206 LB: 0 @ 883.09 896.33 c Restart #131 #Var: 1206 LB: 0 @ 896.08 911.28 c CHANGE Heuristic... 911.28 c Restart #0 #Var: 1206 LB: 0 @ 911.02 911.45 c Restart #1 #Var: 1206 LB: 0 @ 911.19 911.69 c Restart #2 #Var: 1206 LB: 0 @ 911.44 912.22 c Restart #3 #Var: 1206 LB: 0 @ 911.96 912.59 c Restart #4 #Var: 1206 LB: 0 @ 912.33 913.21 c Restart #5 #Var: 1206 LB: 0 @ 912.95 913.58 c Restart #6 #Var: 1206 LB: 0 @ 913.32 914.91 c Restart #7 #Var: 1206 LB: 0 @ 914.66 915.42 c Restart #8 #Var: 1206 LB: 0 @ 915.17 916.97 c Restart #9 #Var: 1206 LB: 0 @ 916.71 918.12 c Restart #10 #Var: 1206 LB: 0 @ 917.87 919.92 c Restart #11 #Var: 1206 LB: 0 @ 919.67 921.59 c Restart #12 #Var: 1206 LB: 0 @ 921.34 923.32 c Restart #13 #Var: 1206 LB: 0 @ 923.07 927.74 c Restart #14 #Var: 1206 LB: 0 @ 927.48 929.86 c Restart #15 #Var: 1206 LB: 0 @ 929.6 931.44 c Restart #16 #Var: 1206 LB: 0 @ 931.18 932.76 c Restart #17 #Var: 1206 LB: 0 @ 932.49 941.18 c Restart #18 #Var: 1206 LB: 0 @ 940.92 949.66 c Restart #19 #Var: 1206 LB: 0 @ 949.4 952.38 c Restart #20 #Var: 1206 LB: 0 @ 952.11 955.50 c Restart #21 #Var: 1206 LB: 0 @ 955.23 959.56 c Restart #22 #Var: 1206 LB: 0 @ 959.29 963.44 c Restart #23 #Var: 1206 LB: 0 @ 963.17 967.04 c Restart #24 #Var: 1206 LB: 0 @ 966.77 970.69 c Restart #25 #Var: 1206 LB: 0 @ 970.42 975.18 c Restart #26 #Var: 1206 LB: 0 @ 974.9 980.87 c Restart #27 #Var: 1206 LB: 0 @ 980.59 984.22 c Restart #28 #Var: 1206 LB: 0 @ 983.95 991.40 c Restart #29 #Var: 1196 LB: 0 @ 991.12 995.31 c Restart #30 #Var: 1196 LB: 0 @ 995.04 1001.26 c Restart #31 #Var: 1196 LB: 0 @ 1001 1006.62 c Restart #32 #Var: 1196 LB: 0 @ 1006.3 1012.54 c Restart #33 #Var: 1196 LB: 0 @ 1012.3 1018.20 c Restart #34 #Var: 1196 LB: 0 @ 1017.9 1023.37 c Restart #35 #Var: 1196 LB: 0 @ 1023.1 1026.12 c Restart #36 #Var: 1196 LB: 0 @ 1025.8 1029.40 c Restart #37 #Var: 1196 LB: 0 @ 1029.1 1032.50 c Restart #38 #Var: 1196 LB: 0 @ 1032.2 1036.70 c Restart #39 #Var: 1195 LB: 0 @ 1036.4 1041.96 c Restart #40 #Var: 1195 LB: 0 @ 1041.7 1046.70 c Restart #41 #Var: 1195 LB: 0 @ 1046.4 1050.53 c Restart #42 #Var: 1195 LB: 0 @ 1050.2 1054.25 c Restart #43 #Var: 1195 LB: 0 @ 1054 1058.67 c Restart #44 #Var: 1195 LB: 0 @ 1058.4 1062.37 c Restart #45 #Var: 1195 LB: 0 @ 1062.1 1066.08 c Restart #46 #Var: 1195 LB: 0 @ 1065.8 1075.30 c Restart #47 #Var: 1195 LB: 0 @ 1075 1079.33 c Restart #48 #Var: 1195 LB: 0 @ 1079 1086.72 c Restart #49 #Var: 1195 LB: 0 @ 1086.4 1103.85 c Restart #50 #Var: 1195 LB: 0 @ 1103.5 1112.20 c Restart #51 #Var: 1195 LB: 0 @ 1111.9 1115.61 c Restart #52 #Var: 1195 LB: 0 @ 1115.3 1118.36 c Restart #53 #Var: 1195 LB: 0 @ 1118.1 1128.64 c Restart #54 #Var: 1195 LB: 0 @ 1128.3 1134.90 c Restart #55 #Var: 1195 LB: 0 @ 1134.6 1140.09 c Restart #56 #Var: 1195 LB: 0 @ 1139.8 1145.00 c Restart #57 #Var: 1195 LB: 0 @ 1144.7 1151.62 c Restart #58 #Var: 1195 LB: 0 @ 1151.3 1155.35 c Restart #59 #Var: 1195 LB: 0 @ 1155 1159.32 c Restart #60 #Var: 1195 LB: 0 @ 1159 1169.81 c Restart #61 #Var: 1195 LB: 0 @ 1169.5 1175.87 c Restart #62 #Var: 1195 LB: 0 @ 1175.5 1189.46 c Restart #63 #Var: 1195 LB: 0 @ 1189.1 1198.89 c Restart #64 #Var: 1195 LB: 0 @ 1198.6 1211.81 c Restart #65 #Var: 1195 LB: 0 @ 1211.5 1219.30 c Restart #66 #Var: 1195 LB: 0 @ 1219 1224.75 c Restart #67 #Var: 1195 LB: 0 @ 1224.4 1231.42 c Restart #68 #Var: 1195 LB: 0 @ 1231.1 1237.15 c Restart #69 #Var: 1195 LB: 0 @ 1236.8 1247.20 c Restart #70 #Var: 1194 LB: 0 @ 1246.9 1259.11 c Restart #71 #Var: 1194 LB: 0 @ 1258.8 1266.55 c Restart #72 #Var: 1194 LB: 0 @ 1266.2 1271.77 c Restart #73 #Var: 1194 LB: 0 @ 1271.4 1285.54 c Restart #74 #Var: 1194 LB: 0 @ 1285.2 1292.28 c Restart #75 #Var: 1194 LB: 0 @ 1291.9 1314.04 c Restart #76 #Var: 1194 LB: 0 @ 1313.7 1327.71 c Restart #77 #Var: 1194 LB: 0 @ 1327.3 1334.12 c Restart #78 #Var: 1194 LB: 0 @ 1333.8 1346.08 c Restart #79 #Var: 1194 LB: 0 @ 1345.7 1368.05 c Restart #80 #Var: 1194 LB: 0 @ 1367.7 1376.06 c Restart #81 #Var: 1194 LB: 0 @ 1375.7 1409.56 c Restart #82 #Var: 1194 LB: 0 @ 1409.2 1421.61 c Restart #83 #Var: 1194 LB: 0 @ 1421.2 1429.88 c Restart #84 #Var: 1194 LB: 0 @ 1429.5 1439.58 c Restart #85 #Var: 1194 LB: 0 @ 1439.2 1458.49 c Restart #86 #Var: 1194 LB: 0 @ 1458.1 1470.48 c Restart #87 #Var: 1194 LB: 0 @ 1470.1 1481.02 c Restart #88 #Var: 1194 LB: 0 @ 1480.6 1491.04 c Restart #89 #Var: 1194 LB: 0 @ 1490.6 1505.53 c Restart #90 #Var: 1194 LB: 0 @ 1505.1 1517.12 c Restart #91 #Var: 1194 LB: 0 @ 1516.7 1524.92 c Restart #92 #Var: 1194 LB: 0 @ 1524.5 1533.99 c Restart #93 #Var: 1194 LB: 0 @ 1533.6 1541.58 c Restart #94 #Var: 1194 LB: 0 @ 1541.2 1549.01 c Restart #95 #Var: 1194 LB: 0 @ 1548.6 1559.22 c Restart #96 #Var: 1194 LB: 0 @ 1558.8 1572.12 c Restart #97 #Var: 1194 LB: 0 @ 1571.7 1582.70 c Restart #98 #Var: 1194 LB: 0 @ 1582.3 1596.39 c Restart #99 #Var: 1194 LB: 0 @ 1596 1610.04 c Restart #100 #Var: 1194 LB: 0 @ 1609.6 1621.57 c Restart #101 #Var: 1194 LB: 0 @ 1621.1 1628.99 c Restart #102 #Var: 1194 LB: 0 @ 1628.5 1644.57 c Restart #103 #Var: 1194 LB: 0 @ 1644.1 1654.59 c Restart #104 #Var: 1194 LB: 0 @ 1654.1 1662.02 c Restart #105 #Var: 1194 LB: 0 @ 1661.6 1679.84 c Restart #106 #Var: 1194 LB: 0 @ 1679.4 1690.68 c Restart #107 #Var: 1194 LB: 0 @ 1690.2 1705.84 c Restart #108 #Var: 1194 LB: 0 @ 1705.4 1722.40 c Restart #109 #Var: 1194 LB: 0 @ 1721.9 1753.77 c Restart #110 #Var: 1194 LB: 0 @ 1753.3 1783.54 c Restart #111 #Var: 1194 LB: 0 @ 1783 1792.64 c Restart #112 #Var: 1194 LB: 0 @ 1792.1 1800.49 s UNKNOWN 1800.49 c Exit Code: 0 1800.49 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/node69/watcher-40732-1149314543 -o ROOT/results/node69/solver-40732-1149314543 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node69/40732-1149314543/instance-40732-1149314543.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.20 1.07 0.96 2/64 21575 /proc/meminfo: memFree=1787988/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=2900 CPUtime=0 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 43 0 0 0 0 0 0 0 18 0 1 0 197124282 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11952932 0 0 4096 0 0 0 0 17 1 0 0 /proc/21575/statm: 725 27 19 55 0 38 0 [startup+10.0015 s] /proc/loadavg: 1.17 1.06 0.96 2/64 21575 /proc/meminfo: memFree=1783524/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=8988 CPUtime=9.97 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 1523 0 0 0 994 3 0 0 25 0 1 0 197124282 9203712 1429 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 2247 1429 297 55 0 1139 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 8988 [startup+20.0073 s] /proc/loadavg: 1.14 1.06 0.96 2/64 21575 /proc/meminfo: memFree=1783332/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=9208 CPUtime=19.98 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 1573 0 0 0 1993 5 0 0 25 0 1 0 197124282 9428992 1479 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 2302 1479 297 55 0 1194 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 9208 [startup+30.0132 s] /proc/loadavg: 1.12 1.06 0.96 2/64 21575 /proc/meminfo: memFree=1783012/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=9344 CPUtime=29.98 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 1662 0 0 0 2992 6 0 0 25 0 1 0 197124282 9568256 1518 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 2336 1518 297 55 0 1228 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 9344 [startup+40.019 s] /proc/loadavg: 1.10 1.06 0.96 2/64 21575 /proc/meminfo: memFree=1782308/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=10228 CPUtime=39.99 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 2073 0 0 0 3992 7 0 0 25 0 1 0 197124282 10473472 1729 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 2557 1729 297 55 0 1449 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 10228 [startup+50.0259 s] /proc/loadavg: 1.09 1.05 0.96 2/64 21575 /proc/meminfo: memFree=1782308/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=10228 CPUtime=49.99 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 2073 0 0 0 4992 7 0 0 25 0 1 0 197124282 10473472 1729 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 2557 1729 297 55 0 1449 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 10228 [startup+60.0307 s] /proc/loadavg: 1.07 1.05 0.96 2/64 21575 /proc/meminfo: memFree=1782308/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=10228 CPUtime=59.99 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 2073 0 0 0 5991 8 0 0 25 0 1 0 197124282 10473472 1729 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 2557 1729 297 55 0 1449 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 10228 [startup+70.0366 s] /proc/loadavg: 1.06 1.05 0.96 2/64 21575 /proc/meminfo: memFree=1782308/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=10228 CPUtime=70 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 2073 0 0 0 6991 9 0 0 25 0 1 0 197124282 10473472 1729 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 2557 1729 297 55 0 1449 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 10228 [startup+80.0425 s] /proc/loadavg: 1.05 1.05 0.96 2/64 21575 /proc/meminfo: memFree=1782244/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=10228 CPUtime=80 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 2073 0 0 0 7990 10 0 0 25 0 1 0 197124282 10473472 1729 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 2557 1729 297 55 0 1449 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 10228 [startup+90.0483 s] /proc/loadavg: 1.04 1.05 0.96 2/64 21575 /proc/meminfo: memFree=1782308/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=10228 CPUtime=90 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 2073 0 0 0 8989 11 0 0 25 0 1 0 197124282 10473472 1729 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 2557 1729 297 55 0 1449 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 10228 [startup+100.054 s] /proc/loadavg: 1.04 1.04 0.96 2/64 21575 /proc/meminfo: memFree=1782308/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=10228 CPUtime=100.01 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 2073 0 0 0 9988 13 0 0 25 0 1 0 197124282 10473472 1729 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 2557 1729 297 55 0 1449 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 10228 [startup+110.06 s] /proc/loadavg: 1.03 1.04 0.96 2/64 21575 /proc/meminfo: memFree=1782308/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=10228 CPUtime=110.01 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 2073 0 0 0 10987 14 0 0 25 0 1 0 197124282 10473472 1729 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 2557 1729 297 55 0 1449 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 10228 [startup+120.065 s] /proc/loadavg: 1.02 1.04 0.96 2/64 21575 /proc/meminfo: memFree=1782308/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=10228 CPUtime=120.01 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 2073 0 0 0 11986 15 0 0 25 0 1 0 197124282 10473472 1729 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 2557 1729 297 55 0 1449 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 10228 [startup+130.07 s] /proc/loadavg: 1.02 1.04 0.96 2/64 21575 /proc/meminfo: memFree=1782052/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=10492 CPUtime=130.01 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 2131 0 0 0 12985 16 0 0 25 0 1 0 197124282 10743808 1787 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 2623 1787 297 55 0 1515 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 10492 [startup+140.076 s] /proc/loadavg: 1.02 1.04 0.96 2/64 21575 /proc/meminfo: memFree=1782116/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=10468 CPUtime=140.02 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 2131 0 0 0 13985 17 0 0 25 0 1 0 197124282 10719232 1787 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 2617 1787 297 55 0 1509 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 10468 [startup+150.081 s] /proc/loadavg: 1.01 1.04 0.96 2/64 21575 /proc/meminfo: memFree=1782116/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=10468 CPUtime=150.02 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 2131 0 0 0 14984 18 0 0 25 0 1 0 197124282 10719232 1787 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 2617 1787 297 55 0 1509 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 10468 [startup+160.087 s] /proc/loadavg: 1.01 1.03 0.96 2/64 21575 /proc/meminfo: memFree=1782052/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=10468 CPUtime=160.02 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 2138 0 0 0 15983 19 0 0 25 0 1 0 197124282 10719232 1794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534903 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 2617 1794 297 55 0 1509 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 10468 [startup+170.094 s] /proc/loadavg: 1.01 1.03 0.96 2/64 21575 /proc/meminfo: memFree=1782052/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=10468 CPUtime=170.03 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 2138 0 0 0 16983 20 0 0 25 0 1 0 197124282 10719232 1794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 2617 1794 297 55 0 1509 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 10468 [startup+180.099 s] /proc/loadavg: 1.01 1.03 0.96 2/64 21575 /proc/meminfo: memFree=1781284/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=11260 CPUtime=180.03 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 2334 0 0 0 17982 21 0 0 25 0 1 0 197124282 11530240 1990 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12070004 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 2815 1990 297 55 0 1707 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 11260 [startup+190.105 s] /proc/loadavg: 1.01 1.03 0.96 2/64 21575 /proc/meminfo: memFree=1781220/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=11260 CPUtime=190.03 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 2334 0 0 0 18982 21 0 0 25 0 1 0 197124282 11530240 1990 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 2815 1990 297 55 0 1707 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 11260 [startup+200.111 s] /proc/loadavg: 1.00 1.03 0.96 2/64 21575 /proc/meminfo: memFree=1781220/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=11260 CPUtime=200.04 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 2334 0 0 0 19982 22 0 0 25 0 1 0 197124282 11530240 1990 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 2815 1990 297 55 0 1707 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 11260 [startup+210.117 s] /proc/loadavg: 1.00 1.03 0.96 2/64 21575 /proc/meminfo: memFree=1781284/2055920 swapFree=4182216/4192956 ################ # More data... # ################ /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1760.52 Current children cumulated vsize (Kb) 13544 [startup+1771.02 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778916/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1770.53 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 176922 131 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548247 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1770.53 Current children cumulated vsize (Kb) 13544 [startup+1781.03 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778916/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1780.53 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 177922 131 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1780.53 Current children cumulated vsize (Kb) 13544 [startup+1782.03 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778916/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1781.54 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 178023 131 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 13544 [startup+1783.04 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778916/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1782.54 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 178123 131 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (Kb) 13544 [startup+1784.05 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778916/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1783.55 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 178224 131 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134601121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 13544 [startup+1785.05 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778916/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1784.55 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 178324 131 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 13544 [startup+1786.06 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778916/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1785.55 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 178424 131 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12386883 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 13544 [startup+1787.06 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778916/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1786.56 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 178525 131 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 13544 [startup+1788.07 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778916/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1787.57 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 178625 132 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 13544 [startup+1789.07 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778916/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1788.58 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 178726 132 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 13544 [startup+1790.07 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778916/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1789.58 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 178826 132 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 13544 [startup+1791.08 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778916/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1790.58 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 178926 132 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 13544 [startup+1792.08 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778852/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1791.59 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 179027 132 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 13544 [startup+1793.09 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778852/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1792.59 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 179127 132 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718920 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 13544 [startup+1794.09 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778852/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1793.6 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 179228 132 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 13544 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778852/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1794.6 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 179328 132 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 13544 [startup+1796.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778852/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1795.6 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 179428 132 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (Kb) 13544 [startup+1797.11 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778852/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1796.61 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 179529 132 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 13544 [startup+1798.11 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778852/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1797.61 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 179629 132 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 13544 [startup+1799.12 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778852/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1798.62 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 179730 132 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606487 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 13544 [startup+1800.12 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21575 /proc/meminfo: memFree=1778852/2055920 swapFree=4182216/4192956 [pid=21575] ppid=21573 vsize=13544 CPUtime=1799.62 /proc/21575/stat : 21575 (bsolo) R 21573 21575 21529 0 -1 0 3000 0 0 0 179830 132 0 0 25 0 1 0 197124282 13869056 2568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21575/statm: 3386 2568 297 55 0 2278 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 13544 Child status: 0 Real time (s): 1800.5 CPU time (s): 1800.01 CPU user time (s): 1798.68 CPU system time (s): 1.3268 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (Kb): 13596
Begin job on node69 on Sat Jun 3 06:02:23 UTC 2006 FILE ID= 40732-1149314543 PBS_JOBID= 308240 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc05.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node69/40732-1149314543/instance-40732-1149314543.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-40732-1149314543 -o ROOT/results/node69/solver-40732-1149314543 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node69/40732-1149314543/instance-40732-1149314543.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 4e6161a7dc803af1e0ad1878eef0a0d1 RANDOM SEED= 154399345 /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.232 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.232 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: 1788196 kB Buffers: 28252 kB Cached: 169404 kB SwapCached: 2468 kB Active: 72072 kB Inactive: 134396 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1788196 kB SwapTotal: 4192956 kB SwapFree: 4182216 kB Dirty: 160 kB Writeback: 0 kB Mapped: 15444 kB Slab: 47192 kB Committed_AS: 332772 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node69 on Sat Jun 3 06:32:23 UTC 2006