Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1800.78 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-adlittle.opb |
MD5SUM | 952cd1c498d347dda37d376c7740481e |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2910 |
Total number of constraints | 56 |
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 | 56 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 810 |
Number of terms in the objective function | 2460 |
Biggest coefficient in the objective function | 88852135936000 |
Number of bits for the biggest coefficient in the objective function | 47 |
Sum of the numbers in the objective function | 3689448844530141 |
Number of bits of the sum of numbers in the objective function | 52 |
Biggest number in a constraint | 359703511040000 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 6054438712178314 |
Number of bits of the biggest sum of numbers | 53 |
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.03 c BIG Int formula... 0.11 c Initial problem consists of 2910 variables and 70 constraints. 0.12 c preprocess terminated. Elapsed time: 0.092 0.12 c After prepocess the problem consists of 1331 variables and 67 constraints. 0.12 c Initial Lower Bound: -28620852450 0.56 c Restart #1 #Var: 1331 LB: -28620852450 @ 0.539 1.32 c Restart #2 #Var: 1331 LB: -28620852450 @ 1.293 2.39 c Restart #3 #Var: 1331 LB: -28620852450 @ 2.362 3.73 c Restart #4 #Var: 1331 LB: -28620852450 @ 3.707 5.43 c Restart #5 #Var: 1331 LB: -28620852450 @ 5.401 7.37 c Restart #6 #Var: 1331 LB: -28620852450 @ 7.337 9.60 c Restart #7 #Var: 1331 LB: -28620852450 @ 9.571 12.21 c Restart #8 #Var: 1331 LB: -28620852450 @ 12.176 14.59 c Restart #9 #Var: 1331 LB: -28620852450 @ 14.559 16.84 c Restart #10 #Var: 1331 LB: -28620852450 @ 16.806 18.11 c Restart #11 #Var: 1331 LB: -28620852450 @ 18.081 19.05 c Restart #12 #Var: 1331 LB: -28620852450 @ 19.015 20.48 c Restart #13 #Var: 1331 LB: -28620852450 @ 20.443 21.39 c Restart #14 #Var: 1331 LB: -28620852450 @ 21.352 23.03 c Restart #15 #Var: 1331 LB: -28620852450 @ 22.999 24.39 c Restart #16 #Var: 1331 LB: -28620852450 @ 24.351 25.82 c Restart #17 #Var: 1331 LB: -28620852450 @ 25.789 27.58 c Restart #18 #Var: 1331 LB: -28620852450 @ 27.544 29.26 c Restart #19 #Var: 1331 LB: -28620852450 @ 29.227 31.88 c Restart #20 #Var: 1331 LB: -28620852450 @ 31.843 33.70 c Restart #21 #Var: 1331 LB: -28620852450 @ 33.663 35.47 c Restart #22 #Var: 1331 LB: -28620852450 @ 35.433 37.11 c Restart #23 #Var: 1331 LB: -28620852450 @ 37.074 39.31 c Restart #24 #Var: 1331 LB: -28620852450 @ 39.271 41.58 c Restart #25 #Var: 1331 LB: -28620852450 @ 41.541 43.80 c Restart #26 #Var: 1331 LB: -28620852450 @ 43.756 45.86 c Restart #27 #Var: 1331 LB: -28620852450 @ 45.82 48.65 c Restart #28 #Var: 1331 LB: -28620852450 @ 48.603 51.05 c Restart #29 #Var: 1331 LB: -28620852450 @ 51.006 53.21 c Restart #30 #Var: 1331 LB: -28620852450 @ 53.165 55.46 c Restart #31 #Var: 1331 LB: -28620852450 @ 55.412 60.23 c Restart #32 #Var: 1331 LB: -28620852450 @ 60.181 64.09 c Restart #33 #Var: 1331 LB: -28620852450 @ 64.046 67.41 c Restart #34 #Var: 1331 LB: -28620852450 @ 67.36 70.82 c Restart #35 #Var: 1331 LB: -28620852450 @ 70.765 74.00 c Restart #36 #Var: 1331 LB: -28620852450 @ 73.95 77.97 c Restart #37 #Var: 1331 LB: -28620852450 @ 77.913 81.30 c Restart #38 #Var: 1331 LB: -28620852450 @ 81.249 84.96 c Restart #39 #Var: 1331 LB: -28620852450 @ 84.902 89.16 c Restart #40 #Var: 1331 LB: -28620852450 @ 89.098 93.04 c Restart #41 #Var: 1331 LB: -28620852450 @ 92.976 98.30 c Restart #42 #Var: 1331 LB: -28620852450 @ 98.243 102.70 c Restart #43 #Var: 1331 LB: -28620852450 @ 102.64 107.00 c Restart #44 #Var: 1331 LB: -28620852450 @ 106.94 109.88 c Restart #45 #Var: 1331 LB: -28620852450 @ 109.81 112.29 c Restart #46 #Var: 1331 LB: -28620852450 @ 112.23 115.10 c Restart #47 #Var: 1331 LB: -28620852450 @ 115.03 117.57 c Restart #48 #Var: 1331 LB: -28620852450 @ 117.5 121.05 c Restart #49 #Var: 1331 LB: -28620852450 @ 120.98 123.76 c Restart #50 #Var: 1331 LB: -28620852450 @ 123.69 128.69 c Restart #51 #Var: 1331 LB: -28620852450 @ 128.62 131.74 c Restart #52 #Var: 1331 LB: -28620852450 @ 131.66 135.06 c Restart #53 #Var: 1331 LB: -28620852450 @ 134.99 142.40 c Restart #54 #Var: 1331 LB: -28620852450 @ 142.32 145.29 c Restart #55 #Var: 1331 LB: -28620852450 @ 145.21 148.33 c Restart #56 #Var: 1331 LB: -28620852450 @ 148.25 151.72 c Restart #57 #Var: 1331 LB: -28620852450 @ 151.64 154.85 c Restart #58 #Var: 1331 LB: -28620852450 @ 154.76 158.54 c Restart #59 #Var: 1331 LB: -28620852450 @ 158.46 163.54 c Restart #60 #Var: 1331 LB: -28620852450 @ 163.45 166.85 c Restart #61 #Var: 1331 LB: -28620852450 @ 166.76 170.38 c Restart #62 #Var: 1331 LB: -28620852450 @ 170.29 176.82 c Restart #63 #Var: 1331 LB: -28620852450 @ 176.73 181.44 c Restart #64 #Var: 1331 LB: -28620852450 @ 181.35 185.01 c Restart #65 #Var: 1331 LB: -28620852450 @ 184.92 188.71 c Restart #66 #Var: 1331 LB: -28620852450 @ 188.61 192.41 c Restart #67 #Var: 1331 LB: -28620852450 @ 192.31 196.39 c Restart #68 #Var: 1331 LB: -28620852450 @ 196.29 201.23 c Restart #69 #Var: 1331 LB: -28620852450 @ 201.13 205.32 c Restart #70 #Var: 1331 LB: -28620852450 @ 205.22 212.50 c Restart #71 #Var: 1331 LB: -28620852450 @ 212.39 218.45 c Restart #72 #Var: 1331 LB: -28620852450 @ 218.35 222.86 c Restart #73 #Var: 1331 LB: -28620852450 @ 222.75 226.81 c Restart #74 #Var: 1331 LB: -28620852450 @ 226.71 230.85 c Restart #75 #Var: 1331 LB: -28620852450 @ 230.74 237.45 c Restart #76 #Var: 1331 LB: -28620852450 @ 237.33 241.76 c Restart #77 #Var: 1331 LB: -28620852450 @ 241.65 250.43 c Restart #78 #Var: 1331 LB: -28620852450 @ 250.31 255.42 c Restart #79 #Var: 1331 LB: -28620852450 @ 255.3 259.99 c Restart #80 #Var: 1331 LB: -28620852450 @ 259.87 265.21 c Restart #81 #Var: 1331 LB: -28620852450 @ 265.08 279.25 c Restart #82 #Var: 1331 LB: -28620852450 @ 279.12 284.37 c Restart #83 #Var: 1331 LB: -28620852450 @ 284.24 293.05 c Restart #84 #Var: 1331 LB: -28620852450 @ 292.92 298.02 c Restart #85 #Var: 1331 LB: -28620852450 @ 297.88 305.43 c Restart #86 #Var: 1331 LB: -28620852450 @ 305.29 310.31 c Restart #87 #Var: 1331 LB: -28620852450 @ 310.17 318.00 c Restart #88 #Var: 1331 LB: -28620852450 @ 317.86 323.83 c Restart #89 #Var: 1331 LB: -28620852450 @ 323.68 328.77 c Restart #90 #Var: 1331 LB: -28620852450 @ 328.62 333.93 c Restart #91 #Var: 1331 LB: -28620852450 @ 333.78 344.05 c Restart #92 #Var: 1331 LB: -28620852450 @ 343.89 349.33 c Restart #93 #Var: 1331 LB: -28620852450 @ 349.18 359.79 c Restart #94 #Var: 1331 LB: -28620852450 @ 359.63 365.00 c Restart #95 #Var: 1331 LB: -28620852450 @ 364.84 372.76 c Restart #96 #Var: 1331 LB: -28620852450 @ 372.6 379.29 c Restart #97 #Var: 1331 LB: -28620852450 @ 379.12 384.51 c Restart #98 #Var: 1331 LB: -28620852450 @ 384.34 390.50 c Restart #99 #Var: 1331 LB: -28620852450 @ 390.33 397.51 c Restart #100 #Var: 1331 LB: -28620852450 @ 397.34 403.07 c Restart #101 #Var: 1331 LB: -28620852450 @ 402.89 412.40 c Restart #102 #Var: 1331 LB: -28620852450 @ 412.23 418.32 c Restart #103 #Var: 1331 LB: -28620852450 @ 418.14 427.38 c Restart #104 #Var: 1331 LB: -28620852450 @ 427.19 433.36 c Restart #105 #Var: 1331 LB: -28620852450 @ 433.17 439.21 c Restart #106 #Var: 1331 LB: -28620852450 @ 439.03 446.97 c Restart #107 #Var: 1331 LB: -28620852450 @ 446.78 455.59 c Restart #108 #Var: 1331 LB: -28620852450 @ 455.4 462.04 c Restart #109 #Var: 1331 LB: -28620852450 @ 461.85 470.63 c Restart #110 #Var: 1331 LB: -28620852450 @ 470.44 476.88 c Restart #111 #Var: 1331 LB: -28620852450 @ 476.68 484.06 c Restart #112 #Var: 1331 LB: -28620852450 @ 483.86 491.33 c Restart #113 #Var: 1331 LB: -28620852450 @ 491.12 497.75 c Restart #114 #Var: 1331 LB: -28620852450 @ 497.55 508.27 c Restart #115 #Var: 1331 LB: -28620852450 @ 508.06 514.38 c Restart #116 #Var: 1331 LB: -28620852450 @ 514.17 521.59 c Restart #117 #Var: 1331 LB: -28620852450 @ 521.38 529.16 c Restart #118 #Var: 1331 LB: -28620852450 @ 528.95 535.62 c Restart #119 #Var: 1331 LB: -28620852450 @ 535.4 542.30 c Restart #120 #Var: 1331 LB: -28620852450 @ 542.08 549.65 c Restart #121 #Var: 1331 LB: -28620852450 @ 549.43 556.19 c Restart #122 #Var: 1331 LB: -28620852450 @ 555.96 566.59 c Restart #123 #Var: 1331 LB: -28620852450 @ 566.36 573.78 c Restart #124 #Var: 1331 LB: -28620852450 @ 573.54 581.11 c Restart #125 #Var: 1331 LB: -28620852450 @ 580.87 587.77 c Restart #126 #Var: 1331 LB: -28620852450 @ 587.53 598.28 c Restart #127 #Var: 1331 LB: -28620852450 @ 598.04 606.58 c Restart #128 #Var: 1331 LB: -28620852450 @ 606.34 613.81 c Restart #129 #Var: 1331 LB: -28620852450 @ 613.56 626.39 c Restart #130 #Var: 1331 LB: -28620852450 @ 626.14 637.23 c Restart #131 #Var: 1331 LB: -28620852450 @ 636.97 670.35 c Restart #132 #Var: 1331 LB: -28620852450 @ 670.08 677.83 c Restart #133 #Var: 1331 LB: -28620852450 @ 677.56 691.50 c Restart #134 #Var: 1331 LB: -28620852450 @ 691.22 699.36 c Restart #135 #Var: 1331 LB: -28620852450 @ 699.08 711.10 c Restart #136 #Var: 1331 LB: -28620852450 @ 710.82 719.07 c Restart #137 #Var: 1331 LB: -28620852450 @ 718.79 729.48 c Restart #138 #Var: 1331 LB: -28620852450 @ 729.2 736.84 c Restart #139 #Var: 1331 LB: -28620852450 @ 736.55 748.49 c Restart #140 #Var: 1331 LB: -28620852450 @ 748.19 757.50 c Restart #141 #Var: 1331 LB: -28620852450 @ 757.2 765.35 c Restart #142 #Var: 1331 LB: -28620852450 @ 765.05 775.63 c Restart #143 #Var: 1331 LB: -28620852450 @ 775.33 783.64 c Restart #144 #Var: 1331 LB: -28620852450 @ 783.33 793.72 c Restart #145 #Var: 1331 LB: -28620852450 @ 793.41 801.81 c Restart #146 #Var: 1331 LB: -28620852450 @ 801.49 810.20 c Restart #147 #Var: 1331 LB: -28620852450 @ 809.89 818.94 c Restart #148 #Var: 1331 LB: -28620852450 @ 818.62 828.26 c Restart #149 #Var: 1331 LB: -28620852450 @ 827.93 840.07 c Restart #150 #Var: 1331 LB: -28620852450 @ 839.74 851.11 c Restart #151 #Var: 1331 LB: -28620852450 @ 850.78 861.55 c Restart #152 #Var: 1331 LB: -28620852450 @ 861.22 871.28 c Restart #153 #Var: 1331 LB: -28620852450 @ 870.94 879.98 c Restart #154 #Var: 1331 LB: -28620852450 @ 879.64 894.61 c Restart #155 #Var: 1331 LB: -28620852450 @ 894.26 902.94 c CHANGE Heuristic... 902.94 c Restart #0 #Var: 1331 LB: -28620852450 @ 902.59 904.34 c Restart #1 #Var: 1331 LB: -28620852450 @ 903.99 904.79 c Restart #2 #Var: 1331 LB: -28620852450 @ 904.44 905.26 c Restart #3 #Var: 1331 LB: -28620852450 @ 904.91 905.74 c Restart #4 #Var: 1331 LB: -28620852450 @ 905.39 906.37 c Restart #5 #Var: 1331 LB: -28620852450 @ 906.02 906.89 c Restart #6 #Var: 1331 LB: -28620852450 @ 906.54 907.96 c Restart #7 #Var: 1331 LB: -28620852450 @ 907.61 908.99 c Restart #8 #Var: 1331 LB: -28620852450 @ 908.64 910.21 c Restart #9 #Var: 1331 LB: -28620852450 @ 909.86 911.18 c Restart #10 #Var: 1331 LB: -28620852450 @ 910.83 912.32 c Restart #11 #Var: 1331 LB: -28620852450 @ 911.97 913.76 c Restart #12 #Var: 1331 LB: -28620852450 @ 913.41 915.27 c Restart #13 #Var: 1331 LB: -28620852450 @ 914.92 916.63 c Restart #14 #Var: 1331 LB: -28620852450 @ 916.28 918.81 c Restart #15 #Var: 1331 LB: -28620852450 @ 918.46 920.02 c Restart #16 #Var: 1331 LB: -28620852450 @ 919.66 922.92 c Restart #17 #Var: 1331 LB: -28620852450 @ 922.56 924.70 c Restart #18 #Var: 1331 LB: -28620852450 @ 924.34 928.25 c Restart #19 #Var: 1331 LB: -28620852450 @ 927.89 930.08 c Restart #20 #Var: 1331 LB: -28620852450 @ 929.72 933.18 c Restart #21 #Var: 1331 LB: -28620852450 @ 932.82 934.72 c Restart #22 #Var: 1331 LB: -28620852450 @ 934.36 937.27 c Restart #23 #Var: 1331 LB: -28620852450 @ 936.91 941.63 c Restart #24 #Var: 1331 LB: -28620852450 @ 941.27 945.23 c Restart #25 #Var: 1331 LB: -28620852450 @ 944.87 953.63 c Restart #26 #Var: 1331 LB: -28620852450 @ 953.26 956.31 c Restart #27 #Var: 1331 LB: -28620852450 @ 955.94 958.22 c Restart #28 #Var: 1331 LB: -28620852450 @ 957.85 960.15 c Restart #29 #Var: 1331 LB: -28620852450 @ 959.78 962.42 c Restart #30 #Var: 1331 LB: -28620852450 @ 962.05 965.21 c Restart #31 #Var: 1331 LB: -28620852450 @ 964.84 967.05 c Restart #32 #Var: 1331 LB: -28620852450 @ 966.68 969.32 c Restart #33 #Var: 1331 LB: -28620852450 @ 968.94 972.33 c Restart #34 #Var: 1331 LB: -28620852450 @ 971.96 974.80 c Restart #35 #Var: 1331 LB: -28620852450 @ 974.42 977.73 c Restart #36 #Var: 1331 LB: -28620852450 @ 977.35 980.11 c Restart #37 #Var: 1331 LB: -28620852450 @ 979.73 982.67 c Restart #38 #Var: 1331 LB: -28620852450 @ 982.29 985.32 c Restart #39 #Var: 1331 LB: -28620852450 @ 984.94 987.87 c Restart #40 #Var: 1331 LB: -28620852450 @ 987.49 992.29 c Restart #41 #Var: 1331 LB: -28620852450 @ 991.91 995.83 c Restart #42 #Var: 1331 LB: -28620852450 @ 995.44 999.71 c Restart #43 #Var: 1331 LB: -28620852450 @ 999.32 1002.45 c Restart #44 #Var: 1331 LB: -28620852450 @ 1002.1 1005.61 c Restart #45 #Var: 1331 LB: -28620852450 @ 1005.2 1009.38 c Restart #46 #Var: 1331 LB: -28620852450 @ 1009 1012.68 c Restart #47 #Var: 1331 LB: -28620852450 @ 1012.3 1016.00 c Restart #48 #Var: 1331 LB: -28620852450 @ 1015.6 1020.60 c Restart #49 #Var: 1331 LB: -28620852450 @ 1020.2 1023.67 c Restart #50 #Var: 1331 LB: -28620852450 @ 1023.3 1027.84 c Restart #51 #Var: 1331 LB: -28620852450 @ 1027.5 1031.14 c Restart #52 #Var: 1331 LB: -28620852450 @ 1030.7 1034.92 c Restart #53 #Var: 1331 LB: -28620852450 @ 1034.5 1039.38 c Restart #54 #Var: 1331 LB: -28620852450 @ 1039 1044.27 c Restart #55 #Var: 1331 LB: -28620852450 @ 1043.9 1048.17 c Restart #56 #Var: 1331 LB: -28620852450 @ 1047.8 1052.70 c Restart #57 #Var: 1331 LB: -28620852450 @ 1052.3 1057.86 c Restart #58 #Var: 1331 LB: -28620852450 @ 1057.5 1064.10 c Restart #59 #Var: 1331 LB: -28620852450 @ 1063.7 1069.01 c Restart #60 #Var: 1331 LB: -28620852450 @ 1068.6 1072.71 c Restart #61 #Var: 1331 LB: -28620852450 @ 1072.3 1078.02 c Restart #62 #Var: 1331 LB: -28620852450 @ 1077.6 1082.96 c Restart #63 #Var: 1331 LB: -28620852450 @ 1082.5 1088.06 c Restart #64 #Var: 1331 LB: -28620852450 @ 1087.6 1092.32 c Restart #65 #Var: 1331 LB: -28620852450 @ 1091.9 1096.40 c Restart #66 #Var: 1331 LB: -28620852450 @ 1096 1103.39 c Restart #67 #Var: 1331 LB: -28620852450 @ 1103 1107.66 c Restart #68 #Var: 1331 LB: -28620852450 @ 1107.2 1113.02 c Restart #69 #Var: 1331 LB: -28620852450 @ 1112.6 1119.00 c Restart #70 #Var: 1331 LB: -28620852450 @ 1118.6 1124.48 c Restart #71 #Var: 1331 LB: -28620852450 @ 1124.1 1130.38 c Restart #72 #Var: 1331 LB: -28620852450 @ 1130 1135.33 c Restart #73 #Var: 1331 LB: -28620852450 @ 1134.9 1139.90 c Restart #74 #Var: 1331 LB: -28620852450 @ 1139.5 1147.66 c Restart #75 #Var: 1331 LB: -28620852450 @ 1147.2 1152.71 c Restart #76 #Var: 1331 LB: -28620852450 @ 1152.3 1157.55 c Restart #77 #Var: 1331 LB: -28620852450 @ 1157.1 1163.01 c Restart #78 #Var: 1331 LB: -28620852450 @ 1162.6 1168.63 c Restart #79 #Var: 1331 LB: -28620852450 @ 1168.2 1173.21 c Restart #80 #Var: 1331 LB: -28620852450 @ 1172.8 1178.00 c Restart #81 #Var: 1331 LB: -28620852450 @ 1177.5 1183.65 c Restart #82 #Var: 1331 LB: -28620852450 @ 1183.2 1192.37 c Restart #83 #Var: 1331 LB: -28620852450 @ 1191.9 1200.90 c Restart #84 #Var: 1331 LB: -28620852450 @ 1200.4 1209.64 c Restart #85 #Var: 1331 LB: -28620852450 @ 1209.2 1218.15 c Restart #86 #Var: 1331 LB: -28620852450 @ 1217.7 1224.37 c Restart #87 #Var: 1331 LB: -28620852450 @ 1223.9 1229.57 c Restart #88 #Var: 1331 LB: -28620852450 @ 1229.1 1237.20 c Restart #89 #Var: 1331 LB: -28620852450 @ 1236.7 1242.71 c Restart #90 #Var: 1331 LB: -28620852450 @ 1242.2 1248.93 c Restart #91 #Var: 1331 LB: -28620852450 @ 1248.5 1254.24 c Restart #92 #Var: 1331 LB: -28620852450 @ 1253.8 1261.88 c Restart #93 #Var: 1331 LB: -28620852450 @ 1261.4 1267.52 c Restart #94 #Var: 1331 LB: -28620852450 @ 1267 1272.98 c Restart #95 #Var: 1331 LB: -28620852450 @ 1272.5 1278.91 c Restart #96 #Var: 1331 LB: -28620852450 @ 1278.4 1284.93 c Restart #97 #Var: 1331 LB: -28620852450 @ 1284.4 1293.01 c Restart #98 #Var: 1331 LB: -28620852450 @ 1292.5 1299.80 c Restart #99 #Var: 1331 LB: -28620852450 @ 1299.3 1308.61 c Restart #100 #Var: 1331 LB: -28620852450 @ 1308.1 1314.67 c Restart #101 #Var: 1331 LB: -28620852450 @ 1314.2 1324.54 c Restart #102 #Var: 1331 LB: -28620852450 @ 1324 1335.83 c Restart #103 #Var: 1331 LB: -28620852450 @ 1335.3 1345.41 c Restart #104 #Var: 1331 LB: -28620852450 @ 1344.9 1353.09 c Restart #105 #Var: 1331 LB: -28620852450 @ 1352.6 1360.02 c Restart #106 #Var: 1331 LB: -28620852450 @ 1359.5 1377.47 c Restart #107 #Var: 1331 LB: -28620852450 @ 1377 1386.67 c Restart #108 #Var: 1331 LB: -28620852450 @ 1386.2 1395.76 c Restart #109 #Var: 1331 LB: -28620852450 @ 1395.2 1480.53 c Restart #110 #Var: 1331 LB: -28620852450 @ 1480 1487.48 c Restart #111 #Var: 1331 LB: -28620852450 @ 1486.9 1494.69 c Restart #112 #Var: 1331 LB: -28620852450 @ 1494.1 1504.73 c Restart #113 #Var: 1331 LB: -28620852450 @ 1504.2 1511.00 c Restart #114 #Var: 1331 LB: -28620852450 @ 1510.4 1518.01 c Restart #115 #Var: 1331 LB: -28620852450 @ 1517.4 1524.63 c Restart #116 #Var: 1331 LB: -28620852450 @ 1524.1 1536.85 c Restart #117 #Var: 1331 LB: -28620852450 @ 1536.3 1547.07 c Restart #118 #Var: 1331 LB: -28620852450 @ 1546.5 1554.56 c Restart #119 #Var: 1331 LB: -28620852450 @ 1554 1566.16 c Restart #120 #Var: 1331 LB: -28620852450 @ 1565.6 1574.86 c Restart #121 #Var: 1331 LB: -28620852450 @ 1574.3 1586.31 c Restart #122 #Var: 1331 LB: -28620852450 @ 1585.7 1597.74 c Restart #123 #Var: 1331 LB: -28620852450 @ 1597.1 1605.39 c Restart #124 #Var: 1331 LB: -28620852450 @ 1604.8 1617.99 c Restart #125 #Var: 1331 LB: -28620852450 @ 1617.4 1627.97 c Restart #126 #Var: 1331 LB: -28620852450 @ 1627.4 1637.90 c Restart #127 #Var: 1331 LB: -28620852450 @ 1637.3 1645.90 c Restart #128 #Var: 1331 LB: -28620852450 @ 1645.3 1654.49 c Restart #129 #Var: 1331 LB: -28620852450 @ 1653.9 1663.19 c Restart #130 #Var: 1331 LB: -28620852450 @ 1662.6 1672.86 c Restart #131 #Var: 1331 LB: -28620852450 @ 1672.2 1680.35 c Restart #132 #Var: 1331 LB: -28620852450 @ 1679.7 1692.40 c Restart #133 #Var: 1331 LB: -28620852450 @ 1691.7 1701.95 c Restart #134 #Var: 1331 LB: -28620852450 @ 1701.2 1711.24 c Restart #135 #Var: 1331 LB: -28620852450 @ 1710.5 1718.80 c Restart #136 #Var: 1331 LB: -28620852450 @ 1718.1 1731.30 c Restart #137 #Var: 1331 LB: -28620852450 @ 1730.6 1740.37 c Restart #138 #Var: 1331 LB: -28620852450 @ 1739.6 1750.94 c Restart #139 #Var: 1331 LB: -28620852450 @ 1750.2 1759.15 c Restart #140 #Var: 1331 LB: -28620852450 @ 1758.4 1767.20 c Restart #141 #Var: 1331 LB: -28620852450 @ 1766.4 1775.79 c Restart #142 #Var: 1331 LB: -28620852450 @ 1775 1784.10 c Restart #143 #Var: 1331 LB: -28620852450 @ 1783.3 1793.23 c Restart #144 #Var: 1331 LB: -28620852450 @ 1792.5 1800.76 s UNKNOWN 1800.76 c Exit Code: 0 1800.76 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/node91/watcher-40702-1149312778 -o ROOT/results/node91/solver-40702-1149312778 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node91/40702-1149312778/instance-40702-1149312778.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.73 0.93 0.94 2/68 8707 /proc/meminfo: memFree=1542488/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=4752 CPUtime=0 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 230 0 0 0 0 0 0 0 19 0 1 0 196916711 4866048 201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4157848960 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 1188 209 150 55 0 79 0 [startup+10.0024 s] /proc/loadavg: 0.77 0.94 0.94 2/68 8707 /proc/meminfo: memFree=1537960/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=9196 CPUtime=9.97 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 1525 0 0 0 992 5 0 0 25 0 1 0 196916711 9416704 1441 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 2299 1441 294 55 0 1190 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 9196 [startup+20.0083 s] /proc/loadavg: 0.81 0.94 0.94 2/68 8707 /proc/meminfo: memFree=1537200/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=10068 CPUtime=19.97 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 1746 0 0 0 1989 8 0 0 25 0 1 0 196916711 10309632 1662 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644475 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 2517 1662 294 55 0 1408 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 10068 [startup+30.0143 s] /proc/loadavg: 0.84 0.94 0.94 2/68 8707 /proc/meminfo: memFree=1532272/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=15048 CPUtime=29.97 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 2990 0 0 0 2987 10 0 0 25 0 1 0 196916711 15409152 2906 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 3762 2906 294 55 0 2653 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 15048 [startup+40.0203 s] /proc/loadavg: 0.86 0.94 0.94 2/68 8707 /proc/meminfo: memFree=1529072/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=18212 CPUtime=39.97 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 3788 0 0 0 3985 12 0 0 25 0 1 0 196916711 18649088 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603682 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 4553 3704 294 55 0 3444 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 18212 [startup+50.0272 s] /proc/loadavg: 0.88 0.94 0.94 2/68 8707 /proc/meminfo: memFree=1528304/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=18960 CPUtime=49.98 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 3981 0 0 0 4984 14 0 0 25 0 1 0 196916711 19415040 3897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 4740 3897 294 55 0 3631 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 18960 [startup+60.0332 s] /proc/loadavg: 0.90 0.94 0.94 2/68 8707 /proc/meminfo: memFree=1527280/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=20020 CPUtime=59.98 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 4235 0 0 0 5983 15 0 0 25 0 1 0 196916711 20500480 4151 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 5005 4151 294 55 0 3896 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 20020 [startup+70.0392 s] /proc/loadavg: 0.91 0.94 0.94 2/68 8707 /proc/meminfo: memFree=1527280/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=20020 CPUtime=69.98 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 4235 0 0 0 6981 17 0 0 25 0 1 0 196916711 20500480 4151 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 5005 4151 294 55 0 3896 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 20020 [startup+80.0452 s] /proc/loadavg: 0.93 0.95 0.94 2/68 8707 /proc/meminfo: memFree=1524720/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=22528 CPUtime=79.98 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 4877 0 0 0 7979 19 0 0 25 0 1 0 196916711 23068672 4793 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 5632 4793 294 55 0 4523 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 22528 [startup+90.0511 s] /proc/loadavg: 0.94 0.95 0.94 2/68 8707 /proc/meminfo: memFree=1519792/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=27716 CPUtime=89.98 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 6096 0 0 0 8977 21 0 0 25 0 1 0 196916711 28381184 6012 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644478 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 6929 6012 294 55 0 5820 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 27716 [startup+100.057 s] /proc/loadavg: 0.95 0.95 0.94 2/68 8707 /proc/meminfo: memFree=1516208/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=31200 CPUtime=99.99 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 6992 0 0 0 9976 23 0 0 25 0 1 0 196916711 31948800 6908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 7800 6908 294 55 0 6691 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 31200 [startup+110.063 s] /proc/loadavg: 0.95 0.95 0.94 2/68 8707 /proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=36856 CPUtime=109.99 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 8439 0 0 0 10974 25 0 0 25 0 1 0 196916711 37740544 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 9214 8320 294 55 0 8105 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 36856 [startup+120.069 s] /proc/loadavg: 0.96 0.95 0.94 2/68 8707 /proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=36856 CPUtime=119.99 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 8439 0 0 0 11973 26 0 0 25 0 1 0 196916711 37740544 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644452 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 9214 8320 294 55 0 8105 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 36856 [startup+130.075 s] /proc/loadavg: 0.97 0.95 0.94 2/68 8707 /proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=36856 CPUtime=129.99 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 8439 0 0 0 12972 27 0 0 25 0 1 0 196916711 37740544 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 9214 8320 294 55 0 8105 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 36856 [startup+140.081 s] /proc/loadavg: 0.97 0.95 0.94 2/68 8707 /proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=36856 CPUtime=140 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 8439 0 0 0 13971 29 0 0 25 0 1 0 196916711 37740544 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 9214 8320 294 55 0 8105 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 36856 [startup+150.087 s] /proc/loadavg: 0.98 0.95 0.94 2/68 8707 /proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=36856 CPUtime=150 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 8439 0 0 0 14970 30 0 0 25 0 1 0 196916711 37740544 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 9214 8320 294 55 0 8105 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 36856 [startup+160.093 s] /proc/loadavg: 0.98 0.95 0.94 2/68 8707 /proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=36856 CPUtime=159.99 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 8439 0 0 0 15968 31 0 0 25 0 1 0 196916711 37740544 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 9214 8320 294 55 0 8105 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 36856 [startup+170.099 s] /proc/loadavg: 0.98 0.95 0.94 2/68 8707 /proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=36856 CPUtime=170 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 8439 0 0 0 16967 33 0 0 25 0 1 0 196916711 37740544 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 9214 8320 294 55 0 8105 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 36856 [startup+180.105 s] /proc/loadavg: 0.98 0.96 0.94 2/68 8707 /proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=36856 CPUtime=180 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 8439 0 0 0 17965 35 0 0 25 0 1 0 196916711 37740544 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 9214 8320 294 55 0 8105 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 36856 [startup+190.111 s] /proc/loadavg: 0.99 0.96 0.94 2/68 8707 /proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=36856 CPUtime=190 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 8439 0 0 0 18964 36 0 0 25 0 1 0 196916711 37740544 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 9214 8320 294 55 0 8105 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 36856 [startup+200.117 s] /proc/loadavg: 0.99 0.96 0.94 2/68 8707 /proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=36856 CPUtime=200 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 8439 0 0 0 19962 38 0 0 25 0 1 0 196916711 37740544 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644490 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 9214 8320 294 55 0 8105 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 36856 [startup+210.123 s] /proc/loadavg: 0.99 0.96 0.94 2/68 8707 /proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564 ################ # More data... # ################ /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1760.3 Current children cumulated vsize (Kb) 60900 [startup+1771.07 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1770.31 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 176743 288 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1770.31 Current children cumulated vsize (Kb) 60900 [startup+1781.08 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1780.31 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 177742 289 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1780.31 Current children cumulated vsize (Kb) 60900 [startup+1782.08 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1781.31 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 177842 289 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1781.31 Current children cumulated vsize (Kb) 60900 [startup+1783.09 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1782.33 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 177943 290 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (Kb) 60900 [startup+1784.09 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1783.33 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 178043 290 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1783.33 Current children cumulated vsize (Kb) 60900 [startup+1785.1 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1784.33 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 178143 290 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1784.33 Current children cumulated vsize (Kb) 60900 [startup+1786.1 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1785.34 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 178244 290 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1785.34 Current children cumulated vsize (Kb) 60900 [startup+1787.11 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1786.34 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 178344 290 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1786.34 Current children cumulated vsize (Kb) 60900 [startup+1788.11 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1787.34 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 178444 290 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644461 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1787.34 Current children cumulated vsize (Kb) 60900 [startup+1789.12 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1788.35 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 178544 291 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1788.35 Current children cumulated vsize (Kb) 60900 [startup+1790.12 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1789.36 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 178645 291 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1789.36 Current children cumulated vsize (Kb) 60900 [startup+1791.13 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1790.36 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 178745 291 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1790.36 Current children cumulated vsize (Kb) 60900 [startup+1792.13 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1791.37 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 178846 291 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (Kb) 60900 [startup+1793.14 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1792.37 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 178946 291 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1792.37 Current children cumulated vsize (Kb) 60900 [startup+1794.14 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1793.37 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 179046 291 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644452 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1793.37 Current children cumulated vsize (Kb) 60900 [startup+1795.15 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1794.37 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 179146 291 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1794.37 Current children cumulated vsize (Kb) 60900 [startup+1796.15 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1795.38 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 179246 292 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1795.38 Current children cumulated vsize (Kb) 60900 [startup+1797.16 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1796.39 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 179347 292 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1796.39 Current children cumulated vsize (Kb) 60900 [startup+1798.16 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1797.39 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 179447 292 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1797.39 Current children cumulated vsize (Kb) 60900 [startup+1799.17 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1798.39 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 179547 292 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1798.39 Current children cumulated vsize (Kb) 60900 [startup+1800.17 s] /proc/loadavg: 0.99 0.97 0.94 2/68 8909 /proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564 [pid=8707] ppid=8705 vsize=60900 CPUtime=1799.4 /proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 179647 293 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8707/statm: 15225 14176 294 55 0 14116 0 Current children cumulated CPU time (s) 1799.4 Current children cumulated vsize (Kb) 60900 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.01 CPU user time (s): 1797.07 CPU system time (s): 2.94055 CPU usage (%): 99.9574 Max. virtual memory (cumulated for all children) (Kb): 60900
Begin job on node91 on Sat Jun 3 05:32:58 UTC 2006 FILE ID= 40702-1149312778 PBS_JOBID= 308122 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-adlittle.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node91/40702-1149312778/instance-40702-1149312778.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node91/watcher-40702-1149312778 -o ROOT/results/node91/solver-40702-1149312778 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node91/40702-1149312778/instance-40702-1149312778.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 952cd1c498d347dda37d376c7740481e RANDOM SEED= 614001672 /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 : 6006.18 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 : 5999.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1542696 kB Buffers: 32976 kB Cached: 408712 kB SwapCached: 2352 kB Active: 71876 kB Inactive: 378392 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1542696 kB SwapTotal: 4096564 kB SwapFree: 4085372 kB Dirty: 280 kB Writeback: 0 kB Mapped: 16588 kB Slab: 49444 kB Committed_AS: 399116 kB PageTables: 1284 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node91 on Sat Jun 3 06:02:59 UTC 2006