| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (TO) | 1800.26 | 1800.73 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b1.opb |
| MD5SUM | eb2e849a72ed563d78cdb83a394edb27 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 191 |
| Best CPU time to get the best result obtained on this benchmark | 84.9551 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 191 |
| Optimality of the best value was proved | YES |
| Number of variables | 456 |
| Total number of constraints | 1602 |
| Number of constraints which are clauses | 1602 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 32 |
| Number of terms in the objective function | 456 |
| 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 | 456 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 456 |
| 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-1876228-1245158698.opb. 0.00/0.00 c Instance file HOME/instance-1876228-1245158698.opb 0.00/0.00 c File size is 66775 bytes. 0.00/0.01 c Highest Coefficient sum: 33 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: 456 | 0.00/0.01 c | Number Clauses: 2058 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c core #1 0.00/0.01 c Core size: 3 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.01 c core #2 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 2 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #3 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 3 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #4 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 4 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #5 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 5 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #6 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 6 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #7 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 7 0.00/0.02 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #8 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 8 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #9 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 9 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #10 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 10 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #11 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 11 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #12 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 12 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #13 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 13 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #14 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 14 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #15 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 15 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #16 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 16 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #17 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 17 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #18 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 18 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #19 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 19 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #20 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 20 0.00/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #21 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 21 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #22 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 22 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #23 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 23 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #24 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 24 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #25 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 25 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #26 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 26 0.00/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.04/0.05 c core #27 0.04/0.05 c Core size: 3 Core Weight: 1 Total Weight: 27 0.04/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.04/0.05 c core #28 0.04/0.05 c Core size: 3 Core Weight: 1 Total Weight: 28 0.04/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.04/0.05 c core #29 0.04/0.05 c Core size: 3 Core Weight: 1 Total Weight: 29 0.04/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.04/0.05 c core #30 0.04/0.05 c Core size: 3 Core Weight: 1 Total Weight: 30 0.04/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.04/0.05 c core #31 0.04/0.05 c Core size: 3 Core Weight: 1 Total Weight: 31 0.04/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #32 0.04/0.06 c Core size: 3 Core Weight: 1 Total Weight: 32 0.04/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #33 0.04/0.06 c Core size: 3 Core Weight: 1 Total Weight: 33 0.04/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #34 0.04/0.06 c Core size: 3 Core Weight: 1 Total Weight: 34 0.04/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #35 0.04/0.06 c Core size: 3 Core Weight: 1 Total Weight: 35 0.04/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #36 0.04/0.06 c Core size: 3 Core Weight: 1 Total Weight: 36 0.04/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #37 0.04/0.06 c Core size: 3 Core Weight: 1 Total Weight: 37 0.04/0.06 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #38 0.04/0.07 c Core size: 3 Core Weight: 1 Total Weight: 38 0.04/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #39 0.04/0.07 c Core size: 3 Core Weight: 1 Total Weight: 39 0.04/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #40 0.04/0.07 c Core size: 3 Core Weight: 1 Total Weight: 40 0.04/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #41 0.04/0.07 c Core size: 3 Core Weight: 1 Total Weight: 41 0.04/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #42 0.04/0.07 c Core size: 3 Core Weight: 1 Total Weight: 42 0.04/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #43 0.04/0.07 c Core size: 3 Core Weight: 1 Total Weight: 43 0.04/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.04/0.08 c core #44 0.04/0.08 c Core size: 3 Core Weight: 1 Total Weight: 44 0.04/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.04/0.08 c core #45 0.04/0.08 c Core size: 3 Core Weight: 1 Total Weight: 45 0.04/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.04/0.08 c core #46 0.04/0.08 c Core size: 3 Core Weight: 1 Total Weight: 46 0.04/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.04/0.08 c core #47 0.04/0.08 c Core size: 3 Core Weight: 1 Total Weight: 47 0.04/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.04/0.08 c core #48 0.04/0.08 c Core size: 3 Core Weight: 1 Total Weight: 48 0.04/0.08 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.04/0.08 c core #49 0.04/0.08 c Core size: 3 Core Weight: 1 Total Weight: 49 0.04/0.08 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.04/0.09 c core #50 0.04/0.09 c Core size: 3 Core Weight: 1 Total Weight: 50 0.04/0.09 c Elapsed CPU time: 0.088986 s Remaining CPU time: 1799.91 s 0.04/0.09 c core #51 0.04/0.09 c Core size: 3 Core Weight: 1 Total Weight: 51 0.04/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s 0.04/0.09 c core #52 0.04/0.09 c Core size: 3 Core Weight: 1 Total Weight: 52 0.04/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.04/0.09 c core #53 0.04/0.09 c Core size: 3 Core Weight: 1 Total Weight: 53 0.04/0.09 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.04/0.09 c core #54 0.04/0.09 c Core size: 3 Core Weight: 1 Total Weight: 54 0.04/0.09 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.04/0.10 c core #55 0.04/0.10 c Core size: 3 Core Weight: 1 Total Weight: 55 0.04/0.10 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #56 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 56 0.09/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #57 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 57 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #58 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 58 0.09/0.10 c Elapsed CPU time: 0.102984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #59 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 59 0.09/0.10 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #60 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 60 0.09/0.10 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #61 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 61 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #62 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 62 0.09/0.11 c Elapsed CPU time: 0.110983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #63 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 63 0.09/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #64 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 64 0.09/0.11 c Elapsed CPU time: 0.113982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #65 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 65 0.09/0.11 c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s 0.09/0.11 c core #66 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 66 0.09/0.11 c Elapsed CPU time: 0.117982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #67 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 67 0.09/0.12 c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #68 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 68 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #69 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 69 0.09/0.12 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #70 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 70 0.09/0.12 c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #71 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 71 0.09/0.12 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #72 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 72 0.09/0.13 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #73 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 73 0.09/0.13 c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #74 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 74 0.09/0.13 c Elapsed CPU time: 0.131979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #75 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 75 0.09/0.13 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #76 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 76 0.09/0.13 c Elapsed CPU time: 0.133979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #77 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 77 0.09/0.13 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #78 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 78 0.09/0.14 c Elapsed CPU time: 0.137979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #79 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 79 0.09/0.14 c Elapsed CPU time: 0.139978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #80 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 80 0.09/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #81 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 81 0.09/0.14 c Elapsed CPU time: 0.142978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #82 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 82 0.09/0.14 c Elapsed CPU time: 0.144977 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #83 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 83 0.09/0.15 c Elapsed CPU time: 0.146977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #84 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 84 0.09/0.15 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #85 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 85 0.09/0.15 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #86 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 86 0.09/0.15 c Elapsed CPU time: 0.152976 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #87 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 87 0.09/0.15 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #88 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 88 0.09/0.15 c Elapsed CPU time: 0.155976 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #89 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 89 0.09/0.16 c Elapsed CPU time: 0.157975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #90 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 90 0.09/0.16 c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #91 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 91 0.09/0.16 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #92 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 92 0.09/0.16 c Elapsed CPU time: 0.163975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #93 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 93 0.09/0.16 c Elapsed CPU time: 0.164974 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #94 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 94 0.09/0.17 c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #95 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 95 0.09/0.17 c Elapsed CPU time: 0.167974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #96 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 96 0.09/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #97 0.09/0.17 c Core size: 33 Core Weight: 1 Total Weight: 97 0.09/0.17 c Elapsed CPU time: 0.171973 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #98 0.09/0.17 c Core size: 33 Core Weight: 1 Total Weight: 98 0.09/0.17 c Elapsed CPU time: 0.173973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #99 0.09/0.18 c Core size: 33 Core Weight: 1 Total Weight: 99 0.09/0.18 c Elapsed CPU time: 0.175973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #100 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 100 0.09/0.18 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #101 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 101 0.09/0.18 c Elapsed CPU time: 0.178972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #102 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 102 0.09/0.18 c Elapsed CPU time: 0.180972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #103 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 103 0.09/0.18 c Elapsed CPU time: 0.182972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #104 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 104 0.09/0.19 c Elapsed CPU time: 0.185971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #105 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 105 0.09/0.19 c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #106 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 106 0.09/0.19 c Elapsed CPU time: 0.189971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #107 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 107 0.09/0.19 c Elapsed CPU time: 0.19197 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #108 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 108 0.09/0.19 c Elapsed CPU time: 0.19397 s Remaining CPU time: 1799.81 s 0.09/0.20 c core #109 0.09/0.20 c Core size: 4 Core Weight: 1 Total Weight: 109 0.09/0.20 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #110 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 110 0.19/0.20 c Elapsed CPU time: 0.197969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #111 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 111 0.19/0.20 c Elapsed CPU time: 0.199969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #112 0.19/0.20 c Core size: 45 Core Weight: 1 Total Weight: 112 0.19/0.20 c Elapsed CPU time: 0.201969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #113 0.19/0.21 c Core size: 66 Core Weight: 1 Total Weight: 113 0.19/0.21 c Elapsed CPU time: 0.204968 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #114 0.19/0.21 c Core size: 45 Core Weight: 1 Total Weight: 114 0.19/0.21 c Elapsed CPU time: 0.206968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #115 0.19/0.21 c Core size: 66 Core Weight: 1 Total Weight: 115 0.19/0.21 c Elapsed CPU time: 0.209968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #116 0.19/0.21 c Core size: 45 Core Weight: 1 Total Weight: 116 0.19/0.21 c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #117 0.19/0.22 c Core size: 66 Core Weight: 1 Total Weight: 117 0.19/0.22 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #118 0.19/0.22 c Core size: 7 Core Weight: 1 Total Weight: 118 0.19/0.22 c Elapsed CPU time: 0.216967 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #119 0.19/0.22 c Core size: 96 Core Weight: 1 Total Weight: 119 0.19/0.22 c Elapsed CPU time: 0.219966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #120 0.19/0.22 c Core size: 7 Core Weight: 1 Total Weight: 120 0.19/0.22 c Elapsed CPU time: 0.221966 s Remaining CPU time: 1799.78 s 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 896 2178 7960 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #121 0.19/0.23 c Core size: 12 Core Weight: 1 Total Weight: 121 0.19/0.23 c Elapsed CPU time: 0.224965 s Remaining CPU time: 1799.78 s 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 902 2179 7972 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #122 0.19/0.23 c Core size: 56 Core Weight: 1 Total Weight: 122 0.19/0.23 c Elapsed CPU time: 0.227965 s Remaining CPU time: 1799.77 s 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 932 2180 8032 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #123 0.19/0.23 c Core size: 27 Core Weight: 1 Total Weight: 123 0.19/0.23 c Elapsed CPU time: 0.229965 s Remaining CPU time: 1799.77 s 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 944 2181 8056 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #124 0.19/0.23 c Core size: 53 Core Weight: 1 Total Weight: 124 0.19/0.23 c Elapsed CPU time: 0.232964 s Remaining CPU time: 1799.77 s 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 964 2182 8096 | 5000 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #125 0.19/0.24 c Core size: 41 Core Weight: 1 Total Weight: 125 0.19/0.24 c Elapsed CPU time: 0.235964 s Remaining CPU time: 1799.76 s 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 983 2183 8134 | 5000 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #126 0.19/0.24 c Core size: 13 Core Weight: 1 Total Weight: 126 0.19/0.24 c Elapsed CPU time: 0.240963 s Remaining CPU time: 1799.76 s 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 989 2184 8146 | 5000 0 nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #127 0.19/0.25 c Core size: 20 Core Weight: 1 Total Weight: 127 0.19/0.25 c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 s 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 998 2185 8164 | 5000 0 nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #128 0.19/0.25 c Core size: 53 Core Weight: 1 Total Weight: 128 0.19/0.25 c Elapsed CPU time: 0.247962 s Remaining CPU time: 1799.75 s 0.19/0.25 c Learning 1 hard constraints 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 1015 2187 8205 | 5000 0 nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #129 0.19/0.26 c Core size: 129 Core Weight: 1 Total Weight: 129 0.19/0.26 c Elapsed CPU time: 0.253961 s Remaining CPU time: 1799.75 s 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 1052 2188 8279 | 5000 0 nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #130 0.19/0.26 c Core size: 16 Core Weight: 1 Total Weight: 130 0.19/0.26 c Elapsed CPU time: 0.25696 s Remaining CPU time: 1799.74 s 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 1059 2189 8293 | 5000 0 nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #131 0.19/0.26 c Core size: 140 Core Weight: 1 Total Weight: 131 0.19/0.26 c Elapsed CPU time: 0.26096 s Remaining CPU time: 1799.74 s 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 1071 2190 8317 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #132 0.19/0.27 c Core size: 173 Core Weight: 1 Total Weight: 132 0.19/0.27 c Elapsed CPU time: 0.264959 s Remaining CPU time: 1799.74 s 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 1103 2191 8383 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #133 0.19/0.27 c Core size: 410 Core Weight: 1 Total Weight: 133 0.19/0.27 c Elapsed CPU time: 0.268959 s Remaining CPU time: 1799.73 s 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 1139 2192 8461 | 5000 0 nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #134 0.19/0.28 c Core size: 558 Core Weight: 1 Total Weight: 134 0.19/0.28 c Elapsed CPU time: 0.275958 s Remaining CPU time: 1799.72 s 0.19/0.28 c Learning 5 hard constraints 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 1177 2198 8657 | 5000 0 nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #135 0.19/0.28 c Core size: 481 Core Weight: 1 Total Weight: 135 0.19/0.28 c Elapsed CPU time: 0.281957 s Remaining CPU time: 1799.72 s 0.19/0.29 c Learning 4 hard constraints 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 1207 2203 8779 | 5000 0 nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #136 0.19/0.29 c Core size: 492 Core Weight: 1 Total Weight: 136 0.19/0.29 c Elapsed CPU time: 0.287956 s Remaining CPU time: 1799.71 s 0.19/0.29 c Learning 3 hard constraints 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 1232 2207 8905 | 5000 0 nan | 0.000 % | 0.29/0.30 c | 100 | 1231 2207 8905 | 5500 100 35 | 0.162 % | 0.29/0.31 c | 252 | 1230 2207 8905 | 6050 251 40 | 0.162 % | 0.29/0.33 c | 478 | 1227 2207 8905 | 6655 476 38 | 0.406 % | 0.29/0.35 c | 815 | 1227 2207 8905 | 7320 813 35 | 0.406 % | 0.29/0.37 c =============================================================================== 0.29/0.38 c core #137 0.29/0.38 c Core size: 1341 Core Weight: 1 Total Weight: 137 0.29/0.38 c Elapsed CPU time: 0.374943 s Remaining CPU time: 1799.63 s 0.29/0.38 c Learning 31 hard constraints 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 1378 2239 9992 | 5000 0 nan | 0.000 % | 0.29/0.39 c | 100 | 1377 2239 9992 | 5500 100 31 | 0.145 % | 0.39/0.40 c | 250 | 1374 2239 9992 | 6050 249 30 | 0.290 % | 0.39/0.40 c =============================================================================== 0.39/0.41 c core #138 0.39/0.41 c Core size: 376 Core Weight: 1 Total Weight: 138 0.39/0.41 c Elapsed CPU time: 0.398939 s Remaining CPU time: 1799.6 s 0.39/0.41 c Learning 26 hard constraints 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 | 1457 2266 10896 | 5000 0 nan | 0.000 % | 0.39/0.42 c | 101 | 1457 2266 10896 | 5500 101 31 | 0.001 % | 0.39/0.43 c | 253 | 1457 2266 10896 | 6050 253 37 | 0.000 % | 0.39/0.45 c | 478 | 1457 2266 10896 | 6655 478 44 | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #139 0.39/0.47 c Core size: 497 Core Weight: 1 Total Weight: 139 0.39/0.47 c Elapsed CPU time: 0.45993 s Remaining CPU time: 1799.54 s 0.39/0.47 c Learning 115 hard constraints 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 1493 2382 14862 | 5000 0 nan | 0.000 % | 0.39/0.48 c | 100 | 1493 2382 14862 | 5500 100 37 | 0.001 % | 0.39/0.49 c | 250 | 1493 2382 14862 | 6050 250 35 | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c core #140 0.49/0.51 c Core size: 1194 Core Weight: 1 Total Weight: 140 0.49/0.51 c Elapsed CPU time: 0.502923 s Remaining CPU time: 1799.5 s 0.49/0.52 c Learning 73 hard constraints 0.49/0.52 c ============================[ Search Statistics ]============================== 0.49/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.52 c =============================================================================== 0.49/0.52 c | 0 | 1556 2456 17258 | 5000 0 nan | 0.000 % | 0.49/0.53 c | 100 | 1556 2456 17258 | 5500 100 55 | 0.001 % | 0.49/0.53 c | 252 | 1556 2456 17258 | 6050 252 42 | 0.000 % | 0.49/0.55 c | 479 | 1556 2456 17258 | 6655 479 32 | 0.003 % | 0.49/0.57 c | 817 | 1556 2456 17258 | 7320 817 32 | 0.000 % | 0.59/0.60 c | 1326 | 1556 2456 17258 | 8052 1326 33 | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.67 c core #141 0.59/0.67 c Core size: 496 Core Weight: 1 Total Weight: 141 0.59/0.67 c Elapsed CPU time: 0.658899 s Remaining CPU time: 1799.34 s 0.59/0.68 c Learning 49 hard constraints 0.59/0.68 c ============================[ Search Statistics ]============================== 0.59/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.68 c =============================================================================== 0.59/0.68 c | 0 | 1646 2506 19124 | 5000 0 nan | 0.000 % | 0.59/0.68 c | 101 | 1646 2506 19124 | 5500 101 16 | 0.001 % | 0.59/0.70 c | 253 | 1646 2506 19124 | 6050 253 34 | 0.000 % | 0.69/0.72 c | 479 | 1645 2506 19124 | 6655 477 38 | 0.061 % | 0.69/0.76 c | 816 | 1645 2506 19124 | 7320 814 39 | 0.061 % | 0.79/0.81 c =============================================================================== 0.79/0.82 c core #142 0.79/0.82 c Core size: 1533 Core Weight: 1 Total Weight: 142 0.79/0.82 c Elapsed CPU time: 0.797878 s Remaining CPU time: 1799.2 s 0.79/0.83 c Learning 338 hard constraints 0.79/0.83 c ============================[ Search Statistics ]============================== 0.79/0.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.83 c =============================================================================== 0.79/0.83 c | 0 | 1722 2845 31208 | 5000 0 nan | 0.000 % | 0.79/0.84 c | 100 | 1722 2845 31208 | 5500 100 75 | 0.001 % | 0.79/0.85 c | 253 | 1722 2845 31208 | 6050 253 57 | 0.000 % | 0.79/0.86 c | 478 | 1722 2845 31208 | 6655 478 41 | 0.002 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c core #143 0.79/0.88 c Core size: 825 Core Weight: 1 Total Weight: 143 0.79/0.88 c Elapsed CPU time: 0.855869 s Remaining CPU time: 1799.14 s 0.79/0.89 c Learning 101 hard constraints 0.79/0.89 c ============================[ Search Statistics ]============================== 0.79/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.89 c =============================================================================== 0.79/0.89 c | 0 | 1742 2947 35598 | 5000 0 nan | 0.000 % | 0.89/0.90 c | 100 | 1742 2947 35598 | 5500 100 41 | 0.001 % | 0.89/0.92 c | 250 | 1742 2947 35598 | 6050 250 28 | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c core #144 0.89/0.94 c Core size: 1204 Core Weight: 1 Total Weight: 144 0.89/0.94 c Elapsed CPU time: 0.908861 s Remaining CPU time: 1799.09 s 0.89/0.95 c Learning 73 hard constraints 0.89/0.95 c ============================[ Search Statistics ]============================== 0.89/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.95 c =============================================================================== 0.89/0.95 c | 0 | 1775 3021 37976 | 5000 0 nan | 0.000 % | 0.89/0.96 c | 103 | 1775 3021 37976 | 5500 103 22 | 0.001 % | 0.89/0.97 c | 253 | 1775 3021 37976 | 6050 253 20 | 0.001 % | 0.89/0.99 c =============================================================================== 0.89/0.99 c core #145 0.89/0.99 c Core size: 982 Core Weight: 1 Total Weight: 145 0.89/0.99 c Elapsed CPU time: 0.962853 s Remaining CPU time: 1799.04 s 0.99/1.00 c Learning 59 hard constraints 0.99/1.00 c ============================[ Search Statistics ]============================== 0.99/1.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.00 c =============================================================================== 0.99/1.00 c | 0 | 1808 3081 39996 | 5000 0 nan | 0.000 % | 0.99/1.01 c | 100 | 1808 3081 39996 | 5500 100 14 | 0.001 % | 0.99/1.02 c | 252 | 1808 3081 39996 | 6050 252 22 | 0.000 % | 0.99/1.04 c | 478 | 1808 3081 39996 | 6655 478 27 | 0.002 % | 0.99/1.08 c | 815 | 1808 3081 39996 | 7320 815 31 | 0.001 % | 1.10/1.13 c | 1321 | 1808 3081 39996 | 8052 1321 34 | 0.002 % | 1.19/1.25 c | 2083 | 1802 3081 39996 | 8857 2050 34 | 0.332 % | 1.19/1.28 c =============================================================================== 1.29/1.30 c core #146 1.29/1.30 c Core size: 1730 Core Weight: 1 Total Weight: 146 1.29/1.30 c Elapsed CPU time: 1.25681 s Remaining CPU time: 1798.74 s 1.29/1.31 c Learning 409 hard constraints 1.29/1.31 c ============================[ Search Statistics ]============================== 1.29/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.31 c =============================================================================== 1.29/1.31 c | 0 | 1889 3491 54897 | 5000 0 nan | 0.000 % | 1.29/1.33 c | 100 | 1889 3491 54897 | 5500 100 32 | 0.001 % | 1.29/1.34 c | 250 | 1889 3491 54897 | 6050 250 25 | 0.000 % | 1.29/1.36 c | 475 | 1889 3491 54897 | 6655 475 31 | 0.000 % | 1.39/1.40 c | 813 | 1889 3491 54897 | 7320 813 33 | 0.000 % | 1.39/1.46 c | 1320 | 1885 3491 54897 | 8052 1305 29 | 0.212 % | 1.49/1.58 c | 2083 | 1875 3491 54897 | 8857 2006 28 | 0.953 % | 1.49/1.59 c =============================================================================== 1.59/1.61 c core #147 1.59/1.61 c Core size: 1782 Core Weight: 1 Total Weight: 147 1.59/1.61 c Elapsed CPU time: 1.55576 s Remaining CPU time: 1798.44 s 1.59/1.62 c Learning 400 hard constraints 1.59/1.62 c ============================[ Search Statistics ]============================== 1.59/1.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.62 c =============================================================================== 1.59/1.62 c | 0 | 1933 3892 67041 | 5000 0 nan | 0.000 % | 1.59/1.63 c | 101 | 1933 3892 67041 | 5500 101 27 | 0.001 % | 1.59/1.65 c | 251 | 1933 3892 67041 | 6050 251 30 | 0.000 % | 1.59/1.68 c | 476 | 1933 3892 67041 | 6655 476 25 | 0.000 % | 1.69/1.72 c | 813 | 1867 3892 67041 | 7320 801 25 | 3.570 % | 1.69/1.74 c =============================================================================== 1.69/1.75 c core #148 1.69/1.75 c Core size: 1458 Core Weight: 1 Total Weight: 148 1.69/1.75 c Elapsed CPU time: 1.69674 s Remaining CPU time: 1798.3 s 1.69/1.76 c Learning 148 hard constraints 1.69/1.76 c ============================[ Search Statistics ]============================== 1.69/1.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.76 c =============================================================================== 1.69/1.76 c | 0 | 1975 4041 71491 | 5000 0 nan | 0.000 % | 1.69/1.77 c | 101 | 1975 4041 71491 | 5500 101 23 | 0.001 % | 1.79/1.80 c | 252 | 1975 4041 71491 | 6050 252 37 | 0.000 % | 1.79/1.82 c | 480 | 1975 4041 71491 | 6655 480 41 | 0.000 % | 1.79/1.84 c | 818 | 1975 4041 71491 | 7320 818 34 | 0.000 % | 1.79/1.89 c | 1326 | 1975 4041 71491 | 8052 1326 38 | 0.002 % | 1.89/1.95 c | 2085 | 1975 4041 71491 | 8857 2085 44 | 0.000 % | 1.99/2.07 c | 3225 | 1975 4041 71491 | 9743 3225 47 | 0.000 % | 2.19/2.25 c | 4933 | 1975 4041 71491 | 10717 4933 46 | 0.000 % | 2.59/2.66 c | 7496 | 1975 4041 71491 | 11789 7496 47 | 0.000 % | 3.30/3.34 c | 11344 | 1973 4041 71491 | 12968 9702 43 | 0.103 % | 4.49/4.59 c | 17111 | 1973 4041 71491 | 14265 8823 56 | 0.102 % | 6.49/6.50 c | 25760 | 1973 4041 71491 | 15692 10255 48 | 0.101 % | 7.49/7.59 c =============================================================================== 7.88/7.93 c core #149 7.88/7.93 c Core size: 2416 Core Weight: 1 Total Weight: 149 7.88/7.93 c Elapsed CPU time: 7.80081 s Remaining CPU time: 1792.2 s 7.88/7.98 c Learning 931 hard constraints 7.88/7.98 c ============================[ Search Statistics ]============================== 7.88/7.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.88/7.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.88/7.98 c =============================================================================== 7.88/7.98 c | 0 | 2141 4973 107558 | 5000 0 nan | 0.000 % | 7.88/7.99 c | 100 | 2141 4973 107558 | 5500 100 14 | 0.001 % | 7.98/8.01 c | 250 | 2141 4973 107558 | 6050 250 17 | 0.000 % | 7.98/8.02 c | 478 | 2141 4973 107558 | 6655 478 17 | 0.000 % | 7.98/8.06 c | 815 | 2141 4973 107558 | 7320 815 21 | 0.000 % | 8.09/8.10 c | 1321 | 2141 4973 107558 | 8052 1321 23 | 0.001 % | 8.09/8.16 c | 2081 | 2141 4973 107558 | 8857 2081 33 | 0.000 % | 8.29/8.31 c | 3221 | 2139 4973 107558 | 9743 3065 36 | 0.093 % | 8.59/8.63 c | 4929 | 2139 4973 107558 | 10717 4773 39 | 0.093 % | 9.19/9.23 c | 7496 | 2139 4973 107558 | 11789 7340 43 | 0.093 % | 9.98/10.06 c =============================================================================== 10.08/10.18 c core #150 10.08/10.18 c Core size: 2768 Core Weight: 1 Total Weight: 150 10.08/10.18 c Elapsed CPU time: 10.0345 s Remaining CPU time: 1789.97 s 10.18/10.22 c Learning 1018 hard constraints 10.18/10.22 c ============================[ Search Statistics ]============================== 10.18/10.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.18/10.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.18/10.22 c =============================================================================== 10.18/10.22 c | 0 | 2244 5992 141854 | 5000 0 nan | 0.000 % | 10.18/10.24 c | 100 | 2244 5992 141854 | 5500 100 20 | 0.001 % | 10.18/10.25 c | 250 | 2244 5992 141854 | 6050 250 18 | 0.000 % | 10.18/10.28 c | 475 | 2244 5992 141854 | 6655 475 16 | 0.001 % | 10.29/10.30 c | 816 | 2244 5992 141854 | 7320 816 19 | 0.000 % | 10.29/10.35 c | 1325 | 2242 5992 141854 | 8052 1325 24 | 0.090 % | 10.49/10.53 c | 2084 | 2240 5992 141854 | 8857 2084 27 | 0.178 % | 10.58/10.65 c | 3225 | 2235 5992 141854 | 9743 3149 28 | 0.446 % | 10.69/10.78 c =============================================================================== 10.79/10.82 c core #151 10.79/10.82 c Core size: 2239 Core Weight: 1 Total Weight: 151 10.79/10.82 c Elapsed CPU time: 10.6584 s Remaining CPU time: 1789.34 s 10.79/10.85 c Learning 306 hard constraints 10.79/10.85 c ============================[ Search Statistics ]============================== 10.79/10.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.79/10.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.79/10.85 c =============================================================================== 10.79/10.85 c | 0 | 2295 6299 150322 | 5000 0 nan | 0.000 % | 10.79/10.87 c | 101 | 2295 6299 150322 | 5500 101 59 | 0.001 % | 10.79/10.89 c | 253 | 2295 6299 150322 | 6050 253 37 | 0.000 % | 10.89/10.91 c | 479 | 2295 6299 150322 | 6655 479 36 | 0.000 % | 10.89/10.94 c | 819 | 2295 6299 150322 | 7320 819 33 | 0.000 % | 10.89/10.98 c | 1328 | 2295 6299 150322 | 8052 1328 36 | 0.001 % | 10.99/11.08 c | 2088 | 2295 6299 150322 | 8857 2088 44 | 0.000 % | 11.08/11.19 c | 3230 | 2295 6299 150322 | 9743 3230 39 | 0.000 % | 11.29/11.37 c | 4938 | 2295 6299 150322 | 10717 4938 38 | 0.000 % | 11.59/11.70 c | 7500 | 2295 6299 150322 | 11789 7500 42 | 0.000 % | 12.39/12.41 c | 11344 | 2295 6299 150322 | 12968 11344 42 | 0.001 % | 13.58/13.68 c | 17111 | 2295 6299 150322 | 14265 10555 43 | 0.001 % | 15.19/15.30 c | 25763 | 2295 6299 150322 | 15692 11868 55 | 0.000 % | 18.38/18.42 c | 38737 | 2293 6299 150322 | 17261 8206 39 | 0.087 % | 23.48/23.55 c | 58199 | 2293 6299 150322 | 18987 10088 76 | 0.088 % | 31.88/31.99 c | 87391 | 2291 6299 150322 | 20886 19027 55 | 0.175 % | 46.57/46.69 c | 131180 | 2291 6299 150322 | 22974 20491 58 | 0.174 % | 53.67/53.71 c =============================================================================== 55.57/55.67 c core #152 55.57/55.67 c Core size: 3623 Core Weight: 1 Total Weight: 152 55.57/55.67 c Elapsed CPU time: 55.0716 s Remaining CPU time: 1744.93 s 55.77/55.86 c Learning 699 hard constraints 55.77/55.86 c ============================[ Search Statistics ]============================== 55.77/55.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 55.77/55.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 55.77/55.86 c =============================================================================== 55.77/55.86 c | 0 | 2427 6999 178051 | 5000 0 nan | 0.000 % | 55.87/55.90 c | 102 | 2427 6999 178051 | 5500 102 25 | 0.001 % | 55.87/55.91 c | 252 | 2427 6999 178051 | 6050 252 20 | 0.000 % | 55.87/55.93 c | 480 | 2427 6999 178051 | 6655 480 32 | 0.000 % | 55.87/55.96 c | 817 | 2427 6999 178051 | 7320 817 34 | 0.000 % | 55.98/56.01 c | 1325 | 2427 6999 178051 | 8052 1325 49 | 0.000 % | 55.98/56.07 c | 2087 | 2427 6999 178051 | 8857 2087 44 | 0.000 % | 56.07/56.20 c | 3226 | 2427 6999 178051 | 9743 3226 47 | 0.000 % | 56.37/56.40 c | 4934 | 2427 6999 178051 | 10717 4934 43 | 0.000 % | 56.67/56.79 c | 7505 | 2427 6999 178051 | 11789 7505 45 | 0.001 % | 57.37/57.46 c | 11352 | 2427 6999 178051 | 12968 11352 47 | 0.000 % | 58.67/58.72 c | 17118 | 2427 6999 178051 | 14265 10317 53 | 0.000 % | 60.48/60.50 c | 25768 | 2427 6999 178051 | 15692 11779 54 | 0.000 % | 64.07/64.10 c | 38745 | 2427 6999 178051 | 17261 8566 58 | 0.000 % | 71.47/71.56 c | 58208 | 2427 6999 178051 | 18987 10156 62 | 0.000 % | 83.66/83.74 c | 87407 | 2427 6999 178051 | 20886 19656 85 | 0.000 % | 102.45/102.57 c | 131196 | 2427 6999 178051 | 22974 20471 71 | 0.000 % | 124.35/124.49 c | 196880 | 2423 6999 178051 | 25272 14404 53 | 0.165 % | 170.24/170.31 c | 295407 | 2423 6999 178051 | 27799 16863 97 | 0.165 % | 272.12/272.22 c | 443196 | 2423 6999 178051 | 30579 24212 111 | 0.165 % | 379.39/379.52 c | 664881 | 2423 6999 178051 | 33637 28356 49 | 0.165 % | 395.48/395.63 c =============================================================================== 397.99/398.20 c core #153 397.99/398.20 c Core size: 3883 Core Weight: 1 Total Weight: 153 397.99/398.20 c Elapsed CPU time: 395.283 s Remaining CPU time: 1404.72 s 398.78/398.92 c Learning 835 hard constraints 398.78/398.92 c ============================[ Search Statistics ]============================== 398.78/398.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 398.78/398.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 398.78/398.92 c =============================================================================== 398.78/398.92 c | 0 | 2533 7835 208988 | 5000 0 nan | 0.000 % | 398.88/399.07 c | 101 | 2533 7835 208988 | 5500 101 21 | 0.001 % | 398.98/399.11 c | 251 | 2533 7835 208988 | 6050 251 30 | 0.000 % | 398.98/399.13 c | 476 | 2533 7835 208988 | 6655 476 28 | 0.001 % | 398.98/399.17 c | 814 | 2533 7835 208988 | 7320 814 29 | 0.000 % | 399.08/399.22 c | 1321 | 2531 7835 208988 | 8052 1321 42 | 0.079 % | 399.18/399.30 c | 2082 | 2531 7835 208988 | 8857 2082 48 | 0.079 % | 399.28/399.43 c | 3221 | 2531 7835 208988 | 9743 3216 43 | 0.079 % | 399.48/399.65 c | 4929 | 2531 7835 208988 | 10717 4924 42 | 0.079 % | 399.88/400.09 c | 7492 | 2531 7835 208988 | 11789 7487 46 | 0.079 % | 400.67/400.82 c | 11338 | 2531 7835 208988 | 12968 11333 56 | 0.079 % | 401.78/402.00 c | 17105 | 2531 7835 208988 | 14265 10385 54 | 0.079 % | 405.08/405.24 c | 25755 | 2531 7835 208988 | 15692 11697 74 | 0.079 % | 407.58/407.77 c | 38731 | 2531 7835 208988 | 17261 8402 54 | 0.080 % | 412.78/412.95 c | 58193 | 2531 7835 208988 | 18987 10173 78 | 0.080 % | 422.97/423.12 c | 87386 | 2531 7835 208988 | 20886 10191 66 | 0.079 % | 440.06/440.21 c | 131178 | 2531 7835 208988 | 22974 11263 81 | 0.079 % | 464.76/464.95 c | 196863 | 2531 7835 208988 | 25272 17547 58 | 0.079 % | 499.95/500.11 c | 295390 | 2527 7835 208988 | 27799 20747 69 | 0.238 % | 549.94/550.14 c =============================================================================== 555.94/556.12 c core #154 555.94/556.12 c Core size: 4045 Core Weight: 1 Total Weight: 154 555.94/556.12 c Elapsed CPU time: 551.865 s Remaining CPU time: 1248.13 s 556.44/556.65 c Learning 71 hard constraints 556.44/556.65 c ============================[ Search Statistics ]============================== 556.44/556.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 556.44/556.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 556.44/556.65 c =============================================================================== 556.44/556.65 c | 0 | 2671 7907 211066 | 5000 0 nan | 0.000 % | 556.64/556.81 c | 100 | 2671 7907 211066 | 5500 100 66 | 0.001 % | 556.64/556.83 c | 251 | 2671 7907 211066 | 6050 251 46 | 0.000 % | 556.64/556.84 c | 478 | 2671 7907 211066 | 6655 478 35 | 0.000 % | 556.64/556.87 c | 817 | 2671 7907 211066 | 7320 817 36 | 0.000 % | 556.74/556.93 c | 1323 | 2671 7907 211066 | 8052 1323 31 | 0.000 % | 556.74/557.00 c | 2084 | 2671 7907 211066 | 8857 2084 33 | 0.000 % | 556.93/557.10 c | 3223 | 2671 7907 211066 | 9743 3223 32 | 0.000 % | 557.14/557.30 c | 4936 | 2671 7907 211066 | 10717 4936 33 | 0.000 % | 557.45/557.63 c | 7498 | 2671 7907 211066 | 11789 7498 34 | 0.000 % | 558.13/558.34 c | 11343 | 2671 7907 211066 | 12968 11343 35 | 0.000 % | 559.54/559.78 c | 17109 | 2669 7907 211066 | 14265 10333 36 | 0.075 % | 561.53/561.71 c | 25762 | 2667 7907 211066 | 15692 11727 37 | 0.151 % | 565.54/565.75 c | 38738 | 2667 7907 211066 | 17261 8713 44 | 0.150 % | 567.43/567.61 c =============================================================================== 568.13/568.37 c core #155 568.13/568.37 c Core size: 3719 Core Weight: 1 Total Weight: 155 568.13/568.37 c Elapsed CPU time: 563.993 s Remaining CPU time: 1236.01 s 568.23/568.49 c Learning 427 hard constraints 568.23/568.49 c ============================[ Search Statistics ]============================== 568.23/568.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 568.23/568.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 568.23/568.49 c =============================================================================== 568.23/568.49 c | 0 | 2803 8335 222981 | 5000 0 nan | 0.000 % | 568.33/568.53 c | 100 | 2803 8335 222981 | 5500 100 28 | 0.001 % | 568.33/568.55 c | 251 | 2803 8335 222981 | 6050 251 22 | 0.000 % | 568.33/568.58 c | 480 | 2803 8335 222981 | 6655 480 31 | 0.000 % | 568.44/568.61 c | 817 | 2803 8335 222981 | 7320 817 29 | 0.000 % | 568.44/568.66 c | 1323 | 2803 8335 222981 | 8052 1323 35 | 0.000 % | 568.54/568.73 c | 2082 | 2803 8335 222981 | 8857 2082 38 | 0.000 % | 568.63/568.88 c | 3221 | 2803 8335 222981 | 9743 3221 34 | 0.000 % | 568.93/569.19 c | 4930 | 2801 8335 222981 | 10717 4889 34 | 0.072 % | 569.63/569.82 c | 7496 | 2800 8335 222981 | 11789 7455 35 | 0.143 % | 570.74/570.92 c | 11340 | 2799 8335 222981 | 12968 11299 35 | 0.144 % | 572.94/573.12 c | 17106 | 2793 8335 222981 | 14265 10194 39 | 0.357 % | 573.83/574.06 c =============================================================================== 574.23/574.46 c core #156 574.23/574.46 c Core size: 3432 Core Weight: 1 Total Weight: 156 574.23/574.46 c Elapsed CPU time: 570.013 s Remaining CPU time: 1229.99 s 574.33/574.55 c Learning 943 hard constraints 574.33/574.55 c ============================[ Search Statistics ]============================== 574.33/574.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 574.33/574.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 574.33/574.55 c =============================================================================== 574.33/574.55 c | 0 | 2866 9279 257106 | 5000 0 nan | 0.000 % | 574.33/574.58 c | 102 | 2866 9279 257106 | 5500 102 43 | 0.001 % | 574.44/574.61 c | 252 | 2866 9279 257106 | 6050 252 34 | 0.000 % | 574.44/574.63 c | 477 | 2866 9279 257106 | 6655 477 40 | 0.000 % | 574.44/574.66 c | 815 | 2866 9279 257106 | 7320 815 37 | 0.000 % | 574.53/574.71 c | 1321 | 2866 9279 257106 | 8052 1321 50 | 0.000 % | 574.53/574.78 c | 2082 | 2866 9279 257106 | 8857 2082 49 | 0.000 % | 574.73/574.92 c | 3224 | 2866 9279 257106 | 9743 3224 62 | 0.000 % | 574.93/575.16 c | 4934 | 2866 9279 257106 | 10717 4934 64 | 0.000 % | 575.43/575.68 c | 7496 | 2866 9279 257106 | 11789 7496 73 | 0.000 % | 576.53/576.77 c | 11340 | 2866 9279 257106 | 12968 11340 86 | 0.000 % | 577.93/578.15 c | 17111 | 2866 9279 257106 | 14265 10342 100 | 0.000 % | 580.83/581.09 c | 25761 | 2866 9279 257106 | 15692 11512 92 | 0.000 % | 585.93/586.18 c | 38736 | 2866 9279 257106 | 17261 16293 122 | 0.000 % | 592.63/592.89 c | 58199 | 2866 9279 257106 | 18987 17751 72 | 0.000 % | 605.02/605.21 c | 87395 | 2866 9279 257106 | 20886 17268 99 | 0.000 % | 631.92/632.11 c | 131185 | 2866 9279 257106 | 22974 17570 98 | 0.000 % | 675.00/675.20 c | 196869 | 2866 9279 257106 | 25272 12022 134 | 0.000 % | 758.09/758.32 c | 295407 | 2866 9279 257106 | 27799 15744 121 | 0.000 % | 871.25/871.53 c | 443196 | 2866 9279 257106 | 30579 21744 101 | 0.000 % | 1085.41/1085.78 c | 664881 | 2866 9279 257106 | 33637 22229 192 | 0.000 % | 1339.34/1339.76 c | 997407 | 2866 9279 257106 | 37001 17445 97 | 0.000 % | 1689.16/1689.67 c | 1496200 | 2866 9279 257106 | 40701 25574 69 | 0.000 % |
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-1876228-1245158698/watcher-1876228-1245158698 -o /tmp/evaluation-result-1876228-1245158698/solver-1876228-1245158698 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876228-1245158698.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 2631 /proc/meminfo: memFree=1929424/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=2604 CPUtime=0 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 199 0 0 0 0 0 0 0 18 0 1 0 183469996 2666496 183 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 651 183 128 292 0 339 0 [startup+0.050682 s] /proc/loadavg: 0.92 0.98 0.99 3/64 2631 /proc/meminfo: memFree=1929424/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=2796 CPUtime=0.04 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 284 0 0 0 4 0 0 0 18 0 1 0 183469996 2863104 251 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 699 251 133 292 0 404 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2796 [startup+0.101687 s] /proc/loadavg: 0.92 0.98 0.99 3/64 2631 /proc/meminfo: memFree=1929424/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=2796 CPUtime=0.09 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 298 0 0 0 9 0 0 0 18 0 1 0 183469996 2863104 265 1992294400 134512640 135709839 4294956240 18446744073709551615 134530643 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 699 265 133 292 0 404 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2796 [startup+0.301706 s] /proc/loadavg: 0.92 0.98 0.99 3/64 2631 /proc/meminfo: memFree=1929424/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=3428 CPUtime=0.29 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 463 0 0 0 29 0 0 0 19 0 1 0 183469996 3510272 430 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 857 430 135 292 0 562 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3428 [startup+0.701782 s] /proc/loadavg: 0.92 0.98 0.99 3/64 2631 /proc/meminfo: memFree=1929424/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=4368 CPUtime=0.69 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 697 0 0 0 68 1 0 0 22 0 1 0 183469996 4472832 664 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 1092 664 136 292 0 797 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4368 [startup+1.50182 s] /proc/loadavg: 0.92 0.98 0.99 2/65 2632 /proc/meminfo: memFree=1927048/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=5436 CPUtime=1.49 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 933 0 0 0 144 5 0 0 25 0 1 0 183469996 5566464 900 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 1359 900 136 292 0 1064 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5436 [startup+3.10298 s] /proc/loadavg: 0.93 0.98 0.99 2/65 2632 /proc/meminfo: memFree=1925896/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=8228 CPUtime=3.09 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 1650 0 0 0 301 8 0 0 25 0 1 0 183469996 8425472 1617 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 2057 1617 136 292 0 1762 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8228 [startup+6.30128 s] /proc/loadavg: 0.93 0.98 0.99 2/65 2632 /proc/meminfo: memFree=1918160/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=14960 CPUtime=6.29 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 3347 0 0 0 618 11 0 0 25 0 1 0 183469996 15319040 3314 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 3740 3314 136 292 0 3445 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14960 [startup+12.7019 s] /proc/loadavg: 0.94 0.98 0.99 2/65 2632 /proc/meminfo: memFree=1911904/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=19360 CPUtime=12.69 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 4447 0 0 0 1250 19 0 0 25 0 1 0 183469996 19824640 4414 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 4840 4414 136 292 0 4545 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19360 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/65 2632 /proc/meminfo: memFree=1892512/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=39248 CPUtime=25.48 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 9398 0 0 0 2513 35 0 0 25 0 1 0 183469996 40189952 9365 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 9812 9365 136 292 0 9517 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39248 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/65 2632 /proc/meminfo: memFree=1860192/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=71784 CPUtime=51.07 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 17520 0 0 0 5051 56 0 0 25 0 1 0 183469996 73506816 17487 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 17946 17487 136 292 0 17651 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 71784 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 2632 /proc/meminfo: memFree=1828192/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=103108 CPUtime=102.26 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 25367 0 0 0 10136 90 0 0 25 0 1 0 183469996 105582592 25334 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 25777 25334 136 292 0 25482 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 103108 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2632 /proc/meminfo: memFree=1752160/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=179876 CPUtime=162.24 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 44534 0 0 0 16086 138 0 0 25 0 1 0 183469996 184193024 44501 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 44969 44501 136 292 0 44674 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 179876 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2632 /proc/meminfo: memFree=1701024/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=230168 CPUtime=222.22 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 57061 0 0 0 22053 169 0 0 25 0 1 0 183469996 235692032 57028 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 57542 57028 136 292 0 57247 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 230168 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2632 /proc/meminfo: memFree=1646816/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=284684 CPUtime=282.21 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 70680 0 0 0 28020 201 0 0 25 0 1 0 183469996 291516416 70647 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 71171 70647 136 292 0 70876 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 284684 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2632 /proc/meminfo: memFree=1579808/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=351432 CPUtime=342.19 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 87347 0 0 0 33980 239 0 0 25 0 1 0 183469996 359866368 87314 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 87858 87314 136 292 0 87563 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 351432 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2632 /proc/meminfo: memFree=1512416/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=418128 CPUtime=402.17 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 104059 0 0 0 39932 285 0 0 25 0 1 0 183469996 428163072 103992 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 104532 103992 136 292 0 104237 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 418128 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2632 /proc/meminfo: memFree=1501984/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=428512 CPUtime=462.17 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 106736 0 0 0 45884 333 0 0 25 0 1 0 183469996 438796288 106669 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 107128 106669 136 292 0 106833 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 428512 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2632 /proc/meminfo: memFree=1453344/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=478144 CPUtime=522.15 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 119114 0 0 0 51832 383 0 0 25 0 1 0 183469996 489619456 119047 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 119536 119047 136 292 0 119241 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 478144 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2632 /proc/meminfo: memFree=1422752/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=507404 CPUtime=582.13 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 126436 0 0 0 57776 437 0 0 25 0 1 0 183469996 519581696 126369 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 126851 126369 136 292 0 126556 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 507404 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2632 /proc/meminfo: memFree=1392992/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=536940 CPUtime=642.12 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 133839 0 0 0 63740 472 0 0 25 0 1 0 183469996 549826560 133772 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 134235 133772 136 292 0 133940 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 536940 [startup+702.301 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.10 1.04 1.00 2/65 2632 /proc/meminfo: memFree=1180576/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=749812 CPUtime=942.04 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 186882 0 0 0 93602 602 0 0 25 0 1 0 183469996 767807488 186815 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 187453 186815 136 292 0 187158 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 749812 [startup+1002.3 s] /proc/loadavg: 1.03 1.03 1.00 2/65 2632 /proc/meminfo: memFree=1133408/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=796788 CPUtime=1002.02 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 198598 0 0 0 99574 628 0 0 25 0 1 0 183469996 815910912 198531 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 199197 198531 136 292 0 198902 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 796788 [startup+1062.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 2632 /proc/meminfo: memFree=1090272/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=840044 CPUtime=1062.01 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 209415 0 0 0 105553 648 0 0 25 0 1 0 183469996 860205056 209348 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 210011 209348 136 292 0 209716 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 840044 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 2632 /proc/meminfo: memFree=1030048/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=900408 CPUtime=1122 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 224450 0 0 0 111520 680 0 0 25 0 1 0 183469996 922017792 224383 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 225102 224383 136 292 0 224807 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 900408 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 2632 /proc/meminfo: memFree=979744/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=950784 CPUtime=1181.98 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 237007 0 0 0 117489 709 0 0 25 0 1 0 183469996 973602816 236940 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 237696 236940 136 292 0 237401 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 950784 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2632 /proc/meminfo: memFree=935520/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=994468 CPUtime=1241.96 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 247929 0 0 0 123463 733 0 0 25 0 1 0 183469996 1018335232 247862 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 248617 247862 136 292 0 248322 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 994468 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2632 /proc/meminfo: memFree=882592/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=1047148 CPUtime=1301.95 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 261093 0 0 0 129431 764 0 0 25 0 1 0 183469996 1072279552 261026 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 261787 261026 136 292 0 261492 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1047148 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2632 /proc/meminfo: memFree=826656/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=1103620 CPUtime=1361.93 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 275166 0 0 0 135395 798 0 0 25 0 1 0 183469996 1130106880 275099 1992294400 134512640 135709839 4294956240 18446744073709551615 134573802 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 275905 275099 136 292 0 275610 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1103620 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2632 /proc/meminfo: memFree=781152/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=1148696 CPUtime=1421.92 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 286379 0 0 0 141370 822 0 0 25 0 1 0 183469996 1176264704 286312 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 287174 286312 136 292 0 286879 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1148696 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2632 /proc/meminfo: memFree=742688/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=1187440 CPUtime=1481.9 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 296051 0 0 0 147345 845 0 0 25 0 1 0 183469996 1215938560 295984 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 296860 295984 136 292 0 296565 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1187440 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2632 /proc/meminfo: memFree=686176/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=1243864 CPUtime=1541.89 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 310138 0 0 0 153312 877 0 0 25 0 1 0 183469996 1273716736 310071 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 310966 310071 136 292 0 310671 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1243864 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2634 /proc/meminfo: memFree=629920/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=1300312 CPUtime=1601.88 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 324220 0 0 0 159277 911 0 0 25 0 1 0 183469996 1331519488 324153 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 325078 324153 136 292 0 324783 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1300312 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2634 /proc/meminfo: memFree=586336/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=1343680 CPUtime=1661.86 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 335002 0 0 0 165248 938 0 0 25 0 1 0 183469996 1375928320 334935 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 335920 334935 136 292 0 335625 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1343680 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2634 /proc/meminfo: memFree=528864/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=1401788 CPUtime=1721.84 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 349486 0 0 0 171212 972 0 0 25 0 1 0 183469996 1435430912 349419 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 350447 349419 136 292 0 350152 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1401788 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2634 /proc/meminfo: memFree=487072/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=1442860 CPUtime=1781.83 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 359728 0 0 0 177191 992 0 0 25 0 1 0 183469996 1477488640 359661 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 360715 359661 136 292 0 360420 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1442860 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2634 /proc/meminfo: memFree=478240/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=1451716 CPUtime=1800.03 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4194304 361898 0 0 0 179007 996 0 0 25 0 1 0 183469996 1486557184 361831 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 362929 361831 136 292 0 362634 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1451716 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2635 /proc/meminfo: memFree=1125208/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=0 CPUtime=1800.13 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4195332 361898 0 0 0 179007 1006 0 0 25 0 1 0 183469996 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2635 /proc/meminfo: memFree=1125208/2055920 swapFree=4181652/4192956 [pid=2631] ppid=2629 vsize=0 CPUtime=1800.23 /proc/2631/stat : 2631 (wbo) R 2629 2631 2588 0 -1 4195332 361898 0 0 0 179007 1016 0 0 25 0 1 0 183469996 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/2631/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.73 CPU time (s): 1800.26 CPU user time (s): 1790.07 CPU system time (s): 10.1855 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (KiB): 1451716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.07 system time used= 10.1855 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 361898 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 2200 runsolver used 1.3118 second user time and 3.89241 second system time The end
Begin job on node18 at 2009-06-16 15:24:58 IDJOB=1876228 IDBENCH=2171 IDSOLVER=698 FILE ID=node18/1876228-1245158698 PBS_JOBID= 9363849 Free space on /tmp= 66172 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b1.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-1876228-1245158698/watcher-1876228-1245158698 -o /tmp/evaluation-result-1876228-1245158698/solver-1876228-1245158698 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876228-1245158698.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= eb2e849a72ed563d78cdb83a394edb27 RANDOM SEED=351697541 node18.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.236 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.236 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: 1929904 kB Buffers: 24536 kB Cached: 57372 kB SwapCached: 5540 kB Active: 46172 kB Inactive: 43532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1929904 kB SwapTotal: 4192956 kB SwapFree: 4181652 kB Dirty: 2596 kB Writeback: 0 kB Mapped: 12796 kB Slab: 22384 kB Committed_AS: 147404 kB PageTables: 1376 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-1876228-1245158698.opb Free space on /tmp at the end= 66172 MiB End job on node18 at 2009-06-16 15:55:01