| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | UNSAT | 1.03584 | 1.03693 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa0432-003.opb |
| MD5SUM | 7eae448a5d260ba3e367d5a8053e4a27 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.015996 |
| Has Objective Function | YES |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 870 |
| Total number of constraints | 1462 |
| Number of constraints which are clauses | 1462 |
| 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 | 1 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 870 |
| 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 | 870 |
| 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 | 870 |
| 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-1876166-1245150290.opb. 0.00/0.00 c Instance file HOME/instance-1876166-1245150290.opb 0.00/0.00 c File size is 43218 bytes. 0.00/0.00 c Highest Coefficient sum: 6 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: 870 | 0.00/0.00 c | Number Clauses: 2332 | 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: 2 Core Weight: 1 Total Weight: 1 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 2 Core Weight: 1 Total Weight: 2 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #3 0.00/0.01 c Core size: 2 Core Weight: 1 Total Weight: 3 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #4 0.00/0.01 c Core size: 2 Core Weight: 1 Total Weight: 4 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #5 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 5 0.00/0.01 c Elapsed CPU time: 0.011998 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.013997 s Remaining CPU time: 1799.99 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.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #8 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 8 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #9 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 9 0.00/0.01 c Elapsed CPU time: 0.017997 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.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #11 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 11 0.00/0.02 c Elapsed CPU time: 0.020996 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.022996 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.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #14 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 14 0.00/0.02 c Elapsed CPU time: 0.025996 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.026995 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.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #17 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 17 0.00/0.03 c Elapsed CPU time: 0.030995 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.031995 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.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #20 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 20 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #21 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 21 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #22 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 22 0.00/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #23 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 23 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #24 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 24 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #25 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 25 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #26 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 26 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #27 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 27 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #28 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 28 0.00/0.04 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #29 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 29 0.00/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #30 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 30 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #31 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 31 0.00/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #32 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 32 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #33 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 33 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.00/0.05 c core #34 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 34 0.00/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #35 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 35 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #36 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 36 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #37 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 37 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #38 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 38 0.00/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #39 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 39 0.00/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #40 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 40 0.00/0.06 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.00/0.06 c core #41 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 41 0.00/0.06 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #42 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 42 0.00/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #43 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 43 0.00/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #44 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 44 0.00/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #45 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 45 0.00/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #46 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 46 0.00/0.07 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.00/0.07 c core #47 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 47 0.00/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #48 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 48 0.00/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #49 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 49 0.00/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #50 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 50 0.00/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #51 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 51 0.00/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #52 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 52 0.00/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #53 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 53 0.00/0.08 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #54 0.00/0.09 c Core size: 3 Core Weight: 1 Total Weight: 54 0.00/0.09 c Elapsed CPU time: 0.088986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #55 0.00/0.09 c Core size: 3 Core Weight: 1 Total Weight: 55 0.00/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #56 0.00/0.09 c Core size: 3 Core Weight: 1 Total Weight: 56 0.00/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #57 0.00/0.09 c Core size: 3 Core Weight: 1 Total Weight: 57 0.00/0.09 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #58 0.00/0.09 c Core size: 3 Core Weight: 1 Total Weight: 58 0.00/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #59 0.00/0.09 c Core size: 3 Core Weight: 1 Total Weight: 59 0.00/0.09 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.00/0.10 c core #60 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 60 0.00/0.10 c Elapsed CPU time: 0.098984 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.099984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #62 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 62 0.09/0.10 c Elapsed CPU time: 0.101984 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.103984 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.104984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #65 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 65 0.09/0.10 c Elapsed CPU time: 0.106983 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.108983 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.109983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #68 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 68 0.09/0.11 c Elapsed CPU time: 0.111982 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.113982 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.114982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #71 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 71 0.09/0.11 c Elapsed CPU time: 0.116982 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.118981 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.119981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #74 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 74 0.09/0.12 c Elapsed CPU time: 0.120981 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.122981 s Remaining CPU time: 1799.88 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.124981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #77 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 77 0.09/0.13 c Elapsed CPU time: 0.12698 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.12798 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.12898 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #80 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 80 0.09/0.13 c Elapsed CPU time: 0.13098 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.132979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #82 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 82 0.09/0.13 c Elapsed CPU time: 0.134979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #83 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 83 0.09/0.14 c Elapsed CPU time: 0.135979 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.137979 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.139978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #86 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 86 0.09/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 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.142978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #88 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 88 0.09/0.14 c Elapsed CPU time: 0.144977 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #89 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 89 0.09/0.15 c Elapsed CPU time: 0.146977 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.148977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #91 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 91 0.09/0.15 c Elapsed CPU time: 0.149977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #92 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 92 0.09/0.15 c Elapsed CPU time: 0.151976 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #93 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 93 0.09/0.15 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #94 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 94 0.09/0.16 c Elapsed CPU time: 0.155976 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #95 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 95 0.09/0.16 c Elapsed CPU time: 0.157975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #96 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 96 0.09/0.16 c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #97 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 97 0.09/0.16 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #98 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 98 0.09/0.16 c Elapsed CPU time: 0.162975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #99 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 99 0.09/0.16 c Elapsed CPU time: 0.164974 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #100 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 100 0.09/0.17 c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #101 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 101 0.09/0.17 c Elapsed CPU time: 0.168974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #102 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 102 0.09/0.17 c Elapsed CPU time: 0.170974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #103 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 103 0.09/0.17 c Elapsed CPU time: 0.172973 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #104 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 104 0.09/0.17 c Elapsed CPU time: 0.174973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #105 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 105 0.09/0.18 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #106 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 106 0.09/0.18 c Elapsed CPU time: 0.177972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #107 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 107 0.09/0.18 c Elapsed CPU time: 0.178972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #108 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 108 0.09/0.18 c Elapsed CPU time: 0.180972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #109 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 109 0.09/0.18 c Elapsed CPU time: 0.182972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #110 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 110 0.09/0.19 c Elapsed CPU time: 0.184971 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #111 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 111 0.09/0.19 c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #112 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 112 0.09/0.19 c Elapsed CPU time: 0.188971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #113 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 113 0.09/0.19 c Elapsed CPU time: 0.19097 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #114 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 114 0.09/0.19 c Elapsed CPU time: 0.19297 s Remaining CPU time: 1799.81 s 0.09/0.20 c core #115 0.09/0.20 c Core size: 3 Core Weight: 1 Total Weight: 115 0.09/0.20 c Elapsed CPU time: 0.19497 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #116 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 116 0.19/0.20 c Elapsed CPU time: 0.19697 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #117 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 117 0.19/0.20 c Elapsed CPU time: 0.197969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #118 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 118 0.19/0.20 c Elapsed CPU time: 0.199969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #119 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 119 0.19/0.20 c Elapsed CPU time: 0.201969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #120 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 120 0.19/0.20 c Elapsed CPU time: 0.203968 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #121 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 121 0.19/0.21 c Elapsed CPU time: 0.205968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #122 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 122 0.19/0.21 c Elapsed CPU time: 0.207968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #123 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 123 0.19/0.21 c Elapsed CPU time: 0.209968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #124 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 124 0.19/0.21 c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #125 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 125 0.19/0.21 c Elapsed CPU time: 0.213967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #126 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 126 0.19/0.22 c Elapsed CPU time: 0.215967 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #127 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 127 0.19/0.22 c Elapsed CPU time: 0.217966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #128 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 128 0.19/0.22 c Elapsed CPU time: 0.219966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #129 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 129 0.19/0.22 c Elapsed CPU time: 0.221966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #130 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 130 0.19/0.22 c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #131 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 131 0.19/0.23 c Elapsed CPU time: 0.225965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #132 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 132 0.19/0.23 c Elapsed CPU time: 0.227965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #133 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 133 0.19/0.23 c Elapsed CPU time: 0.229965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #134 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 134 0.19/0.23 c Elapsed CPU time: 0.231964 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #135 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 135 0.19/0.23 c Elapsed CPU time: 0.233964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #136 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 136 0.19/0.24 c Elapsed CPU time: 0.235964 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #137 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 137 0.19/0.24 c Elapsed CPU time: 0.237963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #138 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 138 0.19/0.24 c Elapsed CPU time: 0.239963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #139 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 139 0.19/0.24 c Elapsed CPU time: 0.241963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #140 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 140 0.19/0.24 c Elapsed CPU time: 0.243962 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #141 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 141 0.19/0.25 c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #142 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 142 0.19/0.25 c Elapsed CPU time: 0.245962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #143 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 143 0.19/0.25 c Elapsed CPU time: 0.247962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #144 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 144 0.19/0.25 c Elapsed CPU time: 0.250961 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #145 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 145 0.19/0.25 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #146 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 146 0.19/0.26 c Elapsed CPU time: 0.254961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #147 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 147 0.19/0.26 c Elapsed CPU time: 0.25696 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #148 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 148 0.19/0.26 c Elapsed CPU time: 0.25896 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #149 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 149 0.19/0.26 c Elapsed CPU time: 0.26096 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #150 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 150 0.19/0.26 c Elapsed CPU time: 0.26296 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #151 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 151 0.19/0.27 c Elapsed CPU time: 0.264959 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #152 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 152 0.19/0.27 c Elapsed CPU time: 0.266959 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #153 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 153 0.19/0.27 c Elapsed CPU time: 0.268959 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #154 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 154 0.19/0.27 c Elapsed CPU time: 0.270958 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #155 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 155 0.19/0.27 c Elapsed CPU time: 0.272958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #156 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 156 0.19/0.28 c Elapsed CPU time: 0.274958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #157 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 157 0.19/0.28 c Elapsed CPU time: 0.276957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #158 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 158 0.19/0.28 c Elapsed CPU time: 0.278957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #159 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 159 0.19/0.28 c Elapsed CPU time: 0.280957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #160 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 160 0.19/0.28 c Elapsed CPU time: 0.282956 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #161 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: 161 0.19/0.29 c Elapsed CPU time: 0.284956 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #162 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: 162 0.19/0.29 c Elapsed CPU time: 0.286956 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #163 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: 163 0.19/0.29 c Elapsed CPU time: 0.288956 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #164 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: 164 0.19/0.29 c Elapsed CPU time: 0.291955 s Remaining CPU time: 1799.71 s 0.19/0.30 c core #165 0.19/0.30 c Core size: 3 Core Weight: 1 Total Weight: 165 0.19/0.30 c Elapsed CPU time: 0.293955 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #166 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: 166 0.29/0.30 c Elapsed CPU time: 0.295955 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #167 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: 167 0.29/0.30 c Elapsed CPU time: 0.297954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #168 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: 168 0.29/0.30 c Elapsed CPU time: 0.299954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #169 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: 169 0.29/0.30 c Elapsed CPU time: 0.301954 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #170 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: 170 0.29/0.31 c Elapsed CPU time: 0.303953 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #171 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: 171 0.29/0.31 c Elapsed CPU time: 0.306953 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #172 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: 172 0.29/0.31 c Elapsed CPU time: 0.308953 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #173 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: 173 0.29/0.31 c Elapsed CPU time: 0.310952 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #174 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: 174 0.29/0.31 c Elapsed CPU time: 0.312952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #175 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 175 0.29/0.32 c Elapsed CPU time: 0.314952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #176 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 176 0.29/0.32 c Elapsed CPU time: 0.316951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #177 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 177 0.29/0.32 c Elapsed CPU time: 0.319951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #178 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 178 0.29/0.32 c Elapsed CPU time: 0.321951 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #179 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 179 0.29/0.33 c Elapsed CPU time: 0.32395 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #180 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 180 0.29/0.33 c Elapsed CPU time: 0.32595 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #181 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 181 0.29/0.33 c Elapsed CPU time: 0.32795 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #182 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 182 0.29/0.33 c Elapsed CPU time: 0.329949 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #183 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 183 0.29/0.33 c Elapsed CPU time: 0.332949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #184 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: 184 0.29/0.34 c Elapsed CPU time: 0.334949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #185 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: 185 0.29/0.34 c Elapsed CPU time: 0.336948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #186 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: 186 0.29/0.34 c Elapsed CPU time: 0.338948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #187 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: 187 0.29/0.34 c Elapsed CPU time: 0.340948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #188 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: 188 0.29/0.34 c Elapsed CPU time: 0.342947 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #189 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 189 0.29/0.35 c Elapsed CPU time: 0.344947 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #190 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 190 0.29/0.35 c Elapsed CPU time: 0.346947 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #191 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 191 0.29/0.35 c Elapsed CPU time: 0.348946 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #192 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 192 0.29/0.35 c Elapsed CPU time: 0.350946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #193 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 193 0.29/0.36 c Elapsed CPU time: 0.352946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #194 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 194 0.29/0.36 c Elapsed CPU time: 0.355945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #195 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 195 0.29/0.36 c Elapsed CPU time: 0.357945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #196 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 196 0.29/0.36 c Elapsed CPU time: 0.359945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #197 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 197 0.29/0.36 c Elapsed CPU time: 0.361944 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #198 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 198 0.29/0.37 c Elapsed CPU time: 0.363944 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #199 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 199 0.29/0.37 c Elapsed CPU time: 0.365944 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #200 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 200 0.29/0.37 c Elapsed CPU time: 0.368943 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #201 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 201 0.29/0.37 c Elapsed CPU time: 0.370943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #202 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 202 0.29/0.38 c Elapsed CPU time: 0.372943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #203 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 203 0.29/0.38 c Elapsed CPU time: 0.374943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #204 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 204 0.29/0.38 c Elapsed CPU time: 0.377942 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #205 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 205 0.29/0.38 c Elapsed CPU time: 0.379942 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #206 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 206 0.29/0.38 c Elapsed CPU time: 0.381941 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #207 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 207 0.29/0.39 c Elapsed CPU time: 0.383941 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #208 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 208 0.29/0.39 c Elapsed CPU time: 0.386941 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #209 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 209 0.29/0.39 c Elapsed CPU time: 0.38894 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #210 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 210 0.29/0.39 c Elapsed CPU time: 0.39094 s Remaining CPU time: 1799.61 s 0.29/0.40 c core #211 0.29/0.40 c Core size: 3 Core Weight: 1 Total Weight: 211 0.29/0.40 c Elapsed CPU time: 0.39294 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #212 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: 212 0.39/0.40 c Elapsed CPU time: 0.395939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #213 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: 213 0.39/0.40 c Elapsed CPU time: 0.397939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #214 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: 214 0.39/0.40 c Elapsed CPU time: 0.399939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #215 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: 215 0.39/0.40 c Elapsed CPU time: 0.401938 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #216 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 216 0.39/0.41 c Elapsed CPU time: 0.404938 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #217 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 217 0.39/0.41 c Elapsed CPU time: 0.406938 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #218 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 218 0.39/0.41 c Elapsed CPU time: 0.408937 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #219 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 219 0.39/0.41 c Elapsed CPU time: 0.410937 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #220 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: 220 0.39/0.42 c Elapsed CPU time: 0.412937 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #221 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: 221 0.39/0.42 c Elapsed CPU time: 0.414936 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #222 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: 222 0.39/0.42 c Elapsed CPU time: 0.416936 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #223 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: 223 0.39/0.42 c Elapsed CPU time: 0.418936 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #224 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 224 0.39/0.43 c Elapsed CPU time: 0.421935 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #225 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 225 0.39/0.43 c Elapsed CPU time: 0.423935 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #226 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 226 0.39/0.43 c Elapsed CPU time: 0.426935 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #227 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 227 0.39/0.43 c Elapsed CPU time: 0.428934 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #228 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 228 0.39/0.43 c Elapsed CPU time: 0.430934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #229 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: 229 0.39/0.44 c Elapsed CPU time: 0.432934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #230 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: 230 0.39/0.44 c Elapsed CPU time: 0.434933 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #231 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: 231 0.39/0.44 c Elapsed CPU time: 0.437933 s Remaining CPU time: 1799.56 s 0.39/0.44 c core #232 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: 232 0.39/0.44 c Elapsed CPU time: 0.439933 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #233 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: 233 0.39/0.45 c Elapsed CPU time: 0.440932 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #234 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: 234 0.39/0.45 c Elapsed CPU time: 0.443932 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #235 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: 235 0.39/0.45 c Elapsed CPU time: 0.445932 s Remaining CPU time: 1799.55 s 0.39/0.45 c core #236 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: 236 0.39/0.45 c Elapsed CPU time: 0.447931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #237 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: 237 0.39/0.46 c Elapsed CPU time: 0.449931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #238 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: 238 0.39/0.46 c Elapsed CPU time: 0.451931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #239 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: 239 0.39/0.46 c Elapsed CPU time: 0.45393 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #240 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: 240 0.39/0.46 c Elapsed CPU time: 0.45693 s Remaining CPU time: 1799.54 s 0.39/0.46 c core #241 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: 241 0.39/0.46 c Elapsed CPU time: 0.45893 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #242 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 242 0.39/0.47 c Elapsed CPU time: 0.460929 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #243 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 243 0.39/0.47 c Elapsed CPU time: 0.463929 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #244 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 244 0.39/0.47 c Elapsed CPU time: 0.465929 s Remaining CPU time: 1799.53 s 0.39/0.47 c core #245 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 245 0.39/0.47 c Elapsed CPU time: 0.467928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #246 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 246 0.39/0.48 c Elapsed CPU time: 0.469928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #247 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 247 0.39/0.48 c Elapsed CPU time: 0.472928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #248 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 248 0.39/0.48 c Elapsed CPU time: 0.474927 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #249 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 249 0.39/0.48 c Elapsed CPU time: 0.477927 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #250 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: 250 0.39/0.49 c Elapsed CPU time: 0.479927 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #251 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: 251 0.39/0.49 c Elapsed CPU time: 0.481926 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #252 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: 252 0.39/0.49 c Elapsed CPU time: 0.483926 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #253 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: 253 0.39/0.49 c Elapsed CPU time: 0.485926 s Remaining CPU time: 1799.51 s 0.39/0.49 c core #254 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: 254 0.39/0.49 c Elapsed CPU time: 0.487925 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #255 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 255 0.49/0.50 c Elapsed CPU time: 0.490925 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #256 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 256 0.49/0.50 c Elapsed CPU time: 0.492925 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #257 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 257 0.49/0.50 c Elapsed CPU time: 0.494924 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #258 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 258 0.49/0.50 c Elapsed CPU time: 0.497924 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #259 0.49/0.51 c Core size: 4 Core Weight: 1 Total Weight: 259 0.49/0.51 c Elapsed CPU time: 0.499924 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #260 0.49/0.51 c Core size: 4 Core Weight: 1 Total Weight: 260 0.49/0.51 c Elapsed CPU time: 0.502923 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #261 0.49/0.51 c Core size: 4 Core Weight: 1 Total Weight: 261 0.49/0.51 c Elapsed CPU time: 0.504923 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #262 0.49/0.51 c Core size: 4 Core Weight: 1 Total Weight: 262 0.49/0.51 c Elapsed CPU time: 0.507922 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #263 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 263 0.49/0.52 c Elapsed CPU time: 0.509922 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #264 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 264 0.49/0.52 c Elapsed CPU time: 0.511922 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #265 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 265 0.49/0.52 c Elapsed CPU time: 0.513921 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #266 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 266 0.49/0.52 c Elapsed CPU time: 0.516921 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #267 0.49/0.53 c Core size: 4 Core Weight: 1 Total Weight: 267 0.49/0.53 c Elapsed CPU time: 0.518921 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #268 0.49/0.53 c Core size: 4 Core Weight: 1 Total Weight: 268 0.49/0.53 c Elapsed CPU time: 0.52092 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #269 0.49/0.53 c Core size: 4 Core Weight: 1 Total Weight: 269 0.49/0.53 c Elapsed CPU time: 0.52392 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #270 0.49/0.53 c Core size: 4 Core Weight: 1 Total Weight: 270 0.49/0.53 c Elapsed CPU time: 0.52592 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #271 0.49/0.54 c Core size: 4 Core Weight: 1 Total Weight: 271 0.49/0.54 c Elapsed CPU time: 0.528919 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #272 0.49/0.54 c Core size: 4 Core Weight: 1 Total Weight: 272 0.49/0.54 c Elapsed CPU time: 0.530919 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #273 0.49/0.54 c Core size: 4 Core Weight: 1 Total Weight: 273 0.49/0.54 c Elapsed CPU time: 0.533918 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #274 0.49/0.54 c Core size: 4 Core Weight: 1 Total Weight: 274 0.49/0.54 c Elapsed CPU time: 0.535918 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #275 0.49/0.55 c Core size: 4 Core Weight: 1 Total Weight: 275 0.49/0.55 c Elapsed CPU time: 0.538918 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #276 0.49/0.55 c Core size: 4 Core Weight: 1 Total Weight: 276 0.49/0.55 c Elapsed CPU time: 0.540917 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #277 0.49/0.55 c Core size: 4 Core Weight: 1 Total Weight: 277 0.49/0.55 c Elapsed CPU time: 0.542917 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #278 0.49/0.55 c Core size: 4 Core Weight: 1 Total Weight: 278 0.49/0.55 c Elapsed CPU time: 0.545917 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #279 0.49/0.56 c Core size: 4 Core Weight: 1 Total Weight: 279 0.49/0.56 c Elapsed CPU time: 0.547916 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #280 0.49/0.56 c Core size: 4 Core Weight: 1 Total Weight: 280 0.49/0.56 c Elapsed CPU time: 0.550916 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #281 0.49/0.56 c Core size: 4 Core Weight: 1 Total Weight: 281 0.49/0.56 c Elapsed CPU time: 0.552915 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #282 0.49/0.56 c Core size: 5 Core Weight: 1 Total Weight: 282 0.49/0.56 c Elapsed CPU time: 0.555915 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #283 0.49/0.57 c Core size: 5 Core Weight: 1 Total Weight: 283 0.49/0.57 c Elapsed CPU time: 0.557915 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #284 0.49/0.57 c Core size: 5 Core Weight: 1 Total Weight: 284 0.49/0.57 c Elapsed CPU time: 0.559914 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #285 0.49/0.57 c Core size: 5 Core Weight: 1 Total Weight: 285 0.49/0.57 c Elapsed CPU time: 0.561914 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #286 0.49/0.57 c Core size: 5 Core Weight: 1 Total Weight: 286 0.49/0.57 c Elapsed CPU time: 0.564914 s Remaining CPU time: 1799.44 s 0.49/0.58 c core #287 0.49/0.58 c Core size: 5 Core Weight: 1 Total Weight: 287 0.49/0.58 c Elapsed CPU time: 0.566913 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #288 0.49/0.58 c Core size: 5 Core Weight: 1 Total Weight: 288 0.49/0.58 c Elapsed CPU time: 0.569913 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #289 0.49/0.58 c Core size: 5 Core Weight: 1 Total Weight: 289 0.49/0.58 c Elapsed CPU time: 0.572912 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #290 0.49/0.58 c Core size: 5 Core Weight: 1 Total Weight: 290 0.49/0.58 c Elapsed CPU time: 0.574912 s Remaining CPU time: 1799.43 s 0.49/0.59 c core #291 0.49/0.59 c Core size: 5 Core Weight: 1 Total Weight: 291 0.49/0.59 c Elapsed CPU time: 0.577912 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #292 0.49/0.59 c Core size: 5 Core Weight: 1 Total Weight: 292 0.49/0.59 c Elapsed CPU time: 0.579911 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #293 0.49/0.59 c Core size: 5 Core Weight: 1 Total Weight: 293 0.49/0.59 c Elapsed CPU time: 0.582911 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #294 0.49/0.59 c Core size: 5 Core Weight: 1 Total Weight: 294 0.49/0.59 c Elapsed CPU time: 0.58591 s Remaining CPU time: 1799.41 s 0.49/0.60 c core #295 0.49/0.60 c Core size: 5 Core Weight: 1 Total Weight: 295 0.49/0.60 c Elapsed CPU time: 0.58791 s Remaining CPU time: 1799.41 s 0.59/0.60 c core #296 0.59/0.60 c Core size: 5 Core Weight: 1 Total Weight: 296 0.59/0.60 c Elapsed CPU time: 0.59091 s Remaining CPU time: 1799.41 s 0.59/0.60 c core #297 0.59/0.60 c Core size: 5 Core Weight: 1 Total Weight: 297 0.59/0.60 c Elapsed CPU time: 0.592909 s Remaining CPU time: 1799.41 s 0.59/0.60 c core #298 0.59/0.60 c Core size: 5 Core Weight: 1 Total Weight: 298 0.59/0.60 c Elapsed CPU time: 0.595909 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #299 0.59/0.61 c Core size: 5 Core Weight: 1 Total Weight: 299 0.59/0.61 c Elapsed CPU time: 0.598908 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #300 0.59/0.61 c Core size: 5 Core Weight: 1 Total Weight: 300 0.59/0.61 c Elapsed CPU time: 0.600908 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #301 0.59/0.61 c Core size: 5 Core Weight: 1 Total Weight: 301 0.59/0.61 c Elapsed CPU time: 0.603908 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #302 0.59/0.61 c Core size: 5 Core Weight: 1 Total Weight: 302 0.59/0.61 c Elapsed CPU time: 0.605907 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #303 0.59/0.62 c Core size: 5 Core Weight: 1 Total Weight: 303 0.59/0.62 c Elapsed CPU time: 0.608907 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #304 0.59/0.62 c Core size: 5 Core Weight: 1 Total Weight: 304 0.59/0.62 c Elapsed CPU time: 0.611906 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #305 0.59/0.62 c Core size: 6 Core Weight: 1 Total Weight: 305 0.59/0.62 c Elapsed CPU time: 0.613906 s Remaining CPU time: 1799.39 s 0.59/0.63 c core #306 0.59/0.63 c Core size: 5 Core Weight: 1 Total Weight: 306 0.59/0.63 c Elapsed CPU time: 0.616906 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #307 0.59/0.63 c Core size: 5 Core Weight: 1 Total Weight: 307 0.59/0.63 c Elapsed CPU time: 0.618905 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #308 0.59/0.63 c Core size: 5 Core Weight: 1 Total Weight: 308 0.59/0.63 c Elapsed CPU time: 0.621905 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #309 0.59/0.63 c Core size: 5 Core Weight: 1 Total Weight: 309 0.59/0.63 c Elapsed CPU time: 0.623905 s Remaining CPU time: 1799.38 s 0.59/0.64 c core #310 0.59/0.64 c Core size: 5 Core Weight: 1 Total Weight: 310 0.59/0.64 c Elapsed CPU time: 0.626904 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #311 0.59/0.64 c Core size: 5 Core Weight: 1 Total Weight: 311 0.59/0.64 c Elapsed CPU time: 0.628904 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #312 0.59/0.64 c Core size: 5 Core Weight: 1 Total Weight: 312 0.59/0.64 c Elapsed CPU time: 0.630904 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #313 0.59/0.64 c Core size: 5 Core Weight: 1 Total Weight: 313 0.59/0.64 c Elapsed CPU time: 0.633903 s Remaining CPU time: 1799.37 s 0.59/0.65 c core #314 0.59/0.65 c Core size: 5 Core Weight: 1 Total Weight: 314 0.59/0.65 c Elapsed CPU time: 0.636903 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #315 0.59/0.65 c Core size: 6 Core Weight: 1 Total Weight: 315 0.59/0.65 c Elapsed CPU time: 0.638902 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #316 0.59/0.65 c Core size: 5 Core Weight: 1 Total Weight: 316 0.59/0.65 c Elapsed CPU time: 0.641902 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #317 0.59/0.65 c Core size: 5 Core Weight: 1 Total Weight: 317 0.59/0.65 c Elapsed CPU time: 0.644901 s Remaining CPU time: 1799.36 s 0.59/0.66 c core #318 0.59/0.66 c Core size: 5 Core Weight: 1 Total Weight: 318 0.59/0.66 c Elapsed CPU time: 0.646901 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #319 0.59/0.66 c Core size: 5 Core Weight: 1 Total Weight: 319 0.59/0.66 c Elapsed CPU time: 0.649901 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #320 0.59/0.66 c Core size: 5 Core Weight: 1 Total Weight: 320 0.59/0.66 c Elapsed CPU time: 0.6529 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #321 0.59/0.66 c Core size: 5 Core Weight: 1 Total Weight: 321 0.59/0.66 c Elapsed CPU time: 0.6549 s Remaining CPU time: 1799.35 s 0.59/0.67 c core #322 0.59/0.67 c Core size: 5 Core Weight: 1 Total Weight: 322 0.59/0.67 c Elapsed CPU time: 0.657899 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #323 0.59/0.67 c Core size: 5 Core Weight: 1 Total Weight: 323 0.59/0.67 c Elapsed CPU time: 0.659899 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #324 0.59/0.67 c Core size: 5 Core Weight: 1 Total Weight: 324 0.59/0.67 c Elapsed CPU time: 0.662899 s Remaining CPU time: 1799.34 s 0.59/0.68 c core #325 0.59/0.68 c Core size: 5 Core Weight: 1 Total Weight: 325 0.59/0.68 c Elapsed CPU time: 0.665898 s Remaining CPU time: 1799.33 s 0.59/0.68 c core #326 0.59/0.68 c Core size: 5 Core Weight: 1 Total Weight: 326 0.59/0.68 c Elapsed CPU time: 0.667898 s Remaining CPU time: 1799.33 s 0.59/0.68 c core #327 0.59/0.68 c Core size: 5 Core Weight: 1 Total Weight: 327 0.59/0.68 c Elapsed CPU time: 0.670898 s Remaining CPU time: 1799.33 s 0.59/0.68 c core #328 0.59/0.68 c Core size: 5 Core Weight: 1 Total Weight: 328 0.59/0.68 c Elapsed CPU time: 0.673897 s Remaining CPU time: 1799.33 s 0.59/0.69 c core #329 0.59/0.69 c Core size: 5 Core Weight: 1 Total Weight: 329 0.59/0.69 c Elapsed CPU time: 0.675897 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #330 0.59/0.69 c Core size: 5 Core Weight: 1 Total Weight: 330 0.59/0.69 c Elapsed CPU time: 0.678896 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #331 0.59/0.69 c Core size: 5 Core Weight: 1 Total Weight: 331 0.59/0.69 c Elapsed CPU time: 0.681896 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #332 0.59/0.69 c Core size: 5 Core Weight: 1 Total Weight: 332 0.59/0.69 c Elapsed CPU time: 0.684895 s Remaining CPU time: 1799.32 s 0.69/0.70 c core #333 0.69/0.70 c Core size: 5 Core Weight: 1 Total Weight: 333 0.69/0.70 c Elapsed CPU time: 0.687895 s Remaining CPU time: 1799.31 s 0.69/0.70 c core #334 0.69/0.70 c Core size: 5 Core Weight: 1 Total Weight: 334 0.69/0.70 c Elapsed CPU time: 0.689895 s Remaining CPU time: 1799.31 s 0.69/0.70 c core #335 0.69/0.70 c Core size: 5 Core Weight: 1 Total Weight: 335 0.69/0.70 c Elapsed CPU time: 0.692894 s Remaining CPU time: 1799.31 s 0.69/0.71 c core #336 0.69/0.71 c Core size: 5 Core Weight: 1 Total Weight: 336 0.69/0.71 c Elapsed CPU time: 0.695894 s Remaining CPU time: 1799.3 s 0.69/0.71 c core #337 0.69/0.71 c Core size: 5 Core Weight: 1 Total Weight: 337 0.69/0.71 c Elapsed CPU time: 0.698893 s Remaining CPU time: 1799.3 s 0.69/0.71 c core #338 0.69/0.71 c Core size: 5 Core Weight: 1 Total Weight: 338 0.69/0.71 c Elapsed CPU time: 0.700893 s Remaining CPU time: 1799.3 s 0.69/0.71 c core #339 0.69/0.71 c Core size: 5 Core Weight: 1 Total Weight: 339 0.69/0.71 c Elapsed CPU time: 0.703892 s Remaining CPU time: 1799.3 s 0.69/0.72 c core #340 0.69/0.72 c Core size: 5 Core Weight: 1 Total Weight: 340 0.69/0.72 c Elapsed CPU time: 0.706892 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #341 0.69/0.72 c Core size: 5 Core Weight: 1 Total Weight: 341 0.69/0.72 c Elapsed CPU time: 0.709892 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #342 0.69/0.72 c Core size: 5 Core Weight: 1 Total Weight: 342 0.69/0.72 c Elapsed CPU time: 0.711891 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #343 0.69/0.72 c Core size: 5 Core Weight: 1 Total Weight: 343 0.69/0.72 c Elapsed CPU time: 0.714891 s Remaining CPU time: 1799.29 s 0.69/0.73 c core #344 0.69/0.73 c Core size: 5 Core Weight: 1 Total Weight: 344 0.69/0.73 c Elapsed CPU time: 0.71789 s Remaining CPU time: 1799.28 s 0.69/0.73 c core #345 0.69/0.73 c Core size: 13 Core Weight: 1 Total Weight: 345 0.69/0.73 c Elapsed CPU time: 0.72089 s Remaining CPU time: 1799.28 s 0.69/0.73 c core #346 0.69/0.73 c Core size: 5 Core Weight: 1 Total Weight: 346 0.69/0.73 c Elapsed CPU time: 0.72289 s Remaining CPU time: 1799.28 s 0.69/0.74 c core #347 0.69/0.74 c Core size: 5 Core Weight: 1 Total Weight: 347 0.69/0.74 c Elapsed CPU time: 0.725889 s Remaining CPU time: 1799.27 s 0.69/0.74 c core #348 0.69/0.74 c Core size: 5 Core Weight: 1 Total Weight: 348 0.69/0.74 c Elapsed CPU time: 0.728889 s Remaining CPU time: 1799.27 s 0.69/0.74 c core #349 0.69/0.74 c Core size: 5 Core Weight: 1 Total Weight: 349 0.69/0.74 c Elapsed CPU time: 0.730888 s Remaining CPU time: 1799.27 s 0.69/0.74 c core #350 0.69/0.74 c Core size: 12 Core Weight: 1 Total Weight: 350 0.69/0.74 c Elapsed CPU time: 0.733888 s Remaining CPU time: 1799.27 s 0.69/0.75 c core #351 0.69/0.75 c Core size: 5 Core Weight: 1 Total Weight: 351 0.69/0.75 c Elapsed CPU time: 0.736887 s Remaining CPU time: 1799.26 s 0.69/0.75 c core #352 0.69/0.75 c Core size: 14 Core Weight: 1 Total Weight: 352 0.69/0.75 c Elapsed CPU time: 0.739887 s Remaining CPU time: 1799.26 s 0.69/0.75 c core #353 0.69/0.75 c Core size: 5 Core Weight: 1 Total Weight: 353 0.69/0.75 c Elapsed CPU time: 0.742887 s Remaining CPU time: 1799.26 s 0.69/0.76 c core #354 0.69/0.76 c Core size: 5 Core Weight: 1 Total Weight: 354 0.69/0.76 c Elapsed CPU time: 0.745886 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #355 0.69/0.76 c Core size: 5 Core Weight: 1 Total Weight: 355 0.69/0.76 c Elapsed CPU time: 0.748886 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #356 0.69/0.76 c Core size: 5 Core Weight: 1 Total Weight: 356 0.69/0.76 c Elapsed CPU time: 0.750885 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #357 0.69/0.76 c Core size: 5 Core Weight: 1 Total Weight: 357 0.69/0.76 c Elapsed CPU time: 0.753885 s Remaining CPU time: 1799.25 s 0.69/0.77 c core #358 0.69/0.77 c Core size: 14 Core Weight: 1 Total Weight: 358 0.69/0.77 c Elapsed CPU time: 0.756884 s Remaining CPU time: 1799.24 s 0.69/0.77 c core #359 0.69/0.77 c Core size: 9 Core Weight: 1 Total Weight: 359 0.69/0.77 c Elapsed CPU time: 0.759884 s Remaining CPU time: 1799.24 s 0.69/0.77 c core #360 0.69/0.77 c Core size: 5 Core Weight: 1 Total Weight: 360 0.69/0.77 c Elapsed CPU time: 0.762884 s Remaining CPU time: 1799.24 s 0.69/0.78 c core #361 0.69/0.78 c Core size: 18 Core Weight: 1 Total Weight: 361 0.69/0.78 c Elapsed CPU time: 0.765883 s Remaining CPU time: 1799.23 s 0.69/0.78 c core #362 0.69/0.78 c Core size: 5 Core Weight: 1 Total Weight: 362 0.69/0.78 c Elapsed CPU time: 0.768883 s Remaining CPU time: 1799.23 s 0.69/0.78 c core #363 0.69/0.78 c Core size: 5 Core Weight: 1 Total Weight: 363 0.69/0.78 c Elapsed CPU time: 0.771882 s Remaining CPU time: 1799.23 s 0.69/0.78 c core #364 0.69/0.78 c Core size: 5 Core Weight: 1 Total Weight: 364 0.69/0.78 c Elapsed CPU time: 0.774882 s Remaining CPU time: 1799.23 s 0.69/0.79 c core #365 0.69/0.79 c Core size: 13 Core Weight: 1 Total Weight: 365 0.69/0.79 c Elapsed CPU time: 0.777881 s Remaining CPU time: 1799.22 s 0.69/0.79 c core #366 0.69/0.79 c Core size: 32 Core Weight: 1 Total Weight: 366 0.69/0.79 c Elapsed CPU time: 0.780881 s Remaining CPU time: 1799.22 s 0.69/0.79 c core #367 0.69/0.79 c Core size: 13 Core Weight: 1 Total Weight: 367 0.69/0.79 c Elapsed CPU time: 0.78388 s Remaining CPU time: 1799.22 s 0.69/0.80 c core #368 0.69/0.80 c Core size: 5 Core Weight: 1 Total Weight: 368 0.69/0.80 c Elapsed CPU time: 0.78688 s Remaining CPU time: 1799.21 s 0.79/0.80 c core #369 0.79/0.80 c Core size: 5 Core Weight: 1 Total Weight: 369 0.79/0.80 c Elapsed CPU time: 0.789879 s Remaining CPU time: 1799.21 s 0.79/0.80 c core #370 0.79/0.80 c Core size: 5 Core Weight: 1 Total Weight: 370 0.79/0.80 c Elapsed CPU time: 0.792879 s Remaining CPU time: 1799.21 s 0.79/0.81 c core #371 0.79/0.81 c Core size: 5 Core Weight: 1 Total Weight: 371 0.79/0.81 c Elapsed CPU time: 0.795879 s Remaining CPU time: 1799.2 s 0.79/0.81 c core #372 0.79/0.81 c Core size: 5 Core Weight: 1 Total Weight: 372 0.79/0.81 c Elapsed CPU time: 0.798878 s Remaining CPU time: 1799.2 s 0.79/0.81 c core #373 0.79/0.81 c Core size: 5 Core Weight: 1 Total Weight: 373 0.79/0.81 c Elapsed CPU time: 0.801878 s Remaining CPU time: 1799.2 s 0.79/0.81 c core #374 0.79/0.81 c Core size: 5 Core Weight: 1 Total Weight: 374 0.79/0.81 c Elapsed CPU time: 0.804877 s Remaining CPU time: 1799.2 s 0.79/0.82 c core #375 0.79/0.82 c Core size: 12 Core Weight: 1 Total Weight: 375 0.79/0.82 c Elapsed CPU time: 0.807877 s Remaining CPU time: 1799.19 s 0.79/0.82 c core #376 0.79/0.82 c Core size: 16 Core Weight: 1 Total Weight: 376 0.79/0.82 c Elapsed CPU time: 0.810876 s Remaining CPU time: 1799.19 s 0.79/0.82 c core #377 0.79/0.82 c Core size: 5 Core Weight: 1 Total Weight: 377 0.79/0.82 c Elapsed CPU time: 0.813876 s Remaining CPU time: 1799.19 s 0.79/0.83 c core #378 0.79/0.83 c Core size: 5 Core Weight: 1 Total Weight: 378 0.79/0.83 c Elapsed CPU time: 0.816875 s Remaining CPU time: 1799.18 s 0.79/0.83 c core #379 0.79/0.83 c Core size: 5 Core Weight: 1 Total Weight: 379 0.79/0.83 c Elapsed CPU time: 0.819875 s Remaining CPU time: 1799.18 s 0.79/0.83 c core #380 0.79/0.83 c Core size: 5 Core Weight: 1 Total Weight: 380 0.79/0.83 c Elapsed CPU time: 0.822874 s Remaining CPU time: 1799.18 s 0.79/0.84 c core #381 0.79/0.84 c Core size: 12 Core Weight: 1 Total Weight: 381 0.79/0.84 c Elapsed CPU time: 0.825874 s Remaining CPU time: 1799.17 s 0.79/0.84 c core #382 0.79/0.84 c Core size: 5 Core Weight: 1 Total Weight: 382 0.79/0.84 c Elapsed CPU time: 0.828873 s Remaining CPU time: 1799.17 s 0.79/0.84 c core #383 0.79/0.84 c Core size: 5 Core Weight: 1 Total Weight: 383 0.79/0.84 c Elapsed CPU time: 0.831873 s Remaining CPU time: 1799.17 s 0.79/0.84 c core #384 0.79/0.84 c Core size: 5 Core Weight: 1 Total Weight: 384 0.79/0.84 c Elapsed CPU time: 0.834873 s Remaining CPU time: 1799.17 s 0.79/0.85 c core #385 0.79/0.85 c Core size: 27 Core Weight: 1 Total Weight: 385 0.79/0.85 c Elapsed CPU time: 0.837872 s Remaining CPU time: 1799.16 s 0.79/0.85 c core #386 0.79/0.85 c Core size: 5 Core Weight: 1 Total Weight: 386 0.79/0.85 c Elapsed CPU time: 0.840872 s Remaining CPU time: 1799.16 s 0.79/0.85 c core #387 0.79/0.85 c Core size: 5 Core Weight: 1 Total Weight: 387 0.79/0.85 c Elapsed CPU time: 0.843871 s Remaining CPU time: 1799.16 s 0.79/0.86 c core #388 0.79/0.86 c Core size: 30 Core Weight: 1 Total Weight: 388 0.79/0.86 c Elapsed CPU time: 0.846871 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #389 0.79/0.86 c Core size: 14 Core Weight: 1 Total Weight: 389 0.79/0.86 c Elapsed CPU time: 0.85087 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #390 0.79/0.86 c Core size: 5 Core Weight: 1 Total Weight: 390 0.79/0.86 c Elapsed CPU time: 0.85387 s Remaining CPU time: 1799.15 s 0.79/0.87 c core #391 0.79/0.87 c Core size: 5 Core Weight: 1 Total Weight: 391 0.79/0.87 c Elapsed CPU time: 0.856869 s Remaining CPU time: 1799.14 s 0.79/0.87 c core #392 0.79/0.87 c Core size: 5 Core Weight: 1 Total Weight: 392 0.79/0.87 c Elapsed CPU time: 0.859869 s Remaining CPU time: 1799.14 s 0.79/0.87 c core #393 0.79/0.87 c Core size: 41 Core Weight: 1 Total Weight: 393 0.79/0.87 c Elapsed CPU time: 0.862868 s Remaining CPU time: 1799.14 s 0.79/0.88 c core #394 0.79/0.88 c Core size: 41 Core Weight: 1 Total Weight: 394 0.79/0.88 c Elapsed CPU time: 0.865868 s Remaining CPU time: 1799.13 s 0.79/0.88 c core #395 0.79/0.88 c Core size: 28 Core Weight: 1 Total Weight: 395 0.79/0.88 c Elapsed CPU time: 0.868867 s Remaining CPU time: 1799.13 s 0.79/0.88 c core #396 0.79/0.88 c Core size: 148 Core Weight: 1 Total Weight: 396 0.79/0.88 c Elapsed CPU time: 0.872867 s Remaining CPU time: 1799.13 s 0.79/0.89 c core #397 0.79/0.89 c Core size: 18 Core Weight: 1 Total Weight: 397 0.79/0.89 c Elapsed CPU time: 0.875866 s Remaining CPU time: 1799.12 s 0.79/0.89 c core #398 0.79/0.89 c Core size: 21 Core Weight: 1 Total Weight: 398 0.79/0.89 c Elapsed CPU time: 0.878866 s Remaining CPU time: 1799.12 s 0.79/0.89 c core #399 0.79/0.89 c Core size: 22 Core Weight: 1 Total Weight: 399 0.79/0.89 c Elapsed CPU time: 0.882865 s Remaining CPU time: 1799.12 s 0.79/0.90 c core #400 0.79/0.90 c Core size: 59 Core Weight: 1 Total Weight: 400 0.79/0.90 c Elapsed CPU time: 0.885865 s Remaining CPU time: 1799.11 s 0.89/0.90 c core #401 0.89/0.90 c Core size: 24 Core Weight: 1 Total Weight: 401 0.89/0.90 c Elapsed CPU time: 0.888864 s Remaining CPU time: 1799.11 s 0.89/0.90 c core #402 0.89/0.90 c Core size: 41 Core Weight: 1 Total Weight: 402 0.89/0.90 c Elapsed CPU time: 0.892864 s Remaining CPU time: 1799.11 s 0.89/0.91 c core #403 0.89/0.91 c Core size: 41 Core Weight: 1 Total Weight: 403 0.89/0.91 c Elapsed CPU time: 0.895863 s Remaining CPU time: 1799.1 s 0.89/0.91 c core #404 0.89/0.91 c Core size: 26 Core Weight: 1 Total Weight: 404 0.89/0.91 c Elapsed CPU time: 0.898863 s Remaining CPU time: 1799.1 s 0.89/0.91 c core #405 0.89/0.91 c Core size: 30 Core Weight: 1 Total Weight: 405 0.89/0.91 c Elapsed CPU time: 0.901862 s Remaining CPU time: 1799.1 s 0.89/0.92 c core #406 0.89/0.92 c Core size: 147 Core Weight: 1 Total Weight: 406 0.89/0.92 c Elapsed CPU time: 0.905862 s Remaining CPU time: 1799.09 s 0.89/0.92 c core #407 0.89/0.92 c Core size: 17 Core Weight: 1 Total Weight: 407 0.89/0.92 c Elapsed CPU time: 0.908861 s Remaining CPU time: 1799.09 s 0.89/0.92 c core #408 0.89/0.92 c Core size: 21 Core Weight: 1 Total Weight: 408 0.89/0.92 c Elapsed CPU time: 0.912861 s Remaining CPU time: 1799.09 s 0.89/0.93 c core #409 0.89/0.93 c Core size: 16 Core Weight: 1 Total Weight: 409 0.89/0.93 c Elapsed CPU time: 0.91586 s Remaining CPU time: 1799.08 s 0.89/0.93 c core #410 0.89/0.93 c Core size: 49 Core Weight: 1 Total Weight: 410 0.89/0.93 c Elapsed CPU time: 0.91986 s Remaining CPU time: 1799.08 s 0.89/0.93 c core #411 0.89/0.93 c Core size: 31 Core Weight: 1 Total Weight: 411 0.89/0.93 c Elapsed CPU time: 0.922859 s Remaining CPU time: 1799.08 s 0.89/0.94 c core #412 0.89/0.94 c Core size: 45 Core Weight: 1 Total Weight: 412 0.89/0.94 c Elapsed CPU time: 0.926859 s Remaining CPU time: 1799.07 s 0.89/0.94 c core #413 0.89/0.94 c Core size: 29 Core Weight: 1 Total Weight: 413 0.89/0.94 c Elapsed CPU time: 0.929858 s Remaining CPU time: 1799.07 s 0.89/0.94 c core #414 0.89/0.94 c Core size: 41 Core Weight: 1 Total Weight: 414 0.89/0.94 c Elapsed CPU time: 0.932858 s Remaining CPU time: 1799.07 s 0.89/0.95 c ============================[ Search Statistics ]============================== 0.89/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.95 c =============================================================================== 0.89/0.95 c | 0 | 1499 2746 6011 | 5000 0 nan | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c core #415 0.89/0.95 c Core size: 38 Core Weight: 1 Total Weight: 415 0.89/0.95 c Elapsed CPU time: 0.936857 s Remaining CPU time: 1799.06 s 0.89/0.95 c ============================[ Search Statistics ]============================== 0.89/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.95 c =============================================================================== 0.89/0.95 c | 0 | 1511 2747 6035 | 5000 0 nan | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c core #416 0.89/0.95 c Core size: 49 Core Weight: 1 Total Weight: 416 0.89/0.95 c Elapsed CPU time: 0.940856 s Remaining CPU time: 1799.06 s 0.89/0.95 c ============================[ Search Statistics ]============================== 0.89/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.95 c =============================================================================== 0.89/0.95 c | 0 | 1528 2748 6070 | 5000 0 nan | 0.000 % | 0.89/0.96 c =============================================================================== 0.89/0.96 c core #417 0.89/0.96 c Core size: 91 Core Weight: 1 Total Weight: 417 0.89/0.96 c Elapsed CPU time: 0.944856 s Remaining CPU time: 1799.06 s 0.89/0.96 c ============================[ Search Statistics ]============================== 0.89/0.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.96 c =============================================================================== 0.89/0.96 c | 0 | 1549 2749 6112 | 5000 0 nan | 0.000 % | 0.89/0.96 c =============================================================================== 0.89/0.96 c core #418 0.89/0.96 c Core size: 253 Core Weight: 1 Total Weight: 418 0.89/0.96 c Elapsed CPU time: 0.950855 s Remaining CPU time: 1799.05 s 0.89/0.97 c Learning 1 hard constraints 0.89/0.97 c ============================[ Search Statistics ]============================== 0.89/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.97 c =============================================================================== 0.89/0.97 c | 0 | 1600 2751 6217 | 5000 0 nan | 0.000 % | 0.89/0.97 c | 102 | 1524 2751 6217 | 5500 79 11 | 23.457 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c core #419 0.89/0.98 c Core size: 681 Core Weight: 1 Total Weight: 419 0.89/0.98 c Elapsed CPU time: 0.966853 s Remaining CPU time: 1799.03 s 0.89/0.98 c ============================[ Search Statistics ]============================== 0.89/0.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.98 c =============================================================================== 0.89/0.98 c | 0 | 1737 2752 6491 | 5000 0 nan | 0.000 % | 0.89/0.99 c | 100 | 1737 2752 6491 | 5500 100 19 | 18.374 % | 0.99/1.00 c =============================================================================== 0.99/1.00 c core #420 0.99/1.00 c Core size: 798 Core Weight: 1 Total Weight: 420 0.99/1.00 c Elapsed CPU time: 0.991849 s Remaining CPU time: 1799.01 s 0.99/1.01 c Learning 2 hard constraints 0.99/1.01 c ============================[ Search Statistics ]============================== 0.99/1.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.01 c =============================================================================== 0.99/1.01 c | 0 | 1894 2755 6806 | 5000 0 nan | 0.000 % | 0.99/1.01 c =============================================================================== 0.99/1.01 c core #421 0.99/1.01 c Core size: 657 Core Weight: 1 Total Weight: 421 0.99/1.01 c Elapsed CPU time: 1.00385 s Remaining CPU time: 1799 s 0.99/1.02 c Learning 13 hard constraints 0.99/1.02 c ============================[ Search Statistics ]============================== 0.99/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.02 c =============================================================================== 0.99/1.02 c | 0 | 1900 2769 6874 | 5000 0 nan | 0.000 % | 0.99/1.03 c =============================================================================== 0.99/1.03 c core #422 0.99/1.03 c Core size: 537 Core Weight: 2147483647 Total Weight: -2147483228 0.99/1.03 c restarts : 1 0.99/1.03 c conflicts : 90 (88 /sec) 0.99/1.03 c decisions : 712 (1.40 % random) (698 /sec) 0.99/1.03 c propagations : 21249 (20836 /sec) 0.99/1.03 c conflict literals : 2722 (0.00 % deleted) 0.99/1.03 c Memory used : 5.25 MB 0.99/1.03 c CPU time : 1.01984 s 0.99/1.03 c 0.99/1.03 s UNSATISFIABLE
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-1876166-1245150290/watcher-1876166-1245150290 -o /tmp/evaluation-result-1876166-1245150290/solver-1876166-1245150290 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876166-1245150290.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: 0.92 0.98 0.99 3/64 3943 /proc/meminfo: memFree=1859496/2055920 swapFree=4182492/4192956 [pid=3943] ppid=3941 vsize=2580 CPUtime=0 /proc/3943/stat : 3943 (wbo) R 3941 3943 3900 0 -1 4194304 223 0 0 0 0 0 0 0 18 0 1 0 182629031 2641920 207 1992294400 134512640 135709839 4294956240 18446744073709551615 135341183 0 0 4096 3 0 0 0 17 1 0 0 /proc/3943/statm: 645 207 128 292 0 339 0 [startup+0.00665892 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3943 /proc/meminfo: memFree=1859496/2055920 swapFree=4182492/4192956 [pid=3943] ppid=3941 vsize=2716 CPUtime=0 /proc/3943/stat : 3943 (wbo) R 3941 3943 3900 0 -1 4194304 231 0 0 0 0 0 0 0 18 0 1 0 182629031 2781184 215 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/3943/statm: 679 215 131 292 0 373 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2716 [startup+0.101668 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3943 /proc/meminfo: memFree=1859496/2055920 swapFree=4182492/4192956 [pid=3943] ppid=3941 vsize=2884 CPUtime=0.09 /proc/3943/stat : 3943 (wbo) R 3941 3943 3900 0 -1 4194304 325 0 0 0 9 0 0 0 18 0 1 0 182629031 2953216 298 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/3943/statm: 721 298 133 292 0 426 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2884 [startup+0.301689 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3943 /proc/meminfo: memFree=1859496/2055920 swapFree=4182492/4192956 [pid=3943] ppid=3941 vsize=3272 CPUtime=0.29 /proc/3943/stat : 3943 (wbo) R 3941 3943 3900 0 -1 4194304 400 0 0 0 29 0 0 0 19 0 1 0 182629031 3350528 373 1992294400 134512640 135709839 4294956240 18446744073709551615 135165901 0 0 4096 3 0 0 0 17 1 0 0 /proc/3943/statm: 818 373 133 292 0 523 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3272 [startup+0.701733 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3943 /proc/meminfo: memFree=1859496/2055920 swapFree=4182492/4192956 [pid=3943] ppid=3941 vsize=4008 CPUtime=0.69 /proc/3943/stat : 3943 (wbo) R 3941 3943 3900 0 -1 4194304 620 0 0 0 68 1 0 0 22 0 1 0 182629031 4104192 569 1992294400 134512640 135709839 4294956240 18446744073709551615 134605594 0 0 4096 3 0 0 0 17 1 0 0 /proc/3943/statm: 1002 569 133 292 0 707 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4008 Solver just ended. Dumping a history of the last processes samples [startup+0.901754 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3943 /proc/meminfo: memFree=1859496/2055920 swapFree=4182492/4192956 [pid=3943] ppid=3941 vsize=4564 CPUtime=0.89 /proc/3943/stat : 3943 (wbo) R 3941 3943 3900 0 -1 4194304 758 0 0 0 88 1 0 0 24 0 1 0 182629031 4673536 700 1992294400 134512640 135709839 4294956240 18446744073709551615 135183273 0 0 4096 3 0 0 0 17 1 0 0 /proc/3943/statm: 1141 700 134 292 0 846 0 Current children cumulated CPU time (s) 0.89 Current children cumulated vsize (KiB) 4564 [startup+1.00176 s] /proc/loadavg: 0.92 0.98 0.99 2/65 3944 /proc/meminfo: memFree=1856608/2055920 swapFree=4182492/4192956 [pid=3943] ppid=3941 vsize=5012 CPUtime=0.99 /proc/3943/stat : 3943 (wbo) R 3941 3943 3900 0 -1 4194304 883 0 0 0 98 1 0 0 25 0 1 0 182629031 5132288 825 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3943/statm: 1253 825 136 292 0 958 0 Current children cumulated CPU time (s) 0.99 Current children cumulated vsize (KiB) 5012 Child status: 0 Real time (s): 1.03693 CPU time (s): 1.03584 CPU user time (s): 1.01984 CPU system time (s): 0.015997 CPU usage (%): 99.8952 Max. virtual memory (cumulated for all children) (KiB): 5012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.01984 system time used= 0.015997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 948 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 2 runsolver used 0.009998 second user time and 0.030995 second system time The end
Begin job on node21 at 2009-06-16 13:04:50 IDJOB=1876166 IDBENCH=2061 IDSOLVER=698 FILE ID=node21/1876166-1245150290 PBS_JOBID= 9363782 Free space on /tmp= 66092 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.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-1876166-1245150290/watcher-1876166-1245150290 -o /tmp/evaluation-result-1876166-1245150290/solver-1876166-1245150290 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876166-1245150290.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7eae448a5d260ba3e367d5a8053e4a27 RANDOM SEED=1645777057 node21.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.239 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.239 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: 1859912 kB Buffers: 32816 kB Cached: 87436 kB SwapCached: 4256 kB Active: 11104 kB Inactive: 116404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1859912 kB SwapTotal: 4192956 kB SwapFree: 4182492 kB Dirty: 2580 kB Writeback: 0 kB Mapped: 13276 kB Slab: 54524 kB Committed_AS: 168428 kB PageTables: 1380 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-1876166-1245150290.opb Free space on /tmp at the end= 66088 MiB End job on node21 at 2009-06-16 13:04:52