Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1800.56 |
Name | normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb |
MD5SUM | 277dd35641d3866b31d8fb041eb7f9fb |
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.020995 |
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 | 2750 |
Total number of constraints | 105 |
Number of constraints which are clauses | 55 |
Number of constraints which are cardinality constraints (but not clauses) | 50 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 50 |
Maximum length of a constraint | 55 |
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 | 56 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.04 c Time Limit set via PBTIMEOUT to 1800 0.06 c INFO: OSL Context initialized. 0.09 c Initial problem consists of 2750 variables and 105 constraints. 0.09 c Using non-optimization problem switches. 0.09 c No problem reductions applied in OPT. instance. 0.09 c preprocess terminated. Elapsed time: 0.047 0.09 c After prepocess the problem consists of 2750 variables and 105 constraints. 0.16 c Restart #1 #Var: 2750 LB: 0 @ 0.116 0.21 c Restart #2 #Var: 2750 LB: 0 @ 0.164 0.29 c Restart #3 #Var: 2750 LB: 0 @ 0.244 0.40 c Restart #4 #Var: 2750 LB: 0 @ 0.357 0.55 c Restart #5 #Var: 2750 LB: 0 @ 0.503 0.72 c Restart #6 #Var: 2750 LB: 0 @ 0.677 0.93 c Restart #7 #Var: 2750 LB: 0 @ 0.88 1.17 c Restart #8 #Var: 2750 LB: 0 @ 1.119 1.43 c Restart #9 #Var: 2750 LB: 0 @ 1.387 1.73 c Restart #10 #Var: 2750 LB: 0 @ 1.685 2.06 c Restart #11 #Var: 2750 LB: 0 @ 2.018 2.41 c Restart #12 #Var: 2750 LB: 0 @ 2.367 2.80 c Restart #13 #Var: 2750 LB: 0 @ 2.756 3.21 c Restart #14 #Var: 2750 LB: 0 @ 3.163 3.65 c Restart #15 #Var: 2750 LB: 0 @ 3.604 4.17 c Restart #16 #Var: 2750 LB: 0 @ 4.126 4.73 c Restart #17 #Var: 2750 LB: 0 @ 4.678 5.33 c Restart #18 #Var: 2750 LB: 0 @ 5.278 5.96 c Restart #19 #Var: 2750 LB: 0 @ 5.914 6.59 c Restart #20 #Var: 2750 LB: 0 @ 6.544 7.27 c Restart #21 #Var: 2750 LB: 0 @ 7.219 8.00 c Restart #22 #Var: 2750 LB: 0 @ 7.946 8.74 c Restart #23 #Var: 2750 LB: 0 @ 8.692 9.52 c Restart #24 #Var: 2750 LB: 0 @ 9.469 10.36 c Restart #25 #Var: 2750 LB: 0 @ 10.308 11.59 c Restart #26 #Var: 2750 LB: 0 @ 11.543 13.23 c Restart #27 #Var: 2750 LB: 0 @ 13.179 14.59 c Restart #28 #Var: 2750 LB: 0 @ 14.54 15.73 c Restart #29 #Var: 2750 LB: 0 @ 15.677 16.91 c Restart #30 #Var: 2750 LB: 0 @ 16.855 18.11 c Restart #31 #Var: 2750 LB: 0 @ 18.052 19.37 c Restart #32 #Var: 2750 LB: 0 @ 19.313 20.73 c Restart #33 #Var: 2750 LB: 0 @ 20.678 22.06 c Restart #34 #Var: 2750 LB: 0 @ 22.01 23.36 c Restart #35 #Var: 2750 LB: 0 @ 23.308 24.70 c Restart #36 #Var: 2750 LB: 0 @ 24.649 26.13 c Restart #37 #Var: 2750 LB: 0 @ 26.078 27.66 c Restart #38 #Var: 2750 LB: 0 @ 27.608 29.04 c Restart #39 #Var: 2750 LB: 0 @ 28.986 30.55 c Restart #40 #Var: 2750 LB: 0 @ 30.493 31.97 c Restart #41 #Var: 2750 LB: 0 @ 31.916 33.59 c Restart #42 #Var: 2750 LB: 0 @ 33.537 35.13 c Restart #43 #Var: 2750 LB: 0 @ 35.067 36.70 c Restart #44 #Var: 2750 LB: 0 @ 36.645 38.34 c Restart #45 #Var: 2750 LB: 0 @ 38.278 40.05 c Restart #46 #Var: 2750 LB: 0 @ 39.99 41.81 c Restart #47 #Var: 2750 LB: 0 @ 41.751 43.54 c Restart #48 #Var: 2750 LB: 0 @ 43.477 45.45 c Restart #49 #Var: 2750 LB: 0 @ 45.393 47.32 c Restart #50 #Var: 2750 LB: 0 @ 47.256 49.13 c Restart #51 #Var: 2750 LB: 0 @ 49.066 51.15 c Restart #52 #Var: 2750 LB: 0 @ 51.09 53.20 c Restart #53 #Var: 2750 LB: 0 @ 53.137 55.38 c Restart #54 #Var: 2750 LB: 0 @ 55.318 57.58 c Restart #55 #Var: 2750 LB: 0 @ 57.511 59.86 c Restart #56 #Var: 2750 LB: 0 @ 59.796 62.13 c Restart #57 #Var: 2750 LB: 0 @ 62.069 64.43 c Restart #58 #Var: 2750 LB: 0 @ 64.364 66.69 c Restart #59 #Var: 2750 LB: 0 @ 66.622 69.00 c Restart #60 #Var: 2750 LB: 0 @ 68.935 71.52 c Restart #61 #Var: 2750 LB: 0 @ 71.451 74.00 c Restart #62 #Var: 2750 LB: 0 @ 73.935 76.48 c Restart #63 #Var: 2750 LB: 0 @ 76.409 79.08 c Restart #64 #Var: 2750 LB: 0 @ 79.013 81.75 c Restart #65 #Var: 2750 LB: 0 @ 81.683 84.53 c Restart #66 #Var: 2750 LB: 0 @ 84.46 87.02 c Restart #67 #Var: 2750 LB: 0 @ 86.949 89.60 c Restart #68 #Var: 2750 LB: 0 @ 89.531 92.21 c Restart #69 #Var: 2750 LB: 0 @ 92.134 94.94 c Restart #70 #Var: 2750 LB: 0 @ 94.864 97.81 c Restart #71 #Var: 2750 LB: 0 @ 97.738 100.96 c Restart #72 #Var: 2750 LB: 0 @ 100.88 103.97 c Restart #73 #Var: 2750 LB: 0 @ 103.89 106.95 c Restart #74 #Var: 2750 LB: 0 @ 106.87 110.04 c Restart #75 #Var: 2750 LB: 0 @ 109.96 113.19 c Restart #76 #Var: 2750 LB: 0 @ 113.11 116.33 c Restart #77 #Var: 2750 LB: 0 @ 116.25 119.44 c Restart #78 #Var: 2750 LB: 0 @ 119.35 122.52 c Restart #79 #Var: 2750 LB: 0 @ 122.43 125.76 c Restart #80 #Var: 2750 LB: 0 @ 125.67 128.98 c Restart #81 #Var: 2750 LB: 0 @ 128.89 132.25 c Restart #82 #Var: 2750 LB: 0 @ 132.16 135.52 c Restart #83 #Var: 2750 LB: 0 @ 135.43 138.92 c Restart #84 #Var: 2750 LB: 0 @ 138.83 142.46 c Restart #85 #Var: 2750 LB: 0 @ 142.37 145.88 c Restart #86 #Var: 2750 LB: 0 @ 145.79 149.44 c Restart #87 #Var: 2750 LB: 0 @ 149.35 153.25 c Restart #88 #Var: 2750 LB: 0 @ 153.15 157.02 c Restart #89 #Var: 2750 LB: 0 @ 156.92 160.77 c Restart #90 #Var: 2750 LB: 0 @ 160.67 164.59 c Restart #91 #Var: 2750 LB: 0 @ 164.5 168.42 c Restart #92 #Var: 2750 LB: 0 @ 168.32 172.45 c Restart #93 #Var: 2750 LB: 0 @ 172.35 176.40 c Restart #94 #Var: 2750 LB: 0 @ 176.31 180.40 c Restart #95 #Var: 2750 LB: 0 @ 180.3 184.20 c Restart #96 #Var: 2750 LB: 0 @ 184.1 188.01 c Restart #97 #Var: 2750 LB: 0 @ 187.91 192.13 c Restart #98 #Var: 2750 LB: 0 @ 192.03 196.50 c Restart #99 #Var: 2750 LB: 0 @ 196.39 200.64 c Restart #100 #Var: 2750 LB: 0 @ 200.53 204.97 c Restart #101 #Var: 2750 LB: 0 @ 204.86 209.17 c Restart #102 #Var: 2750 LB: 0 @ 209.06 213.39 c Restart #103 #Var: 2750 LB: 0 @ 213.28 217.75 c Restart #104 #Var: 2750 LB: 0 @ 217.64 222.31 c Restart #105 #Var: 2750 LB: 0 @ 222.2 226.72 c Restart #106 #Var: 2750 LB: 0 @ 226.61 231.19 c Restart #107 #Var: 2750 LB: 0 @ 231.08 235.74 c Restart #108 #Var: 2750 LB: 0 @ 235.62 240.34 c Restart #109 #Var: 2750 LB: 0 @ 240.22 245.15 c Restart #110 #Var: 2750 LB: 0 @ 245.03 249.90 c Restart #111 #Var: 2750 LB: 0 @ 249.78 254.80 c Restart #112 #Var: 2750 LB: 0 @ 254.68 259.76 c Restart #113 #Var: 2750 LB: 0 @ 259.64 264.58 c Restart #114 #Var: 2750 LB: 0 @ 264.46 269.44 c Restart #115 #Var: 2750 LB: 0 @ 269.32 274.44 c Restart #116 #Var: 2750 LB: 0 @ 274.32 279.38 c Restart #117 #Var: 2750 LB: 0 @ 279.26 284.45 c Restart #118 #Var: 2750 LB: 0 @ 284.32 289.98 c Restart #119 #Var: 2750 LB: 0 @ 289.85 296.06 c Restart #120 #Var: 2750 LB: 0 @ 295.93 301.53 c Restart #121 #Var: 2750 LB: 0 @ 301.4 306.94 c Restart #122 #Var: 2750 LB: 0 @ 306.81 312.37 c Restart #123 #Var: 2750 LB: 0 @ 312.23 318.05 c Restart #124 #Var: 2750 LB: 0 @ 317.91 323.58 c Restart #125 #Var: 2750 LB: 0 @ 323.44 329.18 c Restart #126 #Var: 2750 LB: 0 @ 329.04 334.62 c Restart #127 #Var: 2750 LB: 0 @ 334.48 340.33 c Restart #128 #Var: 2750 LB: 0 @ 340.19 345.94 c Restart #129 #Var: 2750 LB: 0 @ 345.8 351.53 c Restart #130 #Var: 2750 LB: 0 @ 351.38 357.40 c Restart #131 #Var: 2750 LB: 0 @ 357.25 362.93 c Restart #132 #Var: 2750 LB: 0 @ 362.78 368.47 c Restart #133 #Var: 2750 LB: 0 @ 368.32 374.15 c Restart #134 #Var: 2750 LB: 0 @ 374 379.90 c Restart #135 #Var: 2750 LB: 0 @ 379.75 385.56 c Restart #136 #Var: 2750 LB: 0 @ 385.4 391.37 c Restart #137 #Var: 2750 LB: 0 @ 391.21 397.30 c Restart #138 #Var: 2750 LB: 0 @ 397.14 403.31 c Restart #139 #Var: 2750 LB: 0 @ 403.15 409.70 c Restart #140 #Var: 2750 LB: 0 @ 409.53 416.12 c Restart #141 #Var: 2750 LB: 0 @ 415.95 422.64 c Restart #142 #Var: 2750 LB: 0 @ 422.47 429.00 c Restart #143 #Var: 2750 LB: 0 @ 428.83 435.74 c Restart #144 #Var: 2750 LB: 0 @ 435.57 442.42 c Restart #145 #Var: 2750 LB: 0 @ 442.25 449.09 c Restart #146 #Var: 2750 LB: 0 @ 448.92 455.80 c Restart #147 #Var: 2750 LB: 0 @ 455.63 462.82 c Restart #148 #Var: 2750 LB: 0 @ 462.64 469.71 c Restart #149 #Var: 2750 LB: 0 @ 469.54 476.60 c Restart #150 #Var: 2750 LB: 0 @ 476.42 483.52 c Restart #151 #Var: 2750 LB: 0 @ 483.33 490.67 c Restart #152 #Var: 2750 LB: 0 @ 490.49 497.71 c Restart #153 #Var: 2750 LB: 0 @ 497.53 505.15 c Restart #154 #Var: 2750 LB: 0 @ 504.96 512.20 c Restart #155 #Var: 2750 LB: 0 @ 512.01 519.73 c Restart #156 #Var: 2750 LB: 0 @ 519.54 527.17 c Restart #157 #Var: 2750 LB: 0 @ 526.98 534.38 c Restart #158 #Var: 2750 LB: 0 @ 534.18 540.80 c Restart #159 #Var: 2750 LB: 0 @ 540.6 547.60 c Restart #160 #Var: 2750 LB: 0 @ 547.4 555.14 c Restart #161 #Var: 2750 LB: 0 @ 554.94 562.52 c Restart #162 #Var: 2750 LB: 0 @ 562.31 570.19 c Restart #163 #Var: 2750 LB: 0 @ 569.99 577.56 c Restart #164 #Var: 2750 LB: 0 @ 577.36 585.02 c Restart #165 #Var: 2750 LB: 0 @ 584.81 592.55 c Restart #166 #Var: 2750 LB: 0 @ 592.34 600.28 c Restart #167 #Var: 2750 LB: 0 @ 600.06 608.07 c Restart #168 #Var: 2750 LB: 0 @ 607.85 616.05 c Restart #169 #Var: 2750 LB: 0 @ 615.83 624.06 c Restart #170 #Var: 2750 LB: 0 @ 623.84 632.53 c Restart #171 #Var: 2750 LB: 0 @ 632.31 641.14 c Restart #172 #Var: 2750 LB: 0 @ 640.91 649.70 c Restart #173 #Var: 2750 LB: 0 @ 649.48 658.03 c Restart #174 #Var: 2750 LB: 0 @ 657.8 666.95 c Restart #175 #Var: 2750 LB: 0 @ 666.72 675.87 c Restart #176 #Var: 2750 LB: 0 @ 675.64 685.24 c Restart #177 #Var: 2750 LB: 0 @ 685 694.38 c Restart #178 #Var: 2750 LB: 0 @ 694.14 703.61 c Restart #179 #Var: 2750 LB: 0 @ 703.37 713.79 c Restart #180 #Var: 2750 LB: 0 @ 713.54 723.27 c Restart #181 #Var: 2750 LB: 0 @ 723.02 732.22 c Restart #182 #Var: 2750 LB: 0 @ 731.96 741.33 c Restart #183 #Var: 2750 LB: 0 @ 741.07 750.50 c Restart #184 #Var: 2750 LB: 0 @ 750.24 760.33 c Restart #185 #Var: 2750 LB: 0 @ 760.07 770.10 c Restart #186 #Var: 2750 LB: 0 @ 769.83 779.24 c Restart #187 #Var: 2750 LB: 0 @ 778.97 789.40 c Restart #188 #Var: 2750 LB: 0 @ 789.13 799.62 c Restart #189 #Var: 2750 LB: 0 @ 799.35 809.63 c Restart #190 #Var: 2750 LB: 0 @ 809.35 820.09 c Restart #191 #Var: 2750 LB: 0 @ 819.81 829.76 c Restart #192 #Var: 2750 LB: 0 @ 829.48 840.58 c Restart #193 #Var: 2750 LB: 0 @ 840.29 853.37 c Restart #194 #Var: 2750 LB: 0 @ 853.08 864.83 c Restart #195 #Var: 2750 LB: 0 @ 864.54 875.49 c Restart #196 #Var: 2750 LB: 0 @ 875.2 886.87 c Restart #197 #Var: 2750 LB: 0 @ 886.57 898.72 c Restart #198 #Var: 2750 LB: 0 @ 898.42 909.17 c CHANGE Heuristic... 909.17 c Restart #0 #Var: 2750 LB: 0 @ 908.87 909.21 c Restart #1 #Var: 2750 LB: 0 @ 908.91 909.31 c Restart #2 #Var: 2750 LB: 0 @ 909 909.45 c Restart #3 #Var: 2750 LB: 0 @ 909.15 909.66 c Restart #4 #Var: 2750 LB: 0 @ 909.36 909.85 c Restart #5 #Var: 2750 LB: 0 @ 909.55 910.11 c Restart #6 #Var: 2750 LB: 0 @ 909.81 910.38 c Restart #7 #Var: 2750 LB: 0 @ 910.08 910.73 c Restart #8 #Var: 2750 LB: 0 @ 910.43 911.12 c Restart #9 #Var: 2750 LB: 0 @ 910.82 911.54 c Restart #10 #Var: 2750 LB: 0 @ 911.24 912.01 c Restart #11 #Var: 2750 LB: 0 @ 911.71 912.55 c Restart #12 #Var: 2750 LB: 0 @ 912.25 913.12 c Restart #13 #Var: 2750 LB: 0 @ 912.82 913.74 c Restart #14 #Var: 2750 LB: 0 @ 913.44 914.36 c Restart #15 #Var: 2750 LB: 0 @ 914.06 915.06 c Restart #16 #Var: 2750 LB: 0 @ 914.76 915.81 c Restart #17 #Var: 2750 LB: 0 @ 915.51 916.57 c Restart #18 #Var: 2750 LB: 0 @ 916.26 917.39 c Restart #19 #Var: 2750 LB: 0 @ 917.09 918.31 c Restart #20 #Var: 2750 LB: 0 @ 918 919.25 c Restart #21 #Var: 2750 LB: 0 @ 918.94 920.15 c Restart #22 #Var: 2750 LB: 0 @ 919.85 921.17 c Restart #23 #Var: 2750 LB: 0 @ 920.87 922.23 c Restart #24 #Var: 2750 LB: 0 @ 921.92 923.24 c Restart #25 #Var: 2750 LB: 0 @ 922.93 924.38 c Restart #26 #Var: 2750 LB: 0 @ 924.08 925.52 c Restart #27 #Var: 2750 LB: 0 @ 925.21 926.75 c Restart #28 #Var: 2750 LB: 0 @ 926.45 928.01 c Restart #29 #Var: 2750 LB: 0 @ 927.71 929.37 c Restart #30 #Var: 2750 LB: 0 @ 929.06 930.64 c Restart #31 #Var: 2750 LB: 0 @ 930.33 931.97 c Restart #32 #Var: 2750 LB: 0 @ 931.66 933.43 c Restart #33 #Var: 2750 LB: 0 @ 933.12 935.06 c Restart #34 #Var: 2750 LB: 0 @ 934.75 936.62 c Restart #35 #Var: 2750 LB: 0 @ 936.31 938.32 c Restart #36 #Var: 2750 LB: 0 @ 938.01 940.09 c Restart #37 #Var: 2750 LB: 0 @ 939.78 941.88 c Restart #38 #Var: 2750 LB: 0 @ 941.57 943.73 c Restart #39 #Var: 2750 LB: 0 @ 943.42 945.64 c Restart #40 #Var: 2750 LB: 0 @ 945.33 947.59 c Restart #41 #Var: 2750 LB: 0 @ 947.28 949.48 c Restart #42 #Var: 2750 LB: 0 @ 949.17 951.56 c Restart #43 #Var: 2750 LB: 0 @ 951.24 953.54 c Restart #44 #Var: 2750 LB: 0 @ 953.22 955.66 c Restart #45 #Var: 2750 LB: 0 @ 955.35 957.69 c Restart #46 #Var: 2750 LB: 0 @ 957.38 960.07 c Restart #47 #Var: 2750 LB: 0 @ 959.75 962.38 c Restart #48 #Var: 2750 LB: 0 @ 962.06 964.80 c Restart #49 #Var: 2750 LB: 0 @ 964.49 967.11 c Restart #50 #Var: 2750 LB: 0 @ 966.8 969.51 c Restart #51 #Var: 2750 LB: 0 @ 969.19 971.69 c Restart #52 #Var: 2750 LB: 0 @ 971.37 974.10 c Restart #53 #Var: 2750 LB: 0 @ 973.78 976.73 c Restart #54 #Var: 2750 LB: 0 @ 976.41 979.18 c Restart #55 #Var: 2750 LB: 0 @ 978.86 981.93 c Restart #56 #Var: 2750 LB: 0 @ 981.61 984.57 c Restart #57 #Var: 2750 LB: 0 @ 984.24 987.38 c Restart #58 #Var: 2750 LB: 0 @ 987.05 990.27 c Restart #59 #Var: 2750 LB: 0 @ 989.94 993.07 c Restart #60 #Var: 2750 LB: 0 @ 992.74 995.86 c Restart #61 #Var: 2750 LB: 0 @ 995.53 998.82 c Restart #62 #Var: 2750 LB: 0 @ 998.49 1001.92 c Restart #63 #Var: 2750 LB: 0 @ 1001.6 1004.95 c Restart #64 #Var: 2750 LB: 0 @ 1004.6 1008.04 c Restart #65 #Var: 2750 LB: 0 @ 1007.7 1011.02 c Restart #66 #Var: 2750 LB: 0 @ 1010.7 1014.22 c Restart #67 #Var: 2750 LB: 0 @ 1013.9 1017.49 c Restart #68 #Var: 2750 LB: 0 @ 1017.2 1020.84 c Restart #69 #Var: 2750 LB: 0 @ 1020.5 1024.42 c Restart #70 #Var: 2750 LB: 0 @ 1024.1 1027.73 c Restart #71 #Var: 2750 LB: 0 @ 1027.4 1031.11 c Restart #72 #Var: 2750 LB: 0 @ 1030.8 1034.42 c Restart #73 #Var: 2750 LB: 0 @ 1034.1 1038.03 c Restart #74 #Var: 2750 LB: 0 @ 1037.7 1041.66 c Restart #75 #Var: 2750 LB: 0 @ 1041.3 1045.47 c Restart #76 #Var: 2750 LB: 0 @ 1045.1 1049.23 c Restart #77 #Var: 2750 LB: 0 @ 1048.9 1052.96 c Restart #78 #Var: 2750 LB: 0 @ 1052.6 1056.83 c Restart #79 #Var: 2750 LB: 0 @ 1056.5 1060.75 c Restart #80 #Var: 2750 LB: 0 @ 1060.4 1064.75 c Restart #81 #Var: 2750 LB: 0 @ 1064.4 1068.67 c Restart #82 #Var: 2750 LB: 0 @ 1068.3 1072.81 c Restart #83 #Var: 2750 LB: 0 @ 1072.5 1076.93 c Restart #84 #Var: 2750 LB: 0 @ 1076.6 1081.01 c Restart #85 #Var: 2750 LB: 0 @ 1080.7 1085.28 c Restart #86 #Var: 2750 LB: 0 @ 1084.9 1089.52 c Restart #87 #Var: 2750 LB: 0 @ 1089.2 1093.72 c Restart #88 #Var: 2750 LB: 0 @ 1093.4 1097.99 c Restart #89 #Var: 2750 LB: 0 @ 1097.6 1102.41 c Restart #90 #Var: 2750 LB: 0 @ 1102.1 1106.80 c Restart #91 #Var: 2750 LB: 0 @ 1106.4 1111.57 c Restart #92 #Var: 2750 LB: 0 @ 1111.2 1116.58 c Restart #93 #Var: 2750 LB: 0 @ 1116.2 1121.49 c Restart #94 #Var: 2750 LB: 0 @ 1121.1 1126.62 c Restart #95 #Var: 2750 LB: 0 @ 1126.3 1131.81 c Restart #96 #Var: 2750 LB: 0 @ 1131.4 1137.11 c Restart #97 #Var: 2750 LB: 0 @ 1136.7 1142.65 c Restart #98 #Var: 2750 LB: 0 @ 1142.3 1147.99 c Restart #99 #Var: 2750 LB: 0 @ 1147.6 1153.35 c Restart #100 #Var: 2750 LB: 0 @ 1153 1158.92 c Restart #101 #Var: 2750 LB: 0 @ 1158.5 1164.49 c Restart #102 #Var: 2750 LB: 0 @ 1164.1 1170.26 c Restart #103 #Var: 2750 LB: 0 @ 1169.9 1176.02 c Restart #104 #Var: 2750 LB: 0 @ 1175.6 1181.81 c Restart #105 #Var: 2750 LB: 0 @ 1181.4 1187.64 c Restart #106 #Var: 2750 LB: 0 @ 1187.3 1193.50 c Restart #107 #Var: 2750 LB: 0 @ 1193.1 1199.32 c Restart #108 #Var: 2750 LB: 0 @ 1198.9 1205.31 c Restart #109 #Var: 2750 LB: 0 @ 1204.9 1211.34 c Restart #110 #Var: 2750 LB: 0 @ 1211 1217.38 c Restart #111 #Var: 2750 LB: 0 @ 1217 1223.53 c Restart #112 #Var: 2750 LB: 0 @ 1223.1 1229.97 c Restart #113 #Var: 2750 LB: 0 @ 1229.6 1236.37 c Restart #114 #Var: 2750 LB: 0 @ 1236 1242.86 c Restart #115 #Var: 2750 LB: 0 @ 1242.5 1249.46 c Restart #116 #Var: 2750 LB: 0 @ 1249.1 1255.91 c Restart #117 #Var: 2750 LB: 0 @ 1255.5 1262.78 c Restart #118 #Var: 2750 LB: 0 @ 1262.4 1269.20 c Restart #119 #Var: 2750 LB: 0 @ 1268.8 1275.79 c Restart #120 #Var: 2750 LB: 0 @ 1275.4 1282.91 c Restart #121 #Var: 2750 LB: 0 @ 1282.5 1289.83 c Restart #122 #Var: 2750 LB: 0 @ 1289.4 1296.84 c Restart #123 #Var: 2750 LB: 0 @ 1296.4 1303.71 c Restart #124 #Var: 2750 LB: 0 @ 1303.3 1310.81 c Restart #125 #Var: 2750 LB: 0 @ 1310.4 1318.04 c Restart #126 #Var: 2750 LB: 0 @ 1317.6 1325.24 c Restart #127 #Var: 2750 LB: 0 @ 1324.8 1332.99 c Restart #128 #Var: 2750 LB: 0 @ 1332.6 1340.70 c Restart #129 #Var: 2750 LB: 0 @ 1340.3 1348.82 c Restart #130 #Var: 2750 LB: 0 @ 1348.4 1356.90 c Restart #131 #Var: 2750 LB: 0 @ 1356.5 1365.00 c Restart #132 #Var: 2750 LB: 0 @ 1364.6 1372.84 c Restart #133 #Var: 2750 LB: 0 @ 1372.4 1381.00 c Restart #134 #Var: 2750 LB: 0 @ 1380.6 1389.31 c Restart #135 #Var: 2750 LB: 0 @ 1388.9 1397.52 c Restart #136 #Var: 2750 LB: 0 @ 1397.1 1406.00 c Restart #137 #Var: 2750 LB: 0 @ 1405.6 1414.61 c Restart #138 #Var: 2750 LB: 0 @ 1414.2 1423.05 c Restart #139 #Var: 2750 LB: 0 @ 1422.6 1431.68 c Restart #140 #Var: 2750 LB: 0 @ 1431.2 1440.54 c Restart #141 #Var: 2750 LB: 0 @ 1440.1 1449.05 c Restart #142 #Var: 2750 LB: 0 @ 1448.6 1458.02 c Restart #143 #Var: 2750 LB: 0 @ 1457.6 1467.02 c Restart #144 #Var: 2750 LB: 0 @ 1466.6 1475.98 c Restart #145 #Var: 2750 LB: 0 @ 1475.5 1485.39 c Restart #146 #Var: 2750 LB: 0 @ 1484.9 1494.85 c Restart #147 #Var: 2750 LB: 0 @ 1494.4 1504.38 c Restart #148 #Var: 2750 LB: 0 @ 1503.9 1513.86 c Restart #149 #Var: 2750 LB: 0 @ 1513.4 1523.64 c Restart #150 #Var: 2750 LB: 0 @ 1523.2 1532.99 c Restart #151 #Var: 2750 LB: 0 @ 1532.5 1543.11 c Restart #152 #Var: 2750 LB: 0 @ 1542.6 1553.17 c Restart #153 #Var: 2750 LB: 0 @ 1552.7 1563.14 c Restart #154 #Var: 2750 LB: 0 @ 1562.7 1573.07 c Restart #155 #Var: 2750 LB: 0 @ 1572.6 1583.31 c Restart #156 #Var: 2750 LB: 0 @ 1582.8 1593.43 c Restart #157 #Var: 2750 LB: 0 @ 1592.9 1603.76 c Restart #158 #Var: 2750 LB: 0 @ 1603.3 1614.34 c Restart #159 #Var: 2750 LB: 0 @ 1613.8 1624.93 c Restart #160 #Var: 2750 LB: 0 @ 1624.4 1635.74 c Restart #161 #Var: 2750 LB: 0 @ 1635.2 1646.57 c Restart #162 #Var: 2750 LB: 0 @ 1646.1 1657.51 c Restart #163 #Var: 2750 LB: 0 @ 1657 1668.48 c Restart #164 #Var: 2750 LB: 0 @ 1668 1679.09 c Restart #165 #Var: 2750 LB: 0 @ 1678.6 1690.20 c Restart #166 #Var: 2750 LB: 0 @ 1689.7 1701.23 c Restart #167 #Var: 2750 LB: 0 @ 1700.7 1711.80 c Restart #168 #Var: 2750 LB: 0 @ 1711.3 1722.72 c Restart #169 #Var: 2750 LB: 0 @ 1722.2 1734.06 c Restart #170 #Var: 2750 LB: 0 @ 1733.5 1745.41 c Restart #171 #Var: 2750 LB: 0 @ 1744.9 1756.88 c Restart #172 #Var: 2750 LB: 0 @ 1756.3 1768.45 c Restart #173 #Var: 2750 LB: 0 @ 1767.9 1780.20 c Restart #174 #Var: 2750 LB: 0 @ 1779.7 1791.87 c Restart #175 #Var: 2750 LB: 0 @ 1791.3 1800.55 s UNKNOWN 1800.55 c Exit Code: 0 1800.55 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/node36/watcher-46254-1154055732 -o ROOT/results/node36/solver-46254-1154055732 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node36/46254-1154055732/instance-46254-1154055732.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1556880/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=2948 CPUtime=0 /proc/20981/stat : 20981 (bsolo) D 20979 20981 20932 0 -1 0 50 0 1 0 0 0 0 0 18 0 1 0 152444553 3018752 34 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 1528612 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/20981/statm: 737 34 26 55 0 38 0 [startup+10.0015 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1550112/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=8884 CPUtime=9.94 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1452 0 10 0 990 4 0 0 25 0 1 0 152444553 9097216 1376 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718567 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 2221 1376 296 55 0 1113 0 Current children cumulated CPU time (s) 9.94 Current children cumulated vsize (Kb) 8884 [startup+20.0075 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1549984/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=9148 CPUtime=19.94 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1529 0 10 0 1988 6 0 0 25 0 1 0 152444553 9367552 1453 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 2287 1453 296 55 0 1179 0 Current children cumulated CPU time (s) 19.94 Current children cumulated vsize (Kb) 9148 [startup+30.0135 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1549856/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=9280 CPUtime=29.95 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1554 0 10 0 2987 8 0 0 25 0 1 0 152444553 9502720 1478 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 2320 1478 296 55 0 1212 0 Current children cumulated CPU time (s) 29.95 Current children cumulated vsize (Kb) 9280 [startup+40.0196 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1549856/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=9280 CPUtime=39.95 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1568 0 10 0 3985 10 0 0 25 0 1 0 152444553 9502720 1492 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 2320 1492 296 55 0 1212 0 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (Kb) 9280 [startup+50.0256 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1549856/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=9412 CPUtime=49.95 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1582 0 10 0 4982 13 0 0 25 0 1 0 152444553 9637888 1506 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 2353 1506 296 55 0 1245 0 Current children cumulated CPU time (s) 49.95 Current children cumulated vsize (Kb) 9412 [startup+60.0316 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1549792/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=9392 CPUtime=59.95 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1582 0 10 0 5980 15 0 0 25 0 1 0 152444553 9617408 1506 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 2348 1506 296 55 0 1240 0 Current children cumulated CPU time (s) 59.95 Current children cumulated vsize (Kb) 9392 [startup+70.0376 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1549856/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=9384 CPUtime=69.96 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1582 0 10 0 6979 17 0 0 25 0 1 0 152444553 9609216 1506 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 2346 1506 296 55 0 1238 0 Current children cumulated CPU time (s) 69.96 Current children cumulated vsize (Kb) 9384 [startup+80.0436 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1549792/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=9516 CPUtime=79.96 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1605 0 10 0 7978 18 0 0 25 0 1 0 152444553 9744384 1529 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 2379 1529 296 55 0 1271 0 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 9516 [startup+90.0496 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1549792/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=9516 CPUtime=89.96 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1606 0 10 0 8976 20 0 0 25 0 1 0 152444553 9744384 1530 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 2379 1530 296 55 0 1271 0 Current children cumulated CPU time (s) 89.96 Current children cumulated vsize (Kb) 9516 [startup+100.056 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1549728/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=9516 CPUtime=99.97 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1614 0 10 0 9974 23 0 0 25 0 1 0 152444553 9744384 1538 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 2379 1538 296 55 0 1271 0 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 9516 [startup+110.062 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1549600/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=9644 CPUtime=109.98 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1641 0 10 0 10973 25 0 0 25 0 1 0 152444553 9875456 1565 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718215 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 2411 1565 296 55 0 1303 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 9644 [startup+120.069 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1549472/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=9644 CPUtime=119.97 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1663 0 10 0 11970 27 0 0 25 0 1 0 152444553 9875456 1587 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 2411 1587 296 55 0 1303 0 Current children cumulated CPU time (s) 119.97 Current children cumulated vsize (Kb) 9644 [startup+130.075 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1549472/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=9776 CPUtime=129.98 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1667 0 10 0 12968 30 0 0 25 0 1 0 152444553 10010624 1591 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 2444 1591 296 55 0 1336 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 9776 [startup+140.081 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1549408/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=9760 CPUtime=139.98 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1680 0 10 0 13966 32 0 0 25 0 1 0 152444553 9994240 1604 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 2440 1604 296 55 0 1332 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 9760 [startup+150.087 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1549408/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=9760 CPUtime=149.99 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1686 0 10 0 14964 35 0 0 25 0 1 0 152444553 9994240 1610 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 2440 1610 296 55 0 1332 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 9760 [startup+160.093 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1549344/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=9888 CPUtime=159.99 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1704 0 10 0 15961 38 0 0 25 0 1 0 152444553 10125312 1628 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 2472 1628 296 55 0 1364 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 9888 [startup+170.099 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1549344/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=9888 CPUtime=170 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1704 0 10 0 16960 40 0 0 25 0 1 0 152444553 10125312 1628 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 2472 1628 296 55 0 1364 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 9888 [startup+180.105 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1549344/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=9888 CPUtime=180 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1704 0 10 0 17959 41 0 0 25 0 1 0 152444553 10125312 1628 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 2472 1628 296 55 0 1364 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 9888 [startup+190.111 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1549280/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=9888 CPUtime=190 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1722 0 10 0 18957 43 0 0 25 0 1 0 152444553 10125312 1646 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 2472 1646 296 55 0 1364 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 9888 [startup+200.117 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1549152/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=9992 CPUtime=200.01 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1749 0 10 0 19956 45 0 0 25 0 1 0 152444553 10231808 1673 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 2498 1673 296 55 0 1390 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 9992 [startup+210.123 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.64 Current children cumulated vsize (Kb) 16416 [startup+1771.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1770.64 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3370 0 10 0 176733 331 0 0 25 0 1 0 152444553 16809984 3270 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3270 296 55 0 2996 0 Current children cumulated CPU time (s) 1770.64 Current children cumulated vsize (Kb) 16416 [startup+1781.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1780.65 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 177732 333 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548592 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3275 296 55 0 2996 0 Current children cumulated CPU time (s) 1780.65 Current children cumulated vsize (Kb) 16416 [startup+1782.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1781.66 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 177833 333 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134557740 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3275 296 55 0 2996 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (Kb) 16416 [startup+1783.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1782.66 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 177933 333 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3275 296 55 0 2996 0 Current children cumulated CPU time (s) 1782.66 Current children cumulated vsize (Kb) 16416 [startup+1784.22 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1783.66 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 178033 333 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3275 296 55 0 2996 0 Current children cumulated CPU time (s) 1783.66 Current children cumulated vsize (Kb) 16416 [startup+1785.22 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1784.67 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 178133 334 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3275 296 55 0 2996 0 Current children cumulated CPU time (s) 1784.67 Current children cumulated vsize (Kb) 16416 [startup+1786.23 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1785.68 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 178234 334 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3275 296 55 0 2996 0 Current children cumulated CPU time (s) 1785.68 Current children cumulated vsize (Kb) 16416 [startup+1787.23 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1786.68 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 178334 334 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3275 296 55 0 2996 0 Current children cumulated CPU time (s) 1786.68 Current children cumulated vsize (Kb) 16416 [startup+1788.24 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1787.68 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 178434 334 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3275 296 55 0 2996 0 Current children cumulated CPU time (s) 1787.68 Current children cumulated vsize (Kb) 16416 [startup+1789.24 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1788.69 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 178535 334 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3275 296 55 0 2996 0 Current children cumulated CPU time (s) 1788.69 Current children cumulated vsize (Kb) 16416 [startup+1790.25 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1789.69 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 178635 334 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134599015 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3275 296 55 0 2996 0 Current children cumulated CPU time (s) 1789.69 Current children cumulated vsize (Kb) 16416 [startup+1791.25 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1790.69 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 178735 334 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134595816 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3275 296 55 0 2996 0 Current children cumulated CPU time (s) 1790.69 Current children cumulated vsize (Kb) 16416 [startup+1792.26 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1791.7 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 178836 334 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524861 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3275 296 55 0 2996 0 Current children cumulated CPU time (s) 1791.7 Current children cumulated vsize (Kb) 16416 [startup+1793.26 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1792.7 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 178936 334 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3275 296 55 0 2996 0 Current children cumulated CPU time (s) 1792.7 Current children cumulated vsize (Kb) 16416 [startup+1794.27 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1793.71 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 179036 335 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3275 296 55 0 2996 0 Current children cumulated CPU time (s) 1793.71 Current children cumulated vsize (Kb) 16416 [startup+1795.27 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1794.72 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 179137 335 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3275 296 55 0 2996 0 Current children cumulated CPU time (s) 1794.72 Current children cumulated vsize (Kb) 16416 [startup+1796.28 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1795.72 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 179237 335 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542206 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3275 296 55 0 2996 0 Current children cumulated CPU time (s) 1795.72 Current children cumulated vsize (Kb) 16416 [startup+1797.28 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1796.72 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 179337 335 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3275 296 55 0 2996 0 Current children cumulated CPU time (s) 1796.72 Current children cumulated vsize (Kb) 16416 [startup+1798.28 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1797.72 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 179437 335 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3275 296 55 0 2996 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (Kb) 16416 [startup+1799.29 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1798.73 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 179538 335 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3275 296 55 0 2996 0 Current children cumulated CPU time (s) 1798.73 Current children cumulated vsize (Kb) 16416 [startup+1800.29 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20981 /proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956 [pid=20981] ppid=20979 vsize=16416 CPUtime=1799.73 /proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 179638 335 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548609 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20981/statm: 4104 3275 296 55 0 2996 0 Current children cumulated CPU time (s) 1799.73 Current children cumulated vsize (Kb) 16416 Child status: 0 Real time (s): 1800.56 CPU time (s): 1800.01 CPU user time (s): 1796.64 CPU system time (s): 3.36249 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (Kb): 16432 The end
Begin job on node36 on Fri Jul 28 03:02:12 UTC 2006 FILE ID= 46254-1154055732 PBS_JOBID= 882029 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node36/46254-1154055732/instance-46254-1154055732.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node36/watcher-46254-1154055732 -o ROOT/results/node36/solver-46254-1154055732 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node36/46254-1154055732/instance-46254-1154055732.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 277dd35641d3866b31d8fb041eb7f9fb RANDOM SEED= 681373057 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.218 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.218 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: 1557152 kB Buffers: 17764 kB Cached: 402304 kB SwapCached: 3640 kB Active: 32936 kB Inactive: 395760 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1557152 kB SwapTotal: 4192956 kB SwapFree: 4183160 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14728 kB Slab: 56156 kB Committed_AS: 501524 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 node36 on Fri Jul 28 03:32:12 UTC 2006