Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.24 | 1800.75 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb |
MD5SUM | d83135464cb632376e759a94bebcd02c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 200 |
Best CPU time to get the best result obtained on this benchmark | 0.028995 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 200 |
Optimality of the best value was proved | YES |
Number of variables | 400 |
Total number of constraints | 1400 |
Number of constraints which are clauses | 1392 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 400 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 400 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1876242-1245160679.opb. 0.00/0.00 c Instance file HOME/instance-1876242-1245160679.opb 0.00/0.00 c File size is 44151 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: 400 | 0.00/0.00 c | Number Clauses: 1792 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 8 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 1 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 2 0.00/0.00 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #3 0.00/0.01 c Core size: 4 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: 4 Core Weight: 1 Total Weight: 4 0.00/0.01 c Elapsed CPU time: 0.011998 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.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #6 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 6 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #7 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 7 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #8 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 8 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #9 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 9 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #10 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 10 0.00/0.01 c Elapsed CPU time: 0.018997 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.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #12 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 12 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #13 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 13 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 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.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #15 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 15 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #16 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 16 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #17 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 17 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #18 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 18 0.00/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #19 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 19 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #20 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #21 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 21 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #22 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 22 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #23 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 23 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #24 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 24 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #25 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 25 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #26 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 26 0.00/0.03 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #27 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 27 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #28 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 28 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #29 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #30 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #31 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 31 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #32 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #33 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 33 0.00/0.04 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #34 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 34 0.00/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #35 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 35 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #36 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 36 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #37 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 37 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #38 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 38 0.00/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #39 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 39 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.00/0.05 c core #40 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 40 0.00/0.05 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #41 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #42 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 42 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #43 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 43 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #44 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 44 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #45 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 45 0.00/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #46 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 46 0.00/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.00/0.06 c core #47 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 47 0.00/0.06 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #48 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 48 0.00/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #49 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 49 0.00/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #50 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 50 0.00/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #51 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 51 0.00/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #52 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 52 0.00/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #53 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 53 0.00/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.00/0.07 c core #54 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 54 0.00/0.07 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #55 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 55 0.00/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #56 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 56 0.00/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #57 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 57 0.00/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #58 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 58 0.00/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #59 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 59 0.00/0.08 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.00/0.08 c core #60 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 60 0.00/0.08 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.00/0.08 c core #61 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 61 0.00/0.08 c Elapsed CPU time: 0.088986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #62 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 62 0.00/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #63 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 63 0.00/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #64 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 64 0.00/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #65 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 65 0.00/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #66 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 66 0.00/0.09 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.00/0.09 c core #67 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 67 0.00/0.09 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.00/0.10 c core #68 0.00/0.10 c Core size: 4 Core Weight: 1 Total Weight: 68 0.00/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 0.00/0.10 c core #69 0.00/0.10 c Core size: 4 Core Weight: 1 Total Weight: 69 0.00/0.10 c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s 0.00/0.10 c core #70 0.00/0.10 c Core size: 4 Core Weight: 1 Total Weight: 70 0.00/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.00/0.10 c core #71 0.00/0.10 c Core size: 4 Core Weight: 1 Total Weight: 71 0.00/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.10/0.10 c core #72 0.10/0.10 c Core size: 4 Core Weight: 1 Total Weight: 72 0.10/0.10 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s 0.10/0.10 c core #73 0.10/0.10 c Core size: 4 Core Weight: 1 Total Weight: 73 0.10/0.10 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.10/0.10 c core #74 0.10/0.10 c Core size: 4 Core Weight: 1 Total Weight: 74 0.10/0.10 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.10/0.11 c core #75 0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 75 0.10/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 1799.89 s 0.10/0.11 c core #76 0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 76 0.10/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.10/0.11 c core #77 0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 77 0.10/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.10/0.11 c core #78 0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 78 0.10/0.11 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.10/0.11 c core #79 0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 79 0.10/0.11 c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s 0.10/0.11 c core #80 0.10/0.11 c Core size: 4 Core Weight: 1 Total Weight: 80 0.10/0.11 c Elapsed CPU time: 0.117982 s Remaining CPU time: 1799.88 s 0.10/0.12 c core #81 0.10/0.12 c Core size: 4 Core Weight: 1 Total Weight: 81 0.10/0.12 c Elapsed CPU time: 0.119981 s Remaining CPU time: 1799.88 s 0.10/0.12 c core #82 0.10/0.12 c Core size: 4 Core Weight: 1 Total Weight: 82 0.10/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.10/0.12 c core #83 0.10/0.12 c Core size: 4 Core Weight: 1 Total Weight: 83 0.10/0.12 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.10/0.12 c core #84 0.10/0.12 c Core size: 4 Core Weight: 1 Total Weight: 84 0.10/0.12 c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s 0.10/0.12 c core #85 0.10/0.12 c Core size: 4 Core Weight: 1 Total Weight: 85 0.10/0.12 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 s 0.10/0.12 c core #86 0.10/0.12 c Core size: 4 Core Weight: 1 Total Weight: 86 0.10/0.12 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.10/0.13 c core #87 0.10/0.13 c Core size: 4 Core Weight: 1 Total Weight: 87 0.10/0.13 c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s 0.10/0.13 c core #88 0.10/0.13 c Core size: 4 Core Weight: 1 Total Weight: 88 0.10/0.13 c Elapsed CPU time: 0.13098 s Remaining CPU time: 1799.87 s 0.10/0.13 c core #89 0.10/0.13 c Core size: 4 Core Weight: 1 Total Weight: 89 0.10/0.13 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.10/0.13 c core #90 0.10/0.13 c Core size: 4 Core Weight: 1 Total Weight: 90 0.10/0.13 c Elapsed CPU time: 0.134979 s Remaining CPU time: 1799.87 s 0.10/0.13 c core #91 0.10/0.13 c Core size: 4 Core Weight: 1 Total Weight: 91 0.10/0.13 c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s 0.10/0.13 c core #92 0.10/0.13 c Core size: 4 Core Weight: 1 Total Weight: 92 0.10/0.13 c Elapsed CPU time: 0.137979 s Remaining CPU time: 1799.86 s 0.10/0.14 c core #93 0.10/0.14 c Core size: 4 Core Weight: 1 Total Weight: 93 0.10/0.14 c Elapsed CPU time: 0.139978 s Remaining CPU time: 1799.86 s 0.10/0.14 c core #94 0.10/0.14 c Core size: 4 Core Weight: 1 Total Weight: 94 0.10/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s 0.10/0.14 c core #95 0.10/0.14 c Core size: 4 Core Weight: 1 Total Weight: 95 0.10/0.14 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.10/0.14 c core #96 0.10/0.14 c Core size: 4 Core Weight: 1 Total Weight: 96 0.10/0.14 c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s 0.10/0.14 c core #97 0.10/0.14 c Core size: 4 Core Weight: 1 Total Weight: 97 0.10/0.14 c Elapsed CPU time: 0.146977 s Remaining CPU time: 1799.85 s 0.10/0.15 c core #98 0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 98 0.10/0.15 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 0.10/0.15 c core #99 0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 99 0.10/0.15 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.10/0.15 c core #100 0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 100 0.10/0.15 c Elapsed CPU time: 0.152976 s Remaining CPU time: 1799.85 s 0.10/0.15 c core #101 0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 101 0.10/0.15 c Elapsed CPU time: 0.154976 s Remaining CPU time: 1799.85 s 0.10/0.15 c core #102 0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 102 0.10/0.15 c Elapsed CPU time: 0.156976 s Remaining CPU time: 1799.84 s 0.10/0.15 c core #103 0.10/0.15 c Core size: 4 Core Weight: 1 Total Weight: 103 0.10/0.15 c Elapsed CPU time: 0.158975 s Remaining CPU time: 1799.84 s 0.10/0.16 c core #104 0.10/0.16 c Core size: 4 Core Weight: 1 Total Weight: 104 0.10/0.16 c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 s 0.10/0.16 c core #105 0.10/0.16 c Core size: 4 Core Weight: 1 Total Weight: 105 0.10/0.16 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.10/0.16 c core #106 0.10/0.16 c Core size: 3 Core Weight: 1 Total Weight: 106 0.10/0.16 c Elapsed CPU time: 0.163975 s Remaining CPU time: 1799.84 s 0.10/0.16 c core #107 0.10/0.16 c Core size: 3 Core Weight: 1 Total Weight: 107 0.10/0.16 c Elapsed CPU time: 0.165974 s Remaining CPU time: 1799.83 s 0.10/0.16 c core #108 0.10/0.16 c Core size: 4 Core Weight: 1 Total Weight: 108 0.10/0.16 c Elapsed CPU time: 0.167974 s Remaining CPU time: 1799.83 s 0.10/0.17 c core #109 0.10/0.17 c Core size: 4 Core Weight: 1 Total Weight: 109 0.10/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s 0.10/0.17 c core #110 0.10/0.17 c Core size: 3 Core Weight: 1 Total Weight: 110 0.10/0.17 c Elapsed CPU time: 0.171973 s Remaining CPU time: 1799.83 s 0.10/0.17 c core #111 0.10/0.17 c Core size: 7 Core Weight: 1 Total Weight: 111 0.10/0.17 c Elapsed CPU time: 0.173973 s Remaining CPU time: 1799.83 s 0.10/0.17 c core #112 0.10/0.17 c Core size: 10 Core Weight: 1 Total Weight: 112 0.10/0.17 c Elapsed CPU time: 0.175973 s Remaining CPU time: 1799.82 s 0.10/0.17 c core #113 0.10/0.17 c Core size: 12 Core Weight: 1 Total Weight: 113 0.10/0.17 c Elapsed CPU time: 0.177972 s Remaining CPU time: 1799.82 s 0.10/0.18 c core #114 0.10/0.18 c Core size: 25 Core Weight: 1 Total Weight: 114 0.10/0.18 c Elapsed CPU time: 0.179972 s Remaining CPU time: 1799.82 s 0.10/0.18 c core #115 0.10/0.18 c Core size: 25 Core Weight: 1 Total Weight: 115 0.10/0.18 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.10/0.18 c core #116 0.10/0.18 c Core size: 25 Core Weight: 1 Total Weight: 116 0.10/0.18 c Elapsed CPU time: 0.183972 s Remaining CPU time: 1799.82 s 0.10/0.18 c core #117 0.10/0.18 c Core size: 60 Core Weight: 1 Total Weight: 117 0.10/0.18 c Elapsed CPU time: 0.185971 s Remaining CPU time: 1799.81 s 0.10/0.18 c core #118 0.10/0.18 c Core size: 47 Core Weight: 1 Total Weight: 118 0.10/0.18 c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 s 0.10/0.19 c ============================[ Search Statistics ]============================== 0.10/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.19 c =============================================================================== 0.10/0.19 c | 0 | 784 1918 5152 | 5000 0 nan | 0.000 % | 0.10/0.19 c =============================================================================== 0.10/0.19 c core #119 0.10/0.19 c Core size: 45 Core Weight: 1 Total Weight: 119 0.10/0.19 c Elapsed CPU time: 0.189971 s Remaining CPU time: 1799.81 s 0.10/0.19 c ============================[ Search Statistics ]============================== 0.10/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.19 c =============================================================================== 0.10/0.19 c | 0 | 809 1919 5208 | 5000 0 nan | 0.000 % | 0.10/0.19 c =============================================================================== 0.10/0.19 c core #120 0.10/0.19 c Core size: 117 Core Weight: 1 Total Weight: 120 0.10/0.19 c Elapsed CPU time: 0.19197 s Remaining CPU time: 1799.81 s 0.10/0.19 c ============================[ Search Statistics ]============================== 0.10/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.19 c =============================================================================== 0.10/0.19 c | 0 | 861 1920 5313 | 5000 0 nan | 0.000 % | 0.10/0.19 c =============================================================================== 0.10/0.19 c core #121 0.10/0.19 c Core size: 80 Core Weight: 1 Total Weight: 121 0.10/0.19 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.10/0.19 c ============================[ Search Statistics ]============================== 0.10/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.19 c =============================================================================== 0.10/0.19 c | 0 | 894 1921 5380 | 5000 0 nan | 0.000 % | 0.10/0.20 c =============================================================================== 0.19/0.20 c core #122 0.19/0.20 c Core size: 136 Core Weight: 1 Total Weight: 122 0.19/0.20 c Elapsed CPU time: 0.198969 s Remaining CPU time: 1799.8 s 0.19/0.20 c Learning 2 hard constraints 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 942 1924 5480 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #123 0.19/0.20 c Core size: 132 Core Weight: 1 Total Weight: 123 0.19/0.20 c Elapsed CPU time: 0.201969 s Remaining CPU time: 1799.8 s 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 989 1925 5574 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #124 0.19/0.20 c Core size: 158 Core Weight: 1 Total Weight: 124 0.19/0.20 c Elapsed CPU time: 0.205968 s Remaining CPU time: 1799.79 s 0.19/0.21 c Learning 4 hard constraints 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1018 1930 5680 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #125 0.19/0.21 c Core size: 152 Core Weight: 1 Total Weight: 125 0.19/0.21 c Elapsed CPU time: 0.208968 s Remaining CPU time: 1799.79 s 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1073 1931 5780 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #126 0.19/0.21 c Core size: 36 Core Weight: 1 Total Weight: 126 0.19/0.21 c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 s 0.19/0.21 c Learning 2 hard constraints 0.19/0.21 c core #127 0.19/0.21 c Core size: 48 Core Weight: 1 Total Weight: 127 0.19/0.21 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1054 1935 5806 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #128 0.19/0.22 c Core size: 94 Core Weight: 1 Total Weight: 128 0.19/0.22 c Elapsed CPU time: 0.217966 s Remaining CPU time: 1799.78 s 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1081 1936 5852 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #129 0.19/0.22 c Core size: 59 Core Weight: 1 Total Weight: 129 0.19/0.22 c Elapsed CPU time: 0.220966 s Remaining CPU time: 1799.78 s 0.19/0.22 c Learning 1 hard constraints 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1051 1938 5862 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #130 0.19/0.22 c Core size: 62 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.22 c Learning 1 hard constraints 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1054 1940 5872 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #131 0.19/0.22 c Core size: 108 Core Weight: 1 Total Weight: 131 0.19/0.22 c Elapsed CPU time: 0.226965 s Remaining CPU time: 1799.77 s 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1076 1941 5916 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #132 0.19/0.23 c Core size: 105 Core Weight: 1 Total Weight: 132 0.19/0.23 c Elapsed CPU time: 0.229965 s Remaining CPU time: 1799.77 s 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1086 1942 5936 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #133 0.19/0.23 c Core size: 134 Core Weight: 1 Total Weight: 133 0.19/0.23 c Elapsed CPU time: 0.232964 s Remaining CPU time: 1799.77 s 0.19/0.23 c Learning 2 hard constraints 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1088 1945 5954 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #134 0.19/0.23 c Core size: 101 Core Weight: 1 Total Weight: 134 0.19/0.23 c Elapsed CPU time: 0.235964 s Remaining CPU time: 1799.76 s 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 1092 1946 5962 | 5000 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #135 0.19/0.24 c Core size: 114 Core Weight: 1 Total Weight: 135 0.19/0.24 c Elapsed CPU time: 0.238963 s Remaining CPU time: 1799.76 s 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 1099 1947 5976 | 5000 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #136 0.19/0.24 c Core size: 128 Core Weight: 1 Total Weight: 136 0.19/0.24 c Elapsed CPU time: 0.241963 s Remaining CPU time: 1799.76 s 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 1102 1948 5982 | 5000 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #137 0.19/0.24 c Core size: 142 Core Weight: 1 Total Weight: 137 0.19/0.24 c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 s 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 1104 1949 5986 | 5000 0 nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #138 0.19/0.25 c Core size: 156 Core Weight: 1 Total Weight: 138 0.19/0.25 c Elapsed CPU time: 0.247962 s Remaining CPU time: 1799.75 s 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 1110 1950 5998 | 5000 0 nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #139 0.19/0.25 c Core size: 158 Core Weight: 1 Total Weight: 139 0.19/0.25 c Elapsed CPU time: 0.250961 s Remaining CPU time: 1799.75 s 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 1116 1951 6010 | 5000 0 nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #140 0.19/0.25 c Core size: 150 Core Weight: 1 Total Weight: 140 0.19/0.25 c Elapsed CPU time: 0.253961 s Remaining CPU time: 1799.75 s 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 1120 1952 6018 | 5000 0 nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #141 0.19/0.26 c Core size: 201 Core Weight: 1 Total Weight: 141 0.19/0.26 c Elapsed CPU time: 0.25696 s Remaining CPU time: 1799.74 s 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 1126 1953 6030 | 5000 0 nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #142 0.19/0.26 c Core size: 139 Core Weight: 1 Total Weight: 142 0.19/0.26 c Elapsed CPU time: 0.25996 s Remaining CPU time: 1799.74 s 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 1129 1954 6036 | 5000 0 nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #143 0.19/0.26 c Core size: 159 Core Weight: 1 Total Weight: 143 0.19/0.26 c Elapsed CPU time: 0.26296 s Remaining CPU time: 1799.74 s 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 1133 1955 6044 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #144 0.19/0.27 c Core size: 166 Core Weight: 1 Total Weight: 144 0.19/0.27 c Elapsed CPU time: 0.264959 s Remaining CPU time: 1799.74 s 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 1138 1956 6054 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #145 0.19/0.27 c Core size: 213 Core Weight: 1 Total Weight: 145 0.19/0.27 c Elapsed CPU time: 0.268959 s Remaining CPU time: 1799.73 s 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 1151 1957 6080 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #146 0.19/0.27 c Core size: 214 Core Weight: 1 Total Weight: 146 0.19/0.27 c Elapsed CPU time: 0.273958 s Remaining CPU time: 1799.73 s 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 1164 1958 6106 | 5000 0 nan | 0.000 % | 0.19/0.28 c | 100 | 1164 1958 6106 | 5500 100 22 | 6.459 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #147 0.19/0.28 c Core size: 233 Core Weight: 1 Total Weight: 147 0.19/0.28 c Elapsed CPU time: 0.283956 s Remaining CPU time: 1799.72 s 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 1181 1959 6140 | 5000 0 nan | 0.000 % | 0.19/0.29 c | 102 | 1181 1959 6140 | 5500 102 24 | 6.372 % | 0.19/0.30 c =============================================================================== 0.29/0.30 c core #148 0.29/0.30 c Core size: 247 Core Weight: 1 Total Weight: 148 0.29/0.30 c Elapsed CPU time: 0.295955 s Remaining CPU time: 1799.7 s 0.29/0.30 c Learning 1 hard constraints 0.29/0.30 c ============================[ Search Statistics ]============================== 0.29/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 1193 1961 6178 | 5000 0 nan | 0.000 % | 0.29/0.30 c | 102 | 1193 1961 6178 | 5500 102 22 | 6.822 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #149 0.29/0.31 c Core size: 136 Core Weight: 1 Total Weight: 149 0.29/0.31 c Elapsed CPU time: 0.302953 s Remaining CPU time: 1799.7 s 0.29/0.31 c ============================[ Search Statistics ]============================== 0.29/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 1197 1962 6186 | 5000 0 nan | 0.000 % | 0.29/0.31 c | 101 | 1197 1962 6186 | 5500 101 27 | 6.801 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #150 0.29/0.32 c Core size: 165 Core Weight: 1 Total Weight: 150 0.29/0.32 c Elapsed CPU time: 0.313952 s Remaining CPU time: 1799.69 s 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 1202 1963 6196 | 5000 0 nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #151 0.29/0.32 c Core size: 183 Core Weight: 1 Total Weight: 151 0.29/0.32 c Elapsed CPU time: 0.319951 s Remaining CPU time: 1799.68 s 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 1208 1964 6208 | 5000 0 nan | 0.000 % | 0.29/0.33 c | 102 | 1208 1964 6208 | 5500 102 29 | 6.743 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #152 0.29/0.33 c Core size: 213 Core Weight: 1 Total Weight: 152 0.29/0.33 c Elapsed CPU time: 0.331949 s Remaining CPU time: 1799.67 s 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 1215 1965 6222 | 5000 0 nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #153 0.29/0.34 c Core size: 204 Core Weight: 1 Total Weight: 153 0.29/0.34 c Elapsed CPU time: 0.337948 s Remaining CPU time: 1799.66 s 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 1226 1966 6244 | 5000 0 nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #154 0.29/0.34 c Core size: 149 Core Weight: 1 Total Weight: 154 0.29/0.34 c Elapsed CPU time: 0.340948 s Remaining CPU time: 1799.66 s 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 1229 1967 6250 | 5000 0 nan | 0.000 % | 0.29/0.35 c | 102 | 1229 1967 6250 | 5500 102 27 | 6.635 % | 0.29/0.36 c | 253 | 1212 1967 6250 | 6050 253 30 | 37.614 % | 0.29/0.37 c | 479 | 821 1967 6250 | 6655 478 30 | 37.614 % | 0.29/0.39 c | 816 | 821 1967 6250 | 7320 815 31 | 37.614 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c core #155 0.39/0.43 c Core size: 249 Core Weight: 1 Total Weight: 155 0.39/0.43 c Elapsed CPU time: 0.424935 s Remaining CPU time: 1799.58 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 | 1251 1968 6294 | 5000 0 nan | 0.000 % | 0.39/0.44 c | 101 | 1251 1968 6294 | 5500 101 31 | 6.525 % | 0.39/0.45 c | 255 | 1235 1968 6294 | 6050 255 33 | 36.996 % | 0.39/0.46 c | 481 | 843 1968 6294 | 6655 480 37 | 37.295 % | 0.39/0.49 c | 818 | 843 1968 6294 | 7320 817 42 | 37.295 % | 0.49/0.54 c | 1324 | 839 1968 6294 | 8052 1322 44 | 37.892 % | 0.59/0.64 c | 2084 | 828 1968 6294 | 8857 2079 46 | 38.117 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c core #156 0.59/0.67 c Core size: 186 Core Weight: 1 Total Weight: 156 0.59/0.67 c Elapsed CPU time: 0.6569 s Remaining CPU time: 1799.34 s 0.59/0.67 c ============================[ Search Statistics ]============================== 0.59/0.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.67 c =============================================================================== 0.59/0.67 c | 0 | 1256 1969 6304 | 5000 0 nan | 0.000 % | 0.59/0.68 c | 101 | 1256 1969 6304 | 5500 101 33 | 6.500 % | 0.59/0.68 c | 251 | 851 1969 6304 | 6050 250 33 | 36.634 % | 0.69/0.70 c | 476 | 847 1969 6304 | 6655 474 36 | 36.932 % | 0.69/0.72 c | 814 | 847 1969 6304 | 7320 812 39 | 37.751 % | 0.69/0.76 c | 1321 | 847 1969 6304 | 8052 1319 40 | 37.751 % | 0.79/0.85 c | 2080 | 836 1969 6304 | 8857 2077 41 | 37.751 % | 0.99/1.04 c =============================================================================== 0.99/1.04 c core #157 0.99/1.04 c Core size: 176 Core Weight: 1 Total Weight: 157 0.99/1.04 c Elapsed CPU time: 1.01684 s Remaining CPU time: 1798.98 s 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 | 1264 1970 6320 | 5000 0 nan | 0.000 % | 0.99/1.04 c =============================================================================== 0.99/1.04 c core #158 0.99/1.04 c Core size: 197 Core Weight: 1 Total Weight: 158 0.99/1.04 c Elapsed CPU time: 1.02384 s Remaining CPU time: 1798.98 s 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 | 1272 1971 6336 | 5000 0 nan | 0.000 % | 0.99/1.05 c =============================================================================== 0.99/1.05 c core #159 0.99/1.05 c Core size: 230 Core Weight: 1 Total Weight: 159 0.99/1.05 c Elapsed CPU time: 1.02784 s Remaining CPU time: 1798.97 s 0.99/1.05 c ============================[ Search Statistics ]============================== 0.99/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.05 c =============================================================================== 0.99/1.05 c | 0 | 1284 1972 6360 | 5000 0 nan | 0.000 % | 0.99/1.05 c =============================================================================== 0.99/1.05 c core #160 0.99/1.05 c Core size: 231 Core Weight: 1 Total Weight: 160 0.99/1.05 c Elapsed CPU time: 1.03484 s Remaining CPU time: 1798.97 s 0.99/1.06 c ============================[ Search Statistics ]============================== 0.99/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.06 c =============================================================================== 0.99/1.06 c | 0 | 1303 1973 6398 | 5000 0 nan | 0.000 % | 0.99/1.06 c | 101 | 1303 1973 6398 | 5500 101 33 | 6.280 % | 0.99/1.07 c | 251 | 898 1973 6398 | 6050 250 38 | 35.396 % | 0.99/1.08 c | 476 | 898 1973 6398 | 6655 475 41 | 35.396 % | 0.99/1.10 c | 814 | 898 1973 6398 | 7320 813 40 | 35.396 % | 1.09/1.15 c | 1320 | 898 1973 6398 | 8052 1319 43 | 35.396 % | 1.19/1.24 c | 2080 | 894 1973 6398 | 8857 2078 44 | 35.684 % | 1.39/1.42 c | 3219 | 894 1973 6398 | 9743 3217 45 | 35.684 % | 1.78/1.81 c | 4927 | 882 1973 6398 | 10717 4922 46 | 36.547 % | 1.88/1.97 c =============================================================================== 1.98/2.01 c core #161 1.98/2.01 c Core size: 223 Core Weight: 1 Total Weight: 161 1.98/2.01 c Elapsed CPU time: 1.9867 s Remaining CPU time: 1798.01 s 1.98/2.02 c ============================[ Search Statistics ]============================== 1.98/2.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.98/2.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.98/2.02 c =============================================================================== 1.98/2.02 c | 0 | 1321 1974 6434 | 5000 0 nan | 0.000 % | 1.98/2.03 c =============================================================================== 1.98/2.03 c core #162 1.98/2.03 c Core size: 207 Core Weight: 1 Total Weight: 162 1.98/2.03 c Elapsed CPU time: 1.9997 s Remaining CPU time: 1798 s 1.98/2.03 c ============================[ Search Statistics ]============================== 1.98/2.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.98/2.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.98/2.03 c =============================================================================== 1.98/2.03 c | 0 | 1341 1975 6474 | 5000 0 nan | 0.000 % | 1.98/2.03 c | 101 | 1341 1975 6474 | 5500 101 38 | 6.112 % | 1.98/2.04 c | 252 | 936 1975 6474 | 6050 251 42 | 34.454 % | 1.98/2.05 c | 478 | 936 1975 6474 | 6655 477 40 | 34.454 % | 1.98/2.08 c | 818 | 936 1975 6474 | 7320 817 47 | 34.454 % | 2.09/2.12 c | 1324 | 936 1975 6474 | 8052 1323 53 | 34.454 % | 2.19/2.21 c | 2084 | 932 1975 6474 | 8857 2082 56 | 34.734 % | 2.39/2.43 c | 3225 | 932 1975 6474 | 9743 3223 57 | 35.014 % | 2.79/2.88 c | 4933 | 932 1975 6474 | 10717 4931 59 | 35.014 % | 3.69/3.75 c | 7495 | 932 1975 6474 | 11789 7493 60 | 35.014 % | 5.39/5.42 c | 11339 | 928 1975 6474 | 12968 11336 58 | 35.364 % | 7.19/7.22 c =============================================================================== 7.19/7.22 c core #163 7.19/7.22 c Core size: 177 Core Weight: 1 Total Weight: 163 7.19/7.22 c Elapsed CPU time: 7.16991 s Remaining CPU time: 1792.83 s 7.19/7.24 c ============================[ Search Statistics ]============================== 7.19/7.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.19/7.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.19/7.24 c =============================================================================== 7.19/7.24 c | 0 | 1354 1976 6500 | 5000 0 nan | 0.000 % | 7.19/7.25 c =============================================================================== 7.19/7.25 c core #164 7.19/7.25 c Core size: 187 Core Weight: 1 Total Weight: 164 7.19/7.25 c Elapsed CPU time: 7.19291 s Remaining CPU time: 1792.81 s 7.19/7.25 c ============================[ Search Statistics ]============================== 7.19/7.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.19/7.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.19/7.25 c =============================================================================== 7.19/7.25 c | 0 | 1363 1977 6518 | 5000 0 nan | 0.000 % | 7.19/7.25 c | 102 | 1363 1977 6518 | 5500 102 21 | 6.019 % | 7.19/7.26 c | 253 | 958 1977 6518 | 6050 252 25 | 33.931 % | 7.19/7.27 c | 481 | 958 1977 6518 | 6655 480 28 | 33.931 % | 7.19/7.29 c =============================================================================== 7.19/7.29 c core #165 7.19/7.29 c Core size: 231 Core Weight: 1 Total Weight: 165 7.19/7.29 c Elapsed CPU time: 7.2349 s Remaining CPU time: 1792.77 s 7.19/7.29 c ============================[ Search Statistics ]============================== 7.19/7.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.19/7.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.19/7.29 c =============================================================================== 7.19/7.29 c | 0 | 1382 1978 6556 | 5000 0 nan | 0.000 % | 7.29/7.30 c | 101 | 1382 1978 6556 | 5500 101 38 | 5.941 % | 7.29/7.31 c | 251 | 977 1978 6556 | 6050 250 42 | 33.492 % | 7.29/7.32 c | 477 | 977 1978 6556 | 6655 476 45 | 33.492 % | 7.29/7.35 c | 815 | 977 1978 6556 | 7320 814 49 | 33.492 % | 7.29/7.39 c | 1322 | 977 1978 6556 | 8052 1321 53 | 33.492 % | 7.48/7.51 c | 2083 | 977 1978 6556 | 8857 2082 54 | 33.492 % | 7.58/7.66 c | 3222 | 977 1978 6556 | 9743 3221 52 | 33.492 % | 7.88/7.97 c | 4938 | 973 1978 6556 | 10717 4936 53 | 33.765 % | 8.58/8.67 c | 7505 | 972 1978 6556 | 11789 7503 52 | 34.037 % | 8.88/9.00 c =============================================================================== 8.98/9.06 c core #166 8.98/9.06 c Core size: 249 Core Weight: 1 Total Weight: 166 8.98/9.06 c Elapsed CPU time: 8.98663 s Remaining CPU time: 1791.01 s 8.98/9.07 c ============================[ Search Statistics ]============================== 8.98/9.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.98/9.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.98/9.07 c =============================================================================== 8.98/9.07 c | 0 | 1403 1979 6598 | 5000 0 nan | 0.000 % | 8.98/9.08 c | 100 | 1403 1979 6598 | 5500 100 43 | 5.857 % | 8.98/9.08 c | 250 | 998 1979 6598 | 6050 248 50 | 33.020 % | 9.08/9.10 c | 476 | 998 1979 6598 | 6655 474 66 | 33.020 % | 9.08/9.14 c | 813 | 998 1979 6598 | 7320 811 68 | 33.020 % | 9.08/9.19 c | 1319 | 998 1979 6598 | 8052 1317 66 | 33.020 % | 9.18/9.28 c | 2079 | 998 1979 6598 | 8857 2077 69 | 33.020 % | 9.48/9.51 c | 3218 | 998 1979 6598 | 9743 3216 69 | 33.020 % | 9.88/9.99 c | 4927 | 998 1979 6598 | 10717 4925 72 | 33.020 % | 10.99/11.05 c | 7492 | 998 1979 6598 | 11789 7490 72 | 33.020 % | 12.78/12.86 c | 11336 | 994 1979 6598 | 12968 11333 74 | 33.557 % | 15.38/15.45 c | 17102 | 994 1979 6598 | 14265 10325 71 | 33.826 % | 18.58/18.64 c | 25753 | 994 1979 6598 | 15692 11523 65 | 34.094 % | 27.68/27.71 c | 38731 | 994 1979 6598 | 17261 8225 71 | 34.362 % | 37.58/37.65 c | 58192 | 978 1979 6598 | 18987 9807 71 | 34.362 % | 54.98/55.05 c | 87386 | 978 1979 6598 | 20886 19424 71 | 34.362 % | 84.36/84.45 c | 131176 | 978 1979 6598 | 22974 20225 65 | 34.362 % | 125.05/125.15 c | 196868 | 978 1979 6598 | 25272 15229 66 | 34.362 % | 184.63/184.71 c | 295394 | 974 1979 6598 | 27799 21755 76 | 34.631 % | 282.50/282.66 c =============================================================================== 282.50/282.66 c core #167 282.50/282.66 c Core size: 209 Core Weight: 1 Total Weight: 167 282.50/282.66 c Elapsed CPU time: 281.262 s Remaining CPU time: 1518.74 s 282.90/283.06 c ============================[ Search Statistics ]============================== 282.90/283.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 282.90/283.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 282.90/283.06 c =============================================================================== 282.90/283.06 c | 0 | 1411 1980 6614 | 5000 0 nan | 0.000 % | 283.00/283.14 c | 101 | 1411 1980 6614 | 5500 101 45 | 5.826 % | 283.00/283.15 c | 253 | 1381 1980 6614 | 6050 253 33 | 32.644 % | 283.00/283.16 c | 479 | 1009 1980 6614 | 6655 478 42 | 32.644 % | 283.00/283.18 c | 816 | 1009 1980 6614 | 7320 815 46 | 32.644 % | 283.10/283.23 c | 1322 | 1009 1980 6614 | 8052 1321 52 | 32.644 % | 283.21/283.33 c | 2082 | 1009 1980 6614 | 8857 2081 61 | 32.644 % | 283.40/283.52 c | 3222 | 1005 1980 6614 | 9743 3220 65 | 32.911 % | 283.70/283.86 c | 4930 | 1005 1980 6614 | 10717 4928 68 | 33.178 % | 284.60/284.75 c | 7492 | 1005 1980 6614 | 11789 7490 73 | 33.178 % | 286.51/286.61 c | 11337 | 997 1980 6614 | 12968 11333 75 | 33.445 % | 289.60/289.78 c | 17105 | 997 1980 6614 | 14265 10324 76 | 33.445 % | 296.10/296.24 c | 25755 | 997 1980 6614 | 15692 11539 78 | 33.979 % | 305.10/305.27 c | 38730 | 997 1980 6614 | 17261 8224 73 | 33.979 % | 317.19/317.36 c | 58191 | 989 1980 6614 | 18987 9813 69 | 33.979 % | 334.59/334.71 c | 87384 | 989 1980 6614 | 20886 19434 74 | 33.979 % | 357.68/357.83 c | 131173 | 989 1980 6614 | 22974 20156 69 | 33.979 % | 411.37/411.52 c | 196858 | 989 1980 6614 | 25272 15024 66 | 33.979 % | 481.15/481.34 c | 295385 | 989 1980 6614 | 27799 19323 65 | 33.979 % | 578.92/579.19 c =============================================================================== 585.53/585.70 c core #168 585.53/585.70 c Core size: 226 Core Weight: 1 Total Weight: 168 585.53/585.70 c Elapsed CPU time: 583.129 s Remaining CPU time: 1216.87 s 585.93/586.16 c ============================[ Search Statistics ]============================== 585.93/586.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 585.93/586.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 585.93/586.16 c =============================================================================== 585.93/586.16 c | 0 | 1429 1981 6650 | 5000 0 nan | 0.000 % | 586.03/586.24 c | 100 | 1429 1981 6650 | 5500 100 49 | 5.756 % | 586.03/586.24 c =============================================================================== 586.03/586.25 c core #169 586.03/586.25 c Core size: 258 Core Weight: 1 Total Weight: 169 586.03/586.25 c Elapsed CPU time: 583.667 s Remaining CPU time: 1216.33 s 586.03/586.27 c ============================[ Search Statistics ]============================== 586.03/586.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 586.03/586.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 586.03/586.27 c =============================================================================== 586.03/586.27 c | 0 | 1437 1982 6666 | 5000 0 nan | 0.000 % | 586.03/586.27 c | 101 | 1437 1982 6666 | 5500 101 50 | 5.726 % | 586.03/586.28 c | 251 | 1035 1982 6666 | 6050 250 41 | 32.087 % | 586.03/586.30 c | 476 | 1035 1982 6666 | 6655 475 58 | 32.087 % | 586.12/586.33 c | 813 | 1035 1982 6666 | 7320 812 69 | 32.087 % | 586.22/586.40 c | 1319 | 1035 1982 6666 | 8052 1318 72 | 32.087 % | 586.33/586.50 c | 2078 | 1035 1982 6666 | 8857 2077 76 | 32.087 % | 586.52/586.74 c | 3219 | 1035 1982 6666 | 9743 3218 79 | 32.087 % | 587.12/587.38 c | 4931 | 1035 1982 6666 | 10717 4930 85 | 32.087 % | 588.43/588.62 c | 7497 | 1031 1982 6666 | 11789 7495 89 | 32.349 % | 590.82/591.06 c | 11342 | 1031 1982 6666 | 12968 11340 90 | 32.612 % | 593.82/594.03 c | 17109 | 1031 1982 6666 | 14265 10346 92 | 32.612 % | 600.92/601.15 c | 25759 | 1031 1982 6666 | 15692 11588 90 | 32.612 % | 602.51/602.73 c =============================================================================== 602.51/602.73 c core #170 602.51/602.73 c Core size: 199 Core Weight: 1 Total Weight: 170 602.51/602.73 c Elapsed CPU time: 600.08 s Remaining CPU time: 1199.92 s 602.51/602.77 c ============================[ Search Statistics ]============================== 602.51/602.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 602.51/602.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 602.51/602.77 c =============================================================================== 602.51/602.77 c | 0 | 1444 1983 6680 | 5000 0 nan | 0.000 % | 602.51/602.79 c | 101 | 1444 1983 6680 | 5500 101 49 | 5.700 % | 602.51/602.80 c | 251 | 1042 1983 6680 | 6050 249 41 | 31.940 % | 602.62/602.81 c | 477 | 1042 1983 6680 | 6655 475 45 | 31.940 % | 602.62/602.83 c | 814 | 1042 1983 6680 | 7320 812 43 | 31.940 % | 602.62/602.87 c | 1320 | 1042 1983 6680 | 8052 1318 48 | 31.940 % | 602.72/602.97 c | 2080 | 1042 1983 6680 | 8857 2078 58 | 31.940 % | 602.91/603.19 c | 3221 | 1042 1983 6680 | 9743 3219 66 | 31.940 % | 603.62/603.81 c | 4929 | 1042 1983 6680 | 10717 4927 71 | 31.940 % | 604.32/604.52 c | 7491 | 1038 1983 6680 | 11789 7488 78 | 32.201 % | 606.72/606.97 c | 11336 | 1038 1983 6680 | 12968 11333 86 | 32.397 % | 611.02/611.29 c | 17103 | 1038 1983 6680 | 14265 10309 100 | 32.658 % | 615.61/615.90 c | 25754 | 1027 1983 6680 | 15692 11514 99 | 33.181 % | 622.91/623.18 c | 38728 | 1027 1983 6680 | 17261 8186 105 | 33.181 % | 632.41/632.61 c | 58190 | 1027 1983 6680 | 18987 9780 88 | 33.442 % | 648.10/648.39 c | 87385 | 1027 1983 6680 | 20886 19347 83 | 33.704 % | 685.60/685.85 c | 131174 | 1015 1983 6680 | 22974 20103 84 | 33.704 % | 737.68/737.96 c | 196861 | 1015 1983 6680 | 25272 15016 82 | 33.704 % | 757.08/757.34 c =============================================================================== 757.08/757.34 c core #171 757.08/757.34 c Core size: 170 Core Weight: 1 Total Weight: 171 757.08/757.34 c Elapsed CPU time: 754.032 s Remaining CPU time: 1045.97 s 757.28/757.59 c ============================[ Search Statistics ]============================== 757.28/757.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 757.28/757.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 757.28/757.59 c =============================================================================== 757.28/757.59 c | 0 | 1450 1984 6692 | 5000 0 nan | 0.000 % | 757.38/757.63 c | 101 | 1450 1984 6692 | 5500 101 50 | 5.677 % | 757.38/757.65 c | 252 | 1048 1984 6692 | 6050 250 41 | 31.815 % | 757.38/757.67 c | 482 | 1048 1984 6692 | 6655 480 46 | 31.815 % | 757.47/757.71 c | 821 | 1048 1984 6692 | 7320 819 53 | 31.815 % | 757.47/757.76 c | 1330 | 1048 1984 6692 | 8052 1328 62 | 31.815 % | 757.57/757.86 c | 2090 | 1048 1984 6692 | 8857 2088 70 | 31.815 % | 757.78/758.09 c | 3230 | 1044 1984 6692 | 9743 3227 75 | 32.076 % | 758.27/758.52 c | 4938 | 1044 1984 6692 | 10717 4935 81 | 32.076 % | 759.17/759.42 c | 7500 | 1044 1984 6692 | 11789 7497 86 | 32.076 % | 761.07/761.32 c | 11344 | 1040 1984 6692 | 12968 11340 87 | 32.336 % | 765.07/765.37 c | 17112 | 1040 1984 6692 | 14265 10286 93 | 32.336 % | 771.47/771.70 c | 25762 | 1040 1984 6692 | 15692 11488 95 | 32.596 % | 782.26/782.53 c | 38736 | 1040 1984 6692 | 17261 16286 98 | 32.856 % | 797.47/797.74 c | 58197 | 1028 1984 6692 | 18987 17884 88 | 33.117 % | 818.76/819.00 c | 87391 | 1028 1984 6692 | 20886 17638 87 | 33.117 % | 852.54/852.88 c | 131180 | 1028 1984 6692 | 22974 18428 87 | 33.117 % | 916.73/917.01 c | 196866 | 1028 1984 6692 | 25272 13278 85 | 33.117 % | 972.02/972.32 c =============================================================================== 972.02/972.32 c core #172 972.02/972.32 c Core size: 210 Core Weight: 1 Total Weight: 172 972.02/972.32 c Elapsed CPU time: 968.207 s Remaining CPU time: 831.793 s 972.32/972.60 c ============================[ Search Statistics ]============================== 972.32/972.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 972.32/972.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 972.32/972.60 c =============================================================================== 972.32/972.60 c | 0 | 1468 1985 6728 | 5000 0 nan | 0.000 % | 972.32/972.66 c | 102 | 1468 1985 6728 | 5500 102 22 | 5.611 % | 972.32/972.67 c | 252 | 1441 1985 6728 | 6050 251 26 | 31.254 % | 972.42/972.70 c | 478 | 1441 1985 6728 | 6655 477 31 | 31.254 % | 972.42/972.74 c | 816 | 1069 1985 6728 | 7320 814 35 | 31.254 % | 972.42/972.79 c | 1322 | 1069 1985 6728 | 8052 1320 36 | 31.254 % | 972.61/972.91 c | 2082 | 1069 1985 6728 | 8857 2080 38 | 31.254 % | 972.71/973.08 c =============================================================================== 972.82/973.12 c core #173 972.82/973.12 c Core size: 251 Core Weight: 1 Total Weight: 173 972.82/973.12 c Elapsed CPU time: 968.996 s Remaining CPU time: 831.004 s 972.82/973.13 c ============================[ Search Statistics ]============================== 972.82/973.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 972.82/973.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 972.82/973.13 c =============================================================================== 972.82/973.13 c | 0 | 1488 1986 6768 | 5000 0 nan | 0.000 % | 972.82/973.14 c | 101 | 1488 1986 6768 | 5500 101 49 | 5.540 % | 972.82/973.14 c | 252 | 1089 1986 6768 | 6050 251 41 | 30.857 % | 972.82/973.16 c | 478 | 1088 1986 6768 | 6655 477 46 | 31.111 % | 972.82/973.19 c | 815 | 1085 1986 6768 | 7320 813 64 | 31.111 % | 972.91/973.25 c | 1321 | 1085 1986 6768 | 8052 1319 69 | 31.111 % | 973.02/973.37 c | 2080 | 1085 1986 6768 | 8857 2078 76 | 31.111 % | 973.32/973.63 c | 3219 | 1085 1986 6768 | 9743 3217 81 | 31.111 % | 973.61/973.92 c | 4927 | 1085 1986 6768 | 10717 4925 78 | 31.111 % | 974.21/974.54 c | 7490 | 1085 1986 6768 | 11789 7488 79 | 31.111 % | 976.12/976.42 c | 11334 | 1081 1986 6768 | 12968 11331 83 | 31.365 % | 978.82/979.16 c | 17103 | 1081 1986 6768 | 14265 10277 85 | 31.619 % | 984.71/985.07 c | 25754 | 1081 1986 6768 | 15692 11479 90 | 31.873 % | 994.51/994.87 c | 38729 | 1081 1986 6768 | 17261 16295 93 | 31.873 % | 1008.51/1008.86 c | 58190 | 1073 1986 6768 | 18987 17879 93 | 31.873 % | 1027.11/1027.42 c | 87387 | 1073 1986 6768 | 20886 17722 100 | 31.873 % | 1058.49/1058.83 c | 131181 | 1073 1986 6768 | 22974 18455 92 | 31.873 % | 1108.08/1108.45 c | 196867 | 1069 1986 6768 | 25272 13361 91 | 32.127 % | 1182.56/1182.92 c | 295393 | 1069 1986 6768 | 27799 18935 92 | 32.127 % | 1292.63/1293.02 c =============================================================================== 1292.63/1293.02 c core #174 1292.63/1293.02 c Core size: 230 Core Weight: 1 Total Weight: 174 1292.63/1293.02 c Elapsed CPU time: 1287.6 s Remaining CPU time: 512.397 s 1293.03/1293.46 c ============================[ Search Statistics ]============================== 1293.03/1293.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 1293.03/1293.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1293.03/1293.46 c =============================================================================== 1293.03/1293.46 c | 0 | 1507 1987 6806 | 5000 0 nan | 0.000 % | 1293.13/1293.55 c | 102 | 1507 1987 6806 | 5500 102 28 | 5.474 % | 1293.13/1293.56 c | 253 | 1487 1987 6806 | 6050 252 40 | 30.489 % | 1293.13/1293.59 c | 478 | 1487 1987 6806 | 6655 477 48 | 30.489 % | 1293.23/1293.62 c | 815 | 1108 1987 6806 | 7320 813 49 | 30.489 % | 1293.23/1293.67 c | 1324 | 1108 1987 6806 | 8052 1322 52 | 30.489 % | 1293.33/1293.78 c | 2083 | 1108 1987 6806 | 8857 2081 52 | 30.489 % | 1293.53/1293.97 c | 3223 | 1104 1987 6806 | 9743 3220 52 | 30.740 % | 1293.93/1294.32 c | 4932 | 1104 1987 6806 | 10717 4929 52 | 30.740 % | 1295.13/1295.55 c | 7494 | 1104 1987 6806 | 11789 7491 54 | 30.740 % | 1296.73/1297.11 c =============================================================================== 1296.83/1297.25 c core #175 1296.83/1297.25 c Core size: 298 Core Weight: 1 Total Weight: 175 1296.83/1297.25 c Elapsed CPU time: 1291.81 s Remaining CPU time: 508.19 s 1296.83/1297.28 c ============================[ Search Statistics ]============================== 1296.83/1297.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 1296.83/1297.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1296.83/1297.28 c =============================================================================== 1296.83/1297.28 c | 0 | 1533 1988 6858 | 5000 0 nan | 0.000 % | 1296.83/1297.29 c | 101 | 1533 1988 6858 | 5500 101 19 | 5.385 % | 1296.83/1297.30 c | 252 | 1510 1988 6858 | 6050 252 28 | 29.815 % | 1296.93/1297.31 c | 480 | 1137 1988 6858 | 6655 474 34 | 29.815 % | 1296.93/1297.32 c =============================================================================== 1296.93/1297.33 c core #176 1296.93/1297.33 c Core size: 284 Core Weight: 1 Total Weight: 176 1296.93/1297.33 c Elapsed CPU time: 1291.88 s Remaining CPU time: 508.116 s 1296.93/1297.33 c ============================[ Search Statistics ]============================== 1296.93/1297.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 1296.93/1297.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1296.93/1297.33 c =============================================================================== 1296.93/1297.33 c | 0 | 1559 1989 6910 | 5000 0 nan | 0.000 % | 1296.93/1297.34 c | 101 | 1559 1989 6910 | 5500 101 31 | 5.300 % | 1296.93/1297.35 c | 253 | 1494 1989 6910 | 6050 253 43 | 29.344 % | 1296.93/1297.36 c | 480 | 1163 1989 6910 | 6655 478 45 | 29.344 % | 1296.93/1297.39 c | 817 | 1163 1989 6910 | 7320 815 51 | 29.344 % | 1297.02/1297.44 c | 1323 | 1163 1989 6910 | 8052 1321 56 | 29.344 % | 1297.13/1297.56 c | 2083 | 1163 1989 6910 | 8857 2081 60 | 29.344 % | 1297.32/1297.78 c | 3223 | 1163 1989 6910 | 9743 3221 62 | 29.344 % | 1297.72/1298.17 c | 4936 | 1159 1989 6910 | 10717 4933 63 | 29.587 % | 1298.72/1299.12 c | 7498 | 1159 1989 6910 | 11789 7495 65 | 29.830 % | 1300.52/1300.97 c | 11343 | 1159 1989 6910 | 12968 11340 66 | 29.830 % | 1303.72/1304.10 c | 17109 | 1159 1989 6910 | 14265 10338 62 | 29.830 % | 1307.92/1308.37 c | 25769 | 1155 1989 6910 | 15692 11579 58 | 29.830 % | 1315.82/1316.22 c | 38743 | 1155 1989 6910 | 17261 8237 56 | 30.073 % | 1324.81/1325.25 c | 58205 | 1155 1989 6910 | 18987 9851 59 | 30.073 % | 1347.11/1347.56 c | 87397 | 1143 1989 6910 | 20886 19460 63 | 30.559 % | 1363.91/1364.33 c =============================================================================== 1366.81/1367.25 c core #177 1366.81/1367.25 c Core size: 258 Core Weight: 1 Total Weight: 177 1366.81/1367.25 c Elapsed CPU time: 1361.5 s Remaining CPU time: 438.505 s 1367.01/1367.44 c ============================[ Search Statistics ]============================== 1367.01/1367.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 1367.01/1367.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1367.01/1367.44 c =============================================================================== 1367.01/1367.44 c | 0 | 1578 1990 6948 | 5000 0 nan | 0.000 % | 1367.01/1367.47 c | 100 | 1578 1990 6948 | 5500 100 44 | 5.240 % | 1367.11/1367.51 c | 250 | 1552 1990 6948 | 6050 250 51 | 29.249 % | 1367.11/1367.53 c | 475 | 1178 1990 6948 | 6655 473 67 | 29.490 % | 1367.11/1367.57 c | 812 | 1178 1990 6948 | 7320 810 76 | 29.490 % | 1367.20/1367.63 c | 1321 | 1178 1990 6948 | 8052 1319 80 | 29.490 % | 1367.30/1367.73 c | 2080 | 1174 1990 6948 | 8857 2077 83 | 29.490 % | 1367.51/1367.93 c | 3221 | 1174 1990 6948 | 9743 3218 85 | 29.490 % | 1367.91/1368.35 c | 4929 | 1174 1990 6948 | 10717 4926 88 | 29.490 % | 1368.60/1369.04 c | 7491 | 1174 1990 6948 | 11789 7488 88 | 29.490 % | 1370.21/1370.61 c | 11335 | 1174 1990 6948 | 12968 11332 85 | 29.490 % | 1372.50/1372.95 c | 17103 | 1170 1990 6948 | 14265 10289 80 | 29.730 % | 1375.20/1375.68 c | 25752 | 1170 1990 6948 | 15692 11485 81 | 29.730 % | 1385.50/1385.94 c | 38732 | 1170 1990 6948 | 17261 16309 99 | 29.970 % | 1403.20/1403.68 c | 58193 | 1170 1990 6948 | 18987 8986 102 | 30.210 % | 1422.59/1423.06 c | 87387 | 1170 1990 6948 | 20886 18592 88 | 30.210 % | 1450.49/1450.92 c | 131176 | 1162 1990 6948 | 22974 19341 94 | 30.210 % | 1496.07/1496.58 c | 196860 | 1162 1990 6948 | 25272 14278 97 | 30.210 % | 1562.46/1562.96 c | 295388 | 1162 1990 6948 | 27799 18043 82 | 30.210 % | 1655.93/1656.46 c =============================================================================== 1665.63/1666.18 c core #178 1665.63/1666.18 c Core size: 300 Core Weight: 1 Total Weight: 178 1665.63/1666.18 c Elapsed CPU time: 1659.16 s Remaining CPU time: 140.841 s 1666.23/1666.70 c ============================[ Search Statistics ]============================== 1666.23/1666.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 1666.23/1666.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1666.23/1666.70 c =============================================================================== 1666.23/1666.70 c | 0 | 1619 1991 7030 | 5000 0 nan | 0.000 % | 1666.33/1666.81 c | 100 | 1619 1991 7030 | 5500 100 51 | 5.113 % | 1666.33/1666.83 c | 251 | 1580 1991 7030 | 6050 251 48 | 28.312 % | 1666.33/1666.85 c | 476 | 1223 1991 7030 | 6655 474 57 | 28.546 % | 1666.33/1666.88 c | 816 | 1223 1991 7030 | 7320 814 61 | 28.546 % | 1666.42/1666.93 c | 1323 | 1223 1991 7030 | 8052 1321 73 | 28.546 % | 1666.52/1667.05 c | 2083 | 1219 1991 7030 | 8857 2080 81 | 28.546 % | 1666.82/1667.37 c | 3225 | 1219 1991 7030 | 9743 3222 88 | 28.546 % | 1667.42/1667.96 c | 4934 | 1219 1991 7030 | 10717 4931 92 | 28.546 % | 1668.43/1668.97 c | 7497 | 1215 1991 7030 | 11789 7493 92 | 28.781 % | 1670.12/1670.69 c | 11342 | 1215 1991 7030 | 12968 11338 93 | 28.781 % | 1674.83/1675.33 c | 17109 | 1215 1991 7030 | 14265 10307 93 | 29.250 % | 1682.81/1683.34 c | 25759 | 1215 1991 7030 | 15692 11515 96 | 29.250 % | 1695.82/1696.38 c | 38733 | 1207 1991 7030 | 17261 8199 91 | 29.250 % | 1711.71/1712.21 c | 58195 | 1207 1991 7030 | 18987 9815 93 | 29.250 % | 1720.71/1721.22 c =============================================================================== 1720.71/1721.22 c core #179 1720.71/1721.22 c Core size: 251 Core Weight: 1 Total Weight: 179 1720.71/1721.22 c Elapsed CPU time: 1714.02 s Remaining CPU time: 85.9846 s 1720.81/1721.31 c ============================[ Search Statistics ]============================== 1720.81/1721.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1720.81/1721.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1720.81/1721.31 c =============================================================================== 1720.81/1721.31 c | 0 | 1634 1992 7060 | 5000 0 nan | 0.000 % | 1720.81/1721.35 c | 100 | 1634 1992 7060 | 5500 100 26 | 5.069 % | 1720.81/1721.36 c | 250 | 1237 1992 7060 | 6050 246 29 | 28.123 % | 1720.81/1721.36 c =============================================================================== 1720.81/1721.36 c core #180 1720.81/1721.36 c Core size: 301 Core Weight: 1 Total Weight: 180 1720.81/1721.36 c Elapsed CPU time: 1714.16 s Remaining CPU time: 85.8376 s 1720.81/1721.37 c ============================[ Search Statistics ]============================== 1720.81/1721.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 1720.81/1721.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1720.81/1721.37 c =============================================================================== 1720.81/1721.37 c | 0 | 1662 1993 7116 | 5000 0 nan | 0.000 % | 1720.81/1721.38 c | 101 | 1662 1993 7116 | 5500 101 25 | 4.987 % | 1720.81/1721.39 c | 252 | 1581 1993 7116 | 6050 251 27 | 27.444 % | 1720.91/1721.40 c | 480 | 1581 1993 7116 | 6655 479 28 | 27.444 % | 1720.91/1721.43 c | 820 | 1262 1993 7116 | 7320 815 29 | 27.902 % | 1720.91/1721.43 c =============================================================================== 1720.91/1721.44 c core #181 1720.91/1721.44 c Core size: 278 Core Weight: 1 Total Weight: 181 1720.91/1721.44 c Elapsed CPU time: 1714.24 s Remaining CPU time: 85.7636 s 1720.91/1721.45 c ============================[ Search Statistics ]============================== 1720.91/1721.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 1720.91/1721.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1720.91/1721.45 c =============================================================================== 1720.91/1721.45 c | 0 | 1680 1994 7152 | 5000 0 nan | 0.000 % | 1720.91/1721.46 c | 102 | 1680 1994 7152 | 5500 102 36 | 4.936 % | 1720.91/1721.46 c | 254 | 1636 1994 7152 | 6050 253 37 | 26.995 % | 1720.91/1721.48 c | 479 | 1636 1994 7152 | 6655 478 45 | 26.995 % | 1721.01/1721.51 c | 817 | 1290 1994 7152 | 7320 813 49 | 27.221 % | 1721.01/1721.57 c | 1325 | 1290 1994 7152 | 8052 1321 54 | 27.221 % | 1721.11/1721.66 c | 2084 | 1286 1994 7152 | 8857 2079 53 | 27.221 % | 1721.30/1721.85 c | 3224 | 1286 1994 7152 | 9743 3219 52 | 27.221 % | 1721.71/1722.29 c | 4934 | 1286 1994 7152 | 10717 4929 52 | 27.221 % | 1722.71/1723.26 c | 7497 | 1286 1994 7152 | 11789 7492 53 | 27.221 % | 1724.20/1724.70 c | 11341 | 1282 1994 7152 | 12968 11335 51 | 27.448 % | 1725.51/1726.02 c =============================================================================== 1725.70/1726.25 c core #182 1725.70/1726.25 c Core size: 271 Core Weight: 1 Total Weight: 182 1725.70/1726.25 c Elapsed CPU time: 1719.03 s Remaining CPU time: 80.9743 s 1725.70/1726.29 c ============================[ Search Statistics ]============================== 1725.70/1726.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1725.70/1726.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1725.70/1726.29 c =============================================================================== 1725.70/1726.29 c | 0 | 1705 1995 7202 | 5000 0 nan | 0.000 % | 1725.80/1726.30 c | 100 | 1705 1995 7202 | 5500 100 28 | 4.867 % | 1725.80/1726.31 c | 253 | 1624 1995 7202 | 6050 252 33 | 26.618 % | 1725.80/1726.33 c | 483 | 1624 1995 7202 | 6655 482 35 | 26.618 % | 1725.80/1726.36 c | 820 | 1315 1995 7202 | 7320 815 35 | 26.618 % | 1725.90/1726.40 c | 1326 | 1315 1995 7202 | 8052 1321 35 | 26.618 % | 1725.90/1726.48 c | 2087 | 1315 1995 7202 | 8857 2082 35 | 26.618 % | 1726.11/1726.62 c | 3227 | 1315 1995 7202 | 9743 3222 36 | 26.618 % | 1726.51/1727.01 c | 4937 | 1311 1995 7202 | 10717 4931 37 | 26.842 % | 1726.60/1727.12 c =============================================================================== 1726.60/1727.18 c core #183 1726.60/1727.18 c Core size: 265 Core Weight: 1 Total Weight: 183 1726.60/1727.18 c Elapsed CPU time: 1719.94 s Remaining CPU time: 80.0575 s 1726.70/1727.20 c ============================[ Search Statistics ]============================== 1726.70/1727.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1726.70/1727.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1726.70/1727.20 c =============================================================================== 1726.70/1727.20 c | 0 | 1721 1996 7234 | 5000 0 nan | 0.000 % | 1726.70/1727.21 c | 102 | 1721 1996 7234 | 5500 102 38 | 4.824 % | 1726.70/1727.22 c | 253 | 1573 1996 7234 | 6050 252 38 | 26.383 % | 1726.70/1727.23 c | 478 | 1327 1996 7234 | 6655 470 46 | 26.604 % | 1726.70/1727.27 c | 817 | 1327 1996 7234 | 7320 809 64 | 26.604 % | 1726.81/1727.30 c | 1324 | 1327 1996 7234 | 8052 1316 66 | 26.604 % | 1726.90/1727.40 c | 2083 | 1323 1996 7234 | 8857 2074 77 | 26.825 % | 1727.10/1727.64 c | 3223 | 1323 1996 7234 | 9743 3214 91 | 26.825 % | 1727.61/1728.17 c | 4931 | 1323 1996 7234 | 10717 4922 99 | 26.825 % | 1728.60/1729.20 c | 7498 | 1319 1996 7234 | 11789 7488 106 | 27.046 % | 1730.91/1731.49 c | 11343 | 1319 1996 7234 | 12968 11333 108 | 27.268 % | 1734.31/1734.81 c | 17109 | 1319 1996 7234 | 14265 10308 113 | 27.268 % | 1740.60/1741.19 c | 25758 | 1319 1996 7234 | 15692 11507 121 | 27.268 % | 1751.50/1752.01 c | 38732 | 1315 1996 7234 | 17261 16311 125 | 27.268 % | 1771.09/1771.61 c | 58193 | 1315 1996 7234 | 18987 17883 122 | 27.489 % | 1790.39/1790.90 c | 87385 | 1315 1996 7234 | 20886 17634 114 | 27.489 % |
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-1876242-1245160679/watcher-1876242-1245160679 -o /tmp/evaluation-result-1876242-1245160679/solver-1876242-1245160679 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876242-1245160679.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.99 0.97 0.99 3/64 9089 /proc/meminfo: memFree=1862880/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=2580 CPUtime=0 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 201 0 0 0 0 0 0 0 18 0 1 0 183665096 2641920 185 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 645 186 128 292 0 339 0 [startup+0.105204 s] /proc/loadavg: 0.99 0.97 0.99 3/64 9089 /proc/meminfo: memFree=1862880/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=2776 CPUtime=0.1 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 301 0 0 0 10 0 0 0 18 0 1 0 183665096 2842624 274 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 694 274 133 292 0 399 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2776 [startup+0.201214 s] /proc/loadavg: 0.99 0.97 0.99 3/64 9089 /proc/meminfo: memFree=1862880/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=3164 CPUtime=0.19 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 366 0 0 0 19 0 0 0 18 0 1 0 183665096 3239936 339 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 791 339 135 292 0 496 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3164 [startup+0.301226 s] /proc/loadavg: 0.99 0.97 0.99 3/64 9089 /proc/meminfo: memFree=1862880/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=3704 CPUtime=0.29 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 519 0 0 0 29 0 0 0 18 0 1 0 183665096 3792896 492 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 926 492 136 292 0 631 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3704 [startup+0.70127 s] /proc/loadavg: 0.99 0.97 0.99 3/64 9089 /proc/meminfo: memFree=1862880/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=4668 CPUtime=0.69 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 753 0 0 0 68 1 0 0 20 0 1 0 183665096 4780032 726 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 1167 726 136 292 0 872 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4668 [startup+1.50136 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9090 /proc/meminfo: memFree=1860184/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=4964 CPUtime=1.48 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 838 0 0 0 146 2 0 0 25 0 1 0 183665096 5083136 811 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 1241 811 136 292 0 946 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 4964 [startup+3.10254 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9090 /proc/meminfo: memFree=1858648/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=6292 CPUtime=3.08 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 1161 0 0 0 305 3 0 0 25 0 1 0 183665096 6443008 1134 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 1573 1134 136 292 0 1278 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 6292 [startup+6.30189 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9090 /proc/meminfo: memFree=1856152/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=9356 CPUtime=6.29 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 1934 0 0 0 624 5 0 0 25 0 1 0 183665096 9580544 1907 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 2339 1907 136 292 0 2044 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9356 [startup+12.7016 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9090 /proc/meminfo: memFree=1853848/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=10964 CPUtime=12.68 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 2338 0 0 0 1260 8 0 0 25 0 1 0 183665096 11227136 2311 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 2741 2311 136 292 0 2446 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 10964 [startup+25.501 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9090 /proc/meminfo: memFree=1841752/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=23168 CPUtime=25.48 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 5355 0 0 0 2533 15 0 0 25 0 1 0 183665096 23724032 5328 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 5792 5328 136 292 0 5497 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23168 [startup+51.1019 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9090 /proc/meminfo: memFree=1821912/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=43684 CPUtime=51.07 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 10471 0 0 0 5080 27 0 0 25 0 1 0 183665096 44732416 10444 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 10921 10444 136 292 0 10626 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 43684 [startup+102.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9090 /proc/meminfo: memFree=1785432/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=79652 CPUtime=102.26 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 19416 0 0 0 10176 50 0 0 25 0 1 0 183665096 81563648 19389 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 19913 19389 136 292 0 19618 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 79652 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9090 /proc/meminfo: memFree=1736984/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=128356 CPUtime=162.24 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 31562 0 0 0 16144 80 0 0 25 0 1 0 183665096 131436544 31535 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 32089 31535 136 292 0 31794 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 128356 [startup+222.306 s] /proc/loadavg: 1.04 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1697048/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=167904 CPUtime=222.23 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 41450 0 0 0 22119 104 0 0 25 0 1 0 183665096 171933696 41423 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 41976 41423 136 292 0 41681 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 167904 [startup+282.302 s] /proc/loadavg: 1.01 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1657624/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=207976 CPUtime=282.21 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 51445 0 0 0 28090 131 0 0 25 0 1 0 183665096 212967424 51418 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 51994 51418 136 292 0 51699 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 207976 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1642840/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=221560 CPUtime=342.19 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 55005 0 0 0 34065 154 0 0 25 0 1 0 183665096 226877440 54950 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 55390 54950 136 292 0 55095 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 221560 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1619416/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=245504 CPUtime=402.17 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 60925 0 0 0 40038 179 0 0 25 0 1 0 183665096 251396096 60870 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 61376 60870 136 292 0 61081 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 245504 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1592856/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=271812 CPUtime=462.16 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 67478 0 0 0 46015 201 0 0 25 0 1 0 183665096 278335488 67423 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 67953 67423 136 292 0 67658 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 271812 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1570968/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=293856 CPUtime=522.14 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 72952 0 0 0 51996 218 0 0 25 0 1 0 183665096 300908544 72897 1992294400 134512640 135709839 4294956240 18446744073709551615 134568432 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 73464 72897 136 292 0 73169 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 293856 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1530904/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=334720 CPUtime=582.12 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 83139 0 0 0 57972 240 0 0 25 0 1 0 183665096 342753280 83084 1992294400 134512640 135709839 4294956240 18446744073709551615 134516598 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 83680 83084 136 292 0 83385 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 334720 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1522456/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=342228 CPUtime=642.11 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 85146 0 0 0 63946 265 0 0 25 0 1 0 183665096 350441472 85091 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 85557 85091 136 292 0 85262 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 342228 [startup+702.301 s] ################ # More data... # ################ [startup+882.305 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1410840/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=453036 CPUtime=882.05 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 112806 0 0 0 87850 355 0 0 25 0 1 0 183665096 463908864 112751 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 113259 112751 136 292 0 112964 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 453036 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1386840/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=477348 CPUtime=942.02 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 118881 0 0 0 93829 373 0 0 25 0 1 0 183665096 488804352 118826 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 119337 118826 136 292 0 119042 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 477348 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1366808/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=496648 CPUtime=1002.01 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 123788 0 0 0 99804 397 0 0 25 0 1 0 183665096 508567552 123733 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 124162 123733 136 292 0 123867 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 496648 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1330840/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=533096 CPUtime=1061.99 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 132839 0 0 0 105776 423 0 0 25 0 1 0 183665096 545890304 132784 1992294400 134512640 135709839 4294956240 18446744073709551615 134611787 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 133274 132784 136 292 0 132979 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 533096 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1298008/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=565788 CPUtime=1121.98 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 140990 0 0 0 111751 447 0 0 25 0 1 0 183665096 579366912 140935 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 141447 140935 136 292 0 141152 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 565788 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1261848/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=602144 CPUtime=1181.96 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 150071 0 0 0 117725 471 0 0 25 0 1 0 183665096 616595456 150016 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 150536 150016 136 292 0 150241 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 602144 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1234136/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=629372 CPUtime=1241.94 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 156871 0 0 0 123705 489 0 0 25 0 1 0 183665096 644476928 156816 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 157343 156816 136 292 0 157048 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 629372 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1208472/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=654824 CPUtime=1301.93 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 163235 0 0 0 129681 512 0 0 25 0 1 0 183665096 670539776 163180 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 163706 163180 136 292 0 163411 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 654824 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1194136/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=669260 CPUtime=1361.91 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 166897 0 0 0 135655 536 0 0 25 0 1 0 183665096 685322240 166842 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 167315 166842 136 292 0 167020 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 669260 [startup+1422.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1163032/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=699920 CPUtime=1421.89 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 174571 0 0 0 141630 559 0 0 25 0 1 0 183665096 716718080 174516 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 174980 174516 136 292 0 174685 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 699920 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1124632/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=738700 CPUtime=1481.88 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 184240 0 0 0 147602 586 0 0 25 0 1 0 183665096 756428800 184185 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 184675 184185 136 292 0 184380 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 738700 [startup+1542.31 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1086424/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=776476 CPUtime=1541.86 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 193686 0 0 0 153572 614 0 0 25 0 1 0 183665096 795111424 193631 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 194119 193631 136 292 0 193824 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 776476 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1060504/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=802816 CPUtime=1601.84 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 200216 0 0 0 159551 633 0 0 25 0 1 0 183665096 822083584 200161 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 200704 200161 136 292 0 200409 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 802816 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1017048/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=845856 CPUtime=1661.83 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 210987 0 0 0 165527 656 0 0 25 0 1 0 183665096 866156544 210932 1992294400 134512640 135709839 4294956240 18446744073709551615 134583741 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 211464 210932 136 292 0 211169 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 845856 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=1015064/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=847036 CPUtime=1721.81 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 212234 0 0 0 171508 673 0 0 25 0 1 0 183665096 867364864 211343 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 211759 211343 136 292 0 211464 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 847036 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=980376/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=882176 CPUtime=1781.78 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 220978 0 0 0 177480 698 0 0 25 0 1 0 183665096 903348224 220087 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 220544 220087 136 292 0 220249 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 882176 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.99 2/65 9096 /proc/meminfo: memFree=968408/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=893868 CPUtime=1800.09 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4194304 223894 0 0 0 179302 707 0 0 25 0 1 0 183665096 915320832 223003 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 223467 223003 136 292 0 223172 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 893868 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.99 2/66 9097 /proc/meminfo: memFree=1584592/2055920 swapFree=4191900/4192956 [pid=9089] ppid=9087 vsize=0 CPUtime=1800.19 /proc/9089/stat : 9089 (wbo) R 9087 9089 8909 0 -1 4195332 223894 0 0 0 179302 717 0 0 25 0 1 0 183665096 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/9089/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.75 CPU time (s): 1800.24 CPU user time (s): 1793.02 CPU system time (s): 7.2159 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 893868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.02 system time used= 7.2159 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 223894 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 3103 runsolver used 1.38879 second user time and 3.74543 second system time The end
Begin job on node38 at 2009-06-16 15:57:59 IDJOB=1876242 IDBENCH=2197 IDSOLVER=698 FILE ID=node38/1876242-1245160679 PBS_JOBID= 9363850 Free space on /tmp= 66236 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876242-1245160679/watcher-1876242-1245160679 -o /tmp/evaluation-result-1876242-1245160679/solver-1876242-1245160679 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876242-1245160679.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d83135464cb632376e759a94bebcd02c RANDOM SEED=113878547 node38.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.232 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.232 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: 1863424 kB Buffers: 43972 kB Cached: 63276 kB SwapCached: 260 kB Active: 41676 kB Inactive: 78848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1863424 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2412 kB Writeback: 0 kB Mapped: 22452 kB Slab: 57952 kB Committed_AS: 156904 kB PageTables: 1456 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-1876242-1245160679.opb Free space on /tmp at the end= 66236 MiB End job on node38 at 2009-06-16 16:28:02