| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (TO) | 1800.24 | 1800.87 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb |
| MD5SUM | fd5f76b1c73c75148941ed2b2825759f |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 200 |
| Best CPU time to get the best result obtained on this benchmark | 0.009997 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 200 |
| Optimality of the best value was proved | YES |
| Number of variables | 400 |
| Total number of constraints | 520 |
| Number of constraints which are clauses | 516 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 4 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 400 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 400 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| 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-1876223-1245157616.opb. 0.00/0.00 c Instance file HOME/instance-1876223-1245157616.opb 0.00/0.00 c File size is 17622 bytes. 0.00/0.00 c Highest Coefficient sum: 4 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: 400 | 0.00/0.00 c | Number Clauses: 916 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 4 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 1 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: 4 Core Weight: 1 Total Weight: 2 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 1800 s 0.00/0.00 c core #3 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 3 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 0.00/0.00 c core #4 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 4 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s 0.00/0.00 c core #5 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 5 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #6 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 6 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #7 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 7 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #8 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 8 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #9 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 9 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #10 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 10 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #11 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 11 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #12 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 12 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #13 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 13 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #14 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 14 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #15 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 15 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #16 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 16 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #17 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 17 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #18 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 18 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #19 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 19 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #20 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #21 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 21 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #22 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 22 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #23 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 23 0.00/0.02 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #24 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 24 0.00/0.02 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #25 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 25 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #26 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 26 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #27 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 27 0.00/0.02 c Elapsed CPU time: 0.020996 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: 28 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #29 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #30 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #31 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 31 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #32 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #33 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 33 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #34 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 34 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #35 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 35 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #36 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 36 0.00/0.03 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #37 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 37 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #38 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 38 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #39 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 39 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #40 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 40 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #41 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #42 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 42 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #43 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 43 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #44 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 44 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #45 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 45 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #46 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 46 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #47 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 47 0.00/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #48 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 48 0.00/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #49 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 49 0.00/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #50 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 50 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #51 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 51 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #52 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 52 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #53 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 53 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #54 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 54 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #55 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 55 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #56 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 56 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #57 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 57 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #58 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 58 0.00/0.05 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #59 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 59 0.00/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #60 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 60 0.00/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #61 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 61 0.00/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #62 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 62 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #63 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 63 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #64 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 64 0.00/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #65 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 65 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #66 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 66 0.00/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #67 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 67 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.00/0.05 c core #68 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 68 0.00/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #69 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 69 0.00/0.06 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #70 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 70 0.00/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #71 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 71 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #72 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 72 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #73 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 73 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #74 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 74 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #75 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 75 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #76 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 76 0.00/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #77 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 77 0.00/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #78 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 78 0.00/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #79 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 79 0.00/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #80 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 80 0.00/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #81 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 81 0.00/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #82 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 82 0.00/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #83 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 83 0.00/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #84 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 84 0.00/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #85 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 85 0.00/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #86 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 86 0.00/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #87 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 87 0.00/0.07 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #88 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 88 0.00/0.08 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #89 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 89 0.00/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #90 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 90 0.00/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #91 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 91 0.00/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #92 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 92 0.00/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #93 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 93 0.00/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #94 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 94 0.00/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #95 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 95 0.00/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #96 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 96 0.00/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #97 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 97 0.00/0.08 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #98 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 98 0.00/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #99 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 99 0.00/0.09 c Elapsed CPU time: 0.088986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #100 0.00/0.09 c Core size: 6 Core Weight: 1 Total Weight: 100 0.00/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #101 0.00/0.09 c Core size: 6 Core Weight: 1 Total Weight: 101 0.00/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #102 0.00/0.09 c Core size: 15 Core Weight: 1 Total Weight: 102 0.00/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #103 0.00/0.09 c Core size: 13 Core Weight: 1 Total Weight: 103 0.00/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #104 0.00/0.09 c Core size: 9 Core Weight: 1 Total Weight: 104 0.00/0.09 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #105 0.00/0.09 c Core size: 9 Core Weight: 1 Total Weight: 105 0.00/0.09 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.00/0.10 c core #106 0.00/0.10 c Core size: 12 Core Weight: 1 Total Weight: 106 0.00/0.10 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.00/0.10 c core #107 0.00/0.10 c Core size: 20 Core Weight: 1 Total Weight: 107 0.00/0.10 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #108 0.09/0.10 c Core size: 9 Core Weight: 1 Total Weight: 108 0.09/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #109 0.09/0.10 c Core size: 16 Core Weight: 1 Total Weight: 109 0.09/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #110 0.09/0.10 c Core size: 9 Core Weight: 1 Total Weight: 110 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #111 0.09/0.10 c Core size: 17 Core Weight: 1 Total Weight: 111 0.09/0.10 c Elapsed CPU time: 0.102984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #112 0.09/0.10 c Core size: 9 Core Weight: 1 Total Weight: 112 0.09/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #113 0.09/0.10 c Core size: 39 Core Weight: 1 Total Weight: 113 0.09/0.10 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #114 0.09/0.11 c Core size: 14 Core Weight: 1 Total Weight: 114 0.09/0.11 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #115 0.09/0.11 c Core size: 21 Core Weight: 1 Total Weight: 115 0.09/0.11 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #116 0.09/0.11 c Core size: 15 Core Weight: 1 Total Weight: 116 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #117 0.09/0.11 c Core size: 9 Core Weight: 1 Total Weight: 117 0.09/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #118 0.09/0.11 c Core size: 16 Core Weight: 1 Total Weight: 118 0.09/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 794 1038 2518 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #119 0.09/0.11 c Core size: 25 Core Weight: 1 Total Weight: 119 0.09/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 805 1039 2543 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #120 0.09/0.11 c Core size: 47 Core Weight: 1 Total Weight: 120 0.09/0.11 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 829 1040 2594 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #121 0.09/0.12 c Core size: 34 Core Weight: 1 Total Weight: 121 0.09/0.12 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 840 1041 2618 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #122 0.09/0.12 c Core size: 68 Core Weight: 1 Total Weight: 122 0.09/0.12 c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s 0.09/0.12 c Learning 1 hard constraints 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 877 1043 2701 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #123 0.09/0.12 c Core size: 47 Core Weight: 1 Total Weight: 123 0.09/0.12 c Elapsed CPU time: 0.121981 s Remaining CPU time: 1799.88 s 0.09/0.12 c Learning 1 hard constraints 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 898 1045 2749 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #124 0.09/0.12 c Core size: 154 Core Weight: 1 Total Weight: 124 0.09/0.12 c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 s 0.09/0.12 c Learning 3 hard constraints 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 964 1049 2895 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #125 0.09/0.13 c Core size: 60 Core Weight: 1 Total Weight: 125 0.09/0.13 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.09/0.13 c Learning 1 hard constraints 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 984 1051 2938 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #126 0.09/0.13 c Core size: 108 Core Weight: 1 Total Weight: 126 0.09/0.13 c Elapsed CPU time: 0.12898 s Remaining CPU time: 1799.87 s 0.09/0.13 c Learning 3 hard constraints 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 1029 1055 3039 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #127 0.09/0.13 c Core size: 134 Core Weight: 1 Total Weight: 127 0.09/0.13 c Elapsed CPU time: 0.131979 s Remaining CPU time: 1799.87 s 0.09/0.13 c Learning 10 hard constraints 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 1061 1066 3136 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #128 0.09/0.13 c Core size: 46 Core Weight: 1 Total Weight: 128 0.09/0.13 c Elapsed CPU time: 0.133979 s Remaining CPU time: 1799.87 s 0.09/0.13 c Learning 2 hard constraints 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 1016 1069 3149 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.14 c core #129 0.09/0.14 c Core size: 47 Core Weight: 1 Total Weight: 129 0.09/0.14 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.09/0.14 c Learning 2 hard constraints 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 | 1009 1072 3167 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #130 0.09/0.14 c Core size: 131 Core Weight: 1 Total Weight: 130 0.09/0.14 c Elapsed CPU time: 0.139978 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 | 1051 1073 3243 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #131 0.09/0.14 c Core size: 158 Core Weight: 1 Total Weight: 131 0.09/0.14 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.09/0.15 c Learning 3 hard constraints 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 | 1088 1077 3309 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #132 0.09/0.15 c Core size: 100 Core Weight: 1 Total Weight: 132 0.09/0.15 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 0.09/0.15 c Learning 1 hard constraints 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 | 1100 1079 3336 | 5000 0 nan | 0.000 % | 0.09/0.16 c | 100 | 1098 1079 3336 | 5500 100 13 | 5.017 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #133 0.09/0.16 c Core size: 116 Core Weight: 1 Total Weight: 133 0.09/0.16 c Elapsed CPU time: 0.156976 s Remaining CPU time: 1799.84 s 0.09/0.16 c Learning 6 hard constraints 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 | 1061 1086 3389 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #134 0.09/0.16 c Core size: 124 Core Weight: 1 Total Weight: 134 0.09/0.16 c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 s 0.09/0.16 c Learning 2 hard constraints 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 | 1058 1089 3411 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #135 0.09/0.16 c Core size: 121 Core Weight: 1 Total Weight: 135 0.09/0.16 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.09/0.16 c Learning 1 hard constraints 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 | 1000 1091 3421 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #136 0.09/0.16 c Core size: 138 Core Weight: 1 Total Weight: 136 0.09/0.16 c Elapsed CPU time: 0.163975 s Remaining CPU time: 1799.84 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 | 1013 1092 3447 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #137 0.09/0.17 c Core size: 145 Core Weight: 1 Total Weight: 137 0.09/0.17 c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s 0.09/0.17 c Learning 3 hard constraints 0.09/0.17 c core #138 0.09/0.17 c Core size: 152 Core Weight: 1 Total Weight: 138 0.09/0.17 c Elapsed CPU time: 0.168974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #139 0.09/0.17 c Core size: 160 Core Weight: 1 Total Weight: 139 0.09/0.17 c Elapsed CPU time: 0.170974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #140 0.09/0.17 c Core size: 172 Core Weight: 1 Total Weight: 140 0.09/0.17 c Elapsed CPU time: 0.172973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #141 0.09/0.18 c Core size: 179 Core Weight: 1 Total Weight: 141 0.09/0.18 c Elapsed CPU time: 0.174973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #142 0.09/0.18 c Core size: 232 Core Weight: 1 Total Weight: 142 0.09/0.18 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #143 0.09/0.18 c Core size: 248 Core Weight: 1 Total Weight: 143 0.09/0.18 c Elapsed CPU time: 0.179972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #144 0.09/0.18 c Core size: 281 Core Weight: 1 Total Weight: 144 0.09/0.18 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #145 0.09/0.18 c Core size: 286 Core Weight: 1 Total Weight: 145 0.09/0.18 c Elapsed CPU time: 0.183972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #146 0.09/0.19 c Core size: 286 Core Weight: 1 Total Weight: 146 0.09/0.19 c Elapsed CPU time: 0.185971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #147 0.09/0.19 c Core size: 310 Core Weight: 1 Total Weight: 147 0.09/0.19 c Elapsed CPU time: 0.188971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #148 0.09/0.19 c Core size: 362 Core Weight: 1 Total Weight: 148 0.09/0.19 c Elapsed CPU time: 0.19097 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #149 0.09/0.19 c Core size: 336 Core Weight: 1 Total Weight: 149 0.09/0.19 c Elapsed CPU time: 0.19297 s Remaining CPU time: 1799.81 s 0.09/0.20 c core #150 0.09/0.20 c Core size: 351 Core Weight: 1 Total Weight: 150 0.09/0.20 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #151 0.19/0.20 c Core size: 334 Core Weight: 1 Total Weight: 151 0.19/0.20 c Elapsed CPU time: 0.197969 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 | 760 1110 3580 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #152 0.19/0.20 c Core size: 358 Core Weight: 1 Total Weight: 152 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 | 765 1111 3590 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #153 0.19/0.21 c Core size: 364 Core Weight: 1 Total Weight: 153 0.19/0.21 c Elapsed CPU time: 0.204968 s Remaining CPU time: 1799.8 s 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 773 1112 3606 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #154 0.19/0.21 c Core size: 264 Core Weight: 1 Total Weight: 154 0.19/0.21 c Elapsed CPU time: 0.207968 s Remaining CPU time: 1799.79 s 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 784 1113 3622 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #155 0.19/0.21 c Core size: 358 Core Weight: 1 Total Weight: 155 0.19/0.21 c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 s 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 797 1114 3648 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #156 0.19/0.22 c Core size: 381 Core Weight: 1 Total Weight: 156 0.19/0.22 c Elapsed CPU time: 0.216967 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 | 814 1115 3682 | 5000 0 nan | 0.000 % | 0.19/0.22 c | 100 | 813 1115 3682 | 5500 98 22 | 38.316 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #157 0.19/0.23 c Core size: 393 Core Weight: 1 Total Weight: 157 0.19/0.23 c Elapsed CPU time: 0.225965 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 | 838 1116 3730 | 5000 0 nan | 0.000 % | 0.19/0.23 c | 100 | 838 1116 3730 | 5500 100 25 | 37.556 % | 0.19/0.24 c | 250 | 838 1116 3730 | 6050 250 27 | 37.556 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #158 0.19/0.25 c Core size: 368 Core Weight: 1 Total Weight: 158 0.19/0.25 c Elapsed CPU time: 0.252961 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 | 843 1117 3740 | 5000 0 nan | 0.000 % | 0.19/0.26 c | 101 | 843 1117 3740 | 5500 101 29 | 37.417 % | 0.19/0.27 c | 254 | 841 1117 3740 | 6050 249 27 | 37.639 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #159 0.19/0.28 c Core size: 217 Core Weight: 1 Total Weight: 159 0.19/0.28 c Elapsed CPU time: 0.274958 s Remaining CPU time: 1799.73 s 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 852 1118 3758 | 5000 0 nan | 0.000 % | 0.19/0.28 c | 101 | 852 1118 3758 | 5500 101 29 | 37.168 % | 0.19/0.29 c | 252 | 848 1118 3758 | 6050 236 27 | 37.463 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c core #160 0.29/0.30 c Core size: 407 Core Weight: 1 Total Weight: 160 0.29/0.30 c Elapsed CPU time: 0.300954 s Remaining CPU time: 1799.7 s 0.29/0.30 c ============================[ Search Statistics ]============================== 0.29/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 882 1119 3818 | 5000 0 nan | 0.000 % | 0.29/0.31 c | 101 | 882 1119 3818 | 5500 101 38 | 36.364 % | 0.29/0.32 c | 251 | 882 1119 3818 | 6050 251 37 | 36.364 % | 0.29/0.33 c | 476 | 882 1119 3818 | 6655 476 42 | 36.364 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #161 0.29/0.35 c Core size: 224 Core Weight: 1 Total Weight: 161 0.29/0.35 c Elapsed CPU time: 0.345947 s Remaining CPU time: 1799.65 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 | 886 1120 3826 | 5000 0 nan | 0.000 % | 0.29/0.36 c | 101 | 886 1120 3826 | 5500 101 38 | 36.259 % | 0.29/0.36 c | 252 | 882 1120 3826 | 6050 251 34 | 36.547 % | 0.29/0.38 c | 478 | 878 1120 3826 | 6655 476 33 | 36.835 % | 0.39/0.40 c | 816 | 878 1120 3826 | 7320 814 36 | 36.835 % | 0.39/0.45 c | 1324 | 878 1120 3826 | 8052 1322 35 | 36.836 % | 0.39/0.46 c =============================================================================== 0.39/0.47 c core #162 0.39/0.47 c Core size: 406 Core Weight: 1 Total Weight: 162 0.39/0.47 c Elapsed CPU time: 0.465929 s Remaining CPU time: 1799.53 s 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 915 1121 3884 | 5000 0 nan | 0.000 % | 0.39/0.48 c | 101 | 915 1121 3884 | 5500 101 48 | 35.518 % | 0.39/0.48 c | 251 | 915 1121 3884 | 6050 251 41 | 35.518 % | 0.49/0.50 c | 477 | 915 1121 3884 | 6655 477 48 | 35.518 % | 0.49/0.52 c | 814 | 915 1121 3884 | 7320 814 49 | 35.518 % | 0.49/0.57 c | 1325 | 915 1121 3884 | 8052 1325 54 | 35.518 % | 0.59/0.67 c | 2085 | 911 1121 3884 | 8857 2084 54 | 35.800 % | 0.79/0.86 c | 3225 | 911 1121 3884 | 9743 3224 55 | 35.800 % | 1.10/1.17 c | 4934 | 910 1121 3884 | 10717 4878 57 | 35.870 % | 1.79/1.87 c | 7496 | 910 1121 3884 | 11789 7440 57 | 35.870 % | 3.89/3.96 c | 11344 | 910 1121 3884 | 12968 11288 58 | 36.082 % | 5.19/5.28 c =============================================================================== 5.28/5.40 c core #163 5.28/5.40 c Core size: 405 Core Weight: 1 Total Weight: 163 5.28/5.40 c Elapsed CPU time: 5.35219 s Remaining CPU time: 1794.65 s 5.39/5.42 c ============================[ Search Statistics ]============================== 5.39/5.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.39/5.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.39/5.42 c =============================================================================== 5.39/5.42 c | 0 | 945 1122 3944 | 5000 0 nan | 0.000 % | 5.39/5.42 c | 101 | 945 1122 3944 | 5500 101 55 | 34.783 % | 5.39/5.43 c | 251 | 940 1122 3944 | 6050 248 44 | 35.404 % | 5.39/5.44 c | 477 | 940 1122 3944 | 6655 474 47 | 35.404 % | 5.39/5.47 c | 815 | 936 1122 3944 | 7320 800 49 | 35.404 % | 5.49/5.52 c | 1321 | 936 1122 3944 | 8052 1306 50 | 35.404 % | 5.59/5.61 c | 2081 | 936 1122 3944 | 8857 2066 50 | 35.404 % | 5.79/5.86 c | 3222 | 932 1122 3944 | 9743 3206 51 | 35.680 % | 6.19/6.22 c | 4931 | 932 1122 3944 | 10717 4915 53 | 35.680 % | 6.79/6.88 c | 7495 | 932 1122 3944 | 11789 7479 54 | 35.680 % | 8.38/8.40 c | 11340 | 929 1122 3944 | 12968 11323 53 | 35.887 % | 11.99/12.01 c | 17107 | 929 1122 3944 | 14265 10303 53 | 36.439 % | 16.49/16.59 c | 25758 | 917 1122 3944 | 15692 11512 55 | 36.715 % | 23.98/24.06 c | 38732 | 916 1122 3944 | 17261 8172 57 | 36.784 % | 30.48/30.51 c =============================================================================== 30.98/31.09 c core #164 30.98/31.09 c Core size: 400 Core Weight: 1 Total Weight: 164 30.98/31.09 c Elapsed CPU time: 30.9243 s Remaining CPU time: 1769.08 s 31.08/31.14 c ============================[ Search Statistics ]============================== 31.08/31.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.08/31.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.08/31.14 c =============================================================================== 31.08/31.14 c | 0 | 971 1123 3996 | 5000 0 nan | 0.000 % | 31.08/31.15 c =============================================================================== 31.08/31.15 c core #165 31.08/31.15 c Core size: 222 Core Weight: 1 Total Weight: 165 31.08/31.15 c Elapsed CPU time: 30.9913 s Remaining CPU time: 1769.01 s 31.08/31.16 c ============================[ Search Statistics ]============================== 31.08/31.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.08/31.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.08/31.16 c =============================================================================== 31.08/31.16 c | 0 | 976 1124 4006 | 5000 0 nan | 0.000 % | 31.08/31.16 c =============================================================================== 31.08/31.16 c core #166 31.08/31.16 c Core size: 363 Core Weight: 1 Total Weight: 166 31.08/31.16 c Elapsed CPU time: 30.9963 s Remaining CPU time: 1769 s 31.08/31.16 c ============================[ Search Statistics ]============================== 31.08/31.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.08/31.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.08/31.16 c =============================================================================== 31.08/31.16 c | 0 | 983 1125 4020 | 5000 0 nan | 0.000 % | 31.08/31.17 c =============================================================================== 31.08/31.17 c core #167 31.08/31.17 c Core size: 372 Core Weight: 1 Total Weight: 167 31.08/31.17 c Elapsed CPU time: 31.0013 s Remaining CPU time: 1769 s 31.08/31.17 c ============================[ Search Statistics ]============================== 31.08/31.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.08/31.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.08/31.17 c =============================================================================== 31.08/31.17 c | 0 | 990 1126 4034 | 5000 0 nan | 0.000 % | 31.08/31.17 c | 100 | 990 1126 4034 | 5500 100 63 | 33.735 % | 31.08/31.18 c | 257 | 990 1126 4034 | 6050 257 52 | 33.735 % | 31.18/31.20 c | 482 | 990 1126 4034 | 6655 482 57 | 33.735 % | 31.18/31.22 c | 819 | 990 1126 4034 | 7320 819 60 | 33.735 % | 31.18/31.28 c | 1326 | 990 1126 4034 | 8052 1326 64 | 33.735 % | 31.38/31.42 c | 2086 | 990 1126 4034 | 8857 2086 74 | 33.735 % | 31.58/31.64 c | 3226 | 990 1126 4034 | 9743 3226 82 | 33.735 % | 32.18/32.25 c | 4935 | 989 1126 4034 | 10717 4835 85 | 33.802 % | 33.27/33.39 c | 7501 | 989 1126 4034 | 11789 7401 84 | 33.802 % | 34.98/35.00 c | 11346 | 988 1126 4034 | 12968 11246 83 | 34.538 % | 36.57/36.69 c =============================================================================== 36.68/36.72 c core #168 36.68/36.72 c Core size: 422 Core Weight: 1 Total Weight: 168 36.68/36.72 c Elapsed CPU time: 36.4975 s Remaining CPU time: 1763.5 s 36.68/36.74 c ============================[ Search Statistics ]============================== 36.68/36.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.68/36.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.68/36.74 c =============================================================================== 36.68/36.74 c | 0 | 1038 1127 4106 | 5000 0 nan | 0.000 % | 36.68/36.75 c | 101 | 1038 1127 4106 | 5500 101 66 | 32.157 % | 36.68/36.76 c | 251 | 1038 1127 4106 | 6050 251 54 | 32.157 % | 36.68/36.77 c | 483 | 1038 1127 4106 | 6655 483 53 | 32.157 % | 36.68/36.78 c =============================================================================== 36.68/36.79 c core #169 36.68/36.79 c Core size: 277 Core Weight: 1 Total Weight: 169 36.68/36.79 c Elapsed CPU time: 36.5584 s Remaining CPU time: 1763.44 s 36.68/36.79 c ============================[ Search Statistics ]============================== 36.68/36.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.68/36.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.68/36.79 c =============================================================================== 36.68/36.79 c | 0 | 1056 1128 4136 | 5000 0 nan | 0.000 % | 36.68/36.80 c | 103 | 1056 1128 4136 | 5500 103 62 | 31.651 % | 36.77/36.80 c | 253 | 1052 1128 4136 | 6050 252 51 | 31.909 % | 36.77/36.82 c | 479 | 1047 1128 4136 | 6655 478 56 | 32.233 % | 36.77/36.85 c | 821 | 1042 1128 4136 | 7320 808 63 | 32.557 % | 36.87/36.93 c | 1329 | 1030 1128 4136 | 8052 1306 76 | 33.333 % | 36.97/37.07 c | 2088 | 1030 1128 4136 | 8857 2065 81 | 33.592 % | 37.28/37.35 c | 3230 | 1030 1128 4136 | 9743 3207 84 | 33.592 % | 38.07/38.11 c | 4938 | 1026 1128 4136 | 10717 4901 88 | 33.851 % | 39.28/39.38 c | 7502 | 1026 1128 4136 | 11789 7465 90 | 33.851 % | 42.57/42.64 c | 11347 | 1026 1128 4136 | 12968 11310 94 | 33.851 % | 46.07/46.14 c | 17116 | 1022 1128 4136 | 14265 10285 91 | 34.110 % | 51.67/51.71 c | 25765 | 1022 1128 4136 | 15692 11494 86 | 34.110 % | 58.66/58.76 c | 38741 | 1022 1128 4136 | 17261 16330 84 | 34.110 % | 70.86/70.94 c | 58205 | 1018 1128 4136 | 18987 17895 91 | 34.110 % | 93.56/93.61 c | 87397 | 1018 1128 4136 | 20886 17636 90 | 34.110 % | 129.94/130.02 c | 131187 | 1018 1128 4136 | 22974 18375 98 | 34.110 % | 197.62/197.73 c | 196873 | 1018 1128 4136 | 25272 13261 99 | 34.110 % | 272.99/273.19 c | 295404 | 1018 1128 4136 | 27799 19696 97 | 34.110 % | 422.84/423.00 c | 443194 | 1018 1128 4136 | 30579 17226 118 | 34.111 % | 536.10/536.38 c =============================================================================== 549.00/549.21 c core #170 549.00/549.21 c Core size: 428 Core Weight: 1 Total Weight: 170 549.00/549.21 c Elapsed CPU time: 547.017 s Remaining CPU time: 1252.98 s 549.50/549.78 c ============================[ Search Statistics ]============================== 549.50/549.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 549.50/549.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 549.50/549.78 c =============================================================================== 549.50/549.78 c | 0 | 1096 1129 4216 | 5000 0 nan | 0.000 % | 549.59/549.85 c | 100 | 1096 1129 4216 | 5500 100 46 | 30.852 % | 549.59/549.87 c | 252 | 1096 1129 4216 | 6050 252 46 | 30.852 % | 549.59/549.90 c | 477 | 1096 1129 4216 | 6655 477 52 | 30.852 % | 549.70/549.93 c | 816 | 1096 1129 4216 | 7320 816 60 | 30.852 % | 549.70/549.97 c | 1322 | 1096 1129 4216 | 8052 1322 71 | 30.852 % | 549.80/550.09 c | 2082 | 1096 1129 4216 | 8857 2082 83 | 30.852 % | 549.99/550.28 c | 3222 | 1096 1129 4216 | 9743 3222 91 | 30.852 % | 550.39/550.68 c | 4931 | 1096 1129 4216 | 10717 4931 92 | 30.852 % | 551.70/551.90 c | 7493 | 1096 1129 4216 | 11789 7493 97 | 30.852 % | 553.60/553.81 c | 11338 | 1096 1129 4216 | 12968 11338 104 | 30.852 % | 556.29/556.60 c | 17104 | 1096 1129 4216 | 14265 10307 110 | 30.852 % | 562.39/562.61 c | 25756 | 1092 1129 4216 | 15692 11508 115 | 31.104 % | 569.49/569.71 c | 38732 | 1092 1129 4216 | 17261 16318 124 | 31.357 % | 584.38/584.66 c | 58194 | 1084 1129 4216 | 18987 17854 133 | 31.924 % | 613.97/614.28 c | 87392 | 1084 1129 4216 | 20886 17641 135 | 32.177 % | 660.76/661.09 c | 131181 | 1084 1129 4216 | 22974 18369 144 | 32.177 % | 733.53/733.80 c | 196866 | 1075 1129 4216 | 25272 13279 145 | 32.177 % | 861.00/861.37 c | 295394 | 1075 1129 4216 | 27799 19539 132 | 32.177 % | 1033.73/1034.13 c | 443188 | 1075 1129 4216 | 30579 14568 110 | 32.177 % | 1280.55/1281.04 c | 664875 | 1075 1129 4216 | 33637 22436 116 | 32.177 % | 1667.11/1667.72 c | 997405 | 1075 1129 4216 | 37001 20227 113 | 32.177 % |
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-1876223-1245157616/watcher-1876223-1245157616 -o /tmp/evaluation-result-1876223-1245157616/solver-1876223-1245157616 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876223-1245157616.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.00 1.00 3/64 7802 /proc/meminfo: memFree=1860808/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=2536 CPUtime=0 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 235 0 0 0 0 0 0 0 18 0 1 0 183361537 2596864 214 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 634 214 133 292 0 339 0 [startup+0.00871906 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7802 /proc/meminfo: memFree=1860808/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=2652 CPUtime=0 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 238 0 0 0 0 0 0 0 18 0 1 0 183361537 2715648 217 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 663 217 133 292 0 368 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2652 [startup+0.101733 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7802 /proc/meminfo: memFree=1860808/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=2888 CPUtime=0.09 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 302 0 0 0 9 0 0 0 18 0 1 0 183361537 2957312 281 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 722 281 134 292 0 427 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2888 [startup+0.301767 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7802 /proc/meminfo: memFree=1860808/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=3876 CPUtime=0.29 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 558 0 0 0 29 0 0 0 19 0 1 0 183361537 3969024 537 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 969 537 136 292 0 674 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3876 [startup+0.701833 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7802 /proc/meminfo: memFree=1860808/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=4708 CPUtime=0.69 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 767 0 0 0 68 1 0 0 22 0 1 0 183361537 4820992 746 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 1177 746 136 292 0 882 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4708 [startup+1.50196 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1857536/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=6560 CPUtime=1.49 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 1224 0 0 0 147 2 0 0 25 0 1 0 183361537 6717440 1203 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 1640 1203 136 292 0 1345 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6560 [startup+3.10123 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1855616/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=8304 CPUtime=3.09 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 1664 0 0 0 306 3 0 0 25 0 1 0 183361537 8503296 1643 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 2076 1643 136 292 0 1781 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8304 [startup+6.30176 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1852608/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=10448 CPUtime=6.29 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 2194 0 0 0 624 5 0 0 25 0 1 0 183361537 10698752 2173 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 2612 2173 136 292 0 2317 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10448 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1852032/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=11252 CPUtime=12.68 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 2405 0 0 0 1261 7 0 0 25 0 1 0 183361537 11522048 2384 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 2813 2384 136 292 0 2518 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 11252 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1842624/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=20388 CPUtime=25.48 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 4660 0 0 0 2535 13 0 0 25 0 1 0 183361537 20877312 4639 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 5097 4639 136 292 0 4802 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20388 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1829696/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=33604 CPUtime=51.07 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 7975 0 0 0 5079 28 0 0 25 0 1 0 183361537 34410496 7948 1992294400 134512640 135709839 4294956240 18446744073709551615 134573799 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 8401 7948 136 292 0 8106 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33604 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1790080/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=72760 CPUtime=102.26 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 17734 0 0 0 10173 53 0 0 25 0 1 0 183361537 74506240 17707 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 18190 17707 136 292 0 17895 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 72760 [startup+162.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1754944/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=108324 CPUtime=162.23 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 26611 0 0 0 16151 72 0 0 25 0 1 0 183361537 110923776 26584 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 27081 26584 136 292 0 26786 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 108324 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1713472/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=149468 CPUtime=222.21 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 36865 0 0 0 22127 94 0 0 25 0 1 0 183361537 153055232 36838 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 37367 36838 136 292 0 37072 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 149468 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1670272/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=192584 CPUtime=282.18 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 47638 0 0 0 28099 119 0 0 25 0 1 0 183361537 197206016 47611 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 48146 47611 136 292 0 47851 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 192584 [startup+342.302 s] /proc/loadavg: 1.03 1.01 1.00 2/65 7803 /proc/meminfo: memFree=1628224/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=234604 CPUtime=342.17 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 58117 0 0 0 34076 141 0 0 25 0 1 0 183361537 240234496 58090 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 58651 58090 136 292 0 58356 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 234604 [startup+402.302 s] /proc/loadavg: 1.04 1.02 1.00 2/65 7803 /proc/meminfo: memFree=1595136/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=267852 CPUtime=402.14 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 66426 0 0 0 40053 161 0 0 25 0 1 0 183361537 274280448 66399 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 66963 66399 136 292 0 66668 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 267852 [startup+462.302 s] /proc/loadavg: 1.01 1.02 1.00 2/65 7803 /proc/meminfo: memFree=1562688/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=299976 CPUtime=462.12 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 74438 0 0 0 46031 181 0 0 25 0 1 0 183361537 307175424 74411 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 74994 74411 136 292 0 74699 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 299976 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 7803 /proc/meminfo: memFree=1539904/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=322776 CPUtime=522.1 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 80140 0 0 0 52015 195 0 0 25 0 1 0 183361537 330522624 80113 1992294400 134512640 135709839 4294956240 18446744073709551615 134573813 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 80694 80113 136 292 0 80399 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 322776 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1519040/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=342652 CPUtime=582.08 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 85299 0 0 0 57995 213 0 0 25 0 1 0 183361537 350875648 85241 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 85663 85241 136 292 0 85368 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 342652 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1503360/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=358360 CPUtime=642.06 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 89199 0 0 0 63976 230 0 0 25 0 1 0 183361537 366960640 89141 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 89590 89141 136 292 0 89295 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 358360 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1388544/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=473656 CPUtime=881.98 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 117896 0 0 0 87893 305 0 0 25 0 1 0 183361537 485023744 117838 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 118414 117838 136 292 0 118119 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 473656 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1359936/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=502364 CPUtime=941.96 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 125041 0 0 0 93869 327 0 0 25 0 1 0 183361537 514420736 124983 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 125591 124983 136 292 0 125296 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 502364 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1332608/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=529692 CPUtime=1001.94 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 131868 0 0 0 99851 343 0 0 25 0 1 0 183361537 542404608 131810 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 132423 131810 136 292 0 132128 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 529692 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1292416/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=569880 CPUtime=1061.91 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 141884 0 0 0 105828 363 0 0 25 0 1 0 183361537 583557120 141826 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 142470 141826 136 292 0 142175 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 569880 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1262144/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=600088 CPUtime=1121.9 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 149394 0 0 0 111810 380 0 0 25 0 1 0 183361537 614490112 149336 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 150022 149336 136 292 0 149727 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 600088 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1223360/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=639360 CPUtime=1181.88 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 159202 0 0 0 117787 401 0 0 25 0 1 0 183361537 654704640 159144 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 159840 159144 136 292 0 159545 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 639360 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1189440/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=672792 CPUtime=1241.85 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 167562 0 0 0 123768 417 0 0 25 0 1 0 183361537 688939008 167504 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 168198 167504 136 292 0 167903 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 672792 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1142400/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=719372 CPUtime=1301.84 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 179203 0 0 0 129745 439 0 0 25 0 1 0 183361537 736636928 179145 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 179843 179145 136 292 0 179548 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 719372 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1109248/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=752804 CPUtime=1361.81 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 187546 0 0 0 135726 455 0 0 25 0 1 0 183361537 770871296 187488 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 188201 187488 136 292 0 187906 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 752804 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1080448/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=781320 CPUtime=1421.8 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 194662 0 0 0 141708 472 0 0 25 0 1 0 183361537 800071680 194604 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 195330 194604 136 292 0 195035 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 781320 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1042048/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=819972 CPUtime=1481.77 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 204307 0 0 0 147684 493 0 0 25 0 1 0 183361537 839651328 204249 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 204993 204249 136 292 0 204698 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 819972 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=1010560/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=851268 CPUtime=1541.76 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 212099 0 0 0 153663 513 0 0 25 0 1 0 183361537 871698432 212041 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 212817 212041 136 292 0 212522 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 851268 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=976832/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=885204 CPUtime=1601.73 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 220555 0 0 0 159638 535 0 0 25 0 1 0 183361537 906448896 220497 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 221301 220497 136 292 0 221006 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 885204 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=947008/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=914688 CPUtime=1661.71 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 227937 0 0 0 165621 550 0 0 25 0 1 0 183361537 936640512 227879 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 228672 227879 136 292 0 228377 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 914688 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=906048/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=955868 CPUtime=1721.69 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 238215 0 0 0 171597 572 0 0 25 0 1 0 183361537 978808832 238157 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 238967 238157 136 292 0 238672 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 955868 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=869632/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=992024 CPUtime=1781.67 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 247232 0 0 0 177574 593 0 0 25 0 1 0 183361537 1015832576 247174 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 248006 247174 136 292 0 247711 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 992024 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=859904/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=1001576 CPUtime=1800.07 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4194304 249627 0 0 0 179410 597 0 0 25 0 1 0 183361537 1025613824 249569 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 250394 249569 136 292 0 250099 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1001576 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7803 /proc/meminfo: memFree=859904/2055920 swapFree=4180828/4192956 [pid=7802] ppid=7800 vsize=0 CPUtime=1800.17 /proc/7802/stat : 7802 (wbo) R 7800 7802 7697 0 -1 4195332 249627 0 0 0 179410 607 0 0 25 0 1 0 183361537 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/7802/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.87 CPU time (s): 1800.24 CPU user time (s): 1794.1 CPU system time (s): 6.13407 CPU usage (%): 99.9651 Max. virtual memory (cumulated for all children) (KiB): 1001576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.1 system time used= 6.13407 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 249627 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= 2 involuntary context switches= 2883 runsolver used 1.22881 second user time and 3.85441 second system time The end
Begin job on node31 at 2009-06-16 15:06:56 IDJOB=1876223 IDBENCH=2164 IDSOLVER=698 FILE ID=node31/1876223-1245157616 PBS_JOBID= 9363813 Free space on /tmp= 66272 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.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-1876223-1245157616/watcher-1876223-1245157616 -o /tmp/evaluation-result-1876223-1245157616/solver-1876223-1245157616 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876223-1245157616.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fd5f76b1c73c75148941ed2b2825759f RANDOM SEED=314886450 node31.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.258 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.258 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: 1861288 kB Buffers: 39524 kB Cached: 83184 kB SwapCached: 5132 kB Active: 42372 kB Inactive: 88436 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1861288 kB SwapTotal: 4192956 kB SwapFree: 4180828 kB Dirty: 2492 kB Writeback: 0 kB Mapped: 13788 kB Slab: 49524 kB Committed_AS: 167796 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876223-1245157616.opb Free space on /tmp at the end= 66268 MiB End job on node31 at 2009-06-16 15:36:59