| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (TO) | 1800.25 | 1800.7 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-3-c.opb |
| MD5SUM | 995cbcff162892786ed2539630dc8f6e |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 334 |
| Best CPU time to get the best result obtained on this benchmark | 0.880865 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 334 |
| Optimality of the best value was proved | YES |
| Number of variables | 668 |
| Total number of constraints | 1666 |
| Number of constraints which are clauses | 1666 |
| 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 | 668 |
| 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 | 668 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 668 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-1876194-1245154044.opb. 0.00/0.00 c Instance file HOME/instance-1876194-1245154044.opb 0.00/0.00 c File size is 53118 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.01 s | 0.00/0.00 c | Number Variables: 668 | 0.00/0.00 c | Number Clauses: 2334 | 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: 3 Core Weight: 1 Total Weight: 1 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #2 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 2 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #3 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 3 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #4 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 4 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #5 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 5 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #6 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 6 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #7 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 7 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 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.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #9 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 9 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #10 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 10 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #11 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 11 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #12 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 12 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #13 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 13 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #14 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 14 0.00/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #15 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 15 0.00/0.02 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #16 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 16 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #17 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 17 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #18 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 18 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #19 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 19 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.03/0.03 c core #20 0.03/0.03 c Core size: 4 Core Weight: 1 Total Weight: 20 0.03/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.03/0.03 c core #21 0.03/0.03 c Core size: 3 Core Weight: 1 Total Weight: 21 0.03/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #22 0.03/0.04 c Core size: 3 Core Weight: 1 Total Weight: 22 0.03/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #23 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 23 0.03/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #24 0.03/0.04 c Core size: 3 Core Weight: 1 Total Weight: 24 0.03/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #25 0.03/0.04 c Core size: 3 Core Weight: 1 Total Weight: 25 0.03/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #26 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 26 0.03/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.03/0.04 c core #27 0.03/0.04 c Core size: 3 Core Weight: 1 Total Weight: 27 0.03/0.04 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.03/0.04 c core #28 0.03/0.04 c Core size: 3 Core Weight: 1 Total Weight: 28 0.03/0.04 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #29 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 29 0.03/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #30 0.03/0.05 c Core size: 3 Core Weight: 1 Total Weight: 30 0.03/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #31 0.03/0.05 c Core size: 3 Core Weight: 1 Total Weight: 31 0.03/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #32 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 32 0.03/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #33 0.03/0.05 c Core size: 3 Core Weight: 1 Total Weight: 33 0.03/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.03/0.05 c core #34 0.03/0.05 c Core size: 3 Core Weight: 1 Total Weight: 34 0.03/0.05 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #35 0.03/0.06 c Core size: 4 Core Weight: 1 Total Weight: 35 0.03/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #36 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 36 0.03/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #37 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 37 0.03/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #38 0.03/0.06 c Core size: 4 Core Weight: 1 Total Weight: 38 0.03/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #39 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 39 0.03/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.03/0.06 c core #40 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 40 0.03/0.06 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.03/0.07 c core #41 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 41 0.03/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.03/0.07 c core #42 0.03/0.07 c Core size: 3 Core Weight: 1 Total Weight: 42 0.03/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.03/0.07 c core #43 0.03/0.07 c Core size: 3 Core Weight: 1 Total Weight: 43 0.03/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.03/0.07 c core #44 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 44 0.03/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.03/0.07 c core #45 0.03/0.07 c Core size: 3 Core Weight: 1 Total Weight: 45 0.03/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.03/0.07 c core #46 0.03/0.07 c Core size: 3 Core Weight: 1 Total Weight: 46 0.03/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.03/0.08 c core #47 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 47 0.03/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.03/0.08 c core #48 0.03/0.08 c Core size: 3 Core Weight: 1 Total Weight: 48 0.03/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.03/0.08 c core #49 0.03/0.08 c Core size: 3 Core Weight: 1 Total Weight: 49 0.03/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.03/0.08 c core #50 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 50 0.03/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.03/0.08 c core #51 0.03/0.08 c Core size: 3 Core Weight: 1 Total Weight: 51 0.03/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.03/0.08 c core #52 0.03/0.08 c Core size: 3 Core Weight: 1 Total Weight: 52 0.03/0.08 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.03/0.08 c core #53 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 53 0.03/0.08 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.03/0.09 c core #54 0.03/0.09 c Core size: 3 Core Weight: 1 Total Weight: 54 0.03/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.03/0.09 c core #55 0.03/0.09 c Core size: 3 Core Weight: 1 Total Weight: 55 0.03/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.03/0.09 c core #56 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: 56 0.03/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.03/0.09 c core #57 0.03/0.09 c Core size: 3 Core Weight: 1 Total Weight: 57 0.03/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.03/0.09 c core #58 0.03/0.09 c Core size: 3 Core Weight: 1 Total Weight: 58 0.03/0.09 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.03/0.10 c core #59 0.03/0.10 c Core size: 4 Core Weight: 1 Total Weight: 59 0.03/0.10 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.03/0.10 c core #60 0.03/0.10 c Core size: 3 Core Weight: 1 Total Weight: 60 0.03/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #61 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 61 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #62 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: 62 0.09/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #63 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 63 0.09/0.10 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #64 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 64 0.09/0.10 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #65 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 65 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #66 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 66 0.09/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #67 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 67 0.09/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #68 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 68 0.09/0.11 c Elapsed CPU time: 0.113982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #69 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 69 0.09/0.11 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #70 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 70 0.09/0.11 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #71 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 71 0.09/0.12 c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #72 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 72 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #73 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 73 0.09/0.12 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #74 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 74 0.09/0.12 c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #75 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 75 0.09/0.12 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 s 0.09/0.12 c core #76 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 76 0.09/0.12 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #77 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 77 0.09/0.13 c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #78 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 78 0.09/0.13 c Elapsed CPU time: 0.13098 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #79 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 79 0.09/0.13 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #80 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 80 0.09/0.13 c Elapsed CPU time: 0.134979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #81 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 81 0.09/0.13 c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #82 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 82 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #83 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 83 0.09/0.14 c Elapsed CPU time: 0.139978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #84 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 84 0.09/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #85 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 85 0.09/0.14 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #86 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 86 0.09/0.14 c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s 0.09/0.14 c core #87 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 87 0.09/0.14 c Elapsed CPU time: 0.147977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #88 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 88 0.09/0.15 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #89 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: 89 0.09/0.15 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #90 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 90 0.09/0.15 c Elapsed CPU time: 0.152976 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #91 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: 91 0.09/0.15 c Elapsed CPU time: 0.154976 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #92 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: 92 0.09/0.15 c Elapsed CPU time: 0.156976 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #93 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: 93 0.09/0.16 c Elapsed CPU time: 0.157975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #94 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: 94 0.09/0.16 c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #95 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: 95 0.09/0.16 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #96 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: 96 0.09/0.16 c Elapsed CPU time: 0.163975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #97 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: 97 0.09/0.16 c Elapsed CPU time: 0.165974 s Remaining CPU time: 1799.83 s 0.09/0.16 c core #98 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: 98 0.09/0.16 c Elapsed CPU time: 0.167974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #99 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 99 0.09/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #100 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 100 0.09/0.17 c Elapsed CPU time: 0.170974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #101 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 101 0.09/0.17 c Elapsed CPU time: 0.172973 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #102 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 102 0.09/0.17 c Elapsed CPU time: 0.174973 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #103 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 103 0.09/0.17 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #104 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 104 0.09/0.18 c Elapsed CPU time: 0.178972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #105 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 105 0.09/0.18 c Elapsed CPU time: 0.180972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #106 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 106 0.09/0.18 c Elapsed CPU time: 0.182972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #107 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 107 0.09/0.18 c Elapsed CPU time: 0.184971 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #108 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 108 0.09/0.18 c Elapsed CPU time: 0.185971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #109 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 109 0.09/0.19 c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #110 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 110 0.09/0.19 c Elapsed CPU time: 0.189971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #111 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 111 0.09/0.19 c Elapsed CPU time: 0.19197 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #112 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 112 0.09/0.19 c Elapsed CPU time: 0.19397 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #113 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 113 0.09/0.19 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.09/0.19 c core #114 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 114 0.09/0.19 c Elapsed CPU time: 0.197969 s Remaining CPU time: 1799.8 s 0.09/0.20 c core #115 0.09/0.20 c Core size: 4 Core Weight: 1 Total Weight: 115 0.09/0.20 c Elapsed CPU time: 0.199969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #116 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 116 0.19/0.20 c Elapsed CPU time: 0.201969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #117 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 117 0.19/0.20 c Elapsed CPU time: 0.203968 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #118 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 118 0.19/0.20 c Elapsed CPU time: 0.205968 s Remaining CPU time: 1799.79 s 0.19/0.20 c core #119 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 119 0.19/0.20 c Elapsed CPU time: 0.207968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #120 0.19/0.21 c Core size: 6 Core Weight: 1 Total Weight: 120 0.19/0.21 c Elapsed CPU time: 0.209968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #121 0.19/0.21 c Core size: 6 Core Weight: 1 Total Weight: 121 0.19/0.21 c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #122 0.19/0.21 c Core size: 6 Core Weight: 1 Total Weight: 122 0.19/0.21 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #123 0.19/0.21 c Core size: 6 Core Weight: 1 Total Weight: 123 0.19/0.21 c Elapsed CPU time: 0.216967 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #124 0.19/0.22 c Core size: 6 Core Weight: 1 Total Weight: 124 0.19/0.22 c Elapsed CPU time: 0.218966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #125 0.19/0.22 c Core size: 6 Core Weight: 1 Total Weight: 125 0.19/0.22 c Elapsed CPU time: 0.220966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #126 0.19/0.22 c Core size: 6 Core Weight: 1 Total Weight: 126 0.19/0.22 c Elapsed CPU time: 0.222966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #127 0.19/0.22 c Core size: 6 Core Weight: 1 Total Weight: 127 0.19/0.22 c Elapsed CPU time: 0.224965 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #128 0.19/0.22 c Core size: 6 Core Weight: 1 Total Weight: 128 0.19/0.22 c Elapsed CPU time: 0.226965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #129 0.19/0.23 c Core size: 6 Core Weight: 1 Total Weight: 129 0.19/0.23 c Elapsed CPU time: 0.228965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #130 0.19/0.23 c Core size: 6 Core Weight: 1 Total Weight: 130 0.19/0.23 c Elapsed CPU time: 0.230964 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #131 0.19/0.23 c Core size: 6 Core Weight: 1 Total Weight: 131 0.19/0.23 c Elapsed CPU time: 0.232964 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #132 0.19/0.23 c Core size: 6 Core Weight: 1 Total Weight: 132 0.19/0.23 c Elapsed CPU time: 0.235964 s Remaining CPU time: 1799.76 s 0.19/0.23 c core #133 0.19/0.23 c Core size: 7 Core Weight: 1 Total Weight: 133 0.19/0.23 c Elapsed CPU time: 0.237963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #134 0.19/0.24 c Core size: 7 Core Weight: 1 Total Weight: 134 0.19/0.24 c Elapsed CPU time: 0.239963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #135 0.19/0.24 c Core size: 7 Core Weight: 1 Total Weight: 135 0.19/0.24 c Elapsed CPU time: 0.241963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #136 0.19/0.24 c Core size: 7 Core Weight: 1 Total Weight: 136 0.19/0.24 c Elapsed CPU time: 0.243962 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #137 0.19/0.24 c Core size: 7 Core Weight: 1 Total Weight: 137 0.19/0.24 c Elapsed CPU time: 0.245962 s Remaining CPU time: 1799.75 s 0.19/0.24 c core #138 0.19/0.24 c Core size: 7 Core Weight: 1 Total Weight: 138 0.19/0.24 c Elapsed CPU time: 0.247962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #139 0.19/0.25 c Core size: 7 Core Weight: 1 Total Weight: 139 0.19/0.25 c Elapsed CPU time: 0.249962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #140 0.19/0.25 c Core size: 7 Core Weight: 1 Total Weight: 140 0.19/0.25 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #141 0.19/0.25 c Core size: 7 Core Weight: 1 Total Weight: 141 0.19/0.25 c Elapsed CPU time: 0.254961 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #142 0.19/0.25 c Core size: 7 Core Weight: 1 Total Weight: 142 0.19/0.25 c Elapsed CPU time: 0.25696 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #143 0.19/0.26 c Core size: 7 Core Weight: 1 Total Weight: 143 0.19/0.26 c Elapsed CPU time: 0.25896 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #144 0.19/0.26 c Core size: 7 Core Weight: 1 Total Weight: 144 0.19/0.26 c Elapsed CPU time: 0.26096 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #145 0.19/0.26 c Core size: 7 Core Weight: 1 Total Weight: 145 0.19/0.26 c Elapsed CPU time: 0.26296 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #146 0.19/0.26 c Core size: 7 Core Weight: 1 Total Weight: 146 0.19/0.26 c Elapsed CPU time: 0.265959 s Remaining CPU time: 1799.73 s 0.19/0.26 c core #147 0.19/0.26 c Core size: 7 Core Weight: 1 Total Weight: 147 0.19/0.26 c Elapsed CPU time: 0.267959 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #148 0.19/0.27 c Core size: 7 Core Weight: 1 Total Weight: 148 0.19/0.27 c Elapsed CPU time: 0.269958 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #149 0.19/0.27 c Core size: 7 Core Weight: 1 Total Weight: 149 0.19/0.27 c Elapsed CPU time: 0.271958 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #150 0.19/0.27 c Core size: 7 Core Weight: 1 Total Weight: 150 0.19/0.27 c Elapsed CPU time: 0.273958 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #151 0.19/0.27 c Core size: 6 Core Weight: 1 Total Weight: 151 0.19/0.27 c Elapsed CPU time: 0.276957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #152 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 152 0.19/0.28 c Elapsed CPU time: 0.278957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #153 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 153 0.19/0.28 c Elapsed CPU time: 0.280957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #154 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 154 0.19/0.28 c Elapsed CPU time: 0.282956 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #155 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 155 0.19/0.28 c Elapsed CPU time: 0.285956 s Remaining CPU time: 1799.71 s 0.19/0.28 c core #156 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 156 0.19/0.28 c Elapsed CPU time: 0.287956 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #157 0.19/0.29 c Core size: 6 Core Weight: 1 Total Weight: 157 0.19/0.29 c Elapsed CPU time: 0.289955 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #158 0.19/0.29 c Core size: 6 Core Weight: 1 Total Weight: 158 0.19/0.29 c Elapsed CPU time: 0.291955 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #159 0.19/0.29 c Core size: 6 Core Weight: 1 Total Weight: 159 0.19/0.29 c Elapsed CPU time: 0.294955 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #160 0.19/0.29 c Core size: 6 Core Weight: 1 Total Weight: 160 0.19/0.29 c Elapsed CPU time: 0.296954 s Remaining CPU time: 1799.7 s 0.19/0.30 c core #161 0.19/0.30 c Core size: 6 Core Weight: 1 Total Weight: 161 0.19/0.30 c Elapsed CPU time: 0.298954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #162 0.29/0.30 c Core size: 6 Core Weight: 1 Total Weight: 162 0.29/0.30 c Elapsed CPU time: 0.300954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #163 0.29/0.30 c Core size: 6 Core Weight: 1 Total Weight: 163 0.29/0.30 c Elapsed CPU time: 0.303953 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #164 0.29/0.30 c Core size: 6 Core Weight: 1 Total Weight: 164 0.29/0.30 c Elapsed CPU time: 0.305953 s Remaining CPU time: 1799.69 s 0.29/0.30 c core #165 0.29/0.30 c Core size: 6 Core Weight: 1 Total Weight: 165 0.29/0.30 c Elapsed CPU time: 0.307953 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #166 0.29/0.31 c Core size: 6 Core Weight: 1 Total Weight: 166 0.29/0.31 c Elapsed CPU time: 0.310952 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #167 0.29/0.31 c Core size: 6 Core Weight: 1 Total Weight: 167 0.29/0.31 c Elapsed CPU time: 0.312952 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #168 0.29/0.31 c Core size: 6 Core Weight: 1 Total Weight: 168 0.29/0.31 c Elapsed CPU time: 0.314952 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #169 0.29/0.31 c Core size: 6 Core Weight: 1 Total Weight: 169 0.29/0.31 c Elapsed CPU time: 0.316951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #170 0.29/0.32 c Core size: 6 Core Weight: 1 Total Weight: 170 0.29/0.32 c Elapsed CPU time: 0.319951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #171 0.29/0.32 c Core size: 6 Core Weight: 1 Total Weight: 171 0.29/0.32 c Elapsed CPU time: 0.321951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #172 0.29/0.32 c Core size: 7 Core Weight: 1 Total Weight: 172 0.29/0.32 c Elapsed CPU time: 0.32395 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #173 0.29/0.32 c Core size: 7 Core Weight: 1 Total Weight: 173 0.29/0.32 c Elapsed CPU time: 0.32695 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #174 0.29/0.33 c Core size: 7 Core Weight: 1 Total Weight: 174 0.29/0.33 c Elapsed CPU time: 0.328949 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #175 0.29/0.33 c Core size: 7 Core Weight: 1 Total Weight: 175 0.29/0.33 c Elapsed CPU time: 0.330949 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #176 0.29/0.33 c Core size: 7 Core Weight: 1 Total Weight: 176 0.29/0.33 c Elapsed CPU time: 0.333949 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #177 0.29/0.33 c Core size: 6 Core Weight: 1 Total Weight: 177 0.29/0.33 c Elapsed CPU time: 0.335948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #178 0.29/0.34 c Core size: 7 Core Weight: 1 Total Weight: 178 0.29/0.34 c Elapsed CPU time: 0.337948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #179 0.29/0.34 c Core size: 7 Core Weight: 1 Total Weight: 179 0.29/0.34 c Elapsed CPU time: 0.340948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #180 0.29/0.34 c Core size: 7 Core Weight: 1 Total Weight: 180 0.29/0.34 c Elapsed CPU time: 0.342947 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #181 0.29/0.34 c Core size: 7 Core Weight: 1 Total Weight: 181 0.29/0.34 c Elapsed CPU time: 0.345947 s Remaining CPU time: 1799.65 s 0.29/0.34 c core #182 0.29/0.34 c Core size: 6 Core Weight: 1 Total Weight: 182 0.29/0.34 c Elapsed CPU time: 0.347947 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #183 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: 183 0.29/0.35 c Elapsed CPU time: 0.349946 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #184 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: 184 0.29/0.35 c Elapsed CPU time: 0.352946 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #185 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: 185 0.29/0.35 c Elapsed CPU time: 0.354946 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #186 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: 186 0.29/0.35 c Elapsed CPU time: 0.356945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #187 0.29/0.36 c Core size: 6 Core Weight: 1 Total Weight: 187 0.29/0.36 c Elapsed CPU time: 0.359945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #188 0.29/0.36 c Core size: 6 Core Weight: 1 Total Weight: 188 0.29/0.36 c Elapsed CPU time: 0.361944 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #189 0.29/0.36 c Core size: 6 Core Weight: 1 Total Weight: 189 0.29/0.36 c Elapsed CPU time: 0.364944 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #190 0.29/0.36 c Core size: 6 Core Weight: 1 Total Weight: 190 0.29/0.36 c Elapsed CPU time: 0.366944 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #191 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: 191 0.29/0.37 c Elapsed CPU time: 0.369943 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #192 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: 192 0.29/0.37 c Elapsed CPU time: 0.371943 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #193 0.29/0.37 c Core size: 7 Core Weight: 1 Total Weight: 193 0.29/0.37 c Elapsed CPU time: 0.374943 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #194 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: 194 0.29/0.37 c Elapsed CPU time: 0.377942 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #195 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: 195 0.29/0.38 c Elapsed CPU time: 0.379942 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #196 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: 196 0.29/0.38 c Elapsed CPU time: 0.381941 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #197 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: 197 0.29/0.38 c Elapsed CPU time: 0.384941 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #198 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: 198 0.29/0.38 c Elapsed CPU time: 0.386941 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #199 0.29/0.39 c Core size: 6 Core Weight: 1 Total Weight: 199 0.29/0.39 c Elapsed CPU time: 0.38994 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #200 0.29/0.39 c Core size: 6 Core Weight: 1 Total Weight: 200 0.29/0.39 c Elapsed CPU time: 0.39194 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #201 0.29/0.39 c Core size: 6 Core Weight: 1 Total Weight: 201 0.29/0.39 c Elapsed CPU time: 0.394939 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #202 0.29/0.39 c Core size: 6 Core Weight: 1 Total Weight: 202 0.29/0.39 c Elapsed CPU time: 0.396939 s Remaining CPU time: 1799.6 s 0.29/0.40 c core #203 0.29/0.40 c Core size: 6 Core Weight: 1 Total Weight: 203 0.29/0.40 c Elapsed CPU time: 0.399939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #204 0.39/0.40 c Core size: 7 Core Weight: 1 Total Weight: 204 0.39/0.40 c Elapsed CPU time: 0.401938 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #205 0.39/0.40 c Core size: 7 Core Weight: 1 Total Weight: 205 0.39/0.40 c Elapsed CPU time: 0.404938 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #206 0.39/0.40 c Core size: 6 Core Weight: 1 Total Weight: 206 0.39/0.40 c Elapsed CPU time: 0.406938 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #207 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: 207 0.39/0.41 c Elapsed CPU time: 0.409937 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #208 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: 208 0.39/0.41 c Elapsed CPU time: 0.412937 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #209 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: 209 0.39/0.41 c Elapsed CPU time: 0.414936 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #210 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: 210 0.39/0.41 c Elapsed CPU time: 0.416936 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #211 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: 211 0.39/0.42 c Elapsed CPU time: 0.418936 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #212 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: 212 0.39/0.42 c Elapsed CPU time: 0.421935 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #213 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: 213 0.39/0.42 c Elapsed CPU time: 0.424935 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #214 0.39/0.42 c Core size: 7 Core Weight: 1 Total Weight: 214 0.39/0.42 c Elapsed CPU time: 0.426935 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #215 0.39/0.43 c Core size: 21 Core Weight: 1 Total Weight: 215 0.39/0.43 c Elapsed CPU time: 0.429934 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #216 0.39/0.43 c Core size: 13 Core Weight: 1 Total Weight: 216 0.39/0.43 c Elapsed CPU time: 0.431934 s Remaining CPU time: 1799.57 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 | 1242 2550 6325 | 5000 0 nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c core #217 0.39/0.43 c Core size: 32 Core Weight: 1 Total Weight: 217 0.39/0.43 c Elapsed CPU time: 0.434933 s Remaining CPU time: 1799.57 s 0.39/0.44 c Learning 1 hard constraints 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 | 1256 2552 6356 | 5000 0 nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c core #218 0.39/0.44 c Core size: 19 Core Weight: 1 Total Weight: 218 0.39/0.44 c Elapsed CPU time: 0.437933 s Remaining CPU time: 1799.56 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 | 1264 2553 6373 | 5000 0 nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c core #219 0.39/0.44 c Core size: 23 Core Weight: 1 Total Weight: 219 0.39/0.44 c Elapsed CPU time: 0.440932 s Remaining CPU time: 1799.56 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 | 1276 2554 6400 | 5000 0 nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c core #220 0.39/0.44 c Core size: 68 Core Weight: 1 Total Weight: 220 0.39/0.44 c Elapsed CPU time: 0.444932 s Remaining CPU time: 1799.56 s 0.39/0.45 c ============================[ Search Statistics ]============================== 0.39/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.45 c =============================================================================== 0.39/0.45 c | 0 | 1305 2555 6460 | 5000 0 nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c core #221 0.39/0.45 c Core size: 29 Core Weight: 1 Total Weight: 221 0.39/0.45 c Elapsed CPU time: 0.447931 s Remaining CPU time: 1799.55 s 0.39/0.45 c ============================[ Search Statistics ]============================== 0.39/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.45 c =============================================================================== 0.39/0.45 c | 0 | 1315 2556 6480 | 5000 0 nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c core #222 0.39/0.45 c Core size: 29 Core Weight: 1 Total Weight: 222 0.39/0.45 c Elapsed CPU time: 0.450931 s Remaining CPU time: 1799.55 s 0.39/0.45 c ============================[ Search Statistics ]============================== 0.39/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.45 c =============================================================================== 0.39/0.45 c | 0 | 1325 2557 6500 | 5000 0 nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c core #223 0.39/0.45 c Core size: 40 Core Weight: 1 Total Weight: 223 0.39/0.45 c Elapsed CPU time: 0.45393 s Remaining CPU time: 1799.55 s 0.39/0.45 c ============================[ Search Statistics ]============================== 0.39/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.45 c =============================================================================== 0.39/0.45 c | 0 | 1337 2558 6524 | 5000 0 nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c core #224 0.39/0.45 c Core size: 29 Core Weight: 1 Total Weight: 224 0.39/0.45 c Elapsed CPU time: 0.45693 s Remaining CPU time: 1799.54 s 0.39/0.46 c ============================[ Search Statistics ]============================== 0.39/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.46 c =============================================================================== 0.39/0.46 c | 0 | 1347 2559 6544 | 5000 0 nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #225 0.39/0.46 c Core size: 29 Core Weight: 1 Total Weight: 225 0.39/0.46 c Elapsed CPU time: 0.45993 s Remaining CPU time: 1799.54 s 0.39/0.46 c ============================[ Search Statistics ]============================== 0.39/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.46 c =============================================================================== 0.39/0.46 c | 0 | 1357 2560 6564 | 5000 0 nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #226 0.39/0.46 c Core size: 29 Core Weight: 1 Total Weight: 226 0.39/0.46 c Elapsed CPU time: 0.462929 s Remaining CPU time: 1799.54 s 0.39/0.46 c ============================[ Search Statistics ]============================== 0.39/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.46 c =============================================================================== 0.39/0.46 c | 0 | 1367 2561 6584 | 5000 0 nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #227 0.39/0.46 c Core size: 29 Core Weight: 1 Total Weight: 227 0.39/0.46 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 | 1377 2562 6604 | 5000 0 nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #228 0.39/0.47 c Core size: 40 Core Weight: 1 Total Weight: 228 0.39/0.47 c Elapsed CPU time: 0.468928 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 | 1389 2563 6628 | 5000 0 nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #229 0.39/0.47 c Core size: 29 Core Weight: 1 Total Weight: 229 0.39/0.47 c Elapsed CPU time: 0.471928 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 | 1399 2564 6648 | 5000 0 nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #230 0.39/0.47 c Core size: 29 Core Weight: 1 Total Weight: 230 0.39/0.47 c Elapsed CPU time: 0.474927 s Remaining CPU time: 1799.53 s 0.39/0.48 c ============================[ Search Statistics ]============================== 0.39/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.48 c =============================================================================== 0.39/0.48 c | 0 | 1409 2565 6668 | 5000 0 nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c core #231 0.39/0.48 c Core size: 29 Core Weight: 1 Total Weight: 231 0.39/0.48 c Elapsed CPU time: 0.477927 s Remaining CPU time: 1799.52 s 0.39/0.48 c ============================[ Search Statistics ]============================== 0.39/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.48 c =============================================================================== 0.39/0.48 c | 0 | 1419 2566 6688 | 5000 0 nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c core #232 0.39/0.48 c Core size: 29 Core Weight: 1 Total Weight: 232 0.39/0.48 c Elapsed CPU time: 0.480926 s Remaining CPU time: 1799.52 s 0.39/0.48 c ============================[ Search Statistics ]============================== 0.39/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.48 c =============================================================================== 0.39/0.48 c | 0 | 1429 2567 6708 | 5000 0 nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c core #233 0.39/0.48 c Core size: 15 Core Weight: 1 Total Weight: 233 0.39/0.48 c Elapsed CPU time: 0.484926 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 | 1437 2568 6726 | 5000 0 nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c core #234 0.39/0.49 c Core size: 11 Core Weight: 1 Total Weight: 234 0.39/0.49 c Elapsed CPU time: 0.487925 s Remaining CPU time: 1799.51 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 | 1445 2569 6743 | 5000 0 nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c core #235 0.39/0.49 c Core size: 187 Core Weight: 1 Total Weight: 235 0.39/0.49 c Elapsed CPU time: 0.491925 s Remaining CPU time: 1799.51 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 | 1463 2570 6779 | 5000 0 nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c core #236 0.39/0.49 c Core size: 70 Core Weight: 1 Total Weight: 236 0.39/0.49 c Elapsed CPU time: 0.494924 s Remaining CPU time: 1799.51 s 0.39/0.50 c ============================[ Search Statistics ]============================== 0.39/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.50 c =============================================================================== 0.39/0.50 c | 0 | 1483 2571 6819 | 5000 0 nan | 0.000 % | 0.39/0.50 c =============================================================================== 0.39/0.50 c core #237 0.39/0.50 c Core size: 11 Core Weight: 1 Total Weight: 237 0.39/0.50 c Elapsed CPU time: 0.498924 s Remaining CPU time: 1799.5 s 0.49/0.50 c Learning 2 hard constraints 0.49/0.50 c ============================[ Search Statistics ]============================== 0.49/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.50 c =============================================================================== 0.49/0.50 c | 0 | 1488 2574 6835 | 5000 0 nan | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c core #238 0.49/0.50 c Core size: 31 Core Weight: 1 Total Weight: 238 0.49/0.50 c Elapsed CPU time: 0.501923 s Remaining CPU time: 1799.5 s 0.49/0.50 c ============================[ Search Statistics ]============================== 0.49/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.50 c =============================================================================== 0.49/0.50 c | 0 | 1501 2575 6861 | 5000 0 nan | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c core #239 0.49/0.50 c Core size: 29 Core Weight: 1 Total Weight: 239 0.49/0.50 c Elapsed CPU time: 0.505923 s Remaining CPU time: 1799.49 s 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 1512 2576 6883 | 5000 0 nan | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c core #240 0.49/0.51 c Core size: 19 Core Weight: 1 Total Weight: 240 0.49/0.51 c Elapsed CPU time: 0.509922 s Remaining CPU time: 1799.49 s 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 1526 2577 6914 | 5000 0 nan | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c core #241 0.49/0.51 c Core size: 45 Core Weight: 1 Total Weight: 241 0.49/0.51 c Elapsed CPU time: 0.512922 s Remaining CPU time: 1799.49 s 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 1542 2578 6946 | 5000 0 nan | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c core #242 0.49/0.51 c Core size: 31 Core Weight: 1 Total Weight: 242 0.49/0.51 c Elapsed CPU time: 0.515921 s Remaining CPU time: 1799.48 s 0.49/0.52 c Learning 1 hard constraints 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 | 1553 2580 6971 | 5000 0 nan | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c core #243 0.49/0.52 c Core size: 33 Core Weight: 1 Total Weight: 243 0.49/0.52 c Elapsed CPU time: 0.51992 s Remaining CPU time: 1799.48 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 | 1572 2581 7011 | 5000 0 nan | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c core #244 0.49/0.52 c Core size: 11 Core Weight: 1 Total Weight: 244 0.49/0.52 c Elapsed CPU time: 0.52392 s Remaining CPU time: 1799.48 s 0.49/0.53 c Learning 1 hard constraints 0.49/0.53 c ============================[ Search Statistics ]============================== 0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.53 c =============================================================================== 0.49/0.53 c | 0 | 1577 2583 7025 | 5000 0 nan | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c core #245 0.49/0.53 c Core size: 19 Core Weight: 1 Total Weight: 245 0.49/0.53 c Elapsed CPU time: 0.526919 s Remaining CPU time: 1799.47 s 0.49/0.53 c Learning 1 hard constraints 0.49/0.53 c ============================[ Search Statistics ]============================== 0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.53 c =============================================================================== 0.49/0.53 c | 0 | 1585 2585 7044 | 5000 0 nan | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c core #246 0.49/0.53 c Core size: 57 Core Weight: 1 Total Weight: 246 0.49/0.53 c Elapsed CPU time: 0.530919 s Remaining CPU time: 1799.47 s 0.49/0.53 c Learning 3 hard constraints 0.49/0.53 c ============================[ Search Statistics ]============================== 0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.53 c =============================================================================== 0.49/0.53 c | 0 | 1607 2589 7096 | 5000 0 nan | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c core #247 0.49/0.53 c Core size: 10 Core Weight: 1 Total Weight: 247 0.49/0.53 c Elapsed CPU time: 0.533918 s Remaining CPU time: 1799.47 s 0.49/0.54 c Learning 2 hard constraints 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 1613 2592 7114 | 5000 0 nan | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c core #248 0.49/0.54 c Core size: 13 Core Weight: 1 Total Weight: 248 0.49/0.54 c Elapsed CPU time: 0.536918 s Remaining CPU time: 1799.46 s 0.49/0.54 c Learning 4 hard constraints 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 1617 2597 7132 | 5000 0 nan | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c core #249 0.49/0.54 c Core size: 26 Core Weight: 1 Total Weight: 249 0.49/0.54 c Elapsed CPU time: 0.540917 s Remaining CPU time: 1799.46 s 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 1627 2598 7152 | 5000 0 nan | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c core #250 0.49/0.54 c Core size: 11 Core Weight: 1 Total Weight: 250 0.49/0.54 c Elapsed CPU time: 0.544917 s Remaining CPU time: 1799.46 s 0.49/0.55 c ============================[ Search Statistics ]============================== 0.49/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.55 c =============================================================================== 0.49/0.55 c | 0 | 1632 2599 7163 | 5000 0 nan | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c core #251 0.49/0.55 c Core size: 45 Core Weight: 1 Total Weight: 251 0.49/0.55 c Elapsed CPU time: 0.547916 s Remaining CPU time: 1799.45 s 0.49/0.55 c Learning 2 hard constraints 0.49/0.55 c ============================[ Search Statistics ]============================== 0.49/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.55 c =============================================================================== 0.49/0.55 c | 0 | 1655 2602 7219 | 5000 0 nan | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c core #252 0.49/0.55 c Core size: 8 Core Weight: 1 Total Weight: 252 0.49/0.55 c Elapsed CPU time: 0.551916 s Remaining CPU time: 1799.45 s 0.49/0.56 c Learning 2 hard constraints 0.49/0.56 c ============================[ Search Statistics ]============================== 0.49/0.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.56 c =============================================================================== 0.49/0.56 c | 0 | 1659 2605 7232 | 5000 0 nan | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c core #253 0.49/0.56 c Core size: 8 Core Weight: 1 Total Weight: 253 0.49/0.56 c Elapsed CPU time: 0.555915 s Remaining CPU time: 1799.44 s 0.49/0.56 c Learning 3 hard constraints 0.49/0.56 c ============================[ Search Statistics ]============================== 0.49/0.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.56 c =============================================================================== 0.49/0.56 c | 0 | 1663 2609 7248 | 5000 0 nan | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c core #254 0.49/0.56 c Core size: 11 Core Weight: 1 Total Weight: 254 0.49/0.56 c Elapsed CPU time: 0.559914 s Remaining CPU time: 1799.44 s 0.49/0.56 c Learning 1 hard constraints 0.49/0.56 c ============================[ Search Statistics ]============================== 0.49/0.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.56 c =============================================================================== 0.49/0.56 c | 0 | 1668 2611 7262 | 5000 0 nan | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c core #255 0.49/0.56 c Core size: 52 Core Weight: 1 Total Weight: 255 0.49/0.56 c Elapsed CPU time: 0.563914 s Remaining CPU time: 1799.44 s 0.49/0.57 c Learning 3 hard constraints 0.49/0.57 c ============================[ Search Statistics ]============================== 0.49/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 1689 2615 7312 | 5000 0 nan | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c core #256 0.49/0.57 c Core size: 8 Core Weight: 1 Total Weight: 256 0.49/0.57 c Elapsed CPU time: 0.567913 s Remaining CPU time: 1799.43 s 0.49/0.57 c Learning 3 hard constraints 0.49/0.57 c ============================[ Search Statistics ]============================== 0.49/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 1693 2619 7328 | 5000 0 nan | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c core #257 0.49/0.57 c Core size: 14 Core Weight: 1 Total Weight: 257 0.49/0.57 c Elapsed CPU time: 0.571913 s Remaining CPU time: 1799.43 s 0.49/0.58 c Learning 2 hard constraints 0.49/0.58 c ============================[ Search Statistics ]============================== 0.49/0.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.58 c =============================================================================== 0.49/0.58 c | 0 | 1701 2622 7352 | 5000 0 nan | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c core #258 0.49/0.58 c Core size: 13 Core Weight: 1 Total Weight: 258 0.49/0.58 c Elapsed CPU time: 0.574912 s Remaining CPU time: 1799.43 s 0.49/0.58 c Learning 4 hard constraints 0.49/0.58 c ============================[ Search Statistics ]============================== 0.49/0.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.58 c =============================================================================== 0.49/0.58 c | 0 | 1705 2627 7370 | 5000 0 nan | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c core #259 0.49/0.58 c Core size: 19 Core Weight: 1 Total Weight: 259 0.49/0.58 c Elapsed CPU time: 0.578911 s Remaining CPU time: 1799.42 s 0.49/0.58 c ============================[ Search Statistics ]============================== 0.49/0.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.58 c =============================================================================== 0.49/0.58 c | 0 | 1714 2628 7390 | 5000 0 nan | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c core #260 0.49/0.58 c Core size: 11 Core Weight: 1 Total Weight: 260 0.49/0.58 c Elapsed CPU time: 0.582911 s Remaining CPU time: 1799.42 s 0.49/0.59 c ============================[ Search Statistics ]============================== 0.49/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.59 c =============================================================================== 0.49/0.59 c | 0 | 1719 2629 7401 | 5000 0 nan | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c core #261 0.49/0.59 c Core size: 34 Core Weight: 1 Total Weight: 261 0.49/0.59 c Elapsed CPU time: 0.58591 s Remaining CPU time: 1799.41 s 0.49/0.59 c Learning 3 hard constraints 0.49/0.59 c ============================[ Search Statistics ]============================== 0.49/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.59 c =============================================================================== 0.49/0.59 c | 0 | 1731 2633 7437 | 5000 0 nan | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c core #262 0.49/0.59 c Core size: 11 Core Weight: 1 Total Weight: 262 0.49/0.59 c Elapsed CPU time: 0.58991 s Remaining CPU time: 1799.41 s 0.49/0.59 c Learning 3 hard constraints 0.49/0.59 c ============================[ Search Statistics ]============================== 0.49/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.59 c =============================================================================== 0.49/0.59 c | 0 | 1736 2637 7455 | 5000 0 nan | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c core #263 0.49/0.59 c Core size: 11 Core Weight: 1 Total Weight: 263 0.49/0.59 c Elapsed CPU time: 0.593909 s Remaining CPU time: 1799.41 s 0.59/0.60 c Learning 2 hard constraints 0.59/0.60 c ============================[ Search Statistics ]============================== 0.59/0.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.60 c =============================================================================== 0.59/0.60 c | 0 | 1741 2640 7471 | 5000 0 nan | 0.000 % | 0.59/0.60 c =============================================================================== 0.59/0.60 c core #264 0.59/0.60 c Core size: 48 Core Weight: 1 Total Weight: 264 0.59/0.60 c Elapsed CPU time: 0.596909 s Remaining CPU time: 1799.4 s 0.59/0.60 c Learning 1 hard constraints 0.59/0.60 c ============================[ Search Statistics ]============================== 0.59/0.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.60 c =============================================================================== 0.59/0.60 c | 0 | 1754 2642 7499 | 5000 0 nan | 0.000 % | 0.59/0.60 c =============================================================================== 0.59/0.60 c core #265 0.59/0.60 c Core size: 31 Core Weight: 1 Total Weight: 265 0.59/0.60 c Elapsed CPU time: 0.600908 s Remaining CPU time: 1799.4 s 0.59/0.61 c ============================[ Search Statistics ]============================== 0.59/0.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.61 c =============================================================================== 0.59/0.61 c | 0 | 1766 2643 7523 | 5000 0 nan | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c core #266 0.59/0.61 c Core size: 46 Core Weight: 1 Total Weight: 266 0.59/0.61 c Elapsed CPU time: 0.605907 s Remaining CPU time: 1799.39 s 0.59/0.61 c ============================[ Search Statistics ]============================== 0.59/0.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.61 c =============================================================================== 0.59/0.61 c | 0 | 1786 2644 7563 | 5000 0 nan | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c core #267 0.59/0.61 c Core size: 14 Core Weight: 1 Total Weight: 267 0.59/0.61 c Elapsed CPU time: 0.609907 s Remaining CPU time: 1799.39 s 0.59/0.61 c Learning 2 hard constraints 0.59/0.61 c ============================[ Search Statistics ]============================== 0.59/0.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.61 c =============================================================================== 0.59/0.61 c | 0 | 1791 2647 7582 | 5000 0 nan | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c core #268 0.59/0.62 c Core size: 18 Core Weight: 1 Total Weight: 268 0.59/0.62 c Elapsed CPU time: 0.612906 s Remaining CPU time: 1799.39 s 0.59/0.62 c ============================[ Search Statistics ]============================== 0.59/0.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.62 c =============================================================================== 0.59/0.62 c | 0 | 1797 2648 7594 | 5000 0 nan | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c core #269 0.59/0.62 c Core size: 41 Core Weight: 1 Total Weight: 269 0.59/0.62 c Elapsed CPU time: 0.616906 s Remaining CPU time: 1799.38 s 0.59/0.62 c ============================[ Search Statistics ]============================== 0.59/0.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.62 c =============================================================================== 0.59/0.62 c | 0 | 1811 2649 7622 | 5000 0 nan | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c core #270 0.59/0.62 c Core size: 64 Core Weight: 1 Total Weight: 270 0.59/0.62 c Elapsed CPU time: 0.621905 s Remaining CPU time: 1799.38 s 0.59/0.63 c ============================[ Search Statistics ]============================== 0.59/0.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.63 c =============================================================================== 0.59/0.63 c | 0 | 1834 2650 7668 | 5000 0 nan | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c core #271 0.59/0.63 c Core size: 29 Core Weight: 1 Total Weight: 271 0.59/0.63 c Elapsed CPU time: 0.625904 s Remaining CPU time: 1799.37 s 0.59/0.63 c Learning 1 hard constraints 0.59/0.63 c ============================[ Search Statistics ]============================== 0.59/0.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.63 c =============================================================================== 0.59/0.63 c | 0 | 1842 2652 7686 | 5000 0 nan | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c core #272 0.59/0.63 c Core size: 36 Core Weight: 1 Total Weight: 272 0.59/0.63 c Elapsed CPU time: 0.630904 s Remaining CPU time: 1799.37 s 0.59/0.64 c ============================[ Search Statistics ]============================== 0.59/0.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.64 c =============================================================================== 0.59/0.64 c | 0 | 1858 2653 7718 | 5000 0 nan | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c core #273 0.59/0.64 c Core size: 63 Core Weight: 1 Total Weight: 273 0.59/0.64 c Elapsed CPU time: 0.634903 s Remaining CPU time: 1799.37 s 0.59/0.64 c Learning 3 hard constraints 0.59/0.64 c ============================[ Search Statistics ]============================== 0.59/0.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.64 c =============================================================================== 0.59/0.64 c | 0 | 1878 2657 7766 | 5000 0 nan | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c core #274 0.59/0.64 c Core size: 60 Core Weight: 1 Total Weight: 274 0.59/0.64 c Elapsed CPU time: 0.639902 s Remaining CPU time: 1799.36 s 0.59/0.65 c Learning 1 hard constraints 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 1901 2659 7815 | 5000 0 nan | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c core #275 0.59/0.65 c Core size: 198 Core Weight: 1 Total Weight: 275 0.59/0.65 c Elapsed CPU time: 0.645901 s Remaining CPU time: 1799.35 s 0.59/0.65 c Learning 3 hard constraints 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 1949 2663 7920 | 5000 0 nan | 0.000 % | 0.59/0.66 c | 102 | 1947 2663 7920 | 5500 102 14 | 0.103 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c core #276 0.59/0.66 c Core size: 132 Core Weight: 1 Total Weight: 276 0.59/0.66 c Elapsed CPU time: 0.6529 s Remaining CPU time: 1799.35 s 0.59/0.66 c Learning 1 hard constraints 0.59/0.66 c ============================[ Search Statistics ]============================== 0.59/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.66 c =============================================================================== 0.59/0.66 c | 0 | 1993 2665 8010 | 5000 0 nan | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c core #277 0.59/0.66 c Core size: 82 Core Weight: 1 Total Weight: 277 0.59/0.66 c Elapsed CPU time: 0.658899 s Remaining CPU time: 1799.34 s 0.59/0.67 c Learning 2 hard constraints 0.59/0.67 c ============================[ Search Statistics ]============================== 0.59/0.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.67 c =============================================================================== 0.59/0.67 c | 0 | 2016 2668 8061 | 5000 0 nan | 0.000 % | 0.59/0.67 c | 100 | 2014 2668 8061 | 5500 100 9 | 0.099 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c core #278 0.59/0.68 c Core size: 490 Core Weight: 1 Total Weight: 278 0.59/0.68 c Elapsed CPU time: 0.674897 s Remaining CPU time: 1799.33 s 0.59/0.68 c Learning 5 hard constraints 0.59/0.68 c ============================[ Search Statistics ]============================== 0.59/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.68 c =============================================================================== 0.59/0.68 c | 0 | 2101 2674 8257 | 5000 0 nan | 0.000 % | 0.59/0.69 c | 101 | 2099 2674 8257 | 5500 101 20 | 0.095 % | 0.59/0.69 c | 251 | 2099 2674 8257 | 6050 251 22 | 0.095 % | 0.69/0.70 c | 476 | 2099 2674 8257 | 6655 475 22 | 0.095 % | 0.69/0.72 c | 817 | 2097 2674 8257 | 7320 346 15 | 0.190 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c core #279 0.69/0.73 c Core size: 164 Core Weight: 1 Total Weight: 279 0.69/0.73 c Elapsed CPU time: 0.727889 s Remaining CPU time: 1799.27 s 0.69/0.74 c Learning 1 hard constraints 0.69/0.74 c ============================[ Search Statistics ]============================== 0.69/0.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.74 c =============================================================================== 0.69/0.74 c | 0 | 2155 2676 8367 | 5000 0 nan | 0.000 % | 0.69/0.74 c | 100 | 2153 2676 8367 | 5500 100 16 | 0.093 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c core #280 0.69/0.75 c Core size: 18 Core Weight: 1 Total Weight: 280 0.69/0.75 c Elapsed CPU time: 0.739887 s Remaining CPU time: 1799.26 s 0.69/0.75 c Learning 5 hard constraints 0.69/0.75 c ============================[ Search Statistics ]============================== 0.69/0.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.75 c =============================================================================== 0.69/0.75 c | 0 | 2161 2682 8408 | 5000 0 nan | 0.000 % | 0.69/0.76 c | 100 | 2159 2682 8408 | 5500 100 17 | 0.093 % | 0.69/0.76 c | 250 | 2159 2682 8408 | 6050 250 15 | 0.093 % | 0.69/0.77 c | 476 | 2159 2682 8408 | 6655 475 15 | 0.093 % | 0.69/0.79 c | 813 | 2157 2682 8408 | 7320 158 12 | 0.185 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c core #281 0.79/0.80 c Core size: 346 Core Weight: 1 Total Weight: 281 0.79/0.80 c Elapsed CPU time: 0.792879 s Remaining CPU time: 1799.21 s 0.79/0.81 c Learning 20 hard constraints 0.79/0.81 c ============================[ Search Statistics ]============================== 0.79/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.81 c =============================================================================== 0.79/0.81 c | 0 | 2249 2703 8692 | 5000 0 nan | 0.000 % | 0.79/0.81 c | 100 | 2247 2703 8692 | 5500 100 20 | 0.089 % | 0.79/0.83 c | 250 | 2247 2703 8692 | 6050 249 14 | 0.089 % | 0.79/0.85 c | 476 | 2247 2703 8692 | 6655 475 13 | 0.089 % | 0.79/0.88 c =============================================================================== 0.79/0.89 c core #282 0.79/0.89 c Core size: 939 Core Weight: 1 Total Weight: 282 0.79/0.89 c Elapsed CPU time: 0.875866 s Remaining CPU time: 1799.12 s 0.79/0.89 c Learning 26 hard constraints 0.79/0.89 c ============================[ Search Statistics ]============================== 0.79/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.89 c =============================================================================== 0.79/0.89 c | 0 | 2377 2730 9090 | 5000 0 nan | 0.000 % | 0.89/0.90 c | 100 | 2375 2730 9090 | 5500 100 8 | 0.084 % | 0.89/0.90 c =============================================================================== 0.89/0.91 c core #283 0.89/0.91 c Core size: 246 Core Weight: 1 Total Weight: 283 0.89/0.91 c Elapsed CPU time: 0.893864 s Remaining CPU time: 1799.11 s 0.89/0.91 c Learning 3 hard constraints 0.89/0.91 c ============================[ Search Statistics ]============================== 0.89/0.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.91 c =============================================================================== 0.89/0.91 c | 0 | 2439 2734 9221 | 5000 0 nan | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c core #284 0.89/0.91 c Core size: 55 Core Weight: 1 Total Weight: 284 0.89/0.91 c Elapsed CPU time: 0.899863 s Remaining CPU time: 1799.1 s 0.89/0.92 c ============================[ Search Statistics ]============================== 0.89/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 2451 2735 9245 | 5000 0 nan | 0.000 % | 0.89/0.92 c | 100 | 2447 2735 9245 | 5500 75 5 | 0.163 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c core #285 0.89/0.92 c Core size: 228 Core Weight: 1 Total Weight: 285 0.89/0.92 c Elapsed CPU time: 0.911861 s Remaining CPU time: 1799.09 s 0.89/0.93 c Learning 2 hard constraints 0.89/0.93 c ============================[ Search Statistics ]============================== 0.89/0.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.93 c =============================================================================== 0.89/0.93 c | 0 | 2499 2738 9351 | 5000 0 nan | 0.000 % | 0.89/0.94 c | 101 | 2436 2738 9351 | 5500 101 17 | 3.842 % | 0.89/0.95 c | 251 | 2403 2738 9351 | 6050 244 16 | 3.842 % | 0.89/0.99 c | 476 | 2400 2738 9351 | 6655 468 17 | 3.962 % | 0.99/1.03 c | 813 | 2382 2738 9351 | 7320 286 15 | 4.682 % | 0.99/1.03 c =============================================================================== 0.99/1.04 c core #286 0.99/1.04 c Core size: 1230 Core Weight: 1 Total Weight: 286 0.99/1.04 c Elapsed CPU time: 1.02484 s Remaining CPU time: 1798.98 s 0.99/1.04 c Learning 198 hard constraints 0.99/1.04 c ============================[ Search Statistics ]============================== 0.99/1.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.04 c =============================================================================== 0.99/1.04 c | 0 | 2521 2937 11787 | 5000 0 nan | 0.000 % | 0.99/1.05 c | 100 | 2519 2937 11787 | 5500 100 14 | 0.079 % | 0.99/1.06 c | 250 | 2519 2937 11787 | 6050 250 13 | 0.079 % | 0.99/1.07 c | 475 | 2519 2937 11787 | 6655 474 12 | 0.079 % | 0.99/1.10 c | 815 | 2481 2937 11787 | 7320 792 11 | 1.587 % | 1.10/1.11 c =============================================================================== 1.10/1.11 c core #287 1.10/1.11 c Core size: 431 Core Weight: 1 Total Weight: 287 1.10/1.11 c Elapsed CPU time: 1.09083 s Remaining CPU time: 1798.91 s 1.10/1.11 c Learning 18 hard constraints 1.10/1.11 c ============================[ Search Statistics ]============================== 1.10/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.11 c =============================================================================== 1.10/1.11 c | 0 | 2599 2956 11994 | 5000 0 nan | 0.000 % | 1.10/1.12 c | 101 | 2597 2956 11994 | 5500 101 12 | 0.077 % | 1.10/1.14 c | 251 | 2597 2956 11994 | 6050 250 15 | 0.077 % | 1.10/1.18 c | 476 | 2597 2956 11994 | 6655 475 16 | 0.077 % | 1.19/1.24 c | 813 | 2597 2956 11994 | 7320 812 16 | 0.077 % | 1.29/1.33 c | 1319 | 2597 2956 11994 | 8052 1318 16 | 0.077 % | 1.39/1.49 c | 2079 | 2597 2956 11994 | 8857 2078 17 | 0.080 % | 1.69/1.71 c | 3218 | 2593 2956 11994 | 9743 811 13 | 0.231 % | 1.69/1.79 c =============================================================================== 1.79/1.88 c core #288 1.79/1.88 c Core size: 1575 Core Weight: 1 Total Weight: 288 1.79/1.88 c Elapsed CPU time: 1.84672 s Remaining CPU time: 1798.15 s 1.79/1.88 c Learning 128 hard constraints 1.79/1.88 c ============================[ Search Statistics ]============================== 1.79/1.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.88 c =============================================================================== 1.79/1.88 c | 0 | 2619 3085 13049 | 5000 0 nan | 0.000 % | 1.79/1.89 c | 100 | 2617 3085 13049 | 5500 100 13 | 0.076 % | 1.89/1.92 c | 251 | 2617 3085 13049 | 6050 250 15 | 0.076 % | 1.89/1.95 c | 476 | 2617 3085 13049 | 6655 475 16 | 0.076 % | 1.99/2.01 c | 813 | 2617 3085 13049 | 7320 812 16 | 0.076 % | 2.09/2.11 c | 1319 | 2617 3085 13049 | 8052 1318 16 | 0.076 % | 2.19/2.27 c | 2078 | 2617 3085 13049 | 8857 2077 16 | 0.076 % | 2.49/2.51 c | 3218 | 2617 3085 13049 | 9743 3217 16 | 0.077 % | 2.69/2.78 c =============================================================================== 2.78/2.89 c core #289 2.78/2.89 c Core size: 1708 Core Weight: 1 Total Weight: 289 2.78/2.89 c Elapsed CPU time: 2.84957 s Remaining CPU time: 1797.15 s 2.78/2.90 c Learning 146 hard constraints 2.78/2.90 c ============================[ Search Statistics ]============================== 2.78/2.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.90 c =============================================================================== 2.78/2.90 c | 0 | 2632 3232 14233 | 5000 0 nan | 0.000 % | 2.88/2.90 c | 100 | 2630 3232 14233 | 5500 100 11 | 0.076 % | 2.88/2.92 c | 250 | 2630 3232 14233 | 6050 249 16 | 0.076 % | 2.88/2.95 c | 476 | 2630 3232 14233 | 6655 475 18 | 0.076 % | 2.99/3.00 c | 814 | 2630 3232 14233 | 7320 813 19 | 0.076 % | 3.09/3.10 c | 1320 | 2630 3232 14233 | 8052 1319 18 | 0.076 % | 3.20/3.27 c | 2081 | 2630 3232 14233 | 8857 2080 17 | 0.076 % | 3.49/3.53 c | 3221 | 2630 3232 14233 | 9743 3220 17 | 0.076 % | 3.89/3.94 c | 4929 | 2624 3232 14233 | 10717 717 13 | 0.304 % | 3.89/3.99 c =============================================================================== 4.09/4.13 c core #290 4.09/4.13 c Core size: 1832 Core Weight: 1 Total Weight: 290 4.09/4.13 c Elapsed CPU time: 4.08638 s Remaining CPU time: 1795.91 s 4.09/4.14 c Learning 236 hard constraints 4.09/4.14 c ============================[ Search Statistics ]============================== 4.09/4.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.14 c =============================================================================== 4.09/4.14 c | 0 | 2657 3469 16708 | 5000 0 nan | 0.000 % | 4.09/4.15 c | 100 | 2655 3469 16708 | 5500 100 15 | 0.075 % | 4.09/4.16 c | 251 | 2655 3469 16708 | 6050 251 14 | 0.075 % | 4.19/4.20 c | 476 | 2655 3469 16708 | 6655 475 18 | 0.075 % | 4.19/4.27 c | 813 | 2655 3469 16708 | 7320 812 18 | 0.075 % | 4.29/4.37 c | 1319 | 2655 3469 16708 | 8052 1318 18 | 0.075 % | 4.49/4.53 c | 2078 | 2655 3469 16708 | 8857 2077 18 | 0.075 % | 4.79/4.80 c | 3219 | 2653 3469 16708 | 9743 1069 17 | 0.151 % | 4.98/5.09 c =============================================================================== 5.18/5.20 c core #291 5.18/5.20 c Core size: 1957 Core Weight: 1 Total Weight: 291 5.18/5.20 c Elapsed CPU time: 5.14022 s Remaining CPU time: 1794.86 s 5.18/5.21 c Learning 90 hard constraints 5.18/5.21 c ============================[ Search Statistics ]============================== 5.18/5.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.18/5.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.18/5.21 c =============================================================================== 5.18/5.21 c | 0 | 2670 3560 17629 | 5000 0 nan | 0.000 % | 5.18/5.22 c | 100 | 2668 3560 17629 | 5500 100 11 | 0.075 % | 5.18/5.23 c | 250 | 2668 3560 17629 | 6050 250 13 | 0.075 % | 5.18/5.27 c | 475 | 2668 3560 17629 | 6655 474 17 | 0.075 % | 5.29/5.34 c | 812 | 2668 3560 17629 | 7320 811 18 | 0.075 % | 5.40/5.45 c | 1320 | 2668 3560 17629 | 8052 1319 18 | 0.075 % | 5.59/5.62 c | 2079 | 2668 3560 17629 | 8857 2078 18 | 0.075 % | 5.89/5.90 c | 3219 | 2668 3560 17629 | 9743 3218 18 | 0.075 % | 5.99/6.08 c =============================================================================== 6.09/6.18 c core #292 6.09/6.18 c Core size: 2053 Core Weight: 1 Total Weight: 292 6.09/6.18 c Elapsed CPU time: 6.11907 s Remaining CPU time: 1793.88 s 6.09/6.19 c Learning 177 hard constraints 6.09/6.19 c ============================[ Search Statistics ]============================== 6.09/6.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.19 c =============================================================================== 6.09/6.19 c | 0 | 2694 3738 19894 | 5000 0 nan | 0.000 % | 6.19/6.20 c | 100 | 2692 3738 19894 | 5500 100 22 | 0.074 % | 6.19/6.22 c | 251 | 2692 3738 19894 | 6050 251 17 | 0.074 % | 6.19/6.26 c | 477 | 2692 3738 19894 | 6655 476 20 | 0.074 % | 6.29/6.31 c | 815 | 2692 3738 19894 | 7320 814 21 | 0.074 % | 6.39/6.41 c | 1322 | 2692 3738 19894 | 8052 1321 21 | 0.074 % | 6.49/6.58 c | 2081 | 2692 3738 19894 | 8857 2080 20 | 0.074 % | 6.79/6.84 c | 3220 | 2688 3738 19894 | 9743 505 15 | 0.223 % | 6.79/6.89 c =============================================================================== 6.89/6.98 c core #293 6.89/6.98 c Core size: 2083 Core Weight: 1 Total Weight: 293 6.89/6.98 c Elapsed CPU time: 6.90695 s Remaining CPU time: 1793.09 s 6.89/6.99 c Learning 182 hard constraints 6.89/6.99 c ============================[ Search Statistics ]============================== 6.89/6.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.89/6.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.89/6.99 c =============================================================================== 6.89/6.99 c | 0 | 2701 3921 21928 | 5000 0 nan | 0.000 % | 6.89/7.00 c | 100 | 2699 3921 21928 | 5500 100 28 | 0.074 % | 6.99/7.01 c | 250 | 2699 3921 21928 | 6050 250 21 | 0.074 % | 6.99/7.06 c | 475 | 2699 3921 21928 | 6655 474 19 | 0.074 % | 7.09/7.12 c | 812 | 2699 3921 21928 | 7320 811 19 | 0.074 % | 7.19/7.24 c | 1319 | 2699 3921 21928 | 8052 1318 19 | 0.074 % | 7.39/7.43 c | 2081 | 2699 3921 21928 | 8857 2080 19 | 0.074 % | 7.69/7.71 c | 3220 | 2695 3921 21928 | 9743 715 17 | 0.222 % | 7.79/7.85 c =============================================================================== 7.88/7.94 c core #294 7.88/7.94 c Core size: 2199 Core Weight: 1 Total Weight: 294 7.88/7.94 c Elapsed CPU time: 7.85881 s Remaining CPU time: 1792.14 s 7.88/7.95 c Learning 172 hard constraints 7.88/7.95 c ============================[ Search Statistics ]============================== 7.88/7.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.88/7.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.88/7.95 c =============================================================================== 7.88/7.95 c | 0 | 2712 4094 23916 | 5000 0 nan | 0.000 % | 7.88/7.96 c | 101 | 2710 4094 23916 | 5500 101 17 | 0.074 % | 7.88/7.97 c | 251 | 2710 4094 23916 | 6050 251 18 | 0.074 % | 7.88/7.98 c | 476 | 2710 4094 23916 | 6655 475 16 | 0.074 % | 7.99/8.01 c | 813 | 2710 4094 23916 | 7320 812 16 | 0.074 % | 7.99/8.06 c | 1321 | 2710 4094 23916 | 8052 1320 19 | 0.074 % | 8.09/8.14 c | 2082 | 2710 4094 23916 | 8857 2081 22 | 0.074 % | 8.19/8.26 c | 3221 | 2710 4094 23916 | 9743 3220 24 | 0.074 % | 8.39/8.47 c | 4930 | 2710 4094 23916 | 10717 4929 23 | 0.074 % | 8.69/8.79 c | 7494 | 2612 4094 23916 | 11789 1118 11 | 3.690 % | 8.69/8.79 c =============================================================================== 8.79/8.87 c core #295 8.79/8.87 c Core size: 819 Core Weight: 1 Total Weight: 295 8.79/8.87 c Elapsed CPU time: 8.77467 s Remaining CPU time: 1791.23 s 8.79/8.89 c Learning 52 hard constraints 8.79/8.89 c ============================[ Search Statistics ]============================== 8.79/8.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.89 c =============================================================================== 8.79/8.89 c | 0 | 2838 4147 24393 | 5000 0 nan | 0.000 % | 8.79/8.90 c | 100 | 2838 4147 24393 | 5500 100 14 | 0.002 % | 8.88/8.92 c | 250 | 2838 4147 24393 | 6050 250 18 | 0.000 % | 8.88/8.95 c | 476 | 2838 4147 24393 | 6655 476 20 | 0.000 % | 8.98/9.01 c | 813 | 2838 4147 24393 | 7320 813 22 | 0.000 % | 9.09/9.12 c | 1320 | 2838 4147 24393 | 8052 1320 23 | 0.000 % | 9.19/9.29 c | 2079 | 2838 4147 24393 | 8857 2079 22 | 0.000 % | 9.49/9.54 c | 3218 | 2836 4147 24393 | 9743 1184 19 | 0.071 % | 9.69/9.79 c =============================================================================== 9.79/9.88 c core #296 9.79/9.88 c Core size: 2363 Core Weight: 1 Total Weight: 296 9.79/9.88 c Elapsed CPU time: 9.77451 s Remaining CPU time: 1790.23 s 9.79/9.89 c Learning 202 hard constraints 9.79/9.89 c ============================[ Search Statistics ]============================== 9.79/9.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.79/9.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.79/9.89 c =============================================================================== 9.79/9.89 c | 0 | 2854 4350 27366 | 5000 0 nan | 0.000 % | 9.89/9.90 c | 100 | 2854 4350 27366 | 5500 100 19 | 0.001 % | 9.89/9.91 c | 251 | 2854 4350 27366 | 6050 251 17 | 0.000 % | 9.89/9.93 c | 476 | 2854 4350 27366 | 6655 476 19 | 0.000 % | 9.89/9.95 c | 814 | 2854 4350 27366 | 7320 814 21 | 0.001 % | 9.99/10.05 c | 1320 | 2854 4350 27366 | 8052 1320 22 | 0.000 % | 10.18/10.23 c | 2079 | 2852 4350 27366 | 8857 1204 21 | 0.070 % | 10.28/10.39 c =============================================================================== 10.38/10.44 c core #297 10.38/10.44 c Core size: 2239 Core Weight: 1 Total Weight: 297 10.38/10.44 c Elapsed CPU time: 10.3284 s Remaining CPU time: 1789.67 s 10.38/10.45 c Learning 114 hard constraints 10.38/10.45 c ============================[ Search Statistics ]============================== 10.38/10.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.38/10.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.38/10.45 c =============================================================================== 10.38/10.45 c | 0 | 2877 4465 28898 | 5000 0 nan | 0.000 % | 10.38/10.46 c | 100 | 2877 4465 28898 | 5500 100 22 | 0.001 % | 10.38/10.47 c | 251 | 2877 4465 28898 | 6050 251 23 | 0.000 % | 10.38/10.48 c | 478 | 2877 4465 28898 | 6655 478 25 | 0.000 % | 10.49/10.50 c | 816 | 2877 4465 28898 | 7320 816 25 | 0.000 % | 10.49/10.56 c | 1322 | 2877 4465 28898 | 8052 1322 31 | 0.000 % | 10.69/10.72 c | 2081 | 2877 4465 28898 | 8857 2081 29 | 0.000 % | 10.89/10.99 c | 3221 | 2875 4465 28898 | 9743 1830 28 | 0.070 % | 11.18/11.20 c =============================================================================== 11.18/11.27 c core #298 11.18/11.27 c Core size: 2479 Core Weight: 1 Total Weight: 298 11.18/11.27 c Elapsed CPU time: 11.1543 s Remaining CPU time: 1788.85 s 11.18/11.29 c Learning 296 hard constraints 11.18/11.29 c ============================[ Search Statistics ]============================== 11.18/11.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.18/11.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.18/11.29 c =============================================================================== 11.18/11.29 c | 0 | 2887 4762 34796 | 5000 0 nan | 0.000 % | 11.28/11.30 c | 100 | 2887 4762 34796 | 5500 100 43 | 0.001 % | 11.28/11.32 c | 250 | 2887 4762 34796 | 6050 250 30 | 0.000 % | 11.28/11.37 c | 476 | 2887 4762 34796 | 6655 476 26 | 0.001 % | 11.38/11.45 c | 813 | 2887 4762 34796 | 7320 813 24 | 0.000 % | 11.48/11.58 c | 1320 | 2887 4762 34796 | 8052 1320 22 | 0.000 % | 11.69/11.75 c | 2079 | 2887 4762 34796 | 8857 2079 22 | 0.000 % | 12.00/12.05 c | 3219 | 2883 4762 34796 | 9743 1888 21 | 0.139 % | 12.00/12.10 c =============================================================================== 12.09/12.17 c core #299 12.09/12.17 c Core size: 2630 Core Weight: 1 Total Weight: 299 12.09/12.17 c Elapsed CPU time: 12.0522 s Remaining CPU time: 1787.95 s 12.09/12.19 c Learning 1228 hard constraints 12.09/12.19 c ============================[ Search Statistics ]============================== 12.09/12.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.09/12.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.09/12.19 c =============================================================================== 12.09/12.19 c | 0 | 2901 5991 58921 | 5000 0 nan | 0.000 % | 12.19/12.20 c | 101 | 2901 5991 58921 | 5500 101 20 | 0.001 % | 12.19/12.24 c | 251 | 2901 5991 58921 | 6050 251 25 | 0.000 % | 12.29/12.30 c | 476 | 2901 5991 58921 | 6655 476 23 | 0.000 % | 12.29/12.39 c | 813 | 2901 5991 58921 | 7320 813 22 | 0.000 % | 12.49/12.52 c | 1321 | 2899 5991 58921 | 8052 267 20 | 0.069 % | 12.59/12.64 c | 2081 | 2899 5991 58921 | 8857 1027 23 | 0.069 % | 12.69/12.78 c =============================================================================== 12.78/12.83 c core #300 12.78/12.83 c Core size: 2668 Core Weight: 1 Total Weight: 300 12.78/12.83 c Elapsed CPU time: 12.7071 s Remaining CPU time: 1787.29 s 12.78/12.85 c Learning 188 hard constraints 12.78/12.85 c ============================[ Search Statistics ]============================== 12.78/12.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.78/12.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.78/12.85 c =============================================================================== 12.78/12.85 c | 0 | 2923 6180 62705 | 5000 0 nan | 0.000 % | 12.78/12.87 c | 100 | 2923 6180 62705 | 5500 100 21 | 0.001 % | 12.89/12.90 c | 250 | 2923 6180 62705 | 6050 250 25 | 0.000 % | 12.89/12.96 c | 475 | 2923 6180 62705 | 6655 475 24 | 0.000 % | 12.99/13.05 c | 812 | 2923 6180 62705 | 7320 812 22 | 0.000 % | 13.10/13.20 c | 1318 | 2921 6180 62705 | 8052 289 21 | 0.068 % | 13.19/13.26 c | 2078 | 2921 6180 62705 | 8857 1049 32 | 0.068 % | 13.39/13.45 c | 3222 | 2917 6180 62705 | 9743 2053 35 | 0.205 % | 13.69/13.71 c | 4930 | 2915 6180 62705 | 10717 3691 40 | 0.274 % | 13.99/14.07 c =============================================================================== 14.08/14.16 c core #301 14.08/14.16 c Core size: 2653 Core Weight: 1 Total Weight: 301 14.08/14.16 c Elapsed CPU time: 14.0139 s Remaining CPU time: 1785.99 s 14.08/14.19 c Learning 885 hard constraints 14.08/14.19 c ============================[ Search Statistics ]============================== 14.08/14.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.08/14.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.08/14.19 c =============================================================================== 14.08/14.19 c | 0 | 2946 7066 83325 | 5000 0 nan | 0.000 % | 14.19/14.21 c | 100 | 2946 7066 83325 | 5500 100 24 | 0.001 % | 14.19/14.26 c | 251 | 2946 7066 83325 | 6050 251 23 | 0.000 % | 14.29/14.32 c | 477 | 2946 7066 83325 | 6655 477 24 | 0.000 % | 14.38/14.43 c | 815 | 2946 7066 83325 | 7320 815 22 | 0.000 % | 14.48/14.53 c | 1321 | 2944 7066 83325 | 8052 439 30 | 0.068 % | 14.59/14.61 c =============================================================================== 14.59/14.65 c core #302 14.59/14.65 c Core size: 2663 Core Weight: 1 Total Weight: 302 14.59/14.65 c Elapsed CPU time: 14.4928 s Remaining CPU time: 1785.51 s 14.59/14.67 c Learning 408 hard constraints 14.59/14.67 c ============================[ Search Statistics ]============================== 14.59/14.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.59/14.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.59/14.67 c =============================================================================== 14.59/14.67 c | 0 | 2963 7475 92219 | 5000 0 nan | 0.000 % | 14.59/14.70 c | 100 | 2963 7475 92219 | 5500 100 33 | 0.001 % | 14.69/14.75 c | 250 | 2963 7475 92219 | 6050 250 28 | 0.000 % | 14.79/14.82 c | 475 | 2963 7475 92219 | 6655 475 25 | 0.000 % | 14.89/14.92 c | 813 | 2963 7475 92219 | 7320 813 23 | 0.000 % | 14.89/14.96 c | 1321 | 2963 7475 92219 | 8052 1321 23 | 0.000 % | 14.99/15.05 c =============================================================================== 14.99/15.08 c core #303 14.99/15.08 c Core size: 2375 Core Weight: 1 Total Weight: 303 14.99/15.08 c Elapsed CPU time: 14.9207 s Remaining CPU time: 1785.08 s 15.08/15.10 c Learning 929 hard constraints 15.08/15.10 c ============================[ Search Statistics ]============================== 15.08/15.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.08/15.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.08/15.10 c =============================================================================== 15.08/15.10 c | 0 | 2983 8405 113021 | 5000 0 nan | 0.000 % | 15.08/15.13 c | 100 | 2982 8405 113021 | 5500 100 19 | 0.067 % | 15.08/15.16 c =============================================================================== 15.08/15.16 c core #304 15.08/15.16 c Core size: 1132 Core Weight: 1 Total Weight: 304 15.08/15.16 c Elapsed CPU time: 15.0047 s Remaining CPU time: 1785 s 15.08/15.19 c Learning 114 hard constraints 15.08/15.19 c ============================[ Search Statistics ]============================== 15.08/15.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.08/15.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.08/15.19 c =============================================================================== 15.08/15.19 c | 0 | 2982 8520 115684 | 5000 0 nan | 0.000 % | 15.18/15.20 c | 100 | 2979 8520 115684 | 5500 100 13 | 1.537 % | 15.18/15.21 c | 250 | 2852 8520 115684 | 6050 250 17 | 16.010 % | 15.18/15.22 c =============================================================================== 15.18/15.22 c core #305 15.18/15.22 c Core size: 488 Core Weight: 1 Total Weight: 305 15.18/15.22 c Elapsed CPU time: 15.0577 s Remaining CPU time: 1784.94 s 15.18/15.24 c Learning 21 hard constraints 15.18/15.24 c ============================[ Search Statistics ]============================== 15.18/15.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.18/15.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.18/15.24 c =============================================================================== 15.18/15.24 c | 0 | 2534 8542 115887 | 5000 0 nan | 0.000 % | 15.18/15.26 c | 103 | 2415 8542 115887 | 5500 103 24 | 23.731 % | 15.18/15.26 c | 253 | 2415 8542 115887 | 6050 253 31 | 23.731 % | 15.18/15.27 c | 478 | 2415 8542 115887 | 6655 478 34 | 23.830 % | 15.18/15.30 c | 817 | 2415 8542 115887 | 7320 817 36 | 23.830 % | 15.29/15.34 c | 1323 | 2415 8542 115887 | 8052 1323 35 | 23.830 % | 15.39/15.41 c | 2083 | 2415 8542 115887 | 8857 2083 37 | 23.830 % | 15.49/15.55 c | 3223 | 2295 8542 115887 | 9743 3219 36 | 23.830 % | 15.49/15.60 c =============================================================================== 15.59/15.63 c core #306 15.59/15.63 c Core size: 206 Core Weight: 1 Total Weight: 306 15.59/15.63 c Elapsed CPU time: 15.4596 s Remaining CPU time: 1784.54 s 15.59/15.66 c ============================[ Search Statistics ]============================== 15.59/15.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.59/15.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.59/15.66 c =============================================================================== 15.59/15.66 c | 0 | 2553 8543 115925 | 5000 0 nan | 0.000 % | 15.59/15.67 c | 109 | 2552 8543 115925 | 5500 109 30 | 15.867 % | 15.59/15.68 c | 259 | 2411 8543 115925 | 6050 259 26 | 23.648 % | 15.59/15.69 c | 484 | 2411 8543 115925 | 6655 484 36 | 23.648 % | 15.68/15.71 c | 823 | 2411 8543 115925 | 7320 823 41 | 23.648 % | 15.68/15.76 c | 1331 | 2411 8543 115925 | 8052 1331 44 | 23.648 % | 15.78/15.83 c | 2091 | 2411 8543 115925 | 8857 2091 45 | 23.648 % | 15.78/15.89 c =============================================================================== 15.89/15.91 c core #307 15.89/15.91 c Core size: 581 Core Weight: 1 Total Weight: 307 15.89/15.91 c Elapsed CPU time: 15.7416 s Remaining CPU time: 1784.26 s 15.89/15.94 c ============================[ Search Statistics ]============================== 15.89/15.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.89/15.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.89/15.94 c =============================================================================== 15.89/15.94 c | 0 | 2580 8544 115979 | 5000 0 nan | 0.000 % | 15.89/15.95 c | 101 | 2579 8544 115979 | 5500 101 21 | 15.727 % | 15.89/15.96 c | 251 | 2579 8544 115979 | 6050 251 27 | 15.724 % | 15.89/15.97 c | 478 | 2579 8544 115979 | 6655 478 35 | 15.724 % | 15.99/16.00 c | 815 | 2579 8544 115979 | 7320 815 46 | 23.341 % | 15.99/16.06 c | 1321 | 2579 8544 115979 | 8052 1321 53 | 23.341 % | 16.09/16.16 c | 2080 | 2579 8544 115979 | 8857 2080 56 | 23.341 % | 16.29/16.32 c | 3221 | 2579 8544 115979 | 9743 3221 54 | 23.341 % | 16.58/16.61 c | 4930 | 2345 8544 115979 | 10717 4928 56 | 23.341 % | 17.19/17.28 c | 7492 | 2345 8544 115979 | 11789 7490 58 | 23.341 % | 19.08/19.14 c | 11337 | 2345 8544 115979 | 12968 11335 59 | 23.570 % | 22.28/22.33 c | 17103 | 2338 8544 115979 | 14265 10215 59 | 23.570 % | 26.78/26.89 c | 25752 | 2338 8544 115979 | 15692 11321 60 | 23.766 % | 34.98/35.10 c | 38726 | 2337 8544 115979 | 17261 16049 59 | 24.126 % | 41.97/42.09 c =============================================================================== 42.78/42.80 c core #308 42.78/42.80 c Core size: 208 Core Weight: 1 Total Weight: 308 42.78/42.80 c Elapsed CPU time: 42.4855 s Remaining CPU time: 1757.51 s 42.78/42.89 c ============================[ Search Statistics ]============================== 42.78/42.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.78/42.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.78/42.89 c =============================================================================== 42.78/42.89 c | 0 | 2600 8545 116019 | 5000 0 nan | 0.000 % | 42.89/42.91 c | 101 | 2599 8545 116019 | 5500 101 15 | 15.624 % | 42.89/42.91 c =============================================================================== 42.89/42.92 c core #309 42.89/42.92 c Core size: 318 Core Weight: 1 Total Weight: 309 42.89/42.92 c Elapsed CPU time: 42.5935 s Remaining CPU time: 1757.41 s 42.89/42.94 c Learning 2 hard constraints 42.89/42.94 c ============================[ Search Statistics ]============================== 42.89/42.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.89/42.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.89/42.94 c =============================================================================== 42.89/42.95 c | 0 | 2380 8548 116049 | 5000 0 nan | 0.000 % | 42.89/42.95 c | 100 | 2380 8548 116049 | 5500 100 32 | 23.077 % | 42.89/42.96 c | 252 | 2380 8548 116049 | 6050 252 31 | 23.077 % | 42.89/42.97 c | 479 | 2380 8548 116049 | 6655 479 42 | 23.077 % | 42.98/43.00 c | 818 | 2380 8548 116049 | 7320 818 58 | 23.077 % | 42.98/43.08 c | 1324 | 2380 8548 116049 | 8052 1324 71 | 23.303 % | 43.17/43.21 c | 2084 | 2368 8548 116049 | 8857 2081 75 | 23.562 % | 43.27/43.36 c | 3225 | 2368 8548 116049 | 9743 3222 74 | 23.562 % | 43.57/43.66 c | 4934 | 2368 8548 116049 | 10717 4931 73 | 23.562 % | 44.18/44.25 c | 7498 | 2368 8548 116049 | 11789 7495 77 | 23.562 % | 45.27/45.38 c | 11344 | 2365 8548 116049 | 12968 11340 79 | 23.562 % | 46.87/46.94 c | 17113 | 2365 8548 116049 | 14265 10148 75 | 23.659 % | 50.67/50.72 c | 25765 | 2359 8548 116049 | 15692 11233 80 | 23.756 % | 57.27/57.37 c | 38741 | 2356 8548 116049 | 17261 15913 80 | 23.853 % | 64.68/64.75 c =============================================================================== 65.37/65.41 c core #310 65.37/65.41 c Core size: 619 Core Weight: 1 Total Weight: 310 65.37/65.41 c Elapsed CPU time: 64.9251 s Remaining CPU time: 1735.07 s 65.47/65.50 c ============================[ Search Statistics ]============================== 65.47/65.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 65.47/65.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 65.47/65.50 c =============================================================================== 65.47/65.50 c | 0 | 2414 8549 116117 | 5000 0 nan | 0.000 % | 65.47/65.52 c | 101 | 2414 8549 116117 | 5500 101 30 | 22.826 % | 65.47/65.53 c | 252 | 2414 8549 116117 | 6050 252 59 | 22.826 % | 65.47/65.55 c | 480 | 2413 8549 116117 | 6655 480 75 | 22.922 % | 65.47/65.58 c | 817 | 2413 8549 116117 | 7320 817 85 | 22.922 % | 65.57/65.67 c | 1323 | 2413 8549 116117 | 8052 1323 95 | 23.018 % | 65.77/65.83 c | 2082 | 2413 8549 116117 | 8857 2082 102 | 23.018 % | 66.07/66.17 c | 3222 | 2408 8549 116117 | 9743 3220 103 | 23.018 % | 66.87/66.93 c | 4933 | 2408 8549 116117 | 10717 4931 107 | 23.018 % | 68.07/68.11 c | 7496 | 2408 8549 116117 | 11789 7494 110 | 23.018 % | 70.37/70.48 c | 11341 | 2403 8549 116117 | 12968 11338 115 | 23.242 % | 74.97/75.00 c | 17107 | 2400 8549 116117 | 14265 10186 123 | 23.561 % | 77.46/77.59 c | 25758 | 2400 8549 116117 | 15692 11203 97 | 23.689 % | 84.67/84.75 c | 38732 | 2383 8549 116117 | 17261 15859 105 | 23.849 % | 98.06/98.19 c | 58197 | 2383 8549 116117 | 18987 17222 108 | 24.137 % | 115.76/115.84 c | 87389 | 2372 8549 116117 | 20886 16630 106 | 24.489 % | 147.44/147.53 c | 131178 | 2350 8549 116117 | 22974 16784 98 | 24.872 % | 154.65/154.73 c =============================================================================== 157.04/157.16 c core #311 157.04/157.16 c Core size: 635 Core Weight: 1 Total Weight: 311 157.04/157.16 c Elapsed CPU time: 156.159 s Remaining CPU time: 1643.84 s 157.25/157.35 c ============================[ Search Statistics ]============================== 157.25/157.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 157.25/157.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 157.25/157.35 c =============================================================================== 157.25/157.35 c | 0 | 2456 8550 116201 | 5000 0 nan | 0.000 % | 157.25/157.36 c =============================================================================== 157.25/157.36 c core #312 157.25/157.36 c Core size: 233 Core Weight: 1 Total Weight: 312 157.25/157.36 c Elapsed CPU time: 156.36 s Remaining CPU time: 1643.64 s 157.35/157.41 c ============================[ Search Statistics ]============================== 157.35/157.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 157.35/157.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 157.35/157.41 c =============================================================================== 157.35/157.41 c | 0 | 2462 8551 116213 | 5000 0 nan | 0.000 % | 157.35/157.42 c | 100 | 2462 8551 116213 | 5500 100 31 | 22.481 % | 157.35/157.42 c | 251 | 2462 8551 116213 | 6050 251 40 | 22.481 % | 157.35/157.44 c | 486 | 2462 8551 116213 | 6655 486 50 | 22.481 % | 157.35/157.47 c | 825 | 2462 8551 116213 | 7320 825 63 | 22.481 % | 157.44/157.53 c | 1332 | 2462 8551 116213 | 8052 1332 85 | 22.481 % | 157.64/157.71 c | 2093 | 2462 8551 116213 | 8857 2093 100 | 22.481 % | 157.84/157.92 c | 3232 | 2462 8551 116213 | 9743 3232 111 | 22.481 % | 158.24/158.35 c | 4940 | 2462 8551 116213 | 10717 4940 127 | 22.481 % | 159.04/159.19 c | 7502 | 2459 8551 116213 | 11789 7501 137 | 22.576 % | 161.84/162.00 c | 11348 | 2459 8551 116213 | 12968 11347 144 | 22.796 % | 166.74/166.83 c | 17114 | 2459 8551 116213 | 14265 10196 152 | 22.985 % | 173.83/173.96 c | 25764 | 2446 8551 116213 | 15692 11268 152 | 22.985 % | 183.24/183.35 c | 38738 | 2441 8551 116213 | 17261 15950 142 | 23.583 % | 205.92/206.07 c | 58202 | 2420 8551 116213 | 18987 17199 148 | 24.150 % | 227.12/227.20 c | 87395 | 2402 8551 116213 | 20886 16450 144 | 24.370 % | 262.32/262.41 c | 131187 | 2402 8551 116213 | 22974 16535 131 | 24.591 % | 307.21/307.38 c =============================================================================== 307.21/307.39 c core #313 307.21/307.39 c Core size: 211 Core Weight: 1 Total Weight: 313 307.21/307.39 c Elapsed CPU time: 305.696 s Remaining CPU time: 1494.3 s 307.50/307.63 c ============================[ Search Statistics ]============================== 307.50/307.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 307.50/307.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 307.50/307.63 c =============================================================================== 307.50/307.63 c | 0 | 2487 8552 116263 | 5000 0 nan | 0.000 % | 307.50/307.66 c =============================================================================== 307.50/307.66 c core #314 307.50/307.66 c Core size: 244 Core Weight: 1 Total Weight: 314 307.50/307.66 c Elapsed CPU time: 305.961 s Remaining CPU time: 1494.04 s 307.60/307.71 c ============================[ Search Statistics ]============================== 307.60/307.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 307.60/307.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 307.60/307.71 c =============================================================================== 307.60/307.71 c | 0 | 2496 8553 116281 | 5000 0 nan | 0.000 % | 307.60/307.72 c | 102 | 2490 8553 116281 | 5500 102 24 | 22.555 % | 307.60/307.72 c | 252 | 2490 8553 116281 | 6050 252 25 | 22.555 % | 307.60/307.74 c | 478 | 2490 8553 116281 | 6655 478 35 | 22.555 % | 307.60/307.76 c | 816 | 2490 8553 116281 | 7320 816 44 | 22.555 % | 307.70/307.81 c | 1326 | 2490 8553 116281 | 8052 1326 50 | 22.648 % | 307.80/307.91 c | 2086 | 2490 8553 116281 | 8857 2086 57 | 22.741 % | 307.90/308.07 c | 3227 | 2480 8553 116281 | 9743 3219 58 | 22.741 % | 308.30/308.47 c | 4937 | 2480 8553 116281 | 10717 4929 61 | 22.741 % | 309.20/309.31 c | 7504 | 2476 8553 116281 | 11789 7495 61 | 22.866 % | 310.50/310.69 c | 11349 | 2476 8553 116281 | 12968 11340 61 | 22.866 % | 312.70/312.82 c | 17117 | 2476 8553 116281 | 14265 10203 58 | 23.178 % | 317.50/317.65 c =============================================================================== 317.90/318.09 c core #315 317.90/318.09 c Core size: 212 Core Weight: 1 Total Weight: 315 317.90/318.09 c Elapsed CPU time: 316.338 s Remaining CPU time: 1483.66 s 318.00/318.17 c ============================[ Search Statistics ]============================== 318.00/318.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 318.00/318.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 318.00/318.17 c =============================================================================== 318.00/318.17 c | 0 | 2521 8554 116331 | 5000 0 nan | 0.000 % | 318.00/318.19 c | 100 | 2521 8554 116331 | 5500 100 24 | 22.071 % | 318.09/318.20 c | 250 | 2520 8554 116331 | 6050 250 24 | 22.102 % | 318.09/318.21 c | 477 | 2517 8554 116331 | 6655 477 28 | 22.226 % | 318.09/318.23 c | 815 | 2515 8554 116331 | 7320 815 28 | 22.257 % | 318.09/318.25 c =============================================================================== 318.09/318.25 c core #316 318.09/318.25 c Core size: 336 Core Weight: 1 Total Weight: 316 318.09/318.25 c Elapsed CPU time: 316.494 s Remaining CPU time: 1483.51 s 318.09/318.29 c ============================[ Search Statistics ]============================== 318.09/318.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 318.09/318.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 318.09/318.29 c =============================================================================== 318.09/318.29 c | 0 | 2551 8555 116391 | 5000 0 nan | 0.000 % | 318.20/318.30 c | 101 | 2551 8555 116391 | 5500 101 35 | 21.868 % | 318.20/318.31 c | 254 | 2545 8555 116391 | 6050 254 36 | 22.236 % | 318.20/318.33 c | 481 | 2543 8555 116391 | 6655 481 41 | 22.297 % | 318.20/318.36 c | 818 | 2541 8555 116391 | 7320 818 64 | 22.358 % | 318.30/318.43 c | 1324 | 2541 8555 116391 | 8052 1324 81 | 22.481 % | 318.40/318.54 c | 2084 | 2531 8555 116391 | 8857 2073 98 | 22.481 % | 318.69/318.84 c | 3223 | 2531 8555 116391 | 9743 3212 113 | 22.481 % | 319.09/319.26 c | 4932 | 2531 8555 116391 | 10717 4921 118 | 22.481 % | 320.00/320.14 c | 7494 | 2531 8555 116391 | 11789 7483 125 | 22.481 % | 321.50/321.68 c | 11342 | 2531 8555 116391 | 12968 11331 128 | 22.481 % | 324.40/324.54 c | 17109 | 2527 8555 116391 | 14265 10165 128 | 22.787 % | 329.29/329.42 c | 25759 | 2525 8555 116391 | 15692 11238 128 | 22.818 % | 337.00/337.13 c | 38734 | 2523 8555 116391 | 17261 15918 127 | 23.093 % | 351.29/351.47 c | 58197 | 2505 8555 116391 | 18987 17271 139 | 23.277 % | 370.09/370.29 c | 87390 | 2503 8555 116391 | 20886 16525 127 | 23.338 % | 408.27/408.48 c | 131182 | 2493 8555 116391 | 22974 16531 124 | 23.645 % | 454.57/454.74 c | 196868 | 2492 8555 116391 | 25272 21830 120 | 23.737 % | 525.84/526.02 c | 295396 | 2490 8555 116391 | 27799 22902 119 | 23.737 % | 657.31/657.51 c | 443191 | 2487 8555 116391 | 30579 25634 126 | 23.982 % | 849.97/850.25 c | 664874 | 2479 8555 116391 | 33637 26861 127 | 24.288 % | 1019.33/1019.63 c =============================================================================== 1020.63/1021.00 c core #317 1020.63/1021.00 c Core size: 213 Core Weight: 1 Total Weight: 317 1020.63/1021.00 c Elapsed CPU time: 1016.05 s Remaining CPU time: 783.949 s 1021.53/1021.86 c ============================[ Search Statistics ]============================== 1021.53/1021.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 1021.53/1021.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1021.53/1021.86 c =============================================================================== 1021.53/1021.86 c | 0 | 2576 8556 116441 | 5000 0 nan | 0.000 % | 1021.63/1021.92 c | 102 | 2575 8556 116441 | 5500 102 27 | 21.733 % | 1021.63/1021.99 c | 253 | 2575 8556 116441 | 6050 253 42 | 21.733 % | 1021.72/1022.01 c | 482 | 2572 8556 116441 | 6655 482 40 | 21.824 % | 1021.72/1022.04 c | 819 | 2572 8556 116441 | 7320 819 38 | 21.824 % | 1021.82/1022.12 c | 1326 | 2572 8556 116441 | 8052 1326 52 | 21.824 % | 1021.92/1022.21 c | 2087 | 2572 8556 116441 | 8857 2087 79 | 21.824 % | 1022.13/1022.42 c | 3230 | 2572 8556 116441 | 9743 3224 97 | 21.915 % | 1022.62/1022.91 c | 4942 | 2570 8556 116441 | 10717 4936 114 | 22.067 % | 1023.43/1023.72 c | 7504 | 2569 8556 116441 | 11789 7498 124 | 22.158 % | 1025.52/1025.80 c | 11349 | 2569 8556 116441 | 12968 11343 134 | 22.158 % | 1030.13/1030.47 c | 17115 | 2561 8556 116441 | 14265 10210 150 | 22.158 % | 1040.52/1040.81 c | 25766 | 2559 8556 116441 | 15692 11298 154 | 22.432 % | 1063.01/1063.32 c | 38742 | 2559 8556 116441 | 17261 16029 157 | 22.766 % | 1083.70/1084.04 c | 58207 | 2553 8556 116441 | 18987 17337 161 | 22.888 % | 1104.91/1105.29 c | 87400 | 2535 8556 116441 | 20886 16616 139 | 23.495 % | 1144.49/1144.80 c | 131189 | 2513 8556 116441 | 22974 16835 157 | 23.617 % | 1192.09/1192.43 c | 196881 | 2508 8556 116441 | 25272 22316 123 | 23.769 % | 1266.87/1267.23 c | 295409 | 2504 8556 116441 | 27799 20785 137 | 23.891 % | 1383.93/1384.37 c | 443202 | 2500 8556 116441 | 30579 25759 129 | 24.316 % | 1552.50/1552.93 c | 664885 | 2490 8556 116441 | 33637 29060 128 | 24.316 % |
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-1876194-1245154044/watcher-1876194-1245154044 -o /tmp/evaluation-result-1876194-1245154044/solver-1876194-1245154044 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876194-1245154044.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 5793 /proc/meminfo: memFree=1927080/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=2588 CPUtime=0 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 212 0 0 0 0 0 0 0 18 0 1 0 183004777 2650112 196 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 647 196 128 292 0 339 0 [startup+0.0359689 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5793 /proc/meminfo: memFree=1927080/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=2800 CPUtime=0.03 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 291 0 0 0 3 0 0 0 18 0 1 0 183004777 2867200 262 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 700 262 133 292 0 405 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2800 [startup+0.101972 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5793 /proc/meminfo: memFree=1927080/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=2972 CPUtime=0.09 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 331 0 0 0 9 0 0 0 18 0 1 0 183004777 3043328 302 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 743 302 133 292 0 448 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2972 [startup+0.301985 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5793 /proc/meminfo: memFree=1927080/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=3240 CPUtime=0.29 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 408 0 0 0 29 0 0 0 19 0 1 0 183004777 3317760 379 1992294400 134512640 135709839 4294956240 18446744073709551615 134571126 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 810 379 133 292 0 515 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3240 [startup+0.702011 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5793 /proc/meminfo: memFree=1927080/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=5124 CPUtime=0.69 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 872 0 0 0 69 0 0 0 19 0 1 0 183004777 5246976 843 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 1281 843 136 292 0 986 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5124 [startup+1.50106 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1923488/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=6816 CPUtime=1.49 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 1322 0 0 0 147 2 0 0 25 0 1 0 183004777 6979584 1266 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 1704 1266 136 292 0 1409 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6816 [startup+3.10117 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1920544/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=9712 CPUtime=3.09 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 2045 0 0 0 305 4 0 0 25 0 1 0 183004777 9945088 1989 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 2428 1989 136 292 0 2133 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9712 [startup+6.30237 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1918176/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=10820 CPUtime=6.29 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 2330 0 0 0 623 6 0 0 25 0 1 0 183004777 11079680 2274 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 2705 2274 136 292 0 2410 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10820 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1915560/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=13768 CPUtime=12.69 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 3052 0 0 0 1257 12 0 0 25 0 1 0 183004777 14098432 2996 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 3442 2996 136 292 0 3147 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13768 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1906600/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=22380 CPUtime=25.49 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 5224 0 0 0 2525 24 0 0 25 0 1 0 183004777 22917120 5168 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 5595 5168 136 292 0 5300 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 22380 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1890984/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=37804 CPUtime=51.07 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 9079 0 0 0 5069 38 0 0 25 0 1 0 183004777 38711296 9023 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 9451 9023 136 292 0 9156 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 37804 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1849512/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=79452 CPUtime=102.26 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 19448 0 0 0 10157 69 0 0 25 0 1 0 183004777 81358848 19392 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 19863 19392 136 292 0 19568 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 79452 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1797928/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=130668 CPUtime=162.24 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 32285 0 0 0 16126 98 0 0 25 0 1 0 183004777 133804032 32229 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 32667 32229 136 292 0 32372 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 130668 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1772904/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=155716 CPUtime=222.23 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 38514 0 0 0 22103 120 0 0 25 0 1 0 183004777 159453184 38458 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 38929 38458 136 292 0 38634 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 155716 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1716840/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=212348 CPUtime=282.21 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 52666 0 0 0 28073 148 0 0 25 0 1 0 183004777 217444352 52610 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 53087 52610 136 292 0 52792 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 212348 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1682216/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=246060 CPUtime=342.19 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 61140 0 0 0 34040 179 0 0 25 0 1 0 183004777 251965440 61084 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 61515 61084 136 292 0 61220 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 246060 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1636520/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=292112 CPUtime=402.17 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 72632 0 0 0 40013 204 0 0 25 0 1 0 183004777 299122688 72576 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 73028 72576 136 292 0 72733 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 292112 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1585320/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=343108 CPUtime=462.16 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 85342 0 0 0 45985 231 0 0 25 0 1 0 183004777 351342592 85286 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 85777 85286 136 292 0 85482 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 343108 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1524968/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=403916 CPUtime=522.15 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 100518 0 0 0 51951 264 0 0 25 0 1 0 183004777 413609984 100462 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 100979 100462 136 292 0 100684 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 403916 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1479848/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=448712 CPUtime=582.13 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 111659 0 0 0 57926 287 0 0 25 0 1 0 183004777 459481088 111603 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 112178 111603 136 292 0 111883 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 448712 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1430120/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=497812 CPUtime=642.12 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 123923 0 0 0 63902 310 0 0 25 0 1 0 183004777 509759488 123867 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 124453 123867 136 292 0 124158 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 497812 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1235304/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=692568 CPUtime=882.05 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 172533 0 0 0 87791 414 0 0 25 0 1 0 183004777 709189632 172477 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 173142 172477 136 292 0 172847 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 692568 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1189864/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=738320 CPUtime=942.04 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 183946 0 0 0 93766 438 0 0 25 0 1 0 183004777 756039680 183890 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 184580 183890 136 292 0 184285 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 738320 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1149736/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=778364 CPUtime=1002.03 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 193880 0 0 0 99743 460 0 0 25 0 1 0 183004777 797044736 193824 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 194591 193824 136 292 0 194296 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 778364 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1136744/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=789944 CPUtime=1062.02 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 197128 0 0 0 105725 477 0 0 25 0 1 0 183004777 808902656 197037 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 197486 197037 136 292 0 197191 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 789944 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1107240/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=819656 CPUtime=1122 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 204549 0 0 0 111699 501 0 0 25 0 1 0 183004777 839327744 204458 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 204914 204458 136 292 0 204619 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 819656 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1068328/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=858904 CPUtime=1181.99 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 214350 0 0 0 117670 529 0 0 25 0 1 0 183004777 879517696 214259 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 214726 214259 136 292 0 214431 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 858904 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=1020328/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=906296 CPUtime=1241.97 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 226162 0 0 0 123638 559 0 0 25 0 1 0 183004777 928047104 226071 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 226574 226071 136 292 0 226279 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 906296 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=981864/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=944688 CPUtime=1301.96 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 235704 0 0 0 129614 582 0 0 25 0 1 0 183004777 967360512 235613 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 236172 235613 136 292 0 235877 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 944688 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=940136/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=986524 CPUtime=1361.94 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 246157 0 0 0 135586 608 0 0 25 0 1 0 183004777 1010200576 246066 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 246631 246066 136 292 0 246336 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 986524 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=897640/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=1028840 CPUtime=1421.93 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 256720 0 0 0 141559 634 0 0 25 0 1 0 183004777 1053532160 256629 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 257210 256629 136 292 0 256915 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1028840 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=862632/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=1064516 CPUtime=1481.91 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 265603 0 0 0 147532 659 0 0 25 0 1 0 183004777 1090064384 265512 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 266129 265512 136 292 0 265834 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1064516 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=818280/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=1108204 CPUtime=1541.9 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 276524 0 0 0 153500 690 0 0 25 0 1 0 183004777 1134800896 276433 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 277051 276433 136 292 0 276756 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1108204 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=768872/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=1157956 CPUtime=1601.88 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 288929 0 0 0 159475 713 0 0 25 0 1 0 183004777 1185746944 288838 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 289489 288838 136 292 0 289194 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1157956 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=726504/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=1199808 CPUtime=1661.87 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 299395 0 0 0 165451 736 0 0 25 0 1 0 183004777 1228603392 299304 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 299952 299304 136 292 0 299657 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1199808 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=691240/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=1235888 CPUtime=1721.85 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 308385 0 0 0 171430 755 0 0 25 0 1 0 183004777 1265549312 308294 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 308972 308294 136 292 0 308677 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1235888 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=640936/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=1285312 CPUtime=1781.83 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 320742 0 0 0 177405 778 0 0 25 0 1 0 183004777 1316159488 320651 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 321328 320651 136 292 0 321033 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1285312 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5794 /proc/meminfo: memFree=627240/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=1298792 CPUtime=1800.03 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4194304 324102 0 0 0 179217 786 0 0 25 0 1 0 183004777 1329963008 324011 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 324698 324011 136 292 0 324403 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1298792 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 5795 /proc/meminfo: memFree=1275264/2055920 swapFree=4181748/4192956 [pid=5793] ppid=5791 vsize=0 CPUtime=1800.15 /proc/5793/stat : 5793 (wbo) R 5791 5793 5437 0 -1 4195332 324102 0 0 0 179218 797 0 0 25 0 1 0 183004777 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5793/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.7 CPU time (s): 1800.25 CPU user time (s): 1792.18 CPU system time (s): 8.06577 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 1298792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.18 system time used= 8.06577 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 324102 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= 6 involuntary context switches= 3177 runsolver used 1.3038 second user time and 3.76243 second system time The end
Begin job on node22 at 2009-06-16 14:07:24 IDJOB=1876194 IDBENCH=2115 IDSOLVER=698 FILE ID=node22/1876194-1245154044 PBS_JOBID= 9363747 Free space on /tmp= 66156 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-3-c.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-1876194-1245154044/watcher-1876194-1245154044 -o /tmp/evaluation-result-1876194-1245154044/solver-1876194-1245154044 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876194-1245154044.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 995cbcff162892786ed2539630dc8f6e RANDOM SEED=1464576793 node22.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.231 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.231 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: 1927432 kB Buffers: 21264 kB Cached: 58164 kB SwapCached: 5504 kB Active: 50412 kB Inactive: 36988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1927432 kB SwapTotal: 4192956 kB SwapFree: 4181748 kB Dirty: 2428 kB Writeback: 0 kB Mapped: 12960 kB Slab: 27080 kB Committed_AS: 154824 kB PageTables: 1372 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-1876194-1245154044.opb Free space on /tmp at the end= 66152 MiB End job on node22 at 2009-06-16 14:37:26