| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (TO) | 1800.3 | 1800.88 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:100.opb |
| MD5SUM | b258fc1dc8cb1827e842a0b9558712c7 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1.26681 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 0 |
| Optimality of the best value was proved | YES |
| Number of variables | 435 |
| Total number of constraints | 501 |
| Number of constraints which are clauses | 403 |
| Number of constraints which are cardinality constraints (but not clauses) | 98 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 16 |
| Number of terms in the objective function | 435 |
| Biggest coefficient in the objective function | 282 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 1168 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 282 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 1168 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1876252-1245162888.opb. 0.00/0.00 c Instance file HOME/instance-1876252-1245162888.opb 0.00/0.00 c File size is 20180 bytes. 0.00/0.00 c Highest Coefficient sum: 19 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 435 | 0.00/0.00 c | Number Clauses: 839 | 0.00/0.00 c | Number Cardinality: 97 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 5 Core Weight: 1 Total Weight: -281 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 1800 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 6 Core Weight: 1 Total Weight: -280 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 0.00/0.00 c core #3 0.00/0.00 c Core size: 6 Core Weight: 1 Total Weight: -279 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s 0.00/0.00 c core #4 0.00/0.00 c Core size: 7 Core Weight: 1 Total Weight: -278 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #5 0.00/0.00 c Core size: 6 Core Weight: 1 Total Weight: -277 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #6 0.00/0.00 c Core size: 7 Core Weight: 1 Total Weight: -276 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #7 0.00/0.00 c Core size: 3 Core Weight: 1 Total Weight: -275 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #8 0.00/0.01 c Core size: 6 Core Weight: 1 Total Weight: -274 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #9 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -273 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #10 0.00/0.01 c Core size: 6 Core Weight: 1 Total Weight: -272 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #11 0.00/0.01 c Core size: 7 Core Weight: 1 Total Weight: -271 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #12 0.00/0.01 c Core size: 7 Core Weight: 1 Total Weight: -270 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #13 0.00/0.01 c Core size: 5 Core Weight: 2 Total Weight: -268 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #14 0.00/0.01 c Core size: 7 Core Weight: 1 Total Weight: -267 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #15 0.00/0.01 c Core size: 5 Core Weight: 1 Total Weight: -266 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #16 0.00/0.01 c Core size: 6 Core Weight: 1 Total Weight: -265 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #17 0.00/0.01 c Core size: 5 Core Weight: 2 Total Weight: -263 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #18 0.00/0.01 c Core size: 6 Core Weight: 1 Total Weight: -262 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #19 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -261 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #20 0.00/0.01 c Core size: 5 Core Weight: 1 Total Weight: -260 0.00/0.01 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #21 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: -259 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #22 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: -258 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #23 0.00/0.02 c Core size: 11 Core Weight: 1 Total Weight: -257 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #24 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: -256 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #25 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: -255 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #26 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: -254 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #27 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: -253 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #28 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -252 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #29 0.00/0.02 c Core size: 11 Core Weight: 1 Total Weight: -251 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #30 0.00/0.02 c Core size: 10 Core Weight: 1 Total Weight: -250 0.00/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #31 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: -249 0.00/0.02 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #32 0.00/0.03 c Core size: 11 Core Weight: 1 Total Weight: -248 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #33 0.00/0.03 c Core size: 10 Core Weight: 1 Total Weight: -247 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #34 0.00/0.03 c Core size: 10 Core Weight: 1 Total Weight: -246 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #35 0.00/0.03 c Core size: 13 Core Weight: 1 Total Weight: -245 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #36 0.00/0.03 c Core size: 6 Core Weight: 1 Total Weight: -244 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #37 0.00/0.03 c Core size: 7 Core Weight: 1 Total Weight: -243 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #38 0.00/0.03 c Core size: 8 Core Weight: 1 Total Weight: -242 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #39 0.00/0.03 c Core size: 9 Core Weight: 1 Total Weight: -241 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #40 0.00/0.03 c Core size: 7 Core Weight: 1 Total Weight: -240 0.00/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #41 0.00/0.03 c Core size: 9 Core Weight: 1 Total Weight: -239 0.00/0.03 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #42 0.00/0.04 c Core size: 9 Core Weight: 1 Total Weight: -238 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #43 0.00/0.04 c Core size: 12 Core Weight: 1 Total Weight: -237 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #44 0.00/0.04 c Core size: 13 Core Weight: 1 Total Weight: -236 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #45 0.00/0.04 c Core size: 14 Core Weight: 1 Total Weight: -235 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #46 0.00/0.04 c Core size: 17 Core Weight: 2 Total Weight: -233 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #47 0.00/0.04 c Core size: 20 Core Weight: 1 Total Weight: -232 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #48 0.00/0.04 c Core size: 16 Core Weight: 1 Total Weight: -231 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #49 0.00/0.04 c Core size: 16 Core Weight: 1 Total Weight: -230 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #50 0.00/0.04 c Core size: 8 Core Weight: 1 Total Weight: -229 0.00/0.04 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #51 0.00/0.05 c Core size: 10 Core Weight: 1 Total Weight: -228 0.00/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #52 0.00/0.05 c Core size: 12 Core Weight: 1 Total Weight: -227 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #53 0.00/0.05 c Core size: 9 Core Weight: 1 Total Weight: -226 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #54 0.00/0.05 c Core size: 12 Core Weight: 1 Total Weight: -225 0.00/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #55 0.00/0.05 c Core size: 15 Core Weight: 1 Total Weight: -224 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #56 0.00/0.05 c Core size: 15 Core Weight: 1 Total Weight: -223 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.00/0.05 c core #57 0.00/0.05 c Core size: 20 Core Weight: 1 Total Weight: -222 0.00/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.00/0.05 c core #58 0.00/0.05 c Core size: 22 Core Weight: 1 Total Weight: -221 0.00/0.05 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #59 0.00/0.06 c Core size: 12 Core Weight: 1 Total Weight: -220 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #60 0.00/0.06 c Core size: 7 Core Weight: 1 Total Weight: -219 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #61 0.00/0.06 c Core size: 10 Core Weight: 1 Total Weight: -218 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #62 0.00/0.06 c Core size: 11 Core Weight: 1 Total Weight: -217 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #63 0.00/0.06 c Core size: 16 Core Weight: 1 Total Weight: -216 0.00/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #64 0.00/0.06 c Core size: 13 Core Weight: 1 Total Weight: -215 0.00/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.06/0.06 c core #65 0.06/0.06 c Core size: 14 Core Weight: 1 Total Weight: -214 0.06/0.06 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #66 0.06/0.07 c Core size: 17 Core Weight: 1 Total Weight: -213 0.06/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #67 0.06/0.07 c Core size: 15 Core Weight: 1 Total Weight: -212 0.06/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #68 0.06/0.07 c Core size: 8 Core Weight: 1 Total Weight: -211 0.06/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #69 0.06/0.07 c Core size: 5 Core Weight: 1 Total Weight: -210 0.06/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #70 0.06/0.07 c Core size: 9 Core Weight: 1 Total Weight: -209 0.06/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #71 0.06/0.07 c Core size: 10 Core Weight: 1 Total Weight: -208 0.06/0.07 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.06/0.07 c core #72 0.06/0.07 c Core size: 14 Core Weight: 1 Total Weight: -207 0.06/0.07 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #73 0.06/0.08 c Core size: 14 Core Weight: 1 Total Weight: -206 0.06/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #74 0.06/0.08 c Core size: 14 Core Weight: 1 Total Weight: -205 0.06/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #75 0.06/0.08 c Core size: 16 Core Weight: 1 Total Weight: -204 0.06/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #76 0.06/0.08 c Core size: 10 Core Weight: 1 Total Weight: -203 0.06/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #77 0.06/0.08 c Core size: 11 Core Weight: 1 Total Weight: -202 0.06/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #78 0.06/0.08 c Core size: 7 Core Weight: 1 Total Weight: -201 0.06/0.08 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.06/0.08 c core #79 0.06/0.08 c Core size: 9 Core Weight: 1 Total Weight: -200 0.06/0.08 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #80 0.06/0.09 c Core size: 7 Core Weight: 1 Total Weight: -199 0.06/0.09 c Elapsed CPU time: 0.088986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #81 0.06/0.09 c Core size: 11 Core Weight: 1 Total Weight: -198 0.06/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #82 0.06/0.09 c Core size: 12 Core Weight: 1 Total Weight: -197 0.06/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #83 0.06/0.09 c Core size: 11 Core Weight: 1 Total Weight: -196 0.06/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #84 0.06/0.09 c Core size: 13 Core Weight: 1 Total Weight: -195 0.06/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #85 0.06/0.09 c Core size: 14 Core Weight: 1 Total Weight: -194 0.06/0.09 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.06/0.10 c core #86 0.06/0.10 c Core size: 14 Core Weight: 1 Total Weight: -193 0.06/0.10 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #87 0.09/0.10 c Core size: 12 Core Weight: 1 Total Weight: -192 0.09/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #88 0.09/0.10 c Core size: 14 Core Weight: 1 Total Weight: -191 0.09/0.10 c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #89 0.09/0.10 c Core size: 16 Core Weight: 1 Total Weight: -190 0.09/0.10 c Elapsed CPU time: 0.102984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #90 0.09/0.10 c Core size: 11 Core Weight: 1 Total Weight: -189 0.09/0.10 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #91 0.09/0.10 c Core size: 10 Core Weight: 1 Total Weight: -188 0.09/0.10 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #92 0.09/0.11 c Core size: 9 Core Weight: 1 Total Weight: -187 0.09/0.11 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #93 0.09/0.11 c Core size: 11 Core Weight: 1 Total Weight: -186 0.09/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #94 0.09/0.11 c Core size: 8 Core Weight: 1 Total Weight: -185 0.09/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #95 0.09/0.11 c Core size: 12 Core Weight: 1 Total Weight: -184 0.09/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #96 0.09/0.11 c Core size: 13 Core Weight: 1 Total Weight: -183 0.09/0.11 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #97 0.09/0.11 c Core size: 10 Core Weight: 1 Total Weight: -182 0.09/0.11 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #98 0.09/0.12 c Core size: 8 Core Weight: 1 Total Weight: -181 0.09/0.12 c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #99 0.09/0.12 c Core size: 12 Core Weight: 1 Total Weight: -180 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #100 0.09/0.12 c Core size: 9 Core Weight: 1 Total Weight: -179 0.09/0.12 c Elapsed CPU time: 0.121981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #101 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: -178 0.09/0.12 c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #102 0.09/0.12 c Core size: 8 Core Weight: 1 Total Weight: -177 0.09/0.12 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #103 0.09/0.13 c Core size: 9 Core Weight: 1 Total Weight: -176 0.09/0.13 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #104 0.09/0.13 c Core size: 7 Core Weight: 1 Total Weight: -175 0.09/0.13 c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #105 0.09/0.13 c Core size: 9 Core Weight: 1 Total Weight: -174 0.09/0.13 c Elapsed CPU time: 0.131979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #106 0.09/0.13 c Core size: 12 Core Weight: 1 Total Weight: -173 0.09/0.13 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #107 0.09/0.13 c Core size: 10 Core Weight: 1 Total Weight: -172 0.09/0.13 c Elapsed CPU time: 0.134979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #108 0.09/0.13 c Core size: 8 Core Weight: 1 Total Weight: -171 0.09/0.13 c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #109 0.09/0.14 c Core size: 9 Core Weight: 1 Total Weight: -170 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #110 0.09/0.14 c Core size: 6 Core Weight: 1 Total Weight: -169 0.09/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #111 0.09/0.14 c Core size: 11 Core Weight: 1 Total Weight: -168 0.09/0.14 c Elapsed CPU time: 0.142978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #112 0.09/0.14 c Core size: 31 Core Weight: 1 Total Weight: -167 0.09/0.14 c Elapsed CPU time: 0.144977 s Remaining CPU time: 1799.86 s 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 1184 1466 3755 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #113 0.09/0.14 c Core size: 9 Core Weight: 1 Total Weight: -166 0.09/0.14 c Elapsed CPU time: 0.147977 s Remaining CPU time: 1799.85 s 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 1190 1467 3767 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #114 0.09/0.15 c Core size: 13 Core Weight: 1 Total Weight: -165 0.09/0.15 c Elapsed CPU time: 0.149977 s Remaining CPU time: 1799.85 s 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 1196 1468 3779 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #115 0.09/0.15 c Core size: 20 Core Weight: 1 Total Weight: -164 0.09/0.15 c Elapsed CPU time: 0.151976 s Remaining CPU time: 1799.85 s 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 1207 1470 3801 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #116 0.09/0.15 c Core size: 23 Core Weight: 1 Total Weight: -163 0.09/0.15 c Elapsed CPU time: 0.154976 s Remaining CPU time: 1799.85 s 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 1218 1472 3829 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #117 0.09/0.15 c Core size: 6 Core Weight: 1 Total Weight: -162 0.09/0.15 c Elapsed CPU time: 0.156976 s Remaining CPU time: 1799.84 s 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1222 1473 3837 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #118 0.09/0.16 c Core size: 11 Core Weight: 1 Total Weight: -161 0.09/0.16 c Elapsed CPU time: 0.158975 s Remaining CPU time: 1799.84 s 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1230 1474 3853 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #119 0.09/0.16 c Core size: 12 Core Weight: 1 Total Weight: -160 0.09/0.16 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1238 1475 3869 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #120 0.09/0.16 c Core size: 37 Core Weight: 1 Total Weight: -159 0.09/0.16 c Elapsed CPU time: 0.163975 s Remaining CPU time: 1799.84 s 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1261 1478 3937 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #121 0.09/0.16 c Core size: 16 Core Weight: 1 Total Weight: -158 0.09/0.16 c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 1269 1479 3953 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #122 0.09/0.17 c Core size: 18 Core Weight: 1 Total Weight: -157 0.09/0.17 c Elapsed CPU time: 0.168974 s Remaining CPU time: 1799.83 s 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 1290 1482 4028 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #123 0.09/0.17 c Core size: 46 Core Weight: 1 Total Weight: -156 0.09/0.17 c Elapsed CPU time: 0.171973 s Remaining CPU time: 1799.83 s 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 1334 1483 4169 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #124 0.09/0.17 c Core size: 160 Core Weight: 1 Total Weight: -155 0.09/0.17 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1457 1486 4504 | 5000 0 nan | 0.000 % | 0.09/0.18 c | 101 | 1385 1486 4504 | 5500 97 20 | 7.916 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #125 0.09/0.18 c Core size: 153 Core Weight: 1 Total Weight: -154 0.09/0.18 c Elapsed CPU time: 0.184971 s Remaining CPU time: 1799.82 s 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1545 1490 4686 | 5000 0 nan | 0.000 % | 0.09/0.19 c | 100 | 1545 1490 4686 | 5500 100 23 | 1.216 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #126 0.09/0.19 c Core size: 10 Core Weight: 1 Total Weight: -153 0.09/0.19 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.09/0.20 c ============================[ Search Statistics ]============================== 0.09/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.20 c =============================================================================== 0.09/0.20 c | 0 | 1555 1491 4717 | 5000 0 nan | 0.000 % | 0.09/0.20 c =============================================================================== 0.09/0.20 c core #127 0.09/0.20 c Core size: 41 Core Weight: 1 Total Weight: -152 0.09/0.20 c Elapsed CPU time: 0.198969 s Remaining CPU time: 1799.8 s 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1584 1492 4775 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #128 0.19/0.20 c Core size: 42 Core Weight: 1 Total Weight: -151 0.19/0.20 c Elapsed CPU time: 0.201969 s Remaining CPU time: 1799.8 s 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1608 1493 4823 | 5000 0 nan | 0.000 % | 0.19/0.21 c | 100 | 1608 1493 4823 | 5500 100 30 | 0.986 % | 0.19/0.22 c | 256 | 1608 1493 4823 | 6050 256 22 | 0.985 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #129 0.19/0.22 c Core size: 16 Core Weight: 1 Total Weight: -150 0.19/0.22 c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1617 1494 4841 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #130 0.19/0.23 c Core size: 39 Core Weight: 1 Total Weight: -149 0.19/0.23 c Elapsed CPU time: 0.227965 s Remaining CPU time: 1799.77 s 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1637 1495 4881 | 5000 0 nan | 0.000 % | 0.19/0.23 c | 102 | 1637 1495 4881 | 5500 102 28 | 0.969 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #131 0.19/0.24 c Core size: 35 Core Weight: 1 Total Weight: -148 0.19/0.24 c Elapsed CPU time: 0.242963 s Remaining CPU time: 1799.76 s 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 1655 1496 4917 | 5000 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #132 0.19/0.24 c Core size: 24 Core Weight: 1 Total Weight: -147 0.19/0.24 c Elapsed CPU time: 0.245962 s Remaining CPU time: 1799.75 s 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 1666 1497 4939 | 5000 0 nan | 0.000 % | 0.19/0.25 c | 103 | 1666 1497 4939 | 5500 103 27 | 0.952 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #133 0.19/0.25 c Core size: 5 Core Weight: 1 Total Weight: -146 0.19/0.25 c Elapsed CPU time: 0.254961 s Remaining CPU time: 1799.75 s 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 1669 1498 4945 | 5000 0 nan | 0.000 % | 0.19/0.26 c | 100 | 1669 1498 4945 | 5500 100 27 | 0.951 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #134 0.19/0.27 c Core size: 139 Core Weight: 1 Total Weight: -145 0.19/0.27 c Elapsed CPU time: 0.267959 s Remaining CPU time: 1799.73 s 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 1750 1499 5128 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #135 0.19/0.27 c Core size: 32 Core Weight: 1 Total Weight: -144 0.19/0.27 c Elapsed CPU time: 0.269958 s Remaining CPU time: 1799.73 s 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 1769 1500 5175 | 5000 0 nan | 0.000 % | 0.19/0.28 c | 100 | 1769 1500 5175 | 5500 100 27 | 0.619 % | 0.19/0.29 c | 252 | 1769 1500 5175 | 6050 252 29 | 0.618 % | 0.29/0.31 c | 478 | 1747 1500 5175 | 6655 474 24 | 1.854 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #136 0.29/0.31 c Core size: 104 Core Weight: 1 Total Weight: -143 0.29/0.31 c Elapsed CPU time: 0.311952 s Remaining CPU time: 1799.69 s 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 1827 1502 5297 | 5000 0 nan | 0.000 % | 0.29/0.32 c | 100 | 1827 1502 5297 | 5500 100 32 | 0.545 % | 0.29/0.33 c | 251 | 1827 1502 5297 | 6050 251 24 | 0.544 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #137 0.29/0.34 c Core size: 125 Core Weight: 1 Total Weight: -142 0.29/0.34 c Elapsed CPU time: 0.334949 s Remaining CPU time: 1799.67 s 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 1897 1503 5444 | 5000 0 nan | 0.000 % | 0.29/0.35 c | 100 | 1897 1503 5444 | 5500 100 21 | 0.473 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #138 0.29/0.35 c Core size: 35 Core Weight: 1 Total Weight: -141 0.29/0.35 c Elapsed CPU time: 0.343947 s Remaining CPU time: 1799.66 s 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 1916 1504 5482 | 5000 0 nan | 0.000 % | 0.29/0.36 c | 102 | 1916 1504 5482 | 5500 102 18 | 0.468 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c core #139 0.29/0.36 c Core size: 59 Core Weight: 1 Total Weight: -140 0.29/0.36 c Elapsed CPU time: 0.357945 s Remaining CPU time: 1799.64 s 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 1947 1505 5544 | 5000 0 nan | 0.000 % | 0.29/0.37 c | 101 | 1947 1505 5544 | 5500 101 12 | 0.461 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c core #140 0.29/0.37 c Core size: 163 Core Weight: 1 Total Weight: -139 0.29/0.37 c Elapsed CPU time: 0.364944 s Remaining CPU time: 1799.64 s 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 2050 1506 5757 | 5000 0 nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #141 0.29/0.38 c Core size: 168 Core Weight: 1 Total Weight: -138 0.29/0.38 c Elapsed CPU time: 0.372943 s Remaining CPU time: 1799.63 s 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 2145 1507 5955 | 5000 0 nan | 0.000 % | 0.29/0.39 c | 100 | 2145 1507 5955 | 5500 100 23 | 0.280 % | 0.29/0.39 c | 253 | 2145 1507 5955 | 6050 253 23 | 0.279 % | 0.40/0.41 c | 478 | 2141 1507 5955 | 6655 449 17 | 0.465 % | 0.40/0.41 c =============================================================================== 0.40/0.41 c core #142 0.40/0.41 c Core size: 100 Core Weight: 1 Total Weight: -137 0.40/0.41 c Elapsed CPU time: 0.404938 s Remaining CPU time: 1799.6 s 0.40/0.41 c ============================[ Search Statistics ]============================== 0.40/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.40/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.40/0.41 c =============================================================================== 0.40/0.41 c | 0 | 2194 1508 6053 | 5000 0 nan | 0.000 % | 0.40/0.42 c | 102 | 2194 1508 6053 | 5500 102 28 | 0.273 % | 0.40/0.43 c | 252 | 2194 1508 6053 | 6050 252 19 | 0.273 % | 0.40/0.44 c | 477 | 2194 1508 6053 | 6655 477 20 | 0.273 % | 0.40/0.46 c | 816 | 2192 1508 6053 | 7320 814 19 | 0.409 % | 0.40/0.49 c | 1322 | 2191 1508 6053 | 8052 1318 16 | 0.409 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c core #143 0.49/0.51 c Core size: 184 Core Weight: 1 Total Weight: -136 0.49/0.51 c Elapsed CPU time: 0.501923 s Remaining CPU time: 1799.5 s 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 2301 1516 6281 | 5000 0 nan | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c core #144 0.49/0.52 c Core size: 51 Core Weight: 1 Total Weight: -135 0.49/0.52 c Elapsed CPU time: 0.506922 s Remaining CPU time: 1799.49 s 0.49/0.52 c ============================[ Search Statistics ]============================== 0.49/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.52 c =============================================================================== 0.49/0.52 c | 0 | 2332 1517 6354 | 5000 0 nan | 0.000 % | 0.49/0.53 c | 102 | 2332 1517 6354 | 5500 102 35 | 0.129 % | 0.49/0.53 c | 254 | 2332 1517 6354 | 6050 254 27 | 0.128 % | 0.49/0.54 c | 483 | 2327 1517 6354 | 6655 482 22 | 0.343 % | 0.49/0.55 c | 822 | 2327 1517 6354 | 7320 821 19 | 0.343 % | 0.49/0.58 c | 1328 | 2327 1517 6354 | 8052 1327 19 | 0.343 % | 0.59/0.63 c | 2087 | 2322 1517 6354 | 8857 1625 18 | 0.557 % | 0.59/0.64 c =============================================================================== 0.59/0.66 c core #145 0.59/0.66 c Core size: 51 Core Weight: 1 Total Weight: -134 0.59/0.66 c Elapsed CPU time: 0.644901 s Remaining CPU time: 1799.36 s 0.59/0.66 c ============================[ Search Statistics ]============================== 0.59/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.66 c =============================================================================== 0.59/0.66 c | 0 | 2359 1518 6408 | 5000 0 nan | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c core #146 0.59/0.67 c Core size: 71 Core Weight: 1 Total Weight: -133 0.59/0.67 c Elapsed CPU time: 0.6539 s Remaining CPU time: 1799.35 s 0.59/0.67 c ============================[ Search Statistics ]============================== 0.59/0.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.67 c =============================================================================== 0.59/0.67 c | 0 | 2395 1521 6484 | 5000 0 nan | 0.000 % | 0.59/0.68 c | 100 | 2395 1521 6484 | 5500 100 11 | 0.125 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c core #147 0.59/0.68 c Core size: 90 Core Weight: 1 Total Weight: -132 0.59/0.68 c Elapsed CPU time: 0.664898 s Remaining CPU time: 1799.34 s 0.59/0.68 c ============================[ Search Statistics ]============================== 0.59/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.68 c =============================================================================== 0.59/0.68 c | 0 | 2444 1522 6582 | 5000 0 nan | 0.000 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c core #148 0.59/0.68 c Core size: 29 Core Weight: 1 Total Weight: -131 0.59/0.68 c Elapsed CPU time: 0.669898 s Remaining CPU time: 1799.33 s 0.59/0.69 c ============================[ Search Statistics ]============================== 0.59/0.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.69 c =============================================================================== 0.59/0.69 c | 0 | 2460 1523 6614 | 5000 0 nan | 0.000 % | 0.59/0.69 c =============================================================================== 0.59/0.69 c core #149 0.59/0.69 c Core size: 31 Core Weight: 1 Total Weight: -130 0.59/0.69 c Elapsed CPU time: 0.676897 s Remaining CPU time: 1799.32 s 0.59/0.69 c ============================[ Search Statistics ]============================== 0.59/0.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.69 c =============================================================================== 0.59/0.69 c | 0 | 2476 1524 6646 | 5000 0 nan | 0.000 % | 0.59/0.70 c =============================================================================== 0.59/0.70 c core #150 0.59/0.70 c Core size: 26 Core Weight: 1 Total Weight: -129 0.59/0.70 c Elapsed CPU time: 0.682896 s Remaining CPU time: 1799.32 s 0.69/0.70 c ============================[ Search Statistics ]============================== 0.69/0.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.70 c =============================================================================== 0.69/0.70 c | 0 | 2491 1525 6676 | 5000 0 nan | 0.000 % | 0.69/0.70 c =============================================================================== 0.69/0.70 c core #151 0.69/0.70 c Core size: 100 Core Weight: 1 Total Weight: -128 0.69/0.70 c Elapsed CPU time: 0.688895 s Remaining CPU time: 1799.31 s 0.69/0.70 c ============================[ Search Statistics ]============================== 0.69/0.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.70 c =============================================================================== 0.69/0.70 c | 0 | 2552 1534 6814 | 5000 0 nan | 0.000 % | 0.69/0.71 c | 101 | 2552 1534 6814 | 5500 101 30 | 0.118 % | 0.69/0.72 c | 252 | 2552 1534 6814 | 6050 252 20 | 0.117 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c core #152 0.69/0.72 c Core size: 23 Core Weight: 1 Total Weight: -127 0.69/0.72 c Elapsed CPU time: 0.709892 s Remaining CPU time: 1799.29 s 0.69/0.73 c ============================[ Search Statistics ]============================== 0.69/0.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.73 c =============================================================================== 0.69/0.73 c | 0 | 2569 1535 6848 | 5000 0 nan | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c core #153 0.69/0.73 c Core size: 12 Core Weight: 1 Total Weight: -126 0.69/0.73 c Elapsed CPU time: 0.714891 s Remaining CPU time: 1799.29 s 0.69/0.73 c ============================[ Search Statistics ]============================== 0.69/0.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.73 c =============================================================================== 0.69/0.73 c | 0 | 2577 1536 6864 | 5000 0 nan | 0.000 % | 0.69/0.74 c | 100 | 2577 1536 6864 | 5500 100 13 | 0.117 % | 0.69/0.74 c | 251 | 2577 1536 6864 | 6050 251 12 | 0.116 % | 0.69/0.75 c | 476 | 2575 1536 6864 | 6655 378 12 | 0.194 % | 0.69/0.75 c =============================================================================== 0.69/0.76 c core #154 0.69/0.76 c Core size: 68 Core Weight: 1 Total Weight: -125 0.69/0.76 c Elapsed CPU time: 0.741887 s Remaining CPU time: 1799.26 s 0.69/0.76 c ============================[ Search Statistics ]============================== 0.69/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.76 c =============================================================================== 0.69/0.76 c | 0 | 2614 1539 6942 | 5000 0 nan | 0.000 % | 0.69/0.76 c | 101 | 2614 1539 6942 | 5500 101 17 | 0.115 % | 0.69/0.77 c | 255 | 2614 1539 6942 | 6050 255 17 | 0.115 % | 0.69/0.78 c | 482 | 2613 1539 6942 | 6655 481 16 | 0.153 % | 0.79/0.80 c | 821 | 2612 1539 6942 | 7320 820 17 | 0.191 % | 0.79/0.80 c =============================================================================== 0.79/0.81 c core #155 0.79/0.81 c Core size: 99 Core Weight: 1 Total Weight: -124 0.79/0.81 c Elapsed CPU time: 0.789879 s Remaining CPU time: 1799.21 s 0.79/0.81 c ============================[ Search Statistics ]============================== 0.79/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.81 c =============================================================================== 0.79/0.81 c | 0 | 2682 1543 7084 | 5000 0 nan | 0.000 % | 0.79/0.81 c | 102 | 2682 1543 7084 | 5500 102 17 | 0.112 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c core #156 0.79/0.82 c Core size: 189 Core Weight: 1 Total Weight: -123 0.79/0.82 c Elapsed CPU time: 0.801878 s Remaining CPU time: 1799.2 s 0.79/0.82 c ============================[ Search Statistics ]============================== 0.79/0.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.82 c =============================================================================== 0.79/0.82 c | 0 | 2784 1544 7288 | 5000 0 nan | 0.000 % | 0.79/0.83 c | 101 | 2784 1544 7288 | 5500 101 18 | 0.108 % | 0.79/0.84 c | 255 | 2784 1544 7288 | 6050 255 17 | 0.108 % | 0.79/0.85 c | 481 | 2782 1544 7288 | 6655 479 20 | 0.179 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c core #157 0.79/0.85 c Core size: 81 Core Weight: 1 Total Weight: -122 0.79/0.85 c Elapsed CPU time: 0.826874 s Remaining CPU time: 1799.17 s 0.79/0.85 c ============================[ Search Statistics ]============================== 0.79/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.85 c =============================================================================== 0.79/0.85 c | 0 | 2835 1545 7390 | 5000 0 nan | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c core #158 0.79/0.86 c Core size: 20 Core Weight: 1 Total Weight: -121 0.79/0.86 c Elapsed CPU time: 0.835872 s Remaining CPU time: 1799.16 s 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 2845 1546 7410 | 5000 0 nan | 0.000 % | 0.79/0.87 c | 100 | 2845 1546 7410 | 5500 100 13 | 0.106 % | 0.79/0.88 c | 252 | 2845 1546 7410 | 6050 252 15 | 0.105 % | 0.79/0.89 c | 477 | 2845 1546 7410 | 6655 477 15 | 0.105 % | 0.89/0.91 c | 815 | 2841 1546 7410 | 7320 813 14 | 0.316 % | 0.89/0.91 c =============================================================================== 0.89/0.92 c core #159 0.89/0.92 c Core size: 196 Core Weight: 1 Total Weight: -120 0.89/0.92 c Elapsed CPU time: 0.890864 s Remaining CPU time: 1799.11 s 0.89/0.92 c ============================[ Search Statistics ]============================== 0.89/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 2960 1547 7640 | 5000 0 nan | 0.000 % | 0.89/0.93 c | 100 | 2960 1547 7640 | 5500 100 48 | 0.101 % | 0.89/0.94 c | 251 | 2960 1547 7640 | 6050 251 33 | 0.101 % | 0.89/0.95 c | 476 | 2960 1547 7640 | 6655 476 28 | 0.101 % | 0.89/0.98 c | 813 | 2960 1547 7640 | 7320 813 24 | 0.101 % | 1.00/1.01 c | 1319 | 2960 1547 7640 | 8052 1319 22 | 0.101 % | 1.00/1.07 c | 2079 | 2960 1547 7640 | 8857 2079 21 | 0.101 % | 1.09/1.17 c | 3219 | 2960 1547 7640 | 9743 3219 21 | 0.101 % | 1.09/1.19 c =============================================================================== 1.09/1.19 c core #160 1.09/1.19 c Core size: 84 Core Weight: 1 Total Weight: -119 1.09/1.19 c Elapsed CPU time: 1.14882 s Remaining CPU time: 1798.85 s 1.09/1.19 c ============================[ Search Statistics ]============================== 1.09/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.19 c =============================================================================== 1.09/1.19 c | 0 | 3010 1548 7747 | 5000 0 nan | 0.000 % | 1.19/1.20 c | 102 | 3010 1548 7747 | 5500 102 25 | 0.067 % | 1.19/1.21 c | 252 | 3010 1548 7747 | 6050 252 25 | 0.066 % | 1.19/1.22 c | 477 | 3010 1548 7747 | 6655 477 22 | 0.066 % | 1.19/1.24 c | 815 | 3010 1548 7747 | 7320 815 22 | 0.066 % | 1.19/1.28 c | 1324 | 3010 1548 7747 | 8052 1324 24 | 0.066 % | 1.29/1.35 c | 2084 | 3010 1548 7747 | 8857 2084 24 | 0.066 % | 1.39/1.46 c | 3224 | 3010 1548 7747 | 9743 3224 24 | 0.066 % | 1.59/1.66 c | 4938 | 3010 1548 7747 | 10717 4938 26 | 0.067 % | 1.69/1.78 c =============================================================================== 1.79/1.82 c core #161 1.79/1.82 c Core size: 208 Core Weight: 1 Total Weight: -118 1.79/1.82 c Elapsed CPU time: 1.77273 s Remaining CPU time: 1798.23 s 1.79/1.83 c ============================[ Search Statistics ]============================== 1.79/1.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.83 c =============================================================================== 1.79/1.83 c | 0 | 3133 1549 7993 | 5000 0 nan | 0.000 % | 1.79/1.84 c | 101 | 3133 1549 7993 | 5500 101 47 | 0.064 % | 1.79/1.85 c | 251 | 3133 1549 7993 | 6050 251 38 | 0.064 % | 1.79/1.87 c | 479 | 3133 1549 7993 | 6655 479 30 | 0.064 % | 1.79/1.89 c | 817 | 3133 1549 7993 | 7320 817 24 | 0.064 % | 1.89/1.92 c | 1324 | 3133 1549 7993 | 8052 1324 20 | 0.064 % | 1.89/1.98 c | 2084 | 3133 1549 7993 | 8857 2084 18 | 0.064 % | 1.99/2.08 c | 3223 | 3133 1549 7993 | 9743 3223 18 | 0.064 % | 2.09/2.17 c =============================================================================== 2.09/2.19 c core #162 2.09/2.19 c Core size: 246 Core Weight: 1 Total Weight: -117 2.09/2.19 c Elapsed CPU time: 2.13068 s Remaining CPU time: 1797.87 s 2.09/2.19 c ============================[ Search Statistics ]============================== 2.09/2.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.19 c =============================================================================== 2.09/2.19 c | 0 | 3263 1550 8253 | 5000 0 nan | 0.000 % | 2.20/2.20 c | 100 | 3263 1550 8253 | 5500 100 16 | 0.061 % | 2.20/2.21 c | 250 | 3263 1550 8253 | 6050 250 12 | 0.061 % | 2.20/2.21 c =============================================================================== 2.20/2.22 c core #163 2.20/2.22 c Core size: 49 Core Weight: 1 Total Weight: -116 2.20/2.22 c Elapsed CPU time: 2.15467 s Remaining CPU time: 1797.85 s 2.20/2.22 c ============================[ Search Statistics ]============================== 2.20/2.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.22 c =============================================================================== 2.20/2.22 c | 0 | 3295 1551 8317 | 5000 0 nan | 0.000 % | 2.20/2.22 c =============================================================================== 2.20/2.22 c core #164 2.20/2.22 c Core size: 21 Core Weight: 1 Total Weight: -115 2.20/2.22 c Elapsed CPU time: 2.16167 s Remaining CPU time: 1797.84 s 2.20/2.23 c ============================[ Search Statistics ]============================== 2.20/2.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.23 c =============================================================================== 2.20/2.23 c | 0 | 3305 1552 8337 | 5000 0 nan | 0.000 % | 2.20/2.23 c | 101 | 3305 1552 8337 | 5500 101 19 | 0.061 % | 2.20/2.24 c | 252 | 3305 1552 8337 | 6050 252 17 | 0.061 % | 2.20/2.25 c | 480 | 3305 1552 8337 | 6655 480 16 | 0.060 % | 2.20/2.27 c | 817 | 3305 1552 8337 | 7320 817 17 | 0.060 % | 2.20/2.29 c | 1323 | 3305 1552 8337 | 8052 1323 17 | 0.061 % | 2.29/2.34 c | 2082 | 3305 1552 8337 | 8857 2082 18 | 0.060 % | 2.39/2.43 c | 3224 | 3305 1552 8337 | 9743 3224 20 | 0.060 % | 2.49/2.57 c | 4933 | 3300 1552 8337 | 10717 3623 20 | 0.212 % | 2.69/2.71 c =============================================================================== 2.69/2.76 c core #165 2.69/2.76 c Core size: 142 Core Weight: 1 Total Weight: -114 2.69/2.76 c Elapsed CPU time: 2.68659 s Remaining CPU time: 1797.31 s 2.69/2.77 c ============================[ Search Statistics ]============================== 2.69/2.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.77 c =============================================================================== 2.69/2.77 c | 0 | 3377 1553 8481 | 5000 0 nan | 0.000 % | 2.69/2.78 c | 101 | 3377 1553 8481 | 5500 101 35 | 0.059 % | 2.69/2.78 c | 251 | 3374 1553 8481 | 6050 250 22 | 0.148 % | 2.69/2.79 c | 478 | 3374 1553 8481 | 6655 477 17 | 0.148 % | 2.79/2.82 c | 815 | 3374 1553 8481 | 7320 814 20 | 0.148 % | 2.79/2.85 c | 1323 | 3374 1553 8481 | 8052 1322 21 | 0.148 % | 2.89/2.91 c | 2082 | 3374 1553 8481 | 8857 2081 22 | 0.148 % | 2.99/3.02 c =============================================================================== 2.99/3.03 c core #166 2.99/3.03 c Core size: 305 Core Weight: 1 Total Weight: -113 2.99/3.03 c Elapsed CPU time: 2.95555 s Remaining CPU time: 1797.04 s 2.99/3.04 c ============================[ Search Statistics ]============================== 2.99/3.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.04 c =============================================================================== 2.99/3.04 c | 0 | 3548 1554 8823 | 5000 0 nan | 0.000 % | 2.99/3.05 c | 102 | 3548 1554 8823 | 5500 102 80 | 0.056 % | 2.99/3.06 c | 253 | 3548 1554 8823 | 6050 253 61 | 0.056 % | 2.99/3.08 c | 478 | 3548 1554 8823 | 6655 478 52 | 0.056 % | 3.09/3.11 c | 815 | 3548 1554 8823 | 7320 815 48 | 0.056 % | 3.09/3.15 c | 1322 | 3548 1554 8823 | 8052 1322 42 | 0.056 % | 3.19/3.21 c | 2082 | 3548 1554 8823 | 8857 2082 36 | 0.056 % | 3.19/3.30 c | 3221 | 3548 1554 8823 | 9743 3221 39 | 0.056 % | 3.49/3.50 c | 4929 | 3548 1554 8823 | 10717 4929 37 | 0.056 % | 3.79/3.81 c | 7493 | 3548 1554 8823 | 11789 7493 40 | 0.056 % | 4.48/4.51 c | 11337 | 3548 1554 8823 | 12968 11337 41 | 0.056 % | 5.69/5.76 c | 17106 | 3548 1554 8823 | 14265 10462 45 | 0.056 % | 7.70/7.78 c | 25757 | 3548 1554 8823 | 15692 11914 50 | 0.056 % | 10.69/10.72 c | 38735 | 3548 1554 8823 | 17261 9077 44 | 0.056 % | 12.59/12.60 c =============================================================================== 13.09/13.15 c core #167 13.09/13.15 c Core size: 374 Core Weight: 1 Total Weight: -112 13.09/13.15 c Elapsed CPU time: 12.935 s Remaining CPU time: 1787.06 s 13.19/13.20 c ============================[ Search Statistics ]============================== 13.19/13.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.19/13.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.19/13.21 c =============================================================================== 13.19/13.21 c | 0 | 3751 1555 9229 | 5000 0 nan | 0.000 % | 13.19/13.22 c | 102 | 3751 1555 9229 | 5500 102 21 | 0.053 % | 13.19/13.23 c | 253 | 3751 1555 9229 | 6050 253 15 | 0.053 % | 13.19/13.24 c | 479 | 3751 1555 9229 | 6655 479 14 | 0.053 % | 13.19/13.26 c | 819 | 3751 1555 9229 | 7320 819 15 | 0.053 % | 13.19/13.29 c | 1325 | 3751 1555 9229 | 8052 1325 15 | 0.053 % | 13.28/13.35 c | 2089 | 3751 1555 9229 | 8857 2089 15 | 0.053 % | 13.28/13.39 c =============================================================================== 13.39/13.40 c core #168 13.39/13.40 c Core size: 246 Core Weight: 1 Total Weight: -111 13.39/13.40 c Elapsed CPU time: 13.183 s Remaining CPU time: 1786.82 s 13.39/13.41 c ============================[ Search Statistics ]============================== 13.39/13.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.39/13.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.39/13.41 c =============================================================================== 13.39/13.41 c | 0 | 3900 1556 9527 | 5000 0 nan | 0.000 % | 13.39/13.42 c | 100 | 3900 1556 9527 | 5500 100 11 | 0.051 % | 13.39/13.43 c | 250 | 3900 1556 9527 | 6050 250 14 | 0.051 % | 13.39/13.45 c | 476 | 3900 1556 9527 | 6655 476 17 | 0.051 % | 13.39/13.48 c | 813 | 3900 1556 9527 | 7320 813 25 | 0.051 % | 13.48/13.54 c | 1321 | 3900 1556 9527 | 8052 1321 27 | 0.051 % | 13.58/13.61 c | 2083 | 3900 1556 9527 | 8857 2083 32 | 0.051 % | 13.68/13.73 c | 3225 | 3900 1556 9527 | 9743 3225 36 | 0.051 % | 13.89/13.94 c | 4935 | 3900 1556 9527 | 10717 4935 43 | 0.051 % | 14.38/14.41 c | 7499 | 3900 1556 9527 | 11789 7499 47 | 0.051 % | 14.99/15.09 c | 11344 | 3900 1556 9527 | 12968 11344 51 | 0.051 % | 16.49/16.53 c | 17115 | 3900 1556 9527 | 14265 10522 65 | 0.051 % | 18.88/18.96 c | 25764 | 3900 1556 9527 | 15692 11861 65 | 0.051 % | 23.18/23.29 c | 38740 | 3900 1556 9527 | 17261 8815 82 | 0.051 % | 27.08/27.10 c | 58201 | 3900 1556 9527 | 18987 10831 53 | 0.051 % | 34.58/34.64 c | 87393 | 3900 1556 9527 | 20886 11373 82 | 0.051 % | 47.38/47.40 c | 131186 | 3900 1556 9527 | 22974 13114 62 | 0.051 % | 67.77/67.81 c | 196873 | 3900 1556 9527 | 25272 20839 50 | 0.051 % | 102.36/102.47 c | 295402 | 3900 1556 9527 | 27799 14971 63 | 0.051 % | 156.53/156.64 c =============================================================================== 156.53/156.69 c core #169 156.53/156.69 c Core size: 179 Core Weight: 1 Total Weight: -110 156.53/156.69 c Elapsed CPU time: 155.104 s Remaining CPU time: 1644.9 s 156.93/157.09 c ============================[ Search Statistics ]============================== 156.93/157.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 156.93/157.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 156.93/157.09 c =============================================================================== 156.93/157.09 c | 0 | 3997 1557 9724 | 5000 0 nan | 0.000 % | 157.03/157.15 c | 100 | 3997 1557 9724 | 5500 100 32 | 0.025 % | 157.03/157.16 c | 253 | 3997 1557 9724 | 6050 253 37 | 0.025 % | 157.03/157.19 c | 478 | 3997 1557 9724 | 6655 478 28 | 0.025 % | 157.14/157.21 c | 815 | 3997 1557 9724 | 7320 815 28 | 0.025 % | 157.14/157.27 c | 1321 | 3997 1557 9724 | 8052 1321 27 | 0.025 % | 157.24/157.34 c | 2080 | 3997 1557 9724 | 8857 2080 27 | 0.025 % | 157.34/157.44 c | 3221 | 3997 1557 9724 | 9743 3221 28 | 0.025 % | 157.53/157.64 c | 4931 | 3997 1557 9724 | 10717 4931 30 | 0.025 % | 157.84/157.93 c | 7495 | 3997 1557 9724 | 11789 7495 29 | 0.025 % | 158.44/158.53 c | 11343 | 3997 1557 9724 | 12968 11343 30 | 0.025 % | 159.44/159.53 c | 17109 | 3997 1557 9724 | 14265 10512 34 | 0.025 % | 161.44/161.50 c | 25761 | 3997 1557 9724 | 15692 11953 39 | 0.025 % | 164.14/164.23 c | 38737 | 3997 1557 9724 | 17261 9099 38 | 0.025 % | 168.53/168.63 c | 58198 | 3997 1557 9724 | 18987 11161 39 | 0.025 % | 175.94/176.05 c | 87392 | 3993 1557 9724 | 20886 16031 44 | 0.125 % | 178.23/178.32 c =============================================================================== 179.53/179.63 c core #170 179.53/179.63 c Core size: 143 Core Weight: 1 Total Weight: -109 179.53/179.63 c Elapsed CPU time: 177.834 s Remaining CPU time: 1622.17 s 179.63/179.76 c ============================[ Search Statistics ]============================== 179.63/179.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 179.63/179.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 179.63/179.76 c =============================================================================== 179.63/179.76 c | 0 | 4071 1558 9872 | 5000 0 nan | 0.000 % | 179.73/179.81 c | 105 | 4071 1558 9872 | 5500 105 103 | 0.025 % | 179.73/179.83 c | 255 | 4071 1558 9872 | 6050 255 59 | 0.025 % | 179.73/179.85 c | 481 | 4071 1558 9872 | 6655 481 52 | 0.025 % | 179.73/179.88 c | 820 | 4071 1558 9872 | 7320 820 44 | 0.025 % | 179.83/179.93 c | 1326 | 4071 1558 9872 | 8052 1326 42 | 0.025 % | 179.93/180.02 c | 2088 | 4071 1558 9872 | 8857 2088 42 | 0.025 % | 180.03/180.17 c | 3227 | 4071 1558 9872 | 9743 3227 43 | 0.025 % | 180.34/180.44 c | 4935 | 4071 1558 9872 | 10717 4935 50 | 0.025 % | 180.73/180.86 c | 7501 | 4071 1558 9872 | 11789 7501 51 | 0.025 % | 181.63/181.72 c | 11345 | 4071 1558 9872 | 12968 11345 53 | 0.025 % | 182.83/182.91 c | 17111 | 4071 1558 9872 | 14265 10560 51 | 0.025 % | 185.53/185.60 c | 25761 | 4071 1558 9872 | 15692 11928 69 | 0.025 % | 188.93/189.02 c | 38736 | 4071 1558 9872 | 17261 8963 48 | 0.025 % | 194.02/194.12 c | 58197 | 4071 1558 9872 | 18987 10961 70 | 0.025 % | 202.23/202.34 c | 87389 | 4071 1558 9872 | 20886 11493 43 | 0.025 % | 216.32/216.45 c | 131180 | 4071 1558 9872 | 22974 12988 101 | 0.025 % | 242.61/242.73 c | 196864 | 4071 1558 9872 | 25272 20729 119 | 0.025 % | 289.90/290.02 c | 295397 | 4071 1558 9872 | 27799 16318 87 | 0.025 % | 384.26/384.43 c | 443190 | 4071 1558 9872 | 30579 17011 156 | 0.025 % | 510.43/510.60 c | 664880 | 4071 1558 9872 | 33637 28792 84 | 0.025 % | 639.28/639.58 c =============================================================================== 658.97/659.29 c core #171 658.97/659.29 c Core size: 642 Core Weight: 1 Total Weight: -108 658.97/659.29 c Elapsed CPU time: 653.997 s Remaining CPU time: 1146 s 659.97/660.27 c ============================[ Search Statistics ]============================== 659.97/660.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 659.97/660.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 659.97/660.27 c =============================================================================== 659.97/660.27 c | 0 | 4423 1559 10576 | 5000 0 nan | 0.000 % | 660.18/660.42 c | 101 | 4423 1559 10576 | 5500 101 35 | 0.023 % | 660.18/660.43 c | 253 | 4423 1559 10576 | 6050 253 31 | 0.023 % | 660.18/660.45 c | 482 | 4423 1559 10576 | 6655 482 28 | 0.023 % | 660.18/660.49 c | 824 | 4423 1559 10576 | 7320 824 29 | 0.023 % | 660.27/660.56 c | 1332 | 4423 1559 10576 | 8052 1332 25 | 0.023 % | 660.37/660.65 c | 2092 | 4423 1559 10576 | 8857 2092 29 | 0.023 % | 660.47/660.77 c | 3237 | 4423 1559 10576 | 9743 3237 30 | 0.023 % | 660.67/660.98 c | 4946 | 4423 1559 10576 | 10717 4946 33 | 0.023 % | 661.18/661.43 c | 7508 | 4423 1559 10576 | 11789 7508 33 | 0.023 % | 661.88/662.18 c | 11352 | 4423 1559 10576 | 12968 11352 38 | 0.023 % | 663.17/663.47 c | 17120 | 4423 1559 10576 | 14265 10584 44 | 0.023 % | 665.07/665.35 c | 25773 | 4423 1559 10576 | 15692 12018 38 | 0.023 % | 667.17/667.42 c =============================================================================== 667.67/667.98 c core #172 667.67/667.98 c Core size: 209 Core Weight: 1 Total Weight: -107 667.67/667.98 c Elapsed CPU time: 662.59 s Remaining CPU time: 1137.41 s 667.77/668.04 c ============================[ Search Statistics ]============================== 667.77/668.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 667.77/668.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 667.77/668.04 c =============================================================================== 667.77/668.04 c | 0 | 4550 1560 10830 | 5000 0 nan | 0.000 % | 667.77/668.08 c | 104 | 4550 1560 10830 | 5500 104 28 | 0.022 % | 667.77/668.08 c | 256 | 4550 1560 10830 | 6050 256 24 | 0.022 % | 667.77/668.10 c | 483 | 4550 1560 10830 | 6655 483 19 | 0.022 % | 667.87/668.11 c | 820 | 4550 1560 10830 | 7320 820 20 | 0.022 % | 667.87/668.15 c | 1328 | 4550 1560 10830 | 8052 1328 20 | 0.022 % | 667.98/668.20 c | 2087 | 4550 1560 10830 | 8857 2087 22 | 0.022 % | 668.08/668.30 c | 3229 | 4550 1560 10830 | 9743 3229 22 | 0.022 % | 668.18/668.44 c | 4937 | 4550 1560 10830 | 10717 4937 22 | 0.022 % | 668.47/668.73 c | 7503 | 4550 1560 10830 | 11789 7503 23 | 0.022 % | 668.97/669.26 c | 11347 | 4550 1560 10830 | 12968 11347 23 | 0.022 % | 669.67/669.98 c | 17113 | 4550 1560 10830 | 14265 10593 23 | 0.022 % | 671.47/671.80 c | 25764 | 4547 1560 10830 | 15692 9833 36 | 0.088 % | 673.37/673.67 c | 38739 | 4542 1560 10830 | 17261 4510 20 | 0.198 % | 673.98/674.25 c =============================================================================== 674.37/674.65 c core #173 674.37/674.65 c Core size: 115 Core Weight: 1 Total Weight: -106 674.37/674.65 c Elapsed CPU time: 669.183 s Remaining CPU time: 1130.82 s 674.47/674.73 c ============================[ Search Statistics ]============================== 674.47/674.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 674.47/674.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 674.47/674.73 c =============================================================================== 674.47/674.73 c | 0 | 4610 1561 10950 | 5000 0 nan | 0.000 % | 674.47/674.76 c | 101 | 4610 1561 10950 | 5500 101 24 | 0.022 % | 674.47/674.77 c | 251 | 4610 1561 10950 | 6050 251 32 | 0.022 % | 674.47/674.79 c | 478 | 4610 1561 10950 | 6655 478 29 | 0.022 % | 674.57/674.82 c | 816 | 4610 1561 10950 | 7320 816 26 | 0.022 % | 674.57/674.87 c | 1326 | 4610 1561 10950 | 8052 1326 31 | 0.022 % | 674.67/674.94 c | 2087 | 4610 1561 10950 | 8857 2087 31 | 0.022 % | 674.77/675.09 c | 3229 | 4610 1561 10950 | 9743 3229 37 | 0.022 % | 674.96/675.29 c | 4939 | 4610 1561 10950 | 10717 4939 36 | 0.022 % | 675.37/675.65 c | 7504 | 4610 1561 10950 | 11789 7504 35 | 0.022 % | 676.07/676.32 c | 11348 | 4610 1561 10950 | 12968 11348 40 | 0.022 % | 677.16/677.48 c | 17114 | 4610 1561 10950 | 14265 10596 43 | 0.022 % | 678.97/679.27 c | 25764 | 4610 1561 10950 | 15692 12083 46 | 0.022 % | 682.66/682.98 c | 38740 | 4610 1561 10950 | 17261 9224 61 | 0.022 % | 689.06/689.32 c | 58204 | 4610 1561 10950 | 18987 11263 62 | 0.022 % | 698.06/698.38 c | 87402 | 4610 1561 10950 | 20886 11839 53 | 0.022 % | 715.06/715.32 c | 131194 | 4610 1561 10950 | 22974 13517 50 | 0.022 % | 734.95/735.29 c =============================================================================== 739.35/739.68 c core #174 739.35/739.68 c Core size: 202 Core Weight: 1 Total Weight: -105 739.35/739.68 c Elapsed CPU time: 733.709 s Remaining CPU time: 1066.29 s 739.65/739.98 c ============================[ Search Statistics ]============================== 739.65/739.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 739.65/739.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 739.65/739.98 c =============================================================================== 739.65/739.98 c | 0 | 4729 1562 11188 | 5000 0 nan | 0.000 % | 739.75/740.08 c | 101 | 4729 1562 11188 | 5500 101 34 | 0.021 % | 739.85/740.10 c | 252 | 4729 1562 11188 | 6050 252 44 | 0.021 % | 739.85/740.13 c | 478 | 4729 1562 11188 | 6655 478 38 | 0.021 % | 739.85/740.16 c | 817 | 4729 1562 11188 | 7320 817 36 | 0.021 % | 739.96/740.23 c | 1323 | 4729 1562 11188 | 8052 1323 33 | 0.021 % | 740.05/740.34 c | 2085 | 4729 1562 11188 | 8857 2085 37 | 0.021 % | 740.15/740.49 c | 3226 | 4729 1562 11188 | 9743 3226 42 | 0.021 % | 740.55/740.84 c | 4936 | 4729 1562 11188 | 10717 4936 52 | 0.021 % | 741.05/741.30 c | 7502 | 4729 1562 11188 | 11789 7502 54 | 0.021 % | 741.75/742.07 c | 11347 | 4729 1562 11188 | 12968 11347 53 | 0.021 % | 743.05/743.30 c | 17113 | 4729 1562 11188 | 14265 10457 57 | 0.021 % | 745.25/745.55 c | 25762 | 4729 1562 11188 | 15692 11871 68 | 0.021 % | 749.44/749.75 c | 38740 | 4729 1562 11188 | 17261 8978 87 | 0.021 % | 756.24/756.51 c | 58201 | 4729 1562 11188 | 18987 10964 72 | 0.021 % | 770.34/770.61 c | 87398 | 4729 1562 11188 | 20886 10999 86 | 0.021 % | 790.03/790.31 c | 131188 | 4729 1562 11188 | 22974 12470 114 | 0.021 % | 823.93/824.25 c | 196873 | 4729 1562 11188 | 25272 19834 112 | 0.021 % | 884.80/885.16 c | 295401 | 4729 1562 11188 | 27799 13040 90 | 0.021 % | 986.28/986.67 c | 443193 | 4729 1562 11188 | 30579 24336 125 | 0.021 % | 1145.42/1145.86 c | 664879 | 4729 1562 11188 | 33637 18012 121 | 0.021 % | 1303.97/1304.42 c | 997405 | 4729 1562 11188 | 37001 17571 94 | 0.021 % | 1577.98/1578.54 c | 1496193 | 4729 1562 11188 | 40701 20409 96 | 0.021 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876252-1245162888/watcher-1876252-1245162888 -o /tmp/evaluation-result-1876252-1245162888/solver-1876252-1245162888 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876252-1245162888.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.03 0.95 3/64 2801 /proc/meminfo: memFree=1933744/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=2536 CPUtime=0 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 230 0 0 0 0 0 0 0 18 0 1 0 618280 2596864 209 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 634 209 133 292 0 339 0 [startup+0.0674391 s] /proc/loadavg: 1.00 1.03 0.95 3/64 2801 /proc/meminfo: memFree=1933744/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=3236 CPUtime=0.06 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 394 0 0 0 6 0 0 0 18 0 1 0 618280 3313664 373 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 809 374 134 292 0 514 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3236 [startup+0.101444 s] /proc/loadavg: 1.00 1.03 0.95 3/64 2801 /proc/meminfo: memFree=1933744/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=3600 CPUtime=0.09 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 500 0 0 0 9 0 0 0 18 0 1 0 618280 3686400 479 1992294400 134512640 135709839 4294956240 18446744073709551615 134570397 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 900 479 134 292 0 605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3600 [startup+0.301477 s] /proc/loadavg: 1.00 1.03 0.95 3/64 2801 /proc/meminfo: memFree=1933744/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=5324 CPUtime=0.29 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 925 0 0 0 29 0 0 0 18 0 1 0 618280 5451776 904 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 1331 904 136 292 0 1036 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5324 [startup+0.702539 s] /proc/loadavg: 1.00 1.03 0.95 3/64 2801 /proc/meminfo: memFree=1933744/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=6680 CPUtime=0.69 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 1260 0 0 0 68 1 0 0 20 0 1 0 618280 6840320 1239 1992294400 134512640 135709839 4294956240 18446744073709551615 134518154 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 1670 1239 136 292 0 1375 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6680 [startup+1.50167 s] /proc/loadavg: 1.00 1.03 0.95 2/65 2802 /proc/meminfo: memFree=1928488/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=8296 CPUtime=1.49 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 1650 0 0 0 145 4 0 0 25 0 1 0 618280 8495104 1629 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 2074 1629 136 292 0 1779 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8296 [startup+3.10192 s] /proc/loadavg: 1.00 1.03 0.95 2/65 2802 /proc/meminfo: memFree=1926376/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=10076 CPUtime=3.09 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 2115 0 0 0 301 8 0 0 25 0 1 0 618280 10317824 2094 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 2519 2094 136 292 0 2224 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10076 [startup+6.30142 s] /proc/loadavg: 1.00 1.03 0.95 2/65 2802 /proc/meminfo: memFree=1921016/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=16616 CPUtime=6.29 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 3732 0 0 0 617 12 0 0 25 0 1 0 618280 17014784 3711 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 4154 3711 136 292 0 3859 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16616 [startup+12.7014 s] /proc/loadavg: 1.00 1.03 0.95 2/65 2802 /proc/meminfo: memFree=1907328/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=30220 CPUtime=12.69 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 7151 0 0 0 1248 21 0 0 25 0 1 0 618280 30945280 7130 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 7555 7130 136 292 0 7260 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30220 [startup+25.5015 s] /proc/loadavg: 1.00 1.03 0.95 2/65 2802 /proc/meminfo: memFree=1892416/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=43884 CPUtime=25.49 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 10549 0 0 0 2514 35 0 0 25 0 1 0 618280 44937216 10528 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 10971 10528 136 292 0 10676 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 43884 [startup+51.1015 s] /proc/loadavg: 1.00 1.03 0.95 2/65 2802 /proc/meminfo: memFree=1846656/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=90000 CPUtime=51.07 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 22079 0 0 0 5042 65 0 0 25 0 1 0 618280 92160000 22058 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 22500 22058 136 292 0 22205 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 90000 [startup+102.305 s] /proc/loadavg: 1.00 1.02 0.95 2/65 2802 /proc/meminfo: memFree=1769344/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=166508 CPUtime=102.26 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 41174 0 0 0 10113 113 0 0 25 0 1 0 618280 170504192 41153 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 41627 41153 136 292 0 41332 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 166508 [startup+162.302 s] /proc/loadavg: 1.00 1.02 0.95 2/65 2802 /proc/meminfo: memFree=1707456/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=228080 CPUtime=162.23 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 56558 0 0 0 16064 159 0 0 25 0 1 0 618280 233553920 56509 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 57020 56509 136 292 0 56725 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 228080 [startup+222.302 s] /proc/loadavg: 1.00 1.01 0.95 2/65 2802 /proc/meminfo: memFree=1704256/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=231248 CPUtime=222.22 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 57428 0 0 0 22008 214 0 0 25 0 1 0 618280 236797952 57379 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 57812 57379 136 292 0 57517 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 231248 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2802 /proc/meminfo: memFree=1625088/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=311520 CPUtime=282.2 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 77460 0 0 0 27961 259 0 0 25 0 1 0 618280 318996480 77411 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 77880 77411 136 292 0 77585 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 311520 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2802 /proc/meminfo: memFree=1547840/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=387652 CPUtime=342.18 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 96449 0 0 0 33913 305 0 0 25 0 1 0 618280 396955648 96400 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 96913 96400 136 292 0 96618 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 387652 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2802 /proc/meminfo: memFree=1469184/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=467080 CPUtime=402.16 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 116222 0 0 0 39874 342 0 0 25 0 1 0 618280 478289920 116173 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 116770 116173 136 292 0 116475 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 467080 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2802 /proc/meminfo: memFree=1393024/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=542660 CPUtime=462.14 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 135091 0 0 0 45829 385 0 0 25 0 1 0 618280 555683840 135042 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 135665 135042 136 292 0 135370 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 542660 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2802 /proc/meminfo: memFree=1324736/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=611400 CPUtime=522.12 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 152261 0 0 0 51784 428 0 0 25 0 1 0 618280 626073600 152212 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 152850 152212 136 292 0 152555 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 611400 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2802 /proc/meminfo: memFree=1257792/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=677540 CPUtime=582.1 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 168784 0 0 0 57740 470 0 0 25 0 1 0 618280 693800960 168735 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 169385 168735 136 292 0 169090 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 677540 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2802 /proc/meminfo: memFree=1194304/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=740560 CPUtime=642.08 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 184531 0 0 0 63702 506 0 0 25 0 1 0 618280 758333440 184482 1992294400 134512640 135709839 4294956240 18446744073709551615 134516417 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 185140 184482 136 292 0 184845 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 740560 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2802 /proc/meminfo: memFree=1141632/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=792272 CPUtime=882.01 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 197707 0 0 0 87533 668 0 0 25 0 1 0 618280 811286528 197627 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 198068 197627 136 292 0 197773 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 792272 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2802 /proc/meminfo: memFree=1088704/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=845796 CPUtime=941.99 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 211056 0 0 0 93494 705 0 0 25 0 1 0 618280 866095104 210976 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 211449 210976 136 292 0 211154 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 845796 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2802 /proc/meminfo: memFree=1031040/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=902980 CPUtime=1001.96 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 225337 0 0 0 99453 743 0 0 25 0 1 0 618280 924651520 225257 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 225745 225257 136 292 0 225450 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 902980 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2802 /proc/meminfo: memFree=969472/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=964676 CPUtime=1061.95 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 240748 0 0 0 105418 777 0 0 25 0 1 0 618280 987828224 240668 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 241169 240668 136 292 0 240874 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 964676 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2804 /proc/meminfo: memFree=893568/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=1040296 CPUtime=1121.92 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 259618 0 0 0 111382 810 0 0 25 0 1 0 618280 1065263104 259538 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 260074 259539 136 292 0 259779 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1040296 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2804 /proc/meminfo: memFree=811584/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=1122872 CPUtime=1181.91 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 280254 0 0 0 117331 860 0 0 25 0 1 0 618280 1149820928 280174 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 280718 280174 136 292 0 280423 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 1122872 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2804 /proc/meminfo: memFree=729344/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=1204960 CPUtime=1241.89 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 300747 0 0 0 123281 908 0 0 25 0 1 0 618280 1233879040 300667 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 301240 300667 136 292 0 300945 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1204960 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2804 /proc/meminfo: memFree=647232/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=1285688 CPUtime=1301.88 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 320942 0 0 0 129233 955 0 0 25 0 1 0 618280 1316544512 320862 1992294400 134512640 135709839 4294956240 18446744073709551615 134574102 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 321422 320862 136 292 0 321127 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1285688 [startup+1362.3 s] /proc/loadavg: 1.07 1.02 0.95 2/65 2804 /proc/meminfo: memFree=572096/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=1361520 CPUtime=1361.85 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 339876 0 0 0 135181 1004 0 0 25 0 1 0 618280 1394196480 339796 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 340380 339796 136 292 0 340085 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1361520 [startup+1422.31 s] /proc/loadavg: 1.02 1.01 0.95 2/65 2804 /proc/meminfo: memFree=505088/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=1427792 CPUtime=1421.83 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 356410 0 0 0 141140 1043 0 0 25 0 1 0 618280 1462059008 356330 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 356948 356330 136 292 0 356653 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1427792 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 0.95 2/65 2804 /proc/meminfo: memFree=433664/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=1500032 CPUtime=1481.82 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 374463 0 0 0 147093 1089 0 0 25 0 1 0 618280 1536032768 374383 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 375008 374383 136 292 0 374713 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1500032 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2804 /proc/meminfo: memFree=361152/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=1571752 CPUtime=1541.8 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 392373 0 0 0 153052 1128 0 0 25 0 1 0 618280 1609474048 392293 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 392938 392293 136 292 0 392643 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1571752 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2810 /proc/meminfo: memFree=296760/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=1636516 CPUtime=1601.77 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 408553 0 0 0 159008 1169 0 0 25 0 1 0 618280 1675792384 408473 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 409129 408473 136 292 0 408834 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 1636516 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2810 /proc/meminfo: memFree=245688/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=1686740 CPUtime=1661.75 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 421081 0 0 0 164973 1202 0 0 25 0 1 0 618280 1727221760 421001 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 421685 421001 136 292 0 421390 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 1686740 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2810 /proc/meminfo: memFree=197240/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=1735368 CPUtime=1721.74 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 433214 0 0 0 170942 1232 0 0 25 0 1 0 618280 1777016832 433134 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 433842 433134 136 292 0 433547 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 1735368 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2810 /proc/meminfo: memFree=141432/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=1791072 CPUtime=1781.72 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 447117 0 0 0 176909 1263 0 0 25 0 1 0 618280 1834057728 447037 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 447768 447037 136 292 0 447473 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 1791072 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2810 /proc/meminfo: memFree=126840/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=1805460 CPUtime=1800.02 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4194304 450717 0 0 0 178728 1274 0 0 25 0 1 0 618280 1848791040 450637 1992294400 134512640 135709839 4294956240 18446744073709551615 134577692 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 451365 450638 136 292 0 451070 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1805460 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.95 2/65 2810 /proc/meminfo: memFree=126840/2055920 swapFree=4192956/4192956 [pid=2801] ppid=2799 vsize=0 CPUtime=1800.21 /proc/2801/stat : 2801 (wbo) R 2799 2801 2526 0 -1 4195332 450718 0 0 0 178728 1293 0 0 25 0 1 0 618280 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/2801/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.88 CPU time (s): 1800.3 CPU user time (s): 1787.29 CPU system time (s): 13.012 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (KiB): 1805460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.29 system time used= 13.012 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 450718 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 3272 runsolver used 1.52377 second user time and 3.46147 second system time The end
Begin job on node30 at 2009-06-16 16:34:48 IDJOB=1876252 IDBENCH=2225 IDSOLVER=698 FILE ID=node30/1876252-1245162888 PBS_JOBID= 9363829 Free space on /tmp= 66220 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876252-1245162888/watcher-1876252-1245162888 -o /tmp/evaluation-result-1876252-1245162888/solver-1876252-1245162888 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876252-1245162888.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b258fc1dc8cb1827e842a0b9558712c7 RANDOM SEED=669747476 node30.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.273 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.273 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: 1934160 kB Buffers: 14304 kB Cached: 65936 kB SwapCached: 0 kB Active: 65748 kB Inactive: 27328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1934160 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2528 kB Writeback: 0 kB Mapped: 22616 kB Slab: 14724 kB Committed_AS: 52408 kB PageTables: 1360 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876252-1245162888.opb Free space on /tmp at the end= 66216 MiB End job on node30 at 2009-06-16 17:04:51