Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.22 | 1800.66 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb |
MD5SUM | 97853fc7b2835e8ba939012dd0f8e215 |
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.029995 |
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 | 880 |
Number of constraints which are clauses | 880 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
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 | 1 |
Number of bits of the biggest number in a constraint | 1 |
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-1876176-1245151467.opb. 0.00/0.00 c Instance file HOME/instance-1876176-1245151467.opb 0.00/0.00 c File size is 28514 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: 1280 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 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.004999 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.005999 s Remaining CPU time: 1799.99 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.006998 s Remaining CPU time: 1799.99 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.007998 s Remaining CPU time: 1799.99 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.008998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #6 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 6 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #7 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 7 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #8 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 8 0.00/0.01 c Elapsed CPU time: 0.011998 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: 9 0.00/0.01 c Elapsed CPU time: 0.011998 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.012998 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.013997 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.014997 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.015997 s Remaining CPU time: 1799.98 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.016997 s Remaining CPU time: 1799.98 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.017997 s Remaining CPU time: 1799.98 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.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #17 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 17 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #18 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 18 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #19 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 19 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #20 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #21 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 21 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #22 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 22 0.00/0.02 c Elapsed CPU time: 0.024996 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.025996 s Remaining CPU time: 1799.97 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.026995 s Remaining CPU time: 1799.97 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.027995 s Remaining CPU time: 1799.97 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.028995 s Remaining CPU time: 1799.97 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.029995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #28 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 28 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #29 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #30 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #31 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 31 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #32 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #33 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 33 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #34 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 34 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #35 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 35 0.00/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 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.038994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #37 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 37 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #38 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 38 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #39 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 39 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #40 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 40 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #41 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #42 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 42 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #43 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 43 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #44 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 44 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #45 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 45 0.00/0.04 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #46 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 46 0.00/0.04 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #47 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 47 0.00/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #48 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 48 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #49 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 49 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #50 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 50 0.00/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #51 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 51 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #52 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 52 0.00/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #53 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 53 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.00/0.05 c core #54 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 54 0.00/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.00/0.05 c core #55 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 55 0.00/0.05 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #56 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 56 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #57 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 57 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #58 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 58 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #59 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 59 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #60 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 60 0.00/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #61 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 61 0.00/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #62 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 62 0.00/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.00/0.06 c core #63 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 63 0.00/0.06 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #64 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 64 0.00/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #65 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 65 0.00/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #66 0.06/0.07 c Core size: 4 Core Weight: 1 Total Weight: 66 0.06/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #67 0.06/0.07 c Core size: 4 Core Weight: 1 Total Weight: 67 0.06/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #68 0.06/0.07 c Core size: 4 Core Weight: 1 Total Weight: 68 0.06/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #69 0.06/0.07 c Core size: 4 Core Weight: 1 Total Weight: 69 0.06/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #70 0.06/0.07 c Core size: 4 Core Weight: 1 Total Weight: 70 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: 4 Core Weight: 1 Total Weight: 71 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: 4 Core Weight: 1 Total Weight: 72 0.06/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #73 0.06/0.08 c Core size: 4 Core Weight: 1 Total Weight: 73 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: 4 Core Weight: 1 Total Weight: 74 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: 4 Core Weight: 1 Total Weight: 75 0.06/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #76 0.06/0.08 c Core size: 4 Core Weight: 1 Total Weight: 76 0.06/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #77 0.06/0.08 c Core size: 4 Core Weight: 1 Total Weight: 77 0.06/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #78 0.06/0.08 c Core size: 4 Core Weight: 1 Total Weight: 78 0.06/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #79 0.06/0.08 c Core size: 4 Core Weight: 1 Total Weight: 79 0.06/0.08 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.06/0.08 c core #80 0.06/0.08 c Core size: 4 Core Weight: 1 Total Weight: 80 0.06/0.08 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #81 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 81 0.06/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #82 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 82 0.06/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #83 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 83 0.06/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #84 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 84 0.06/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #85 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 85 0.06/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #86 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 86 0.06/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #87 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 87 0.06/0.09 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.06/0.09 c core #88 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 88 0.06/0.09 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.06/0.10 c core #89 0.06/0.10 c Core size: 4 Core Weight: 1 Total Weight: 89 0.06/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #90 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: 90 0.09/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #91 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: 91 0.09/0.10 c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #92 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: 92 0.09/0.10 c Elapsed CPU time: 0.102984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #93 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: 93 0.09/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #94 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: 94 0.09/0.10 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #95 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: 95 0.09/0.10 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #96 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 96 0.09/0.11 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #97 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 97 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #98 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 98 0.09/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #99 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 99 0.09/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #100 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 100 0.09/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #101 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 101 0.09/0.11 c Elapsed CPU time: 0.113982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #102 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 102 0.09/0.11 c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s 0.09/0.11 c core #103 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 103 0.09/0.11 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #104 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 104 0.09/0.12 c Elapsed CPU time: 0.117982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #105 0.09/0.12 c Core size: 7 Core Weight: 1 Total Weight: 105 0.09/0.12 c Elapsed CPU time: 0.119981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #106 0.09/0.12 c Core size: 10 Core Weight: 1 Total Weight: 106 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #107 0.09/0.12 c Core size: 10 Core Weight: 1 Total Weight: 107 0.09/0.12 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #108 0.09/0.12 c Core size: 5 Core Weight: 1 Total Weight: 108 0.09/0.12 c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #109 0.09/0.12 c Core size: 10 Core Weight: 1 Total Weight: 109 0.09/0.12 c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #110 0.09/0.12 c Core size: 10 Core Weight: 1 Total Weight: 110 0.09/0.12 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #111 0.09/0.13 c Core size: 11 Core Weight: 1 Total Weight: 111 0.09/0.13 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #112 0.09/0.13 c Core size: 10 Core Weight: 1 Total Weight: 112 0.09/0.13 c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #113 0.09/0.13 c Core size: 43 Core Weight: 1 Total Weight: 113 0.09/0.13 c Elapsed CPU time: 0.13098 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #114 0.09/0.13 c Core size: 42 Core Weight: 1 Total Weight: 114 0.09/0.13 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #115 0.09/0.13 c Core size: 26 Core Weight: 1 Total Weight: 115 0.09/0.13 c Elapsed CPU time: 0.133979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #116 0.09/0.13 c Core size: 13 Core Weight: 1 Total Weight: 116 0.09/0.13 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.09/0.13 c core #117 0.09/0.13 c Core size: 14 Core Weight: 1 Total Weight: 117 0.09/0.13 c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #118 0.09/0.14 c Core size: 19 Core Weight: 1 Total Weight: 118 0.09/0.14 c Elapsed CPU time: 0.138978 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 | 787 1398 3603 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #119 0.09/0.14 c Core size: 32 Core Weight: 1 Total Weight: 119 0.09/0.14 c Elapsed CPU time: 0.140978 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 | 804 1399 3640 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #120 0.09/0.14 c Core size: 69 Core Weight: 1 Total Weight: 120 0.09/0.14 c Elapsed CPU time: 0.142978 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 | 834 1400 3704 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #121 0.09/0.14 c Core size: 77 Core Weight: 1 Total Weight: 121 0.09/0.14 c Elapsed CPU time: 0.144977 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 | 866 1403 3774 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #122 0.09/0.14 c Core size: 56 Core Weight: 1 Total Weight: 122 0.09/0.14 c Elapsed CPU time: 0.146977 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 | 890 1405 3826 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #123 0.09/0.15 c Core size: 72 Core Weight: 1 Total Weight: 123 0.09/0.15 c Elapsed CPU time: 0.149977 s Remaining CPU time: 1799.85 s 0.09/0.15 c Learning 2 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 | 911 1408 3872 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #124 0.09/0.15 c Core size: 164 Core Weight: 1 Total Weight: 124 0.09/0.15 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 s 0.09/0.15 c Learning 2 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 | 971 1411 3997 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #125 0.09/0.15 c Core size: 65 Core Weight: 1 Total Weight: 125 0.09/0.15 c Elapsed CPU time: 0.154976 s Remaining CPU time: 1799.85 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 | 990 1415 4044 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #126 0.09/0.16 c Core size: 126 Core Weight: 1 Total Weight: 126 0.09/0.16 c Elapsed CPU time: 0.157975 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 | 1032 1418 4134 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #127 0.09/0.16 c Core size: 89 Core Weight: 1 Total Weight: 127 0.09/0.16 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.09/0.16 c Learning 4 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 1423 4201 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #128 0.09/0.16 c Core size: 78 Core Weight: 1 Total Weight: 128 0.09/0.16 c Elapsed CPU time: 0.164974 s Remaining CPU time: 1799.84 s 0.09/0.17 c Learning 9 hard constraints 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 | 1085 1433 4271 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #129 0.09/0.17 c Core size: 289 Core Weight: 1 Total Weight: 129 0.09/0.17 c Elapsed CPU time: 0.168974 s Remaining CPU time: 1799.83 s 0.09/0.17 c Learning 14 hard constraints 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 | 1164 1448 4469 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #130 0.09/0.17 c Core size: 278 Core Weight: 1 Total Weight: 130 0.09/0.17 c Elapsed CPU time: 0.171973 s Remaining CPU time: 1799.83 s 0.09/0.18 c Learning 10 hard constraints 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 | 1223 1459 4608 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #131 0.09/0.18 c Core size: 212 Core Weight: 1 Total Weight: 131 0.09/0.18 c Elapsed CPU time: 0.175973 s Remaining CPU time: 1799.82 s 0.09/0.18 c Learning 5 hard constraints 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 | 1253 1465 4685 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #132 0.09/0.19 c Core size: 262 Core Weight: 1 Total Weight: 132 0.09/0.19 c Elapsed CPU time: 0.183972 s Remaining CPU time: 1799.82 s 0.09/0.19 c Learning 15 hard constraints 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1287 1481 4809 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #133 0.09/0.19 c Core size: 339 Core Weight: 1 Total Weight: 133 0.09/0.19 c Elapsed CPU time: 0.189971 s Remaining CPU time: 1799.81 s 0.09/0.19 c Learning 21 hard constraints 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1304 1503 4961 | 5000 0 nan | 0.000 % | 0.09/0.20 c =============================================================================== 0.09/0.20 c core #134 0.09/0.20 c Core size: 297 Core Weight: 1 Total Weight: 134 0.09/0.20 c Elapsed CPU time: 0.19397 s Remaining CPU time: 1799.81 s 0.19/0.20 c Learning 7 hard constraints 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 | 1251 1511 5043 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #135 0.19/0.20 c Core size: 220 Core Weight: 1 Total Weight: 135 0.19/0.20 c Elapsed CPU time: 0.19697 s Remaining CPU time: 1799.8 s 0.19/0.20 c Learning 8 hard constraints 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 | 1258 1520 5139 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #136 0.19/0.20 c Core size: 206 Core Weight: 1 Total Weight: 136 0.19/0.20 c Elapsed CPU time: 0.199969 s Remaining CPU time: 1799.8 s 0.19/0.21 c Learning 1 hard constraints 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 | 1243 1522 5147 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #137 0.19/0.21 c Core size: 287 Core Weight: 1 Total Weight: 137 0.19/0.21 c Elapsed CPU time: 0.202969 s Remaining CPU time: 1799.8 s 0.19/0.21 c Learning 6 hard constraints 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 | 1184 1529 5193 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #138 0.19/0.21 c Core size: 242 Core Weight: 1 Total Weight: 138 0.19/0.21 c Elapsed CPU time: 0.205968 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 | 1194 1530 5207 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #139 0.19/0.21 c Core size: 224 Core Weight: 1 Total Weight: 139 0.19/0.21 c Elapsed CPU time: 0.208968 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 | 1203 1531 5219 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #140 0.19/0.22 c Core size: 237 Core Weight: 1 Total Weight: 140 0.19/0.22 c Elapsed CPU time: 0.210967 s Remaining CPU time: 1799.79 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 | 1211 1532 5235 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #141 0.19/0.22 c Core size: 228 Core Weight: 1 Total Weight: 141 0.19/0.22 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 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 | 1224 1533 5261 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #142 0.19/0.22 c Core size: 293 Core Weight: 1 Total Weight: 142 0.19/0.22 c Elapsed CPU time: 0.217966 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 | 1244 1534 5301 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #143 0.19/0.23 c Core size: 354 Core Weight: 1 Total Weight: 143 0.19/0.23 c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 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 | 1284 1535 5381 | 5000 0 nan | 0.000 % | 0.19/0.24 c | 101 | 1284 1535 5381 | 5500 101 23 | 12.246 % | 0.19/0.24 c | 252 | 1265 1535 5381 | 6050 251 26 | 28.503 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #144 0.19/0.26 c Core size: 369 Core Weight: 1 Total Weight: 144 0.19/0.26 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 | 1330 1536 5473 | 5000 0 nan | 0.000 % | 0.19/0.27 c | 100 | 1330 1536 5473 | 5500 100 28 | 11.873 % | 0.19/0.28 c | 250 | 1092 1536 5473 | 6050 249 39 | 27.634 % | 0.19/0.29 c | 476 | 1091 1536 5473 | 6655 470 43 | 27.701 % | 0.29/0.32 c | 813 | 1090 1536 5473 | 7320 798 44 | 27.966 % | 0.29/0.37 c | 1319 | 1090 1536 5473 | 8052 1304 49 | 28.231 % | 0.39/0.41 c =============================================================================== 0.39/0.42 c core #145 0.39/0.42 c Core size: 445 Core Weight: 1 Total Weight: 145 0.39/0.42 c Elapsed CPU time: 0.415936 s Remaining CPU time: 1799.58 s 0.39/0.43 c ============================[ Search Statistics ]============================== 0.39/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 1389 1537 5591 | 5000 0 nan | 0.000 % | 0.39/0.43 c | 100 | 1369 1537 5591 | 5500 99 34 | 26.850 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c core #146 0.39/0.44 c Core size: 279 Core Weight: 1 Total Weight: 146 0.39/0.44 c Elapsed CPU time: 0.432934 s Remaining CPU time: 1799.57 s 0.39/0.44 c ============================[ Search Statistics ]============================== 0.39/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 1405 1538 5623 | 5000 0 nan | 0.000 % | 0.39/0.45 c | 100 | 1405 1538 5623 | 5500 100 35 | 11.310 % | 0.39/0.46 c | 252 | 1169 1538 5623 | 6050 251 37 | 26.200 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #147 0.39/0.47 c Core size: 292 Core Weight: 1 Total Weight: 147 0.39/0.47 c Elapsed CPU time: 0.461929 s Remaining CPU time: 1799.54 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 | 1412 1539 5637 | 5000 0 nan | 0.000 % | 0.39/0.48 c | 101 | 1412 1539 5637 | 5500 101 35 | 11.260 % | 0.39/0.49 c | 257 | 1176 1539 5637 | 6050 256 30 | 26.084 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c core #148 0.39/0.49 c Core size: 321 Core Weight: 1 Total Weight: 148 0.39/0.49 c Elapsed CPU time: 0.482926 s Remaining CPU time: 1799.52 s 0.39/0.49 c ============================[ Search Statistics ]============================== 0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.49 c =============================================================================== 0.39/0.49 c | 0 | 1429 1540 5671 | 5000 0 nan | 0.000 % | 0.49/0.50 c | 100 | 1429 1540 5671 | 5500 100 36 | 11.141 % | 0.49/0.51 c | 250 | 1406 1540 5671 | 6050 249 40 | 25.808 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c core #149 0.49/0.52 c Core size: 265 Core Weight: 1 Total Weight: 149 0.49/0.52 c Elapsed CPU time: 0.504923 s Remaining CPU time: 1799.5 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 | 1433 1541 5679 | 5000 0 nan | 0.000 % | 0.49/0.52 c | 100 | 1433 1541 5679 | 5500 100 38 | 11.113 % | 0.49/0.53 c | 252 | 1197 1541 5679 | 6050 251 39 | 25.744 % | 0.49/0.55 c | 477 | 1197 1541 5679 | 6655 476 42 | 25.744 % | 0.49/0.57 c | 814 | 1193 1541 5679 | 7320 812 45 | 25.993 % | 0.59/0.62 c | 1321 | 1192 1541 5679 | 8052 1319 50 | 26.055 % | 0.59/0.70 c | 2080 | 1174 1541 5679 | 8857 2074 54 | 27.171 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c core #150 0.69/0.71 c Core size: 351 Core Weight: 1 Total Weight: 150 0.69/0.71 c Elapsed CPU time: 0.695894 s Remaining CPU time: 1799.3 s 0.69/0.72 c ============================[ Search Statistics ]============================== 0.69/0.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.72 c =============================================================================== 0.69/0.72 c | 0 | 1473 1542 5759 | 5000 0 nan | 0.000 % | 0.69/0.72 c | 100 | 1473 1542 5759 | 5500 100 46 | 10.844 % | 0.69/0.73 c | 250 | 1237 1542 5759 | 6050 248 52 | 25.121 % | 0.69/0.75 c | 475 | 1237 1542 5759 | 6655 473 64 | 25.121 % | 0.69/0.77 c | 812 | 1237 1542 5759 | 7320 810 69 | 25.121 % | 0.79/0.85 c | 1318 | 1237 1542 5759 | 8052 1316 77 | 25.121 % | 0.89/0.99 c | 2080 | 1237 1542 5759 | 8857 2078 84 | 25.121 % | 1.19/1.21 c | 3220 | 1233 1542 5759 | 9743 3216 88 | 25.666 % | 1.59/1.60 c | 4928 | 1232 1542 5759 | 10717 4924 86 | 25.666 % | 2.29/2.32 c | 7490 | 1222 1542 5759 | 11789 7409 88 | 26.029 % | 3.59/3.61 c | 11334 | 1222 1542 5759 | 12968 11253 84 | 26.513 % | 6.79/6.80 c | 17100 | 1219 1542 5759 | 14265 10265 75 | 27.603 % | 10.38/10.48 c =============================================================================== 10.69/10.75 c core #151 10.69/10.75 c Core size: 461 Core Weight: 1 Total Weight: 151 10.69/10.75 c Elapsed CPU time: 10.6474 s Remaining CPU time: 1789.35 s 10.69/10.78 c ============================[ Search Statistics ]============================== 10.69/10.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.69/10.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.69/10.78 c =============================================================================== 10.69/10.78 c | 0 | 1533 1543 5879 | 5000 0 nan | 0.000 % | 10.69/10.79 c | 100 | 1533 1543 5879 | 5500 100 36 | 10.464 % | 10.69/10.80 c | 254 | 1297 1543 5879 | 6050 253 41 | 24.241 % | 10.79/10.81 c | 479 | 1297 1543 5879 | 6655 478 54 | 24.241 % | 10.79/10.86 c | 816 | 1292 1543 5879 | 7320 813 62 | 24.533 % | 10.89/10.94 c | 1323 | 1292 1543 5879 | 8052 1320 70 | 24.533 % | 11.08/11.10 c | 2082 | 1292 1543 5879 | 8857 2079 77 | 24.533 % | 11.39/11.41 c | 3222 | 1292 1543 5879 | 9743 3219 80 | 24.533 % | 12.19/12.21 c | 4930 | 1288 1543 5879 | 10717 4926 83 | 24.766 % | 12.49/12.58 c =============================================================================== 12.49/12.58 c core #152 12.49/12.58 c Core size: 224 Core Weight: 1 Total Weight: 152 12.49/12.58 c Elapsed CPU time: 12.4671 s Remaining CPU time: 1787.53 s 12.49/12.59 c ============================[ Search Statistics ]============================== 12.49/12.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.49/12.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.49/12.59 c =============================================================================== 12.49/12.59 c | 0 | 1540 1544 5893 | 5000 0 nan | 0.000 % | 12.59/12.60 c | 100 | 1540 1544 5893 | 5500 100 41 | 10.421 % | 12.59/12.61 c | 250 | 1515 1544 5893 | 6050 249 50 | 24.142 % | 12.59/12.62 c | 475 | 1304 1544 5893 | 6655 473 57 | 24.142 % | 12.59/12.63 c =============================================================================== 12.59/12.63 c core #153 12.59/12.63 c Core size: 239 Core Weight: 1 Total Weight: 153 12.59/12.63 c Elapsed CPU time: 12.5141 s Remaining CPU time: 1787.49 s 12.59/12.63 c ============================[ Search Statistics ]============================== 12.59/12.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.59/12.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.59/12.63 c =============================================================================== 12.59/12.63 c | 0 | 1554 1545 5921 | 5000 0 nan | 0.000 % | 12.59/12.64 c | 100 | 1554 1545 5921 | 5500 100 48 | 10.337 % | 12.59/12.65 c | 251 | 1318 1545 5921 | 6050 250 40 | 23.947 % | 12.59/12.66 c | 476 | 1318 1545 5921 | 6655 475 31 | 23.947 % | 12.59/12.67 c =============================================================================== 12.59/12.67 c core #154 12.59/12.67 c Core size: 312 Core Weight: 1 Total Weight: 154 12.59/12.67 c Elapsed CPU time: 12.5531 s Remaining CPU time: 1787.45 s 12.59/12.67 c ============================[ Search Statistics ]============================== 12.59/12.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.59/12.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.59/12.67 c =============================================================================== 12.59/12.67 c | 0 | 1576 1546 5965 | 5000 0 nan | 0.000 % | 12.59/12.68 c =============================================================================== 12.59/12.68 c core #155 12.59/12.68 c Core size: 258 Core Weight: 1 Total Weight: 155 12.59/12.68 c Elapsed CPU time: 12.5601 s Remaining CPU time: 1787.44 s 12.59/12.68 c ============================[ Search Statistics ]============================== 12.59/12.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.59/12.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.59/12.68 c =============================================================================== 12.59/12.68 c | 0 | 1592 1547 5997 | 5000 0 nan | 0.000 % | 12.59/12.68 c | 100 | 1592 1547 5997 | 5500 100 14 | 10.115 % | 12.59/12.69 c | 252 | 1526 1547 5997 | 6050 251 19 | 23.433 % | 12.69/12.70 c | 479 | 1521 1547 5997 | 6655 478 29 | 23.437 % | 12.69/12.70 c =============================================================================== 12.69/12.71 c core #156 12.69/12.71 c Core size: 381 Core Weight: 1 Total Weight: 156 12.69/12.71 c Elapsed CPU time: 12.5871 s Remaining CPU time: 1787.41 s 12.69/12.71 c ============================[ Search Statistics ]============================== 12.69/12.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.69/12.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.69/12.71 c =============================================================================== 12.69/12.71 c | 0 | 1628 1548 6069 | 5000 0 nan | 0.000 % | 12.69/12.72 c | 101 | 1628 1548 6069 | 5500 101 30 | 9.913 % | 12.69/12.72 c | 254 | 1392 1548 6069 | 6050 253 33 | 22.966 % | 12.69/12.74 c | 479 | 1392 1548 6069 | 6655 478 43 | 22.966 % | 12.69/12.77 c | 817 | 1392 1548 6069 | 7320 816 49 | 22.966 % | 12.79/12.81 c | 1323 | 1392 1548 6069 | 8052 1322 48 | 22.966 % | 12.79/12.89 c | 2082 | 1392 1548 6069 | 8857 2081 52 | 22.966 % | 13.09/13.12 c | 3223 | 1392 1548 6069 | 9743 3222 58 | 22.966 % | 13.49/13.56 c | 4933 | 1391 1548 6069 | 10717 4732 62 | 23.022 % | 14.19/14.20 c | 7503 | 1391 1548 6069 | 11789 7302 60 | 23.022 % | 15.59/15.61 c | 11349 | 1331 1548 6069 | 12968 3882 51 | 26.342 % | 15.79/15.83 c =============================================================================== 15.89/15.96 c core #157 15.89/15.96 c Core size: 369 Core Weight: 1 Total Weight: 157 15.89/15.96 c Elapsed CPU time: 15.8166 s Remaining CPU time: 1784.18 s 15.89/15.98 c ============================[ Search Statistics ]============================== 15.89/15.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.89/15.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.89/15.98 c =============================================================================== 15.89/15.98 c | 0 | 1671 1549 6155 | 5000 0 nan | 0.000 % | 15.89/15.99 c | 101 | 1671 1549 6155 | 5500 101 47 | 9.683 % | 15.89/16.00 c | 251 | 1435 1549 6155 | 6050 248 33 | 22.432 % | 15.98/16.01 c | 477 | 1435 1549 6155 | 6655 474 39 | 22.432 % | 15.98/16.04 c | 816 | 1435 1549 6155 | 7320 813 52 | 22.432 % | 15.98/16.08 c | 1322 | 1435 1549 6155 | 8052 1319 51 | 22.432 % | 16.09/16.16 c | 2086 | 1435 1549 6155 | 8857 2083 58 | 22.433 % | 16.29/16.36 c | 3225 | 1435 1549 6155 | 9743 3222 71 | 22.432 % | 16.79/16.81 c | 4933 | 1435 1549 6155 | 10717 4930 80 | 22.432 % | 17.49/17.54 c | 7499 | 1435 1549 6155 | 11789 7496 85 | 22.432 % | 19.49/19.50 c | 11347 | 1435 1549 6155 | 12968 11344 91 | 22.432 % | 22.99/23.06 c | 17116 | 1435 1549 6155 | 14265 10318 93 | 22.432 % | 27.89/28.00 c | 25766 | 1435 1549 6155 | 15692 11552 83 | 22.432 % | 33.38/33.49 c =============================================================================== 33.88/33.91 c core #158 33.88/33.91 c Core size: 398 Core Weight: 1 Total Weight: 158 33.88/33.91 c Elapsed CPU time: 33.6499 s Remaining CPU time: 1766.35 s 33.88/33.95 c ============================[ Search Statistics ]============================== 33.88/33.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.88/33.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.88/33.95 c =============================================================================== 33.88/33.95 c | 0 | 1713 1550 6239 | 5000 0 nan | 0.000 % | 33.88/33.96 c | 100 | 1713 1550 6239 | 5500 100 54 | 9.467 % | 33.88/33.97 c | 252 | 1692 1550 6239 | 6050 251 53 | 21.934 % | 33.88/33.99 c | 477 | 1477 1550 6239 | 6655 474 67 | 21.934 % | 33.99/34.01 c | 817 | 1477 1550 6239 | 7320 814 73 | 21.934 % | 33.99/34.08 c | 1328 | 1477 1550 6239 | 8052 1325 91 | 21.934 % | 34.18/34.25 c | 2087 | 1477 1550 6239 | 8857 2084 107 | 21.934 % | 34.48/34.54 c | 3226 | 1477 1550 6239 | 9743 3223 112 | 21.934 % | 35.08/35.20 c | 4935 | 1477 1550 6239 | 10717 4932 123 | 21.934 % | 36.78/36.85 c | 7504 | 1477 1550 6239 | 11789 7501 134 | 21.934 % | 40.28/40.38 c | 11349 | 1477 1550 6239 | 12968 11346 137 | 21.934 % | 44.08/44.14 c | 17118 | 1477 1550 6239 | 14265 10313 141 | 21.934 % | 51.58/51.70 c | 25770 | 1477 1550 6239 | 15692 11533 143 | 21.934 % | 64.68/64.76 c | 38744 | 1477 1550 6239 | 17261 8221 145 | 21.934 % | 97.87/97.95 c | 58206 | 1477 1550 6239 | 18987 9860 157 | 21.934 % | 144.85/144.93 c | 87398 | 1477 1550 6239 | 20886 19464 161 | 21.934 % | 184.25/184.32 c | 131194 | 1477 1550 6239 | 22974 20293 126 | 21.934 % | 235.63/235.79 c | 196880 | 1477 1550 6239 | 25272 15240 99 | 21.934 % | 313.71/313.85 c | 295410 | 1477 1550 6239 | 27799 21992 105 | 21.934 % | 341.00/341.17 c =============================================================================== 341.92/342.00 c core #159 341.92/342.00 c Core size: 386 Core Weight: 1 Total Weight: 159 341.92/342.00 c Elapsed CPU time: 340.524 s Remaining CPU time: 1459.48 s 342.21/342.34 c ============================[ Search Statistics ]============================== 342.21/342.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 342.21/342.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 342.21/342.34 c =============================================================================== 342.21/342.34 c | 0 | 1752 1551 6317 | 5000 0 nan | 0.000 % | 342.21/342.38 c | 101 | 1752 1551 6317 | 5500 101 26 | 9.276 % | 342.31/342.40 c | 252 | 1516 1551 6317 | 6050 251 42 | 21.491 % | 342.31/342.42 c | 477 | 1516 1551 6317 | 6655 476 39 | 21.491 % | 342.31/342.44 c | 814 | 1516 1551 6317 | 7320 813 43 | 21.491 % | 342.31/342.48 c | 1320 | 1516 1551 6317 | 8052 1319 47 | 21.491 % | 342.41/342.56 c | 2080 | 1516 1551 6317 | 8857 2079 54 | 21.491 % | 342.61/342.73 c | 3219 | 1516 1551 6317 | 9743 3218 58 | 21.491 % | 343.01/343.11 c | 4928 | 1516 1551 6317 | 10717 4927 65 | 21.491 % | 344.01/344.18 c | 7490 | 1516 1551 6317 | 11789 7489 69 | 21.491 % | 346.31/346.41 c | 11334 | 1516 1551 6317 | 12968 11333 73 | 21.491 % | 348.20/348.32 c =============================================================================== 348.40/348.53 c core #160 348.40/348.53 c Core size: 361 Core Weight: 1 Total Weight: 160 348.40/348.53 c Elapsed CPU time: 347.013 s Remaining CPU time: 1452.99 s 348.40/348.56 c ============================[ Search Statistics ]============================== 348.40/348.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 348.40/348.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 348.40/348.56 c =============================================================================== 348.40/348.56 c | 0 | 1794 1552 6401 | 5000 0 nan | 0.000 % | 348.40/348.58 c | 102 | 1794 1552 6401 | 5500 102 31 | 9.079 % | 348.40/348.59 c | 252 | 1705 1552 6401 | 6050 251 29 | 21.034 % | 348.51/348.60 c | 478 | 1558 1552 6401 | 6655 476 29 | 21.034 % | 348.51/348.62 c | 816 | 1558 1552 6401 | 7320 814 29 | 21.036 % | 348.51/348.66 c | 1322 | 1551 1552 6401 | 8052 731 28 | 21.389 % | 348.51/348.68 c =============================================================================== 348.51/348.69 c core #161 348.51/348.69 c Core size: 284 Core Weight: 1 Total Weight: 161 348.51/348.69 c Elapsed CPU time: 347.157 s Remaining CPU time: 1452.84 s 348.51/348.69 c ============================[ Search Statistics ]============================== 348.51/348.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 348.51/348.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 348.51/348.69 c =============================================================================== 348.51/348.69 c | 0 | 1810 1553 6433 | 5000 0 nan | 0.000 % | 348.51/348.70 c | 101 | 1810 1553 6433 | 5500 101 28 | 9.005 % | 348.61/348.71 c | 252 | 1779 1553 6433 | 6050 251 53 | 20.865 % | 348.61/348.72 c | 478 | 1574 1553 6433 | 6655 476 50 | 20.865 % | 348.61/348.75 c | 815 | 1574 1553 6433 | 7320 813 53 | 20.865 % | 348.71/348.80 c | 1322 | 1574 1553 6433 | 8052 1320 65 | 20.865 % | 348.71/348.88 c | 2081 | 1574 1553 6433 | 8857 2079 75 | 20.865 % | 348.91/349.08 c | 3221 | 1574 1553 6433 | 9743 3219 84 | 20.865 % | 349.30/349.42 c | 4930 | 1574 1553 6433 | 10717 4928 90 | 20.865 % | 350.00/350.16 c | 7498 | 1574 1553 6433 | 11789 7496 96 | 20.865 % | 351.91/352.01 c | 11347 | 1574 1553 6433 | 12968 11345 99 | 20.865 % | 354.01/354.16 c | 17113 | 1574 1553 6433 | 14265 10378 99 | 20.865 % | 358.01/358.13 c | 25762 | 1574 1553 6433 | 15692 11627 77 | 20.865 % | 364.20/364.36 c | 38739 | 1574 1553 6433 | 17261 8359 80 | 20.865 % | 375.40/375.52 c | 58204 | 1574 1553 6433 | 18987 10022 82 | 20.865 % | 389.39/389.52 c | 87396 | 1574 1553 6433 | 20886 9868 84 | 20.865 % | 405.19/405.33 c =============================================================================== 408.29/408.43 c core #162 408.29/408.43 c Core size: 380 Core Weight: 1 Total Weight: 162 408.29/408.43 c Elapsed CPU time: 406.587 s Remaining CPU time: 1393.41 s 408.39/408.59 c ============================[ Search Statistics ]============================== 408.39/408.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 408.39/408.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 408.39/408.59 c =============================================================================== 408.39/408.59 c | 0 | 1846 1554 6505 | 5000 0 nan | 0.000 % | 408.49/408.62 c | 100 | 1846 1554 6505 | 5500 100 28 | 8.845 % | 408.49/408.64 c | 251 | 1610 1554 6505 | 6050 250 33 | 20.494 % | 408.49/408.65 c | 477 | 1610 1554 6505 | 6655 476 36 | 20.494 % | 408.49/408.69 c | 821 | 1610 1554 6505 | 7320 820 47 | 20.494 % | 408.59/408.73 c | 1327 | 1610 1554 6505 | 8052 1326 53 | 20.494 % | 408.69/408.81 c | 2088 | 1610 1554 6505 | 8857 2087 51 | 20.494 % | 408.79/408.99 c | 3228 | 1610 1554 6505 | 9743 3227 54 | 20.494 % | 409.19/409.35 c | 4941 | 1610 1554 6505 | 10717 4940 55 | 20.494 % | 409.79/409.95 c | 7503 | 1610 1554 6505 | 11789 7502 57 | 20.494 % | 411.19/411.35 c | 11349 | 1610 1554 6505 | 12968 11348 60 | 20.494 % | 413.19/413.34 c =============================================================================== 413.40/413.58 c core #163 413.40/413.58 c Core size: 311 Core Weight: 1 Total Weight: 163 413.40/413.58 c Elapsed CPU time: 411.695 s Remaining CPU time: 1388.3 s 413.50/413.61 c ============================[ Search Statistics ]============================== 413.50/413.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 413.50/413.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 413.50/413.61 c =============================================================================== 413.50/413.61 c | 0 | 1879 1555 6571 | 5000 0 nan | 0.000 % | 413.50/413.63 c | 101 | 1879 1555 6571 | 5500 101 63 | 8.703 % | 413.50/413.64 c | 253 | 1643 1555 6571 | 6050 252 60 | 20.165 % | 413.50/413.66 c | 479 | 1643 1555 6571 | 6655 478 70 | 20.165 % | 413.59/413.70 c | 816 | 1643 1555 6571 | 7320 815 102 | 20.165 % | 413.69/413.80 c | 1322 | 1643 1555 6571 | 8052 1321 131 | 20.165 % | 413.79/413.94 c | 2082 | 1643 1555 6571 | 8857 2081 132 | 20.165 % | 413.99/414.12 c | 3224 | 1643 1555 6571 | 9743 3223 126 | 20.165 % | 414.59/414.72 c | 4932 | 1643 1555 6571 | 10717 4931 134 | 20.165 % | 415.69/415.89 c | 7494 | 1643 1555 6571 | 11789 7493 142 | 20.165 % | 417.89/418.05 c | 11340 | 1643 1555 6571 | 12968 11339 150 | 20.165 % | 421.49/421.61 c | 17108 | 1643 1555 6571 | 14265 10335 158 | 20.165 % | 426.78/426.90 c | 25760 | 1643 1555 6571 | 15692 11530 149 | 20.165 % | 435.09/435.22 c | 38736 | 1643 1555 6571 | 17261 16324 155 | 20.165 % | 456.47/456.68 c | 58200 | 1643 1555 6571 | 18987 17846 162 | 20.165 % | 489.78/489.93 c | 87393 | 1643 1555 6571 | 20886 17609 154 | 20.165 % | 538.46/538.64 c | 131183 | 1643 1555 6571 | 22974 18403 156 | 20.165 % | 595.04/595.23 c | 196870 | 1643 1555 6571 | 25272 13323 178 | 20.165 % | 719.41/719.61 c | 295399 | 1643 1555 6571 | 27799 17464 186 | 20.165 % | 989.75/990.04 c | 443191 | 1643 1555 6571 | 30579 25952 199 | 20.165 % | 1430.75/1431.14 c | 664874 | 1643 1555 6571 | 33637 20333 202 | 20.165 % |
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-1876176-1245151467/watcher-1876176-1245151467 -o /tmp/evaluation-result-1876176-1245151467/solver-1876176-1245151467 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876176-1245151467.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 2381 /proc/meminfo: memFree=1934688/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=2564 CPUtime=0 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 202 0 0 0 0 0 0 0 18 0 1 0 182746918 2625536 186 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 641 186 128 292 0 339 0 [startup+0.0715229 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2381 /proc/meminfo: memFree=1934688/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=2764 CPUtime=0.06 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 283 0 0 0 6 0 0 0 18 0 1 0 182746918 2830336 260 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 691 260 133 292 0 396 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2764 [startup+0.101526 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2381 /proc/meminfo: memFree=1934688/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=2764 CPUtime=0.09 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 286 0 0 0 9 0 0 0 18 0 1 0 182746918 2830336 263 1992294400 134512640 135709839 4294956240 18446744073709551615 134570838 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 691 263 133 292 0 396 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2764 [startup+0.301543 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2381 /proc/meminfo: memFree=1934688/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=3748 CPUtime=0.29 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 508 0 0 0 29 0 0 0 19 0 1 0 182746918 3837952 485 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 937 485 136 292 0 642 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3748 [startup+0.701579 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2381 /proc/meminfo: memFree=1934688/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=4424 CPUtime=0.69 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 696 0 0 0 67 2 0 0 22 0 1 0 182746918 4530176 673 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 1106 673 136 292 0 811 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4424 [startup+1.50165 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1932056/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=6032 CPUtime=1.49 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 1095 0 0 0 146 3 0 0 25 0 1 0 182746918 6176768 1072 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 1508 1072 136 292 0 1213 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6032 [startup+3.10179 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1929368/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=9076 CPUtime=3.09 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 1870 0 0 0 304 5 0 0 25 0 1 0 182746918 9293824 1847 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 2269 1847 136 292 0 1974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9076 [startup+6.30107 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1925352/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=12388 CPUtime=6.29 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 2667 0 0 0 621 8 0 0 25 0 1 0 182746918 12685312 2644 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 3097 2644 136 292 0 2802 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12388 [startup+12.7026 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1918952/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=17556 CPUtime=12.69 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 3981 0 0 0 1258 11 0 0 25 0 1 0 182746918 17977344 3958 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 4389 3958 136 292 0 4094 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17556 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1911272/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=25424 CPUtime=25.48 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 5949 0 0 0 2529 19 0 0 25 0 1 0 182746918 26034176 5926 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 6356 5926 136 292 0 6061 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25424 [startup+51.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1890280/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=46496 CPUtime=51.08 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 11217 0 0 0 5076 32 0 0 25 0 1 0 182746918 47611904 11194 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 11624 11194 136 292 0 11329 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 46496 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1861800/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=74764 CPUtime=102.27 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 18254 0 0 0 10182 45 0 0 25 0 1 0 182746918 76558336 18231 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 18691 18231 136 292 0 18396 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 74764 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1827496/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=109384 CPUtime=162.25 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 26895 0 0 0 16163 62 0 0 25 0 1 0 182746918 112009216 26872 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 27346 26872 136 292 0 27051 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 109384 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1776680/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=159976 CPUtime=222.23 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 39513 0 0 0 22139 84 0 0 25 0 1 0 182746918 163815424 39490 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 39994 39490 136 292 0 39699 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 159976 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1730472/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=206348 CPUtime=282.22 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 51089 0 0 0 28112 110 0 0 25 0 1 0 182746918 211300352 51066 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 51587 51066 136 292 0 51292 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 206348 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1676264/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=260452 CPUtime=342.21 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 64557 0 0 0 34081 140 0 0 25 0 1 0 182746918 266702848 64534 1992294400 134512640 135709839 4294956240 18446744073709551615 135162145 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 65113 64534 136 292 0 64818 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 260452 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1653672/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=282832 CPUtime=402.2 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 70299 0 0 0 40047 173 0 0 25 0 1 0 182746918 289619968 70248 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 70708 70248 136 292 0 70413 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 282832 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1617960/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=318040 CPUtime=462.18 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 79093 0 0 0 46019 199 0 0 25 0 1 0 182746918 325672960 79042 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 79510 79042 136 292 0 79215 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 318040 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1579368/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=356816 CPUtime=522.17 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 88793 0 0 0 51999 218 0 0 25 0 1 0 182746918 365379584 88742 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 89204 88742 136 292 0 88909 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 356816 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1536232/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=399536 CPUtime=582.15 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 99437 0 0 0 57974 241 0 0 25 0 1 0 182746918 409124864 99386 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 99884 99386 136 292 0 99589 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 399536 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1494760/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=440708 CPUtime=642.14 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 109723 0 0 0 63952 262 0 0 25 0 1 0 182746918 451284992 109672 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 110177 109672 136 292 0 109882 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 440708 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1350952/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=584420 CPUtime=882.07 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 145597 0 0 0 87875 332 0 0 25 0 1 0 182746918 598446080 145546 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 146105 145546 136 292 0 145810 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 584420 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1322920/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=612640 CPUtime=942.06 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 152652 0 0 0 93860 346 0 0 25 0 1 0 182746918 627343360 152601 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 153160 152601 136 292 0 152865 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 612640 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1297192/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=637920 CPUtime=1002.04 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 158986 0 0 0 99847 357 0 0 25 0 1 0 182746918 653230080 158935 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 159480 158935 136 292 0 159185 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 637920 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1273192/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=662548 CPUtime=1062.03 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 165122 0 0 0 105833 370 0 0 25 0 1 0 182746918 678449152 165071 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 165637 165071 136 292 0 165342 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 662548 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1245160/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=690048 CPUtime=1122.02 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 171980 0 0 0 111819 383 0 0 25 0 1 0 182746918 706609152 171929 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 172512 171929 136 292 0 172217 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 690048 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1213224/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=722488 CPUtime=1182 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 180076 0 0 0 117803 397 0 0 25 0 1 0 182746918 739827712 180025 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 180622 180025 136 292 0 180327 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 722488 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1179752/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=755212 CPUtime=1241.99 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 188256 0 0 0 123789 410 0 0 25 0 1 0 182746918 773337088 188205 1992294400 134512640 135709839 4294956240 18446744073709551615 134574230 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 188803 188205 136 292 0 188508 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 755212 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1149800/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=785088 CPUtime=1301.98 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 195695 0 0 0 129773 425 0 0 25 0 1 0 182746918 803930112 195644 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 196272 195644 136 292 0 195977 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 785088 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1121128/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=813904 CPUtime=1361.96 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 202916 0 0 0 135759 437 0 0 25 0 1 0 182746918 833437696 202865 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 203476 202865 136 292 0 203181 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 813904 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1092328/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=842488 CPUtime=1421.94 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 210033 0 0 0 141746 448 0 0 25 0 1 0 182746918 862707712 209982 1992294400 134512640 135709839 4294956240 18446744073709551615 134573829 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 210622 209982 136 292 0 210327 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 842488 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1060584/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=874364 CPUtime=1481.92 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 218013 0 0 0 147733 459 0 0 25 0 1 0 182746918 895348736 217962 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 218591 217962 136 292 0 218296 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 874364 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1035048/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=899572 CPUtime=1541.91 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 224293 0 0 0 153720 471 0 0 25 0 1 0 182746918 921161728 224242 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 224893 224242 136 292 0 224598 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 899572 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2382 /proc/meminfo: memFree=1011880/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=923092 CPUtime=1601.9 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 230136 0 0 0 159707 483 0 0 25 0 1 0 182746918 945246208 230085 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 230773 230085 136 292 0 230478 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 923092 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=980904/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=953780 CPUtime=1661.88 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 237789 0 0 0 165688 500 0 0 25 0 1 0 182746918 976670720 237738 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 238445 237738 136 292 0 238150 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 953780 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=959528/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=975376 CPUtime=1721.87 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 243160 0 0 0 171673 514 0 0 25 0 1 0 182746918 998785024 243109 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 243844 243109 136 292 0 243549 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 975376 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=935080/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=999672 CPUtime=1781.85 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 249237 0 0 0 177658 527 0 0 25 0 1 0 182746918 1023664128 249186 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 249918 249186 136 292 0 249623 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 999672 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=922920/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=1011752 CPUtime=1800.05 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4194304 252235 0 0 0 179471 534 0 0 25 0 1 0 182746918 1036034048 252184 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 252938 252184 136 292 0 252643 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1011752 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2385 /proc/meminfo: memFree=1573876/2055920 swapFree=4181652/4192956 [pid=2381] ppid=2379 vsize=0 CPUtime=1800.16 /proc/2381/stat : 2381 (wbo) R 2379 2381 2069 0 -1 4195332 252235 0 0 0 179471 545 0 0 25 0 1 0 182746918 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/2381/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.66 CPU time (s): 1800.22 CPU user time (s): 1794.71 CPU system time (s): 5.50316 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 1011752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.71 system time used= 5.50316 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 252235 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= 1904 runsolver used 1.38779 second user time and 3.89941 second system time The end
Begin job on node18 at 2009-06-16 13:24:27 IDJOB=1876176 IDBENCH=2080 IDSOLVER=698 FILE ID=node18/1876176-1245151467 PBS_JOBID= 9363736 Free space on /tmp= 66172 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.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-1876176-1245151467/watcher-1876176-1245151467 -o /tmp/evaluation-result-1876176-1245151467/solver-1876176-1245151467 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876176-1245151467.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 97853fc7b2835e8ba939012dd0f8e215 RANDOM SEED=2125700847 node18.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.236 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.236 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: 1935040 kB Buffers: 19448 kB Cached: 57156 kB SwapCached: 5540 kB Active: 45988 kB Inactive: 38540 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1935040 kB SwapTotal: 4192956 kB SwapFree: 4181652 kB Dirty: 2400 kB Writeback: 0 kB Mapped: 12940 kB Slab: 22404 kB Committed_AS: 144240 kB PageTables: 1376 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-1876176-1245151467.opb Free space on /tmp at the end= 66172 MiB End job on node18 at 2009-06-16 13:54:30