Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800 | 1800.66 |
Name | normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb |
MD5SUM | 5bedad9895f21a4b5e521b3abd33ba08 |
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.029995 |
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 | 3660 |
Total number of constraints | 121 |
Number of constraints which are clauses | 61 |
Number of constraints which are cardinality constraints (but not clauses) | 60 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 61 |
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 | 62 |
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.02 c Time Limit set via PBTIMEOUT to 1800 0.04 c INFO: OSL Context initialized. 0.08 c Initial problem consists of 3660 variables and 121 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.052 0.09 c After prepocess the problem consists of 3660 variables and 121 constraints. 0.16 c Restart #1 #Var: 3660 LB: 0 @ 0.127 0.23 c Restart #2 #Var: 3660 LB: 0 @ 0.199 0.33 c Restart #3 #Var: 3660 LB: 0 @ 0.294 0.45 c Restart #4 #Var: 3660 LB: 0 @ 0.412 0.59 c Restart #5 #Var: 3660 LB: 0 @ 0.558 0.76 c Restart #6 #Var: 3660 LB: 0 @ 0.73 0.97 c Restart #7 #Var: 3660 LB: 0 @ 0.933 1.20 c Restart #8 #Var: 3660 LB: 0 @ 1.164 1.46 c Restart #9 #Var: 3660 LB: 0 @ 1.422 1.74 c Restart #10 #Var: 3660 LB: 0 @ 1.704 2.05 c Restart #11 #Var: 3660 LB: 0 @ 2.018 2.39 c Restart #12 #Var: 3660 LB: 0 @ 2.354 2.76 c Restart #13 #Var: 3660 LB: 0 @ 2.728 3.16 c Restart #14 #Var: 3660 LB: 0 @ 3.124 3.58 c Restart #15 #Var: 3660 LB: 0 @ 3.548 4.03 c Restart #16 #Var: 3660 LB: 0 @ 3.996 4.51 c Restart #17 #Var: 3660 LB: 0 @ 4.48 5.03 c Restart #18 #Var: 3660 LB: 0 @ 4.995 5.57 c Restart #19 #Var: 3660 LB: 0 @ 5.536 6.14 c Restart #20 #Var: 3660 LB: 0 @ 6.101 6.72 c Restart #21 #Var: 3660 LB: 0 @ 6.687 7.35 c Restart #22 #Var: 3660 LB: 0 @ 7.312 8.00 c Restart #23 #Var: 3660 LB: 0 @ 7.968 8.69 c Restart #24 #Var: 3660 LB: 0 @ 8.655 9.41 c Restart #25 #Var: 3660 LB: 0 @ 9.378 11.07 c Restart #26 #Var: 3660 LB: 0 @ 11.033 13.13 c Restart #27 #Var: 3660 LB: 0 @ 13.087 14.54 c Restart #28 #Var: 3660 LB: 0 @ 14.496 15.39 c Restart #29 #Var: 3660 LB: 0 @ 15.347 16.27 c Restart #30 #Var: 3660 LB: 0 @ 16.224 17.20 c Restart #31 #Var: 3660 LB: 0 @ 17.159 18.16 c Restart #32 #Var: 3660 LB: 0 @ 18.121 19.14 c Restart #33 #Var: 3660 LB: 0 @ 19.095 20.15 c Restart #34 #Var: 3660 LB: 0 @ 20.106 21.21 c Restart #35 #Var: 3660 LB: 0 @ 21.165 22.26 c Restart #36 #Var: 3660 LB: 0 @ 22.215 23.36 c Restart #37 #Var: 3660 LB: 0 @ 23.317 24.48 c Restart #38 #Var: 3660 LB: 0 @ 24.435 25.68 c Restart #39 #Var: 3660 LB: 0 @ 25.638 26.87 c Restart #40 #Var: 3660 LB: 0 @ 26.82 28.09 c Restart #41 #Var: 3660 LB: 0 @ 28.04 29.34 c Restart #42 #Var: 3660 LB: 0 @ 29.294 30.54 c Restart #43 #Var: 3660 LB: 0 @ 30.491 31.72 c Restart #44 #Var: 3660 LB: 0 @ 31.675 32.95 c Restart #45 #Var: 3660 LB: 0 @ 32.905 34.24 c Restart #46 #Var: 3660 LB: 0 @ 34.196 35.55 c Restart #47 #Var: 3660 LB: 0 @ 35.498 36.88 c Restart #48 #Var: 3660 LB: 0 @ 36.836 38.24 c Restart #49 #Var: 3660 LB: 0 @ 38.193 39.81 c Restart #50 #Var: 3660 LB: 0 @ 39.761 41.28 c Restart #51 #Var: 3660 LB: 0 @ 41.225 42.72 c Restart #52 #Var: 3660 LB: 0 @ 42.666 44.20 c Restart #53 #Var: 3660 LB: 0 @ 44.153 45.69 c Restart #54 #Var: 3660 LB: 0 @ 45.638 47.15 c Restart #55 #Var: 3660 LB: 0 @ 47.096 48.72 c Restart #56 #Var: 3660 LB: 0 @ 48.665 50.30 c Restart #57 #Var: 3660 LB: 0 @ 50.251 51.86 c Restart #58 #Var: 3660 LB: 0 @ 51.808 53.48 c Restart #59 #Var: 3660 LB: 0 @ 53.425 55.11 c Restart #60 #Var: 3660 LB: 0 @ 55.055 56.77 c Restart #61 #Var: 3660 LB: 0 @ 56.713 58.48 c Restart #62 #Var: 3660 LB: 0 @ 58.424 60.22 c Restart #63 #Var: 3660 LB: 0 @ 60.163 61.96 c Restart #64 #Var: 3660 LB: 0 @ 61.9 63.78 c Restart #65 #Var: 3660 LB: 0 @ 63.72 65.59 c Restart #66 #Var: 3660 LB: 0 @ 65.535 67.47 c Restart #67 #Var: 3660 LB: 0 @ 67.41 69.35 c Restart #68 #Var: 3660 LB: 0 @ 69.289 71.24 c Restart #69 #Var: 3660 LB: 0 @ 71.183 73.13 c Restart #70 #Var: 3660 LB: 0 @ 73.068 75.07 c Restart #71 #Var: 3660 LB: 0 @ 75.013 77.10 c Restart #72 #Var: 3660 LB: 0 @ 77.035 79.10 c Restart #73 #Var: 3660 LB: 0 @ 79.04 81.12 c Restart #74 #Var: 3660 LB: 0 @ 81.059 83.14 c Restart #75 #Var: 3660 LB: 0 @ 83.08 85.24 c Restart #76 #Var: 3660 LB: 0 @ 85.173 87.38 c Restart #77 #Var: 3660 LB: 0 @ 87.312 89.55 c Restart #78 #Var: 3660 LB: 0 @ 89.486 91.78 c Restart #79 #Var: 3660 LB: 0 @ 91.718 94.09 c Restart #80 #Var: 3660 LB: 0 @ 94.019 96.31 c Restart #81 #Var: 3660 LB: 0 @ 96.244 98.59 c Restart #82 #Var: 3660 LB: 0 @ 98.518 100.85 c Restart #83 #Var: 3660 LB: 0 @ 100.78 103.19 c Restart #84 #Var: 3660 LB: 0 @ 103.12 105.54 c Restart #85 #Var: 3660 LB: 0 @ 105.47 108.05 c Restart #86 #Var: 3660 LB: 0 @ 107.98 110.41 c Restart #87 #Var: 3660 LB: 0 @ 110.34 112.85 c Restart #88 #Var: 3660 LB: 0 @ 112.77 115.33 c Restart #89 #Var: 3660 LB: 0 @ 115.26 117.90 c Restart #90 #Var: 3660 LB: 0 @ 117.82 120.38 c Restart #91 #Var: 3660 LB: 0 @ 120.31 122.91 c Restart #92 #Var: 3660 LB: 0 @ 122.83 125.42 c Restart #93 #Var: 3660 LB: 0 @ 125.34 128.03 c Restart #94 #Var: 3660 LB: 0 @ 127.95 130.68 c Restart #95 #Var: 3660 LB: 0 @ 130.6 133.30 c Restart #96 #Var: 3660 LB: 0 @ 133.22 136.01 c Restart #97 #Var: 3660 LB: 0 @ 135.93 138.72 c Restart #98 #Var: 3660 LB: 0 @ 138.64 141.50 c Restart #99 #Var: 3660 LB: 0 @ 141.41 144.32 c Restart #100 #Var: 3660 LB: 0 @ 144.24 147.11 c Restart #101 #Var: 3660 LB: 0 @ 147.03 149.85 c Restart #102 #Var: 3660 LB: 0 @ 149.77 152.75 c Restart #103 #Var: 3660 LB: 0 @ 152.66 155.66 c Restart #104 #Var: 3660 LB: 0 @ 155.57 158.63 c Restart #105 #Var: 3660 LB: 0 @ 158.54 161.48 c Restart #106 #Var: 3660 LB: 0 @ 161.39 164.46 c Restart #107 #Var: 3660 LB: 0 @ 164.37 167.54 c Restart #108 #Var: 3660 LB: 0 @ 167.45 170.62 c Restart #109 #Var: 3660 LB: 0 @ 170.53 173.73 c Restart #110 #Var: 3660 LB: 0 @ 173.64 176.90 c Restart #111 #Var: 3660 LB: 0 @ 176.81 180.10 c Restart #112 #Var: 3660 LB: 0 @ 180.01 183.32 c Restart #113 #Var: 3660 LB: 0 @ 183.23 186.52 c Restart #114 #Var: 3660 LB: 0 @ 186.43 189.72 c Restart #115 #Var: 3660 LB: 0 @ 189.62 193.04 c Restart #116 #Var: 3660 LB: 0 @ 192.94 196.30 c Restart #117 #Var: 3660 LB: 0 @ 196.2 199.60 c Restart #118 #Var: 3660 LB: 0 @ 199.5 202.98 c Restart #119 #Var: 3660 LB: 0 @ 202.88 206.39 c Restart #120 #Var: 3660 LB: 0 @ 206.28 209.84 c Restart #121 #Var: 3660 LB: 0 @ 209.74 213.24 c Restart #122 #Var: 3660 LB: 0 @ 213.14 216.71 c Restart #123 #Var: 3660 LB: 0 @ 216.61 220.16 c Restart #124 #Var: 3660 LB: 0 @ 220.05 223.53 c Restart #125 #Var: 3660 LB: 0 @ 223.42 227.01 c Restart #126 #Var: 3660 LB: 0 @ 226.9 230.64 c Restart #127 #Var: 3660 LB: 0 @ 230.53 234.16 c Restart #128 #Var: 3660 LB: 0 @ 234.05 237.67 c Restart #129 #Var: 3660 LB: 0 @ 237.55 241.22 c Restart #130 #Var: 3660 LB: 0 @ 241.11 244.85 c Restart #131 #Var: 3660 LB: 0 @ 244.73 248.63 c Restart #132 #Var: 3660 LB: 0 @ 248.51 252.40 c Restart #133 #Var: 3660 LB: 0 @ 252.28 256.16 c Restart #134 #Var: 3660 LB: 0 @ 256.04 259.96 c Restart #135 #Var: 3660 LB: 0 @ 259.83 263.92 c Restart #136 #Var: 3660 LB: 0 @ 263.8 267.80 c Restart #137 #Var: 3660 LB: 0 @ 267.67 271.80 c Restart #138 #Var: 3660 LB: 0 @ 271.67 275.80 c Restart #139 #Var: 3660 LB: 0 @ 275.67 279.60 c Restart #140 #Var: 3660 LB: 0 @ 279.47 283.58 c Restart #141 #Var: 3660 LB: 0 @ 283.45 287.50 c Restart #142 #Var: 3660 LB: 0 @ 287.37 291.47 c Restart #143 #Var: 3660 LB: 0 @ 291.34 295.48 c Restart #144 #Var: 3660 LB: 0 @ 295.34 299.51 c Restart #145 #Var: 3660 LB: 0 @ 299.37 303.68 c Restart #146 #Var: 3660 LB: 0 @ 303.54 307.85 c Restart #147 #Var: 3660 LB: 0 @ 307.71 312.03 c Restart #148 #Var: 3660 LB: 0 @ 311.88 316.34 c Restart #149 #Var: 3660 LB: 0 @ 316.2 320.69 c Restart #150 #Var: 3660 LB: 0 @ 320.55 324.85 c Restart #151 #Var: 3660 LB: 0 @ 324.71 329.20 c Restart #152 #Var: 3660 LB: 0 @ 329.05 333.79 c Restart #153 #Var: 3660 LB: 0 @ 333.64 338.43 c Restart #154 #Var: 3660 LB: 0 @ 338.28 343.02 c Restart #155 #Var: 3660 LB: 0 @ 342.87 347.60 c Restart #156 #Var: 3660 LB: 0 @ 347.45 352.38 c Restart #157 #Var: 3660 LB: 0 @ 352.23 356.97 c Restart #158 #Var: 3660 LB: 0 @ 356.81 361.64 c Restart #159 #Var: 3660 LB: 0 @ 361.48 366.39 c Restart #160 #Var: 3660 LB: 0 @ 366.23 371.38 c Restart #161 #Var: 3660 LB: 0 @ 371.22 376.11 c Restart #162 #Var: 3660 LB: 0 @ 375.95 380.90 c Restart #163 #Var: 3660 LB: 0 @ 380.74 385.50 c Restart #164 #Var: 3660 LB: 0 @ 385.33 390.29 c Restart #165 #Var: 3660 LB: 0 @ 390.12 395.38 c Restart #166 #Var: 3660 LB: 0 @ 395.21 400.17 c Restart #167 #Var: 3660 LB: 0 @ 400 404.90 c Restart #168 #Var: 3660 LB: 0 @ 404.72 409.80 c Restart #169 #Var: 3660 LB: 0 @ 409.62 414.55 c Restart #170 #Var: 3660 LB: 0 @ 414.37 419.42 c Restart #171 #Var: 3660 LB: 0 @ 419.25 424.27 c Restart #172 #Var: 3660 LB: 0 @ 424.1 429.12 c Restart #173 #Var: 3660 LB: 0 @ 428.94 434.08 c Restart #174 #Var: 3660 LB: 0 @ 433.9 439.16 c Restart #175 #Var: 3660 LB: 0 @ 438.97 444.02 c Restart #176 #Var: 3660 LB: 0 @ 443.84 448.88 c Restart #177 #Var: 3660 LB: 0 @ 448.69 454.07 c Restart #178 #Var: 3660 LB: 0 @ 453.88 459.03 c Restart #179 #Var: 3660 LB: 0 @ 458.84 464.26 c Restart #180 #Var: 3660 LB: 0 @ 464.06 469.27 c Restart #181 #Var: 3660 LB: 0 @ 469.08 474.32 c Restart #182 #Var: 3660 LB: 0 @ 474.12 479.24 c Restart #183 #Var: 3660 LB: 0 @ 479.05 484.52 c Restart #184 #Var: 3660 LB: 0 @ 484.32 489.54 c Restart #185 #Var: 3660 LB: 0 @ 489.34 494.57 c Restart #186 #Var: 3660 LB: 0 @ 494.37 499.60 c Restart #187 #Var: 3660 LB: 0 @ 499.4 504.82 c Restart #188 #Var: 3660 LB: 0 @ 504.61 510.17 c Restart #189 #Var: 3660 LB: 0 @ 509.96 515.73 c Restart #190 #Var: 3660 LB: 0 @ 515.52 521.27 c Restart #191 #Var: 3660 LB: 0 @ 521.06 526.87 c Restart #192 #Var: 3660 LB: 0 @ 526.65 532.35 c Restart #193 #Var: 3660 LB: 0 @ 532.13 538.06 c Restart #194 #Var: 3660 LB: 0 @ 537.84 543.60 c Restart #195 #Var: 3660 LB: 0 @ 543.38 549.11 c Restart #196 #Var: 3660 LB: 0 @ 548.88 554.61 c Restart #197 #Var: 3660 LB: 0 @ 554.39 560.20 c Restart #198 #Var: 3660 LB: 0 @ 559.98 565.65 c Restart #199 #Var: 3660 LB: 0 @ 565.43 571.10 c Restart #200 #Var: 3660 LB: 0 @ 570.87 576.59 c Restart #201 #Var: 3660 LB: 0 @ 576.36 582.08 c Restart #202 #Var: 3660 LB: 0 @ 581.84 587.66 c Restart #203 #Var: 3660 LB: 0 @ 587.43 593.34 c Restart #204 #Var: 3660 LB: 0 @ 593.1 599.05 c Restart #205 #Var: 3660 LB: 0 @ 598.81 604.64 c Restart #206 #Var: 3660 LB: 0 @ 604.4 610.24 c Restart #207 #Var: 3660 LB: 0 @ 610 615.98 c Restart #208 #Var: 3660 LB: 0 @ 615.74 621.71 c Restart #209 #Var: 3660 LB: 0 @ 621.46 627.46 c Restart #210 #Var: 3660 LB: 0 @ 627.22 633.34 c Restart #211 #Var: 3660 LB: 0 @ 633.09 639.20 c Restart #212 #Var: 3660 LB: 0 @ 638.95 644.99 c Restart #213 #Var: 3660 LB: 0 @ 644.73 650.99 c Restart #214 #Var: 3660 LB: 0 @ 650.74 656.91 c Restart #215 #Var: 3660 LB: 0 @ 656.65 662.87 c Restart #216 #Var: 3660 LB: 0 @ 662.61 668.91 c Restart #217 #Var: 3660 LB: 0 @ 668.65 675.04 c Restart #218 #Var: 3660 LB: 0 @ 674.77 681.33 c Restart #219 #Var: 3660 LB: 0 @ 681.06 687.46 c Restart #220 #Var: 3660 LB: 0 @ 687.19 693.73 c Restart #221 #Var: 3660 LB: 0 @ 693.46 699.98 c Restart #222 #Var: 3660 LB: 0 @ 699.71 706.25 c Restart #223 #Var: 3660 LB: 0 @ 705.98 712.71 c Restart #224 #Var: 3660 LB: 0 @ 712.43 719.16 c Restart #225 #Var: 3660 LB: 0 @ 718.88 725.54 c Restart #226 #Var: 3660 LB: 0 @ 725.26 731.80 c Restart #227 #Var: 3660 LB: 0 @ 731.52 738.16 c Restart #228 #Var: 3660 LB: 0 @ 737.88 744.59 c Restart #229 #Var: 3660 LB: 0 @ 744.3 750.98 c Restart #230 #Var: 3660 LB: 0 @ 750.69 757.63 c Restart #231 #Var: 3660 LB: 0 @ 757.33 764.01 c Restart #232 #Var: 3660 LB: 0 @ 763.72 770.48 c Restart #233 #Var: 3660 LB: 0 @ 770.18 776.91 c Restart #234 #Var: 3660 LB: 0 @ 776.61 783.45 c Restart #235 #Var: 3660 LB: 0 @ 783.15 790.16 c Restart #236 #Var: 3660 LB: 0 @ 789.85 796.95 c Restart #237 #Var: 3660 LB: 0 @ 796.64 803.70 c Restart #238 #Var: 3660 LB: 0 @ 803.39 810.40 c Restart #239 #Var: 3660 LB: 0 @ 810.09 817.19 c Restart #240 #Var: 3660 LB: 0 @ 816.88 824.00 c Restart #241 #Var: 3660 LB: 0 @ 823.68 830.80 c Restart #242 #Var: 3660 LB: 0 @ 830.48 837.61 c Restart #243 #Var: 3660 LB: 0 @ 837.29 844.49 c Restart #244 #Var: 3660 LB: 0 @ 844.16 851.38 c Restart #245 #Var: 3660 LB: 0 @ 851.06 858.12 c Restart #246 #Var: 3660 LB: 0 @ 857.79 865.03 c Restart #247 #Var: 3660 LB: 0 @ 864.7 871.84 c Restart #248 #Var: 3660 LB: 0 @ 871.51 878.81 c Restart #249 #Var: 3660 LB: 0 @ 878.47 885.79 c Restart #250 #Var: 3660 LB: 0 @ 885.46 892.75 c Restart #251 #Var: 3660 LB: 0 @ 892.41 899.68 c Restart #252 #Var: 3660 LB: 0 @ 899.34 906.77 c CHANGE Heuristic... 906.77 c Restart #0 #Var: 3660 LB: 0 @ 906.42 906.81 c Restart #1 #Var: 3660 LB: 0 @ 906.46 906.87 c Restart #2 #Var: 3660 LB: 0 @ 906.52 906.96 c Restart #3 #Var: 3660 LB: 0 @ 906.62 907.08 c Restart #4 #Var: 3660 LB: 0 @ 906.74 907.23 c Restart #5 #Var: 3660 LB: 0 @ 906.88 907.41 c Restart #6 #Var: 3660 LB: 0 @ 907.06 907.61 c Restart #7 #Var: 3660 LB: 0 @ 907.27 907.85 c Restart #8 #Var: 3660 LB: 0 @ 907.51 908.12 c Restart #9 #Var: 3660 LB: 0 @ 907.77 908.41 c Restart #10 #Var: 3660 LB: 0 @ 908.06 908.73 c Restart #11 #Var: 3660 LB: 0 @ 908.38 909.07 c Restart #12 #Var: 3660 LB: 0 @ 908.73 909.46 c Restart #13 #Var: 3660 LB: 0 @ 909.11 909.87 c Restart #14 #Var: 3660 LB: 0 @ 909.53 910.31 c Restart #15 #Var: 3660 LB: 0 @ 909.97 910.78 c Restart #16 #Var: 3660 LB: 0 @ 910.44 911.28 c Restart #17 #Var: 3660 LB: 0 @ 910.93 911.81 c Restart #18 #Var: 3660 LB: 0 @ 911.46 912.36 c Restart #19 #Var: 3660 LB: 0 @ 912.01 912.95 c Restart #20 #Var: 3660 LB: 0 @ 912.6 913.56 c Restart #21 #Var: 3660 LB: 0 @ 913.21 914.21 c Restart #22 #Var: 3660 LB: 0 @ 913.86 914.90 c Restart #23 #Var: 3660 LB: 0 @ 914.55 915.60 c Restart #24 #Var: 3660 LB: 0 @ 915.25 916.34 c Restart #25 #Var: 3660 LB: 0 @ 916 917.25 c Restart #26 #Var: 3660 LB: 0 @ 916.9 918.21 c Restart #27 #Var: 3660 LB: 0 @ 917.86 919.05 c Restart #28 #Var: 3660 LB: 0 @ 918.7 919.88 c Restart #29 #Var: 3660 LB: 0 @ 919.54 920.75 c Restart #30 #Var: 3660 LB: 0 @ 920.4 921.64 c Restart #31 #Var: 3660 LB: 0 @ 921.29 922.59 c Restart #32 #Var: 3660 LB: 0 @ 922.24 923.55 c Restart #33 #Var: 3660 LB: 0 @ 923.2 924.53 c Restart #34 #Var: 3660 LB: 0 @ 924.18 925.54 c Restart #35 #Var: 3660 LB: 0 @ 925.19 926.60 c Restart #36 #Var: 3660 LB: 0 @ 926.25 927.66 c Restart #37 #Var: 3660 LB: 0 @ 927.31 928.77 c Restart #38 #Var: 3660 LB: 0 @ 928.42 929.93 c Restart #39 #Var: 3660 LB: 0 @ 929.58 931.11 c Restart #40 #Var: 3660 LB: 0 @ 930.76 932.32 c Restart #41 #Var: 3660 LB: 0 @ 931.97 933.58 c Restart #42 #Var: 3660 LB: 0 @ 933.23 934.88 c Restart #43 #Var: 3660 LB: 0 @ 934.53 936.25 c Restart #44 #Var: 3660 LB: 0 @ 935.89 937.63 c Restart #45 #Var: 3660 LB: 0 @ 937.27 939.16 c Restart #46 #Var: 3660 LB: 0 @ 938.8 940.55 c Restart #47 #Var: 3660 LB: 0 @ 940.2 941.97 c Restart #48 #Var: 3660 LB: 0 @ 941.61 943.41 c Restart #49 #Var: 3660 LB: 0 @ 943.05 944.90 c Restart #50 #Var: 3660 LB: 0 @ 944.54 946.39 c Restart #51 #Var: 3660 LB: 0 @ 946.03 947.91 c Restart #52 #Var: 3660 LB: 0 @ 947.55 949.42 c Restart #53 #Var: 3660 LB: 0 @ 949.06 951.01 c Restart #54 #Var: 3660 LB: 0 @ 950.65 952.61 c Restart #55 #Var: 3660 LB: 0 @ 952.24 954.23 c Restart #56 #Var: 3660 LB: 0 @ 953.87 955.95 c Restart #57 #Var: 3660 LB: 0 @ 955.59 957.70 c Restart #58 #Var: 3660 LB: 0 @ 957.34 959.38 c Restart #59 #Var: 3660 LB: 0 @ 959.02 961.10 c Restart #60 #Var: 3660 LB: 0 @ 960.74 962.88 c Restart #61 #Var: 3660 LB: 0 @ 962.52 964.67 c Restart #62 #Var: 3660 LB: 0 @ 964.3 966.55 c Restart #63 #Var: 3660 LB: 0 @ 966.19 968.39 c Restart #64 #Var: 3660 LB: 0 @ 968.03 970.29 c Restart #65 #Var: 3660 LB: 0 @ 969.92 972.18 c Restart #66 #Var: 3660 LB: 0 @ 971.81 974.13 c Restart #67 #Var: 3660 LB: 0 @ 973.76 976.08 c Restart #68 #Var: 3660 LB: 0 @ 975.71 978.16 c Restart #69 #Var: 3660 LB: 0 @ 977.79 980.21 c Restart #70 #Var: 3660 LB: 0 @ 979.84 982.27 c Restart #71 #Var: 3660 LB: 0 @ 981.9 984.37 c Restart #72 #Var: 3660 LB: 0 @ 984 986.46 c Restart #73 #Var: 3660 LB: 0 @ 986.09 988.61 c Restart #74 #Var: 3660 LB: 0 @ 988.23 990.83 c Restart #75 #Var: 3660 LB: 0 @ 990.45 993.07 c Restart #76 #Var: 3660 LB: 0 @ 992.7 995.32 c Restart #77 #Var: 3660 LB: 0 @ 994.95 997.61 c Restart #78 #Var: 3660 LB: 0 @ 997.23 999.92 c Restart #79 #Var: 3660 LB: 0 @ 999.54 1002.24 c Restart #80 #Var: 3660 LB: 0 @ 1001.9 1004.56 c Restart #81 #Var: 3660 LB: 0 @ 1004.2 1006.94 c Restart #82 #Var: 3660 LB: 0 @ 1006.6 1009.46 c Restart #83 #Var: 3660 LB: 0 @ 1009.1 1011.84 c Restart #84 #Var: 3660 LB: 0 @ 1011.5 1014.28 c Restart #85 #Var: 3660 LB: 0 @ 1013.9 1016.67 c Restart #86 #Var: 3660 LB: 0 @ 1016.3 1019.14 c Restart #87 #Var: 3660 LB: 0 @ 1018.8 1021.65 c Restart #88 #Var: 3660 LB: 0 @ 1021.3 1024.23 c Restart #89 #Var: 3660 LB: 0 @ 1023.8 1026.72 c Restart #90 #Var: 3660 LB: 0 @ 1026.3 1029.24 c Restart #91 #Var: 3660 LB: 0 @ 1028.9 1031.83 c Restart #92 #Var: 3660 LB: 0 @ 1031.4 1034.44 c Restart #93 #Var: 3660 LB: 0 @ 1034 1037.11 c Restart #94 #Var: 3660 LB: 0 @ 1036.7 1039.80 c Restart #95 #Var: 3660 LB: 0 @ 1039.4 1042.47 c Restart #96 #Var: 3660 LB: 0 @ 1042.1 1045.11 c Restart #97 #Var: 3660 LB: 0 @ 1044.7 1047.89 c Restart #98 #Var: 3660 LB: 0 @ 1047.5 1050.63 c Restart #99 #Var: 3660 LB: 0 @ 1050.2 1053.41 c Restart #100 #Var: 3660 LB: 0 @ 1053 1056.18 c Restart #101 #Var: 3660 LB: 0 @ 1055.8 1059.04 c Restart #102 #Var: 3660 LB: 0 @ 1058.6 1061.88 c Restart #103 #Var: 3660 LB: 0 @ 1061.5 1064.71 c Restart #104 #Var: 3660 LB: 0 @ 1064.3 1067.60 c Restart #105 #Var: 3660 LB: 0 @ 1067.2 1070.47 c Restart #106 #Var: 3660 LB: 0 @ 1070.1 1073.40 c Restart #107 #Var: 3660 LB: 0 @ 1073 1076.37 c Restart #108 #Var: 3660 LB: 0 @ 1076 1079.37 c Restart #109 #Var: 3660 LB: 0 @ 1079 1082.34 c Restart #110 #Var: 3660 LB: 0 @ 1081.9 1085.32 c Restart #111 #Var: 3660 LB: 0 @ 1084.9 1088.51 c Restart #112 #Var: 3660 LB: 0 @ 1088.1 1091.66 c Restart #113 #Var: 3660 LB: 0 @ 1091.2 1094.70 c Restart #114 #Var: 3660 LB: 0 @ 1094.3 1097.87 c Restart #115 #Var: 3660 LB: 0 @ 1097.5 1101.03 c Restart #116 #Var: 3660 LB: 0 @ 1100.6 1104.22 c Restart #117 #Var: 3660 LB: 0 @ 1103.8 1107.55 c Restart #118 #Var: 3660 LB: 0 @ 1107.1 1110.81 c Restart #119 #Var: 3660 LB: 0 @ 1110.4 1114.07 c Restart #120 #Var: 3660 LB: 0 @ 1113.7 1117.35 c Restart #121 #Var: 3660 LB: 0 @ 1116.9 1120.66 c Restart #122 #Var: 3660 LB: 0 @ 1120.2 1124.00 c Restart #123 #Var: 3660 LB: 0 @ 1123.6 1127.35 c Restart #124 #Var: 3660 LB: 0 @ 1126.9 1130.74 c Restart #125 #Var: 3660 LB: 0 @ 1130.3 1134.24 c Restart #126 #Var: 3660 LB: 0 @ 1133.8 1137.80 c Restart #127 #Var: 3660 LB: 0 @ 1137.4 1141.37 c Restart #128 #Var: 3660 LB: 0 @ 1140.9 1145.03 c Restart #129 #Var: 3660 LB: 0 @ 1144.6 1148.72 c Restart #130 #Var: 3660 LB: 0 @ 1148.3 1152.38 c Restart #131 #Var: 3660 LB: 0 @ 1152 1156.20 c Restart #132 #Var: 3660 LB: 0 @ 1155.8 1159.84 c Restart #133 #Var: 3660 LB: 0 @ 1159.4 1163.56 c Restart #134 #Var: 3660 LB: 0 @ 1163.1 1167.24 c Restart #135 #Var: 3660 LB: 0 @ 1166.8 1171.09 c Restart #136 #Var: 3660 LB: 0 @ 1170.7 1174.91 c Restart #137 #Var: 3660 LB: 0 @ 1174.5 1178.73 c Restart #138 #Var: 3660 LB: 0 @ 1178.3 1182.60 c Restart #139 #Var: 3660 LB: 0 @ 1182.2 1186.47 c Restart #140 #Var: 3660 LB: 0 @ 1186 1190.31 c Restart #141 #Var: 3660 LB: 0 @ 1189.9 1194.30 c Restart #142 #Var: 3660 LB: 0 @ 1193.9 1198.40 c Restart #143 #Var: 3660 LB: 0 @ 1198 1202.53 c Restart #144 #Var: 3660 LB: 0 @ 1202.1 1206.67 c Restart #145 #Var: 3660 LB: 0 @ 1206.2 1210.79 c Restart #146 #Var: 3660 LB: 0 @ 1210.3 1215.11 c Restart #147 #Var: 3660 LB: 0 @ 1214.7 1219.45 c Restart #148 #Var: 3660 LB: 0 @ 1219 1223.76 c Restart #149 #Var: 3660 LB: 0 @ 1223.3 1228.00 c Restart #150 #Var: 3660 LB: 0 @ 1227.5 1232.30 c Restart #151 #Var: 3660 LB: 0 @ 1231.8 1236.83 c Restart #152 #Var: 3660 LB: 0 @ 1236.4 1241.26 c Restart #153 #Var: 3660 LB: 0 @ 1240.8 1245.65 c Restart #154 #Var: 3660 LB: 0 @ 1245.2 1250.29 c Restart #155 #Var: 3660 LB: 0 @ 1249.8 1254.63 c Restart #156 #Var: 3660 LB: 0 @ 1254.2 1259.17 c Restart #157 #Var: 3660 LB: 0 @ 1258.7 1263.49 c Restart #158 #Var: 3660 LB: 0 @ 1263 1268.01 c Restart #159 #Var: 3660 LB: 0 @ 1267.5 1272.65 c Restart #160 #Var: 3660 LB: 0 @ 1272.2 1277.32 c Restart #161 #Var: 3660 LB: 0 @ 1276.8 1281.90 c Restart #162 #Var: 3660 LB: 0 @ 1281.4 1286.52 c Restart #163 #Var: 3660 LB: 0 @ 1286 1291.09 c Restart #164 #Var: 3660 LB: 0 @ 1290.6 1295.87 c Restart #165 #Var: 3660 LB: 0 @ 1295.4 1300.64 c Restart #166 #Var: 3660 LB: 0 @ 1300.2 1305.50 c Restart #167 #Var: 3660 LB: 0 @ 1305 1310.33 c Restart #168 #Var: 3660 LB: 0 @ 1309.9 1315.01 c Restart #169 #Var: 3660 LB: 0 @ 1314.5 1319.71 c Restart #170 #Var: 3660 LB: 0 @ 1319.2 1324.50 c Restart #171 #Var: 3660 LB: 0 @ 1324 1329.16 c Restart #172 #Var: 3660 LB: 0 @ 1328.7 1334.06 c Restart #173 #Var: 3660 LB: 0 @ 1333.6 1338.96 c Restart #174 #Var: 3660 LB: 0 @ 1338.5 1344.01 c Restart #175 #Var: 3660 LB: 0 @ 1343.5 1348.89 c Restart #176 #Var: 3660 LB: 0 @ 1348.4 1353.86 c Restart #177 #Var: 3660 LB: 0 @ 1353.4 1358.81 c Restart #178 #Var: 3660 LB: 0 @ 1358.3 1363.77 c Restart #179 #Var: 3660 LB: 0 @ 1363.3 1368.73 c Restart #180 #Var: 3660 LB: 0 @ 1368.2 1373.80 c Restart #181 #Var: 3660 LB: 0 @ 1373.3 1378.91 c Restart #182 #Var: 3660 LB: 0 @ 1378.4 1383.97 c Restart #183 #Var: 3660 LB: 0 @ 1383.5 1389.05 c Restart #184 #Var: 3660 LB: 0 @ 1388.5 1394.26 c Restart #185 #Var: 3660 LB: 0 @ 1393.7 1399.51 c Restart #186 #Var: 3660 LB: 0 @ 1399 1404.73 c Restart #187 #Var: 3660 LB: 0 @ 1404.2 1409.92 c Restart #188 #Var: 3660 LB: 0 @ 1409.4 1415.22 c Restart #189 #Var: 3660 LB: 0 @ 1414.7 1420.52 c Restart #190 #Var: 3660 LB: 0 @ 1420 1425.83 c Restart #191 #Var: 3660 LB: 0 @ 1425.3 1431.22 c Restart #192 #Var: 3660 LB: 0 @ 1430.7 1436.68 c Restart #193 #Var: 3660 LB: 0 @ 1436.2 1442.19 c Restart #194 #Var: 3660 LB: 0 @ 1441.7 1447.60 c Restart #195 #Var: 3660 LB: 0 @ 1447.1 1453.13 c Restart #196 #Var: 3660 LB: 0 @ 1452.6 1458.71 c Restart #197 #Var: 3660 LB: 0 @ 1458.2 1464.20 c Restart #198 #Var: 3660 LB: 0 @ 1463.7 1469.76 c Restart #199 #Var: 3660 LB: 0 @ 1469.2 1475.35 c Restart #200 #Var: 3660 LB: 0 @ 1474.8 1480.87 c Restart #201 #Var: 3660 LB: 0 @ 1480.3 1486.44 c Restart #202 #Var: 3660 LB: 0 @ 1485.9 1492.23 c Restart #203 #Var: 3660 LB: 0 @ 1491.7 1497.90 c Restart #204 #Var: 3660 LB: 0 @ 1497.4 1503.69 c Restart #205 #Var: 3660 LB: 0 @ 1503.1 1509.51 c Restart #206 #Var: 3660 LB: 0 @ 1509 1515.37 c Restart #207 #Var: 3660 LB: 0 @ 1514.8 1521.33 c Restart #208 #Var: 3660 LB: 0 @ 1520.8 1527.13 c Restart #209 #Var: 3660 LB: 0 @ 1526.6 1533.33 c Restart #210 #Var: 3660 LB: 0 @ 1532.8 1539.33 c Restart #211 #Var: 3660 LB: 0 @ 1538.8 1545.32 c Restart #212 #Var: 3660 LB: 0 @ 1544.8 1551.61 c Restart #213 #Var: 3660 LB: 0 @ 1551 1557.58 c Restart #214 #Var: 3660 LB: 0 @ 1557 1563.57 c Restart #215 #Var: 3660 LB: 0 @ 1563 1569.65 c Restart #216 #Var: 3660 LB: 0 @ 1569.1 1575.87 c Restart #217 #Var: 3660 LB: 0 @ 1575.3 1581.84 c Restart #218 #Var: 3660 LB: 0 @ 1581.3 1588.36 c Restart #219 #Var: 3660 LB: 0 @ 1587.8 1594.80 c Restart #220 #Var: 3660 LB: 0 @ 1594.2 1601.20 c Restart #221 #Var: 3660 LB: 0 @ 1600.6 1607.68 c Restart #222 #Var: 3660 LB: 0 @ 1607.1 1614.25 c Restart #223 #Var: 3660 LB: 0 @ 1613.7 1620.96 c Restart #224 #Var: 3660 LB: 0 @ 1620.4 1627.54 c Restart #225 #Var: 3660 LB: 0 @ 1627 1634.11 c Restart #226 #Var: 3660 LB: 0 @ 1633.5 1640.60 c Restart #227 #Var: 3660 LB: 0 @ 1640 1646.85 c Restart #228 #Var: 3660 LB: 0 @ 1646.3 1653.56 c Restart #229 #Var: 3660 LB: 0 @ 1653 1660.26 c Restart #230 #Var: 3660 LB: 0 @ 1659.7 1667.04 c Restart #231 #Var: 3660 LB: 0 @ 1666.4 1673.77 c Restart #232 #Var: 3660 LB: 0 @ 1673.2 1680.88 c Restart #233 #Var: 3660 LB: 0 @ 1680.3 1687.78 c Restart #234 #Var: 3660 LB: 0 @ 1687.2 1694.69 c Restart #235 #Var: 3660 LB: 0 @ 1694.1 1701.67 c Restart #236 #Var: 3660 LB: 0 @ 1701.1 1708.87 c Restart #237 #Var: 3660 LB: 0 @ 1708.3 1716.08 c Restart #238 #Var: 3660 LB: 0 @ 1715.5 1722.92 c Restart #239 #Var: 3660 LB: 0 @ 1722.3 1729.74 c Restart #240 #Var: 3660 LB: 0 @ 1729.1 1736.77 c Restart #241 #Var: 3660 LB: 0 @ 1736.1 1743.56 c Restart #242 #Var: 3660 LB: 0 @ 1742.9 1750.31 c Restart #243 #Var: 3660 LB: 0 @ 1749.7 1757.28 c Restart #244 #Var: 3660 LB: 0 @ 1756.6 1764.35 c Restart #245 #Var: 3660 LB: 0 @ 1763.7 1771.37 c Restart #246 #Var: 3660 LB: 0 @ 1770.7 1778.47 c Restart #247 #Var: 3660 LB: 0 @ 1777.8 1785.46 c Restart #248 #Var: 3660 LB: 0 @ 1784.8 1792.47 c Restart #249 #Var: 3660 LB: 0 @ 1791.8 1799.50 c Restart #250 #Var: 3660 LB: 0 @ 1798.9 1800.65 s UNKNOWN 1800.65 c Exit Code: 0 1800.65 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/node4/watcher-46280-1154064222 -o ROOT/results/node4/solver-46280-1154064222 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node4/46280-1154064222/instance-46280-1154064222.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 3/64 18177 /proc/meminfo: memFree=867328/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=2900 CPUtime=0 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 40 0 0 0 0 0 0 0 19 0 1 0 153283637 2969600 24 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10593287 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/18177/statm: 725 24 18 55 0 19 0 [startup+10.003 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 /proc/meminfo: memFree=860224/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9148 CPUtime=9.95 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1532 0 10 0 992 3 0 0 25 0 1 0 153283637 9367552 1456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2287 1456 296 55 0 1179 0 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 9148 [startup+20.0097 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 /proc/meminfo: memFree=860224/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9108 CPUtime=19.95 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1532 0 10 0 1989 6 0 0 25 0 1 0 153283637 9326592 1450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2277 1450 296 55 0 1169 0 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 9108 [startup+30.0165 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 /proc/meminfo: memFree=860288/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9240 CPUtime=29.96 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1541 0 10 0 2987 9 0 0 25 0 1 0 153283637 9461760 1453 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2310 1453 296 55 0 1202 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 9240 [startup+40.0223 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 /proc/meminfo: memFree=860288/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9108 CPUtime=39.96 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1541 0 10 0 3984 12 0 0 25 0 1 0 153283637 9326592 1450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2277 1450 296 55 0 1169 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 9108 [startup+50.029 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 /proc/meminfo: memFree=860352/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9108 CPUtime=49.96 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1541 0 10 0 4981 15 0 0 25 0 1 0 153283637 9326592 1450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2277 1450 296 55 0 1169 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 9108 [startup+60.0348 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 /proc/meminfo: memFree=860352/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9108 CPUtime=59.97 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1541 0 10 0 5977 20 0 0 25 0 1 0 153283637 9326592 1450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2277 1450 296 55 0 1169 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 9108 [startup+70.0415 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 /proc/meminfo: memFree=860288/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9108 CPUtime=69.97 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1541 0 10 0 6974 23 0 0 25 0 1 0 153283637 9326592 1450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2277 1450 296 55 0 1169 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 9108 [startup+80.0483 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 /proc/meminfo: memFree=860352/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9108 CPUtime=79.97 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1541 0 10 0 7971 26 0 0 25 0 1 0 153283637 9326592 1450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2277 1450 296 55 0 1169 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 9108 [startup+90.0541 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 /proc/meminfo: memFree=860352/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9108 CPUtime=89.98 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1541 0 10 0 8968 30 0 0 25 0 1 0 153283637 9326592 1450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2277 1450 296 55 0 1169 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 9108 [startup+100.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 /proc/meminfo: memFree=860352/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9108 CPUtime=99.98 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1541 0 10 0 9965 33 0 0 25 0 1 0 153283637 9326592 1450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2277 1450 296 55 0 1169 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 9108 [startup+110.066 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 /proc/meminfo: memFree=860352/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9108 CPUtime=109.98 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1541 0 10 0 10962 36 0 0 25 0 1 0 153283637 9326592 1450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2277 1450 296 55 0 1169 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 9108 [startup+120.071 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 /proc/meminfo: memFree=860352/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9108 CPUtime=119.98 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1541 0 10 0 11958 40 0 0 25 0 1 0 153283637 9326592 1450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2277 1450 296 55 0 1169 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 9108 [startup+130.077 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 /proc/meminfo: memFree=860352/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9108 CPUtime=129.99 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1541 0 10 0 12956 43 0 0 25 0 1 0 153283637 9326592 1450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2277 1450 296 55 0 1169 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 9108 [startup+140.083 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 /proc/meminfo: memFree=860352/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9108 CPUtime=139.99 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1541 0 10 0 13952 47 0 0 25 0 1 0 153283637 9326592 1450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2277 1450 296 55 0 1169 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 9108 [startup+150.089 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 /proc/meminfo: memFree=860288/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9240 CPUtime=149.99 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1548 0 10 0 14949 50 0 0 25 0 1 0 153283637 9461760 1457 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2310 1457 296 55 0 1202 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 9240 [startup+160.094 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 /proc/meminfo: memFree=860288/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9200 CPUtime=160 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1548 0 10 0 15945 55 0 0 25 0 1 0 153283637 9420800 1457 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2300 1457 296 55 0 1192 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 9200 [startup+170.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 /proc/meminfo: memFree=860352/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9200 CPUtime=170 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1551 0 10 0 16941 59 0 0 25 0 1 0 153283637 9420800 1460 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2300 1460 296 55 0 1192 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 9200 [startup+180.106 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 /proc/meminfo: memFree=860352/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9200 CPUtime=180 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1551 0 10 0 17937 63 0 0 25 0 1 0 153283637 9420800 1460 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2300 1460 296 55 0 1192 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 9200 [startup+190.112 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 /proc/meminfo: memFree=860352/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9200 CPUtime=190.01 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1551 0 10 0 18934 67 0 0 25 0 1 0 153283637 9420800 1460 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2300 1460 296 55 0 1192 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 9200 [startup+200.117 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 /proc/meminfo: memFree=860288/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9200 CPUtime=200.01 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1551 0 10 0 19930 71 0 0 25 0 1 0 153283637 9420800 1460 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2300 1460 296 55 0 1192 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 9200 [startup+210.123 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18177 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.39 Current children cumulated vsize (Kb) 9296 [startup+1771.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860096/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1770.39 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 176426 613 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1770.39 Current children cumulated vsize (Kb) 9296 [startup+1781.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860096/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1780.4 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 177423 617 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1780.4 Current children cumulated vsize (Kb) 9296 [startup+1782.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860096/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1781.4 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 177523 617 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (Kb) 9296 [startup+1783.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860096/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1782.41 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 177623 618 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1782.41 Current children cumulated vsize (Kb) 9296 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860096/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1783.41 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 177723 618 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1783.41 Current children cumulated vsize (Kb) 9296 [startup+1785.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860096/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1784.42 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 177824 618 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1784.42 Current children cumulated vsize (Kb) 9296 [startup+1786.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860096/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1785.43 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 177924 619 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1785.43 Current children cumulated vsize (Kb) 9296 [startup+1787.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860032/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1786.43 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 178024 619 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1786.43 Current children cumulated vsize (Kb) 9296 [startup+1788.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860032/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1787.43 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 178124 619 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1787.43 Current children cumulated vsize (Kb) 9296 [startup+1789.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860032/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1788.44 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 178224 620 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1788.44 Current children cumulated vsize (Kb) 9296 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860032/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1789.44 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 178324 620 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1789.44 Current children cumulated vsize (Kb) 9296 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860032/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1790.45 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 178424 621 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1790.45 Current children cumulated vsize (Kb) 9296 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860032/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1791.46 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 178524 622 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (Kb) 9296 [startup+1793.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860032/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1792.46 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 178624 622 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1792.46 Current children cumulated vsize (Kb) 9296 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860032/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1793.46 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 178724 622 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1793.46 Current children cumulated vsize (Kb) 9296 [startup+1795.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860032/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1794.46 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 178824 622 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533192 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1794.46 Current children cumulated vsize (Kb) 9296 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860032/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1795.48 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 178925 623 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1795.48 Current children cumulated vsize (Kb) 9296 [startup+1797.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860032/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1796.48 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 179025 623 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 9296 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860032/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1797.48 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 179125 623 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 9296 [startup+1799.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860032/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1798.49 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 179225 624 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1798.49 Current children cumulated vsize (Kb) 9296 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18179 /proc/meminfo: memFree=860032/2055920 swapFree=4183140/4192956 [pid=18177] ppid=18175 vsize=9296 CPUtime=1799.49 /proc/18177/stat : 18177 (bsolo) R 18175 18177 18128 0 -1 0 1599 0 10 0 179325 624 0 0 25 0 1 0 153283637 9519104 1497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18177/statm: 2324 1497 296 55 0 1216 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 9296 Child status: 0 Real time (s): 1800.66 CPU time (s): 1800 CPU user time (s): 1793.76 CPU system time (s): 6.24505 CPU usage (%): 99.9638 Max. virtual memory (cumulated for all children) (Kb): 9428 The end
Begin job on node4 on Fri Jul 28 05:23:42 UTC 2006 FILE ID= 46280-1154064222 PBS_JOBID= 882367 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node4/46280-1154064222/instance-46280-1154064222.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-46280-1154064222 -o ROOT/results/node4/solver-46280-1154064222 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node4/46280-1154064222/instance-46280-1154064222.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 5bedad9895f21a4b5e521b3abd33ba08 RANDOM SEED= 851089821 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.256 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.256 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: 867536 kB Buffers: 47376 kB Cached: 1057356 kB SwapCached: 3804 kB Active: 434360 kB Inactive: 679132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 867536 kB SwapTotal: 4192956 kB SwapFree: 4183140 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14820 kB Slab: 60856 kB Committed_AS: 592544 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node4 on Fri Jul 28 05:53:42 UTC 2006