Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.28 | 1806.92 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb |
MD5SUM | 4516c2b2a07b4de9da3fc3a8a0c3a78c |
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.037993 |
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-1876210-1245155686.opb. 0.00/0.00 c Instance file HOME/instance-1876210-1245155686.opb 0.00/0.00 c File size is 44154 bytes. 0.00/0.01 c Highest Coefficient sum: 4 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 400 | 0.00/0.01 c | Number Clauses: 1792 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 8 | 0.00/0.01 c core #1 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 1 0.00/0.01 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.02 c core #2 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 2 0.00/0.02 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.02 c core #3 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 3 0.00/0.02 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.02 c core #4 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 4 0.00/0.02 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.02 c core #5 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 5 0.00/0.02 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.02 c core #6 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 6 0.00/0.02 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.02 c core #7 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 7 0.00/0.02 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.02 c core #8 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 8 0.00/0.02 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #9 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 9 0.00/0.03 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #10 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 10 0.00/0.03 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #11 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 11 0.00/0.03 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #12 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 12 0.00/0.03 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #13 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 13 0.00/0.03 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #14 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 14 0.00/0.03 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #15 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 15 0.00/0.03 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.04 c core #16 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 16 0.00/0.04 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.04 c core #17 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 17 0.00/0.04 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.04 c core #18 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 18 0.00/0.04 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #19 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 19 0.00/0.04 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #20 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.04 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #21 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 21 0.00/0.04 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #22 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 22 0.00/0.04 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.05 c core #23 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 23 0.00/0.05 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.05 c core #24 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 24 0.00/0.05 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.05 c core #25 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 25 0.00/0.05 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.05 c core #26 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 26 0.00/0.05 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.05 c core #27 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 27 0.00/0.05 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.05 c core #28 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 28 0.00/0.05 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.05 c core #29 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.05 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.00/0.06 c core #30 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.06 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.06 c core #31 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 31 0.00/0.06 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.00/0.06 c core #32 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.06 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.06 c core #33 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 33 0.00/0.06 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.06 c core #34 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 34 0.00/0.06 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.06 c core #35 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 35 0.00/0.06 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.00/0.06 c core #36 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 36 0.00/0.06 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.00/0.07 c core #37 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 37 0.00/0.07 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.07 c core #38 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 38 0.00/0.07 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.00/0.07 c core #39 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 39 0.00/0.07 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.00/0.07 c core #40 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 40 0.00/0.07 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.00/0.07 c core #41 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.07 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.00/0.07 c core #42 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 42 0.00/0.07 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.00/0.07 c core #43 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 43 0.00/0.07 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.00/0.08 c core #44 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 44 0.00/0.08 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.00/0.08 c core #45 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 45 0.00/0.08 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.00/0.08 c core #46 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 46 0.00/0.08 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.00/0.08 c core #47 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 47 0.00/0.08 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.00/0.08 c core #48 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 48 0.00/0.08 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.00/0.08 c core #49 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 49 0.00/0.08 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.00/0.09 c core #50 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 50 0.00/0.09 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.06/0.09 c core #51 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 51 0.06/0.09 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.06/0.09 c core #52 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 52 0.06/0.09 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.06/0.09 c core #53 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 53 0.06/0.09 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.06/0.09 c core #54 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 54 0.06/0.09 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.06/0.09 c core #55 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 55 0.06/0.09 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.06/0.10 c core #56 0.06/0.10 c Core size: 4 Core Weight: 1 Total Weight: 56 0.06/0.10 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.07/0.10 c core #57 0.07/0.10 c Core size: 4 Core Weight: 1 Total Weight: 57 0.07/0.10 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.07/0.10 c core #58 0.07/0.10 c Core size: 4 Core Weight: 1 Total Weight: 58 0.07/0.10 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.07/0.10 c core #59 0.07/0.10 c Core size: 4 Core Weight: 1 Total Weight: 59 0.07/0.10 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.07/0.10 c core #60 0.07/0.10 c Core size: 4 Core Weight: 1 Total Weight: 60 0.07/0.10 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.07/0.10 c core #61 0.07/0.10 c Core size: 4 Core Weight: 1 Total Weight: 61 0.07/0.10 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.07/0.10 c core #62 0.07/0.10 c Core size: 4 Core Weight: 1 Total Weight: 62 0.07/0.11 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.07/0.11 c core #63 0.07/0.11 c Core size: 4 Core Weight: 1 Total Weight: 63 0.07/0.11 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.07/0.11 c core #64 0.07/0.11 c Core size: 4 Core Weight: 1 Total Weight: 64 0.07/0.11 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.07/0.11 c core #65 0.07/0.11 c Core size: 4 Core Weight: 1 Total Weight: 65 0.07/0.11 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.07/0.11 c core #66 0.07/0.11 c Core size: 4 Core Weight: 1 Total Weight: 66 0.07/0.11 c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s 0.07/0.11 c core #67 0.07/0.11 c Core size: 4 Core Weight: 1 Total Weight: 67 0.07/0.11 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.07/0.11 c core #68 0.07/0.11 c Core size: 4 Core Weight: 1 Total Weight: 68 0.07/0.11 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.07/0.12 c core #69 0.07/0.12 c Core size: 4 Core Weight: 1 Total Weight: 69 0.07/0.12 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.07/0.12 c core #70 0.07/0.12 c Core size: 4 Core Weight: 1 Total Weight: 70 0.07/0.12 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.07/0.12 c core #71 0.07/0.12 c Core size: 4 Core Weight: 1 Total Weight: 71 0.07/0.12 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 0.07/0.12 c core #72 0.07/0.12 c Core size: 4 Core Weight: 1 Total Weight: 72 0.07/0.12 c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s 0.07/0.12 c core #73 0.07/0.12 c Core size: 4 Core Weight: 1 Total Weight: 73 0.07/0.12 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.07/0.12 c core #74 0.07/0.12 c Core size: 4 Core Weight: 1 Total Weight: 74 0.07/0.12 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.07/0.13 c core #75 0.07/0.13 c Core size: 4 Core Weight: 1 Total Weight: 75 0.07/0.13 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.07/0.13 c core #76 0.07/0.13 c Core size: 4 Core Weight: 1 Total Weight: 76 0.07/0.13 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.07/0.13 c core #77 0.07/0.13 c Core size: 4 Core Weight: 1 Total Weight: 77 0.07/0.13 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.07/0.13 c core #78 0.07/0.13 c Core size: 4 Core Weight: 1 Total Weight: 78 0.07/0.13 c Elapsed CPU time: 0.110983 s Remaining CPU time: 1799.89 s 0.07/0.13 c core #79 0.07/0.13 c Core size: 4 Core Weight: 1 Total Weight: 79 0.07/0.13 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.07/0.13 c core #80 0.07/0.13 c Core size: 4 Core Weight: 1 Total Weight: 80 0.07/0.13 c Elapsed CPU time: 0.113982 s Remaining CPU time: 1799.89 s 0.07/0.14 c core #81 0.07/0.14 c Core size: 4 Core Weight: 1 Total Weight: 81 0.07/0.14 c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s 0.07/0.14 c core #82 0.07/0.14 c Core size: 4 Core Weight: 1 Total Weight: 82 0.07/0.14 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s 0.07/0.14 c core #83 0.07/0.14 c Core size: 4 Core Weight: 1 Total Weight: 83 0.07/0.14 c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s 0.07/0.14 c core #84 0.07/0.14 c Core size: 4 Core Weight: 1 Total Weight: 84 0.07/0.14 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.07/0.14 c core #85 0.07/0.14 c Core size: 4 Core Weight: 1 Total Weight: 85 0.07/0.14 c Elapsed CPU time: 0.121981 s Remaining CPU time: 1799.88 s 0.07/0.14 c core #86 0.07/0.14 c Core size: 4 Core Weight: 1 Total Weight: 86 0.07/0.14 c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 s 0.07/0.15 c core #87 0.07/0.15 c Core size: 4 Core Weight: 1 Total Weight: 87 0.07/0.15 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 s 0.07/0.15 c core #88 0.07/0.15 c Core size: 4 Core Weight: 1 Total Weight: 88 0.07/0.15 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.07/0.15 c core #89 0.07/0.15 c Core size: 4 Core Weight: 1 Total Weight: 89 0.07/0.15 c Elapsed CPU time: 0.12898 s Remaining CPU time: 1799.87 s 0.07/0.15 c core #90 0.07/0.15 c Core size: 4 Core Weight: 1 Total Weight: 90 0.07/0.15 c Elapsed CPU time: 0.13098 s Remaining CPU time: 1799.87 s 0.07/0.15 c core #91 0.07/0.15 c Core size: 4 Core Weight: 1 Total Weight: 91 0.07/0.15 c Elapsed CPU time: 0.131979 s Remaining CPU time: 1799.87 s 0.07/0.15 c core #92 0.07/0.15 c Core size: 4 Core Weight: 1 Total Weight: 92 0.07/0.15 c Elapsed CPU time: 0.133979 s Remaining CPU time: 1799.87 s 0.07/0.16 c core #93 0.07/0.16 c Core size: 4 Core Weight: 1 Total Weight: 93 0.07/0.16 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.07/0.16 c core #94 0.07/0.16 c Core size: 4 Core Weight: 1 Total Weight: 94 0.07/0.16 c Elapsed CPU time: 0.137979 s Remaining CPU time: 1799.86 s 0.07/0.16 c core #95 0.07/0.16 c Core size: 4 Core Weight: 1 Total Weight: 95 0.07/0.16 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.07/0.16 c core #96 0.07/0.16 c Core size: 4 Core Weight: 1 Total Weight: 96 0.07/0.16 c Elapsed CPU time: 0.139978 s Remaining CPU time: 1799.86 s 0.07/0.16 c core #97 0.07/0.16 c Core size: 4 Core Weight: 1 Total Weight: 97 0.07/0.16 c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s 0.07/0.17 c core #98 0.07/0.17 c Core size: 4 Core Weight: 1 Total Weight: 98 0.07/0.17 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.07/0.17 c core #99 0.07/0.17 c Core size: 4 Core Weight: 1 Total Weight: 99 0.07/0.17 c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s 0.07/0.17 c core #100 0.07/0.17 c Core size: 4 Core Weight: 1 Total Weight: 100 0.07/0.17 c Elapsed CPU time: 0.146977 s Remaining CPU time: 1799.85 s 0.07/0.17 c core #101 0.07/0.17 c Core size: 4 Core Weight: 1 Total Weight: 101 0.07/0.17 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 0.07/0.17 c core #102 0.07/0.17 c Core size: 4 Core Weight: 1 Total Weight: 102 0.07/0.17 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.07/0.17 c core #103 0.07/0.17 c Core size: 4 Core Weight: 1 Total Weight: 103 0.07/0.17 c Elapsed CPU time: 0.152976 s Remaining CPU time: 1799.85 s 0.07/0.18 c core #104 0.07/0.18 c Core size: 4 Core Weight: 1 Total Weight: 104 0.07/0.18 c Elapsed CPU time: 0.154976 s Remaining CPU time: 1799.85 s 0.07/0.18 c core #105 0.07/0.18 c Core size: 4 Core Weight: 1 Total Weight: 105 0.07/0.18 c Elapsed CPU time: 0.155976 s Remaining CPU time: 1799.84 s 0.07/0.18 c core #106 0.07/0.18 c Core size: 4 Core Weight: 1 Total Weight: 106 0.07/0.18 c Elapsed CPU time: 0.157975 s Remaining CPU time: 1799.84 s 0.07/0.18 c core #107 0.07/0.18 c Core size: 4 Core Weight: 1 Total Weight: 107 0.07/0.18 c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 s 0.07/0.18 c core #108 0.07/0.18 c Core size: 4 Core Weight: 1 Total Weight: 108 0.07/0.18 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.07/0.19 c core #109 0.07/0.19 c Core size: 4 Core Weight: 1 Total Weight: 109 0.07/0.19 c Elapsed CPU time: 0.163975 s Remaining CPU time: 1799.84 s 0.07/0.19 c core #110 0.07/0.19 c Core size: 4 Core Weight: 1 Total Weight: 110 0.07/0.19 c Elapsed CPU time: 0.165974 s Remaining CPU time: 1799.83 s 0.07/0.19 c core #111 0.07/0.19 c Core size: 7 Core Weight: 1 Total Weight: 111 0.07/0.19 c Elapsed CPU time: 0.167974 s Remaining CPU time: 1799.83 s 0.07/0.19 c core #112 0.07/0.19 c Core size: 6 Core Weight: 1 Total Weight: 112 0.07/0.19 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s 0.07/0.19 c core #113 0.07/0.19 c Core size: 7 Core Weight: 1 Total Weight: 113 0.07/0.19 c Elapsed CPU time: 0.171973 s Remaining CPU time: 1799.83 s 0.07/0.19 c core #114 0.07/0.19 c Core size: 7 Core Weight: 1 Total Weight: 114 0.07/0.19 c Elapsed CPU time: 0.172973 s Remaining CPU time: 1799.83 s 0.07/0.20 c core #115 0.07/0.20 c Core size: 16 Core Weight: 1 Total Weight: 115 0.07/0.20 c Elapsed CPU time: 0.173973 s Remaining CPU time: 1799.83 s 0.17/0.20 c core #116 0.17/0.20 c Core size: 13 Core Weight: 1 Total Weight: 116 0.17/0.20 c Elapsed CPU time: 0.175973 s Remaining CPU time: 1799.82 s 0.17/0.20 c core #117 0.17/0.20 c Core size: 36 Core Weight: 1 Total Weight: 117 0.17/0.20 c Elapsed CPU time: 0.177972 s Remaining CPU time: 1799.82 s 0.17/0.20 c core #118 0.17/0.20 c Core size: 42 Core Weight: 1 Total Weight: 118 0.17/0.20 c Elapsed CPU time: 0.179972 s Remaining CPU time: 1799.82 s 0.17/0.21 c core #119 0.17/0.21 c Core size: 22 Core Weight: 1 Total Weight: 119 0.17/0.21 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.17/0.21 c core #120 0.17/0.21 c Core size: 40 Core Weight: 1 Total Weight: 120 0.17/0.21 c Elapsed CPU time: 0.183972 s Remaining CPU time: 1799.82 s 0.17/0.21 c ============================[ Search Statistics ]============================== 0.17/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.17/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.17/0.21 c =============================================================================== 0.17/0.21 c | 0 | 798 1920 5182 | 5000 0 nan | 0.000 % | 0.17/0.21 c =============================================================================== 0.17/0.21 c core #121 0.17/0.21 c Core size: 94 Core Weight: 1 Total Weight: 121 0.17/0.21 c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s 0.17/0.21 c ============================[ Search Statistics ]============================== 0.17/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.17/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.17/0.21 c =============================================================================== 0.17/0.21 c | 0 | 844 1921 5278 | 5000 0 nan | 0.000 % | 0.17/0.21 c =============================================================================== 0.17/0.21 c core #122 0.17/0.21 c Core size: 70 Core Weight: 1 Total Weight: 122 0.17/0.21 c Elapsed CPU time: 0.189971 s Remaining CPU time: 1799.81 s 0.17/0.22 c ============================[ Search Statistics ]============================== 0.17/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.17/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.17/0.22 c =============================================================================== 0.17/0.22 c | 0 | 877 1922 5346 | 5000 0 nan | 0.000 % | 0.17/0.22 c =============================================================================== 0.17/0.22 c core #123 0.17/0.22 c Core size: 349 Core Weight: 1 Total Weight: 123 0.17/0.22 c Elapsed CPU time: 0.19497 s Remaining CPU time: 1799.81 s 0.17/0.22 c Learning 1 hard constraints 0.17/0.22 c ============================[ Search Statistics ]============================== 0.17/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.17/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.17/0.22 c =============================================================================== 0.17/0.22 c | 0 | 1000 1924 5595 | 5000 0 nan | 0.000 % | 0.17/0.22 c =============================================================================== 0.17/0.22 c core #124 0.17/0.22 c Core size: 81 Core Weight: 1 Total Weight: 124 0.17/0.22 c Elapsed CPU time: 0.197969 s Remaining CPU time: 1799.8 s 0.17/0.22 c Learning 1 hard constraints 0.17/0.22 c ============================[ Search Statistics ]============================== 0.17/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.17/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.17/0.22 c =============================================================================== 0.17/0.22 c | 0 | 1023 1926 5643 | 5000 0 nan | 0.000 % | 0.17/0.23 c =============================================================================== 0.17/0.23 c core #125 0.17/0.23 c Core size: 79 Core Weight: 1 Total Weight: 125 0.17/0.23 c Elapsed CPU time: 0.199969 s Remaining CPU time: 1799.8 s 0.17/0.23 c Learning 2 hard constraints 0.17/0.23 c ============================[ Search Statistics ]============================== 0.17/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.17/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.17/0.23 c =============================================================================== 0.17/0.23 c | 0 | 1049 1929 5699 | 5000 0 nan | 0.000 % | 0.17/0.23 c =============================================================================== 0.17/0.23 c core #126 0.17/0.23 c Core size: 454 Core Weight: 1 Total Weight: 126 0.17/0.23 c Elapsed CPU time: 0.205968 s Remaining CPU time: 1799.79 s 0.17/0.23 c Learning 6 hard constraints 0.17/0.23 c ============================[ Search Statistics ]============================== 0.17/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.17/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.17/0.24 c =============================================================================== 0.17/0.24 c | 0 | 1182 1936 5987 | 5000 0 nan | 0.000 % | 0.17/0.24 c | 104 | 1180 1936 5987 | 5500 103 15 | 0.170 % | 0.17/0.24 c =============================================================================== 0.17/0.24 c core #127 0.17/0.24 c Core size: 398 Core Weight: 1 Total Weight: 127 0.17/0.24 c Elapsed CPU time: 0.216967 s Remaining CPU time: 1799.78 s 0.17/0.25 c Learning 8 hard constraints 0.17/0.25 c ============================[ Search Statistics ]============================== 0.17/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.17/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.17/0.25 c =============================================================================== 0.17/0.25 c | 0 | 1236 1945 6127 | 5000 0 nan | 0.000 % | 0.17/0.25 c =============================================================================== 0.17/0.25 c core #128 0.17/0.25 c Core size: 193 Core Weight: 1 Total Weight: 128 0.17/0.25 c Elapsed CPU time: 0.220966 s Remaining CPU time: 1799.78 s 0.17/0.25 c Learning 4 hard constraints 0.17/0.25 c ============================[ Search Statistics ]============================== 0.17/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.17/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.17/0.25 c =============================================================================== 0.17/0.25 c | 0 | 1205 1950 6173 | 5000 0 nan | 0.000 % | 0.17/0.25 c =============================================================================== 0.17/0.25 c core #129 0.17/0.25 c Core size: 88 Core Weight: 1 Total Weight: 129 0.17/0.25 c Elapsed CPU time: 0.224965 s Remaining CPU time: 1799.78 s 0.17/0.25 c Learning 3 hard constraints 0.17/0.25 c core #130 0.17/0.25 c Core size: 151 Core Weight: 1 Total Weight: 130 0.17/0.25 c Elapsed CPU time: 0.227965 s Remaining CPU time: 1799.77 s 0.17/0.26 c core #131 0.17/0.26 c Core size: 140 Core Weight: 1 Total Weight: 131 0.17/0.26 c Elapsed CPU time: 0.230964 s Remaining CPU time: 1799.77 s 0.17/0.26 c ============================[ Search Statistics ]============================== 0.17/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.17/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.17/0.26 c =============================================================================== 0.17/0.26 c | 0 | 822 1956 6212 | 5000 0 nan | 0.000 % | 0.17/0.26 c =============================================================================== 0.17/0.26 c core #132 0.17/0.26 c Core size: 126 Core Weight: 1 Total Weight: 132 0.17/0.26 c Elapsed CPU time: 0.232964 s Remaining CPU time: 1799.77 s 0.17/0.26 c ============================[ Search Statistics ]============================== 0.17/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.17/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.17/0.26 c =============================================================================== 0.17/0.26 c | 0 | 826 1957 6220 | 5000 0 nan | 0.000 % | 0.17/0.26 c =============================================================================== 0.17/0.26 c core #133 0.17/0.26 c Core size: 178 Core Weight: 1 Total Weight: 133 0.17/0.26 c Elapsed CPU time: 0.236963 s Remaining CPU time: 1799.76 s 0.17/0.27 c ============================[ Search Statistics ]============================== 0.17/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.17/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.17/0.27 c =============================================================================== 0.17/0.27 c | 0 | 832 1958 6232 | 5000 0 nan | 0.000 % | 0.17/0.27 c =============================================================================== 0.17/0.27 c core #134 0.17/0.27 c Core size: 206 Core Weight: 1 Total Weight: 134 0.17/0.27 c Elapsed CPU time: 0.238963 s Remaining CPU time: 1799.76 s 0.17/0.27 c ============================[ Search Statistics ]============================== 0.17/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.17/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.17/0.27 c =============================================================================== 0.17/0.27 c | 0 | 843 1959 6254 | 5000 0 nan | 0.000 % | 0.17/0.27 c =============================================================================== 0.17/0.27 c core #135 0.17/0.27 c Core size: 268 Core Weight: 1 Total Weight: 135 0.17/0.27 c Elapsed CPU time: 0.242963 s Remaining CPU time: 1799.76 s 0.17/0.28 c ============================[ Search Statistics ]============================== 0.17/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.17/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.17/0.28 c =============================================================================== 0.17/0.28 c | 0 | 864 1960 6296 | 5000 0 nan | 0.000 % | 0.17/0.28 c =============================================================================== 0.17/0.28 c core #136 0.17/0.28 c Core size: 228 Core Weight: 1 Total Weight: 136 0.17/0.28 c Elapsed CPU time: 0.247962 s Remaining CPU time: 1799.75 s 0.17/0.28 c ============================[ Search Statistics ]============================== 0.17/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.17/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.17/0.28 c =============================================================================== 0.17/0.28 c | 0 | 879 1961 6326 | 5000 0 nan | 0.000 % | 0.17/0.28 c =============================================================================== 0.17/0.28 c core #137 0.17/0.28 c Core size: 175 Core Weight: 1 Total Weight: 137 0.17/0.28 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 s 0.17/0.28 c ============================[ Search Statistics ]============================== 0.17/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.17/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.17/0.28 c =============================================================================== 0.17/0.28 c | 0 | 886 1962 6340 | 5000 0 nan | 0.000 % | 0.17/0.29 c =============================================================================== 0.17/0.29 c core #138 0.17/0.29 c Core size: 188 Core Weight: 1 Total Weight: 138 0.17/0.29 c Elapsed CPU time: 0.25696 s Remaining CPU time: 1799.74 s 0.17/0.29 c ============================[ Search Statistics ]============================== 0.17/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.17/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.17/0.29 c =============================================================================== 0.17/0.29 c | 0 | 903 1963 6362 | 5000 0 nan | 0.000 % | 0.17/0.29 c | 100 | 903 1963 6362 | 5500 100 19 | 32.636 % | 0.26/0.30 c | 251 | 892 1963 6362 | 6050 250 24 | 35.997 % | 0.26/0.30 c =============================================================================== 0.26/0.30 c core #139 0.26/0.30 c Core size: 318 Core Weight: 1 Total Weight: 139 0.26/0.30 c Elapsed CPU time: 0.269958 s Remaining CPU time: 1799.73 s 0.26/0.31 c ============================[ Search Statistics ]============================== 0.26/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.26/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.26/0.31 c =============================================================================== 0.26/0.31 c | 0 | 933 1964 6422 | 5000 0 nan | 0.000 % | 0.26/0.31 c | 101 | 933 1964 6422 | 5500 101 27 | 31.848 % | 0.26/0.32 c =============================================================================== 0.26/0.32 c core #140 0.26/0.32 c Core size: 160 Core Weight: 1 Total Weight: 140 0.26/0.32 c Elapsed CPU time: 0.282956 s Remaining CPU time: 1799.72 s 0.26/0.32 c ============================[ Search Statistics ]============================== 0.26/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.26/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.26/0.32 c =============================================================================== 0.26/0.32 c | 0 | 938 1965 6432 | 5000 0 nan | 0.000 % | 0.26/0.32 c | 101 | 938 1965 6432 | 5500 101 27 | 31.732 % | 0.26/0.33 c | 251 | 935 1965 6432 | 6050 246 37 | 31.951 % | 0.26/0.34 c | 477 | 933 1965 6432 | 6655 472 34 | 32.096 % | 0.26/0.36 c =============================================================================== 0.26/0.36 c core #141 0.26/0.36 c Core size: 336 Core Weight: 1 Total Weight: 141 0.26/0.36 c Elapsed CPU time: 0.32695 s Remaining CPU time: 1799.67 s 0.26/0.37 c ============================[ Search Statistics ]============================== 0.26/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.26/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.26/0.37 c =============================================================================== 0.26/0.37 c | 0 | 976 1966 6508 | 5000 0 nan | 0.000 % | 0.26/0.37 c =============================================================================== 0.26/0.37 c core #142 0.26/0.37 c Core size: 154 Core Weight: 1 Total Weight: 142 0.26/0.37 c Elapsed CPU time: 0.333949 s Remaining CPU time: 1799.67 s 0.26/0.37 c ============================[ Search Statistics ]============================== 0.26/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.26/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.26/0.37 c =============================================================================== 0.26/0.37 c | 0 | 983 1967 6522 | 5000 0 nan | 0.000 % | 0.26/0.38 c | 101 | 983 1967 6522 | 5500 101 34 | 30.726 % | 0.26/0.39 c | 253 | 978 1967 6522 | 6050 252 42 | 31.149 % | 0.36/0.40 c =============================================================================== 0.36/0.40 c core #143 0.36/0.40 c Core size: 186 Core Weight: 1 Total Weight: 143 0.36/0.40 c Elapsed CPU time: 0.359945 s Remaining CPU time: 1799.64 s 0.36/0.40 c ============================[ Search Statistics ]============================== 0.36/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.36/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.36/0.40 c =============================================================================== 0.36/0.40 c | 0 | 992 1968 6540 | 5000 0 nan | 0.000 % | 0.36/0.40 c =============================================================================== 0.36/0.40 c core #144 0.36/0.40 c Core size: 95 Core Weight: 1 Total Weight: 144 0.36/0.40 c Elapsed CPU time: 0.363944 s Remaining CPU time: 1799.64 s 0.36/0.41 c ============================[ Search Statistics ]============================== 0.36/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.36/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.36/0.41 c =============================================================================== 0.36/0.41 c | 0 | 996 1969 6548 | 5000 0 nan | 0.000 % | 0.36/0.41 c | 101 | 996 1969 6548 | 5500 101 34 | 30.447 % | 0.36/0.41 c =============================================================================== 0.36/0.41 c core #145 0.36/0.41 c Core size: 207 Core Weight: 1 Total Weight: 145 0.36/0.41 c Elapsed CPU time: 0.373943 s Remaining CPU time: 1799.63 s 0.36/0.42 c ============================[ Search Statistics ]============================== 0.36/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.36/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.36/0.42 c =============================================================================== 0.36/0.42 c | 0 | 1010 1970 6576 | 5000 0 nan | 0.000 % | 0.36/0.42 c =============================================================================== 0.36/0.42 c core #146 0.36/0.42 c Core size: 208 Core Weight: 1 Total Weight: 146 0.36/0.42 c Elapsed CPU time: 0.380942 s Remaining CPU time: 1799.62 s 0.36/0.42 c ============================[ Search Statistics ]============================== 0.36/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.36/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.36/0.42 c =============================================================================== 0.36/0.42 c | 0 | 1028 1971 6612 | 5000 0 nan | 0.000 % | 0.36/0.43 c =============================================================================== 0.36/0.43 c core #147 0.36/0.43 c Core size: 192 Core Weight: 1 Total Weight: 147 0.36/0.43 c Elapsed CPU time: 0.386941 s Remaining CPU time: 1799.61 s 0.36/0.43 c ============================[ Search Statistics ]============================== 0.36/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.36/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.36/0.43 c =============================================================================== 0.36/0.43 c | 0 | 1040 1972 6636 | 5000 0 nan | 0.000 % | 0.36/0.43 c =============================================================================== 0.36/0.43 c core #148 0.36/0.43 c Core size: 152 Core Weight: 1 Total Weight: 148 0.36/0.43 c Elapsed CPU time: 0.39194 s Remaining CPU time: 1799.61 s 0.36/0.44 c ============================[ Search Statistics ]============================== 0.36/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.36/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.36/0.44 c =============================================================================== 0.36/0.44 c | 0 | 1046 1973 6648 | 5000 0 nan | 0.000 % | 0.36/0.44 c | 100 | 1046 1973 6648 | 5500 100 34 | 29.420 % | 0.36/0.45 c | 250 | 1046 1973 6648 | 6050 250 42 | 29.420 % | 0.36/0.47 c | 475 | 1046 1973 6648 | 6655 475 49 | 29.420 % | 0.46/0.50 c | 818 | 1046 1973 6648 | 7320 818 54 | 29.420 % | 0.46/0.54 c =============================================================================== 0.46/0.55 c core #149 0.46/0.55 c Core size: 348 Core Weight: 1 Total Weight: 149 0.46/0.55 c Elapsed CPU time: 0.498924 s Remaining CPU time: 1799.5 s 0.46/0.55 c ============================[ Search Statistics ]============================== 0.46/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.46/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.46/0.55 c =============================================================================== 0.46/0.55 c | 0 | 1085 1974 6726 | 5000 0 nan | 0.000 % | 0.46/0.56 c | 102 | 1085 1974 6726 | 5500 102 23 | 28.665 % | 0.46/0.56 c | 252 | 1085 1974 6726 | 6050 252 25 | 28.665 % | 0.46/0.57 c =============================================================================== 0.46/0.57 c core #150 0.46/0.57 c Core size: 245 Core Weight: 1 Total Weight: 150 0.46/0.57 c Elapsed CPU time: 0.52492 s Remaining CPU time: 1799.48 s 0.46/0.58 c ============================[ Search Statistics ]============================== 0.46/0.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.46/0.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.46/0.58 c =============================================================================== 0.46/0.58 c | 0 | 1104 1975 6764 | 5000 0 nan | 0.000 % | 0.46/0.58 c =============================================================================== 0.46/0.58 c core #151 0.46/0.58 c Core size: 193 Core Weight: 1 Total Weight: 151 0.46/0.58 c Elapsed CPU time: 0.529919 s Remaining CPU time: 1799.47 s 0.46/0.58 c ============================[ Search Statistics ]============================== 0.46/0.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.46/0.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.46/0.58 c =============================================================================== 0.46/0.58 c | 0 | 1116 1976 6788 | 5000 0 nan | 0.000 % | 0.46/0.59 c | 100 | 1116 1976 6788 | 5500 100 20 | 28.093 % | 0.46/0.60 c | 252 | 1116 1976 6788 | 6050 252 20 | 28.093 % | 0.56/0.60 c | 478 | 1116 1976 6788 | 6655 478 21 | 28.093 % | 0.56/0.62 c | 816 | 1112 1976 6788 | 7320 815 22 | 28.351 % | 0.56/0.63 c =============================================================================== 0.56/0.63 c core #152 0.56/0.63 c Core size: 197 Core Weight: 1 Total Weight: 152 0.56/0.63 c Elapsed CPU time: 0.580911 s Remaining CPU time: 1799.42 s 0.56/0.64 c ============================[ Search Statistics ]============================== 0.56/0.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.56/0.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.56/0.64 c =============================================================================== 0.56/0.64 c | 0 | 1130 1977 6816 | 5000 0 nan | 0.000 % | 0.56/0.64 c =============================================================================== 0.56/0.64 c core #153 0.56/0.64 c Core size: 158 Core Weight: 1 Total Weight: 153 0.56/0.64 c Elapsed CPU time: 0.58591 s Remaining CPU time: 1799.41 s 0.56/0.64 c ============================[ Search Statistics ]============================== 0.56/0.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.56/0.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.56/0.64 c =============================================================================== 0.56/0.64 c | 0 | 1142 1978 6840 | 5000 0 nan | 0.000 % | 0.56/0.65 c | 100 | 1130 1978 6840 | 5500 70 16 | 28.390 % | 0.56/0.65 c =============================================================================== 0.56/0.65 c core #154 0.56/0.65 c Core size: 221 Core Weight: 1 Total Weight: 154 0.56/0.65 c Elapsed CPU time: 0.592909 s Remaining CPU time: 1799.41 s 0.56/0.65 c ============================[ Search Statistics ]============================== 0.56/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.56/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.56/0.65 c =============================================================================== 0.56/0.65 c | 0 | 1160 1979 6876 | 5000 0 nan | 0.000 % | 0.56/0.66 c | 101 | 1160 1979 6876 | 5500 101 25 | 27.318 % | 0.56/0.66 c | 253 | 1160 1979 6876 | 6050 253 23 | 27.318 % | 0.56/0.68 c | 479 | 1160 1979 6876 | 6655 479 27 | 27.318 % | 0.66/0.70 c | 817 | 1160 1979 6876 | 7320 817 29 | 27.318 % | 0.66/0.72 c =============================================================================== 0.66/0.72 c core #155 0.66/0.72 c Core size: 255 Core Weight: 1 Total Weight: 155 0.66/0.72 c Elapsed CPU time: 0.658899 s Remaining CPU time: 1799.34 s 0.66/0.73 c ============================[ Search Statistics ]============================== 0.66/0.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.66/0.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.66/0.73 c =============================================================================== 0.66/0.73 c | 0 | 1185 1980 6926 | 5000 0 nan | 0.000 % | 0.66/0.73 c | 100 | 1185 1980 6926 | 5500 100 27 | 26.897 % | 0.66/0.74 c | 252 | 1185 1980 6926 | 6050 252 31 | 26.897 % | 0.66/0.75 c | 477 | 1185 1980 6926 | 6655 477 35 | 26.897 % | 0.66/0.78 c | 816 | 1185 1980 6926 | 7320 816 39 | 26.897 % | 0.76/0.81 c | 1323 | 1185 1980 6926 | 8052 1323 38 | 26.897 % | 0.76/0.84 c =============================================================================== 0.76/0.85 c core #156 0.76/0.85 c Core size: 205 Core Weight: 1 Total Weight: 156 0.76/0.85 c Elapsed CPU time: 0.779881 s Remaining CPU time: 1799.22 s 0.76/0.85 c ============================[ Search Statistics ]============================== 0.76/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.76/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.76/0.85 c =============================================================================== 0.76/0.85 c | 0 | 1200 1981 6956 | 5000 0 nan | 0.000 % | 0.76/0.86 c | 100 | 1200 1981 6956 | 5500 100 26 | 26.650 % | 0.76/0.86 c | 253 | 1200 1981 6956 | 6050 253 29 | 26.650 % | 0.76/0.87 c | 478 | 1200 1981 6956 | 6655 478 35 | 26.650 % | 0.76/0.90 c | 817 | 1200 1981 6956 | 7320 817 37 | 26.650 % | 0.85/0.94 c | 1326 | 1193 1981 6956 | 8052 1311 36 | 27.139 % | 0.85/0.95 c =============================================================================== 0.85/0.96 c core #157 0.85/0.96 c Core size: 253 Core Weight: 1 Total Weight: 157 0.85/0.96 c Elapsed CPU time: 0.884865 s Remaining CPU time: 1799.12 s 0.85/0.96 c ============================[ Search Statistics ]============================== 0.85/0.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.85/0.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.85/0.96 c =============================================================================== 0.85/0.96 c | 0 | 1223 1982 7002 | 5000 0 nan | 0.000 % | 0.85/0.97 c | 101 | 1223 1982 7002 | 5500 101 31 | 26.281 % | 0.85/0.98 c | 254 | 1223 1982 7002 | 6050 254 36 | 26.281 % | 0.85/0.99 c | 481 | 1223 1982 7002 | 6655 481 41 | 26.281 % | 0.95/1.02 c | 818 | 1223 1982 7002 | 7320 818 49 | 26.281 % | 0.95/1.07 c | 1324 | 1223 1982 7002 | 8052 1324 54 | 26.281 % | 1.14/1.21 c | 2084 | 1223 1982 7002 | 8857 2084 57 | 26.281 % | 1.34/1.46 c | 3226 | 1223 1982 7002 | 9743 3226 60 | 26.281 % | 1.63/1.80 c | 4936 | 1223 1982 7002 | 10717 4936 61 | 26.281 % | 2.73/2.83 c | 7502 | 1223 1982 7002 | 11789 7502 62 | 26.281 % | 3.32/3.49 c | 11349 | 1169 1982 7002 | 12968 3971 48 | 29.536 % | 4.45/5.10 c =============================================================================== 4.56/5.25 c core #158 4.56/5.25 c Core size: 323 Core Weight: 1 Total Weight: 158 4.56/5.25 c Elapsed CPU time: 4.54331 s Remaining CPU time: 1795.46 s 4.56/5.26 c ============================[ Search Statistics ]============================== 4.56/5.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.56/5.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.56/5.26 c =============================================================================== 4.56/5.26 c | 0 | 1263 1983 7082 | 5000 0 nan | 0.000 % | 4.56/5.27 c | 100 | 1263 1983 7082 | 5500 100 24 | 25.662 % | 4.56/5.28 c | 251 | 1263 1983 7082 | 6050 251 26 | 25.662 % | 4.56/5.29 c | 476 | 1263 1983 7082 | 6655 476 28 | 25.662 % | 4.65/5.30 c =============================================================================== 4.65/5.31 c core #159 4.65/5.31 c Core size: 254 Core Weight: 1 Total Weight: 159 4.65/5.31 c Elapsed CPU time: 4.5973 s Remaining CPU time: 1795.4 s 4.65/5.31 c ============================[ Search Statistics ]============================== 4.65/5.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.65/5.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.65/5.31 c =============================================================================== 4.65/5.31 c | 0 | 1289 1984 7134 | 5000 0 nan | 0.000 % | 4.65/5.32 c | 100 | 1289 1984 7134 | 5500 100 35 | 25.275 % | 4.65/5.33 c | 250 | 1289 1984 7134 | 6050 250 43 | 25.275 % | 4.65/5.34 c | 478 | 1289 1984 7134 | 6655 478 41 | 25.275 % | 4.65/5.37 c | 817 | 1289 1984 7134 | 7320 817 38 | 25.275 % | 4.75/5.41 c =============================================================================== 4.75/5.41 c core #160 4.75/5.41 c Core size: 259 Core Weight: 1 Total Weight: 160 4.75/5.41 c Elapsed CPU time: 4.68529 s Remaining CPU time: 1795.31 s 4.75/5.42 c ============================[ Search Statistics ]============================== 4.75/5.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.75/5.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.75/5.42 c =============================================================================== 4.75/5.42 c | 0 | 1312 1985 7180 | 5000 0 nan | 0.000 % | 4.75/5.42 c | 101 | 1312 1985 7180 | 5500 101 24 | 24.943 % | 4.75/5.43 c | 251 | 1312 1985 7180 | 6050 251 28 | 24.943 % | 4.75/5.44 c | 477 | 1312 1985 7180 | 6655 477 33 | 24.943 % | 4.75/5.46 c | 821 | 1312 1985 7180 | 7320 821 35 | 24.943 % | 4.84/5.51 c | 1328 | 1312 1985 7180 | 8052 1328 35 | 24.943 % | 4.84/5.59 c | 2087 | 1312 1985 7180 | 8857 2087 35 | 24.943 % | 4.94/5.70 c | 3226 | 1312 1985 7180 | 9743 3226 35 | 24.943 % | 5.35/6.07 c | 4936 | 1312 1985 7180 | 10717 4936 35 | 24.943 % | 5.50/6.20 c =============================================================================== 5.50/6.24 c core #161 5.50/6.24 c Core size: 198 Core Weight: 1 Total Weight: 161 5.50/6.24 c Elapsed CPU time: 5.45417 s Remaining CPU time: 1794.55 s 5.50/6.25 c ============================[ Search Statistics ]============================== 5.50/6.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.50/6.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.50/6.25 c =============================================================================== 5.50/6.25 c | 0 | 1326 1986 7208 | 5000 0 nan | 0.000 % | 5.50/6.26 c | 101 | 1326 1986 7208 | 5500 101 28 | 24.745 % | 5.50/6.27 c | 251 | 1326 1986 7208 | 6050 251 40 | 24.745 % | 5.50/6.28 c | 477 | 1326 1986 7208 | 6655 477 52 | 24.745 % | 5.60/6.31 c | 816 | 1326 1986 7208 | 7320 816 63 | 24.745 % | 5.60/6.38 c | 1322 | 1326 1986 7208 | 8052 1322 66 | 24.745 % | 5.70/6.46 c | 2081 | 1326 1986 7208 | 8857 2081 70 | 24.745 % | 5.90/6.69 c | 3223 | 1326 1986 7208 | 9743 3223 71 | 24.745 % | 6.21/6.99 c | 4932 | 1326 1986 7208 | 10717 4932 70 | 24.745 % | 7.00/7.73 c | 7495 | 1326 1986 7208 | 11789 7495 71 | 24.745 % | 8.20/8.97 c | 11341 | 1326 1986 7208 | 12968 11341 71 | 24.745 % | 10.49/11.26 c | 17108 | 1326 1986 7208 | 14265 10378 68 | 24.745 % | 13.07/13.87 c | 25757 | 1326 1986 7208 | 15692 11625 63 | 24.745 % | 17.37/18.13 c | 38737 | 1326 1986 7208 | 17261 8389 59 | 24.745 % | 23.36/24.16 c =============================================================================== 23.87/24.67 c core #162 23.87/24.67 c Core size: 258 Core Weight: 1 Total Weight: 162 23.87/24.67 c Elapsed CPU time: 23.7174 s Remaining CPU time: 1776.28 s 23.96/24.74 c ============================[ Search Statistics ]============================== 23.96/24.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.96/24.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.96/24.74 c =============================================================================== 23.96/24.74 c | 0 | 1351 1987 7258 | 5000 0 nan | 0.000 % | 23.96/24.75 c | 101 | 1351 1987 7258 | 5500 101 33 | 24.398 % | 23.96/24.76 c | 251 | 1351 1987 7258 | 6050 251 34 | 24.398 % | 23.96/24.77 c | 483 | 1351 1987 7258 | 6655 483 39 | 24.398 % | 24.06/24.80 c | 823 | 1351 1987 7258 | 7320 823 45 | 24.398 % | 24.06/24.86 c | 1330 | 1351 1987 7258 | 8052 1330 50 | 24.398 % | 24.16/24.96 c | 2089 | 1351 1987 7258 | 8857 2089 52 | 24.398 % | 24.36/25.12 c | 3230 | 1351 1987 7258 | 9743 3230 53 | 24.398 % | 24.66/25.41 c | 4938 | 1351 1987 7258 | 10717 4938 54 | 24.398 % | 25.36/26.12 c | 7500 | 1351 1987 7258 | 11789 7500 55 | 24.398 % | 26.66/27.45 c | 11346 | 1351 1987 7258 | 12968 11346 57 | 24.398 % | 28.25/29.07 c =============================================================================== 28.45/29.26 c core #163 28.45/29.26 c Core size: 322 Core Weight: 1 Total Weight: 163 28.45/29.26 c Elapsed CPU time: 28.2607 s Remaining CPU time: 1771.74 s 28.45/29.28 c ============================[ Search Statistics ]============================== 28.45/29.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.45/29.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.45/29.28 c =============================================================================== 28.45/29.28 c | 0 | 1384 1988 7324 | 5000 0 nan | 0.000 % | 28.45/29.29 c | 104 | 1384 1988 7324 | 5500 104 38 | 23.956 % | 28.55/29.30 c | 254 | 1384 1988 7324 | 6050 254 41 | 23.956 % | 28.55/29.31 c | 482 | 1384 1988 7324 | 6655 482 43 | 23.956 % | 28.55/29.34 c | 820 | 1384 1988 7324 | 7320 820 46 | 23.956 % | 28.55/29.38 c | 1327 | 1384 1988 7324 | 8052 1327 45 | 23.956 % | 28.65/29.44 c | 2086 | 1384 1988 7324 | 8857 2086 45 | 23.956 % | 28.75/29.59 c | 3225 | 1384 1988 7324 | 9743 3225 47 | 23.956 % | 29.05/29.88 c | 4934 | 1384 1988 7324 | 10717 4934 49 | 23.956 % | 29.85/30.62 c | 7498 | 1384 1988 7324 | 11789 7498 49 | 23.956 % | 30.75/31.59 c =============================================================================== 30.85/31.69 c core #164 30.85/31.69 c Core size: 257 Core Weight: 1 Total Weight: 164 30.85/31.69 c Elapsed CPU time: 30.6733 s Remaining CPU time: 1769.33 s 30.95/31.71 c ============================[ Search Statistics ]============================== 30.95/31.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.95/31.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.95/31.71 c =============================================================================== 30.95/31.71 c | 0 | 1405 1989 7366 | 5000 0 nan | 0.000 % | 30.95/31.72 c | 100 | 1405 1989 7366 | 5500 100 49 | 23.683 % | 30.95/31.73 c | 250 | 1405 1989 7366 | 6050 250 62 | 23.683 % | 30.95/31.75 c | 477 | 1405 1989 7366 | 6655 477 69 | 23.683 % | 30.95/31.78 c | 815 | 1405 1989 7366 | 7320 815 66 | 23.683 % | 31.05/31.84 c | 1323 | 1405 1989 7366 | 8052 1323 82 | 23.683 % | 31.15/31.99 c | 2083 | 1405 1989 7366 | 8857 2083 94 | 23.683 % | 31.45/32.23 c | 3222 | 1405 1989 7366 | 9743 3222 103 | 23.683 % | 31.75/32.57 c | 4932 | 1405 1989 7366 | 10717 4932 105 | 23.683 % | 33.14/33.93 c | 7495 | 1405 1989 7366 | 11789 7495 110 | 23.683 % | 35.14/35.96 c | 11341 | 1405 1989 7366 | 12968 11341 111 | 23.683 % | 37.23/38.03 c | 17108 | 1405 1989 7366 | 14265 10348 103 | 23.683 % | 41.13/41.91 c | 25765 | 1405 1989 7366 | 15692 11586 101 | 23.683 % | 51.01/51.87 c | 38739 | 1405 1989 7366 | 17261 8323 94 | 23.683 % | 64.32/65.20 c | 58204 | 1405 1989 7366 | 18987 9990 107 | 23.683 % | 84.71/85.54 c | 87398 | 1405 1989 7366 | 20886 9818 95 | 23.683 % | 116.91/117.85 c | 131188 | 1405 1989 7366 | 22974 10745 99 | 23.683 % | 154.32/155.59 c | 196877 | 1405 1989 7366 | 25272 17620 88 | 23.683 % | 175.26/176.68 c =============================================================================== 178.05/179.43 c core #165 178.05/179.43 c Core size: 341 Core Weight: 1 Total Weight: 165 178.05/179.43 c Elapsed CPU time: 177.011 s Remaining CPU time: 1622.99 s 178.25/179.68 c ============================[ Search Statistics ]============================== 178.25/179.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 178.25/179.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 178.25/179.68 c =============================================================================== 178.25/179.68 c | 0 | 1448 1990 7452 | 5000 0 nan | 0.000 % | 178.34/179.71 c | 100 | 1448 1990 7452 | 5500 100 35 | 23.142 % | 178.34/179.73 c | 251 | 1448 1990 7452 | 6050 251 51 | 23.142 % | 178.34/179.75 c | 476 | 1448 1990 7452 | 6655 476 54 | 23.142 % | 178.34/179.77 c | 813 | 1448 1990 7452 | 7320 813 55 | 23.142 % | 178.44/179.81 c | 1319 | 1448 1990 7452 | 8052 1319 60 | 23.142 % | 178.44/179.89 c | 2080 | 1448 1990 7452 | 8857 2080 59 | 23.142 % | 178.64/180.02 c | 3219 | 1448 1990 7452 | 9743 3219 62 | 23.142 % | 178.94/180.38 c | 4927 | 1448 1990 7452 | 10717 4927 64 | 23.142 % | 179.64/181.04 c | 7489 | 1448 1990 7452 | 11789 7489 75 | 23.142 % | 180.52/181.91 c | 11335 | 1448 1990 7452 | 12968 11335 88 | 23.142 % | 182.19/183.70 c | 17103 | 1448 1990 7452 | 14265 10294 109 | 23.142 % | 185.28/186.79 c | 25752 | 1448 1990 7452 | 15692 11345 103 | 23.142 % | 191.47/192.92 c | 38729 | 1448 1990 7452 | 17261 16165 138 | 23.142 % | 200.17/201.66 c | 58191 | 1448 1990 7452 | 18987 17595 133 | 23.142 % | 219.81/221.32 c | 87390 | 1448 1990 7452 | 20886 17389 141 | 23.142 % | 248.64/250.47 c | 131183 | 1448 1990 7452 | 22974 18058 161 | 23.142 % | 296.61/298.42 c | 196869 | 1448 1990 7452 | 25272 12707 113 | 23.142 % | 359.33/361.21 c | 295399 | 1448 1990 7452 | 27799 18971 111 | 23.142 % | 468.23/470.30 c | 443189 | 1448 1990 7452 | 30579 13450 92 | 23.142 % | 658.56/660.72 c | 664872 | 1448 1990 7452 | 33637 19221 156 | 23.142 % | 1003.41/1007.35 c | 997399 | 1448 1990 7452 | 37001 20434 152 | 23.142 % | 1577.30/1582.88 c | 1496191 | 1448 1990 7452 | 40701 20164 156 | 23.142 % |
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-1876210-1245155686/watcher-1876210-1245155686 -o /tmp/evaluation-result-1876210-1245155686/solver-1876210-1245155686 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876210-1245155686.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: 2.23 2.23 2.20 4/72 5933 /proc/meminfo: memFree=1073172/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=2580 CPUtime=0 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 183166517 2641920 170 1992294400 134512640 135709839 4294956240 18446744073709551615 134574099 0 0 4096 3 0 0 0 17 0 0 0 /proc/5933/statm: 645 170 121 292 0 339 0 [startup+0.0907351 s] /proc/loadavg: 2.23 2.23 2.20 4/72 5933 /proc/meminfo: memFree=1073172/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=2772 CPUtime=0.06 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 291 0 0 0 6 0 0 0 18 0 1 0 183166517 2838528 264 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 693 264 133 292 0 398 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2772 [startup+0.101737 s] /proc/loadavg: 2.23 2.23 2.20 4/72 5933 /proc/meminfo: memFree=1073172/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=2772 CPUtime=0.07 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 292 0 0 0 7 0 0 0 18 0 1 0 183166517 2838528 265 1992294400 134512640 135709839 4294956240 18446744073709551615 134530416 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 693 265 133 292 0 398 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2772 [startup+0.301759 s] /proc/loadavg: 2.23 2.23 2.20 4/72 5933 /proc/meminfo: memFree=1073172/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=3424 CPUtime=0.26 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 471 0 0 0 26 0 0 0 20 0 1 0 183166517 3506176 438 1992294400 134512640 135709839 4294956240 18446744073709551615 134578541 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 856 438 136 292 0 561 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 3424 [startup+0.701805 s] /proc/loadavg: 2.23 2.23 2.20 4/72 5933 /proc/meminfo: memFree=1073172/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=4244 CPUtime=0.66 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 662 0 0 0 64 2 0 0 24 0 1 0 183166517 4345856 629 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 1061 629 136 292 0 766 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 4244 [startup+1.50289 s] /proc/loadavg: 2.23 2.23 2.20 2/73 5934 /proc/meminfo: memFree=1070732/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=5468 CPUtime=1.44 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 956 0 0 0 140 4 0 0 25 0 1 0 183166517 5599232 923 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 1367 923 136 292 0 1072 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 5468 [startup+3.10106 s] /proc/loadavg: 2.23 2.23 2.20 4/73 5934 /proc/meminfo: memFree=1068748/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=7724 CPUtime=3.03 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 1514 0 0 0 298 5 0 0 25 0 1 0 183166517 7909376 1481 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 1931 1481 136 292 0 1636 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 7724 [startup+6.30224 s] /proc/loadavg: 2.21 2.23 2.19 3/73 5934 /proc/meminfo: memFree=1064140/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=11036 CPUtime=5.6 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 2362 0 0 0 550 10 0 0 25 0 1 0 183166517 11300864 2329 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 2759 2329 136 292 0 2464 0 Current children cumulated CPU time (s) 5.6 Current children cumulated vsize (KiB) 11036 [startup+12.7019 s] /proc/loadavg: 2.27 2.24 2.20 4/73 5934 /proc/meminfo: memFree=1058892/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=16892 CPUtime=11.99 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 3804 0 0 0 1185 14 0 0 25 0 1 0 183166517 17297408 3771 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 4223 3771 136 292 0 3928 0 Current children cumulated CPU time (s) 11.99 Current children cumulated vsize (KiB) 16892 [startup+25.503 s] /proc/loadavg: 2.28 2.24 2.20 4/73 5934 /proc/meminfo: memFree=1041740/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=33300 CPUtime=24.77 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 7900 0 0 0 2453 24 0 0 25 0 1 0 183166517 34099200 7867 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 8325 7867 136 292 0 8030 0 Current children cumulated CPU time (s) 24.77 Current children cumulated vsize (KiB) 33300 [startup+51.1019 s] /proc/loadavg: 2.32 2.25 2.20 2/73 5934 /proc/meminfo: memFree=1027852/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=47196 CPUtime=50.31 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 11398 0 0 0 4992 39 0 0 25 0 1 0 183166517 48328704 11365 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 11799 11365 136 292 0 11504 0 Current children cumulated CPU time (s) 50.31 Current children cumulated vsize (KiB) 47196 [startup+102.301 s] /proc/loadavg: 2.15 2.21 2.19 4/73 5934 /proc/meminfo: memFree=982924/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=92324 CPUtime=101.49 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 22626 0 0 0 10084 65 0 0 25 0 1 0 183166517 94539776 22593 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 23081 22593 136 292 0 22786 0 Current children cumulated CPU time (s) 101.49 Current children cumulated vsize (KiB) 92324 [startup+162.302 s] /proc/loadavg: 1.85 2.11 2.15 3/73 5934 /proc/meminfo: memFree=927052/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=147932 CPUtime=161.06 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 36519 0 0 0 16006 100 0 0 25 0 1 0 183166517 151482368 36486 1992294400 134512640 135709839 4294956240 18446744073709551615 134573748 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 36983 36486 136 292 0 36688 0 Current children cumulated CPU time (s) 161.06 Current children cumulated vsize (KiB) 147932 [startup+222.302 s] /proc/loadavg: 2.08 2.13 2.16 2/73 5934 /proc/meminfo: memFree=888652/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=186788 CPUtime=220.81 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 46288 0 0 0 21944 137 0 0 25 0 1 0 183166517 191270912 46255 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 46697 46255 136 292 0 46402 0 Current children cumulated CPU time (s) 220.81 Current children cumulated vsize (KiB) 186788 [startup+282.302 s] /proc/loadavg: 2.10 2.11 2.15 3/73 5934 /proc/meminfo: memFree=835660/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=239168 CPUtime=280.52 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 59337 0 0 0 27885 167 0 0 25 0 1 0 183166517 244908032 59304 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 59792 59304 136 292 0 59497 0 Current children cumulated CPU time (s) 280.52 Current children cumulated vsize (KiB) 239168 [startup+342.301 s] /proc/loadavg: 2.11 2.10 2.14 4/73 5934 /proc/meminfo: memFree=763148/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=311404 CPUtime=340.44 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 77354 0 0 0 33842 202 0 0 25 0 1 0 183166517 318877696 77321 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 77851 77321 136 292 0 77556 0 Current children cumulated CPU time (s) 340.44 Current children cumulated vsize (KiB) 311404 [startup+402.302 s] /proc/loadavg: 2.28 2.16 2.15 3/73 5934 /proc/meminfo: memFree=700684/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=374228 CPUtime=400.4 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 93014 0 0 0 39803 237 0 0 25 0 1 0 183166517 383209472 92981 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 93557 92981 136 292 0 93262 0 Current children cumulated CPU time (s) 400.4 Current children cumulated vsize (KiB) 374228 [startup+462.307 s] /proc/loadavg: 2.26 2.18 2.16 2/73 5934 /proc/meminfo: memFree=661580/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=413280 CPUtime=460.3 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 102727 0 0 0 45771 259 0 0 25 0 1 0 183166517 423198720 102694 1992294400 134512640 135709839 4294956240 18446744073709551615 134579010 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 103320 102694 136 292 0 103025 0 Current children cumulated CPU time (s) 460.3 Current children cumulated vsize (KiB) 413280 [startup+522.306 s] /proc/loadavg: 2.10 2.13 2.15 3/73 5934 /proc/meminfo: memFree=605580/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=469596 CPUtime=520.2 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 116818 0 0 0 51734 286 0 0 25 0 1 0 183166517 480866304 116785 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 117399 116785 136 292 0 117104 0 Current children cumulated CPU time (s) 520.2 Current children cumulated vsize (KiB) 469596 [startup+582.302 s] /proc/loadavg: 2.15 2.15 2.15 3/73 5934 /proc/meminfo: memFree=554252/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=520432 CPUtime=580.18 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 129502 0 0 0 57706 312 0 0 25 0 1 0 183166517 532922368 129469 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 130108 129469 136 292 0 129813 0 Current children cumulated CPU time (s) 580.18 Current children cumulated vsize (KiB) 520432 [startup+642.309 s] /proc/loadavg: 2.33 2.21 2.17 4/73 5934 /proc/meminfo: memFree=507276/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=568324 CPUtime=640.16 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 141443 0 0 0 63678 338 0 0 25 0 1 0 183166517 581963776 141410 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 142081 141410 136 292 0 141786 0 Current children cumulated CPU time (s) 640.16 Current children cumulated vsize (KiB) 568324 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 2.02 2.12 2.14 2/73 5934 /proc/meminfo: memFree=313676/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=761520 CPUtime=879.34 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 189713 0 0 0 87494 440 0 0 25 0 1 0 183166517 779796480 189680 1992294400 134512640 135709839 4294956240 18446744073709551615 134573832 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 190380 189680 136 292 0 190085 0 Current children cumulated CPU time (s) 879.34 Current children cumulated vsize (KiB) 761520 [startup+942.303 s] /proc/loadavg: 2.07 2.13 2.15 3/73 5934 /proc/meminfo: memFree=268492/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=805944 CPUtime=938.86 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 200829 0 0 0 93420 466 0 0 25 0 1 0 183166517 825286656 200796 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 201486 200796 136 292 0 201191 0 Current children cumulated CPU time (s) 938.86 Current children cumulated vsize (KiB) 805944 [startup+1002.31 s] /proc/loadavg: 2.20 2.15 2.15 4/73 5934 /proc/meminfo: memFree=219212/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=854812 CPUtime=998.43 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 213026 0 0 0 99349 494 0 0 25 0 1 0 183166517 875327488 212993 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 213703 212993 136 292 0 213408 0 Current children cumulated CPU time (s) 998.43 Current children cumulated vsize (KiB) 854812 [startup+1062.3 s] /proc/loadavg: 2.26 2.18 2.16 4/73 5934 /proc/meminfo: memFree=168268/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=906020 CPUtime=1058.02 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 225815 0 0 0 105280 522 0 0 25 0 1 0 183166517 927764480 225782 1992294400 134512640 135709839 4294956240 18446744073709551615 134573873 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 226505 225782 136 292 0 226210 0 Current children cumulated CPU time (s) 1058.02 Current children cumulated vsize (KiB) 906020 [startup+1122.32 s] /proc/loadavg: 1.94 2.11 2.14 3/73 5934 /proc/meminfo: memFree=117516/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=956396 CPUtime=1117.74 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 238398 0 0 0 111227 547 0 0 25 0 1 0 183166517 979349504 238365 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 239099 238365 136 292 0 238804 0 Current children cumulated CPU time (s) 1117.74 Current children cumulated vsize (KiB) 956396 [startup+1182.3 s] /proc/loadavg: 1.92 2.07 2.12 3/73 5934 /proc/meminfo: memFree=76428/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=997548 CPUtime=1177.71 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 248678 0 0 0 117204 567 0 0 25 0 1 0 183166517 1021489152 248645 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 249387 248645 136 292 0 249092 0 Current children cumulated CPU time (s) 1177.71 Current children cumulated vsize (KiB) 997548 [startup+1242.3 s] /proc/loadavg: 2.13 2.10 2.13 4/73 5934 /proc/meminfo: memFree=37260/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=1036372 CPUtime=1237.67 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 258367 0 0 0 123178 589 0 0 25 0 1 0 183166517 1061244928 258334 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 259093 258334 136 292 0 258798 0 Current children cumulated CPU time (s) 1237.67 Current children cumulated vsize (KiB) 1036372 [startup+1302.3 s] /proc/loadavg: 2.40 2.19 2.15 3/73 5934 /proc/meminfo: memFree=15052/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=1073876 CPUtime=1297.39 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 267751 0 0 0 129128 611 0 0 25 0 1 0 183166517 1099649024 267718 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 268469 267718 136 292 0 268174 0 Current children cumulated CPU time (s) 1297.39 Current children cumulated vsize (KiB) 1073876 [startup+1362.3 s] /proc/loadavg: 2.45 2.24 2.17 3/73 5934 /proc/meminfo: memFree=15052/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=1108632 CPUtime=1357.33 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 276418 0 0 0 135104 629 0 0 25 0 1 0 183166517 1135239168 276385 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 277158 276385 136 292 0 276863 0 Current children cumulated CPU time (s) 1357.33 Current children cumulated vsize (KiB) 1108632 [startup+1422.3 s] /proc/loadavg: 2.41 2.26 2.18 3/73 5934 /proc/meminfo: memFree=16204/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=1141328 CPUtime=1417.31 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 284587 0 0 0 141084 647 0 0 25 0 1 0 183166517 1168719872 284554 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 285332 284554 136 292 0 285037 0 Current children cumulated CPU time (s) 1417.31 Current children cumulated vsize (KiB) 1141328 [startup+1482.3 s] /proc/loadavg: 2.23 2.24 2.18 2/73 5934 /proc/meminfo: memFree=15244/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=1179628 CPUtime=1477.24 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 294172 0 0 0 147054 670 0 0 25 0 1 0 183166517 1207939072 294139 1992294400 134512640 135709839 4294956240 18446744073709551615 134573802 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 294907 294139 136 292 0 294612 0 Current children cumulated CPU time (s) 1477.24 Current children cumulated vsize (KiB) 1179628 [startup+1542.3 s] /proc/loadavg: 2.15 2.21 2.17 3/73 5934 /proc/meminfo: memFree=15372/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=1219692 CPUtime=1537.05 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 304154 0 0 0 153014 691 0 0 25 0 1 0 183166517 1248964608 304121 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 304923 304121 136 292 0 304628 0 Current children cumulated CPU time (s) 1537.05 Current children cumulated vsize (KiB) 1219692 [startup+1602.3 s] /proc/loadavg: 2.37 2.25 2.19 2/73 5940 /proc/meminfo: memFree=15820/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=1256992 CPUtime=1596.6 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 313473 0 0 0 158948 712 0 0 25 0 1 0 183166517 1287159808 313440 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 314248 313440 136 292 0 313953 0 Current children cumulated CPU time (s) 1596.6 Current children cumulated vsize (KiB) 1256992 [startup+1662.3 s] /proc/loadavg: 2.28 2.22 2.18 2/73 5940 /proc/meminfo: memFree=16076/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=1292720 CPUtime=1656.14 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 322370 0 0 0 164883 731 0 0 25 0 1 0 183166517 1323745280 322337 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5933/statm: 323180 322337 136 292 0 322885 0 Current children cumulated CPU time (s) 1656.14 Current children cumulated vsize (KiB) 1292720 [startup+1722.3 s] /proc/loadavg: 2.35 2.25 2.19 4/73 5940 /proc/meminfo: memFree=16012/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=1330836 CPUtime=1715.95 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 331892 0 0 0 170845 750 0 0 25 0 1 0 183166517 1362776064 331859 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 332709 331859 136 292 0 332414 0 Current children cumulated CPU time (s) 1715.95 Current children cumulated vsize (KiB) 1330836 [startup+1782.31 s] /proc/loadavg: 2.14 2.19 2.17 4/73 5941 /proc/meminfo: memFree=15692/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=1370232 CPUtime=1775.66 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 341750 0 0 0 176796 770 0 0 25 0 1 0 183166517 1403117568 341717 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 342558 341717 136 292 0 342263 0 Current children cumulated CPU time (s) 1775.66 Current children cumulated vsize (KiB) 1370232 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1806.7 s] /proc/loadavg: 2.38 2.24 2.19 2/73 5941 /proc/meminfo: memFree=15116/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=1389700 CPUtime=1800.06 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4194304 346596 0 0 0 179226 780 0 0 25 0 1 0 183166517 1423052800 346563 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/statm: 347425 346563 136 292 0 347130 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1389700 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1806.91 s] /proc/loadavg: 2.38 2.24 2.19 2/73 5941 /proc/meminfo: memFree=15116/2055920 swapFree=4178712/4192956 [pid=5933] ppid=5931 vsize=0 CPUtime=1800.26 /proc/5933/stat : 5933 (wbo) R 5931 5933 5493 0 -1 4195332 346596 0 0 0 179226 800 0 0 25 0 1 0 183166517 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5933/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): 1806.92 CPU time (s): 1800.28 CPU user time (s): 1792.26 CPU system time (s): 8.01578 CPU usage (%): 99.6327 Max. virtual memory (cumulated for all children) (KiB): 1389700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.26 system time used= 8.01578 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 346596 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 18587 runsolver used 2.17367 second user time and 5.77012 second system time The end
Begin job on node90 at 2009-06-16 14:34:46 IDJOB=1876210 IDBENCH=2141 IDSOLVER=698 FILE ID=node90/1876210-1245155686 PBS_JOBID= 9363792 Free space on /tmp= 66528 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-1.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-1876210-1245155686/watcher-1876210-1245155686 -o /tmp/evaluation-result-1876210-1245155686/solver-1876210-1245155686 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876210-1245155686.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4516c2b2a07b4de9da3fc3a8a0c3a78c RANDOM SEED=1870873735 node90.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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1073716 kB Buffers: 23720 kB Cached: 861416 kB SwapCached: 8452 kB Active: 380156 kB Inactive: 531956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1073716 kB SwapTotal: 4192956 kB SwapFree: 4178712 kB Dirty: 2416 kB Writeback: 0 kB Mapped: 34340 kB Slab: 55192 kB Committed_AS: 596048 kB PageTables: 2104 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-1876210-1245155686.opb Free space on /tmp at the end= 66528 MiB End job on node90 at 2009-06-16 15:04:55