Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.04 | 1800.72 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-recipe.opb |
MD5SUM | 19c812fe81842f9b63508fc356bab039 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -75614961 |
Best CPU time to get the best result obtained on this benchmark | 1800.72 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -130330680 |
Optimality of the best value was proved | NO |
Number of variables | 3671 |
Total number of constraints | 159 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 159 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 420 |
Number of terms in the objective function | 1055 |
Biggest coefficient in the objective function | 65536000 |
Number of bits for the biggest coefficient in the objective function | 26 |
Sum of the numbers in the objective function | 584330055 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 5681631310381056 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 98271137637301167 |
Number of bits of the biggest sum of numbers | 57 |
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.12 c Initial problem consists of 3671 variables and 219 constraints. 0.13 c No problem reductions applied in OPT. instance. 0.13 c preprocess terminated. Elapsed time: 0.122 0.13 c After prepocess the problem consists of 3082 variables and 163 constraints. 0.13 c Initial Lower Bound: -557741203 0.20 c Restart #1 #Var: 3082 LB: -557741203 @ 0.185 0.30 c Restart #2 #Var: 3082 LB: -557741203 @ 0.291 0.46 c Restart #3 #Var: 3082 LB: -557741203 @ 0.444 0.65 c Restart #4 #Var: 3082 LB: -557741203 @ 0.642 0.91 c Restart #5 #Var: 3082 LB: -557741203 @ 0.895 1.21 c Restart #6 #Var: 3082 LB: -557741203 @ 1.195 1.46 c Restart #7 #Var: 3082 LB: -557741203 @ 1.446 1.79 c Restart #8 #Var: 3082 LB: -557741203 @ 1.778 2.45 c Restart #9 #Var: 3082 LB: -557741203 @ 2.441 2.67 c Restart #10 #Var: 3082 LB: -557741203 @ 2.661 3.01 c Restart #11 #Var: 3082 LB: -557741203 @ 2.994 3.62 c Restart #12 #Var: 3082 LB: -557741203 @ 3.606 3.83 c Restart #13 #Var: 3082 LB: -557741203 @ 3.822 4.06 c Restart #14 #Var: 3082 LB: -557741203 @ 4.048 5.13 c Restart #15 #Var: 3082 LB: -557741203 @ 5.121 5.44 c Restart #16 #Var: 3082 LB: -557741203 @ 5.424 5.74 c Restart #17 #Var: 3082 LB: -557741203 @ 5.728 6.97 c Restart #18 #Var: 3081 LB: -557741203 @ 6.953 7.69 c Restart #19 #Var: 3081 LB: -557741203 @ 7.674 9.32 c Restart #20 #Var: 3081 LB: -557741203 @ 9.305 11.05 c Restart #21 #Var: 3081 LB: -557741203 @ 11.032 13.01 c Restart #22 #Var: 3081 LB: -557741203 @ 12.996 15.04 c Restart #23 #Var: 3081 LB: -557741203 @ 15.022 17.26 c Restart #24 #Var: 3081 LB: -557741203 @ 17.237 19.46 c Restart #25 #Var: 3081 LB: -557741203 @ 19.436 21.79 c Restart #26 #Var: 3081 LB: -557741203 @ 21.771 24.18 c Restart #27 #Var: 3081 LB: -557741203 @ 24.154 26.55 c Restart #28 #Var: 3081 LB: -557741203 @ 26.528 29.13 c Restart #29 #Var: 3081 LB: -557741203 @ 29.11 31.65 c Restart #30 #Var: 3081 LB: -557741203 @ 31.621 34.36 c Restart #31 #Var: 3081 LB: -557741203 @ 34.331 37.61 c Restart #32 #Var: 3081 LB: -557741203 @ 37.582 40.42 c Restart #33 #Var: 3081 LB: -557741203 @ 40.392 43.19 c Restart #34 #Var: 3081 LB: -557741203 @ 43.156 46.33 c Restart #35 #Var: 3081 LB: -557741203 @ 46.299 49.57 c Restart #36 #Var: 3081 LB: -557741203 @ 49.543 52.93 c Restart #37 #Var: 3081 LB: -557741203 @ 52.901 56.47 c Restart #38 #Var: 3081 LB: -557741203 @ 56.44 60.13 c Restart #39 #Var: 3081 LB: -557741203 @ 60.092 63.83 c Restart #40 #Var: 3081 LB: -557741203 @ 63.795 67.59 c Restart #41 #Var: 3081 LB: -557741203 @ 67.555 71.25 c Restart #42 #Var: 3081 LB: -557741203 @ 71.214 75.22 c Restart #43 #Var: 3081 LB: -557741203 @ 75.18 79.16 c Restart #44 #Var: 3081 LB: -557741203 @ 79.118 83.23 c Restart #45 #Var: 3081 LB: -557741203 @ 83.192 87.26 c Restart #46 #Var: 3081 LB: -557741203 @ 87.215 91.30 c Restart #47 #Var: 3081 LB: -557741203 @ 91.253 95.56 c Restart #48 #Var: 3081 LB: -557741203 @ 95.51 100.05 c Restart #49 #Var: 3081 LB: -557741203 @ 99.997 104.44 c Restart #50 #Var: 3081 LB: -557741203 @ 104.39 109.12 c Restart #51 #Var: 3081 LB: -557741203 @ 109.07 113.76 c Restart #52 #Var: 3081 LB: -557741203 @ 113.7 118.67 c Restart #53 #Var: 3081 LB: -557741203 @ 118.62 123.55 c Restart #54 #Var: 3081 LB: -557741203 @ 123.49 128.37 c Restart #55 #Var: 3081 LB: -557741203 @ 128.32 133.48 c Restart #56 #Var: 3081 LB: -557741203 @ 133.42 138.82 c Restart #57 #Var: 3081 LB: -557741203 @ 138.75 144.10 c Restart #58 #Var: 3081 LB: -557741203 @ 144.04 149.50 c Restart #59 #Var: 3081 LB: -557741203 @ 149.44 154.85 c Restart #60 #Var: 3081 LB: -557741203 @ 154.78 160.49 c Restart #61 #Var: 3081 LB: -557741203 @ 160.43 165.77 c Restart #62 #Var: 3081 LB: -557741203 @ 165.7 171.58 c Restart #63 #Var: 3081 LB: -557741203 @ 171.51 177.34 c Restart #64 #Var: 3081 LB: -557741203 @ 177.27 183.26 c Restart #65 #Var: 3081 LB: -557741203 @ 183.19 189.01 c Restart #66 #Var: 3081 LB: -557741203 @ 188.94 195.29 c Restart #67 #Var: 3081 LB: -557741203 @ 195.22 201.36 c Restart #68 #Var: 3081 LB: -557741203 @ 201.28 207.97 c Restart #69 #Var: 3081 LB: -557741203 @ 207.89 214.75 c Restart #70 #Var: 3081 LB: -557741203 @ 214.67 217.91 c Restart #71 #Var: 3081 LB: -557741203 @ 217.83 222.43 c Restart #72 #Var: 3081 LB: -557741203 @ 222.34 229.01 c Restart #73 #Var: 3081 LB: -557741203 @ 228.92 234.27 c Restart #74 #Var: 3081 LB: -557741203 @ 234.18 240.75 c Restart #75 #Var: 3081 LB: -557741203 @ 240.66 247.40 c Restart #76 #Var: 3081 LB: -557741203 @ 247.3 254.96 c Restart #77 #Var: 3081 LB: -557741203 @ 254.87 261.63 c Restart #78 #Var: 3081 LB: -557741203 @ 261.53 268.55 c Restart #79 #Var: 3081 LB: -557741203 @ 268.45 275.99 c Restart #80 #Var: 3081 LB: -557741203 @ 275.88 283.11 c Restart #81 #Var: 3081 LB: -557741203 @ 283 290.66 c Restart #82 #Var: 3081 LB: -557741203 @ 290.55 297.28 c Restart #83 #Var: 3081 LB: -557741203 @ 297.17 305.56 c Restart #84 #Var: 3081 LB: -557741203 @ 305.45 312.25 c Restart #85 #Var: 3081 LB: -557741203 @ 312.13 319.19 c Restart #86 #Var: 3081 LB: -557741203 @ 319.07 325.97 c Restart #87 #Var: 3081 LB: -557741203 @ 325.85 332.71 c Restart #88 #Var: 3081 LB: -557741203 @ 332.59 339.65 c Restart #89 #Var: 3081 LB: -557741203 @ 339.52 346.88 c Restart #90 #Var: 3081 LB: -557741203 @ 346.75 350.68 c Restart #91 #Var: 3081 LB: -557741203 @ 350.55 353.18 c Restart #92 #Var: 3081 LB: -557741203 @ 353.05 355.17 c Restart #93 #Var: 3079 LB: -557741203 @ 355.04 359.70 c Restart #94 #Var: 3079 LB: -557741203 @ 359.57 363.69 c Restart #95 #Var: 3079 LB: -557741203 @ 363.55 369.48 c Restart #96 #Var: 3079 LB: -557741203 @ 369.34 376.09 c Restart #97 #Var: 3079 LB: -557741203 @ 375.95 378.15 c Restart #98 #Var: 3079 LB: -557741203 @ 378.02 385.54 c Restart #99 #Var: 3079 LB: -557741203 @ 385.4 392.81 c Restart #100 #Var: 3079 LB: -557741203 @ 392.67 397.93 c Restart #101 #Var: 3079 LB: -557741203 @ 397.79 404.48 c Restart #102 #Var: 3079 LB: -557741203 @ 404.33 412.57 c Restart #103 #Var: 3079 LB: -557741203 @ 412.42 419.91 c Restart #104 #Var: 3079 LB: -557741203 @ 419.75 427.70 c Restart #105 #Var: 3079 LB: -557741203 @ 427.55 434.13 c Restart #106 #Var: 3079 LB: -557741203 @ 433.97 441.96 c Restart #107 #Var: 3079 LB: -557741203 @ 441.8 449.04 c Restart #108 #Var: 3079 LB: -557741203 @ 448.88 456.06 c Restart #109 #Var: 3079 LB: -557741203 @ 455.9 462.36 c Restart #110 #Var: 3079 LB: -557741203 @ 462.2 468.48 c Restart #111 #Var: 3079 LB: -557741203 @ 468.32 475.67 c Restart #112 #Var: 3079 LB: -557741203 @ 475.5 482.45 c Restart #113 #Var: 3079 LB: -557741203 @ 482.28 489.73 c Restart #114 #Var: 3079 LB: -557741203 @ 489.55 496.26 c Restart #115 #Var: 3079 LB: -557741203 @ 496.09 500.95 c Restart #116 #Var: 3077 LB: -557741203 @ 500.77 504.43 c Restart #117 #Var: 3077 LB: -557741203 @ 504.25 509.37 c Restart #118 #Var: 3077 LB: -557741203 @ 509.19 514.73 c Restart #119 #Var: 3077 LB: -557741203 @ 514.55 518.24 c Restart #120 #Var: 3077 LB: -557741203 @ 518.06 523.11 c Restart #121 #Var: 3077 LB: -557741203 @ 522.92 532.01 c Restart #122 #Var: 3077 LB: -557741203 @ 531.83 540.45 c Restart #123 #Var: 3077 LB: -557741203 @ 540.26 548.28 c Restart #124 #Var: 3077 LB: -557741203 @ 548.08 555.92 c Restart #125 #Var: 3077 LB: -557741203 @ 555.72 564.30 c Restart #126 #Var: 3077 LB: -557741203 @ 564.11 573.72 c Restart #127 #Var: 3077 LB: -557741203 @ 573.52 583.49 c Restart #128 #Var: 3077 LB: -557741203 @ 583.28 592.61 c Restart #129 #Var: 3077 LB: -557741203 @ 592.4 603.45 c Restart #130 #Var: 3077 LB: -557741203 @ 603.24 612.50 c Restart #131 #Var: 3077 LB: -557741203 @ 612.29 620.84 c Restart #132 #Var: 3077 LB: -557741203 @ 620.63 630.85 c Restart #133 #Var: 3077 LB: -557741203 @ 630.63 636.17 c Restart #134 #Var: 3077 LB: -557741203 @ 635.95 646.32 c Restart #135 #Var: 3077 LB: -557741203 @ 646.1 651.93 c Restart #136 #Var: 3077 LB: -557741203 @ 651.7 668.44 c Restart #137 #Var: 3077 LB: -557741203 @ 668.21 673.99 c Restart #138 #Var: 3077 LB: -557741203 @ 673.75 678.29 c Restart #139 #Var: 3077 LB: -557741203 @ 678.06 682.81 c Restart #140 #Var: 3077 LB: -557741203 @ 682.57 686.68 c Restart #141 #Var: 3077 LB: -557741203 @ 686.44 693.33 c Restart #142 #Var: 3077 LB: -557741203 @ 693.09 705.24 c Restart #143 #Var: 3077 LB: -557741203 @ 705 716.25 c Restart #144 #Var: 3077 LB: -557741203 @ 716.01 730.30 c Restart #145 #Var: 3077 LB: -557741203 @ 730.05 742.05 c Restart #146 #Var: 3077 LB: -557741203 @ 741.8 756.14 c Restart #147 #Var: 3077 LB: -557741203 @ 755.88 767.55 c Restart #148 #Var: 3077 LB: -557741203 @ 767.29 781.64 c Restart #149 #Var: 3077 LB: -557741203 @ 781.37 794.06 c Restart #150 #Var: 3077 LB: -557741203 @ 793.79 807.18 c Restart #151 #Var: 3077 LB: -557741203 @ 806.9 820.17 c Restart #152 #Var: 3077 LB: -557741203 @ 819.89 833.25 c Restart #153 #Var: 3077 LB: -557741203 @ 832.96 847.52 c Restart #154 #Var: 3077 LB: -557741203 @ 847.23 860.44 c Restart #155 #Var: 3077 LB: -557741203 @ 860.14 872.97 c Restart #156 #Var: 3077 LB: -557741203 @ 872.67 887.30 c Restart #157 #Var: 3077 LB: -557741203 @ 887 903.28 c CHANGE Heuristic... 903.28 c Restart #0 #Var: 3077 LB: -557741203 @ 902.97 903.43 c Restart #1 #Var: 3077 LB: -557741203 @ 903.12 903.56 c Restart #2 #Var: 3077 LB: -557741203 @ 903.25 903.85 c Restart #3 #Var: 3077 LB: -557741203 @ 903.54 904.11 c Restart #4 #Var: 3077 LB: -557741203 @ 903.8 904.41 c Restart #5 #Var: 3077 LB: -557741203 @ 904.1 904.81 c Restart #6 #Var: 3077 LB: -557741203 @ 904.5 905.23 c Restart #7 #Var: 3077 LB: -557741203 @ 904.92 905.75 c Restart #8 #Var: 3077 LB: -557741203 @ 905.44 906.63 c Restart #9 #Var: 3076 LB: -557741203 @ 906.32 907.57 c Restart #10 #Var: 3076 LB: -557741203 @ 907.26 907.91 c Restart #11 #Var: 3076 LB: -557741203 @ 907.6 909.07 c Restart #12 #Var: 3076 LB: -557741203 @ 908.76 910.24 c Restart #13 #Var: 3076 LB: -557741203 @ 909.93 911.51 c Restart #14 #Var: 3076 LB: -557741203 @ 911.2 912.99 c Restart #15 #Var: 3076 LB: -557741203 @ 912.68 914.49 c Restart #16 #Var: 3076 LB: -557741203 @ 914.17 915.35 c Restart #17 #Var: 3076 LB: -557741203 @ 915.04 917.03 c Restart #18 #Var: 3076 LB: -557741203 @ 916.72 918.72 c Restart #19 #Var: 3076 LB: -557741203 @ 918.41 920.61 c Restart #20 #Var: 3076 LB: -557741203 @ 920.29 922.60 c Restart #21 #Var: 3076 LB: -557741203 @ 922.28 924.64 c Restart #22 #Var: 3076 LB: -557741203 @ 924.33 926.76 c Restart #23 #Var: 3076 LB: -557741203 @ 926.44 928.86 c Restart #24 #Var: 3076 LB: -557741203 @ 928.54 931.18 c Restart #25 #Var: 3076 LB: -557741203 @ 930.87 933.58 c Restart #26 #Var: 3076 LB: -557741203 @ 933.26 936.12 c Restart #27 #Var: 3076 LB: -557741203 @ 935.8 938.70 c Restart #28 #Var: 3076 LB: -557741203 @ 938.38 941.48 c Restart #29 #Var: 3076 LB: -557741203 @ 941.16 944.15 c Restart #30 #Var: 3076 LB: -557741203 @ 943.83 946.79 c Restart #31 #Var: 3076 LB: -557741203 @ 946.47 949.77 c Restart #32 #Var: 3076 LB: -557741203 @ 949.45 952.85 c Restart #33 #Var: 3076 LB: -557741203 @ 952.53 955.05 c Restart #34 #Var: 3076 LB: -557741203 @ 954.73 958.24 c Restart #35 #Var: 3076 LB: -557741203 @ 957.91 961.59 c Restart #36 #Var: 3076 LB: -557741203 @ 961.26 965.01 c Restart #37 #Var: 3076 LB: -557741203 @ 964.68 968.61 c Restart #38 #Var: 3076 LB: -557741203 @ 968.28 972.17 c Restart #39 #Var: 3076 LB: -557741203 @ 971.84 975.58 c Restart #40 #Var: 3076 LB: -557741203 @ 975.25 979.17 c Restart #41 #Var: 3076 LB: -557741203 @ 978.82 983.02 c Restart #42 #Var: 3076 LB: -557741203 @ 982.67 985.53 c Restart #43 #Var: 3076 LB: -557741203 @ 985.16 989.67 c Restart #44 #Var: 3076 LB: -557741203 @ 989.3 993.72 c Restart #45 #Var: 3076 LB: -557741203 @ 993.31 998.11 c Restart #46 #Var: 3076 LB: -557741203 @ 997.69 1002.19 c Restart #47 #Var: 3076 LB: -557741203 @ 1001.8 1006.66 c Restart #48 #Var: 3076 LB: -557741203 @ 1006.2 1010.65 c Restart #49 #Var: 3076 LB: -557741203 @ 1010.2 1015.45 c Restart #50 #Var: 3076 LB: -557741203 @ 1015 1019.78 c Restart #51 #Var: 3076 LB: -557741203 @ 1019.4 1024.58 c Restart #52 #Var: 3076 LB: -557741203 @ 1024.2 1029.26 c Restart #53 #Var: 3076 LB: -557741203 @ 1028.8 1034.07 c Restart #54 #Var: 3076 LB: -557741203 @ 1033.6 1038.76 c Restart #55 #Var: 3076 LB: -557741203 @ 1038.3 1044.11 c Restart #56 #Var: 3076 LB: -557741203 @ 1043.7 1049.37 c Restart #57 #Var: 3076 LB: -557741203 @ 1048.9 1054.80 c Restart #58 #Var: 3076 LB: -557741203 @ 1054.4 1060.25 c Restart #59 #Var: 3076 LB: -557741203 @ 1059.8 1065.61 c Restart #60 #Var: 3076 LB: -557741203 @ 1065.2 1071.10 c Restart #61 #Var: 3076 LB: -557741203 @ 1070.7 1076.72 c Restart #62 #Var: 3076 LB: -557741203 @ 1076.3 1082.62 c Restart #63 #Var: 3076 LB: -557741203 @ 1082.2 1088.46 c Restart #64 #Var: 3076 LB: -557741203 @ 1088 1094.32 c Restart #65 #Var: 3076 LB: -557741203 @ 1093.9 1100.43 c Restart #66 #Var: 3076 LB: -557741203 @ 1100 1104.50 c Restart #67 #Var: 3076 LB: -557741203 @ 1104 1110.48 c Restart #68 #Var: 3076 LB: -557741203 @ 1110 1116.49 c Restart #69 #Var: 3076 LB: -557741203 @ 1116 1122.10 c Restart #70 #Var: 3076 LB: -557741203 @ 1121.7 1128.15 c Restart #71 #Var: 3076 LB: -557741203 @ 1127.7 1134.21 c Restart #72 #Var: 3076 LB: -557741203 @ 1133.8 1141.16 c Restart #73 #Var: 3076 LB: -557741203 @ 1140.7 1147.99 c Restart #74 #Var: 3076 LB: -557741203 @ 1147.5 1154.94 c Restart #75 #Var: 3076 LB: -557741203 @ 1154.5 1158.51 c Restart #76 #Var: 3076 LB: -557741203 @ 1158 1161.98 c Restart #77 #Var: 3076 LB: -557741203 @ 1161.5 1167.84 c Restart #78 #Var: 3076 LB: -557741203 @ 1167.4 1172.70 c Restart #79 #Var: 3076 LB: -557741203 @ 1172.2 1177.07 c Restart #80 #Var: 3076 LB: -557741203 @ 1176.6 1181.73 c Restart #81 #Var: 3076 LB: -557741203 @ 1181.3 1184.94 c Restart #82 #Var: 3076 LB: -557741203 @ 1184.5 1191.26 c Restart #83 #Var: 3076 LB: -557741203 @ 1190.8 1196.77 c Restart #84 #Var: 3076 LB: -557741203 @ 1196.3 1204.06 c Restart #85 #Var: 3076 LB: -557741203 @ 1203.6 1206.28 c Restart #86 #Var: 3076 LB: -557741203 @ 1205.8 1208.94 c Restart #87 #Var: 3076 LB: -557741203 @ 1208.5 1213.91 c Restart #88 #Var: 3076 LB: -557741203 @ 1213.4 1220.25 c Restart #89 #Var: 3076 LB: -557741203 @ 1219.8 1225.86 c Restart #90 #Var: 3076 LB: -557741203 @ 1225.4 1230.83 c Restart #91 #Var: 3076 LB: -557741203 @ 1230.3 1235.92 c Restart #92 #Var: 3076 LB: -557741203 @ 1235.4 1241.26 c Restart #93 #Var: 3076 LB: -557741203 @ 1240.8 1246.17 c Restart #94 #Var: 3076 LB: -557741203 @ 1245.7 1251.47 c Restart #95 #Var: 3076 LB: -557741203 @ 1251 1256.40 c Restart #96 #Var: 3076 LB: -557741203 @ 1255.9 1261.71 c Restart #97 #Var: 3076 LB: -557741203 @ 1261.2 1266.48 c Restart #98 #Var: 3076 LB: -557741203 @ 1266 1272.28 c Restart #99 #Var: 3076 LB: -557741203 @ 1271.8 1277.50 c Restart #100 #Var: 3075 LB: -557741203 @ 1277 1282.55 c Restart #101 #Var: 3075 LB: -557741203 @ 1282 1289.21 c Restart #102 #Var: 3075 LB: -557741203 @ 1288.7 1298.25 c Restart #103 #Var: 3075 LB: -557741203 @ 1297.7 1307.09 c Restart #104 #Var: 3074 LB: -557741203 @ 1306.6 1314.53 c Restart #105 #Var: 3074 LB: -557741203 @ 1314 1323.60 c Restart #106 #Var: 3074 LB: -557741203 @ 1323.1 1331.53 c Restart #107 #Var: 3074 LB: -557741203 @ 1331 1340.81 c Restart #108 #Var: 3074 LB: -557741203 @ 1340.3 1347.75 c Restart #109 #Var: 3073 LB: -557741203 @ 1347.2 1356.40 c Restart #110 #Var: 3073 LB: -557741203 @ 1355.9 1364.49 c Restart #111 #Var: 3073 LB: -557741203 @ 1364 1373.99 c Restart #112 #Var: 3073 LB: -557741203 @ 1373.5 1382.31 c Restart #113 #Var: 3073 LB: -557741203 @ 1381.8 1389.26 c Restart #114 #Var: 3073 LB: -557741203 @ 1388.7 1399.79 c Restart #115 #Var: 3073 LB: -557741203 @ 1399.2 1409.10 c Restart #116 #Var: 3073 LB: -557741203 @ 1408.5 1416.39 c Restart #117 #Var: 3073 LB: -557741203 @ 1415.8 1422.55 c Restart #118 #Var: 3073 LB: -557741203 @ 1422 1430.65 c Restart #119 #Var: 3069 LB: -557659283 @ 1430.1 1437.65 c Restart #120 #Var: 3069 LB: -557659283 @ 1437.1 1444.87 c Restart #121 #Var: 3069 LB: -557659283 @ 1444.3 1448.06 c Restart #122 #Var: 3069 LB: -557659283 @ 1447.5 1452.05 c Restart #123 #Var: 3069 LB: -557659283 @ 1451.5 1461.72 c Restart #124 #Var: 3069 LB: -557659283 @ 1461.2 1468.27 c Restart #125 #Var: 3069 LB: -557659283 @ 1467.7 1476.26 c Restart #126 #Var: 3069 LB: -557659283 @ 1475.7 1482.95 c Restart #127 #Var: 3069 LB: -557659283 @ 1482.4 1488.85 c Restart #128 #Var: 3069 LB: -557659283 @ 1488.3 1496.34 c Restart #129 #Var: 3069 LB: -557659283 @ 1495.8 1505.88 c Restart #130 #Var: 3069 LB: -557659283 @ 1505.3 1514.86 c Restart #131 #Var: 3069 LB: -557659283 @ 1514.3 1518.64 c Restart #132 #Var: 3069 LB: -557659283 @ 1518.1 1522.80 c Restart #133 #Var: 3069 LB: -557659283 @ 1522.2 1528.06 c Restart #134 #Var: 3069 LB: -557659283 @ 1527.5 1538.24 c Restart #135 #Var: 3069 LB: -557659283 @ 1537.6 1545.34 c Restart #136 #Var: 3069 LB: -557659283 @ 1544.8 1549.71 c Restart #137 #Var: 3069 LB: -557659283 @ 1549.1 1555.07 c Restart #138 #Var: 3069 LB: -557659283 @ 1554.5 1559.37 c Restart #139 #Var: 3063 LB: -557610131 @ 1558.8 1567.19 c Restart #140 #Var: 3063 LB: -557610131 @ 1566.6 1574.21 c Restart #141 #Var: 3063 LB: -557610131 @ 1573.6 1581.80 c Restart #142 #Var: 3063 LB: -557610131 @ 1581.2 1588.22 c Restart #143 #Var: 3063 LB: -557610131 @ 1587.6 1597.16 c Restart #144 #Var: 3063 LB: -557610131 @ 1596.6 1605.08 c Restart #145 #Var: 3063 LB: -557610131 @ 1604.5 1612.79 c Restart #146 #Var: 3063 LB: -557610131 @ 1612.2 1620.29 c Restart #147 #Var: 3063 LB: -557610131 @ 1619.7 1655.30 c Restart #148 #Var: 3063 LB: -557610131 @ 1654.7 1668.74 c Restart #149 #Var: 3063 LB: -557610131 @ 1668.1 1673.95 c Restart #150 #Var: 3063 LB: -557610131 @ 1673.3 1677.82 c Restart #151 #Var: 3063 LB: -557610131 @ 1677.2 1686.25 c Restart #152 #Var: 3063 LB: -557610131 @ 1685.6 1691.64 c Restart #153 #Var: 3063 LB: -557610131 @ 1691 1704.19 c Restart #154 #Var: 3063 LB: -557610131 @ 1703.5 1715.11 c Restart #155 #Var: 3063 LB: -557610131 @ 1714.5 1721.42 c Restart #156 #Var: 3063 LB: -557610131 @ 1720.8 1727.16 c Restart #157 #Var: 3063 LB: -557610131 @ 1726.5 1733.43 c Restart #158 #Var: 3063 LB: -557610131 @ 1732.8 1740.69 c Restart #159 #Var: 3063 LB: -557610131 @ 1740 1747.13 c Restart #160 #Var: 3063 LB: -557610131 @ 1746.5 1757.17 c Restart #161 #Var: 3063 LB: -557610131 @ 1756.5 1766.04 c Restart #162 #Var: 3063 LB: -557610131 @ 1765.4 1771.36 c Restart #163 #Var: 3061 LB: -557610131 @ 1770.7 1784.01 c Restart #164 #Var: 3061 LB: -557610131 @ 1783.3 1793.99 c Restart #165 #Var: 3061 LB: -557610131 @ 1793.3 1800.67 s UNKNOWN 1800.67 c Exit Code: 0 1800.67 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/node15/watcher-40643-1149309888 -o ROOT/results/node15/solver-40643-1149309888 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node15/40643-1149309888/instance-40643-1149309888.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.86 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1197584/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=4664 CPUtime=0 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 102 0 0 0 0 0 0 0 19 0 1 0 196651587 4775936 84 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7476354 0 0 4096 0 0 0 0 17 1 0 0 /proc/4971/statm: 1166 101 84 55 0 46 0 [startup+10.0015 s] /proc/loadavg: 0.88 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185496/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=16956 CPUtime=9.98 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 3477 0 0 0 990 8 0 0 25 0 1 0 196651587 17362944 3392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 4239 3392 297 55 0 3131 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 16956 [startup+20.0073 s] /proc/loadavg: 0.90 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185496/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=16956 CPUtime=19.97 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 3477 0 0 0 1988 9 0 0 25 0 1 0 196651587 17362944 3392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 4239 3392 297 55 0 3131 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 16956 [startup+30.013 s] /proc/loadavg: 0.91 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185496/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=16956 CPUtime=29.98 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 3477 0 0 0 2988 10 0 0 25 0 1 0 196651587 17362944 3392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 4239 3392 297 55 0 3131 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 16956 [startup+40.0187 s] /proc/loadavg: 0.93 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185496/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=16956 CPUtime=39.98 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 3477 0 0 0 3987 11 0 0 25 0 1 0 196651587 17362944 3392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 4239 3392 297 55 0 3131 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 16956 [startup+50.0244 s] /proc/loadavg: 0.94 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185560/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=16956 CPUtime=49.99 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 3477 0 0 0 4987 12 0 0 25 0 1 0 196651587 17362944 3392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 4239 3392 297 55 0 3131 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 16956 [startup+60.0302 s] /proc/loadavg: 0.95 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185496/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=16956 CPUtime=59.98 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 3477 0 0 0 5986 12 0 0 25 0 1 0 196651587 17362944 3392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 4239 3392 297 55 0 3131 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 16956 [startup+70.0359 s] /proc/loadavg: 0.95 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185496/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=16956 CPUtime=69.99 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 3477 0 0 0 6985 14 0 0 25 0 1 0 196651587 17362944 3392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 4239 3392 297 55 0 3131 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 16956 [startup+80.0416 s] /proc/loadavg: 0.96 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185496/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=16956 CPUtime=79.99 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 3477 0 0 0 7985 14 0 0 25 0 1 0 196651587 17362944 3392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 4239 3392 297 55 0 3131 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 16956 [startup+90.0473 s] /proc/loadavg: 0.97 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185496/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=16956 CPUtime=89.99 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 3477 0 0 0 8983 16 0 0 25 0 1 0 196651587 17362944 3392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 4239 3392 297 55 0 3131 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 16956 [startup+100.054 s] /proc/loadavg: 0.97 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185496/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=16956 CPUtime=100 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 3477 0 0 0 9983 17 0 0 25 0 1 0 196651587 17362944 3392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718134 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 4239 3392 297 55 0 3131 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 16956 [startup+110.061 s] /proc/loadavg: 0.98 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185368/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=17152 CPUtime=110 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 3518 0 0 0 10983 17 0 0 25 0 1 0 196651587 17563648 3430 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 4288 3430 297 55 0 3180 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 17152 [startup+120.067 s] /proc/loadavg: 0.98 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185368/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=17152 CPUtime=120 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 3518 0 0 0 11982 18 0 0 25 0 1 0 196651587 17563648 3430 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 4288 3430 297 55 0 3180 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 17152 [startup+130.073 s] /proc/loadavg: 0.98 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185368/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=17152 CPUtime=130.01 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 3518 0 0 0 12982 19 0 0 25 0 1 0 196651587 17563648 3430 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 4288 3430 297 55 0 3180 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 17152 [startup+140.08 s] /proc/loadavg: 0.98 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185368/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=17152 CPUtime=140.01 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 3518 0 0 0 13982 19 0 0 25 0 1 0 196651587 17563648 3430 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 4288 3430 297 55 0 3180 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 17152 [startup+150.086 s] /proc/loadavg: 0.99 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185368/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=17152 CPUtime=150.02 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 3518 0 0 0 14981 21 0 0 25 0 1 0 196651587 17563648 3430 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 4288 3430 297 55 0 3180 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 17152 [startup+160.091 s] /proc/loadavg: 0.99 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185368/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=17152 CPUtime=160.01 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 3518 0 0 0 15980 21 0 0 25 0 1 0 196651587 17563648 3430 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 4288 3430 297 55 0 3180 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 17152 [startup+170.098 s] /proc/loadavg: 0.99 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185368/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=17152 CPUtime=170.01 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 3518 0 0 0 16979 22 0 0 25 0 1 0 196651587 17563648 3430 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 4288 3430 297 55 0 3180 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 17152 [startup+180.104 s] /proc/loadavg: 0.99 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185368/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=17140 CPUtime=180.02 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 3539 0 0 0 17979 23 0 0 25 0 1 0 196651587 17551360 3437 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 4285 3437 297 55 0 3177 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 17140 [startup+190.11 s] /proc/loadavg: 0.99 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185304/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=16992 CPUtime=190.03 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 3543 0 0 0 18979 24 0 0 25 0 1 0 196651587 17399808 3420 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7954149 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 4248 3420 297 55 0 3140 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 16992 [startup+200.116 s] /proc/loadavg: 0.99 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185304/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=16992 CPUtime=200.02 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 3543 0 0 0 19978 24 0 0 25 0 1 0 196651587 17399808 3420 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 4248 3420 297 55 0 3140 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 16992 [startup+210.123 s] /proc/loadavg: 0.99 0.99 0.99 2/64 4971 /proc/meminfo: memFree=1185304/2055920 swapFree=4181408/4192956 ################ # More data... # ################ /proc/4971/statm: 60326 59437 297 55 0 59218 0 Current children cumulated CPU time (s) 1760.36 Current children cumulated vsize (Kb) 241304 [startup+1771.04 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=960344/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=241676 CPUtime=1770.36 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 59841 0 0 0 176790 246 0 0 25 0 1 0 196651587 247476224 59519 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60419 59519 297 55 0 59311 0 Current children cumulated CPU time (s) 1770.36 Current children cumulated vsize (Kb) 241676 [startup+1781.05 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=960088/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=241940 CPUtime=1780.37 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 59904 0 0 0 177789 248 0 0 25 0 1 0 196651587 247746560 59582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60485 59582 297 55 0 59377 0 Current children cumulated CPU time (s) 1780.37 Current children cumulated vsize (Kb) 241940 [startup+1782.05 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=960088/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=241940 CPUtime=1781.37 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 59904 0 0 0 177889 248 0 0 25 0 1 0 196651587 247746560 59582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60485 59582 297 55 0 59377 0 Current children cumulated CPU time (s) 1781.37 Current children cumulated vsize (Kb) 241940 [startup+1783.05 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=960088/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=241940 CPUtime=1782.38 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 59904 0 0 0 177990 248 0 0 25 0 1 0 196651587 247746560 59582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528793 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60485 59582 297 55 0 59377 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (Kb) 241940 [startup+1784.06 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=960088/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=241940 CPUtime=1783.38 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 59904 0 0 0 178090 248 0 0 25 0 1 0 196651587 247746560 59582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60485 59582 297 55 0 59377 0 Current children cumulated CPU time (s) 1783.38 Current children cumulated vsize (Kb) 241940 [startup+1785.06 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=960088/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=241940 CPUtime=1784.38 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 59904 0 0 0 178190 248 0 0 25 0 1 0 196651587 247746560 59582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540723 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60485 59582 297 55 0 59377 0 Current children cumulated CPU time (s) 1784.38 Current children cumulated vsize (Kb) 241940 [startup+1786.07 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=960088/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=241940 CPUtime=1785.39 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 59904 0 0 0 178290 249 0 0 25 0 1 0 196651587 247746560 59582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7946327 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60485 59582 297 55 0 59377 0 Current children cumulated CPU time (s) 1785.39 Current children cumulated vsize (Kb) 241940 [startup+1787.07 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=960024/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=241940 CPUtime=1786.4 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 59904 0 0 0 178391 249 0 0 25 0 1 0 196651587 247746560 59582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60485 59582 297 55 0 59377 0 Current children cumulated CPU time (s) 1786.4 Current children cumulated vsize (Kb) 241940 [startup+1788.08 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=960024/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=241940 CPUtime=1787.4 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 59904 0 0 0 178491 249 0 0 25 0 1 0 196651587 247746560 59582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60485 59582 297 55 0 59377 0 Current children cumulated CPU time (s) 1787.4 Current children cumulated vsize (Kb) 241940 [startup+1789.08 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=960024/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=241940 CPUtime=1788.41 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 59904 0 0 0 178592 249 0 0 25 0 1 0 196651587 247746560 59582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603592 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60485 59582 297 55 0 59377 0 Current children cumulated CPU time (s) 1788.41 Current children cumulated vsize (Kb) 241940 [startup+1790.09 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=960024/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=241940 CPUtime=1789.41 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 59904 0 0 0 178692 249 0 0 25 0 1 0 196651587 247746560 59582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60485 59582 297 55 0 59377 0 Current children cumulated CPU time (s) 1789.41 Current children cumulated vsize (Kb) 241940 [startup+1791.09 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=960024/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=241940 CPUtime=1790.41 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 59904 0 0 0 178792 249 0 0 25 0 1 0 196651587 247746560 59582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60485 59582 297 55 0 59377 0 Current children cumulated CPU time (s) 1790.41 Current children cumulated vsize (Kb) 241940 [startup+1792.1 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=960024/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=241940 CPUtime=1791.42 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 59904 0 0 0 178893 249 0 0 25 0 1 0 196651587 247746560 59582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60485 59582 297 55 0 59377 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (Kb) 241940 [startup+1793.1 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=960024/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=241940 CPUtime=1792.42 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 59904 0 0 0 178993 249 0 0 25 0 1 0 196651587 247746560 59582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60485 59582 297 55 0 59377 0 Current children cumulated CPU time (s) 1792.42 Current children cumulated vsize (Kb) 241940 [startup+1794.11 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=960024/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=241940 CPUtime=1793.42 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 59904 0 0 0 179093 249 0 0 25 0 1 0 196651587 247746560 59582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60485 59582 297 55 0 59377 0 Current children cumulated CPU time (s) 1793.42 Current children cumulated vsize (Kb) 241940 [startup+1795.11 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=960024/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=241940 CPUtime=1794.43 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 59904 0 0 0 179193 250 0 0 25 0 1 0 196651587 247746560 59582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60485 59582 297 55 0 59377 0 Current children cumulated CPU time (s) 1794.43 Current children cumulated vsize (Kb) 241940 [startup+1796.12 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=960024/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=241940 CPUtime=1795.44 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 59904 0 0 0 179294 250 0 0 25 0 1 0 196651587 247746560 59582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60485 59582 297 55 0 59377 0 Current children cumulated CPU time (s) 1795.44 Current children cumulated vsize (Kb) 241940 [startup+1797.12 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=960024/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=241940 CPUtime=1796.44 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 59904 0 0 0 179394 250 0 0 25 0 1 0 196651587 247746560 59582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60485 59582 297 55 0 59377 0 Current children cumulated CPU time (s) 1796.44 Current children cumulated vsize (Kb) 241940 [startup+1798.13 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=959896/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=242072 CPUtime=1797.45 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 59939 0 0 0 179495 250 0 0 25 0 1 0 196651587 247881728 59617 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557754 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60518 59617 297 55 0 59410 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (Kb) 242072 [startup+1799.13 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=959640/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=242336 CPUtime=1798.45 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 60011 0 0 0 179595 250 0 0 25 0 1 0 196651587 248152064 59689 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534760 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60584 59689 297 55 0 59476 0 Current children cumulated CPU time (s) 1798.45 Current children cumulated vsize (Kb) 242336 [startup+1800.14 s] /proc/loadavg: 0.99 0.99 0.99 2/64 5166 /proc/meminfo: memFree=959384/2055920 swapFree=4181408/4192956 [pid=4971] ppid=4969 vsize=242648 CPUtime=1799.45 /proc/4971/stat : 4971 (bsolo) R 4969 4971 4925 0 -1 0 60069 0 0 0 179695 250 0 0 25 0 1 0 196651587 248471552 59747 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4971/statm: 60662 59747 297 55 0 59554 0 Current children cumulated CPU time (s) 1799.45 Current children cumulated vsize (Kb) 242648 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.04 CPU user time (s): 1797.49 CPU system time (s): 2.54661 CPU usage (%): 99.9623 Max. virtual memory (cumulated for all children) (Kb): 242648
Begin job on node15 on Sat Jun 3 04:44:48 UTC 2006 FILE ID= 40643-1149309888 PBS_JOBID= 307885 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-recipe.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node15/40643-1149309888/instance-40643-1149309888.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-40643-1149309888 -o ROOT/results/node15/solver-40643-1149309888 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node15/40643-1149309888/instance-40643-1149309888.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 19c812fe81842f9b63508fc356bab039 RANDOM SEED= 571058723 /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.285 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.285 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: 1197984 kB Buffers: 40172 kB Cached: 743348 kB SwapCached: 3308 kB Active: 122508 kB Inactive: 669792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1197984 kB SwapTotal: 4192956 kB SwapFree: 4181408 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14692 kB Slab: 51636 kB Committed_AS: 309048 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node15 on Sat Jun 3 05:14:49 UTC 2006