Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1800.71 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb |
MD5SUM | 63dafaa5a785f38064ac19ced11339d2 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.018996 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2520 |
Total number of constraints | 142 |
Number of constraints which are clauses | 72 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 35 |
Maximum length of a constraint | 36 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 37 |
Number of bits of the biggest sum of numbers | 6 |
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.06 c Initial problem consists of 2520 variables and 142 constraints. 0.06 c Using non-optimization problem switches. 0.06 c No problem reductions applied in OPT. instance. 0.06 c preprocess terminated. Elapsed time: 0.034 0.06 c After prepocess the problem consists of 2520 variables and 142 constraints. 0.08 c Restart #1 #Var: 2520 LB: 0 @ 0.056 0.13 c Restart #2 #Var: 2520 LB: 0 @ 0.099 0.22 c Restart #3 #Var: 2520 LB: 0 @ 0.189 0.34 c Restart #4 #Var: 2520 LB: 0 @ 0.311 0.51 c Restart #5 #Var: 2520 LB: 0 @ 0.48 0.70 c Restart #6 #Var: 2520 LB: 0 @ 0.672 0.95 c Restart #7 #Var: 2520 LB: 0 @ 0.92 1.22 c Restart #8 #Var: 2520 LB: 0 @ 1.195 1.52 c Restart #9 #Var: 2520 LB: 0 @ 1.495 1.87 c Restart #10 #Var: 2520 LB: 0 @ 1.839 2.24 c Restart #11 #Var: 2520 LB: 0 @ 2.209 2.65 c Restart #12 #Var: 2520 LB: 0 @ 2.618 3.09 c Restart #13 #Var: 2520 LB: 0 @ 3.065 3.56 c Restart #14 #Var: 2520 LB: 0 @ 3.532 4.07 c Restart #15 #Var: 2520 LB: 0 @ 4.041 4.61 c Restart #16 #Var: 2520 LB: 0 @ 4.578 5.20 c Restart #17 #Var: 2520 LB: 0 @ 5.167 5.83 c Restart #18 #Var: 2520 LB: 0 @ 5.803 6.49 c Restart #19 #Var: 2520 LB: 0 @ 6.458 7.26 c Restart #20 #Var: 2520 LB: 0 @ 7.228 8.11 c Restart #21 #Var: 2520 LB: 0 @ 8.074 8.93 c Restart #22 #Var: 2520 LB: 0 @ 8.899 9.78 c Restart #23 #Var: 2520 LB: 0 @ 9.745 10.76 c Restart #24 #Var: 2520 LB: 0 @ 10.728 11.80 c Restart #25 #Var: 2520 LB: 0 @ 11.765 13.21 c Restart #26 #Var: 2520 LB: 0 @ 13.17 14.91 c Restart #27 #Var: 2520 LB: 0 @ 14.878 16.26 c Restart #28 #Var: 2520 LB: 0 @ 16.227 17.51 c Restart #29 #Var: 2520 LB: 0 @ 17.477 18.82 c Restart #30 #Var: 2520 LB: 0 @ 18.783 20.17 c Restart #31 #Var: 2520 LB: 0 @ 20.134 21.67 c Restart #32 #Var: 2520 LB: 0 @ 21.626 23.24 c Restart #33 #Var: 2520 LB: 0 @ 23.202 24.97 c Restart #34 #Var: 2520 LB: 0 @ 24.935 26.51 c Restart #35 #Var: 2520 LB: 0 @ 26.468 28.11 c Restart #36 #Var: 2520 LB: 0 @ 28.064 29.79 c Restart #37 #Var: 2520 LB: 0 @ 29.745 31.50 c Restart #38 #Var: 2520 LB: 0 @ 31.46 33.27 c Restart #39 #Var: 2520 LB: 0 @ 33.222 35.18 c Restart #40 #Var: 2520 LB: 0 @ 35.139 37.31 c Restart #41 #Var: 2520 LB: 0 @ 37.262 39.28 c Restart #42 #Var: 2520 LB: 0 @ 39.23 41.53 c Restart #43 #Var: 2520 LB: 0 @ 41.483 43.63 c Restart #44 #Var: 2520 LB: 0 @ 43.584 45.74 c Restart #45 #Var: 2520 LB: 0 @ 45.693 48.12 c Restart #46 #Var: 2520 LB: 0 @ 48.074 50.36 c Restart #47 #Var: 2520 LB: 0 @ 50.313 52.67 c Restart #48 #Var: 2520 LB: 0 @ 52.622 55.13 c Restart #49 #Var: 2520 LB: 0 @ 55.079 57.59 c Restart #50 #Var: 2520 LB: 0 @ 57.535 60.21 c Restart #51 #Var: 2520 LB: 0 @ 60.154 62.88 c Restart #52 #Var: 2520 LB: 0 @ 62.823 65.55 c Restart #53 #Var: 2520 LB: 0 @ 65.498 68.36 c Restart #54 #Var: 2520 LB: 0 @ 68.303 71.19 c Restart #55 #Var: 2520 LB: 0 @ 71.131 74.20 c Restart #56 #Var: 2520 LB: 0 @ 74.142 77.26 c Restart #57 #Var: 2520 LB: 0 @ 77.202 80.55 c Restart #58 #Var: 2520 LB: 0 @ 80.489 84.02 c Restart #59 #Var: 2520 LB: 0 @ 83.96 87.36 c Restart #60 #Var: 2520 LB: 0 @ 87.3 90.82 c Restart #61 #Var: 2520 LB: 0 @ 90.758 94.41 c Restart #62 #Var: 2520 LB: 0 @ 94.344 97.95 c Restart #63 #Var: 2520 LB: 0 @ 97.88 101.73 c Restart #64 #Var: 2520 LB: 0 @ 101.66 105.34 c Restart #65 #Var: 2520 LB: 0 @ 105.27 109.20 c Restart #66 #Var: 2520 LB: 0 @ 109.13 112.95 c Restart #67 #Var: 2520 LB: 0 @ 112.88 116.91 c Restart #68 #Var: 2520 LB: 0 @ 116.83 121.23 c Restart #69 #Var: 2520 LB: 0 @ 121.15 125.54 c Restart #70 #Var: 2520 LB: 0 @ 125.46 129.50 c Restart #71 #Var: 2520 LB: 0 @ 129.42 133.88 c Restart #72 #Var: 2520 LB: 0 @ 133.8 138.15 c Restart #73 #Var: 2520 LB: 0 @ 138.07 142.78 c Restart #74 #Var: 2520 LB: 0 @ 142.69 147.38 c Restart #75 #Var: 2520 LB: 0 @ 147.29 151.88 c Restart #76 #Var: 2520 LB: 0 @ 151.79 156.68 c Restart #77 #Var: 2520 LB: 0 @ 156.59 161.86 c Restart #78 #Var: 2520 LB: 0 @ 161.77 166.66 c Restart #79 #Var: 2520 LB: 0 @ 166.56 171.47 c Restart #80 #Var: 2520 LB: 0 @ 171.37 176.64 c Restart #81 #Var: 2520 LB: 0 @ 176.54 182.29 c Restart #82 #Var: 2520 LB: 0 @ 182.19 187.74 c Restart #83 #Var: 2520 LB: 0 @ 187.64 193.58 c Restart #84 #Var: 2520 LB: 0 @ 193.47 198.98 c Restart #85 #Var: 2520 LB: 0 @ 198.87 205.12 c Restart #86 #Var: 2520 LB: 0 @ 205.01 210.65 c Restart #87 #Var: 2520 LB: 0 @ 210.54 216.31 c Restart #88 #Var: 2520 LB: 0 @ 216.2 223.09 c Restart #89 #Var: 2520 LB: 0 @ 222.98 229.57 c Restart #90 #Var: 2520 LB: 0 @ 229.45 235.99 c Restart #91 #Var: 2520 LB: 0 @ 235.88 242.90 c Restart #92 #Var: 2520 LB: 0 @ 242.78 249.44 c Restart #93 #Var: 2520 LB: 0 @ 249.31 256.37 c Restart #94 #Var: 2520 LB: 0 @ 256.24 264.43 c Restart #95 #Var: 2520 LB: 0 @ 264.3 271.94 c Restart #96 #Var: 2520 LB: 0 @ 271.81 279.58 c Restart #97 #Var: 2520 LB: 0 @ 279.45 287.29 c Restart #98 #Var: 2520 LB: 0 @ 287.15 295.36 c Restart #99 #Var: 2520 LB: 0 @ 295.22 303.49 c Restart #100 #Var: 2520 LB: 0 @ 303.35 311.23 c Restart #101 #Var: 2520 LB: 0 @ 311.08 319.83 c Restart #102 #Var: 2520 LB: 0 @ 319.68 327.72 c Restart #103 #Var: 2520 LB: 0 @ 327.56 336.94 c Restart #104 #Var: 2520 LB: 0 @ 336.78 345.76 c Restart #105 #Var: 2520 LB: 0 @ 345.6 354.15 c Restart #106 #Var: 2520 LB: 0 @ 353.98 362.61 c Restart #107 #Var: 2520 LB: 0 @ 362.44 372.00 c Restart #108 #Var: 2520 LB: 0 @ 371.83 381.78 c Restart #109 #Var: 2520 LB: 0 @ 381.61 390.78 c Restart #110 #Var: 2520 LB: 0 @ 390.6 402.87 c Restart #111 #Var: 2520 LB: 0 @ 402.69 412.57 c Restart #112 #Var: 2520 LB: 0 @ 412.38 422.36 c Restart #113 #Var: 2520 LB: 0 @ 422.17 432.56 c Restart #114 #Var: 2520 LB: 0 @ 432.37 442.76 c Restart #115 #Var: 2520 LB: 0 @ 442.57 453.06 c Restart #116 #Var: 2520 LB: 0 @ 452.86 463.99 c Restart #117 #Var: 2520 LB: 0 @ 463.79 474.55 c Restart #118 #Var: 2520 LB: 0 @ 474.35 485.32 c Restart #119 #Var: 2520 LB: 0 @ 485.11 498.26 c Restart #120 #Var: 2520 LB: 0 @ 498.04 510.17 c Restart #121 #Var: 2520 LB: 0 @ 509.95 523.01 c Restart #122 #Var: 2520 LB: 0 @ 522.78 536.03 c Restart #123 #Var: 2520 LB: 0 @ 535.79 550.05 c Restart #124 #Var: 2520 LB: 0 @ 549.82 563.35 c Restart #125 #Var: 2520 LB: 0 @ 563.11 576.46 c Restart #126 #Var: 2520 LB: 0 @ 576.22 590.18 c Restart #127 #Var: 2520 LB: 0 @ 589.93 604.16 c Restart #128 #Var: 2520 LB: 0 @ 603.91 618.23 c Restart #129 #Var: 2520 LB: 0 @ 617.97 632.49 c Restart #130 #Var: 2520 LB: 0 @ 632.23 646.47 c Restart #131 #Var: 2520 LB: 0 @ 646.2 661.52 c Restart #132 #Var: 2520 LB: 0 @ 661.24 675.61 c Restart #133 #Var: 2520 LB: 0 @ 675.33 689.94 c Restart #134 #Var: 2520 LB: 0 @ 689.65 704.57 c Restart #135 #Var: 2520 LB: 0 @ 704.27 719.57 c Restart #136 #Var: 2520 LB: 0 @ 719.27 735.33 c Restart #137 #Var: 2520 LB: 0 @ 735.02 750.92 c Restart #138 #Var: 2520 LB: 0 @ 750.61 766.41 c Restart #139 #Var: 2520 LB: 0 @ 766.09 782.44 c Restart #140 #Var: 2520 LB: 0 @ 782.12 797.50 c Restart #141 #Var: 2520 LB: 0 @ 797.18 813.43 c Restart #142 #Var: 2520 LB: 0 @ 813.09 830.07 c Restart #143 #Var: 2520 LB: 0 @ 829.73 846.27 c Restart #144 #Var: 2520 LB: 0 @ 845.93 863.07 c Restart #145 #Var: 2520 LB: 0 @ 862.72 879.86 c Restart #146 #Var: 2520 LB: 0 @ 879.5 897.11 c Restart #147 #Var: 2520 LB: 0 @ 896.75 913.79 c CHANGE Heuristic... 913.79 c Restart #0 #Var: 2520 LB: 0 @ 913.42 913.83 c Restart #1 #Var: 2520 LB: 0 @ 913.46 913.93 c Restart #2 #Var: 2520 LB: 0 @ 913.56 914.11 c Restart #3 #Var: 2520 LB: 0 @ 913.74 914.34 c Restart #4 #Var: 2520 LB: 0 @ 913.97 914.65 c Restart #5 #Var: 2520 LB: 0 @ 914.28 915.02 c Restart #6 #Var: 2520 LB: 0 @ 914.65 915.63 c Restart #7 #Var: 2520 LB: 0 @ 915.26 916.32 c Restart #8 #Var: 2520 LB: 0 @ 915.95 917.06 c Restart #9 #Var: 2520 LB: 0 @ 916.69 917.97 c Restart #10 #Var: 2520 LB: 0 @ 917.6 918.94 c Restart #11 #Var: 2520 LB: 0 @ 918.57 920.13 c Restart #12 #Var: 2520 LB: 0 @ 919.76 921.20 c Restart #13 #Var: 2520 LB: 0 @ 920.82 922.83 c Restart #14 #Var: 2520 LB: 0 @ 922.46 924.20 c Restart #15 #Var: 2520 LB: 0 @ 923.82 925.63 c Restart #16 #Var: 2520 LB: 0 @ 925.26 927.25 c Restart #17 #Var: 2520 LB: 0 @ 926.88 929.04 c Restart #18 #Var: 2520 LB: 0 @ 928.66 930.87 c Restart #19 #Var: 2520 LB: 0 @ 930.5 932.67 c Restart #20 #Var: 2520 LB: 0 @ 932.29 934.81 c Restart #21 #Var: 2520 LB: 0 @ 934.43 936.86 c Restart #22 #Var: 2520 LB: 0 @ 936.48 939.46 c Restart #23 #Var: 2520 LB: 0 @ 939.08 941.46 c Restart #24 #Var: 2520 LB: 0 @ 941.08 943.74 c Restart #25 #Var: 2520 LB: 0 @ 943.36 946.47 c Restart #26 #Var: 2520 LB: 0 @ 946.09 949.27 c Restart #27 #Var: 2520 LB: 0 @ 948.89 952.28 c Restart #28 #Var: 2520 LB: 0 @ 951.9 955.02 c Restart #29 #Var: 2520 LB: 0 @ 954.63 958.25 c Restart #30 #Var: 2520 LB: 0 @ 957.86 961.16 c Restart #31 #Var: 2520 LB: 0 @ 960.78 964.45 c Restart #32 #Var: 2520 LB: 0 @ 964.06 967.54 c Restart #33 #Var: 2520 LB: 0 @ 967.15 970.76 c Restart #34 #Var: 2520 LB: 0 @ 970.37 973.79 c Restart #35 #Var: 2520 LB: 0 @ 973.4 977.32 c Restart #36 #Var: 2520 LB: 0 @ 976.93 981.07 c Restart #37 #Var: 2520 LB: 0 @ 980.68 984.85 c Restart #38 #Var: 2520 LB: 0 @ 984.45 988.65 c Restart #39 #Var: 2520 LB: 0 @ 988.26 992.65 c Restart #40 #Var: 2520 LB: 0 @ 992.26 996.28 c Restart #41 #Var: 2520 LB: 0 @ 995.88 1000.55 c Restart #42 #Var: 2520 LB: 0 @ 1000.1 1004.28 c Restart #43 #Var: 2520 LB: 0 @ 1003.9 1008.55 c Restart #44 #Var: 2520 LB: 0 @ 1008.1 1012.54 c Restart #45 #Var: 2520 LB: 0 @ 1012.1 1016.95 c Restart #46 #Var: 2520 LB: 0 @ 1016.5 1021.21 c Restart #47 #Var: 2520 LB: 0 @ 1020.8 1026.19 c Restart #48 #Var: 2520 LB: 0 @ 1025.8 1031.24 c Restart #49 #Var: 2520 LB: 0 @ 1030.8 1035.84 c Restart #50 #Var: 2520 LB: 0 @ 1035.4 1041.19 c Restart #51 #Var: 2520 LB: 0 @ 1040.8 1045.99 c Restart #52 #Var: 2520 LB: 0 @ 1045.6 1051.27 c Restart #53 #Var: 2520 LB: 0 @ 1050.9 1056.41 c Restart #54 #Var: 2520 LB: 0 @ 1056 1061.54 c Restart #55 #Var: 2520 LB: 0 @ 1061.1 1067.37 c Restart #56 #Var: 2520 LB: 0 @ 1066.9 1071.87 c Restart #57 #Var: 2520 LB: 0 @ 1071.4 1077.61 c Restart #58 #Var: 2520 LB: 0 @ 1077.2 1084.38 c Restart #59 #Var: 2520 LB: 0 @ 1083.9 1090.10 c Restart #60 #Var: 2520 LB: 0 @ 1089.7 1096.64 c Restart #61 #Var: 2520 LB: 0 @ 1096.2 1102.75 c Restart #62 #Var: 2520 LB: 0 @ 1102.3 1109.34 c Restart #63 #Var: 2520 LB: 0 @ 1108.9 1116.00 c Restart #64 #Var: 2520 LB: 0 @ 1115.6 1123.40 c Restart #65 #Var: 2520 LB: 0 @ 1123 1130.75 c Restart #66 #Var: 2520 LB: 0 @ 1130.3 1137.91 c Restart #67 #Var: 2520 LB: 0 @ 1137.5 1146.04 c Restart #68 #Var: 2520 LB: 0 @ 1145.6 1153.79 c Restart #69 #Var: 2520 LB: 0 @ 1153.3 1161.78 c Restart #70 #Var: 2520 LB: 0 @ 1161.3 1170.19 c Restart #71 #Var: 2520 LB: 0 @ 1169.7 1177.85 c Restart #72 #Var: 2520 LB: 0 @ 1177.4 1186.62 c Restart #73 #Var: 2520 LB: 0 @ 1186.2 1195.10 c Restart #74 #Var: 2520 LB: 0 @ 1194.6 1203.61 c Restart #75 #Var: 2520 LB: 0 @ 1203.1 1212.89 c Restart #76 #Var: 2520 LB: 0 @ 1212.4 1222.02 c Restart #77 #Var: 2520 LB: 0 @ 1221.5 1230.44 c Restart #78 #Var: 2520 LB: 0 @ 1230 1240.13 c Restart #79 #Var: 2520 LB: 0 @ 1239.6 1250.41 c Restart #80 #Var: 2520 LB: 0 @ 1249.9 1262.01 c Restart #81 #Var: 2520 LB: 0 @ 1261.5 1271.31 c Restart #82 #Var: 2520 LB: 0 @ 1270.8 1280.97 c Restart #83 #Var: 2520 LB: 0 @ 1280.5 1290.83 c Restart #84 #Var: 2520 LB: 0 @ 1290.3 1301.34 c Restart #85 #Var: 2520 LB: 0 @ 1300.8 1312.49 c Restart #86 #Var: 2520 LB: 0 @ 1312 1324.77 c Restart #87 #Var: 2520 LB: 0 @ 1324.2 1336.09 c Restart #88 #Var: 2520 LB: 0 @ 1335.6 1348.11 c Restart #89 #Var: 2520 LB: 0 @ 1347.6 1360.50 c Restart #90 #Var: 2520 LB: 0 @ 1360 1371.87 c Restart #91 #Var: 2520 LB: 0 @ 1371.3 1384.42 c Restart #92 #Var: 2520 LB: 0 @ 1383.9 1395.70 c Restart #93 #Var: 2520 LB: 0 @ 1395.2 1407.52 c Restart #94 #Var: 2520 LB: 0 @ 1407 1421.99 c Restart #95 #Var: 2520 LB: 0 @ 1421.4 1434.20 c Restart #96 #Var: 2520 LB: 0 @ 1433.6 1446.16 c Restart #97 #Var: 2520 LB: 0 @ 1445.6 1457.70 c Restart #98 #Var: 2520 LB: 0 @ 1457.1 1470.61 c Restart #99 #Var: 2520 LB: 0 @ 1470 1483.42 c Restart #100 #Var: 2520 LB: 0 @ 1482.8 1495.58 c Restart #101 #Var: 2520 LB: 0 @ 1495 1508.68 c Restart #102 #Var: 2520 LB: 0 @ 1508.1 1524.12 c Restart #103 #Var: 2520 LB: 0 @ 1523.5 1537.92 c Restart #104 #Var: 2520 LB: 0 @ 1537.3 1551.71 c Restart #105 #Var: 2520 LB: 0 @ 1551.1 1567.74 c Restart #106 #Var: 2520 LB: 0 @ 1567.1 1580.87 c Restart #107 #Var: 2520 LB: 0 @ 1580.3 1595.32 c Restart #108 #Var: 2520 LB: 0 @ 1594.7 1609.21 c Restart #109 #Var: 2520 LB: 0 @ 1608.6 1622.89 c Restart #110 #Var: 2520 LB: 0 @ 1622.3 1637.39 c Restart #111 #Var: 2520 LB: 0 @ 1636.8 1651.59 c Restart #112 #Var: 2520 LB: 0 @ 1650.9 1665.38 c Restart #113 #Var: 2520 LB: 0 @ 1664.7 1681.21 c Restart #114 #Var: 2520 LB: 0 @ 1680.6 1695.46 c Restart #115 #Var: 2520 LB: 0 @ 1694.8 1709.83 c Restart #116 #Var: 2520 LB: 0 @ 1709.2 1725.70 c Restart #117 #Var: 2520 LB: 0 @ 1725 1740.83 c Restart #118 #Var: 2520 LB: 0 @ 1740.1 1758.12 c Restart #119 #Var: 2520 LB: 0 @ 1757.4 1774.62 c Restart #120 #Var: 2520 LB: 0 @ 1773.9 1790.92 c Restart #121 #Var: 2520 LB: 0 @ 1790.2 1800.70 s UNKNOWN 1800.70 c Exit Code: 0 1800.70 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/node5/watcher-39674-1149232037 -o ROOT/results/node5/solver-39674-1149232037 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node5/39674-1149232037/instance-39674-1149232037.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1380504/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=4928 CPUtime=0 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 326 0 0 0 0 0 0 0 19 0 1 0 188807367 5046272 293 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158372240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 1232 299 201 55 0 124 0 [startup+10.0023 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1374168/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=10884 CPUtime=9.96 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 1983 0 0 0 993 3 0 0 25 0 1 0 188807367 11145216 1898 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534944 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 2721 1898 296 55 0 1613 0 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 10884 [startup+20.0082 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1373400/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=11752 CPUtime=19.96 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 2174 0 0 0 1991 5 0 0 25 0 1 0 188807367 12034048 2089 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528623 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 2938 2089 296 55 0 1830 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 11752 [startup+30.0141 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1372632/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=12468 CPUtime=29.97 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 2366 0 0 0 2990 7 0 0 25 0 1 0 188807367 12767232 2281 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 3117 2281 296 55 0 2009 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 12468 [startup+40.0201 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1372312/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=12732 CPUtime=39.96 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 2443 0 0 0 3988 8 0 0 25 0 1 0 188807367 13037568 2358 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 3183 2358 296 55 0 2075 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 12732 [startup+50.026 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1372184/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=12956 CPUtime=49.96 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 2477 0 0 0 4986 10 0 0 25 0 1 0 188807367 13266944 2392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 3239 2392 296 55 0 2131 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 12956 [startup+60.032 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1372120/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=13088 CPUtime=59.97 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 2512 0 0 0 5985 12 0 0 25 0 1 0 188807367 13402112 2427 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 3272 2427 296 55 0 2164 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 13088 [startup+70.0379 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1372056/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=13088 CPUtime=69.97 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 2529 0 0 0 6983 14 0 0 25 0 1 0 188807367 13402112 2444 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 3272 2444 296 55 0 2164 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 13088 [startup+80.0439 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1371928/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=13220 CPUtime=79.98 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 2558 0 0 0 7981 17 0 0 25 0 1 0 188807367 13537280 2473 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604185 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 3305 2473 296 55 0 2197 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 13220 [startup+90.0498 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1371736/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=13340 CPUtime=89.98 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 2593 0 0 0 8980 18 0 0 25 0 1 0 188807367 13660160 2508 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 3335 2508 296 55 0 2227 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 13340 [startup+100.056 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1371672/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=13472 CPUtime=99.98 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 2605 0 0 0 9978 20 0 0 25 0 1 0 188807367 13795328 2520 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 3368 2520 296 55 0 2260 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 13472 [startup+110.062 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1371608/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=13472 CPUtime=109.98 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 2626 0 0 0 10976 22 0 0 25 0 1 0 188807367 13795328 2541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 3368 2541 296 55 0 2260 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 13472 [startup+120.068 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1371544/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=13604 CPUtime=119.98 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 2643 0 0 0 11974 24 0 0 25 0 1 0 188807367 13930496 2558 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 3401 2558 296 55 0 2293 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 13604 [startup+130.074 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1371352/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=13736 CPUtime=129.98 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 2683 0 0 0 12972 26 0 0 25 0 1 0 188807367 14065664 2598 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 3434 2598 296 55 0 2326 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 13736 [startup+140.08 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1371160/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=13984 CPUtime=139.99 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 2738 0 0 0 13971 28 0 0 25 0 1 0 188807367 14319616 2653 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 3496 2653 296 55 0 2388 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 13984 [startup+150.085 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1371032/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=14104 CPUtime=149.99 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 2775 0 0 0 14969 30 0 0 25 0 1 0 188807367 14442496 2690 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548621 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 3526 2690 296 55 0 2418 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 14104 [startup+160.091 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1370904/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=14228 CPUtime=159.99 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 2810 0 0 0 15967 32 0 0 25 0 1 0 188807367 14569472 2725 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548722 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 3557 2725 296 55 0 2449 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 14228 [startup+170.098 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1370776/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=14360 CPUtime=169.99 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 2844 0 0 0 16966 33 0 0 25 0 1 0 188807367 14704640 2759 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 3590 2759 296 55 0 2482 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 14360 [startup+180.105 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1370712/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=14492 CPUtime=180 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 2871 0 0 0 17965 35 0 0 25 0 1 0 188807367 14839808 2786 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 3623 2786 296 55 0 2515 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 14492 [startup+190.111 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1370776/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=14492 CPUtime=190 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 2874 0 0 0 18963 37 0 0 25 0 1 0 188807367 14839808 2789 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550548 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 3623 2789 296 55 0 2515 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 14492 [startup+200.117 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1370648/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=14624 CPUtime=200 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 2906 0 0 0 19962 38 0 0 25 0 1 0 188807367 14974976 2821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 3656 2821 296 55 0 2548 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 14624 [startup+210.124 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1370456/2055920 swapFree=4180912/4192956 ################ # More data... # ################ /proc/23241/statm: 8514 7674 296 55 0 7406 0 Current children cumulated CPU time (s) 1760.36 Current children cumulated vsize (Kb) 34056 [startup+1771.07 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350944/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34056 CPUtime=1770.37 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7763 0 0 0 176756 281 0 0 25 0 1 0 188807367 34873344 7678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8514 7678 296 55 0 7406 0 Current children cumulated CPU time (s) 1770.37 Current children cumulated vsize (Kb) 34056 [startup+1781.08 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350944/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34056 CPUtime=1780.37 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7763 0 0 0 177755 282 0 0 25 0 1 0 188807367 34873344 7678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8514 7678 296 55 0 7406 0 Current children cumulated CPU time (s) 1780.37 Current children cumulated vsize (Kb) 34056 [startup+1782.08 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350944/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34056 CPUtime=1781.37 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7763 0 0 0 177855 282 0 0 25 0 1 0 188807367 34873344 7678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8514 7678 296 55 0 7406 0 Current children cumulated CPU time (s) 1781.37 Current children cumulated vsize (Kb) 34056 [startup+1783.09 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350944/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34056 CPUtime=1782.38 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7763 0 0 0 177956 282 0 0 25 0 1 0 188807367 34873344 7678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8514 7678 296 55 0 7406 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (Kb) 34056 [startup+1784.09 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350944/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34056 CPUtime=1783.39 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7764 0 0 0 178056 283 0 0 25 0 1 0 188807367 34873344 7679 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8514 7679 296 55 0 7406 0 Current children cumulated CPU time (s) 1783.39 Current children cumulated vsize (Kb) 34056 [startup+1785.1 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350880/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34056 CPUtime=1784.4 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7774 0 0 0 178157 283 0 0 25 0 1 0 188807367 34873344 7689 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8514 7689 296 55 0 7406 0 Current children cumulated CPU time (s) 1784.4 Current children cumulated vsize (Kb) 34056 [startup+1786.1 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350880/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34056 CPUtime=1785.4 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7776 0 0 0 178257 283 0 0 25 0 1 0 188807367 34873344 7691 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8514 7691 296 55 0 7406 0 Current children cumulated CPU time (s) 1785.4 Current children cumulated vsize (Kb) 34056 [startup+1787.11 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350880/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34188 CPUtime=1786.4 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7779 0 0 0 178357 283 0 0 25 0 1 0 188807367 35008512 7694 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8547 7694 296 55 0 7439 0 Current children cumulated CPU time (s) 1786.4 Current children cumulated vsize (Kb) 34188 [startup+1788.11 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350880/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34188 CPUtime=1787.41 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7780 0 0 0 178458 283 0 0 25 0 1 0 188807367 35008512 7695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8547 7695 296 55 0 7439 0 Current children cumulated CPU time (s) 1787.41 Current children cumulated vsize (Kb) 34188 [startup+1789.12 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350880/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34188 CPUtime=1788.41 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7780 0 0 0 178558 283 0 0 25 0 1 0 188807367 35008512 7695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8547 7695 296 55 0 7439 0 Current children cumulated CPU time (s) 1788.41 Current children cumulated vsize (Kb) 34188 [startup+1790.12 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350880/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34188 CPUtime=1789.41 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7780 0 0 0 178658 283 0 0 25 0 1 0 188807367 35008512 7695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8547 7695 296 55 0 7439 0 Current children cumulated CPU time (s) 1789.41 Current children cumulated vsize (Kb) 34188 [startup+1791.13 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350880/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34188 CPUtime=1790.42 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7780 0 0 0 178759 283 0 0 25 0 1 0 188807367 35008512 7695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8547 7695 296 55 0 7439 0 Current children cumulated CPU time (s) 1790.42 Current children cumulated vsize (Kb) 34188 [startup+1792.13 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350880/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34188 CPUtime=1791.42 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7780 0 0 0 178859 283 0 0 25 0 1 0 188807367 35008512 7695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8547 7695 296 55 0 7439 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (Kb) 34188 [startup+1793.14 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350880/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34188 CPUtime=1792.42 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7780 0 0 0 178959 283 0 0 25 0 1 0 188807367 35008512 7695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8547 7695 296 55 0 7439 0 Current children cumulated CPU time (s) 1792.42 Current children cumulated vsize (Kb) 34188 [startup+1794.14 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350880/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34188 CPUtime=1793.43 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7780 0 0 0 179060 283 0 0 25 0 1 0 188807367 35008512 7695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8547 7695 296 55 0 7439 0 Current children cumulated CPU time (s) 1793.43 Current children cumulated vsize (Kb) 34188 [startup+1795.15 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350880/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34188 CPUtime=1794.43 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7780 0 0 0 179160 283 0 0 25 0 1 0 188807367 35008512 7695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8547 7695 296 55 0 7439 0 Current children cumulated CPU time (s) 1794.43 Current children cumulated vsize (Kb) 34188 [startup+1796.15 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350880/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34188 CPUtime=1795.45 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7780 0 0 0 179261 284 0 0 25 0 1 0 188807367 35008512 7695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8547 7695 296 55 0 7439 0 Current children cumulated CPU time (s) 1795.45 Current children cumulated vsize (Kb) 34188 [startup+1797.16 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350880/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34188 CPUtime=1796.45 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7780 0 0 0 179361 284 0 0 25 0 1 0 188807367 35008512 7695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8547 7695 296 55 0 7439 0 Current children cumulated CPU time (s) 1796.45 Current children cumulated vsize (Kb) 34188 [startup+1798.16 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350880/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34188 CPUtime=1797.45 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7780 0 0 0 179461 284 0 0 25 0 1 0 188807367 35008512 7695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8547 7695 296 55 0 7439 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (Kb) 34188 [startup+1799.17 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350880/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34188 CPUtime=1798.46 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7780 0 0 0 179562 284 0 0 25 0 1 0 188807367 35008512 7695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8547 7695 296 55 0 7439 0 Current children cumulated CPU time (s) 1798.46 Current children cumulated vsize (Kb) 34188 [startup+1800.17 s] /proc/loadavg: 1.00 0.99 0.99 2/64 23241 /proc/meminfo: memFree=1350880/2055920 swapFree=4180912/4192956 [pid=23241] ppid=23239 vsize=34188 CPUtime=1799.46 /proc/23241/stat : 23241 (bsolo) R 23239 23241 23196 0 -1 0 7780 0 0 0 179662 284 0 0 25 0 1 0 188807367 35008512 7695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23241/statm: 8547 7695 296 55 0 7439 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (Kb) 34188 Child status: 0 Real time (s): 1800.71 CPU time (s): 1800.01 CPU user time (s): 1797.16 CPU system time (s): 2.85157 CPU usage (%): 99.9608 Max. virtual memory (cumulated for all children) (Kb): 34188
Begin job on node5 on Fri Jun 2 07:07:17 UTC 2006 FILE ID= 39674-1149232037 PBS_JOBID= 296515 BENCH NAME= ROOT/tmp/node5/39674-1149232037/instance-39674-1149232037.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node5/39674-1149232037/instance-39674-1149232037.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-39674-1149232037 -o ROOT/results/node5/solver-39674-1149232037 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node5/39674-1149232037/instance-39674-1149232037.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 63dafaa5a785f38064ac19ced11339d2 RANDOM SEED= 441886263 /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.279 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.279 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: 1380712 kB Buffers: 34936 kB Cached: 563296 kB SwapCached: 4180 kB Active: 207468 kB Inactive: 399848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1380712 kB SwapTotal: 4192956 kB SwapFree: 4180912 kB Dirty: 212 kB Writeback: 0 kB Mapped: 14940 kB Slab: 53904 kB Committed_AS: 215592 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node5 on Fri Jun 2 07:37:18 UTC 2006