Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.28 | 1800.8 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb |
MD5SUM | 110745290448fc70d55421e7e203e2bf |
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.014997 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 200 |
Optimality of the best value was proved | YES |
Number of variables | 400 |
Total number of constraints | 880 |
Number of constraints which are clauses | 878 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2 |
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-1876217-1245156581.opb. 0.00/0.00 c Instance file HOME/instance-1876217-1245156581.opb 0.00/0.00 c File size is 28504 bytes. 0.00/0.00 c Highest Coefficient sum: 4 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 400 | 0.00/0.00 c | Number Clauses: 1278 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 2 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 1 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 2 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #3 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 3 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #4 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 4 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #5 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 5 0.00/0.00 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #6 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 6 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #7 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 7 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #8 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 8 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #9 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 9 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #10 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 10 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #11 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 11 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #12 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 12 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #13 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 13 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #14 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 14 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #15 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 15 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #16 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 16 0.00/0.01 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #17 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 17 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #18 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 18 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #19 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 19 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #20 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #21 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 21 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #22 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 22 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #23 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 23 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #24 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 24 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #25 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 25 0.00/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #26 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 26 0.00/0.02 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #27 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 27 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #28 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 28 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #29 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #30 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #31 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 31 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #32 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #33 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 33 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #34 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 34 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #35 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 35 0.00/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #36 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 36 0.00/0.03 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #37 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 37 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #38 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 38 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #39 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 39 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #40 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 40 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #41 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #42 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 42 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #43 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 43 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #44 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 44 0.00/0.04 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #45 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 45 0.00/0.04 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #46 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 46 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #47 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 47 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #48 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 48 0.00/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #49 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 49 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #50 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 50 0.00/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #51 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 51 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.00/0.05 c core #52 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 52 0.00/0.05 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.00/0.05 c core #53 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 53 0.00/0.05 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #54 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 54 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #55 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 55 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #56 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 56 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #57 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 57 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #58 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 58 0.00/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #59 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 59 0.00/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.00/0.06 c core #60 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 60 0.00/0.06 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.00/0.06 c core #61 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 61 0.00/0.06 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.00/0.06 c core #62 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 62 0.00/0.06 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #63 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 63 0.00/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #64 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 64 0.00/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #65 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 65 0.00/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #66 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 66 0.00/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #67 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 67 0.00/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #68 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 68 0.00/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.00/0.07 c core #69 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 69 0.00/0.07 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.00/0.07 c core #70 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 70 0.00/0.07 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #71 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 71 0.00/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #72 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 72 0.00/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #73 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 73 0.00/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #74 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 74 0.00/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #75 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 75 0.00/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #76 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 76 0.00/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #77 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 77 0.00/0.08 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.00/0.08 c core #78 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 78 0.00/0.08 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #79 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 79 0.00/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #80 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 80 0.00/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #81 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 81 0.00/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #82 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 82 0.00/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #83 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 83 0.00/0.09 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #84 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 84 0.00/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #85 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 85 0.00/0.09 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.00/0.09 c core #86 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 86 0.00/0.09 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.00/0.10 c core #87 0.00/0.10 c Core size: 4 Core Weight: 1 Total Weight: 87 0.00/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #88 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: 88 0.09/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #89 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: 89 0.09/0.10 c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #90 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: 90 0.09/0.10 c Elapsed CPU time: 0.102984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #91 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: 91 0.09/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #92 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: 92 0.09/0.10 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #93 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: 93 0.09/0.10 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #94 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 94 0.09/0.11 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #95 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 95 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #96 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 96 0.09/0.11 c Elapsed CPU time: 0.110983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #97 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 97 0.09/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #98 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 98 0.09/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #99 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 99 0.09/0.11 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #100 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 100 0.09/0.11 c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s 0.09/0.11 c core #101 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 101 0.09/0.11 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #102 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 102 0.09/0.12 c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #103 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 103 0.09/0.12 c Elapsed CPU time: 0.119981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #104 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 104 0.09/0.12 c Elapsed CPU time: 0.121981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #105 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 105 0.09/0.12 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #106 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 106 0.09/0.12 c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #107 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 107 0.09/0.12 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 s 0.09/0.12 c core #108 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 108 0.09/0.12 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #109 0.09/0.13 c Core size: 7 Core Weight: 1 Total Weight: 109 0.09/0.13 c Elapsed CPU time: 0.12898 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #110 0.09/0.13 c Core size: 7 Core Weight: 1 Total Weight: 110 0.09/0.13 c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #111 0.09/0.13 c Core size: 8 Core Weight: 1 Total Weight: 111 0.09/0.13 c Elapsed CPU time: 0.131979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #112 0.09/0.13 c Core size: 15 Core Weight: 1 Total Weight: 112 0.09/0.13 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #113 0.09/0.13 c Core size: 51 Core Weight: 1 Total Weight: 113 0.09/0.13 c Elapsed CPU time: 0.134979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #114 0.09/0.13 c Core size: 14 Core Weight: 1 Total Weight: 114 0.09/0.13 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.09/0.13 c core #115 0.09/0.13 c Core size: 15 Core Weight: 1 Total Weight: 115 0.09/0.13 c Elapsed CPU time: 0.137979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #116 0.09/0.14 c Core size: 5 Core Weight: 1 Total Weight: 116 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #117 0.09/0.14 c Core size: 47 Core Weight: 1 Total Weight: 117 0.09/0.14 c Elapsed CPU time: 0.139978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #118 0.09/0.14 c Core size: 45 Core Weight: 1 Total Weight: 118 0.09/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 1799.86 s 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 792 1398 3615 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #119 0.09/0.14 c Core size: 52 Core Weight: 1 Total Weight: 119 0.09/0.14 c Elapsed CPU time: 0.142978 s Remaining CPU time: 1799.86 s 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 816 1399 3665 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #120 0.09/0.14 c Core size: 25 Core Weight: 1 Total Weight: 120 0.09/0.14 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.09/0.15 c Learning 1 hard constraints 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 829 1401 3695 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #121 0.09/0.15 c Core size: 95 Core Weight: 1 Total Weight: 121 0.09/0.15 c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s 0.09/0.15 c Learning 1 hard constraints 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 867 1403 3776 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #122 0.09/0.15 c Core size: 68 Core Weight: 1 Total Weight: 122 0.09/0.15 c Elapsed CPU time: 0.147977 s Remaining CPU time: 1799.85 s 0.09/0.15 c Learning 1 hard constraints 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 888 1405 3821 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #123 0.09/0.15 c Core size: 93 Core Weight: 1 Total Weight: 123 0.09/0.15 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.09/0.15 c Learning 2 hard constraints 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 919 1408 3888 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #124 0.09/0.15 c Core size: 135 Core Weight: 1 Total Weight: 124 0.09/0.15 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 s 0.09/0.15 c Learning 2 hard constraints 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 964 1411 3982 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #125 0.09/0.16 c Core size: 17 Core Weight: 1 Total Weight: 125 0.09/0.16 c Elapsed CPU time: 0.156976 s Remaining CPU time: 1799.84 s 0.09/0.16 c Learning 6 hard constraints 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 970 1418 4009 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #126 0.09/0.16 c Core size: 84 Core Weight: 1 Total Weight: 126 0.09/0.16 c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 s 0.09/0.16 c Learning 4 hard constraints 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 992 1423 4062 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #127 0.09/0.16 c Core size: 201 Core Weight: 1 Total Weight: 127 0.09/0.16 c Elapsed CPU time: 0.162975 s Remaining CPU time: 1799.84 s 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1058 1424 4194 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #128 0.09/0.17 c Core size: 188 Core Weight: 1 Total Weight: 128 0.09/0.17 c Elapsed CPU time: 0.168974 s Remaining CPU time: 1799.83 s 0.09/0.17 c Learning 9 hard constraints 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 1109 1434 4320 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #129 0.09/0.18 c Core size: 172 Core Weight: 1 Total Weight: 129 0.09/0.18 c Elapsed CPU time: 0.174973 s Remaining CPU time: 1799.83 s 0.09/0.18 c Learning 7 hard constraints 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1153 1442 4429 | 5000 0 nan | 0.000 % | 0.09/0.18 c | 101 | 1153 1442 4429 | 5500 101 9 | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.19 c core #130 0.09/0.19 c Core size: 402 Core Weight: 1 Total Weight: 130 0.09/0.19 c Elapsed CPU time: 0.184971 s Remaining CPU time: 1799.82 s 0.09/0.19 c Learning 21 hard constraints 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1241 1464 4676 | 5000 0 nan | 0.000 % | 0.09/0.20 c | 100 | 1241 1464 4676 | 5500 100 20 | 0.000 % | 0.19/0.20 c | 251 | 1241 1464 4676 | 6050 251 17 | 0.000 % | 0.19/0.22 c | 476 | 1239 1464 4676 | 6655 256 9 | 0.161 % | 0.19/0.22 c =============================================================================== 0.19/0.23 c core #131 0.19/0.23 c Core size: 1008 Core Weight: 1 Total Weight: 131 0.19/0.23 c Elapsed CPU time: 0.228965 s Remaining CPU time: 1799.77 s 0.19/0.23 c Learning 94 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 | 1450 1559 5482 | 5000 0 nan | 0.000 % | 0.19/0.24 c | 101 | 1450 1559 5482 | 5500 101 30 | 0.000 % | 0.19/0.26 c | 252 | 1450 1559 5482 | 6050 252 35 | 0.000 % | 0.19/0.29 c | 479 | 1446 1559 5482 | 6655 476 32 | 0.276 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #132 0.19/0.29 c Core size: 776 Core Weight: 1 Total Weight: 132 0.19/0.29 c Elapsed CPU time: 0.288956 s Remaining CPU time: 1799.71 s 0.29/0.30 c Learning 67 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 | 1557 1627 6054 | 5000 0 nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c core #133 0.29/0.30 c Core size: 222 Core Weight: 1 Total Weight: 133 0.29/0.30 c Elapsed CPU time: 0.293955 s Remaining CPU time: 1799.71 s 0.29/0.30 c Learning 9 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 | 1461 1637 6073 | 5000 0 nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c core #134 0.29/0.30 c Core size: 143 Core Weight: 1 Total Weight: 134 0.29/0.30 c Elapsed CPU time: 0.297954 s Remaining CPU time: 1799.7 s 0.29/0.31 c Learning 2 hard constraints 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 | 1159 1640 6081 | 5000 0 nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #135 0.29/0.31 c Core size: 222 Core Weight: 1 Total Weight: 135 0.29/0.31 c Elapsed CPU time: 0.300954 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 | 1163 1641 6089 | 5000 0 nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #136 0.29/0.31 c Core size: 252 Core Weight: 1 Total Weight: 136 0.29/0.31 c Elapsed CPU time: 0.304953 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 | 1174 1642 6111 | 5000 0 nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #137 0.29/0.31 c Core size: 214 Core Weight: 1 Total Weight: 137 0.29/0.31 c Elapsed CPU time: 0.307953 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 | 1182 1643 6127 | 5000 0 nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #138 0.29/0.32 c Core size: 273 Core Weight: 1 Total Weight: 138 0.29/0.32 c Elapsed CPU time: 0.312952 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 | 1200 1644 6163 | 5000 0 nan | 0.000 % | 0.29/0.33 c | 101 | 1199 1644 6163 | 5500 101 20 | 26.589 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #139 0.29/0.33 c Core size: 336 Core Weight: 1 Total Weight: 139 0.29/0.33 c Elapsed CPU time: 0.319951 s Remaining CPU time: 1799.68 s 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 1224 1645 6211 | 5000 0 nan | 0.000 % | 0.29/0.33 c | 101 | 1224 1645 6211 | 5500 101 29 | 24.969 % | 0.29/0.34 c | 254 | 1219 1645 6211 | 6050 251 34 | 25.522 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #140 0.29/0.34 c Core size: 348 Core Weight: 1 Total Weight: 140 0.29/0.34 c Elapsed CPU time: 0.337948 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 | 1253 1646 6269 | 5000 0 nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #141 0.29/0.35 c Core size: 265 Core Weight: 1 Total Weight: 141 0.29/0.35 c Elapsed CPU time: 0.343947 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 | 1268 1647 6293 | 5000 0 nan | 0.000 % | 0.29/0.36 c | 101 | 1268 1647 6293 | 5500 101 30 | 24.117 % | 0.29/0.36 c | 251 | 1268 1647 6293 | 6050 251 35 | 24.117 % | 0.29/0.38 c | 477 | 1257 1647 6293 | 6655 474 36 | 24.776 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c core #142 0.29/0.39 c Core size: 360 Core Weight: 1 Total Weight: 142 0.29/0.39 c Elapsed CPU time: 0.380942 s Remaining CPU time: 1799.62 s 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 1303 1648 6363 | 5000 0 nan | 0.000 % | 0.29/0.40 c | 100 | 1303 1648 6363 | 5500 100 34 | 23.623 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c core #143 0.39/0.40 c Core size: 319 Core Weight: 1 Total Weight: 143 0.39/0.40 c Elapsed CPU time: 0.38994 s Remaining CPU time: 1799.61 s 0.39/0.40 c ============================[ Search Statistics ]============================== 0.39/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 1316 1649 6389 | 5000 0 nan | 0.000 % | 0.39/0.40 c | 101 | 1316 1649 6389 | 5500 101 34 | 23.444 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c core #144 0.39/0.41 c Core size: 258 Core Weight: 1 Total Weight: 144 0.39/0.41 c Elapsed CPU time: 0.399939 s Remaining CPU time: 1799.6 s 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 1326 1650 6409 | 5000 0 nan | 0.000 % | 0.39/0.42 c | 101 | 1326 1650 6409 | 5500 101 34 | 23.308 % | 0.39/0.42 c | 252 | 1326 1650 6409 | 6050 252 39 | 23.308 % | 0.39/0.44 c | 477 | 1322 1650 6409 | 6655 476 39 | 23.540 % | 0.39/0.46 c | 817 | 1322 1650 6409 | 7320 816 40 | 23.540 % | 0.49/0.50 c | 1326 | 1322 1650 6409 | 8052 1325 40 | 23.540 % | 0.49/0.59 c =============================================================================== 0.59/0.60 c core #145 0.59/0.60 c Core size: 343 Core Weight: 1 Total Weight: 145 0.59/0.60 c Elapsed CPU time: 0.58791 s Remaining CPU time: 1799.41 s 0.59/0.60 c ============================[ Search Statistics ]============================== 0.59/0.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.60 c =============================================================================== 0.59/0.60 c | 0 | 1358 1651 6473 | 5000 0 nan | 0.000 % | 0.59/0.61 c | 101 | 1358 1651 6473 | 5500 101 39 | 22.885 % | 0.59/0.62 c | 252 | 1358 1651 6473 | 6050 252 40 | 22.885 % | 0.59/0.63 c | 477 | 1358 1651 6473 | 6655 477 33 | 22.886 % | 0.59/0.63 c =============================================================================== 0.59/0.64 c core #146 0.59/0.64 c Core size: 270 Core Weight: 1 Total Weight: 146 0.59/0.64 c Elapsed CPU time: 0.621905 s Remaining CPU time: 1799.38 s 0.59/0.64 c ============================[ Search Statistics ]============================== 0.59/0.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.64 c =============================================================================== 0.59/0.64 c | 0 | 1379 1652 6515 | 5000 0 nan | 0.000 % | 0.59/0.64 c | 101 | 1379 1652 6515 | 5500 101 38 | 22.615 % | 0.59/0.65 c | 251 | 1379 1652 6515 | 6050 251 36 | 22.615 % | 0.59/0.66 c | 477 | 1379 1652 6515 | 6655 477 53 | 22.615 % | 0.59/0.68 c | 814 | 1379 1652 6515 | 7320 814 45 | 22.615 % | 0.69/0.72 c | 1320 | 1379 1652 6515 | 8052 1320 39 | 22.615 % | 0.69/0.77 c =============================================================================== 0.69/0.77 c core #147 0.69/0.77 c Core size: 406 Core Weight: 1 Total Weight: 147 0.69/0.77 c Elapsed CPU time: 0.756884 s Remaining CPU time: 1799.24 s 0.69/0.78 c ============================[ Search Statistics ]============================== 0.69/0.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 1427 1653 6611 | 5000 0 nan | 0.000 % | 0.69/0.78 c | 101 | 1427 1653 6611 | 5500 101 46 | 22.022 % | 0.69/0.79 c | 251 | 1427 1653 6611 | 6050 251 38 | 22.022 % | 0.79/0.81 c | 476 | 1427 1653 6611 | 6655 476 43 | 22.022 % | 0.79/0.83 c | 814 | 1427 1653 6611 | 7320 814 47 | 22.022 % | 0.79/0.86 c | 1320 | 1427 1653 6611 | 8052 1320 46 | 22.022 % | 0.89/0.93 c | 2080 | 1427 1653 6611 | 8857 2080 46 | 22.022 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c core #148 0.89/0.95 c Core size: 329 Core Weight: 1 Total Weight: 148 0.89/0.95 c Elapsed CPU time: 0.927858 s Remaining CPU time: 1799.07 s 0.89/0.96 c ============================[ Search Statistics ]============================== 0.89/0.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.96 c =============================================================================== 0.89/0.96 c | 0 | 1454 1654 6665 | 5000 0 nan | 0.000 % | 0.89/0.96 c | 102 | 1454 1654 6665 | 5500 102 33 | 21.702 % | 0.89/0.97 c | 254 | 1454 1654 6665 | 6050 254 40 | 21.702 % | 0.89/0.98 c | 479 | 1454 1654 6665 | 6655 479 50 | 21.702 % | 0.99/1.01 c | 817 | 1454 1654 6665 | 7320 817 55 | 21.702 % | 0.99/1.06 c | 1325 | 1454 1654 6665 | 8052 1325 60 | 21.702 % | 1.10/1.15 c | 2084 | 1454 1654 6665 | 8857 2084 63 | 21.702 % | 1.29/1.36 c | 3223 | 1446 1654 6665 | 9743 3222 67 | 22.133 % | 1.59/1.66 c | 4931 | 1443 1654 6665 | 10717 4930 69 | 22.294 % | 2.19/2.23 c | 7493 | 1443 1654 6665 | 11789 7492 70 | 22.294 % | 3.49/3.50 c | 11338 | 1443 1654 6665 | 12968 10951 73 | 22.294 % | 5.89/5.95 c | 17104 | 1443 1654 6665 | 14265 9983 73 | 22.940 % | 6.29/6.31 c =============================================================================== 6.29/6.31 c core #149 6.29/6.31 c Core size: 166 Core Weight: 1 Total Weight: 149 6.29/6.31 c Elapsed CPU time: 6.24105 s Remaining CPU time: 1793.76 s 6.29/6.33 c ============================[ Search Statistics ]============================== 6.29/6.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.33 c =============================================================================== 6.29/6.33 c | 0 | 1459 1655 6675 | 5000 0 nan | 0.000 % | 6.29/6.34 c | 100 | 1459 1655 6675 | 5500 100 29 | 21.643 % | 6.29/6.34 c | 251 | 1459 1655 6675 | 6050 251 28 | 21.643 % | 6.29/6.35 c =============================================================================== 6.29/6.36 c core #150 6.29/6.36 c Core size: 343 Core Weight: 1 Total Weight: 150 6.29/6.36 c Elapsed CPU time: 6.28904 s Remaining CPU time: 1793.71 s 6.29/6.36 c ============================[ Search Statistics ]============================== 6.29/6.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.36 c =============================================================================== 6.29/6.36 c | 0 | 1479 1656 6715 | 5000 0 nan | 0.000 % | 6.29/6.36 c | 100 | 1479 1656 6715 | 5500 100 27 | 21.413 % | 6.29/6.37 c =============================================================================== 6.29/6.37 c core #151 6.29/6.37 c Core size: 332 Core Weight: 1 Total Weight: 151 6.29/6.37 c Elapsed CPU time: 6.30504 s Remaining CPU time: 1793.69 s 6.29/6.38 c ============================[ Search Statistics ]============================== 6.29/6.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.38 c =============================================================================== 6.29/6.38 c | 0 | 1500 1657 6757 | 5000 0 nan | 0.000 % | 6.29/6.38 c | 101 | 1500 1657 6757 | 5500 101 38 | 21.177 % | 6.29/6.39 c | 251 | 1500 1657 6757 | 6050 251 35 | 21.177 % | 6.39/6.40 c | 477 | 1500 1657 6757 | 6655 477 38 | 21.177 % | 6.39/6.43 c | 815 | 1500 1657 6757 | 7320 815 52 | 21.177 % | 6.39/6.49 c | 1323 | 1500 1657 6757 | 8052 1323 59 | 21.177 % | 6.59/6.60 c | 2085 | 1500 1657 6757 | 8857 2085 65 | 21.177 % | 6.79/6.81 c | 3225 | 1500 1657 6757 | 9743 3225 68 | 21.177 % | 7.18/7.25 c | 4933 | 1500 1657 6757 | 10717 4933 71 | 21.177 % | 8.19/8.24 c | 7495 | 1500 1657 6757 | 11789 7495 75 | 21.177 % | 10.08/10.15 c | 11342 | 1499 1657 6757 | 12968 11247 78 | 21.230 % | 12.99/13.08 c | 17109 | 1499 1657 6757 | 14265 10309 82 | 21.230 % | 16.69/16.75 c | 25761 | 1499 1657 6757 | 15692 11596 79 | 21.230 % | 22.39/22.42 c | 38736 | 1499 1657 6757 | 17261 8210 77 | 21.230 % | 32.68/32.78 c | 58199 | 1495 1657 6757 | 18987 9888 79 | 21.440 % | 46.57/46.66 c | 87391 | 1487 1657 6757 | 20886 18861 83 | 22.070 % | 47.58/47.60 c =============================================================================== 48.68/48.71 c core #152 48.68/48.71 c Core size: 388 Core Weight: 1 Total Weight: 152 48.68/48.71 c Elapsed CPU time: 48.3926 s Remaining CPU time: 1751.61 s 48.78/48.81 c ============================[ Search Statistics ]============================== 48.78/48.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.78/48.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.78/48.81 c =============================================================================== 48.78/48.81 c | 0 | 1544 1658 6845 | 5000 0 nan | 0.000 % | 48.78/48.83 c | 101 | 1544 1658 6845 | 5500 101 23 | 20.699 % | 48.78/48.84 c | 252 | 1544 1658 6845 | 6050 252 29 | 20.699 % | 48.78/48.85 c | 479 | 1544 1658 6845 | 6655 479 35 | 20.699 % | 48.78/48.88 c | 817 | 1544 1658 6845 | 7320 817 39 | 20.699 % | 48.87/48.92 c | 1324 | 1544 1658 6845 | 8052 1324 39 | 20.699 % | 48.87/48.98 c =============================================================================== 48.87/48.99 c core #153 48.87/48.99 c Core size: 343 Core Weight: 1 Total Weight: 153 48.87/48.99 c Elapsed CPU time: 48.6726 s Remaining CPU time: 1751.33 s 48.98/49.00 c ============================[ Search Statistics ]============================== 48.98/49.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.98/49.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.98/49.00 c =============================================================================== 48.98/49.00 c | 0 | 1568 1659 6893 | 5000 0 nan | 0.000 % | 48.98/49.01 c | 100 | 1568 1659 6893 | 5500 100 31 | 20.446 % | 48.98/49.02 c =============================================================================== 48.98/49.02 c core #154 48.98/49.02 c Core size: 289 Core Weight: 1 Total Weight: 154 48.98/49.02 c Elapsed CPU time: 48.6956 s Remaining CPU time: 1751.3 s 48.98/49.02 c ============================[ Search Statistics ]============================== 48.98/49.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.98/49.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.98/49.02 c =============================================================================== 48.98/49.02 c | 0 | 1583 1660 6923 | 5000 0 nan | 0.000 % | 48.98/49.03 c | 101 | 1583 1660 6923 | 5500 101 31 | 20.292 % | 48.98/49.04 c | 251 | 1583 1660 6923 | 6050 251 40 | 20.292 % | 48.98/49.05 c | 476 | 1583 1660 6923 | 6655 476 41 | 20.292 % | 48.98/49.07 c | 814 | 1583 1660 6923 | 7320 814 44 | 20.292 % | 49.08/49.12 c | 1320 | 1583 1660 6923 | 8052 1320 60 | 20.292 % | 49.18/49.23 c | 2080 | 1583 1660 6923 | 8857 2080 70 | 20.292 % | 49.27/49.39 c | 3219 | 1583 1660 6923 | 9743 3219 75 | 20.292 % | 49.68/49.74 c | 4927 | 1583 1660 6923 | 10717 4927 78 | 20.292 % | 50.17/50.22 c | 7490 | 1583 1660 6923 | 11789 7490 75 | 20.292 % | 51.08/51.16 c | 11341 | 1583 1660 6923 | 12968 11341 74 | 20.292 % | 52.58/52.68 c | 17107 | 1583 1660 6923 | 14265 10385 70 | 20.292 % | 56.18/56.21 c | 25760 | 1495 1660 6923 | 15692 4532 58 | 24.723 % | 56.47/56.56 c =============================================================================== 56.87/56.92 c core #155 56.87/56.92 c Core size: 386 Core Weight: 1 Total Weight: 155 56.87/56.92 c Elapsed CPU time: 56.5274 s Remaining CPU time: 1743.47 s 56.87/56.96 c ============================[ Search Statistics ]============================== 56.87/56.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 56.87/56.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 56.87/56.96 c =============================================================================== 56.87/56.96 c | 0 | 1623 1661 7003 | 5000 0 nan | 0.000 % | 56.87/56.97 c | 100 | 1623 1661 7003 | 5500 100 40 | 19.891 % | 56.87/56.98 c | 253 | 1623 1661 7003 | 6050 253 32 | 19.891 % | 56.97/57.00 c | 479 | 1535 1661 7003 | 6655 310 29 | 24.235 % | 56.97/57.00 c =============================================================================== 56.97/57.00 c core #156 56.97/57.00 c Core size: 229 Core Weight: 1 Total Weight: 156 56.97/57.00 c Elapsed CPU time: 56.6114 s Remaining CPU time: 1743.39 s 56.97/57.01 c ============================[ Search Statistics ]============================== 56.97/57.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 56.97/57.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 56.97/57.01 c =============================================================================== 56.97/57.01 c | 0 | 1634 1662 7025 | 5000 0 nan | 0.000 % | 56.97/57.01 c | 100 | 1634 1662 7025 | 5500 100 34 | 19.784 % | 56.97/57.02 c | 250 | 1634 1662 7025 | 6050 250 40 | 19.784 % | 56.97/57.04 c | 475 | 1634 1662 7025 | 6655 475 41 | 19.784 % | 56.97/57.07 c | 819 | 1634 1662 7025 | 7320 819 55 | 19.784 % | 57.08/57.13 c | 1327 | 1634 1662 7025 | 8052 1327 71 | 19.784 % | 57.18/57.28 c | 2087 | 1634 1662 7025 | 8857 2087 86 | 19.784 % | 57.47/57.52 c | 3226 | 1634 1662 7025 | 9743 3226 96 | 19.784 % | 57.98/58.08 c | 4934 | 1634 1662 7025 | 10717 4934 102 | 19.784 % | 59.17/59.25 c | 7496 | 1634 1662 7025 | 11789 7496 114 | 19.784 % | 61.48/61.52 c | 11343 | 1634 1662 7025 | 12968 11343 119 | 19.784 % | 65.77/65.83 c | 17109 | 1634 1662 7025 | 14265 10357 121 | 19.784 % | 71.97/72.09 c | 25761 | 1634 1662 7025 | 15692 11617 126 | 19.784 % | 90.56/90.62 c | 38737 | 1634 1662 7025 | 17261 8414 133 | 19.784 % | 113.05/113.13 c | 58198 | 1630 1662 7025 | 18987 10150 141 | 19.980 % | 137.95/138.02 c | 87392 | 1630 1662 7025 | 20886 9974 127 | 19.980 % | 176.95/177.08 c | 131182 | 1630 1662 7025 | 22974 10887 121 | 19.980 % | 235.02/235.14 c | 196866 | 1630 1662 7025 | 25272 17674 132 | 19.980 % | 318.30/318.43 c | 295392 | 1630 1662 7025 | 27799 24287 111 | 19.980 % | 469.16/469.31 c | 443185 | 1630 1662 7025 | 30579 20331 120 | 19.980 % | 661.60/661.88 c | 664876 | 1630 1662 7025 | 33637 22964 113 | 19.980 % | 693.68/693.94 c =============================================================================== 708.48/708.74 c core #157 708.48/708.74 c Core size: 420 Core Weight: 1 Total Weight: 157 708.48/708.74 c Elapsed CPU time: 705.55 s Remaining CPU time: 1094.45 s 709.18/709.50 c ============================[ Search Statistics ]============================== 709.18/709.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 709.18/709.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 709.18/709.50 c =============================================================================== 709.18/709.50 c | 0 | 1684 1663 7125 | 5000 0 nan | 0.000 % | 709.28/709.57 c | 101 | 1684 1663 7125 | 5500 101 32 | 19.310 % | 709.38/709.62 c | 252 | 1684 1663 7125 | 6050 252 30 | 19.310 % | 709.38/709.64 c | 477 | 1684 1663 7125 | 6655 477 33 | 19.310 % | 709.38/709.67 c | 814 | 1684 1663 7125 | 7320 814 39 | 19.310 % | 709.48/709.71 c | 1320 | 1684 1663 7125 | 8052 1320 43 | 19.310 % | 709.48/709.79 c | 2080 | 1684 1663 7125 | 8857 2080 45 | 19.310 % | 709.78/710.00 c | 3226 | 1684 1663 7125 | 9743 3226 50 | 19.310 % | 710.18/710.44 c | 4936 | 1684 1663 7125 | 10717 4936 54 | 19.310 % | 710.98/711.24 c | 7499 | 1684 1663 7125 | 11789 7499 57 | 19.310 % | 712.88/713.17 c | 11344 | 1684 1663 7125 | 12968 11344 59 | 19.310 % | 715.88/716.15 c | 17111 | 1668 1663 7125 | 14265 10388 58 | 30.331 % | 715.97/716.25 c =============================================================================== 716.27/716.50 c core #158 716.27/716.50 c Core size: 344 Core Weight: 1 Total Weight: 158 716.27/716.50 c Elapsed CPU time: 713.266 s Remaining CPU time: 1086.73 s 716.27/716.54 c ============================[ Search Statistics ]============================== 716.27/716.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 716.27/716.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 716.27/716.54 c =============================================================================== 716.27/716.54 c | 0 | 1708 1664 7173 | 5000 0 nan | 0.000 % | 716.27/716.55 c | 105 | 1708 1664 7173 | 5500 105 43 | 19.091 % | 716.27/716.56 c | 256 | 1708 1664 7173 | 6050 256 51 | 19.091 % | 716.27/716.58 c | 482 | 1708 1664 7173 | 6655 482 68 | 19.091 % | 716.37/716.61 c | 819 | 1708 1664 7173 | 7320 819 67 | 19.091 % | 716.37/716.65 c | 1327 | 1708 1664 7173 | 8052 1327 69 | 19.091 % | 716.47/716.80 c | 2086 | 1704 1664 7173 | 8857 2085 90 | 19.280 % | 716.78/717.00 c | 3226 | 1704 1664 7173 | 9743 3225 101 | 19.280 % | 717.28/717.58 c | 4942 | 1704 1664 7173 | 10717 4941 116 | 19.280 % | 717.98/718.28 c | 7507 | 1704 1664 7173 | 11789 7506 113 | 19.280 % | 719.08/719.31 c | 11353 | 1704 1664 7173 | 12968 11352 118 | 19.280 % | 721.87/722.17 c | 17124 | 1704 1664 7173 | 14265 10333 134 | 19.280 % | 727.68/727.94 c | 25774 | 1704 1664 7173 | 15692 11563 151 | 19.280 % | 730.47/730.79 c =============================================================================== 730.47/730.79 c core #159 730.47/730.79 c Core size: 259 Core Weight: 1 Total Weight: 159 730.47/730.79 c Elapsed CPU time: 727.492 s Remaining CPU time: 1072.51 s 730.57/730.84 c ============================[ Search Statistics ]============================== 730.57/730.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 730.57/730.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 730.57/730.84 c =============================================================================== 730.57/730.84 c | 0 | 1718 1665 7193 | 5000 0 nan | 0.000 % | 730.57/730.85 c | 101 | 1718 1665 7193 | 5500 101 42 | 19.000 % | 730.57/730.86 c | 253 | 1718 1665 7193 | 6050 253 43 | 19.000 % | 730.57/730.87 c | 479 | 1718 1665 7193 | 6655 479 57 | 19.000 % | 730.67/730.90 c | 817 | 1718 1665 7193 | 7320 817 59 | 19.000 % | 730.67/730.96 c | 1325 | 1718 1665 7193 | 8052 1325 64 | 19.000 % | 730.77/731.06 c | 2085 | 1718 1665 7193 | 8857 2085 89 | 19.000 % | 730.97/731.20 c | 3225 | 1714 1665 7193 | 9743 3224 89 | 19.189 % | 731.28/731.50 c | 4935 | 1714 1665 7193 | 10717 4934 83 | 19.189 % | 731.88/732.12 c | 7499 | 1714 1665 7193 | 11789 7498 97 | 19.189 % | 732.98/733.25 c | 11345 | 1714 1665 7193 | 12968 11344 101 | 19.189 % | 735.57/735.86 c | 17111 | 1714 1665 7193 | 14265 10346 113 | 19.189 % | 740.76/741.04 c | 25763 | 1714 1665 7193 | 15692 11593 126 | 19.189 % | 750.47/750.77 c | 38737 | 1714 1665 7193 | 17261 16321 124 | 19.189 % | 759.56/759.80 c | 58203 | 1714 1665 7193 | 18987 9000 108 | 19.189 % | 775.96/776.28 c | 87398 | 1714 1665 7193 | 20886 18623 134 | 19.189 % | 805.65/805.90 c | 131191 | 1714 1665 7193 | 22974 19508 124 | 19.189 % | 852.84/853.18 c | 196877 | 1714 1665 7193 | 25272 14520 128 | 19.189 % | 931.32/931.68 c | 295404 | 1714 1665 7193 | 27799 22610 137 | 19.189 % | 1058.48/1058.85 c | 443193 | 1714 1665 7193 | 30579 15715 131 | 19.189 % | 1256.42/1256.89 c | 664876 | 1714 1665 7193 | 33637 26050 126 | 19.189 % | 1594.92/1595.45 c | 997403 | 1714 1665 7193 | 37001 30625 131 | 19.189 % |
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-1876217-1245156581/watcher-1876217-1245156581 -o /tmp/evaluation-result-1876217-1245156581/solver-1876217-1245156581 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876217-1245156581.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 1.00 1.00 3/64 2814 /proc/meminfo: memFree=1861488/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=2564 CPUtime=0 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 202 0 0 0 0 0 0 0 18 0 1 0 183258792 2625536 186 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 641 186 128 292 0 339 0 [startup+0.00958907 s] /proc/loadavg: 0.99 1.00 1.00 3/64 2814 /proc/meminfo: memFree=1861488/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=2668 CPUtime=0 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 243 0 0 0 0 0 0 0 18 0 1 0 183258792 2732032 220 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 667 220 133 292 0 372 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2668 [startup+0.101599 s] /proc/loadavg: 0.99 1.00 1.00 3/64 2814 /proc/meminfo: memFree=1861488/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=2796 CPUtime=0.09 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 292 0 0 0 9 0 0 0 18 0 1 0 183258792 2863104 269 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 699 269 133 292 0 404 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2796 [startup+0.301621 s] /proc/loadavg: 0.99 1.00 1.00 3/64 2814 /proc/meminfo: memFree=1861488/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=3544 CPUtime=0.29 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 487 0 0 0 29 0 0 0 19 0 1 0 183258792 3629056 464 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 886 464 136 292 0 591 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3544 [startup+0.701666 s] /proc/loadavg: 0.99 1.00 1.00 3/64 2814 /proc/meminfo: memFree=1861488/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=4488 CPUtime=0.69 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 723 0 0 0 67 2 0 0 19 0 1 0 183258792 4595712 700 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 1122 700 136 292 0 827 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4488 [startup+1.50176 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2815 /proc/meminfo: memFree=1858728/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=5688 CPUtime=1.49 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 1007 0 0 0 146 3 0 0 25 0 1 0 183258792 5824512 984 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 1422 984 136 292 0 1127 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5688 [startup+3.10293 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2815 /proc/meminfo: memFree=1856360/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=8732 CPUtime=3.1 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 1766 0 0 0 305 5 0 0 25 0 1 0 183258792 8941568 1743 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 2183 1743 136 292 0 1888 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 8732 [startup+6.30129 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2815 /proc/meminfo: memFree=1851624/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=12880 CPUtime=6.29 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 2791 0 0 0 623 6 0 0 25 0 1 0 183258792 13189120 2768 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 3220 2768 136 292 0 2925 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12880 [startup+12.702 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2815 /proc/meminfo: memFree=1849320/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=14692 CPUtime=12.69 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 3277 0 0 0 1259 10 0 0 25 0 1 0 183258792 15044608 3253 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 3673 3253 136 292 0 3378 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14692 [startup+25.5014 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2815 /proc/meminfo: memFree=1834600/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=28980 CPUtime=25.48 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 6809 0 0 0 2531 17 0 0 25 0 1 0 183258792 29675520 6785 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 7245 6785 136 292 0 6950 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28980 [startup+51.1013 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2815 /proc/meminfo: memFree=1808744/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=54468 CPUtime=51.08 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 13195 0 0 0 5075 33 0 0 25 0 1 0 183258792 55775232 13171 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 13617 13171 136 292 0 13322 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 54468 [startup+102.306 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2815 /proc/meminfo: memFree=1789736/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=73572 CPUtime=102.26 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 17967 0 0 0 10174 52 0 0 25 0 1 0 183258792 75337728 17943 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 18393 17943 136 292 0 18098 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 73572 [startup+162.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2817 /proc/meminfo: memFree=1739688/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=124016 CPUtime=162.25 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 30556 0 0 0 16145 80 0 0 25 0 1 0 183258792 126992384 30532 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 31004 30532 136 292 0 30709 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 124016 [startup+222.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2817 /proc/meminfo: memFree=1695144/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=168204 CPUtime=222.22 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 41572 0 0 0 22117 105 0 0 25 0 1 0 183258792 172240896 41548 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 42051 41548 136 292 0 41756 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 168204 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2817 /proc/meminfo: memFree=1648104/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=215732 CPUtime=282.21 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 53443 0 0 0 28088 133 0 0 25 0 1 0 183258792 220909568 53419 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 53933 53419 136 292 0 53638 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 215732 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2817 /proc/meminfo: memFree=1603304/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=259952 CPUtime=342.2 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 64470 0 0 0 34064 156 0 0 25 0 1 0 183258792 266190848 64446 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 64988 64446 136 292 0 64693 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 259952 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2817 /proc/meminfo: memFree=1559016/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=304924 CPUtime=402.18 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 75695 0 0 0 40037 181 0 0 25 0 1 0 183258792 312242176 75671 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 76231 75671 136 292 0 75936 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 304924 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2817 /proc/meminfo: memFree=1517096/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=346276 CPUtime=462.15 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 86000 0 0 0 46012 203 0 0 25 0 1 0 183258792 354586624 85976 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 86569 85976 136 292 0 86274 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 346276 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2817 /proc/meminfo: memFree=1476200/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=388412 CPUtime=522.14 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 96519 0 0 0 51989 225 0 0 25 0 1 0 183258792 397733888 96495 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 97103 96495 136 292 0 96808 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 388412 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2817 /proc/meminfo: memFree=1427048/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=436140 CPUtime=582.12 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 108447 0 0 0 57960 252 0 0 25 0 1 0 183258792 446607360 108423 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 109035 108423 136 292 0 108740 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 436140 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2817 /proc/meminfo: memFree=1378664/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=484248 CPUtime=642.11 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 120446 0 0 0 63934 277 0 0 25 0 1 0 183258792 495869952 120422 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 121062 120422 136 292 0 120767 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 484248 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2822 /proc/meminfo: memFree=1245800/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=616116 CPUtime=882.03 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 153595 0 0 0 87820 383 0 0 25 0 1 0 183258792 630902784 153537 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 154029 153537 136 292 0 153734 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 616116 [startup+942.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2822 /proc/meminfo: memFree=1205544/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=657252 CPUtime=942.01 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 163840 0 0 0 93792 409 0 0 25 0 1 0 183258792 673026048 163782 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 164313 163782 136 292 0 164018 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 657252 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2822 /proc/meminfo: memFree=1171560/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=690360 CPUtime=1002 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 172104 0 0 0 99769 431 0 0 25 0 1 0 183258792 706928640 172046 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 172590 172046 136 292 0 172295 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 690360 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2822 /proc/meminfo: memFree=1136744/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=725828 CPUtime=1061.98 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 180950 0 0 0 105743 455 0 0 25 0 1 0 183258792 743247872 180892 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 181457 180892 136 292 0 181162 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 725828 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2822 /proc/meminfo: memFree=1095592/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=766520 CPUtime=1121.96 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 191079 0 0 0 111712 484 0 0 25 0 1 0 183258792 784916480 191021 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 191630 191021 136 292 0 191335 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 766520 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2822 /proc/meminfo: memFree=1051176/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=811684 CPUtime=1181.94 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 202378 0 0 0 117689 505 0 0 25 0 1 0 183258792 831164416 202320 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 202921 202320 136 292 0 202626 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 811684 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2822 /proc/meminfo: memFree=1002152/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=859652 CPUtime=1241.93 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 214355 0 0 0 123664 529 0 0 25 0 1 0 183258792 880283648 214297 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 214913 214297 136 292 0 214618 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 859652 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2822 /proc/meminfo: memFree=962984/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=898484 CPUtime=1301.91 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 224046 0 0 0 129641 550 0 0 25 0 1 0 183258792 920047616 223988 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 224621 223988 136 292 0 224326 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 898484 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2822 /proc/meminfo: memFree=912552/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=949848 CPUtime=1361.89 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 236844 0 0 0 135614 575 0 0 25 0 1 0 183258792 972644352 236786 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 237462 236787 136 292 0 237167 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 949848 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2822 /proc/meminfo: memFree=873896/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=987756 CPUtime=1421.87 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 246285 0 0 0 141593 594 0 0 25 0 1 0 183258792 1011462144 246227 1992294400 134512640 135709839 4294956240 18446744073709551615 134574202 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 246939 246227 136 292 0 246644 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 987756 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2822 /proc/meminfo: memFree=828456/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=1033272 CPUtime=1481.86 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 257671 0 0 0 147570 616 0 0 25 0 1 0 183258792 1058070528 257613 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 258318 257613 136 292 0 258023 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1033272 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2822 /proc/meminfo: memFree=778920/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=1082724 CPUtime=1541.84 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 270011 0 0 0 153543 641 0 0 25 0 1 0 183258792 1108709376 269953 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 270681 269953 136 292 0 270386 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1082724 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2822 /proc/meminfo: memFree=741032/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=1120412 CPUtime=1601.82 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 279425 0 0 0 159521 661 0 0 25 0 1 0 183258792 1147301888 279367 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 280103 279367 136 292 0 279808 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1120412 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2822 /proc/meminfo: memFree=705064/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=1156452 CPUtime=1661.8 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 288443 0 0 0 165498 682 0 0 25 0 1 0 183258792 1184206848 288385 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 289113 288385 136 292 0 288818 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1156452 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2822 /proc/meminfo: memFree=664424/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=1197332 CPUtime=1721.78 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 298643 0 0 0 171475 703 0 0 25 0 1 0 183258792 1226067968 298585 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 299333 298585 136 292 0 299038 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1197332 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2822 /proc/meminfo: memFree=625640/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=1235832 CPUtime=1781.77 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 308252 0 0 0 177450 727 0 0 25 0 1 0 183258792 1265491968 308194 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 308958 308194 136 292 0 308663 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1235832 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2822 /proc/meminfo: memFree=612584/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=1248564 CPUtime=1800.07 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4194304 311421 0 0 0 179273 734 0 0 25 0 1 0 183258792 1278529536 311363 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 312141 311363 136 292 0 311846 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1248564 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 0.99 1.00 1.00 2/65 2822 /proc/meminfo: memFree=612584/2055920 swapFree=4191900/4192956 [pid=2814] ppid=2812 vsize=0 CPUtime=1800.26 /proc/2814/stat : 2814 (wbo) R 2812 2814 2351 0 -1 4195332 311421 0 0 0 179273 753 0 0 25 0 1 0 183258792 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/2814/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.8 CPU time (s): 1800.28 CPU user time (s): 1792.73 CPU system time (s): 7.54085 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 1248564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.73 system time used= 7.54085 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 311421 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= 3 involuntary context switches= 2943 runsolver used 1.35279 second user time and 3.68344 second system time The end
Begin job on node9 at 2009-06-16 14:49:41 IDJOB=1876217 IDBENCH=2150 IDSOLVER=698 FILE ID=node9/1876217-1245156581 PBS_JOBID= 9363758 Free space on /tmp= 66160 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.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-1876217-1245156581/watcher-1876217-1245156581 -o /tmp/evaluation-result-1876217-1245156581/solver-1876217-1245156581 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876217-1245156581.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 110745290448fc70d55421e7e203e2bf RANDOM SEED=524512400 node9.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1861904 kB Buffers: 33916 kB Cached: 94276 kB SwapCached: 260 kB Active: 30312 kB Inactive: 110680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1861904 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2400 kB Writeback: 0 kB Mapped: 21996 kB Slab: 39072 kB Committed_AS: 157664 kB PageTables: 1392 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-1876217-1245156581.opb Free space on /tmp at the end= 66160 MiB End job on node9 at 2009-06-16 15:19:44