| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (TO) | 1800.27 | 1804.57 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8b1.opb |
| MD5SUM | 45a62012cfe681f45441c62f782d8601 |
| 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 | 13.8459 |
| 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 | 672 |
| Total number of constraints | 2404 |
| Number of constraints which are clauses | 2404 |
| 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 | 8 |
| Number of terms in the objective function | 672 |
| 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 | 672 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 672 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1876209-1245155639.opb. 0.00/0.00 c Instance file HOME/instance-1876209-1245155639.opb 0.00/0.00 c File size is 63738 bytes. 0.00/0.03 c Highest Coefficient sum: 9 0.00/0.03 c ============================[ Problem Statistics ]============================= 0.00/0.03 c | | 0.00/0.03 c | Parsing time: 0.01 s | 0.00/0.03 c | Number Variables: 672 | 0.00/0.03 c | Number Clauses: 3076 | 0.00/0.03 c | Number Cardinality: 0 | 0.00/0.03 c | Number PB Constraints: 0 | 0.00/0.03 c core #1 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 1 0.00/0.03 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.03 c core #2 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 2 0.00/0.03 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.03 c core #3 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 3 0.00/0.03 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.03 c core #4 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 4 0.00/0.03 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.03 c core #5 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 5 0.00/0.03 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #6 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 6 0.00/0.03 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #7 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 7 0.00/0.03 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #8 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 8 0.00/0.03 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #9 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 9 0.00/0.03 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #10 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 10 0.00/0.03 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #11 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 11 0.00/0.03 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #12 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 12 0.00/0.03 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #13 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 13 0.00/0.03 c Elapsed CPU time: 0.029995 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.031995 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #15 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 15 0.00/0.04 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #16 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 16 0.00/0.04 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #17 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 17 0.00/0.04 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #18 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 18 0.00/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.05 c core #19 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 19 0.00/0.05 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.00/0.05 c core #20 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 20 0.00/0.05 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.05 c core #21 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 21 0.00/0.05 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.05 c core #22 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 22 0.00/0.05 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #23 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 23 0.00/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #24 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 24 0.00/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #25 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 25 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.00/0.06 c core #26 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 26 0.00/0.06 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.00/0.06 c core #27 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 27 0.00/0.06 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #28 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 28 0.00/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #29 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 29 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #30 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 30 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.00/0.07 c core #31 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 31 0.00/0.07 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.00/0.07 c core #32 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 32 0.00/0.07 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.00/0.07 c core #33 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 33 0.00/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #34 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 34 0.00/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #35 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 35 0.00/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.07/0.07 c core #36 0.07/0.07 c Core size: 3 Core Weight: 1 Total Weight: 36 0.07/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.07/0.08 c core #37 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 37 0.07/0.08 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.07/0.08 c core #38 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 38 0.07/0.08 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #39 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 39 0.07/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #40 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 40 0.07/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #41 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 41 0.07/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.07/0.09 c core #42 0.07/0.09 c Core size: 3 Core Weight: 1 Total Weight: 42 0.07/0.09 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.07/0.09 c core #43 0.07/0.09 c Core size: 3 Core Weight: 1 Total Weight: 43 0.07/0.09 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #44 0.07/0.09 c Core size: 3 Core Weight: 1 Total Weight: 44 0.07/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #45 0.07/0.09 c Core size: 3 Core Weight: 1 Total Weight: 45 0.07/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.07/0.10 c core #46 0.07/0.10 c Core size: 3 Core Weight: 1 Total Weight: 46 0.07/0.10 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.09/0.10 c core #47 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 47 0.09/0.10 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.09/0.10 c core #48 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 48 0.09/0.10 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #49 0.09/0.10 c Core size: 9 Core Weight: 1 Total Weight: 49 0.09/0.10 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #50 0.09/0.10 c Core size: 9 Core Weight: 1 Total Weight: 50 0.09/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #51 0.09/0.10 c Core size: 9 Core Weight: 1 Total Weight: 51 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #52 0.09/0.11 c Core size: 9 Core Weight: 1 Total Weight: 52 0.09/0.11 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #53 0.09/0.11 c Core size: 9 Core Weight: 1 Total Weight: 53 0.09/0.11 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #54 0.09/0.11 c Core size: 9 Core Weight: 1 Total Weight: 54 0.09/0.11 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #55 0.09/0.11 c Core size: 7 Core Weight: 1 Total Weight: 55 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #56 0.09/0.11 c Core size: 7 Core Weight: 1 Total Weight: 56 0.09/0.12 c Elapsed CPU time: 0.110983 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #57 0.09/0.12 c Core size: 7 Core Weight: 1 Total Weight: 57 0.09/0.12 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #58 0.09/0.12 c Core size: 7 Core Weight: 1 Total Weight: 58 0.09/0.12 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #59 0.09/0.12 c Core size: 7 Core Weight: 1 Total Weight: 59 0.09/0.12 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #60 0.09/0.12 c Core size: 7 Core Weight: 1 Total Weight: 60 0.09/0.12 c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #61 0.09/0.13 c Core size: 7 Core Weight: 1 Total Weight: 61 0.09/0.13 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #62 0.09/0.13 c Core size: 7 Core Weight: 1 Total Weight: 62 0.09/0.13 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #63 0.09/0.13 c Core size: 7 Core Weight: 1 Total Weight: 63 0.09/0.13 c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #64 0.09/0.13 c Core size: 7 Core Weight: 1 Total Weight: 64 0.09/0.13 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #65 0.09/0.13 c Core size: 7 Core Weight: 1 Total Weight: 65 0.09/0.13 c Elapsed CPU time: 0.12898 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #66 0.09/0.14 c Core size: 7 Core Weight: 1 Total Weight: 66 0.09/0.14 c Elapsed CPU time: 0.13098 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #67 0.09/0.14 c Core size: 7 Core Weight: 1 Total Weight: 67 0.09/0.14 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #68 0.09/0.14 c Core size: 7 Core Weight: 1 Total Weight: 68 0.09/0.14 c Elapsed CPU time: 0.134979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #69 0.09/0.14 c Core size: 7 Core Weight: 1 Total Weight: 69 0.09/0.14 c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #70 0.09/0.14 c Core size: 7 Core Weight: 1 Total Weight: 70 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #71 0.09/0.15 c Core size: 7 Core Weight: 1 Total Weight: 71 0.09/0.15 c Elapsed CPU time: 0.140978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #72 0.09/0.15 c Core size: 7 Core Weight: 1 Total Weight: 72 0.09/0.15 c Elapsed CPU time: 0.142978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #73 0.09/0.15 c Core size: 7 Core Weight: 1 Total Weight: 73 0.09/0.15 c Elapsed CPU time: 0.144977 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #74 0.09/0.15 c Core size: 7 Core Weight: 1 Total Weight: 74 0.09/0.15 c Elapsed CPU time: 0.147977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #75 0.09/0.15 c Core size: 7 Core Weight: 1 Total Weight: 75 0.09/0.15 c Elapsed CPU time: 0.149977 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #76 0.09/0.16 c Core size: 7 Core Weight: 1 Total Weight: 76 0.09/0.16 c Elapsed CPU time: 0.151976 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #77 0.09/0.16 c Core size: 7 Core Weight: 1 Total Weight: 77 0.09/0.16 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #78 0.09/0.16 c Core size: 7 Core Weight: 1 Total Weight: 78 0.09/0.16 c Elapsed CPU time: 0.155976 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #79 0.09/0.16 c Core size: 7 Core Weight: 1 Total Weight: 79 0.09/0.16 c Elapsed CPU time: 0.157975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #80 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 80 0.09/0.17 c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #81 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 81 0.09/0.17 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #82 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 82 0.09/0.17 c Elapsed CPU time: 0.163975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #83 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 83 0.09/0.17 c Elapsed CPU time: 0.165974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #84 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 84 0.09/0.17 c Elapsed CPU time: 0.167974 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #85 0.09/0.18 c Core size: 7 Core Weight: 1 Total Weight: 85 0.09/0.18 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #86 0.09/0.18 c Core size: 7 Core Weight: 1 Total Weight: 86 0.09/0.18 c Elapsed CPU time: 0.172973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #87 0.09/0.18 c Core size: 7 Core Weight: 1 Total Weight: 87 0.09/0.18 c Elapsed CPU time: 0.174973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #88 0.09/0.18 c Core size: 7 Core Weight: 1 Total Weight: 88 0.09/0.18 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #89 0.09/0.19 c Core size: 7 Core Weight: 1 Total Weight: 89 0.09/0.19 c Elapsed CPU time: 0.178972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #90 0.09/0.19 c Core size: 7 Core Weight: 1 Total Weight: 90 0.09/0.19 c Elapsed CPU time: 0.180972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #91 0.09/0.19 c Core size: 7 Core Weight: 1 Total Weight: 91 0.09/0.19 c Elapsed CPU time: 0.182972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #92 0.09/0.19 c Core size: 7 Core Weight: 1 Total Weight: 92 0.09/0.19 c Elapsed CPU time: 0.184971 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #93 0.09/0.19 c Core size: 7 Core Weight: 1 Total Weight: 93 0.09/0.19 c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s 0.09/0.20 c core #94 0.09/0.20 c Core size: 7 Core Weight: 1 Total Weight: 94 0.09/0.20 c Elapsed CPU time: 0.188971 s Remaining CPU time: 1799.81 s 0.18/0.20 c core #95 0.18/0.20 c Core size: 17 Core Weight: 1 Total Weight: 95 0.18/0.20 c Elapsed CPU time: 0.19097 s Remaining CPU time: 1799.81 s 0.18/0.20 c core #96 0.18/0.20 c Core size: 18 Core Weight: 1 Total Weight: 96 0.18/0.20 c Elapsed CPU time: 0.19297 s Remaining CPU time: 1799.81 s 0.18/0.20 c core #97 0.18/0.20 c Core size: 22 Core Weight: 1 Total Weight: 97 0.18/0.20 c Elapsed CPU time: 0.19497 s Remaining CPU time: 1799.81 s 0.18/0.21 c core #98 0.18/0.21 c Core size: 23 Core Weight: 1 Total Weight: 98 0.18/0.21 c Elapsed CPU time: 0.197969 s Remaining CPU time: 1799.8 s 0.18/0.21 c core #99 0.18/0.21 c Core size: 23 Core Weight: 1 Total Weight: 99 0.18/0.21 c Elapsed CPU time: 0.199969 s Remaining CPU time: 1799.8 s 0.18/0.21 c core #100 0.18/0.21 c Core size: 22 Core Weight: 1 Total Weight: 100 0.18/0.21 c Elapsed CPU time: 0.201969 s Remaining CPU time: 1799.8 s 0.18/0.21 c core #101 0.18/0.21 c Core size: 22 Core Weight: 1 Total Weight: 101 0.18/0.21 c Elapsed CPU time: 0.203968 s Remaining CPU time: 1799.8 s 0.18/0.22 c core #102 0.18/0.22 c Core size: 22 Core Weight: 1 Total Weight: 102 0.18/0.22 c Elapsed CPU time: 0.206968 s Remaining CPU time: 1799.79 s 0.18/0.22 c core #103 0.18/0.22 c Core size: 17 Core Weight: 1 Total Weight: 103 0.18/0.22 c Elapsed CPU time: 0.208968 s Remaining CPU time: 1799.79 s 0.18/0.22 c core #104 0.18/0.22 c Core size: 18 Core Weight: 1 Total Weight: 104 0.18/0.22 c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 s 0.18/0.22 c core #105 0.18/0.22 c Core size: 22 Core Weight: 1 Total Weight: 105 0.18/0.22 c Elapsed CPU time: 0.213967 s Remaining CPU time: 1799.79 s 0.18/0.23 c core #106 0.18/0.23 c Core size: 23 Core Weight: 1 Total Weight: 106 0.18/0.23 c Elapsed CPU time: 0.216967 s Remaining CPU time: 1799.78 s 0.18/0.23 c core #107 0.18/0.23 c Core size: 23 Core Weight: 1 Total Weight: 107 0.18/0.23 c Elapsed CPU time: 0.218966 s Remaining CPU time: 1799.78 s 0.18/0.23 c core #108 0.18/0.23 c Core size: 22 Core Weight: 1 Total Weight: 108 0.18/0.23 c Elapsed CPU time: 0.220966 s Remaining CPU time: 1799.78 s 0.18/0.23 c core #109 0.18/0.23 c Core size: 22 Core Weight: 1 Total Weight: 109 0.18/0.23 c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s 0.18/0.24 c core #110 0.18/0.24 c Core size: 22 Core Weight: 1 Total Weight: 110 0.18/0.24 c Elapsed CPU time: 0.226965 s Remaining CPU time: 1799.77 s 0.18/0.24 c core #111 0.18/0.24 c Core size: 17 Core Weight: 1 Total Weight: 111 0.18/0.24 c Elapsed CPU time: 0.228965 s Remaining CPU time: 1799.77 s 0.18/0.24 c core #112 0.18/0.24 c Core size: 18 Core Weight: 1 Total Weight: 112 0.18/0.24 c Elapsed CPU time: 0.231964 s Remaining CPU time: 1799.77 s 0.18/0.24 c core #113 0.18/0.24 c Core size: 22 Core Weight: 1 Total Weight: 113 0.18/0.24 c Elapsed CPU time: 0.234964 s Remaining CPU time: 1799.77 s 0.18/0.25 c core #114 0.18/0.25 c Core size: 23 Core Weight: 1 Total Weight: 114 0.18/0.25 c Elapsed CPU time: 0.236963 s Remaining CPU time: 1799.76 s 0.18/0.25 c core #115 0.18/0.25 c Core size: 23 Core Weight: 1 Total Weight: 115 0.18/0.25 c Elapsed CPU time: 0.239963 s Remaining CPU time: 1799.76 s 0.18/0.25 c core #116 0.18/0.25 c Core size: 22 Core Weight: 1 Total Weight: 116 0.18/0.25 c Elapsed CPU time: 0.242963 s Remaining CPU time: 1799.76 s 0.18/0.26 c core #117 0.18/0.26 c Core size: 22 Core Weight: 1 Total Weight: 117 0.18/0.26 c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 s 0.18/0.26 c core #118 0.18/0.26 c Core size: 22 Core Weight: 1 Total Weight: 118 0.18/0.26 c Elapsed CPU time: 0.247962 s Remaining CPU time: 1799.75 s 0.18/0.26 c core #119 0.18/0.26 c Core size: 17 Core Weight: 1 Total Weight: 119 0.18/0.26 c Elapsed CPU time: 0.250961 s Remaining CPU time: 1799.75 s 0.18/0.26 c core #120 0.18/0.26 c Core size: 18 Core Weight: 1 Total Weight: 120 0.18/0.26 c Elapsed CPU time: 0.253961 s Remaining CPU time: 1799.75 s 0.18/0.27 c core #121 0.18/0.27 c Core size: 22 Core Weight: 1 Total Weight: 121 0.18/0.27 c Elapsed CPU time: 0.255961 s Remaining CPU time: 1799.74 s 0.18/0.27 c core #122 0.18/0.27 c Core size: 23 Core Weight: 1 Total Weight: 122 0.18/0.27 c Elapsed CPU time: 0.25896 s Remaining CPU time: 1799.74 s 0.18/0.27 c core #123 0.18/0.27 c Core size: 23 Core Weight: 1 Total Weight: 123 0.18/0.27 c Elapsed CPU time: 0.26196 s Remaining CPU time: 1799.74 s 0.18/0.28 c core #124 0.18/0.28 c Core size: 22 Core Weight: 1 Total Weight: 124 0.18/0.28 c Elapsed CPU time: 0.264959 s Remaining CPU time: 1799.74 s 0.18/0.28 c core #125 0.18/0.28 c Core size: 22 Core Weight: 1 Total Weight: 125 0.18/0.28 c Elapsed CPU time: 0.267959 s Remaining CPU time: 1799.73 s 0.18/0.28 c core #126 0.18/0.28 c Core size: 22 Core Weight: 1 Total Weight: 126 0.18/0.28 c Elapsed CPU time: 0.270958 s Remaining CPU time: 1799.73 s 0.18/0.28 c core #127 0.18/0.28 c Core size: 17 Core Weight: 1 Total Weight: 127 0.18/0.28 c Elapsed CPU time: 0.273958 s Remaining CPU time: 1799.73 s 0.18/0.29 c core #128 0.18/0.29 c Core size: 18 Core Weight: 1 Total Weight: 128 0.18/0.29 c Elapsed CPU time: 0.276957 s Remaining CPU time: 1799.72 s 0.18/0.29 c core #129 0.18/0.29 c Core size: 22 Core Weight: 1 Total Weight: 129 0.18/0.29 c Elapsed CPU time: 0.279957 s Remaining CPU time: 1799.72 s 0.18/0.29 c core #130 0.18/0.29 c Core size: 23 Core Weight: 1 Total Weight: 130 0.18/0.29 c Elapsed CPU time: 0.282956 s Remaining CPU time: 1799.72 s 0.18/0.30 c core #131 0.18/0.30 c Core size: 23 Core Weight: 1 Total Weight: 131 0.18/0.30 c Elapsed CPU time: 0.285956 s Remaining CPU time: 1799.71 s 0.28/0.30 c core #132 0.28/0.30 c Core size: 22 Core Weight: 1 Total Weight: 132 0.28/0.30 c Elapsed CPU time: 0.288956 s Remaining CPU time: 1799.71 s 0.28/0.30 c core #133 0.28/0.30 c Core size: 22 Core Weight: 1 Total Weight: 133 0.28/0.30 c Elapsed CPU time: 0.291955 s Remaining CPU time: 1799.71 s 0.28/0.30 c core #134 0.28/0.30 c Core size: 22 Core Weight: 1 Total Weight: 134 0.28/0.30 c Elapsed CPU time: 0.294955 s Remaining CPU time: 1799.71 s 0.28/0.31 c core #135 0.28/0.31 c Core size: 17 Core Weight: 1 Total Weight: 135 0.28/0.31 c Elapsed CPU time: 0.297954 s Remaining CPU time: 1799.7 s 0.28/0.31 c core #136 0.28/0.31 c Core size: 18 Core Weight: 1 Total Weight: 136 0.28/0.31 c Elapsed CPU time: 0.300954 s Remaining CPU time: 1799.7 s 0.28/0.31 c core #137 0.28/0.31 c Core size: 22 Core Weight: 1 Total Weight: 137 0.28/0.31 c Elapsed CPU time: 0.302953 s Remaining CPU time: 1799.7 s 0.28/0.32 c core #138 0.28/0.32 c Core size: 23 Core Weight: 1 Total Weight: 138 0.28/0.32 c Elapsed CPU time: 0.305953 s Remaining CPU time: 1799.69 s 0.28/0.32 c core #139 0.28/0.32 c Core size: 23 Core Weight: 1 Total Weight: 139 0.28/0.32 c Elapsed CPU time: 0.308953 s Remaining CPU time: 1799.69 s 0.28/0.32 c core #140 0.28/0.32 c Core size: 22 Core Weight: 1 Total Weight: 140 0.28/0.32 c Elapsed CPU time: 0.311952 s Remaining CPU time: 1799.69 s 0.28/0.33 c core #141 0.28/0.33 c Core size: 22 Core Weight: 1 Total Weight: 141 0.28/0.33 c Elapsed CPU time: 0.314952 s Remaining CPU time: 1799.69 s 0.28/0.33 c core #142 0.28/0.33 c Core size: 22 Core Weight: 1 Total Weight: 142 0.28/0.33 c Elapsed CPU time: 0.317951 s Remaining CPU time: 1799.68 s 0.28/0.33 c core #143 0.28/0.33 c Core size: 55 Core Weight: 1 Total Weight: 143 0.28/0.33 c Elapsed CPU time: 0.320951 s Remaining CPU time: 1799.68 s 0.28/0.34 c ============================[ Search Statistics ]============================== 0.28/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.34 c =============================================================================== 0.28/0.34 c | 0 | 1330 3219 7304 | 5000 0 nan | 0.000 % | 0.28/0.34 c =============================================================================== 0.28/0.34 c core #144 0.28/0.34 c Core size: 22 Core Weight: 1 Total Weight: 144 0.28/0.34 c Elapsed CPU time: 0.32395 s Remaining CPU time: 1799.68 s 0.28/0.34 c ============================[ Search Statistics ]============================== 0.28/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.34 c =============================================================================== 0.28/0.34 c | 0 | 1341 3220 7326 | 5000 0 nan | 0.000 % | 0.28/0.34 c =============================================================================== 0.28/0.34 c core #145 0.28/0.34 c Core size: 15 Core Weight: 1 Total Weight: 145 0.28/0.34 c Elapsed CPU time: 0.32795 s Remaining CPU time: 1799.67 s 0.28/0.34 c ============================[ Search Statistics ]============================== 0.28/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.34 c =============================================================================== 0.28/0.34 c | 0 | 1348 3221 7340 | 5000 0 nan | 0.000 % | 0.28/0.34 c =============================================================================== 0.28/0.34 c core #146 0.28/0.34 c Core size: 16 Core Weight: 1 Total Weight: 146 0.28/0.34 c Elapsed CPU time: 0.330949 s Remaining CPU time: 1799.67 s 0.28/0.35 c ============================[ Search Statistics ]============================== 0.28/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.35 c =============================================================================== 0.28/0.35 c | 0 | 1356 3222 7356 | 5000 0 nan | 0.000 % | 0.28/0.35 c =============================================================================== 0.28/0.35 c core #147 0.28/0.35 c Core size: 19 Core Weight: 1 Total Weight: 147 0.28/0.35 c Elapsed CPU time: 0.334949 s Remaining CPU time: 1799.67 s 0.28/0.35 c ============================[ Search Statistics ]============================== 0.28/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.35 c =============================================================================== 0.28/0.35 c | 0 | 1365 3223 7374 | 5000 0 nan | 0.000 % | 0.28/0.35 c =============================================================================== 0.28/0.35 c core #148 0.28/0.35 c Core size: 25 Core Weight: 1 Total Weight: 148 0.28/0.35 c Elapsed CPU time: 0.338948 s Remaining CPU time: 1799.66 s 0.28/0.35 c ============================[ Search Statistics ]============================== 0.28/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.35 c =============================================================================== 0.28/0.35 c | 0 | 1376 3224 7396 | 5000 0 nan | 0.000 % | 0.28/0.35 c =============================================================================== 0.28/0.35 c core #149 0.28/0.35 c Core size: 60 Core Weight: 1 Total Weight: 149 0.28/0.35 c Elapsed CPU time: 0.342947 s Remaining CPU time: 1799.66 s 0.28/0.36 c Learning 1 hard constraints 0.28/0.36 c ============================[ Search Statistics ]============================== 0.28/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.36 c =============================================================================== 0.28/0.36 c | 0 | 1393 3226 7437 | 5000 0 nan | 0.000 % | 0.28/0.36 c =============================================================================== 0.28/0.36 c core #150 0.28/0.36 c Core size: 44 Core Weight: 1 Total Weight: 150 0.28/0.36 c Elapsed CPU time: 0.345947 s Remaining CPU time: 1799.65 s 0.28/0.36 c ============================[ Search Statistics ]============================== 0.28/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.36 c =============================================================================== 0.28/0.36 c | 0 | 1402 3227 7455 | 5000 0 nan | 0.000 % | 0.28/0.36 c =============================================================================== 0.28/0.36 c core #151 0.28/0.36 c Core size: 35 Core Weight: 1 Total Weight: 151 0.28/0.36 c Elapsed CPU time: 0.347947 s Remaining CPU time: 1799.65 s 0.28/0.37 c ============================[ Search Statistics ]============================== 0.28/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.37 c =============================================================================== 0.28/0.37 c | 0 | 1412 3228 7475 | 5000 0 nan | 0.000 % | 0.28/0.37 c =============================================================================== 0.28/0.37 c core #152 0.28/0.37 c Core size: 15 Core Weight: 1 Total Weight: 152 0.28/0.37 c Elapsed CPU time: 0.351946 s Remaining CPU time: 1799.65 s 0.28/0.37 c ============================[ Search Statistics ]============================== 0.28/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.37 c =============================================================================== 0.28/0.37 c | 0 | 1419 3229 7489 | 5000 0 nan | 0.000 % | 0.28/0.37 c =============================================================================== 0.28/0.37 c core #153 0.28/0.37 c Core size: 12 Core Weight: 1 Total Weight: 153 0.28/0.37 c Elapsed CPU time: 0.354946 s Remaining CPU time: 1799.65 s 0.28/0.37 c ============================[ Search Statistics ]============================== 0.28/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.37 c =============================================================================== 0.28/0.37 c | 0 | 1425 3230 7501 | 5000 0 nan | 0.000 % | 0.28/0.37 c =============================================================================== 0.28/0.37 c core #154 0.28/0.37 c Core size: 13 Core Weight: 1 Total Weight: 154 0.28/0.37 c Elapsed CPU time: 0.356945 s Remaining CPU time: 1799.64 s 0.28/0.38 c ============================[ Search Statistics ]============================== 0.28/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.38 c =============================================================================== 0.28/0.38 c | 0 | 1431 3231 7513 | 5000 0 nan | 0.000 % | 0.28/0.38 c =============================================================================== 0.28/0.38 c core #155 0.28/0.38 c Core size: 13 Core Weight: 1 Total Weight: 155 0.28/0.38 c Elapsed CPU time: 0.359945 s Remaining CPU time: 1799.64 s 0.28/0.38 c ============================[ Search Statistics ]============================== 0.28/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.38 c =============================================================================== 0.28/0.38 c | 0 | 1437 3232 7525 | 5000 0 nan | 0.000 % | 0.28/0.38 c =============================================================================== 0.28/0.38 c core #156 0.28/0.38 c Core size: 48 Core Weight: 1 Total Weight: 156 0.28/0.38 c Elapsed CPU time: 0.363944 s Remaining CPU time: 1799.64 s 0.28/0.38 c ============================[ Search Statistics ]============================== 0.28/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.38 c =============================================================================== 0.28/0.38 c | 0 | 1456 3233 7563 | 5000 0 nan | 0.000 % | 0.28/0.39 c =============================================================================== 0.28/0.39 c core #157 0.28/0.39 c Core size: 17 Core Weight: 1 Total Weight: 157 0.28/0.39 c Elapsed CPU time: 0.366944 s Remaining CPU time: 1799.63 s 0.28/0.39 c ============================[ Search Statistics ]============================== 0.28/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.39 c =============================================================================== 0.28/0.39 c | 0 | 1464 3234 7579 | 5000 0 nan | 0.000 % | 0.28/0.39 c =============================================================================== 0.28/0.39 c core #158 0.28/0.39 c Core size: 35 Core Weight: 1 Total Weight: 158 0.28/0.39 c Elapsed CPU time: 0.370943 s Remaining CPU time: 1799.63 s 0.28/0.39 c ============================[ Search Statistics ]============================== 0.28/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.39 c =============================================================================== 0.28/0.39 c | 0 | 1474 3235 7599 | 5000 0 nan | 0.000 % | 0.28/0.39 c =============================================================================== 0.28/0.39 c core #159 0.28/0.39 c Core size: 36 Core Weight: 1 Total Weight: 159 0.28/0.39 c Elapsed CPU time: 0.374943 s Remaining CPU time: 1799.63 s 0.37/0.40 c Learning 1 hard constraints 0.37/0.40 c ============================[ Search Statistics ]============================== 0.37/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.40 c =============================================================================== 0.37/0.40 c | 0 | 1485 3237 7628 | 5000 0 nan | 0.000 % | 0.37/0.40 c =============================================================================== 0.37/0.40 c core #160 0.37/0.40 c Core size: 31 Core Weight: 1 Total Weight: 160 0.37/0.40 c Elapsed CPU time: 0.379942 s Remaining CPU time: 1799.62 s 0.37/0.40 c ============================[ Search Statistics ]============================== 0.37/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.40 c =============================================================================== 0.37/0.40 c | 0 | 1500 3238 7658 | 5000 0 nan | 0.000 % | 0.37/0.40 c =============================================================================== 0.37/0.40 c core #161 0.37/0.40 c Core size: 15 Core Weight: 1 Total Weight: 161 0.37/0.40 c Elapsed CPU time: 0.383941 s Remaining CPU time: 1799.62 s 0.37/0.41 c ============================[ Search Statistics ]============================== 0.37/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.41 c =============================================================================== 0.37/0.41 c | 0 | 1507 3239 7672 | 5000 0 nan | 0.000 % | 0.37/0.41 c =============================================================================== 0.37/0.41 c core #162 0.37/0.41 c Core size: 13 Core Weight: 1 Total Weight: 162 0.37/0.41 c Elapsed CPU time: 0.387941 s Remaining CPU time: 1799.61 s 0.37/0.41 c ============================[ Search Statistics ]============================== 0.37/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.41 c =============================================================================== 0.37/0.41 c | 0 | 1513 3240 7684 | 5000 0 nan | 0.000 % | 0.37/0.41 c =============================================================================== 0.37/0.41 c core #163 0.37/0.41 c Core size: 22 Core Weight: 1 Total Weight: 163 0.37/0.41 c Elapsed CPU time: 0.39094 s Remaining CPU time: 1799.61 s 0.37/0.41 c ============================[ Search Statistics ]============================== 0.37/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.42 c =============================================================================== 0.37/0.42 c | 0 | 1524 3241 7706 | 5000 0 nan | 0.000 % | 0.37/0.42 c =============================================================================== 0.37/0.42 c core #164 0.37/0.42 c Core size: 13 Core Weight: 1 Total Weight: 164 0.37/0.42 c Elapsed CPU time: 0.394939 s Remaining CPU time: 1799.61 s 0.37/0.42 c Learning 1 hard constraints 0.37/0.42 c ============================[ Search Statistics ]============================== 0.37/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.42 c =============================================================================== 0.37/0.42 c | 0 | 1530 3243 7725 | 5000 0 nan | 0.000 % | 0.37/0.42 c =============================================================================== 0.37/0.42 c core #165 0.37/0.42 c Core size: 54 Core Weight: 1 Total Weight: 165 0.37/0.42 c Elapsed CPU time: 0.398939 s Remaining CPU time: 1799.6 s 0.37/0.42 c Learning 1 hard constraints 0.37/0.42 c ============================[ Search Statistics ]============================== 0.37/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.42 c =============================================================================== 0.37/0.42 c | 0 | 1544 3245 7759 | 5000 0 nan | 0.000 % | 0.37/0.43 c =============================================================================== 0.37/0.43 c core #166 0.37/0.43 c Core size: 13 Core Weight: 1 Total Weight: 166 0.37/0.43 c Elapsed CPU time: 0.403938 s Remaining CPU time: 1799.6 s 0.37/0.43 c ============================[ Search Statistics ]============================== 0.37/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.43 c =============================================================================== 0.37/0.43 c | 0 | 1550 3246 7771 | 5000 0 nan | 0.000 % | 0.37/0.43 c =============================================================================== 0.37/0.43 c core #167 0.37/0.43 c Core size: 24 Core Weight: 1 Total Weight: 167 0.37/0.43 c Elapsed CPU time: 0.407937 s Remaining CPU time: 1799.59 s 0.37/0.43 c ============================[ Search Statistics ]============================== 0.37/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.43 c =============================================================================== 0.37/0.43 c | 0 | 1561 3247 7793 | 5000 0 nan | 0.000 % | 0.37/0.44 c =============================================================================== 0.37/0.44 c core #168 0.37/0.44 c Core size: 90 Core Weight: 1 Total Weight: 168 0.37/0.44 c Elapsed CPU time: 0.412937 s Remaining CPU time: 1799.59 s 0.37/0.44 c Learning 2 hard constraints 0.37/0.44 c ============================[ Search Statistics ]============================== 0.37/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.44 c =============================================================================== 0.37/0.44 c | 0 | 1579 3250 7843 | 5000 0 nan | 0.000 % | 0.37/0.44 c =============================================================================== 0.37/0.44 c core #169 0.37/0.44 c Core size: 12 Core Weight: 1 Total Weight: 169 0.37/0.44 c Elapsed CPU time: 0.415936 s Remaining CPU time: 1799.58 s 0.37/0.44 c ============================[ Search Statistics ]============================== 0.37/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.44 c =============================================================================== 0.37/0.44 c | 0 | 1585 3251 7855 | 5000 0 nan | 0.000 % | 0.37/0.45 c =============================================================================== 0.37/0.45 c core #170 0.37/0.45 c Core size: 24 Core Weight: 1 Total Weight: 170 0.37/0.45 c Elapsed CPU time: 0.420936 s Remaining CPU time: 1799.58 s 0.37/0.45 c Learning 1 hard constraints 0.37/0.45 c ============================[ Search Statistics ]============================== 0.37/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.45 c =============================================================================== 0.37/0.45 c | 0 | 1596 3253 7880 | 5000 0 nan | 0.000 % | 0.37/0.45 c =============================================================================== 0.37/0.45 c core #171 0.37/0.45 c Core size: 15 Core Weight: 1 Total Weight: 171 0.37/0.45 c Elapsed CPU time: 0.424935 s Remaining CPU time: 1799.58 s 0.37/0.45 c ============================[ Search Statistics ]============================== 0.37/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.45 c =============================================================================== 0.37/0.45 c | 0 | 1603 3254 7894 | 5000 0 nan | 0.000 % | 0.37/0.46 c =============================================================================== 0.37/0.46 c core #172 0.37/0.46 c Core size: 13 Core Weight: 1 Total Weight: 172 0.37/0.46 c Elapsed CPU time: 0.428934 s Remaining CPU time: 1799.57 s 0.37/0.46 c ============================[ Search Statistics ]============================== 0.37/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.46 c =============================================================================== 0.37/0.46 c | 0 | 1609 3255 7906 | 5000 0 nan | 0.000 % | 0.37/0.46 c =============================================================================== 0.37/0.46 c core #173 0.37/0.46 c Core size: 31 Core Weight: 1 Total Weight: 173 0.37/0.46 c Elapsed CPU time: 0.432934 s Remaining CPU time: 1799.57 s 0.37/0.46 c ============================[ Search Statistics ]============================== 0.37/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.46 c =============================================================================== 0.37/0.46 c | 0 | 1622 3256 7932 | 5000 0 nan | 0.000 % | 0.37/0.47 c =============================================================================== 0.37/0.47 c core #174 0.37/0.47 c Core size: 35 Core Weight: 1 Total Weight: 174 0.37/0.47 c Elapsed CPU time: 0.437933 s Remaining CPU time: 1799.56 s 0.37/0.47 c Learning 1 hard constraints 0.37/0.47 c ============================[ Search Statistics ]============================== 0.37/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.47 c =============================================================================== 0.37/0.47 c | 0 | 1632 3258 7958 | 5000 0 nan | 0.000 % | 0.37/0.47 c =============================================================================== 0.37/0.47 c core #175 0.37/0.47 c Core size: 13 Core Weight: 1 Total Weight: 175 0.37/0.47 c Elapsed CPU time: 0.442932 s Remaining CPU time: 1799.56 s 0.37/0.48 c Learning 1 hard constraints 0.37/0.48 c ============================[ Search Statistics ]============================== 0.37/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.48 c =============================================================================== 0.37/0.48 c | 0 | 1638 3260 7977 | 5000 0 nan | 0.000 % | 0.37/0.48 c =============================================================================== 0.37/0.48 c core #176 0.37/0.48 c Core size: 25 Core Weight: 1 Total Weight: 176 0.37/0.48 c Elapsed CPU time: 0.447931 s Remaining CPU time: 1799.55 s 0.37/0.48 c ============================[ Search Statistics ]============================== 0.37/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.48 c =============================================================================== 0.37/0.48 c | 0 | 1650 3261 8001 | 5000 0 nan | 0.000 % | 0.37/0.48 c =============================================================================== 0.37/0.48 c core #177 0.37/0.48 c Core size: 49 Core Weight: 1 Total Weight: 177 0.37/0.48 c Elapsed CPU time: 0.451931 s Remaining CPU time: 1799.55 s 0.37/0.49 c Learning 1 hard constraints 0.37/0.49 c ============================[ Search Statistics ]============================== 0.37/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.49 c =============================================================================== 0.37/0.49 c | 0 | 1660 3263 8028 | 5000 0 nan | 0.000 % | 0.37/0.49 c =============================================================================== 0.37/0.49 c core #178 0.37/0.49 c Core size: 199 Core Weight: 1 Total Weight: 178 0.37/0.49 c Elapsed CPU time: 0.45993 s Remaining CPU time: 1799.54 s 0.37/0.49 c Learning 6 hard constraints 0.37/0.49 c ============================[ Search Statistics ]============================== 0.37/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.49 c =============================================================================== 0.37/0.49 c | 0 | 1703 3270 8145 | 5000 0 nan | 0.000 % | 0.47/0.50 c =============================================================================== 0.47/0.50 c core #179 0.47/0.50 c Core size: 25 Core Weight: 1 Total Weight: 179 0.47/0.50 c Elapsed CPU time: 0.465929 s Remaining CPU time: 1799.53 s 0.47/0.50 c Learning 4 hard constraints 0.47/0.50 c ============================[ Search Statistics ]============================== 0.47/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.50 c =============================================================================== 0.47/0.50 c | 0 | 1714 3275 8192 | 5000 0 nan | 0.000 % | 0.47/0.51 c =============================================================================== 0.47/0.51 c core #180 0.47/0.51 c Core size: 66 Core Weight: 1 Total Weight: 180 0.47/0.51 c Elapsed CPU time: 0.469928 s Remaining CPU time: 1799.53 s 0.47/0.51 c Learning 6 hard constraints 0.47/0.51 c ============================[ Search Statistics ]============================== 0.47/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.51 c =============================================================================== 0.47/0.51 c | 0 | 1729 3282 8256 | 5000 0 nan | 0.000 % | 0.47/0.51 c =============================================================================== 0.47/0.51 c core #181 0.47/0.51 c Core size: 43 Core Weight: 1 Total Weight: 181 0.47/0.51 c Elapsed CPU time: 0.473927 s Remaining CPU time: 1799.53 s 0.47/0.51 c ============================[ Search Statistics ]============================== 0.47/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.51 c =============================================================================== 0.47/0.51 c | 0 | 1741 3283 8280 | 5000 0 nan | 0.000 % | 0.47/0.52 c =============================================================================== 0.47/0.52 c core #182 0.47/0.52 c Core size: 26 Core Weight: 1 Total Weight: 182 0.47/0.52 c Elapsed CPU time: 0.480926 s Remaining CPU time: 1799.52 s 0.47/0.52 c Learning 1 hard constraints 0.47/0.52 c ============================[ Search Statistics ]============================== 0.47/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.52 c =============================================================================== 0.47/0.52 c | 0 | 1752 3285 8308 | 5000 0 nan | 0.000 % | 0.47/0.52 c =============================================================================== 0.47/0.53 c core #183 0.47/0.53 c Core size: 111 Core Weight: 1 Total Weight: 183 0.47/0.53 c Elapsed CPU time: 0.487925 s Remaining CPU time: 1799.51 s 0.47/0.53 c Learning 3 hard constraints 0.47/0.53 c ============================[ Search Statistics ]============================== 0.47/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.53 c =============================================================================== 0.47/0.53 c | 0 | 1784 3289 8391 | 5000 0 nan | 0.000 % | 0.47/0.53 c =============================================================================== 0.47/0.53 c core #184 0.47/0.53 c Core size: 73 Core Weight: 1 Total Weight: 184 0.47/0.53 c Elapsed CPU time: 0.495924 s Remaining CPU time: 1799.5 s 0.47/0.54 c Learning 1 hard constraints 0.47/0.54 c ============================[ Search Statistics ]============================== 0.47/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.54 c =============================================================================== 0.47/0.54 c | 0 | 1816 3291 8462 | 5000 0 nan | 0.000 % | 0.47/0.54 c | 101 | 1800 3291 8462 | 5500 90 6 | 1.534 % | 0.47/0.55 c =============================================================================== 0.47/0.55 c core #185 0.47/0.55 c Core size: 380 Core Weight: 1 Total Weight: 185 0.47/0.55 c Elapsed CPU time: 0.508922 s Remaining CPU time: 1799.49 s 0.47/0.55 c Learning 8 hard constraints 0.47/0.55 c ============================[ Search Statistics ]============================== 0.47/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.55 c =============================================================================== 0.47/0.55 c | 0 | 1913 3300 8710 | 5000 0 nan | 0.000 % | 0.47/0.56 c | 100 | 1911 3300 8710 | 5500 100 9 | 0.780 % | 0.47/0.57 c | 250 | 1910 3300 8710 | 6050 248 11 | 0.779 % | 0.47/0.58 c | 475 | 1857 3300 8710 | 6655 379 10 | 3.638 % | 0.47/0.59 c =============================================================================== 0.47/0.59 c core #186 0.47/0.59 c Core size: 762 Core Weight: 1 Total Weight: 186 0.47/0.59 c Elapsed CPU time: 0.551916 s Remaining CPU time: 1799.45 s 0.56/0.60 c Learning 26 hard constraints 0.56/0.60 c ============================[ Search Statistics ]============================== 0.56/0.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.56/0.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.56/0.60 c =============================================================================== 0.56/0.60 c | 0 | 2084 3327 9223 | 5000 0 nan | 0.000 % | 0.56/0.60 c | 103 | 2084 3327 9223 | 5500 103 18 | 0.574 % | 0.56/0.61 c | 254 | 2084 3327 9223 | 6050 254 14 | 0.573 % | 0.56/0.63 c | 479 | 2073 3327 9223 | 6655 477 12 | 1.146 % | 0.56/0.65 c | 817 | 2056 3327 9223 | 7320 719 14 | 1.909 % | 0.56/0.68 c | 1323 | 2027 3327 9223 | 8052 1197 14 | 4.103 % | 0.56/0.69 c =============================================================================== 0.67/0.70 c core #187 0.67/0.70 c Core size: 847 Core Weight: 1 Total Weight: 187 0.67/0.70 c Elapsed CPU time: 0.6529 s Remaining CPU time: 1799.35 s 0.67/0.71 c Learning 34 hard constraints 0.67/0.71 c ============================[ Search Statistics ]============================== 0.67/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.67/0.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.67/0.71 c =============================================================================== 0.67/0.71 c | 0 | 2260 3362 9804 | 5000 0 nan | 0.000 % | 0.67/0.71 c | 101 | 2260 3362 9804 | 5500 101 21 | 0.529 % | 0.67/0.73 c | 251 | 2260 3362 9804 | 6050 251 20 | 0.528 % | 0.67/0.74 c | 478 | 2260 3362 9804 | 6655 478 19 | 0.528 % | 0.67/0.76 c | 815 | 2260 3362 9804 | 7320 815 20 | 0.528 % | 0.76/0.80 c | 1321 | 2258 3362 9804 | 8052 985 20 | 0.620 % | 0.76/0.87 c | 2081 | 2256 3362 9804 | 8857 1545 21 | 0.704 % | 0.86/0.96 c | 3220 | 2254 3362 9804 | 9743 2666 26 | 0.792 % | 1.16/1.20 c | 4928 | 2250 3362 9804 | 10717 3348 28 | 0.969 % | 1.45/1.55 c | 7491 | 2248 3362 9804 | 11789 5367 33 | 1.056 % | 2.15/2.28 c | 11335 | 2234 3362 9804 | 12968 8757 40 | 1.717 % | 2.35/2.45 c =============================================================================== 2.45/2.55 c core #188 2.45/2.55 c Core size: 1591 Core Weight: 1 Total Weight: 188 2.45/2.55 c Elapsed CPU time: 2.45463 s Remaining CPU time: 1797.55 s 2.45/2.57 c Learning 103 hard constraints 2.45/2.57 c ============================[ Search Statistics ]============================== 2.45/2.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.45/2.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.45/2.57 c =============================================================================== 2.45/2.57 c | 0 | 2568 3466 11101 | 5000 0 nan | 0.000 % | 2.45/2.58 c | 102 | 2568 3466 11101 | 5500 102 16 | 0.466 % | 2.45/2.59 c | 252 | 2568 3466 11101 | 6050 252 14 | 0.466 % | 2.55/2.61 c | 477 | 2568 3466 11101 | 6655 477 19 | 0.465 % | 2.55/2.63 c | 815 | 2568 3466 11101 | 7320 815 19 | 0.465 % | 2.55/2.67 c | 1324 | 2568 3466 11101 | 8052 1324 22 | 0.465 % | 2.65/2.73 c | 2084 | 2568 3466 11101 | 8857 2084 26 | 0.465 % | 2.75/2.86 c | 3224 | 2567 3466 11101 | 9743 3223 29 | 0.504 % | 2.95/3.07 c | 4933 | 2567 3466 11101 | 10717 4932 33 | 0.504 % | 3.25/3.37 c | 7495 | 2567 3466 11101 | 11789 7494 34 | 0.504 % | 4.05/4.16 c | 11339 | 2563 3466 11101 | 12968 11277 48 | 0.659 % | 5.14/5.23 c | 17105 | 2559 3466 11101 | 14265 9797 61 | 0.814 % | 7.42/7.53 c | 25754 | 2547 3466 11101 | 15692 11147 69 | 1.279 % | 11.07/11.25 c | 38730 | 2539 3466 11101 | 17261 14330 72 | 1.590 % | 18.52/18.72 c | 58191 | 2539 3466 11101 | 18987 16149 95 | 1.589 % | 27.27/27.57 c | 87384 | 2533 3466 11101 | 20886 13737 66 | 1.822 % | 45.27/45.69 c =============================================================================== 46.17/46.56 c core #189 46.17/46.56 c Core size: 2007 Core Weight: 1 Total Weight: 189 46.17/46.56 c Elapsed CPU time: 45.762 s Remaining CPU time: 1754.24 s 46.27/46.68 c Learning 83 hard constraints 46.27/46.68 c ============================[ Search Statistics ]============================== 46.27/46.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.27/46.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.27/46.68 c =============================================================================== 46.27/46.68 c | 0 | 2941 3550 12246 | 5000 0 nan | 0.000 % | 46.37/46.72 c | 104 | 2941 3550 12246 | 5500 104 27 | 0.407 % | 46.37/46.73 c | 254 | 2941 3550 12246 | 6050 254 28 | 0.406 % | 46.37/46.75 c | 480 | 2941 3550 12246 | 6655 480 27 | 0.406 % | 46.37/46.78 c | 819 | 2941 3550 12246 | 7320 819 31 | 0.406 % | 46.46/46.84 c | 1327 | 2941 3550 12246 | 8052 1327 35 | 0.406 % | 46.56/46.93 c | 2089 | 2939 3550 12246 | 8857 2088 36 | 0.474 % | 46.67/47.03 c | 3229 | 2939 3550 12246 | 9743 3228 34 | 0.474 % | 46.86/47.28 c | 4937 | 2939 3550 12246 | 10717 4936 37 | 0.475 % | 47.26/47.60 c | 7500 | 2939 3550 12246 | 11789 7499 38 | 0.474 % | 47.76/48.16 c | 11344 | 2937 3550 12246 | 12968 11114 42 | 0.542 % | 49.35/49.71 c | 17111 | 2937 3550 12246 | 14265 10114 74 | 0.542 % | 51.04/51.45 c | 25760 | 2933 3550 12246 | 15692 11410 61 | 0.677 % | 55.49/55.90 c | 38734 | 2933 3550 12246 | 17261 15901 74 | 0.677 % | 60.56/61.06 c | 58198 | 2927 3550 12246 | 18987 17417 67 | 0.880 % | 68.14/68.65 c | 87390 | 2924 3550 12246 | 20886 17146 66 | 0.982 % | 81.55/82.00 c | 131180 | 2922 3550 12246 | 22974 18110 87 | 1.050 % | 107.54/108.00 c | 196865 | 2920 3550 12246 | 25272 22835 98 | 1.118 % | 162.03/162.50 c | 295391 | 2920 3550 12246 | 27799 16382 116 | 1.118 % | 238.71/239.28 c | 443181 | 2920 3550 12246 | 30579 23987 141 | 1.118 % | 416.96/418.21 c | 664871 | 2918 3550 12246 | 33637 27485 163 | 1.185 % | 697.11/699.46 c | 997396 | 2918 3550 12246 | 37001 20037 161 | 1.185 % | 1127.01/1130.53 c | 1496184 | 2918 3550 12246 | 40701 18442 81 | 1.185 % |
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-1876209-1245155639/watcher-1876209-1245155639 -o /tmp/evaluation-result-1876209-1245155639/solver-1876209-1245155639 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876209-1245155639.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.08 2.00 1.99 3/73 9412 /proc/meminfo: memFree=1856784/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=2600 CPUtime=0 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183161936 2662400 189 1992294400 134512640 135709839 4294956240 18446744073709551615 134605234 0 0 4096 3 0 0 0 17 0 0 0 /proc/9412/statm: 650 189 126 292 0 339 0 [startup+0.0794409 s] /proc/loadavg: 2.08 2.00 1.99 3/73 9412 /proc/meminfo: memFree=1856784/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=2800 CPUtime=0.07 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 311 0 0 0 7 0 0 0 20 0 1 0 183161936 2867200 279 1992294400 134512640 135709839 4294956240 18446744073709551615 135162007 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 700 279 133 292 0 405 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2800 [startup+0.101441 s] /proc/loadavg: 2.08 2.00 1.99 3/73 9412 /proc/meminfo: memFree=1856784/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=2932 CPUtime=0.09 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 313 0 0 0 9 0 0 0 20 0 1 0 183161936 3002368 281 1992294400 134512640 135709839 4294956240 18446744073709551615 135173032 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 733 281 133 292 0 438 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2932 [startup+0.301464 s] /proc/loadavg: 2.08 2.00 1.99 3/73 9412 /proc/meminfo: memFree=1856784/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=3304 CPUtime=0.28 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 435 0 0 0 28 0 0 0 22 0 1 0 183161936 3383296 403 1992294400 134512640 135709839 4294956240 18446744073709551615 135164497 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 826 403 133 292 0 531 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 3304 [startup+0.70151 s] /proc/loadavg: 2.08 2.00 1.99 3/73 9412 /proc/meminfo: memFree=1856784/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=4504 CPUtime=0.67 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 741 0 0 0 65 2 0 0 25 0 1 0 183161936 4612096 704 1992294400 134512640 135709839 4294956240 18446744073709551615 134584174 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 1126 704 136 292 0 831 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 4504 [startup+1.50161 s] /proc/loadavg: 2.08 2.00 1.99 2/74 9413 /proc/meminfo: memFree=1853640/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=6812 CPUtime=1.45 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 1304 0 0 0 141 4 0 0 25 0 1 0 183161936 6975488 1267 1992294400 134512640 135709839 4294956240 18446744073709551615 134577698 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 1703 1267 136 292 0 1408 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 6812 [startup+3.10278 s] /proc/loadavg: 2.08 2.00 1.99 4/74 9413 /proc/meminfo: memFree=1850440/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=9884 CPUtime=3.05 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 2067 0 0 0 298 7 0 0 25 0 1 0 183161936 10121216 2030 1992294400 134512640 135709839 4294956240 18446744073709551615 134573852 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 2471 2030 136 292 0 2176 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 9884 [startup+6.30114 s] /proc/loadavg: 1.99 1.98 1.98 2/74 9413 /proc/meminfo: memFree=1846408/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=14240 CPUtime=6.23 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 3179 0 0 0 611 12 0 0 25 0 1 0 183161936 14581760 3142 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 3560 3142 136 292 0 3265 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 14240 [startup+12.7019 s] /proc/loadavg: 2.07 2.00 1.99 4/74 9413 /proc/meminfo: memFree=1833096/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=27208 CPUtime=12.56 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 6403 0 0 0 1237 19 0 0 25 0 1 0 183161936 27860992 6366 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 6802 6366 136 292 0 6507 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 27208 [startup+25.5013 s] /proc/loadavg: 1.99 1.98 1.98 4/74 9413 /proc/meminfo: memFree=1813000/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=46068 CPUtime=25.28 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 11099 0 0 0 2498 30 0 0 25 0 1 0 183161936 47173632 11062 1992294400 134512640 135709839 4294956240 18446744073709551615 134573834 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 11517 11062 136 292 0 11222 0 Current children cumulated CPU time (s) 25.28 Current children cumulated vsize (KiB) 46068 [startup+51.1011 s] /proc/loadavg: 2.02 2.00 1.99 2/74 9413 /proc/meminfo: memFree=1783560/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=75188 CPUtime=50.75 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 18378 0 0 0 5022 53 0 0 25 0 1 0 183161936 76992512 18341 1992294400 134512640 135709839 4294956240 18446744073709551615 134600605 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 18797 18341 136 292 0 18502 0 Current children cumulated CPU time (s) 50.75 Current children cumulated vsize (KiB) 75188 [startup+102.308 s] /proc/loadavg: 1.89 1.96 1.98 3/74 9413 /proc/meminfo: memFree=1716360/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=142308 CPUtime=101.85 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 35165 0 0 0 10080 105 0 0 25 0 1 0 183161936 145723392 35128 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 35577 35128 136 292 0 35282 0 Current children cumulated CPU time (s) 101.85 Current children cumulated vsize (KiB) 142308 [startup+162.301 s] /proc/loadavg: 2.08 1.99 1.98 3/74 9413 /proc/meminfo: memFree=1636808/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=222620 CPUtime=161.83 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 55203 0 0 0 16036 147 0 0 25 0 1 0 183161936 227962880 55166 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 55655 55166 136 292 0 55360 0 Current children cumulated CPU time (s) 161.83 Current children cumulated vsize (KiB) 222620 [startup+222.301 s] /proc/loadavg: 1.70 1.88 1.95 2/74 9413 /proc/meminfo: memFree=1552520/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=306192 CPUtime=221.81 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 76072 0 0 0 21993 188 0 0 25 0 1 0 183161936 313540608 76035 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 76548 76036 136 292 0 76253 0 Current children cumulated CPU time (s) 221.81 Current children cumulated vsize (KiB) 306192 [startup+282.302 s] /proc/loadavg: 1.85 1.89 1.94 3/74 9413 /proc/meminfo: memFree=1466568/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=392424 CPUtime=281.8 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 97641 0 0 0 27951 229 0 0 25 0 1 0 183161936 401842176 97604 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 98106 97604 136 292 0 97811 0 Current children cumulated CPU time (s) 281.8 Current children cumulated vsize (KiB) 392424 [startup+342.302 s] /proc/loadavg: 1.83 1.87 1.93 3/74 9413 /proc/meminfo: memFree=1411272/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=446880 CPUtime=341.62 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 111245 0 0 0 33907 255 0 0 25 0 1 0 183161936 457605120 111208 1992294400 134512640 135709839 4294956240 18446744073709551615 134573788 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 111720 111208 136 292 0 111425 0 Current children cumulated CPU time (s) 341.62 Current children cumulated vsize (KiB) 446880 [startup+402.301 s] /proc/loadavg: 2.08 1.93 1.94 3/74 9413 /proc/meminfo: memFree=1349832/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=509124 CPUtime=401.21 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 126768 0 0 0 39832 289 0 0 25 0 1 0 183161936 521342976 126731 1992294400 134512640 135709839 4294956240 18446744073709551615 134577720 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 127281 126731 136 292 0 126986 0 Current children cumulated CPU time (s) 401.21 Current children cumulated vsize (KiB) 509124 [startup+462.302 s] /proc/loadavg: 1.93 1.91 1.93 2/74 9413 /proc/meminfo: memFree=1282312/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=575980 CPUtime=460.76 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 143462 0 0 0 45748 328 0 0 25 0 1 0 183161936 589803520 143425 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 143995 143425 136 292 0 143700 0 Current children cumulated CPU time (s) 460.76 Current children cumulated vsize (KiB) 575980 [startup+522.302 s] /proc/loadavg: 1.80 1.86 1.91 4/74 9413 /proc/meminfo: memFree=1221896/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=637284 CPUtime=520.38 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 158774 0 0 0 51680 358 0 0 25 0 1 0 183161936 652578816 158737 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 159321 158737 136 292 0 159026 0 Current children cumulated CPU time (s) 520.38 Current children cumulated vsize (KiB) 637284 [startup+582.301 s] /proc/loadavg: 2.21 1.96 1.94 3/74 9413 /proc/meminfo: memFree=1159944/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=698812 CPUtime=580.03 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 174154 0 0 0 57614 389 0 0 25 0 1 0 183161936 715583488 174117 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 174703 174117 136 292 0 174408 0 Current children cumulated CPU time (s) 580.03 Current children cumulated vsize (KiB) 698812 [startup+642.302 s] /proc/loadavg: 1.79 1.90 1.92 4/74 9413 /proc/meminfo: memFree=1096840/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=760884 CPUtime=640.03 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 189670 0 0 0 63582 421 0 0 25 0 1 0 183161936 779145216 189633 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 190221 189633 136 292 0 189926 0 Current children cumulated CPU time (s) 640.03 Current children cumulated vsize (KiB) 760884 [startup+702.302 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.93 1.83 1.87 4/74 9413 /proc/meminfo: memFree=833224/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=1024808 CPUtime=939.39 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 255552 0 0 0 93386 553 0 0 25 0 1 0 183161936 1049403392 255515 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 256202 255515 136 292 0 255907 0 Current children cumulated CPU time (s) 939.39 Current children cumulated vsize (KiB) 1024808 [startup+1002.3 s] /proc/loadavg: 1.98 1.87 1.88 3/74 9413 /proc/meminfo: memFree=771016/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=1086908 CPUtime=999.03 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 271059 0 0 0 99316 587 0 0 25 0 1 0 183161936 1112993792 271022 1992294400 134512640 135709839 4294956240 18446744073709551615 134581356 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 271727 271022 136 292 0 271432 0 Current children cumulated CPU time (s) 999.03 Current children cumulated vsize (KiB) 1086908 [startup+1062.3 s] /proc/loadavg: 1.99 1.89 1.89 4/74 9413 /proc/meminfo: memFree=713736/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=1144280 CPUtime=1058.87 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 285389 0 0 0 105269 618 0 0 25 0 1 0 183161936 1171742720 285352 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 286070 285352 136 292 0 285775 0 Current children cumulated CPU time (s) 1058.87 Current children cumulated vsize (KiB) 1144280 [startup+1122.3 s] /proc/loadavg: 1.72 1.83 1.87 3/74 9413 /proc/meminfo: memFree=654408/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=1203272 CPUtime=1118.83 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 300153 0 0 0 111230 653 0 0 25 0 1 0 183161936 1232150528 300116 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 300818 300116 136 292 0 300523 0 Current children cumulated CPU time (s) 1118.83 Current children cumulated vsize (KiB) 1203272 [startup+1182.3 s] /proc/loadavg: 1.61 1.77 1.84 4/74 9415 /proc/meminfo: memFree=592328/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=1265436 CPUtime=1178.79 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 315670 0 0 0 117188 691 0 0 25 0 1 0 183161936 1295806464 315633 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 316359 315633 136 292 0 316064 0 Current children cumulated CPU time (s) 1178.79 Current children cumulated vsize (KiB) 1265436 [startup+1242.3 s] /proc/loadavg: 1.94 1.84 1.86 2/74 9415 /proc/meminfo: memFree=542920/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=1314672 CPUtime=1238.77 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 327932 0 0 0 123162 715 0 0 25 0 1 0 183161936 1346224128 327895 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 328668 327895 136 292 0 328373 0 Current children cumulated CPU time (s) 1238.77 Current children cumulated vsize (KiB) 1314672 [startup+1302.31 s] /proc/loadavg: 1.71 1.80 1.84 3/74 9415 /proc/meminfo: memFree=501128/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=1356036 CPUtime=1298.76 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 338240 0 0 0 129137 739 0 0 25 0 1 0 183161936 1388580864 338203 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 339009 338203 136 292 0 338714 0 Current children cumulated CPU time (s) 1298.76 Current children cumulated vsize (KiB) 1356036 [startup+1362.31 s] /proc/loadavg: 1.88 1.82 1.84 3/74 9415 /proc/meminfo: memFree=458312/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=1398980 CPUtime=1358.73 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 348985 0 0 0 135111 762 0 0 25 0 1 0 183161936 1432555520 348948 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 349745 348948 136 292 0 349450 0 Current children cumulated CPU time (s) 1358.73 Current children cumulated vsize (KiB) 1398980 [startup+1422.31 s] /proc/loadavg: 1.77 1.81 1.83 4/74 9415 /proc/meminfo: memFree=405576/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=1451668 CPUtime=1418.41 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 362140 0 0 0 141047 794 0 0 25 0 1 0 183161936 1486508032 362103 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 362917 362103 136 292 0 362622 0 Current children cumulated CPU time (s) 1418.41 Current children cumulated vsize (KiB) 1451668 [startup+1482.3 s] /proc/loadavg: 1.87 1.81 1.83 3/74 9415 /proc/meminfo: memFree=359176/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=1498352 CPUtime=1478.26 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 373785 0 0 0 147008 818 0 0 25 0 1 0 183161936 1534312448 373748 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 374588 373748 136 292 0 374293 0 Current children cumulated CPU time (s) 1478.26 Current children cumulated vsize (KiB) 1498352 [startup+1542.3 s] /proc/loadavg: 1.99 1.86 1.84 2/74 9415 /proc/meminfo: memFree=313480/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=1543672 CPUtime=1538.23 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 385110 0 0 0 152983 840 0 0 25 0 1 0 183161936 1580720128 385073 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 385918 385073 136 292 0 385623 0 Current children cumulated CPU time (s) 1538.23 Current children cumulated vsize (KiB) 1543672 [startup+1602.31 s] /proc/loadavg: 2.01 1.88 1.84 4/74 9415 /proc/meminfo: memFree=264136/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=1593328 CPUtime=1598.23 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 397531 0 0 0 158956 867 0 0 25 0 1 0 183161936 1631567872 397494 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 398332 397494 136 292 0 398037 0 Current children cumulated CPU time (s) 1598.23 Current children cumulated vsize (KiB) 1593328 [startup+1662.3 s] /proc/loadavg: 1.91 1.87 1.84 4/74 9421 /proc/meminfo: memFree=224384/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=1632144 CPUtime=1658.16 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 407217 0 0 0 164931 885 0 0 25 0 1 0 183161936 1671315456 407180 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 408036 407180 136 292 0 407741 0 Current children cumulated CPU time (s) 1658.16 Current children cumulated vsize (KiB) 1632144 [startup+1722.3 s] /proc/loadavg: 1.86 1.86 1.83 2/74 9421 /proc/meminfo: memFree=165696/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=1691544 CPUtime=1718.14 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 422080 0 0 0 170900 914 0 0 25 0 1 0 183161936 1732141056 422043 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 422886 422043 136 292 0 422591 0 Current children cumulated CPU time (s) 1718.14 Current children cumulated vsize (KiB) 1691544 [startup+1782.3 s] /proc/loadavg: 2.19 1.96 1.87 2/74 9421 /proc/meminfo: memFree=104512/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=1751692 CPUtime=1778.12 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 437110 0 0 0 176860 952 0 0 25 0 1 0 183161936 1793732608 437073 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 437923 437073 136 292 0 437628 0 Current children cumulated CPU time (s) 1778.12 Current children cumulated vsize (KiB) 1751692 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1804.3 s] /proc/loadavg: 2.19 1.98 1.87 3/74 9421 /proc/meminfo: memFree=84480/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=1771632 CPUtime=1800 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4194304 442066 0 0 0 179037 963 0 0 25 0 1 0 183161936 1814151168 442029 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/9412/statm: 442908 442029 136 292 0 442613 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1771632 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1804.41 s] /proc/loadavg: 2.19 1.98 1.87 3/74 9421 /proc/meminfo: memFree=84480/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=0 CPUtime=1800.09 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4195332 442066 0 0 0 179037 972 0 0 25 0 1 0 183161936 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 0 [startup+1804.5 s] /proc/loadavg: 2.19 1.98 1.87 3/74 9421 /proc/meminfo: memFree=84480/2055920 swapFree=4180892/4192956 [pid=9412] ppid=9410 vsize=0 CPUtime=1800.19 /proc/9412/stat : 9412 (wbo) R 9410 9412 8822 0 -1 4195332 442066 0 0 0 179037 982 0 0 25 0 1 0 183161936 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/9412/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1804.57 CPU time (s): 1800.27 CPU user time (s): 1790.38 CPU system time (s): 9.8885 CPU usage (%): 99.7617 Max. virtual memory (cumulated for all children) (KiB): 1771632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.38 system time used= 9.8885 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 442066 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= 14502 runsolver used 2.34164 second user time and 5.82411 second system time The end
Begin job on node87 at 2009-06-16 14:33:59 IDJOB=1876209 IDBENCH=2140 IDSOLVER=698 FILE ID=node87/1876209-1245155639 PBS_JOBID= 9363771 Free space on /tmp= 66540 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b1.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-1876209-1245155639/watcher-1876209-1245155639 -o /tmp/evaluation-result-1876209-1245155639/solver-1876209-1245155639 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876209-1245155639.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 45a62012cfe681f45441c62f782d8601 RANDOM SEED=1891365365 node87.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.235 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.235 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: 1857584 kB Buffers: 33128 kB Cached: 81056 kB SwapCached: 6176 kB Active: 49368 kB Inactive: 90340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857584 kB SwapTotal: 4192956 kB SwapFree: 4180892 kB Dirty: 2632 kB Writeback: 0 kB Mapped: 33068 kB Slab: 43640 kB Committed_AS: 589492 kB PageTables: 2128 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-1876209-1245155639.opb Free space on /tmp at the end= 66536 MiB End job on node87 at 2009-06-16 15:04:06