Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1800.59 |
Name | normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb |
MD5SUM | fff7b3dc5d07bd6a4fd3046b5e5241f1 |
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.067989 |
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 | 8190 |
Total number of constraints | 181 |
Number of constraints which are clauses | 91 |
Number of constraints which are cardinality constraints (but not clauses) | 90 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 90 |
Maximum length of a constraint | 91 |
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 | 92 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03 c Time Limit set via PBTIMEOUT to 1800 0.06 c INFO: OSL Context initialized. 0.17 c Initial problem consists of 8190 variables and 181 constraints. 0.19 c Using non-optimization problem switches. 0.19 c No problem reductions applied in OPT. instance. 0.19 c preprocess terminated. Elapsed time: 0.126 0.19 c After prepocess the problem consists of 8190 variables and 181 constraints. 0.35 c Restart #1 #Var: 8190 LB: 0 @ 0.285 0.50 c Restart #2 #Var: 8190 LB: 0 @ 0.44 0.68 c Restart #3 #Var: 8190 LB: 0 @ 0.618 0.89 c Restart #4 #Var: 8190 LB: 0 @ 0.824 1.14 c Restart #5 #Var: 8190 LB: 0 @ 1.075 1.43 c Restart #6 #Var: 8190 LB: 0 @ 1.365 1.77 c Restart #7 #Var: 8190 LB: 0 @ 1.707 2.15 c Restart #8 #Var: 8190 LB: 0 @ 2.09 2.58 c Restart #9 #Var: 8190 LB: 0 @ 2.521 3.07 c Restart #10 #Var: 8190 LB: 0 @ 3.005 3.58 c Restart #11 #Var: 8190 LB: 0 @ 3.522 4.19 c Restart #12 #Var: 8190 LB: 0 @ 4.125 4.86 c Restart #13 #Var: 8190 LB: 0 @ 4.793 5.57 c Restart #14 #Var: 8190 LB: 0 @ 5.502 6.31 c Restart #15 #Var: 8190 LB: 0 @ 6.247 7.12 c Restart #16 #Var: 8190 LB: 0 @ 7.053 7.98 c Restart #17 #Var: 8190 LB: 0 @ 7.908 8.89 c Restart #18 #Var: 8190 LB: 0 @ 8.824 9.83 c Restart #19 #Var: 8190 LB: 0 @ 9.764 10.84 c Restart #20 #Var: 8190 LB: 0 @ 10.776 11.90 c Restart #21 #Var: 8190 LB: 0 @ 11.83 13.02 c Restart #22 #Var: 8190 LB: 0 @ 12.954 14.20 c Restart #23 #Var: 8190 LB: 0 @ 14.125 15.40 c Restart #24 #Var: 8190 LB: 0 @ 15.333 16.70 c Restart #25 #Var: 8190 LB: 0 @ 16.633 19.04 c Restart #26 #Var: 8190 LB: 0 @ 18.966 22.11 c Restart #27 #Var: 8190 LB: 0 @ 22.034 24.44 c Restart #28 #Var: 8190 LB: 0 @ 24.363 25.90 c Restart #29 #Var: 8190 LB: 0 @ 25.829 27.39 c Restart #30 #Var: 8190 LB: 0 @ 27.314 28.91 c Restart #31 #Var: 8190 LB: 0 @ 28.831 30.44 c Restart #32 #Var: 8190 LB: 0 @ 30.367 32.03 c Restart #33 #Var: 8190 LB: 0 @ 31.958 33.68 c Restart #34 #Var: 8190 LB: 0 @ 33.601 35.36 c Restart #35 #Var: 8190 LB: 0 @ 35.281 37.11 c Restart #36 #Var: 8190 LB: 0 @ 37.03 38.90 c Restart #37 #Var: 8190 LB: 0 @ 38.821 40.72 c Restart #38 #Var: 8190 LB: 0 @ 40.647 42.60 c Restart #39 #Var: 8190 LB: 0 @ 42.522 44.50 c Restart #40 #Var: 8190 LB: 0 @ 44.417 46.50 c Restart #41 #Var: 8190 LB: 0 @ 46.417 48.54 c Restart #42 #Var: 8190 LB: 0 @ 48.46 50.61 c Restart #43 #Var: 8190 LB: 0 @ 50.535 52.78 c Restart #44 #Var: 8190 LB: 0 @ 52.697 55.01 c Restart #45 #Var: 8190 LB: 0 @ 54.932 57.23 c Restart #46 #Var: 8190 LB: 0 @ 57.149 59.53 c Restart #47 #Var: 8190 LB: 0 @ 59.448 61.88 c Restart #48 #Var: 8190 LB: 0 @ 61.797 64.25 c Restart #49 #Var: 8190 LB: 0 @ 64.168 66.66 c Restart #50 #Var: 8190 LB: 0 @ 66.571 69.12 c Restart #51 #Var: 8190 LB: 0 @ 69.031 71.67 c Restart #52 #Var: 8190 LB: 0 @ 71.584 74.22 c Restart #53 #Var: 8190 LB: 0 @ 74.137 76.86 c Restart #54 #Var: 8190 LB: 0 @ 76.77 79.52 c Restart #55 #Var: 8190 LB: 0 @ 79.435 82.21 c Restart #56 #Var: 8190 LB: 0 @ 82.118 85.03 c Restart #57 #Var: 8190 LB: 0 @ 84.937 87.89 c Restart #58 #Var: 8190 LB: 0 @ 87.796 90.74 c Restart #59 #Var: 8190 LB: 0 @ 90.653 93.67 c Restart #60 #Var: 8190 LB: 0 @ 93.581 96.54 c Restart #61 #Var: 8190 LB: 0 @ 96.451 99.51 c Restart #62 #Var: 8190 LB: 0 @ 99.416 102.60 c Restart #63 #Var: 8190 LB: 0 @ 102.5 105.72 c Restart #64 #Var: 8190 LB: 0 @ 105.62 108.95 c Restart #65 #Var: 8190 LB: 0 @ 108.85 112.03 c Restart #66 #Var: 8190 LB: 0 @ 111.94 115.26 c Restart #67 #Var: 8190 LB: 0 @ 115.16 118.53 c Restart #68 #Var: 8190 LB: 0 @ 118.43 121.85 c Restart #69 #Var: 8190 LB: 0 @ 121.75 125.19 c Restart #70 #Var: 8190 LB: 0 @ 125.09 128.66 c Restart #71 #Var: 8190 LB: 0 @ 128.56 132.12 c Restart #72 #Var: 8190 LB: 0 @ 132.02 135.79 c Restart #73 #Var: 8190 LB: 0 @ 135.69 139.44 c Restart #74 #Var: 8190 LB: 0 @ 139.33 143.11 c Restart #75 #Var: 8190 LB: 0 @ 143 146.84 c Restart #76 #Var: 8190 LB: 0 @ 146.73 150.74 c Restart #77 #Var: 8190 LB: 0 @ 150.63 154.63 c Restart #78 #Var: 8190 LB: 0 @ 154.52 158.49 c Restart #79 #Var: 8190 LB: 0 @ 158.38 162.39 c Restart #80 #Var: 8190 LB: 0 @ 162.28 166.27 c Restart #81 #Var: 8190 LB: 0 @ 166.16 170.38 c Restart #82 #Var: 8190 LB: 0 @ 170.26 174.67 c Restart #83 #Var: 8190 LB: 0 @ 174.56 178.75 c Restart #84 #Var: 8190 LB: 0 @ 178.63 182.78 c Restart #85 #Var: 8190 LB: 0 @ 182.66 186.98 c Restart #86 #Var: 8190 LB: 0 @ 186.86 191.13 c Restart #87 #Var: 8190 LB: 0 @ 191.02 195.35 c Restart #88 #Var: 8190 LB: 0 @ 195.23 199.72 c Restart #89 #Var: 8190 LB: 0 @ 199.6 204.12 c Restart #90 #Var: 8190 LB: 0 @ 204 208.66 c Restart #91 #Var: 8190 LB: 0 @ 208.53 213.15 c Restart #92 #Var: 8190 LB: 0 @ 213.02 217.81 c Restart #93 #Var: 8190 LB: 0 @ 217.68 222.39 c Restart #94 #Var: 8190 LB: 0 @ 222.26 227.27 c Restart #95 #Var: 8190 LB: 0 @ 227.14 232.09 c Restart #96 #Var: 8190 LB: 0 @ 231.96 236.92 c Restart #97 #Var: 8190 LB: 0 @ 236.78 241.77 c Restart #98 #Var: 8190 LB: 0 @ 241.64 246.70 c Restart #99 #Var: 8190 LB: 0 @ 246.57 251.75 c Restart #100 #Var: 8190 LB: 0 @ 251.61 256.83 c Restart #101 #Var: 8190 LB: 0 @ 256.69 261.89 c Restart #102 #Var: 8190 LB: 0 @ 261.75 266.98 c Restart #103 #Var: 8190 LB: 0 @ 266.84 272.31 c Restart #104 #Var: 8190 LB: 0 @ 272.17 277.61 c Restart #105 #Var: 8190 LB: 0 @ 277.46 282.84 c Restart #106 #Var: 8190 LB: 0 @ 282.7 288.29 c Restart #107 #Var: 8190 LB: 0 @ 288.14 293.63 c Restart #108 #Var: 8190 LB: 0 @ 293.48 299.07 c Restart #109 #Var: 8190 LB: 0 @ 298.92 304.68 c Restart #110 #Var: 8190 LB: 0 @ 304.53 310.20 c Restart #111 #Var: 8190 LB: 0 @ 310.05 315.89 c Restart #112 #Var: 8190 LB: 0 @ 315.74 321.46 c Restart #113 #Var: 8190 LB: 0 @ 321.31 327.14 c Restart #114 #Var: 8190 LB: 0 @ 326.98 332.86 c Restart #115 #Var: 8190 LB: 0 @ 332.7 338.67 c Restart #116 #Var: 8190 LB: 0 @ 338.51 344.61 c Restart #117 #Var: 8190 LB: 0 @ 344.45 350.54 c Restart #118 #Var: 8190 LB: 0 @ 350.37 356.55 c Restart #119 #Var: 8190 LB: 0 @ 356.39 362.39 c Restart #120 #Var: 8190 LB: 0 @ 362.22 368.37 c Restart #121 #Var: 8190 LB: 0 @ 368.2 374.26 c Restart #122 #Var: 8190 LB: 0 @ 374.09 380.35 c Restart #123 #Var: 8190 LB: 0 @ 380.17 386.30 c Restart #124 #Var: 8190 LB: 0 @ 386.13 392.39 c Restart #125 #Var: 8190 LB: 0 @ 392.22 398.53 c Restart #126 #Var: 8190 LB: 0 @ 398.35 404.79 c Restart #127 #Var: 8190 LB: 0 @ 404.61 410.95 c Restart #128 #Var: 8190 LB: 0 @ 410.77 417.03 c Restart #129 #Var: 8190 LB: 0 @ 416.85 423.33 c Restart #130 #Var: 8190 LB: 0 @ 423.14 429.80 c Restart #131 #Var: 8190 LB: 0 @ 429.62 436.00 c Restart #132 #Var: 8190 LB: 0 @ 435.81 442.24 c Restart #133 #Var: 8190 LB: 0 @ 442.05 448.44 c Restart #134 #Var: 8190 LB: 0 @ 448.25 455.12 c Restart #135 #Var: 8190 LB: 0 @ 454.93 461.62 c Restart #136 #Var: 8190 LB: 0 @ 461.43 468.33 c Restart #137 #Var: 8190 LB: 0 @ 468.13 474.81 c Restart #138 #Var: 8190 LB: 0 @ 474.61 481.20 c Restart #139 #Var: 8190 LB: 0 @ 481 487.72 c Restart #140 #Var: 8190 LB: 0 @ 487.52 494.28 c Restart #141 #Var: 8190 LB: 0 @ 494.08 500.92 c Restart #142 #Var: 8190 LB: 0 @ 500.71 507.46 c Restart #143 #Var: 8190 LB: 0 @ 507.25 514.28 c Restart #144 #Var: 8190 LB: 0 @ 514.07 520.92 c Restart #145 #Var: 8190 LB: 0 @ 520.71 527.69 c Restart #146 #Var: 8190 LB: 0 @ 527.47 534.37 c Restart #147 #Var: 8190 LB: 0 @ 534.15 541.23 c Restart #148 #Var: 8190 LB: 0 @ 541.01 548.16 c Restart #149 #Var: 8190 LB: 0 @ 547.94 555.04 c Restart #150 #Var: 8190 LB: 0 @ 554.82 562.00 c Restart #151 #Var: 8190 LB: 0 @ 561.78 569.06 c Restart #152 #Var: 8190 LB: 0 @ 568.84 576.10 c Restart #153 #Var: 8190 LB: 0 @ 575.87 583.53 c Restart #154 #Var: 8190 LB: 0 @ 583.3 590.87 c Restart #155 #Var: 8190 LB: 0 @ 590.64 598.42 c Restart #156 #Var: 8190 LB: 0 @ 598.19 605.77 c Restart #157 #Var: 8190 LB: 0 @ 605.53 613.34 c Restart #158 #Var: 8190 LB: 0 @ 613.1 620.87 c Restart #159 #Var: 8190 LB: 0 @ 620.63 628.70 c Restart #160 #Var: 8190 LB: 0 @ 628.45 636.42 c Restart #161 #Var: 8190 LB: 0 @ 636.18 644.40 c Restart #162 #Var: 8190 LB: 0 @ 644.15 652.21 c Restart #163 #Var: 8190 LB: 0 @ 651.96 659.96 c Restart #164 #Var: 8190 LB: 0 @ 659.71 667.80 c Restart #165 #Var: 8190 LB: 0 @ 667.54 675.81 c Restart #166 #Var: 8190 LB: 0 @ 675.55 683.61 c Restart #167 #Var: 8190 LB: 0 @ 683.35 691.70 c Restart #168 #Var: 8190 LB: 0 @ 691.44 699.70 c Restart #169 #Var: 8190 LB: 0 @ 699.44 708.10 c Restart #170 #Var: 8190 LB: 0 @ 707.83 716.39 c Restart #171 #Var: 8190 LB: 0 @ 716.13 724.46 c Restart #172 #Var: 8190 LB: 0 @ 724.19 732.71 c Restart #173 #Var: 8190 LB: 0 @ 732.44 740.70 c Restart #174 #Var: 8190 LB: 0 @ 740.43 749.21 c Restart #175 #Var: 8190 LB: 0 @ 748.93 757.79 c Restart #176 #Var: 8190 LB: 0 @ 757.51 766.32 c Restart #177 #Var: 8190 LB: 0 @ 766.03 774.73 c Restart #178 #Var: 8190 LB: 0 @ 774.45 783.41 c Restart #179 #Var: 8190 LB: 0 @ 783.13 792.02 c Restart #180 #Var: 8190 LB: 0 @ 791.73 800.80 c Restart #181 #Var: 8190 LB: 0 @ 800.51 809.29 c Restart #182 #Var: 8190 LB: 0 @ 808.99 818.02 c Restart #183 #Var: 8190 LB: 0 @ 817.73 826.60 c Restart #184 #Var: 8190 LB: 0 @ 826.3 835.47 c Restart #185 #Var: 8190 LB: 0 @ 835.17 844.64 c Restart #186 #Var: 8190 LB: 0 @ 844.34 853.42 c Restart #187 #Var: 8190 LB: 0 @ 853.11 862.42 c Restart #188 #Var: 8190 LB: 0 @ 862.11 871.13 c Restart #189 #Var: 8190 LB: 0 @ 870.82 880.11 c Restart #190 #Var: 8190 LB: 0 @ 879.79 889.14 c Restart #191 #Var: 8190 LB: 0 @ 888.82 898.18 c Restart #192 #Var: 8190 LB: 0 @ 897.86 907.37 c CHANGE Heuristic... 907.37 c Restart #0 #Var: 8190 LB: 0 @ 907.05 907.46 c Restart #1 #Var: 8190 LB: 0 @ 907.14 907.59 c Restart #2 #Var: 8190 LB: 0 @ 907.26 907.76 c Restart #3 #Var: 8190 LB: 0 @ 907.44 907.97 c Restart #4 #Var: 8190 LB: 0 @ 907.65 908.24 c Restart #5 #Var: 8190 LB: 0 @ 907.92 908.54 c Restart #6 #Var: 8190 LB: 0 @ 908.22 908.90 c Restart #7 #Var: 8190 LB: 0 @ 908.58 909.31 c Restart #8 #Var: 8190 LB: 0 @ 908.99 909.77 c Restart #9 #Var: 8190 LB: 0 @ 909.45 910.29 c Restart #10 #Var: 8190 LB: 0 @ 909.97 910.84 c Restart #11 #Var: 8190 LB: 0 @ 910.52 911.45 c Restart #12 #Var: 8190 LB: 0 @ 911.13 912.11 c Restart #13 #Var: 8190 LB: 0 @ 911.78 912.80 c Restart #14 #Var: 8190 LB: 0 @ 912.48 913.57 c Restart #15 #Var: 8190 LB: 0 @ 913.24 914.35 c Restart #16 #Var: 8190 LB: 0 @ 914.03 915.21 c Restart #17 #Var: 8190 LB: 0 @ 914.88 916.11 c Restart #18 #Var: 8190 LB: 0 @ 915.79 917.07 c Restart #19 #Var: 8190 LB: 0 @ 916.75 918.08 c Restart #20 #Var: 8190 LB: 0 @ 917.75 919.13 c Restart #21 #Var: 8190 LB: 0 @ 918.8 920.22 c Restart #22 #Var: 8190 LB: 0 @ 919.9 921.39 c Restart #23 #Var: 8190 LB: 0 @ 921.06 922.57 c Restart #24 #Var: 8190 LB: 0 @ 922.24 923.82 c Restart #25 #Var: 8190 LB: 0 @ 923.5 925.28 c Restart #26 #Var: 8190 LB: 0 @ 924.95 926.86 c Restart #27 #Var: 8190 LB: 0 @ 926.53 928.35 c Restart #28 #Var: 8190 LB: 0 @ 928.02 929.78 c Restart #29 #Var: 8190 LB: 0 @ 929.45 931.29 c Restart #30 #Var: 8190 LB: 0 @ 930.96 932.84 c Restart #31 #Var: 8190 LB: 0 @ 932.51 934.42 c Restart #32 #Var: 8190 LB: 0 @ 934.09 936.00 c Restart #33 #Var: 8190 LB: 0 @ 935.67 937.66 c Restart #34 #Var: 8190 LB: 0 @ 937.33 939.36 c Restart #35 #Var: 8190 LB: 0 @ 939.03 941.11 c Restart #36 #Var: 8190 LB: 0 @ 940.78 942.91 c Restart #37 #Var: 8190 LB: 0 @ 942.58 944.78 c Restart #38 #Var: 8190 LB: 0 @ 944.45 946.78 c Restart #39 #Var: 8190 LB: 0 @ 946.45 948.81 c Restart #40 #Var: 8190 LB: 0 @ 948.48 950.86 c Restart #41 #Var: 8190 LB: 0 @ 950.53 952.95 c Restart #42 #Var: 8190 LB: 0 @ 952.62 955.09 c Restart #43 #Var: 8190 LB: 0 @ 954.75 957.28 c Restart #44 #Var: 8190 LB: 0 @ 956.95 959.57 c Restart #45 #Var: 8190 LB: 0 @ 959.24 961.90 c Restart #46 #Var: 8190 LB: 0 @ 961.56 964.28 c Restart #47 #Var: 8190 LB: 0 @ 963.94 966.71 c Restart #48 #Var: 8190 LB: 0 @ 966.38 969.24 c Restart #49 #Var: 8190 LB: 0 @ 968.9 971.82 c Restart #50 #Var: 8190 LB: 0 @ 971.48 974.54 c Restart #51 #Var: 8190 LB: 0 @ 974.2 977.15 c Restart #52 #Var: 8190 LB: 0 @ 976.81 979.79 c Restart #53 #Var: 8190 LB: 0 @ 979.45 982.44 c Restart #54 #Var: 8190 LB: 0 @ 982.1 985.24 c Restart #55 #Var: 8190 LB: 0 @ 984.89 988.09 c Restart #56 #Var: 8190 LB: 0 @ 987.75 990.95 c Restart #57 #Var: 8190 LB: 0 @ 990.6 993.90 c Restart #58 #Var: 8190 LB: 0 @ 993.55 996.85 c Restart #59 #Var: 8190 LB: 0 @ 996.51 999.85 c Restart #60 #Var: 8190 LB: 0 @ 999.5 1002.92 c Restart #61 #Var: 8190 LB: 0 @ 1002.6 1006.03 c Restart #62 #Var: 8190 LB: 0 @ 1005.7 1009.24 c Restart #63 #Var: 8190 LB: 0 @ 1008.9 1012.45 c Restart #64 #Var: 8190 LB: 0 @ 1012.1 1015.67 c Restart #65 #Var: 8190 LB: 0 @ 1015.3 1018.93 c Restart #66 #Var: 8190 LB: 0 @ 1018.6 1022.30 c Restart #67 #Var: 8190 LB: 0 @ 1021.9 1025.71 c Restart #68 #Var: 8190 LB: 0 @ 1025.4 1029.27 c Restart #69 #Var: 8190 LB: 0 @ 1028.9 1032.71 c Restart #70 #Var: 8190 LB: 0 @ 1032.4 1036.31 c Restart #71 #Var: 8190 LB: 0 @ 1035.9 1039.91 c Restart #72 #Var: 8190 LB: 0 @ 1039.6 1043.58 c Restart #73 #Var: 8190 LB: 0 @ 1043.2 1047.24 c Restart #74 #Var: 8190 LB: 0 @ 1046.9 1051.09 c Restart #75 #Var: 8190 LB: 0 @ 1050.7 1054.97 c Restart #76 #Var: 8190 LB: 0 @ 1054.6 1059.02 c Restart #77 #Var: 8190 LB: 0 @ 1058.7 1062.97 c Restart #78 #Var: 8190 LB: 0 @ 1062.6 1066.99 c Restart #79 #Var: 8190 LB: 0 @ 1066.6 1071.00 c Restart #80 #Var: 8190 LB: 0 @ 1070.6 1075.09 c Restart #81 #Var: 8190 LB: 0 @ 1074.7 1079.20 c Restart #82 #Var: 8190 LB: 0 @ 1078.8 1083.31 c Restart #83 #Var: 8190 LB: 0 @ 1082.9 1087.47 c Restart #84 #Var: 8190 LB: 0 @ 1087.1 1091.83 c Restart #85 #Var: 8190 LB: 0 @ 1091.5 1096.24 c Restart #86 #Var: 8190 LB: 0 @ 1095.9 1100.57 c Restart #87 #Var: 8190 LB: 0 @ 1100.2 1105.06 c Restart #88 #Var: 8190 LB: 0 @ 1104.7 1109.50 c Restart #89 #Var: 8190 LB: 0 @ 1109.1 1114.07 c Restart #90 #Var: 8190 LB: 0 @ 1113.7 1118.67 c Restart #91 #Var: 8190 LB: 0 @ 1118.3 1123.28 c Restart #92 #Var: 8190 LB: 0 @ 1122.9 1128.17 c Restart #93 #Var: 8190 LB: 0 @ 1127.8 1132.92 c Restart #94 #Var: 8190 LB: 0 @ 1132.5 1137.76 c Restart #95 #Var: 8190 LB: 0 @ 1137.4 1142.85 c Restart #96 #Var: 8190 LB: 0 @ 1142.5 1147.89 c Restart #97 #Var: 8190 LB: 0 @ 1147.5 1152.95 c Restart #98 #Var: 8190 LB: 0 @ 1152.6 1158.00 c Restart #99 #Var: 8190 LB: 0 @ 1157.6 1162.83 c Restart #100 #Var: 8190 LB: 0 @ 1162.4 1167.87 c Restart #101 #Var: 8190 LB: 0 @ 1167.5 1173.07 c Restart #102 #Var: 8190 LB: 0 @ 1172.7 1178.00 c Restart #103 #Var: 8190 LB: 0 @ 1177.6 1183.06 c Restart #104 #Var: 8190 LB: 0 @ 1182.7 1188.08 c Restart #105 #Var: 8190 LB: 0 @ 1187.7 1193.35 c Restart #106 #Var: 8190 LB: 0 @ 1192.9 1198.46 c Restart #107 #Var: 8190 LB: 0 @ 1198.1 1203.56 c Restart #108 #Var: 8190 LB: 0 @ 1203.2 1208.70 c Restart #109 #Var: 8190 LB: 0 @ 1208.3 1214.06 c Restart #110 #Var: 8190 LB: 0 @ 1213.6 1219.25 c Restart #111 #Var: 8190 LB: 0 @ 1218.8 1224.63 c Restart #112 #Var: 8190 LB: 0 @ 1224.2 1230.00 c Restart #113 #Var: 8190 LB: 0 @ 1229.6 1235.53 c Restart #114 #Var: 8190 LB: 0 @ 1235.1 1240.98 c Restart #115 #Var: 8190 LB: 0 @ 1240.6 1246.39 c Restart #116 #Var: 8190 LB: 0 @ 1246 1252.04 c Restart #117 #Var: 8190 LB: 0 @ 1251.6 1257.87 c Restart #118 #Var: 8190 LB: 0 @ 1257.4 1263.33 c Restart #119 #Var: 8190 LB: 0 @ 1262.9 1269.24 c Restart #120 #Var: 8190 LB: 0 @ 1268.8 1275.05 c Restart #121 #Var: 8190 LB: 0 @ 1274.6 1281.08 c Restart #122 #Var: 8190 LB: 0 @ 1280.7 1286.93 c Restart #123 #Var: 8190 LB: 0 @ 1286.5 1292.89 c Restart #124 #Var: 8190 LB: 0 @ 1292.5 1298.95 c Restart #125 #Var: 8190 LB: 0 @ 1298.5 1305.23 c Restart #126 #Var: 8190 LB: 0 @ 1304.8 1311.50 c Restart #127 #Var: 8190 LB: 0 @ 1311.1 1318.08 c Restart #128 #Var: 8190 LB: 0 @ 1317.6 1324.60 c Restart #129 #Var: 8190 LB: 0 @ 1324.2 1331.35 c Restart #130 #Var: 8190 LB: 0 @ 1330.9 1337.87 c Restart #131 #Var: 8190 LB: 0 @ 1337.4 1344.41 c Restart #132 #Var: 8190 LB: 0 @ 1344 1350.78 c Restart #133 #Var: 8190 LB: 0 @ 1350.3 1357.34 c Restart #134 #Var: 8190 LB: 0 @ 1356.9 1363.98 c Restart #135 #Var: 8190 LB: 0 @ 1363.5 1370.62 c Restart #136 #Var: 8190 LB: 0 @ 1370.2 1377.24 c Restart #137 #Var: 8190 LB: 0 @ 1376.8 1384.21 c Restart #138 #Var: 8190 LB: 0 @ 1383.8 1391.01 c Restart #139 #Var: 8190 LB: 0 @ 1390.6 1398.02 c Restart #140 #Var: 8190 LB: 0 @ 1397.6 1405.07 c Restart #141 #Var: 8190 LB: 0 @ 1404.6 1412.48 c Restart #142 #Var: 8190 LB: 0 @ 1412 1419.55 c Restart #143 #Var: 8190 LB: 0 @ 1419.1 1426.48 c Restart #144 #Var: 8190 LB: 0 @ 1426 1433.52 c Restart #145 #Var: 8190 LB: 0 @ 1433 1440.75 c Restart #146 #Var: 8190 LB: 0 @ 1440.3 1447.72 c Restart #147 #Var: 8190 LB: 0 @ 1447.2 1454.92 c Restart #148 #Var: 8190 LB: 0 @ 1454.4 1461.79 c Restart #149 #Var: 8190 LB: 0 @ 1461.3 1468.98 c Restart #150 #Var: 8190 LB: 0 @ 1468.5 1476.13 c Restart #151 #Var: 8190 LB: 0 @ 1475.6 1483.28 c Restart #152 #Var: 8190 LB: 0 @ 1482.8 1490.56 c Restart #153 #Var: 8190 LB: 0 @ 1490.1 1497.84 c Restart #154 #Var: 8190 LB: 0 @ 1497.3 1505.14 c Restart #155 #Var: 8190 LB: 0 @ 1504.6 1512.61 c Restart #156 #Var: 8190 LB: 0 @ 1512.1 1520.00 c Restart #157 #Var: 8190 LB: 0 @ 1519.5 1527.52 c Restart #158 #Var: 8190 LB: 0 @ 1527 1535.05 c Restart #159 #Var: 8190 LB: 0 @ 1534.5 1542.73 c Restart #160 #Var: 8190 LB: 0 @ 1542.2 1550.42 c Restart #161 #Var: 8190 LB: 0 @ 1549.9 1558.08 c Restart #162 #Var: 8190 LB: 0 @ 1557.6 1565.94 c Restart #163 #Var: 8190 LB: 0 @ 1565.4 1573.87 c Restart #164 #Var: 8190 LB: 0 @ 1573.4 1581.85 c Restart #165 #Var: 8190 LB: 0 @ 1581.3 1589.81 c Restart #166 #Var: 8190 LB: 0 @ 1589.3 1597.81 c Restart #167 #Var: 8190 LB: 0 @ 1597.3 1605.83 c Restart #168 #Var: 8190 LB: 0 @ 1605.3 1613.97 c Restart #169 #Var: 8190 LB: 0 @ 1613.4 1622.36 c Restart #170 #Var: 8190 LB: 0 @ 1621.8 1630.50 c Restart #171 #Var: 8190 LB: 0 @ 1630 1638.80 c Restart #172 #Var: 8190 LB: 0 @ 1638.3 1646.99 c Restart #173 #Var: 8190 LB: 0 @ 1646.5 1655.35 c Restart #174 #Var: 8190 LB: 0 @ 1654.8 1663.58 c Restart #175 #Var: 8190 LB: 0 @ 1663 1672.12 c Restart #176 #Var: 8190 LB: 0 @ 1671.6 1680.69 c Restart #177 #Var: 8190 LB: 0 @ 1680.1 1689.53 c Restart #178 #Var: 8190 LB: 0 @ 1689 1698.51 c Restart #179 #Var: 8190 LB: 0 @ 1698 1707.71 c Restart #180 #Var: 8190 LB: 0 @ 1707.2 1716.82 c Restart #181 #Var: 8190 LB: 0 @ 1716.3 1725.67 c Restart #182 #Var: 8190 LB: 0 @ 1725.1 1734.89 c Restart #183 #Var: 8190 LB: 0 @ 1734.3 1743.91 c Restart #184 #Var: 8190 LB: 0 @ 1743.3 1752.77 c Restart #185 #Var: 8190 LB: 0 @ 1752.2 1761.58 c Restart #186 #Var: 8190 LB: 0 @ 1761 1770.66 c Restart #187 #Var: 8190 LB: 0 @ 1770.1 1779.77 c Restart #188 #Var: 8190 LB: 0 @ 1779.2 1788.96 c Restart #189 #Var: 8190 LB: 0 @ 1788.4 1798.13 c Restart #190 #Var: 8190 LB: 0 @ 1797.5 1800.58 s UNKNOWN 1800.58 c Exit Code: 0 1800.58 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 runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node40/watcher-46265-1154059468 -o ROOT/results/node40/solver-46265-1154059468 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node40/46265-1154059468/instance-46265-1154059468.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1539488/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=436 CPUtime=0 /proc/13202/stat : 13202 (bsolo) D 13200 13202 13153 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 152817857 446464 23 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 6910523 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/13202/statm: 725 24 18 55 0 19 0 [startup+10.0028 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1527968/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=13732 CPUtime=9.93 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2622 0 10 0 989 4 0 0 25 0 1 0 152817857 14061568 2542 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3433 2542 296 55 0 2325 0 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 13732 [startup+20.009 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1528032/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=13836 CPUtime=19.94 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2642 0 10 0 1988 6 0 0 25 0 1 0 152817857 14168064 2562 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3459 2562 296 55 0 2351 0 Current children cumulated CPU time (s) 19.94 Current children cumulated vsize (Kb) 13836 [startup+30.0154 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1528096/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=13700 CPUtime=29.94 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2642 0 10 0 2986 8 0 0 25 0 1 0 152817857 14028800 2554 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3425 2554 296 55 0 2317 0 Current children cumulated CPU time (s) 29.94 Current children cumulated vsize (Kb) 13700 [startup+40.0217 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1528160/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=13700 CPUtime=39.93 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2642 0 10 0 3984 9 0 0 25 0 1 0 152817857 14028800 2554 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3425 2554 296 55 0 2317 0 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 13700 [startup+50.0279 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1528160/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=13700 CPUtime=49.94 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2642 0 10 0 4983 11 0 0 25 0 1 0 152817857 14028800 2554 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3425 2554 296 55 0 2317 0 Current children cumulated CPU time (s) 49.94 Current children cumulated vsize (Kb) 13700 [startup+60.0343 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1528160/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=13700 CPUtime=59.95 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2642 0 10 0 5982 13 0 0 25 0 1 0 152817857 14028800 2554 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3425 2554 296 55 0 2317 0 Current children cumulated CPU time (s) 59.95 Current children cumulated vsize (Kb) 13700 [startup+70.0406 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1528096/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=13720 CPUtime=69.95 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2664 0 10 0 6980 15 0 0 25 0 1 0 152817857 14049280 2559 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3430 2559 296 55 0 2322 0 Current children cumulated CPU time (s) 69.95 Current children cumulated vsize (Kb) 13720 [startup+80.0469 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1528096/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=13852 CPUtime=79.95 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2673 0 10 0 7978 17 0 0 25 0 1 0 152817857 14184448 2568 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134541339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3463 2568 296 55 0 2355 0 Current children cumulated CPU time (s) 79.95 Current children cumulated vsize (Kb) 13852 [startup+90.0531 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1528096/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=13820 CPUtime=89.95 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2673 0 10 0 8976 19 0 0 25 0 1 0 152817857 14151680 2568 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3455 2568 296 55 0 2347 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 13820 [startup+100.059 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1528096/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=13764 CPUtime=99.96 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2673 0 10 0 9975 21 0 0 25 0 1 0 152817857 14094336 2568 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3441 2568 296 55 0 2333 0 Current children cumulated CPU time (s) 99.96 Current children cumulated vsize (Kb) 13764 [startup+110.066 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1528096/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=13764 CPUtime=109.96 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2673 0 10 0 10974 22 0 0 25 0 1 0 152817857 14094336 2568 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3441 2568 296 55 0 2333 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 13764 [startup+120.072 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1528032/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=13820 CPUtime=119.97 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2690 0 10 0 11973 24 0 0 25 0 1 0 152817857 14151680 2584 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3455 2584 296 55 0 2347 0 Current children cumulated CPU time (s) 119.97 Current children cumulated vsize (Kb) 13820 [startup+130.078 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1528032/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=13820 CPUtime=129.97 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2690 0 10 0 12972 25 0 0 25 0 1 0 152817857 14151680 2584 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3455 2584 296 55 0 2347 0 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 13820 [startup+140.085 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1528032/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=13820 CPUtime=139.97 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2690 0 10 0 13971 26 0 0 25 0 1 0 152817857 14151680 2584 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3455 2584 296 55 0 2347 0 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 13820 [startup+150.091 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1528032/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=13820 CPUtime=149.98 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2690 0 10 0 14970 28 0 0 25 0 1 0 152817857 14151680 2584 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3455 2584 296 55 0 2347 0 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 13820 [startup+160.097 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1528032/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=13820 CPUtime=159.98 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2690 0 10 0 15968 30 0 0 25 0 1 0 152817857 14151680 2584 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3455 2584 296 55 0 2347 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 13820 [startup+170.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1528032/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=13820 CPUtime=169.98 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2690 0 10 0 16967 31 0 0 25 0 1 0 152817857 14151680 2584 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3455 2584 296 55 0 2347 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 13820 [startup+180.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1528032/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=13820 CPUtime=179.98 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2690 0 10 0 17965 33 0 0 25 0 1 0 152817857 14151680 2584 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3455 2584 296 55 0 2347 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 13820 [startup+190.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1528032/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=13820 CPUtime=189.99 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2690 0 10 0 18965 34 0 0 25 0 1 0 152817857 14151680 2584 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3455 2584 296 55 0 2347 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 13820 [startup+200.122 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 /proc/meminfo: memFree=1528032/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=13820 CPUtime=200 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2690 0 10 0 19963 37 0 0 25 0 1 0 152817857 14151680 2584 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3455 2584 296 55 0 2347 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 13820 [startup+210.129 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13202 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.53 Current children cumulated vsize (Kb) 14040 [startup+1771.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1770.53 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 176708 345 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1770.53 Current children cumulated vsize (Kb) 14040 [startup+1781.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1780.54 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 177706 348 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1780.54 Current children cumulated vsize (Kb) 14040 [startup+1782.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1781.54 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 177806 348 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 14040 [startup+1783.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1782.54 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 177906 348 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (Kb) 14040 [startup+1784.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1783.55 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 178007 348 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 14040 [startup+1785.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1784.56 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 178107 349 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 14040 [startup+1786.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1785.56 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 178207 349 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 14040 [startup+1787.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1786.56 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 178307 349 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 14040 [startup+1788.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1787.57 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 178408 349 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 14040 [startup+1789.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1788.57 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 178508 349 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 14040 [startup+1790.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1789.58 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 178609 349 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 14040 [startup+1791.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1790.58 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 178709 349 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 14040 [startup+1792.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1791.59 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 178810 349 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 14040 [startup+1793.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1792.6 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 178910 350 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 14040 [startup+1794.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1793.6 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 179010 350 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 14040 [startup+1795.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1794.6 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 179110 350 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 14040 [startup+1796.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1795.6 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 179210 350 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (Kb) 14040 [startup+1797.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1796.61 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 179311 350 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 14040 [startup+1798.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1797.62 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 179411 351 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 14040 [startup+1799.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1798.62 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 179511 351 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 14040 [startup+1800.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13202 /proc/meminfo: memFree=1527656/2055920 swapFree=4183148/4192956 [pid=13202] ppid=13200 vsize=14040 CPUtime=1799.63 /proc/13202/stat : 13202 (bsolo) R 13200 13202 13153 0 -1 0 2731 0 10 0 179612 351 0 0 25 0 1 0 152817857 14376960 2625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13202/statm: 3510 2625 296 55 0 2402 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (Kb) 14040 Child status: 0 Real time (s): 1800.59 CPU time (s): 1800.01 CPU user time (s): 1796.49 CPU system time (s): 3.51747 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (Kb): 14040 The end
Begin job on node40 on Fri Jul 28 04:04:28 UTC 2006 FILE ID= 46265-1154059468 PBS_JOBID= 882172 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node40/46265-1154059468/instance-46265-1154059468.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-46265-1154059468 -o ROOT/results/node40/solver-46265-1154059468 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node40/46265-1154059468/instance-46265-1154059468.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= fff7b3dc5d07bd6a4fd3046b5e5241f1 RANDOM SEED= 131749127 TIMEOUT= 1800 seconds /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.245 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.245 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: 1539696 kB Buffers: 18892 kB Cached: 428208 kB SwapCached: 3672 kB Active: 28028 kB Inactive: 427732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1539696 kB SwapTotal: 4192956 kB SwapFree: 4183148 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14748 kB Slab: 46528 kB Committed_AS: 516196 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node40 on Fri Jul 28 04:34:28 UTC 2006