| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (TO) | 1800.21 | 1800.26 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ8_3.opb |
| MD5SUM | d431323968e1ca4dc95d181076d01437 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 168 |
| Best CPU time to get the best result obtained on this benchmark | 1798.24 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 154 |
| Optimality of the best value was proved | NO |
| Number of variables | 1344 |
| Total number of constraints | 16096 |
| Number of constraints which are clauses | 8208 |
| Number of constraints which are cardinality constraints (but not clauses) | 496 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7392 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 28 |
| Number of terms in the objective function | 448 |
| Biggest coefficient in the objective function | 4 |
| Number of bits for the biggest coefficient in the objective function | 3 |
| Sum of the numbers in the objective function | 1024 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 24 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 1024 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-1875713-1245146357.opb. 0.00/0.00 c Instance file HOME/instance-1875713-1245146357.opb 0.00/0.00 c File size is 912900 bytes. 0.10/0.12 c Highest Coefficient sum: 60 0.10/0.12 c ============================[ Problem Statistics ]============================= 0.10/0.12 c | | 0.10/0.12 c | Parsing time: 0.12 s | 0.10/0.12 c | Number Variables: 1344 | 0.10/0.12 c | Number Clauses: 8936 | 0.10/0.12 c | Number Cardinality: 496 | 0.10/0.12 c | Number PB Constraints: 7392 | 0.10/0.12 c core #1 0.10/0.12 c Core size: 40 Core Weight: 1 Total Weight: 1 0.10/0.12 c Elapsed CPU time: 0.117982 s Remaining CPU time: 1799.88 s 0.10/0.13 c core #2 0.10/0.13 c Core size: 40 Core Weight: 1 Total Weight: 2 0.10/0.13 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.10/0.15 c core #3 0.10/0.15 c Core size: 40 Core Weight: 1 Total Weight: 3 0.10/0.15 c Elapsed CPU time: 0.149977 s Remaining CPU time: 1799.85 s 0.10/0.17 c core #4 0.10/0.17 c Core size: 40 Core Weight: 1 Total Weight: 4 0.10/0.17 c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s 0.10/0.19 c core #5 0.10/0.19 c Core size: 40 Core Weight: 1 Total Weight: 5 0.10/0.19 c Elapsed CPU time: 0.184971 s Remaining CPU time: 1799.82 s 0.19/0.21 c core #6 0.19/0.21 c Core size: 40 Core Weight: 1 Total Weight: 6 0.19/0.21 c Elapsed CPU time: 0.203968 s Remaining CPU time: 1799.8 s 0.19/0.23 c core #7 0.19/0.23 c Core size: 40 Core Weight: 1 Total Weight: 7 0.19/0.23 c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s 0.19/0.25 c core #8 0.19/0.25 c Core size: 40 Core Weight: 1 Total Weight: 8 0.19/0.25 c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 s 0.19/0.27 c core #9 0.19/0.27 c Core size: 40 Core Weight: 1 Total Weight: 9 0.19/0.27 c Elapsed CPU time: 0.265959 s Remaining CPU time: 1799.73 s 0.19/0.29 c core #10 0.19/0.29 c Core size: 40 Core Weight: 1 Total Weight: 10 0.19/0.29 c Elapsed CPU time: 0.287956 s Remaining CPU time: 1799.71 s 0.29/0.31 c core #11 0.29/0.31 c Core size: 40 Core Weight: 1 Total Weight: 11 0.29/0.31 c Elapsed CPU time: 0.307953 s Remaining CPU time: 1799.69 s 0.29/0.33 c core #12 0.29/0.33 c Core size: 40 Core Weight: 1 Total Weight: 12 0.29/0.33 c Elapsed CPU time: 0.329949 s Remaining CPU time: 1799.67 s 0.29/0.35 c core #13 0.29/0.35 c Core size: 40 Core Weight: 1 Total Weight: 13 0.29/0.35 c Elapsed CPU time: 0.350946 s Remaining CPU time: 1799.65 s 0.29/0.38 c core #14 0.29/0.38 c Core size: 40 Core Weight: 1 Total Weight: 14 0.29/0.38 c Elapsed CPU time: 0.371943 s Remaining CPU time: 1799.63 s 0.40/0.40 c core #15 0.40/0.40 c Core size: 40 Core Weight: 1 Total Weight: 15 0.40/0.40 c Elapsed CPU time: 0.39394 s Remaining CPU time: 1799.61 s 0.40/0.42 c core #16 0.40/0.42 c Core size: 40 Core Weight: 1 Total Weight: 16 0.40/0.42 c Elapsed CPU time: 0.416936 s Remaining CPU time: 1799.58 s 0.40/0.44 c core #17 0.40/0.44 c Core size: 8 Core Weight: 1 Total Weight: 17 0.40/0.44 c Elapsed CPU time: 0.436933 s Remaining CPU time: 1799.56 s 0.40/0.47 c core #18 0.40/0.47 c Core size: 8 Core Weight: 1 Total Weight: 18 0.40/0.47 c Elapsed CPU time: 0.45793 s Remaining CPU time: 1799.54 s 0.40/0.49 c core #19 0.40/0.49 c Core size: 8 Core Weight: 1 Total Weight: 19 0.40/0.49 c Elapsed CPU time: 0.478927 s Remaining CPU time: 1799.52 s 0.49/0.51 c core #20 0.49/0.51 c Core size: 8 Core Weight: 1 Total Weight: 20 0.49/0.51 c Elapsed CPU time: 0.500923 s Remaining CPU time: 1799.5 s 0.49/0.53 c core #21 0.49/0.53 c Core size: 8 Core Weight: 1 Total Weight: 21 0.49/0.53 c Elapsed CPU time: 0.52292 s Remaining CPU time: 1799.48 s 0.49/0.55 c core #22 0.49/0.55 c Core size: 8 Core Weight: 1 Total Weight: 22 0.49/0.55 c Elapsed CPU time: 0.544917 s Remaining CPU time: 1799.46 s 0.49/0.58 c core #23 0.49/0.58 c Core size: 8 Core Weight: 1 Total Weight: 23 0.49/0.58 c Elapsed CPU time: 0.567913 s Remaining CPU time: 1799.43 s 0.59/0.60 c core #24 0.59/0.60 c Core size: 8 Core Weight: 1 Total Weight: 24 0.59/0.60 c Elapsed CPU time: 0.58991 s Remaining CPU time: 1799.41 s 0.59/0.62 c core #25 0.59/0.62 c Core size: 8 Core Weight: 1 Total Weight: 25 0.59/0.62 c Elapsed CPU time: 0.610907 s Remaining CPU time: 1799.39 s 0.59/0.64 c core #26 0.59/0.64 c Core size: 8 Core Weight: 1 Total Weight: 26 0.59/0.64 c Elapsed CPU time: 0.632903 s Remaining CPU time: 1799.37 s 0.59/0.66 c core #27 0.59/0.66 c Core size: 8 Core Weight: 1 Total Weight: 27 0.59/0.66 c Elapsed CPU time: 0.6539 s Remaining CPU time: 1799.35 s 0.59/0.69 c core #28 0.59/0.69 c Core size: 8 Core Weight: 1 Total Weight: 28 0.59/0.69 c Elapsed CPU time: 0.675897 s Remaining CPU time: 1799.32 s 0.69/0.71 c core #29 0.69/0.71 c Core size: 8 Core Weight: 1 Total Weight: 29 0.69/0.71 c Elapsed CPU time: 0.697893 s Remaining CPU time: 1799.3 s 0.69/0.73 c core #30 0.69/0.73 c Core size: 8 Core Weight: 1 Total Weight: 30 0.69/0.73 c Elapsed CPU time: 0.71989 s Remaining CPU time: 1799.28 s 0.69/0.75 c core #31 0.69/0.75 c Core size: 8 Core Weight: 1 Total Weight: 31 0.69/0.75 c Elapsed CPU time: 0.741887 s Remaining CPU time: 1799.26 s 0.69/0.78 c core #32 0.69/0.78 c Core size: 8 Core Weight: 1 Total Weight: 32 0.69/0.78 c Elapsed CPU time: 0.763883 s Remaining CPU time: 1799.24 s 0.79/0.80 c core #33 0.79/0.80 c Core size: 8 Core Weight: 1 Total Weight: 33 0.79/0.80 c Elapsed CPU time: 0.78588 s Remaining CPU time: 1799.21 s 0.79/0.82 c core #34 0.79/0.82 c Core size: 8 Core Weight: 1 Total Weight: 34 0.79/0.82 c Elapsed CPU time: 0.808877 s Remaining CPU time: 1799.19 s 0.79/0.84 c core #35 0.79/0.84 c Core size: 8 Core Weight: 1 Total Weight: 35 0.79/0.84 c Elapsed CPU time: 0.830873 s Remaining CPU time: 1799.17 s 0.79/0.86 c core #36 0.79/0.86 c Core size: 8 Core Weight: 1 Total Weight: 36 0.79/0.86 c Elapsed CPU time: 0.85187 s Remaining CPU time: 1799.15 s 0.79/0.89 c core #37 0.79/0.89 c Core size: 8 Core Weight: 1 Total Weight: 37 0.79/0.89 c Elapsed CPU time: 0.874867 s Remaining CPU time: 1799.13 s 0.89/0.91 c core #38 0.89/0.91 c Core size: 8 Core Weight: 1 Total Weight: 38 0.89/0.91 c Elapsed CPU time: 0.897863 s Remaining CPU time: 1799.1 s 0.89/0.93 c core #39 0.89/0.93 c Core size: 8 Core Weight: 1 Total Weight: 39 0.89/0.93 c Elapsed CPU time: 0.91886 s Remaining CPU time: 1799.08 s 0.89/0.96 c core #40 0.89/0.96 c Core size: 8 Core Weight: 1 Total Weight: 40 0.89/0.96 c Elapsed CPU time: 0.941856 s Remaining CPU time: 1799.06 s 0.89/0.98 c core #41 0.89/0.98 c Core size: 8 Core Weight: 1 Total Weight: 41 0.89/0.98 c Elapsed CPU time: 0.962853 s Remaining CPU time: 1799.04 s 1.00/1.00 c core #42 1.00/1.00 c Core size: 8 Core Weight: 1 Total Weight: 42 1.00/1.00 c Elapsed CPU time: 0.98485 s Remaining CPU time: 1799.02 s 1.00/1.02 c core #43 1.00/1.02 c Core size: 8 Core Weight: 1 Total Weight: 43 1.00/1.02 c Elapsed CPU time: 1.00685 s Remaining CPU time: 1798.99 s 1.00/1.05 c core #44 1.00/1.05 c Core size: 8 Core Weight: 1 Total Weight: 44 1.00/1.05 c Elapsed CPU time: 1.02984 s Remaining CPU time: 1798.97 s 1.00/1.07 c core #45 1.00/1.07 c Core size: 8 Core Weight: 1 Total Weight: 45 1.00/1.07 c Elapsed CPU time: 1.05084 s Remaining CPU time: 1798.95 s 1.00/1.09 c core #46 1.00/1.09 c Core size: 8 Core Weight: 1 Total Weight: 46 1.00/1.09 c Elapsed CPU time: 1.07284 s Remaining CPU time: 1798.93 s 1.10/1.11 c core #47 1.10/1.11 c Core size: 8 Core Weight: 1 Total Weight: 47 1.10/1.11 c Elapsed CPU time: 1.09483 s Remaining CPU time: 1798.91 s 1.10/1.14 c core #48 1.10/1.14 c Core size: 8 Core Weight: 1 Total Weight: 48 1.10/1.14 c Elapsed CPU time: 1.11683 s Remaining CPU time: 1798.88 s 1.10/1.16 c core #49 1.10/1.16 c Core size: 8 Core Weight: 1 Total Weight: 49 1.10/1.16 c Elapsed CPU time: 1.13983 s Remaining CPU time: 1798.86 s 1.10/1.18 c core #50 1.10/1.18 c Core size: 8 Core Weight: 1 Total Weight: 50 1.10/1.18 c Elapsed CPU time: 1.16282 s Remaining CPU time: 1798.84 s 1.20/1.21 c core #51 1.20/1.21 c Core size: 8 Core Weight: 1 Total Weight: 51 1.20/1.21 c Elapsed CPU time: 1.18582 s Remaining CPU time: 1798.81 s 1.20/1.23 c core #52 1.20/1.23 c Core size: 8 Core Weight: 1 Total Weight: 52 1.20/1.23 c Elapsed CPU time: 1.20882 s Remaining CPU time: 1798.79 s 1.20/1.25 c core #53 1.20/1.25 c Core size: 8 Core Weight: 1 Total Weight: 53 1.20/1.25 c Elapsed CPU time: 1.23081 s Remaining CPU time: 1798.77 s 1.20/1.27 c core #54 1.20/1.27 c Core size: 8 Core Weight: 1 Total Weight: 54 1.20/1.27 c Elapsed CPU time: 1.25281 s Remaining CPU time: 1798.75 s 1.29/1.30 c core #55 1.29/1.30 c Core size: 8 Core Weight: 1 Total Weight: 55 1.29/1.30 c Elapsed CPU time: 1.27481 s Remaining CPU time: 1798.73 s 1.29/1.32 c core #56 1.29/1.32 c Core size: 8 Core Weight: 1 Total Weight: 56 1.29/1.32 c Elapsed CPU time: 1.2978 s Remaining CPU time: 1798.7 s 1.29/1.34 c core #57 1.29/1.34 c Core size: 22 Core Weight: 1 Total Weight: 57 1.29/1.34 c Elapsed CPU time: 1.3188 s Remaining CPU time: 1798.68 s 1.29/1.37 c core #58 1.29/1.37 c Core size: 22 Core Weight: 1 Total Weight: 58 1.29/1.37 c Elapsed CPU time: 1.3408 s Remaining CPU time: 1798.66 s 1.29/1.39 c core #59 1.29/1.39 c Core size: 22 Core Weight: 1 Total Weight: 59 1.29/1.39 c Elapsed CPU time: 1.36479 s Remaining CPU time: 1798.64 s 1.40/1.41 c core #60 1.40/1.41 c Core size: 22 Core Weight: 1 Total Weight: 60 1.40/1.41 c Elapsed CPU time: 1.38679 s Remaining CPU time: 1798.61 s 1.40/1.44 c core #61 1.40/1.44 c Core size: 22 Core Weight: 1 Total Weight: 61 1.40/1.44 c Elapsed CPU time: 1.40979 s Remaining CPU time: 1798.59 s 1.40/1.46 c core #62 1.40/1.46 c Core size: 22 Core Weight: 1 Total Weight: 62 1.40/1.46 c Elapsed CPU time: 1.43278 s Remaining CPU time: 1798.57 s 1.40/1.48 c core #63 1.40/1.48 c Core size: 22 Core Weight: 1 Total Weight: 63 1.40/1.48 c Elapsed CPU time: 1.45678 s Remaining CPU time: 1798.54 s 1.49/1.51 c core #64 1.49/1.51 c Core size: 22 Core Weight: 1 Total Weight: 64 1.49/1.51 c Elapsed CPU time: 1.48077 s Remaining CPU time: 1798.52 s 1.49/1.54 c ============================[ Search Statistics ]============================== 1.49/1.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.54 c =============================================================================== 1.49/1.54 c | 0 | 1568 17224 54144 | 5741 0 nan | 0.000 % | 1.49/1.54 c =============================================================================== 1.49/1.54 c core #65 1.49/1.54 c Core size: 9 Core Weight: 1 Total Weight: 65 1.49/1.54 c Elapsed CPU time: 1.50877 s Remaining CPU time: 1798.49 s 1.49/1.56 c ============================[ Search Statistics ]============================== 1.49/1.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.56 c =============================================================================== 1.49/1.56 c | 0 | 1579 17226 54287 | 5742 0 nan | 0.000 % | 1.49/1.57 c =============================================================================== 1.49/1.57 c core #66 1.49/1.57 c Core size: 12 Core Weight: 1 Total Weight: 66 1.49/1.57 c Elapsed CPU time: 1.53877 s Remaining CPU time: 1798.46 s 1.49/1.59 c ============================[ Search Statistics ]============================== 1.49/1.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.59 c =============================================================================== 1.49/1.59 c | 0 | 1588 17230 54302 | 5743 0 nan | 0.000 % | 1.49/1.60 c =============================================================================== 1.49/1.60 c core #67 1.49/1.60 c Core size: 13 Core Weight: 1 Total Weight: 67 1.49/1.60 c Elapsed CPU time: 1.56876 s Remaining CPU time: 1798.43 s 1.59/1.63 c ============================[ Search Statistics ]============================== 1.59/1.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.63 c =============================================================================== 1.59/1.63 c | 0 | 1603 17231 54397 | 5743 0 nan | 0.000 % | 1.59/1.63 c =============================================================================== 1.59/1.63 c core #68 1.59/1.63 c Core size: 9 Core Weight: 1 Total Weight: 68 1.59/1.63 c Elapsed CPU time: 1.59976 s Remaining CPU time: 1798.4 s 1.59/1.66 c ============================[ Search Statistics ]============================== 1.59/1.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.66 c =============================================================================== 1.59/1.66 c | 0 | 1614 17233 54540 | 5744 0 nan | 0.000 % | 1.59/1.66 c =============================================================================== 1.59/1.66 c core #69 1.59/1.66 c Core size: 12 Core Weight: 1 Total Weight: 69 1.59/1.66 c Elapsed CPU time: 1.63075 s Remaining CPU time: 1798.37 s 1.59/1.69 c ============================[ Search Statistics ]============================== 1.59/1.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.69 c =============================================================================== 1.59/1.69 c | 0 | 1623 17237 54555 | 5745 0 nan | 0.000 % | 1.59/1.69 c =============================================================================== 1.59/1.69 c core #70 1.59/1.69 c Core size: 9 Core Weight: 1 Total Weight: 70 1.59/1.69 c Elapsed CPU time: 1.65875 s Remaining CPU time: 1798.34 s 1.69/1.72 c ============================[ Search Statistics ]============================== 1.69/1.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.72 c =============================================================================== 1.69/1.72 c | 0 | 1634 17239 54698 | 5746 0 nan | 0.000 % | 1.69/1.72 c =============================================================================== 1.69/1.72 c core #71 1.69/1.72 c Core size: 12 Core Weight: 1 Total Weight: 71 1.69/1.72 c Elapsed CPU time: 1.69074 s Remaining CPU time: 1798.31 s 1.69/1.75 c ============================[ Search Statistics ]============================== 1.69/1.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.75 c =============================================================================== 1.69/1.75 c | 0 | 1643 17243 54713 | 5747 0 nan | 0.000 % | 1.69/1.76 c =============================================================================== 1.69/1.76 c core #72 1.69/1.76 c Core size: 66 Core Weight: 1 Total Weight: 72 1.69/1.76 c Elapsed CPU time: 1.72074 s Remaining CPU time: 1798.28 s 1.69/1.79 c ============================[ Search Statistics ]============================== 1.69/1.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.79 c =============================================================================== 1.69/1.79 c | 0 | 1697 17258 56160 | 5752 0 nan | 0.000 % | 1.69/1.79 c =============================================================================== 1.69/1.79 c core #73 1.69/1.79 c Core size: 11 Core Weight: 1 Total Weight: 73 1.69/1.79 c Elapsed CPU time: 1.75573 s Remaining CPU time: 1798.24 s 1.79/1.82 c ============================[ Search Statistics ]============================== 1.79/1.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.82 c =============================================================================== 1.79/1.82 c | 0 | 1705 17262 56173 | 5754 0 nan | 0.000 % | 1.79/1.83 c =============================================================================== 1.79/1.83 c core #74 1.79/1.83 c Core size: 9 Core Weight: 1 Total Weight: 74 1.79/1.83 c Elapsed CPU time: 1.78873 s Remaining CPU time: 1798.21 s 1.79/1.86 c ============================[ Search Statistics ]============================== 1.79/1.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.86 c =============================================================================== 1.79/1.86 c | 0 | 1716 17264 56316 | 5754 0 nan | 0.000 % | 1.79/1.86 c =============================================================================== 1.79/1.86 c core #75 1.79/1.86 c Core size: 9 Core Weight: 1 Total Weight: 75 1.79/1.86 c Elapsed CPU time: 1.82472 s Remaining CPU time: 1798.18 s 1.79/1.89 c ============================[ Search Statistics ]============================== 1.79/1.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.89 c =============================================================================== 1.79/1.89 c | 0 | 1723 17268 56327 | 5756 0 nan | 0.000 % | 1.79/1.90 c =============================================================================== 1.79/1.90 c core #76 1.79/1.90 c Core size: 27 Core Weight: 1 Total Weight: 76 1.79/1.90 c Elapsed CPU time: 1.85772 s Remaining CPU time: 1798.14 s 1.89/1.93 c ============================[ Search Statistics ]============================== 1.89/1.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.93 c =============================================================================== 1.89/1.93 c | 0 | 1750 17275 56938 | 5758 0 nan | 0.000 % | 1.89/1.93 c =============================================================================== 1.89/1.93 c core #77 1.89/1.93 c Core size: 9 Core Weight: 1 Total Weight: 77 1.89/1.93 c Elapsed CPU time: 1.89071 s Remaining CPU time: 1798.11 s 1.89/1.96 c ============================[ Search Statistics ]============================== 1.89/1.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.96 c =============================================================================== 1.89/1.96 c | 0 | 1757 17279 56949 | 5759 0 nan | 0.000 % | 1.89/1.97 c =============================================================================== 1.89/1.97 c core #78 1.89/1.97 c Core size: 9 Core Weight: 1 Total Weight: 78 1.89/1.97 c Elapsed CPU time: 1.92571 s Remaining CPU time: 1798.07 s 1.89/2.00 c ============================[ Search Statistics ]============================== 1.89/2.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/2.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/2.00 c =============================================================================== 1.89/2.00 c | 0 | 1768 17281 57092 | 5760 0 nan | 0.000 % | 1.99/2.00 c =============================================================================== 1.99/2.00 c core #79 1.99/2.00 c Core size: 13 Core Weight: 1 Total Weight: 79 1.99/2.00 c Elapsed CPU time: 1.9587 s Remaining CPU time: 1798.04 s 1.99/2.03 c ============================[ Search Statistics ]============================== 1.99/2.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.03 c =============================================================================== 1.99/2.03 c | 0 | 1783 17282 57187 | 5760 0 nan | 0.000 % | 1.99/2.03 c =============================================================================== 1.99/2.03 c core #80 1.99/2.03 c Core size: 12 Core Weight: 1 Total Weight: 80 1.99/2.03 c Elapsed CPU time: 1.9907 s Remaining CPU time: 1798.01 s 1.99/2.06 c ============================[ Search Statistics ]============================== 1.99/2.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.06 c =============================================================================== 1.99/2.06 c | 0 | 1792 17286 57202 | 5762 0 nan | 0.000 % | 1.99/2.07 c =============================================================================== 1.99/2.07 c core #81 1.99/2.07 c Core size: 27 Core Weight: 1 Total Weight: 81 1.99/2.07 c Elapsed CPU time: 2.02369 s Remaining CPU time: 1797.98 s 1.99/2.10 c ============================[ Search Statistics ]============================== 1.99/2.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.10 c =============================================================================== 1.99/2.10 c | 0 | 1819 17293 57813 | 5764 0 nan | 0.000 % | 2.09/2.10 c =============================================================================== 2.09/2.10 c core #82 2.09/2.10 c Core size: 34 Core Weight: 1 Total Weight: 82 2.09/2.10 c Elapsed CPU time: 2.05969 s Remaining CPU time: 1797.94 s 2.09/2.13 c ============================[ Search Statistics ]============================== 2.09/2.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.13 c =============================================================================== 2.09/2.13 c | 0 | 1860 17306 59304 | 5768 0 nan | 0.000 % | 2.09/2.14 c =============================================================================== 2.09/2.14 c core #83 2.09/2.14 c Core size: 18 Core Weight: 1 Total Weight: 83 2.09/2.14 c Elapsed CPU time: 2.09568 s Remaining CPU time: 1797.9 s 2.09/2.17 c ============================[ Search Statistics ]============================== 2.09/2.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.17 c =============================================================================== 2.09/2.17 c | 0 | 1875 17307 59365 | 5769 0 nan | 0.000 % | 2.09/2.17 c =============================================================================== 2.09/2.17 c core #84 2.09/2.17 c Core size: 9 Core Weight: 1 Total Weight: 84 2.09/2.17 c Elapsed CPU time: 2.12768 s Remaining CPU time: 1797.87 s 2.20/2.20 c ============================[ Search Statistics ]============================== 2.20/2.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.20 c =============================================================================== 2.20/2.20 c | 0 | 1886 17309 59508 | 5769 0 nan | 0.000 % | 2.20/2.21 c =============================================================================== 2.20/2.21 c core #85 2.20/2.21 c Core size: 27 Core Weight: 1 Total Weight: 85 2.20/2.21 c Elapsed CPU time: 2.15967 s Remaining CPU time: 1797.84 s 2.20/2.24 c ============================[ Search Statistics ]============================== 2.20/2.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.24 c =============================================================================== 2.20/2.24 c | 0 | 1913 17316 60119 | 5772 0 nan | 0.000 % | 2.20/2.24 c =============================================================================== 2.20/2.24 c core #86 2.20/2.24 c Core size: 12 Core Weight: 1 Total Weight: 86 2.20/2.24 c Elapsed CPU time: 2.19167 s Remaining CPU time: 1797.81 s 2.20/2.27 c ============================[ Search Statistics ]============================== 2.20/2.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.27 c =============================================================================== 2.20/2.27 c | 0 | 1922 17318 60136 | 5772 0 nan | 0.000 % | 2.20/2.28 c =============================================================================== 2.20/2.28 c core #87 2.20/2.28 c Core size: 18 Core Weight: 1 Total Weight: 87 2.20/2.28 c Elapsed CPU time: 2.22666 s Remaining CPU time: 1797.77 s 2.29/2.31 c ============================[ Search Statistics ]============================== 2.29/2.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.31 c =============================================================================== 2.29/2.31 c | 0 | 1937 17319 60197 | 5773 0 nan | 0.000 % | 2.29/2.31 c =============================================================================== 2.29/2.31 c core #88 2.29/2.31 c Core size: 58 Core Weight: 1 Total Weight: 88 2.29/2.31 c Elapsed CPU time: 2.25866 s Remaining CPU time: 1797.74 s 2.29/2.34 c ============================[ Search Statistics ]============================== 2.29/2.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.34 c =============================================================================== 2.29/2.34 c | 0 | 1982 17332 60808 | 5777 0 nan | 0.000 % | 2.29/2.35 c =============================================================================== 2.29/2.35 c core #89 2.29/2.35 c Core size: 15 Core Weight: 1 Total Weight: 89 2.29/2.35 c Elapsed CPU time: 2.29465 s Remaining CPU time: 1797.71 s 2.29/2.38 c ============================[ Search Statistics ]============================== 2.29/2.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.38 c =============================================================================== 2.29/2.38 c | 0 | 1995 17333 60865 | 5777 0 nan | 0.000 % | 2.29/2.39 c =============================================================================== 2.29/2.39 c core #90 2.29/2.39 c Core size: 9 Core Weight: 1 Total Weight: 90 2.29/2.39 c Elapsed CPU time: 2.32864 s Remaining CPU time: 1797.67 s 2.40/2.42 c ============================[ Search Statistics ]============================== 2.40/2.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.40/2.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.40/2.42 c =============================================================================== 2.40/2.42 c | 0 | 2006 17335 61008 | 5778 0 nan | 0.000 % | 2.40/2.42 c =============================================================================== 2.40/2.42 c core #91 2.40/2.42 c Core size: 17 Core Weight: 1 Total Weight: 91 2.40/2.42 c Elapsed CPU time: 2.36564 s Remaining CPU time: 1797.63 s 2.40/2.46 c ============================[ Search Statistics ]============================== 2.40/2.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.40/2.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.40/2.46 c =============================================================================== 2.40/2.46 c | 0 | 2019 17336 61034 | 5778 0 nan | 0.000 % | 2.40/2.46 c =============================================================================== 2.40/2.46 c core #92 2.40/2.46 c Core size: 12 Core Weight: 1 Total Weight: 92 2.40/2.46 c Elapsed CPU time: 2.39764 s Remaining CPU time: 1797.6 s 2.40/2.49 c ============================[ Search Statistics ]============================== 2.40/2.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.40/2.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.40/2.49 c =============================================================================== 2.40/2.49 c | 0 | 2028 17340 61049 | 5780 0 nan | 0.000 % | 2.40/2.49 c =============================================================================== 2.40/2.49 c core #93 2.40/2.49 c Core size: 42 Core Weight: 1 Total Weight: 93 2.40/2.49 c Elapsed CPU time: 2.43263 s Remaining CPU time: 1797.57 s 2.49/2.52 c ============================[ Search Statistics ]============================== 2.49/2.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.52 c =============================================================================== 2.49/2.52 c | 0 | 2072 17353 62543 | 5784 0 nan | 0.000 % | 2.49/2.53 c | 100 | 2069 17353 62543 | 6362 100 16 | 8.657 % | 2.49/2.54 c =============================================================================== 2.49/2.54 c core #94 2.49/2.54 c Core size: 13 Core Weight: 1 Total Weight: 94 2.49/2.54 c Elapsed CPU time: 2.47062 s Remaining CPU time: 1797.53 s 2.49/2.57 c Learning 1 hard constraints 2.49/2.57 c ============================[ Search Statistics ]============================== 2.49/2.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.57 c =============================================================================== 2.49/2.57 c | 0 | 2087 17355 62647 | 5785 0 nan | 0.000 % | 2.49/2.58 c | 100 | 2085 17355 62647 | 6363 100 18 | 8.271 % | 2.49/2.58 c =============================================================================== 2.49/2.58 c core #95 2.49/2.58 c Core size: 21 Core Weight: 1 Total Weight: 95 2.49/2.58 c Elapsed CPU time: 2.50962 s Remaining CPU time: 1797.49 s 2.60/2.61 c Learning 1 hard constraints 2.60/2.61 c ============================[ Search Statistics ]============================== 2.60/2.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.60/2.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.60/2.61 c =============================================================================== 2.60/2.61 c | 0 | 2103 17357 62693 | 5785 0 nan | 0.000 % | 2.60/2.62 c | 100 | 2103 17357 62693 | 6364 100 25 | 8.126 % | 2.60/2.63 c | 251 | 2101 17357 62693 | 7000 251 29 | 8.213 % | 2.60/2.65 c | 477 | 2101 17357 62693 | 7700 477 30 | 8.213 % | 2.60/2.66 c =============================================================================== 2.60/2.66 c core #96 2.60/2.66 c Core size: 790 Core Weight: 1 Total Weight: 96 2.60/2.66 c Elapsed CPU time: 2.58861 s Remaining CPU time: 1797.41 s 2.60/2.69 c Learning 275 hard constraints 2.60/2.69 c ============================[ Search Statistics ]============================== 2.60/2.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.60/2.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.60/2.69 c =============================================================================== 2.60/2.69 c | 0 | 2172 17649 70795 | 5883 0 nan | 0.000 % | 2.69/2.70 c | 102 | 2172 17649 70795 | 6471 102 22 | 7.575 % | 2.69/2.71 c | 253 | 2172 17649 70795 | 7118 253 21 | 7.575 % | 2.69/2.73 c | 478 | 2172 17649 70795 | 7830 478 27 | 7.575 % | 2.69/2.75 c | 820 | 2172 17649 70795 | 8613 820 24 | 7.575 % | 2.69/2.78 c | 1327 | 2169 17649 70795 | 9474 1327 22 | 7.702 % | 2.69/2.79 c =============================================================================== 2.79/2.80 c core #97 2.79/2.80 c Core size: 914 Core Weight: 1 Total Weight: 97 2.79/2.80 c Elapsed CPU time: 2.72659 s Remaining CPU time: 1797.27 s 2.79/2.84 c Learning 411 hard constraints 2.79/2.84 c ============================[ Search Statistics ]============================== 2.79/2.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.84 c =============================================================================== 2.79/2.84 c | 0 | 2253 18065 84577 | 6021 0 nan | 0.000 % | 2.79/2.85 c | 101 | 2253 18065 84577 | 6623 101 19 | 6.862 % | 2.79/2.85 c | 252 | 2253 18065 84577 | 7286 252 17 | 6.862 % | 2.79/2.87 c | 478 | 2253 18065 84577 | 8014 478 19 | 6.863 % | 2.79/2.87 c =============================================================================== 2.79/2.87 c core #98 2.79/2.87 c Core size: 633 Core Weight: 1 Total Weight: 98 2.79/2.87 c Elapsed CPU time: 2.79557 s Remaining CPU time: 1797.2 s 2.89/2.91 c Learning 217 hard constraints 2.89/2.91 c ============================[ Search Statistics ]============================== 2.89/2.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.91 c =============================================================================== 2.89/2.91 c | 0 | 2321 18294 91722 | 6098 0 nan | 0.000 % | 2.89/2.92 c | 100 | 2321 18294 91722 | 6707 100 24 | 6.374 % | 2.89/2.93 c | 251 | 2321 18294 91722 | 7378 251 27 | 6.374 % | 2.89/2.95 c | 477 | 2321 18294 91722 | 8116 477 22 | 6.374 % | 2.89/2.97 c | 814 | 2321 18294 91722 | 8928 814 21 | 6.374 % | 3.00/3.00 c | 1323 | 2321 18294 91722 | 9820 1323 21 | 6.374 % | 3.00/3.06 c | 2082 | 2321 18294 91722 | 10802 2082 23 | 6.374 % | 3.09/3.15 c | 3226 | 2321 18294 91722 | 11883 3226 23 | 6.374 % | 3.30/3.33 c | 4936 | 2321 18294 91722 | 13071 4936 25 | 6.374 % | 3.59/3.62 c | 7498 | 2321 18294 91722 | 14378 7498 25 | 6.374 % | 3.99/4.00 c =============================================================================== 3.99/4.09 c core #99 3.99/4.09 c Core size: 1519 Core Weight: 1 Total Weight: 99 3.99/4.09 c Elapsed CPU time: 3.98139 s Remaining CPU time: 1796.02 s 4.09/4.14 c Learning 472 hard constraints 4.09/4.14 c ============================[ Search Statistics ]============================== 4.09/4.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.14 c =============================================================================== 4.09/4.14 c | 0 | 2422 18767 103362 | 6255 0 nan | 0.000 % | 4.09/4.16 c | 100 | 2422 18767 103362 | 6881 100 27 | 5.978 % | 4.09/4.17 c | 250 | 2422 18767 103362 | 7569 250 27 | 5.978 % | 4.09/4.18 c | 475 | 2422 18767 103362 | 8326 475 25 | 5.978 % | 4.19/4.20 c | 814 | 2422 18767 103362 | 9158 814 24 | 5.978 % | 4.19/4.24 c | 1320 | 2422 18767 103362 | 10074 1320 25 | 5.978 % | 4.19/4.29 c | 2079 | 2415 18767 103362 | 11082 942 17 | 6.250 % | 4.29/4.30 c =============================================================================== 4.29/4.31 c core #100 4.29/4.31 c Core size: 745 Core Weight: 1 Total Weight: 100 4.29/4.31 c Elapsed CPU time: 4.19536 s Remaining CPU time: 1795.8 s 4.29/4.35 c Learning 221 hard constraints 4.29/4.35 c ============================[ Search Statistics ]============================== 4.29/4.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.35 c =============================================================================== 4.29/4.35 c | 0 | 2506 18992 110660 | 6330 0 nan | 0.000 % | 4.29/4.36 c =============================================================================== 4.29/4.36 c core #101 4.29/4.36 c Core size: 81 Core Weight: 1 Total Weight: 101 4.29/4.36 c Elapsed CPU time: 4.24335 s Remaining CPU time: 1795.76 s 4.40/4.40 c ============================[ Search Statistics ]============================== 4.40/4.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.40/4.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.40/4.40 c =============================================================================== 4.40/4.40 c | 0 | 2566 19013 111906 | 6337 0 nan | 0.000 % | 4.40/4.41 c | 105 | 2566 19013 111906 | 6971 105 15 | 5.104 % | 4.40/4.42 c | 255 | 2566 19013 111906 | 7668 255 24 | 5.104 % | 4.40/4.44 c | 481 | 2566 19013 111906 | 8435 481 25 | 5.104 % | 4.40/4.46 c | 821 | 2566 19013 111906 | 9278 821 22 | 5.104 % | 4.40/4.49 c | 1328 | 2566 19013 111906 | 10206 1328 22 | 5.104 % | 4.49/4.55 c | 2087 | 2566 19013 111906 | 11227 2087 22 | 5.104 % | 4.59/4.65 c | 3226 | 2566 19013 111906 | 12350 3226 22 | 5.104 % | 4.79/4.81 c | 4935 | 2566 19013 111906 | 13585 4935 26 | 5.104 % | 5.09/5.13 c | 7498 | 2566 19013 111906 | 14943 7498 26 | 5.104 % | 5.60/5.68 c | 11342 | 2566 19013 111906 | 16438 11342 30 | 5.104 % | 6.80/6.80 c | 17110 | 2565 19013 111906 | 18082 8762 33 | 5.141 % | 8.20/8.28 c | 25763 | 2565 19013 111906 | 19890 17415 33 | 5.141 % | 10.79/10.85 c | 38743 | 2565 19013 111906 | 21879 10277 32 | 5.141 % | 15.00/15.02 c | 58204 | 2565 19013 111906 | 24067 18664 30 | 5.141 % | 21.79/21.88 c | 87396 | 2558 19013 111906 | 26474 13514 27 | 5.399 % | 23.89/23.98 c =============================================================================== 25.09/25.16 c core #102 25.09/25.16 c Core size: 2068 Core Weight: 1 Total Weight: 102 25.09/25.16 c Elapsed CPU time: 24.8122 s Remaining CPU time: 1775.19 s 25.19/25.30 c Learning 95 hard constraints 25.19/25.30 c ============================[ Search Statistics ]============================== 25.19/25.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.19/25.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.19/25.30 c =============================================================================== 25.19/25.30 c | 0 | 2681 19109 113469 | 6369 0 nan | 0.000 % | 25.29/25.33 c | 101 | 2681 19109 113469 | 7006 101 21 | 4.895 % | 25.29/25.34 c | 251 | 2680 19109 113469 | 7707 251 23 | 4.966 % | 25.29/25.35 c | 477 | 2680 19109 113469 | 8478 477 20 | 4.966 % | 25.29/25.36 c | 814 | 2680 19109 113469 | 9325 814 18 | 4.966 % | 25.40/25.40 c | 1321 | 2680 19109 113469 | 10258 1321 23 | 4.966 % | 25.40/25.46 c | 2080 | 2680 19109 113469 | 11284 2080 24 | 4.966 % | 25.49/25.58 c | 3221 | 2679 19109 113469 | 12412 3216 25 | 4.966 % | 25.69/25.73 c | 4929 | 2679 19109 113469 | 13653 4924 24 | 4.966 % | 25.89/25.99 c | 7491 | 2679 19109 113469 | 15019 7486 23 | 4.966 % | 26.40/26.49 c | 11339 | 2679 19109 113469 | 16521 11334 22 | 4.966 % | 27.10/27.11 c =============================================================================== 27.20/27.28 c core #103 27.20/27.28 c Core size: 1440 Core Weight: 1 Total Weight: 103 27.20/27.28 c Elapsed CPU time: 26.8729 s Remaining CPU time: 1773.13 s 27.30/27.35 c Learning 751 hard constraints 27.30/27.35 c ============================[ Search Statistics ]============================== 27.30/27.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.30/27.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.30/27.35 c =============================================================================== 27.30/27.35 c | 0 | 2781 19861 135496 | 6620 0 nan | 0.000 % | 27.30/27.36 c | 103 | 2781 19861 135496 | 7282 103 24 | 4.630 % | 27.30/27.38 c | 253 | 2781 19861 135496 | 8010 253 26 | 4.630 % | 27.39/27.40 c | 479 | 2781 19861 135496 | 8811 479 24 | 4.630 % | 27.39/27.42 c | 816 | 2781 19861 135496 | 9692 816 20 | 4.630 % | 27.39/27.44 c =============================================================================== 27.39/27.44 c core #104 27.39/27.44 c Core size: 543 Core Weight: 1 Total Weight: 104 27.39/27.44 c Elapsed CPU time: 27.0339 s Remaining CPU time: 1772.97 s 27.39/27.50 c Learning 263 hard constraints 27.39/27.50 c ============================[ Search Statistics ]============================== 27.39/27.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.39/27.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.39/27.50 c =============================================================================== 27.39/27.50 c | 0 | 2840 20137 144795 | 6712 0 nan | 0.000 % | 27.50/27.51 c | 104 | 2838 20137 144795 | 7383 104 14 | 4.283 % | 27.50/27.52 c | 254 | 2838 20137 144795 | 8121 254 16 | 4.283 % | 27.50/27.54 c | 479 | 2838 20137 144795 | 8934 479 22 | 4.283 % | 27.50/27.57 c | 817 | 2838 20137 144795 | 9827 817 21 | 4.283 % | 27.59/27.60 c | 1325 | 2838 20137 144795 | 10810 1325 20 | 4.283 % | 27.59/27.66 c | 2085 | 2838 20137 144795 | 11891 2085 24 | 4.283 % | 27.69/27.76 c | 3227 | 2838 20137 144795 | 13080 3196 24 | 4.283 % | 27.89/27.96 c | 4936 | 2838 20137 144795 | 14388 4905 27 | 4.283 % | 28.20/28.26 c | 7503 | 2838 20137 144795 | 15827 7472 27 | 4.283 % | 28.79/28.84 c | 11348 | 2838 20137 144795 | 17410 11317 26 | 4.283 % | 29.89/29.93 c | 17114 | 2838 20137 144795 | 19151 17083 28 | 4.283 % | 31.79/31.84 c | 25763 | 2838 20137 144795 | 21066 16009 29 | 4.283 % | 35.10/35.14 c | 38739 | 2838 20137 144795 | 23172 18326 33 | 4.283 % | 40.10/40.16 c | 58204 | 2838 20137 144795 | 25490 14360 32 | 4.283 % | 48.09/48.11 c | 87397 | 2838 20137 144795 | 28039 17132 31 | 4.283 % | 60.80/60.88 c | 131186 | 2838 20137 144795 | 30842 15385 28 | 4.283 % | 81.50/81.56 c | 196872 | 2835 20137 144795 | 33927 27092 39 | 4.384 % | 90.79/90.82 c =============================================================================== 94.09/94.10 c core #105 94.09/94.10 c Core size: 2012 Core Weight: 1 Total Weight: 105 94.09/94.10 c Elapsed CPU time: 93.1168 s Remaining CPU time: 1706.88 s 94.29/94.37 c Learning 324 hard constraints 94.29/94.37 c ============================[ Search Statistics ]============================== 94.29/94.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.29/94.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.29/94.37 c =============================================================================== 94.29/94.37 c | 0 | 2967 20462 155503 | 6820 0 nan | 0.000 % | 94.39/94.42 c | 100 | 2967 20462 155503 | 7502 100 20 | 4.043 % | 94.39/94.43 c | 250 | 2964 20462 155503 | 8253 250 19 | 4.398 % | 94.39/94.44 c =============================================================================== 94.39/94.44 c core #106 94.39/94.44 c Core size: 143 Core Weight: 1 Total Weight: 106 94.39/94.44 c Elapsed CPU time: 93.4538 s Remaining CPU time: 1706.55 s 94.39/94.49 c Learning 14 hard constraints 94.39/94.49 c ============================[ Search Statistics ]============================== 94.39/94.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.39/94.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.39/94.49 c =============================================================================== 94.39/94.49 c | 0 | 3041 20479 158122 | 6826 0 nan | 0.000 % | 94.49/94.50 c | 100 | 3041 20479 158122 | 7508 100 57 | 3.644 % | 94.49/94.52 c | 250 | 3041 20479 158122 | 8259 250 47 | 3.644 % | 94.49/94.55 c | 477 | 3041 20479 158122 | 9085 477 38 | 3.644 % | 94.49/94.58 c | 814 | 3041 20479 158122 | 9994 814 31 | 3.644 % | 94.59/94.62 c | 1321 | 3041 20479 158122 | 10993 1321 26 | 3.644 % | 94.59/94.69 c | 2080 | 3041 20479 158122 | 12093 2080 25 | 3.644 % | 94.79/94.80 c | 3220 | 3041 20479 158122 | 13302 3220 25 | 3.644 % | 94.89/94.99 c | 4931 | 3041 20479 158122 | 14632 4931 25 | 3.644 % | 94.99/95.02 c =============================================================================== 94.99/95.03 c core #107 94.99/95.03 c Core size: 535 Core Weight: 1 Total Weight: 107 94.99/95.03 c Elapsed CPU time: 94.0357 s Remaining CPU time: 1705.96 s 94.99/95.10 c Learning 600 hard constraints 94.99/95.10 c ============================[ Search Statistics ]============================== 94.99/95.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.99/95.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.99/95.10 c =============================================================================== 94.99/95.10 c | 0 | 3106 21095 178282 | 7031 0 nan | 0.000 % | 95.09/95.12 c | 102 | 3106 21095 178282 | 7734 102 29 | 3.330 % | 95.09/95.13 c | 252 | 3106 21095 178282 | 8508 252 20 | 3.330 % | 95.09/95.14 c | 477 | 3106 21095 178282 | 9359 477 19 | 3.330 % | 95.09/95.17 c | 815 | 3106 21095 178282 | 10295 815 23 | 3.330 % | 95.19/95.21 c | 1322 | 3094 21095 178282 | 11324 1322 23 | 3.922 % | 95.19/95.22 c =============================================================================== 95.19/95.23 c core #108 95.19/95.23 c Core size: 938 Core Weight: 1 Total Weight: 108 95.19/95.23 c Elapsed CPU time: 94.2287 s Remaining CPU time: 1705.77 s 95.19/95.29 c Learning 364 hard constraints 95.19/95.29 c ============================[ Search Statistics ]============================== 95.19/95.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.19/95.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.19/95.29 c =============================================================================== 95.19/95.29 c | 0 | 3182 21465 191915 | 7155 0 nan | 0.000 % | 95.29/95.32 c | 100 | 3182 21465 191915 | 7870 100 52 | 2.929 % | 95.29/95.34 c | 253 | 3182 21465 191915 | 8657 253 42 | 2.929 % | 95.29/95.36 c | 478 | 3182 21465 191915 | 9523 478 31 | 2.929 % | 95.29/95.38 c | 816 | 3182 21465 191915 | 10475 816 24 | 2.929 % | 95.39/95.46 c | 1323 | 3182 21465 191915 | 11523 1323 27 | 2.929 % | 95.49/95.52 c | 2083 | 3182 21465 191915 | 12675 2083 26 | 2.929 % | 95.59/95.64 c | 3222 | 3182 21465 191915 | 13943 3222 31 | 2.929 % | 95.59/95.68 c =============================================================================== 95.59/95.69 c core #109 95.59/95.69 c Core size: 639 Core Weight: 1 Total Weight: 109 95.59/95.69 c Elapsed CPU time: 94.6776 s Remaining CPU time: 1705.32 s 95.70/95.76 c Learning 979 hard constraints 95.70/95.76 c ============================[ Search Statistics ]============================== 95.70/95.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.70/95.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.70/95.76 c =============================================================================== 95.70/95.76 c | 0 | 3252 22449 226133 | 7483 0 nan | 0.000 % | 95.70/95.78 c | 102 | 3252 22449 226133 | 8231 102 32 | 2.372 % | 95.70/95.80 c | 253 | 3252 22449 226133 | 9054 253 25 | 2.372 % | 95.80/95.82 c | 478 | 3252 22449 226133 | 9959 478 25 | 2.372 % | 95.80/95.86 c | 815 | 3252 22449 226133 | 10955 815 26 | 2.372 % | 95.89/95.90 c | 1322 | 3252 22449 226133 | 12051 1322 27 | 2.372 % | 95.89/95.97 c | 2084 | 3252 22449 226133 | 13256 2084 26 | 2.372 % | 95.99/96.09 c | 3228 | 3252 22449 226133 | 14582 3228 28 | 2.372 % | 96.19/96.27 c | 4937 | 3252 22449 226133 | 16040 4937 25 | 2.372 % | 96.59/96.68 c | 7501 | 3252 22449 226133 | 17644 7501 29 | 2.372 % | 97.19/97.29 c | 11347 | 3252 22449 226133 | 19408 11347 28 | 2.372 % | 98.48/98.58 c | 17115 | 3252 22449 226133 | 21349 17115 32 | 2.372 % | 100.58/100.63 c | 25764 | 3252 22449 226133 | 23484 14943 36 | 2.372 % | 104.49/104.57 c | 38738 | 3252 22449 226133 | 25833 15803 37 | 2.372 % | 110.68/110.72 c | 58200 | 3252 22449 226133 | 28416 21030 35 | 2.372 % | 112.68/112.74 c =============================================================================== 112.68/112.79 c core #110 112.68/112.79 c Core size: 1386 Core Weight: 1 Total Weight: 110 112.68/112.79 c Elapsed CPU time: 111.613 s Remaining CPU time: 1688.39 s 112.88/112.95 c Learning 2290 hard constraints 112.88/112.95 c ============================[ Search Statistics ]============================== 112.88/112.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 112.88/112.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 112.88/112.95 c =============================================================================== 112.88/112.95 c | 0 | 3347 24742 307116 | 8247 0 nan | 0.000 % | 112.88/112.99 c | 101 | 3347 24742 307116 | 9072 101 90 | 2.249 % | 112.98/113.02 c | 255 | 3347 24742 307116 | 9979 255 66 | 2.249 % | 112.98/113.05 c | 483 | 3347 24742 307116 | 10977 483 57 | 2.249 % | 113.08/113.10 c | 827 | 3340 24742 307116 | 12074 827 52 | 2.453 % | 113.08/113.17 c | 1336 | 3340 24742 307116 | 13282 1336 45 | 2.453 % | 113.18/113.30 c | 2097 | 3328 24742 307116 | 14610 2097 44 | 3.183 % | 113.28/113.31 c =============================================================================== 113.28/113.32 c core #111 113.28/113.32 c Core size: 1065 Core Weight: 1 Total Weight: 111 113.28/113.32 c Elapsed CPU time: 112.141 s Remaining CPU time: 1687.86 s 113.38/113.41 c Learning 856 hard constraints 113.38/113.41 c ============================[ Search Statistics ]============================== 113.38/113.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 113.38/113.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 113.38/113.41 c =============================================================================== 113.38/113.41 c | 0 | 3428 25609 334894 | 8536 0 nan | 0.000 % | 113.38/113.44 c | 101 | 3428 25609 334894 | 9389 101 53 | 1.917 % | 113.38/113.46 c | 253 | 3428 25609 334894 | 10328 253 33 | 1.917 % | 113.38/113.48 c | 479 | 3428 25609 334894 | 11361 479 25 | 1.917 % | 113.48/113.51 c | 817 | 3428 25609 334894 | 12498 817 22 | 1.917 % | 113.48/113.55 c | 1325 | 3428 25609 334894 | 13747 1325 20 | 1.917 % | 113.57/113.63 c | 2088 | 3428 25609 334894 | 15122 2088 20 | 1.917 % | 113.68/113.80 c | 3228 | 3428 25609 334894 | 16634 3228 23 | 1.917 % | 113.88/113.99 c | 4938 | 3428 25609 334894 | 18298 4938 21 | 1.917 % | 114.28/114.36 c | 7501 | 3428 25609 334894 | 20128 7501 21 | 1.917 % | 114.97/115.06 c | 11345 | 3428 25609 334894 | 22141 11345 22 | 1.917 % | 116.28/116.31 c =============================================================================== 116.48/116.53 c core #112 116.48/116.53 c Core size: 1444 Core Weight: 1 Total Weight: 112 116.48/116.53 c Elapsed CPU time: 115.313 s Remaining CPU time: 1684.69 s 116.58/116.64 c Learning 249 hard constraints 116.58/116.64 c ============================[ Search Statistics ]============================== 116.58/116.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 116.58/116.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 116.58/116.64 c =============================================================================== 116.58/116.64 c | 0 | 3539 25859 340920 | 8619 0 nan | 0.000 % | 116.58/116.67 c | 100 | 3539 25859 340920 | 9481 100 30 | 1.804 % | 116.58/116.69 c | 250 | 3539 25859 340920 | 10429 250 29 | 1.804 % | 116.68/116.72 c | 477 | 3539 25859 340920 | 11472 477 28 | 1.804 % | 116.68/116.75 c | 814 | 3539 25859 340920 | 12620 814 25 | 1.804 % | 116.78/116.82 c | 1320 | 3539 25859 340920 | 13882 1320 29 | 1.804 % | 116.78/116.89 c | 2079 | 3539 25859 340920 | 15270 2079 26 | 1.804 % | 116.97/117.01 c | 3220 | 3539 25859 340920 | 16797 3220 26 | 1.804 % | 117.18/117.24 c | 4932 | 3539 25859 340920 | 18477 4932 26 | 1.804 % | 117.47/117.55 c =============================================================================== 117.57/117.64 c core #113 117.57/117.64 c Core size: 1437 Core Weight: 1 Total Weight: 113 117.57/117.64 c Elapsed CPU time: 116.4 s Remaining CPU time: 1683.6 s 117.68/117.74 c Learning 551 hard constraints 117.68/117.74 c ============================[ Search Statistics ]============================== 117.68/117.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 117.68/117.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 117.68/117.74 c =============================================================================== 117.68/117.74 c | 0 | 3640 26411 354331 | 8803 0 nan | 0.000 % | 117.68/117.77 c | 100 | 3640 26411 354331 | 9684 100 41 | 1.622 % | 117.68/117.80 c | 250 | 3640 26411 354331 | 10652 250 34 | 1.622 % | 117.78/117.82 c | 475 | 3640 26411 354331 | 11717 475 28 | 1.622 % | 117.78/117.86 c | 812 | 3640 26411 354331 | 12889 812 29 | 1.622 % | 117.87/117.91 c | 1318 | 3640 26411 354331 | 14178 1318 28 | 1.622 % | 117.87/117.98 c | 2086 | 3640 26411 354331 | 15596 2086 25 | 1.622 % | 117.98/118.09 c | 3229 | 3640 26411 354331 | 17155 3229 24 | 1.622 % | 118.17/118.27 c | 4938 | 3640 26411 354331 | 18871 4938 24 | 1.622 % | 118.58/118.61 c | 7502 | 3627 26411 354331 | 20758 5936 23 | 2.162 % | 118.67/118.71 c =============================================================================== 118.78/118.81 c core #114 118.78/118.81 c Core size: 1383 Core Weight: 1 Total Weight: 114 118.78/118.81 c Elapsed CPU time: 117.556 s Remaining CPU time: 1682.44 s 118.88/118.92 c Learning 1613 hard constraints 118.88/118.92 c ============================[ Search Statistics ]============================== 118.88/118.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 118.88/118.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 118.88/118.92 c =============================================================================== 118.88/118.92 c | 0 | 3750 28025 404566 | 9341 0 nan | 0.000 % | 118.88/118.96 c | 102 | 3750 28025 404566 | 10275 102 62 | 1.523 % | 118.88/118.97 c | 252 | 3750 28025 404566 | 11303 252 44 | 1.523 % | 118.88/118.99 c | 477 | 3750 28025 404566 | 12433 477 44 | 1.523 % | 118.97/119.04 c | 814 | 3750 28025 404566 | 13677 814 38 | 1.523 % | 118.97/119.08 c | 1320 | 3750 28025 404566 | 15044 1320 33 | 1.523 % | 119.07/119.16 c | 2080 | 3750 28025 404566 | 16549 2080 31 | 1.523 % | 119.17/119.26 c | 3219 | 3750 28025 404566 | 18204 3219 28 | 1.523 % | 119.38/119.45 c | 4927 | 3750 28025 404566 | 20024 4927 27 | 1.523 % | 119.67/119.79 c | 7489 | 3750 28025 404566 | 22027 7489 25 | 1.523 % | 120.47/120.50 c | 11333 | 3750 28025 404566 | 24229 11333 31 | 1.523 % | 121.77/121.85 c | 17099 | 3750 28025 404566 | 26652 17099 31 | 1.523 % | 124.77/124.84 c | 25748 | 3750 28025 404566 | 29318 25748 31 | 1.523 % | 128.88/128.95 c | 38722 | 3750 28025 404566 | 32249 21781 33 | 1.523 % | 135.38/135.42 c | 58183 | 3750 28025 404566 | 35474 21682 32 | 1.523 % | 145.58/145.69 c | 87377 | 3750 28025 404566 | 39022 29197 35 | 1.523 % | 166.47/166.52 c | 131166 | 3750 28025 404566 | 42924 22051 34 | 1.523 % | 192.98/193.07 c | 196850 | 3749 28025 404566 | 47217 29271 39 | 1.549 % | 203.78/203.80 c =============================================================================== 207.08/207.13 c core #115 207.08/207.13 c Core size: 1844 Core Weight: 1 Total Weight: 115 207.08/207.13 c Elapsed CPU time: 205.325 s Remaining CPU time: 1594.68 s 207.37/207.44 c Learning 45 hard constraints 207.37/207.44 c ============================[ Search Statistics ]============================== 207.37/207.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.37/207.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.37/207.44 c =============================================================================== 207.37/207.44 c | 0 | 3878 28071 406000 | 9357 0 nan | 0.000 % | 207.47/207.51 c | 102 | 3878 28071 406000 | 10292 102 63 | 1.474 % | 207.47/207.54 c | 254 | 3878 28071 406000 | 11321 254 48 | 1.474 % | 207.47/207.57 c | 480 | 3878 28071 406000 | 12454 480 40 | 1.474 % | 207.47/207.59 c | 818 | 3878 28071 406000 | 13699 818 33 | 1.474 % | 207.58/207.63 c | 1324 | 3878 28071 406000 | 15069 1324 28 | 1.474 % | 207.67/207.71 c | 2087 | 3878 28071 406000 | 16576 2087 30 | 1.474 % | 207.78/207.83 c | 3228 | 3878 28071 406000 | 18234 3228 29 | 1.474 % | 207.98/208.04 c | 4936 | 3878 28071 406000 | 20057 4936 29 | 1.474 % | 208.37/208.44 c | 7499 | 3878 28071 406000 | 22063 7499 33 | 1.474 % | 209.08/209.19 c | 11346 | 3878 28071 406000 | 24269 11346 33 | 1.474 % | 210.47/210.52 c | 17113 | 3878 28071 406000 | 26696 17113 36 | 1.474 % | 213.08/213.17 c | 25764 | 3870 28071 406000 | 29366 25757 38 | 1.728 % | 217.08/217.13 c | 38740 | 3870 28071 406000 | 32302 21020 39 | 1.728 % | 220.27/220.34 c =============================================================================== 220.27/220.36 c core #116 220.27/220.36 c Core size: 1297 Core Weight: 1 Total Weight: 116 220.27/220.36 c Elapsed CPU time: 218.45 s Remaining CPU time: 1581.55 s 220.48/220.52 c Learning 1617 hard constraints 220.48/220.52 c ============================[ Search Statistics ]============================== 220.48/220.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 220.48/220.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 220.48/220.52 c =============================================================================== 220.48/220.52 c | 0 | 3969 29691 467860 | 9897 0 nan | 0.000 % | 220.48/220.57 c | 105 | 3969 29691 467860 | 10886 105 74 | 1.244 % | 220.58/220.61 c | 257 | 3969 29691 467860 | 11975 257 51 | 1.244 % | 220.58/220.62 c | 482 | 3969 29691 467860 | 13172 482 37 | 1.244 % | 220.58/220.65 c | 821 | 3969 29691 467860 | 14490 821 27 | 1.244 % | 220.58/220.68 c | 1329 | 3969 29691 467860 | 15939 1329 26 | 1.244 % | 220.67/220.74 c | 2088 | 3969 29691 467860 | 17533 2088 24 | 1.244 % | 220.77/220.86 c | 3231 | 3969 29691 467860 | 19286 3231 27 | 1.244 % | 220.98/221.06 c | 4941 | 3969 29691 467860 | 21215 4941 26 | 1.244 % | 221.28/221.38 c | 7503 | 3969 29691 467860 | 23336 7503 26 | 1.244 % | 221.77/221.82 c =============================================================================== 221.77/221.82 c core #117 221.77/221.82 c Core size: 833 Core Weight: 1 Total Weight: 117 221.77/221.82 c Elapsed CPU time: 219.882 s Remaining CPU time: 1580.12 s 221.87/221.95 c Learning 1413 hard constraints 221.87/221.95 c ============================[ Search Statistics ]============================== 221.87/221.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 221.87/221.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 221.87/221.95 c =============================================================================== 221.87/221.95 c | 0 | 4035 31115 518632 | 10371 0 nan | 0.000 % | 221.87/222.00 c | 102 | 4035 31115 518632 | 11408 102 97 | 0.884 % | 221.97/222.02 c | 253 | 4035 31115 518632 | 12549 253 60 | 0.884 % | 221.97/222.04 c | 480 | 4035 31115 518632 | 13804 480 41 | 0.884 % | 221.97/222.08 c | 817 | 4035 31115 518632 | 15185 817 33 | 0.884 % | 222.08/222.13 c | 1323 | 4035 31115 518632 | 16703 1323 31 | 0.884 % | 222.18/222.22 c | 2082 | 4035 31115 518632 | 18374 2082 39 | 0.884 % | 222.28/222.34 c | 3223 | 4035 31115 518632 | 20211 3223 39 | 0.884 % | 222.47/222.56 c | 4932 | 4035 31115 518632 | 22232 4932 34 | 0.884 % | 222.57/222.63 c =============================================================================== 222.57/222.64 c core #118 222.57/222.64 c Core size: 313 Core Weight: 1 Total Weight: 118 222.57/222.64 c Elapsed CPU time: 220.691 s Remaining CPU time: 1579.31 s 222.67/222.78 c Learning 606 hard constraints 222.67/222.78 c ============================[ Search Statistics ]============================== 222.67/222.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.67/222.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.67/222.78 c =============================================================================== 222.67/222.78 c | 0 | 4124 31726 541727 | 10575 0 nan | 0.000 % | 222.78/222.82 c | 100 | 4124 31726 541727 | 11632 100 72 | 0.722 % | 222.78/222.84 c | 251 | 4124 31726 541727 | 12796 251 53 | 0.722 % | 222.78/222.86 c | 477 | 4124 31726 541727 | 14075 477 36 | 0.722 % | 222.88/222.91 c | 815 | 4124 31726 541727 | 15483 815 32 | 0.722 % | 222.88/222.95 c | 1322 | 4124 31726 541727 | 17031 1322 29 | 0.722 % | 222.98/223.05 c | 2085 | 4124 31726 541727 | 18734 2085 32 | 0.722 % | 223.17/223.22 c | 3224 | 4124 31726 541727 | 20608 3224 29 | 0.722 % | 223.48/223.50 c | 4936 | 4124 31726 541727 | 22669 4936 33 | 0.722 % | 223.77/223.88 c | 7499 | 4124 31726 541727 | 24936 7499 32 | 0.722 % | 224.48/224.51 c | 11344 | 4124 31726 541727 | 27429 11344 31 | 0.722 % | 225.87/225.92 c | 17110 | 4124 31726 541727 | 30172 17110 39 | 0.722 % | 228.47/228.60 c | 25759 | 4124 31726 541727 | 33189 25759 37 | 0.722 % | 233.97/234.00 c | 38733 | 4124 31726 541727 | 36508 17526 33 | 0.722 % | 235.07/235.13 c =============================================================================== 235.07/235.13 c core #119 235.07/235.13 c Core size: 569 Core Weight: 1 Total Weight: 119 235.07/235.13 c Elapsed CPU time: 233.092 s Remaining CPU time: 1566.91 s 235.27/235.31 c Learning 548 hard constraints 235.27/235.31 c ============================[ Search Statistics ]============================== 235.27/235.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.27/235.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.27/235.31 c =============================================================================== 235.27/235.31 c | 0 | 4187 32291 562545 | 10763 0 nan | 0.000 % | 235.27/235.37 c | 101 | 4187 32291 562545 | 11840 101 75 | 0.523 % | 235.27/235.39 c | 251 | 4187 32291 562545 | 13024 251 50 | 0.523 % | 235.37/235.41 c | 478 | 4187 32291 562545 | 14326 478 41 | 0.523 % | 235.37/235.45 c | 818 | 4187 32291 562545 | 15759 818 32 | 0.523 % | 235.37/235.50 c | 1324 | 4187 32291 562545 | 17334 1324 32 | 0.523 % | 235.47/235.57 c | 2083 | 4187 32291 562545 | 19068 2083 27 | 0.523 % | 235.58/235.69 c | 3223 | 4187 32291 562545 | 20975 3223 27 | 0.523 % | 235.88/235.90 c | 4932 | 4187 32291 562545 | 23072 4932 28 | 0.523 % | 236.17/236.27 c | 7495 | 4187 32291 562545 | 25380 7495 26 | 0.523 % | 236.87/236.92 c | 11344 | 4187 32291 562545 | 27918 11344 26 | 0.523 % | 238.17/238.24 c | 17110 | 4187 32291 562545 | 30709 17110 26 | 0.523 % | 241.47/241.53 c | 25762 | 4187 32291 562545 | 33780 25762 29 | 0.523 % | 246.87/246.96 c | 38736 | 4187 32291 562545 | 37159 19305 30 | 0.523 % | 248.47/248.59 c =============================================================================== 249.27/249.38 c core #120 249.27/249.38 c Core size: 1408 Core Weight: 1 Total Weight: 120 249.27/249.38 c Elapsed CPU time: 247.253 s Remaining CPU time: 1552.75 s 249.47/249.56 c Learning 100 hard constraints 249.47/249.56 c ============================[ Search Statistics ]============================== 249.47/249.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 249.47/249.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 249.47/249.56 c =============================================================================== 249.47/249.56 c | 0 | 4301 32392 565216 | 10797 0 nan | 0.000 % | 249.57/249.60 c | 100 | 4301 32392 565216 | 11877 100 52 | 0.509 % | 249.57/249.64 c | 250 | 4301 32392 565216 | 13064 250 48 | 0.509 % | 249.57/249.68 c | 477 | 4301 32392 565216 | 14371 477 39 | 0.509 % | 249.67/249.70 c | 814 | 4301 32392 565216 | 15808 814 32 | 0.509 % | 249.67/249.75 c | 1321 | 4301 32392 565216 | 17389 1321 27 | 0.509 % | 249.78/249.86 c | 2080 | 4301 32392 565216 | 19128 2080 30 | 0.509 % | 249.97/250.00 c | 3220 | 4301 32392 565216 | 21040 3220 30 | 0.509 % | 250.17/250.21 c | 4929 | 4301 32392 565216 | 23145 4929 30 | 0.509 % | 250.47/250.56 c | 7492 | 4301 32392 565216 | 25459 7492 31 | 0.509 % | 251.06/251.19 c | 11336 | 4301 32392 565216 | 28005 11336 34 | 0.509 % | 252.37/252.47 c | 17102 | 4301 32392 565216 | 30806 17102 33 | 0.509 % | 254.97/255.09 c | 25751 | 4301 32392 565216 | 33886 25751 36 | 0.509 % | 259.97/260.01 c | 38725 | 4301 32392 565216 | 37275 16985 40 | 0.509 % | 265.07/265.15 c | 58187 | 4301 32392 565216 | 41002 36447 40 | 0.509 % | 270.67/270.74 c | 87381 | 4301 32392 565216 | 45103 35360 31 | 0.509 % | 284.47/284.57 c | 131173 | 4293 32392 565216 | 49613 30254 26 | 0.694 % | 285.87/285.98 c =============================================================================== 286.87/286.99 c core #121 286.87/286.99 c Core size: 1833 Core Weight: 1 Total Weight: 121 286.87/286.99 c Elapsed CPU time: 284.514 s Remaining CPU time: 1515.49 s 287.17/287.25 c Learning 218 hard constraints 287.17/287.25 c ============================[ Search Statistics ]============================== 287.17/287.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 287.17/287.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 287.17/287.25 c =============================================================================== 287.17/287.25 c | 0 | 4416 32611 568680 | 10870 0 nan | 0.000 % | 287.26/287.32 c | 102 | 4416 32611 568680 | 11957 102 55 | 0.496 % | 287.26/287.34 c | 252 | 4416 32611 568680 | 13153 252 41 | 0.496 % | 287.26/287.37 c | 477 | 4416 32611 568680 | 14468 477 34 | 0.496 % | 287.36/287.40 c | 817 | 4416 32611 568680 | 15915 817 31 | 0.496 % | 287.36/287.45 c | 1324 | 4416 32611 568680 | 17506 1324 28 | 0.496 % | 287.47/287.51 c | 2083 | 4416 32611 568680 | 19257 2083 25 | 0.496 % | 287.57/287.61 c | 3223 | 4416 32611 568680 | 21183 3223 23 | 0.496 % | 287.76/287.80 c | 4933 | 4416 32611 568680 | 23301 4933 22 | 0.496 % | 288.07/288.16 c | 7495 | 4410 32611 568680 | 25631 4592 23 | 0.631 % | 288.57/288.67 c | 11339 | 4410 32611 568680 | 28194 8436 23 | 0.631 % | 289.16/289.28 c =============================================================================== 289.36/289.49 c core #122 289.36/289.49 c Core size: 1529 Core Weight: 1 Total Weight: 122 289.36/289.49 c Elapsed CPU time: 286.974 s Remaining CPU time: 1513.03 s 289.56/289.64 c Learning 1758 hard constraints 289.56/289.64 c ============================[ Search Statistics ]============================== 289.56/289.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 289.56/289.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 289.56/289.64 c =============================================================================== 289.56/289.64 c | 0 | 4517 34370 628273 | 11456 0 nan | 0.000 % | 289.56/289.69 c | 100 | 4517 34370 628273 | 12602 100 67 | 0.397 % | 289.66/289.72 c | 251 | 4517 34370 628273 | 13862 251 46 | 0.397 % | 289.66/289.73 c | 477 | 4517 34370 628273 | 15248 477 38 | 0.397 % | 289.66/289.78 c | 815 | 4517 34370 628273 | 16773 815 37 | 0.397 % | 289.76/289.85 c | 1321 | 4517 34370 628273 | 18451 1321 39 | 0.397 % | 289.86/289.94 c | 2082 | 4517 34370 628273 | 20296 2082 39 | 0.397 % | 290.06/290.11 c | 3222 | 4517 34370 628273 | 22325 3222 38 | 0.397 % | 290.16/290.28 c | 4931 | 4517 34370 628273 | 24558 4931 36 | 0.397 % | 290.56/290.60 c | 7494 | 4517 34370 628273 | 27014 7494 34 | 0.397 % | 291.06/291.16 c | 11338 | 4517 34370 628273 | 29715 11338 33 | 0.397 % | 292.26/292.36 c | 17105 | 4517 34370 628273 | 32687 17105 31 | 0.397 % | 295.36/295.42 c | 25754 | 4517 34370 628273 | 35955 25754 37 | 0.397 % | 298.96/299.05 c | 38729 | 4517 34370 628273 | 39551 13601 45 | 0.397 % | 300.65/300.73 c =============================================================================== 300.75/300.89 c core #123 300.75/300.89 c Core size: 1321 Core Weight: 1 Total Weight: 123 300.75/300.89 c Elapsed CPU time: 298.279 s Remaining CPU time: 1501.72 s 300.95/301.08 c Learning 1490 hard constraints 300.95/301.08 c ============================[ Search Statistics ]============================== 300.95/301.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 300.95/301.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 300.95/301.08 c =============================================================================== 300.95/301.08 c | 0 | 4616 35861 690187 | 11953 0 nan | 0.000 % | 301.05/301.14 c | 100 | 4616 35861 690187 | 13149 100 71 | 0.345 % | 301.05/301.15 c | 251 | 4616 35861 690187 | 14463 251 42 | 0.345 % | 301.05/301.17 c | 477 | 4616 35861 690187 | 15910 477 30 | 0.345 % | 301.16/301.20 c | 814 | 4616 35861 690187 | 17501 814 27 | 0.345 % | 301.16/301.25 c | 1320 | 4616 35861 690187 | 19251 1320 27 | 0.345 % | 301.26/301.34 c | 2079 | 4616 35861 690187 | 21176 2079 28 | 0.345 % | 301.37/301.47 c | 3218 | 4616 35861 690187 | 23294 3218 29 | 0.345 % | 301.56/301.66 c | 4927 | 4616 35861 690187 | 25623 4927 29 | 0.345 % | 301.86/301.95 c | 7489 | 4616 35861 690187 | 28186 7489 26 | 0.345 % | 302.36/302.50 c | 11335 | 4616 35861 690187 | 31004 11335 28 | 0.345 % | 303.56/303.70 c | 17101 | 4616 35861 690187 | 34105 17101 29 | 0.345 % | 305.86/305.98 c | 25754 | 4616 35861 690187 | 37515 25754 27 | 0.345 % | 312.06/312.15 c | 38731 | 4616 35861 690187 | 41267 14995 26 | 0.345 % | 319.16/319.24 c | 58192 | 4616 35861 690187 | 45394 34456 29 | 0.345 % | 332.96/333.06 c | 87384 | 4616 35861 690187 | 49933 33023 29 | 0.345 % | 354.86/354.97 c | 131173 | 4615 35861 690187 | 54926 41580 33 | 0.367 % | 369.36/369.48 c =============================================================================== 371.76/371.86 c core #124 371.76/371.86 c Core size: 1389 Core Weight: 1 Total Weight: 124 371.76/371.86 c Elapsed CPU time: 368.874 s Remaining CPU time: 1431.13 s 372.06/372.16 c Learning 329 hard constraints 372.06/372.16 c ============================[ Search Statistics ]============================== 372.06/372.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 372.06/372.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 372.06/372.16 c =============================================================================== 372.06/372.16 c | 0 | 4737 36191 700728 | 12063 0 nan | 0.000 % | 372.16/372.22 c | 103 | 4737 36191 700728 | 13270 103 92 | 0.337 % | 372.16/372.24 c | 256 | 4737 36191 700728 | 14597 256 47 | 0.337 % | 372.16/372.26 c | 483 | 4737 36191 700728 | 16056 483 37 | 0.337 % | 372.16/372.30 c | 820 | 4737 36191 700728 | 17662 820 31 | 0.337 % | 372.25/372.35 c | 1327 | 4737 36191 700728 | 19428 1327 29 | 0.337 % | 372.36/372.42 c | 2089 | 4737 36191 700728 | 21371 2089 31 | 0.337 % | 372.46/372.54 c | 3228 | 4737 36191 700728 | 23508 3228 33 | 0.337 % | 372.66/372.75 c | 4937 | 4737 36191 700728 | 25859 4937 32 | 0.337 % | 373.06/373.13 c | 7504 | 4737 36191 700728 | 28445 7504 32 | 0.337 % | 373.76/373.85 c | 11349 | 4737 36191 700728 | 31290 11349 36 | 0.337 % | 374.26/374.40 c =============================================================================== 374.36/374.42 c core #125 374.36/374.42 c Core size: 1067 Core Weight: 1 Total Weight: 125 374.36/374.42 c Elapsed CPU time: 371.393 s Remaining CPU time: 1428.61 s 374.46/374.58 c Learning 2227 hard constraints 374.46/374.58 c ============================[ Search Statistics ]============================== 374.46/374.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 374.46/374.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 374.46/374.58 c =============================================================================== 374.46/374.58 c | 0 | 4820 38423 782453 | 12807 0 nan | 0.000 % | 374.56/374.63 c | 100 | 4820 38423 782453 | 14088 100 62 | 0.083 % | 374.56/374.66 c | 250 | 4820 38423 782453 | 15497 250 46 | 0.083 % | 374.56/374.69 c | 477 | 4820 38423 782453 | 17047 477 34 | 0.083 % | 374.66/374.72 c | 815 | 4820 38423 782453 | 18751 815 31 | 0.083 % | 374.75/374.80 c | 1323 | 4820 38423 782453 | 20626 1323 33 | 0.083 % | 374.75/374.89 c | 2083 | 4820 38423 782453 | 22689 2083 29 | 0.083 % | 374.96/375.03 c | 3222 | 4820 38423 782453 | 24958 3222 37 | 0.083 % | 375.16/375.25 c | 4931 | 4820 38423 782453 | 27454 4931 33 | 0.083 % | 375.56/375.65 c | 7494 | 4820 38423 782453 | 30199 7494 37 | 0.083 % | 376.26/376.34 c | 11339 | 4820 38423 782453 | 33219 11339 38 | 0.083 % | 377.45/377.57 c | 17105 | 4820 38423 782453 | 36541 17105 41 | 0.083 % | 380.66/380.71 c | 25756 | 4820 38423 782453 | 40195 25756 44 | 0.083 % | 386.26/386.30 c | 38730 | 4820 38423 782453 | 44215 38730 43 | 0.083 % | 391.26/391.35 c | 58192 | 4820 38423 782453 | 48637 24738 41 | 0.083 % | 401.46/401.52 c | 87385 | 4818 38423 782453 | 53500 17710 46 | 0.124 % | 401.46/401.58 c =============================================================================== 401.75/401.83 c core #126 401.75/401.83 c Core size: 2189 Core Weight: 1 Total Weight: 126 401.75/401.83 c Elapsed CPU time: 398.619 s Remaining CPU time: 1401.38 s 401.96/402.09 c Learning 4365 hard constraints 401.96/402.09 c ============================[ Search Statistics ]============================== 401.96/402.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 401.96/402.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 401.96/402.09 c =============================================================================== 401.96/402.09 c | 0 | 4929 42789 951174 | 14263 0 nan | 0.000 % | 402.06/402.15 c | 102 | 4929 42789 951174 | 15689 102 61 | 0.000 % | 402.06/402.17 c | 252 | 4929 42789 951174 | 17258 252 47 | 0.000 % | 402.16/402.20 c | 478 | 4929 42789 951174 | 18984 478 39 | 0.000 % | 402.16/402.24 c | 815 | 4929 42789 951174 | 20882 815 40 | 0.000 % | 402.25/402.31 c | 1321 | 4929 42789 951174 | 22970 1321 47 | 0.000 % | 402.25/402.38 c | 2081 | 4929 42789 951174 | 25267 2081 35 | 0.000 % | 402.35/402.48 c | 3221 | 4929 42789 951174 | 27794 3221 31 | 0.000 % | 402.56/402.64 c | 4930 | 4929 42789 951174 | 30574 4930 29 | 0.000 % | 402.86/402.96 c | 7492 | 4929 42789 951174 | 33631 7492 29 | 0.000 % | 403.46/403.53 c | 11336 | 4929 42789 951174 | 36994 11336 30 | 0.000 % | 404.86/404.98 c | 17103 | 4929 42789 951174 | 40694 17103 31 | 0.000 % | 407.56/407.63 c | 25752 | 4929 42789 951174 | 44763 25752 30 | 0.000 % | 413.35/413.48 c | 38726 | 4929 42789 951174 | 49239 38726 32 | 0.000 % | 422.85/422.93 c | 58188 | 4929 42789 951174 | 54163 22398 36 | 0.000 % | 432.26/432.34 c | 87383 | 4929 42789 951174 | 59580 51593 40 | 0.000 % | 453.36/453.45 c | 131173 | 4929 42789 951174 | 65538 49709 35 | 0.000 % | 463.56/463.64 c =============================================================================== 464.65/464.78 c core #127 464.65/464.78 c Core size: 2843 Core Weight: 1 Total Weight: 127 464.65/464.78 c Elapsed CPU time: 461.198 s Remaining CPU time: 1338.8 s 465.05/465.12 c Learning 2918 hard constraints 465.05/465.12 c ============================[ Search Statistics ]============================== 465.05/465.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 465.05/465.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 465.05/465.12 c =============================================================================== 465.05/465.12 c | 0 | 5044 45708 1061199 | 15236 0 nan | 0.000 % | 465.05/465.19 c | 102 | 5044 45708 1061199 | 16759 102 73 | 0.000 % | 465.16/465.21 c | 255 | 5044 45708 1061199 | 18435 255 59 | 0.000 % | 465.16/465.23 c | 480 | 5044 45708 1061199 | 20279 480 52 | 0.000 % | 465.16/465.26 c | 818 | 5044 45708 1061199 | 22307 818 45 | 0.000 % | 465.26/465.30 c | 1324 | 5044 45708 1061199 | 24537 1324 38 | 0.000 % | 465.26/465.38 c | 2083 | 5044 45708 1061199 | 26991 2083 33 | 0.000 % | 465.36/465.48 c | 3224 | 5044 45708 1061199 | 29690 3224 29 | 0.000 % | 465.55/465.68 c | 4932 | 5044 45708 1061199 | 32659 4932 29 | 0.000 % | 465.95/466.04 c | 7494 | 5044 45708 1061199 | 35925 7494 30 | 0.000 % | 466.65/466.70 c | 11338 | 5044 45708 1061199 | 39518 11338 30 | 0.000 % | 468.54/468.67 c | 17107 | 5044 45708 1061199 | 43470 17107 35 | 0.000 % | 469.75/469.86 c | 25756 | 5044 45708 1061199 | 47817 25756 32 | 0.000 % | 472.74/472.84 c | 38734 | 5044 45708 1061199 | 52598 38734 32 | 0.000 % | 480.54/480.68 c | 58196 | 5044 45708 1061199 | 57858 19087 29 | 0.000 % | 494.74/494.86 c | 87389 | 5044 45708 1061199 | 63644 48280 30 | 0.000 % | 522.94/523.10 c | 131181 | 5044 45708 1061199 | 70009 43265 34 | 0.000 % | 560.24/560.36 c =============================================================================== 563.15/563.23 c core #128 563.15/563.23 c Core size: 1405 Core Weight: 1 Total Weight: 128 563.15/563.23 c Elapsed CPU time: 559.173 s Remaining CPU time: 1240.83 s 563.55/563.60 c Learning 17 hard constraints 563.55/563.60 c ============================[ Search Statistics ]============================== 563.55/563.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 563.55/563.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 563.55/563.60 c =============================================================================== 563.55/563.60 c | 0 | 5158 45726 1061626 | 15242 0 nan | 0.000 % | 563.55/563.68 c | 100 | 5158 45726 1061626 | 16766 100 73 | 0.000 % | 563.64/563.71 c | 250 | 5158 45726 1061626 | 18442 250 65 | 0.000 % | 563.64/563.74 c | 475 | 5158 45726 1061626 | 20287 475 51 | 0.000 % | 563.64/563.78 c | 812 | 5158 45726 1061626 | 22315 812 49 | 0.000 % | 563.74/563.82 c | 1318 | 5158 45726 1061626 | 24547 1318 37 | 0.000 % | 563.84/563.90 c | 2077 | 5158 45726 1061626 | 27002 2077 32 | 0.000 % | 563.94/564.02 c | 3218 | 5158 45726 1061626 | 29702 3218 30 | 0.000 % | 564.04/564.19 c | 4926 | 5158 45726 1061626 | 32672 4926 31 | 0.000 % | 564.44/564.56 c | 7488 | 5158 45726 1061626 | 35939 7488 34 | 0.000 % | 564.95/565.09 c | 11335 | 5158 45726 1061626 | 39533 11335 35 | 0.000 % | 566.04/566.15 c | 17102 | 5158 45726 1061626 | 43487 17102 34 | 0.000 % | 567.64/567.73 c | 25752 | 5158 45726 1061626 | 47835 25752 34 | 0.000 % | 570.44/570.52 c | 38727 | 5158 45726 1061626 | 52619 38727 33 | 0.000 % | 577.95/578.05 c | 58192 | 5158 45726 1061626 | 57881 17863 51 | 0.000 % | 599.45/599.52 c | 87384 | 5158 45726 1061626 | 63669 47055 91 | 0.000 % | 619.45/619.51 c | 131175 | 5158 45726 1061626 | 70036 38115 55 | 0.000 % | 650.44/650.50 c | 196859 | 5158 45726 1061626 | 77040 44459 61 | 0.000 % | 685.05/685.11 c | 295385 | 5158 45726 1061626 | 84744 77586 46 | 0.000 % | 793.83/793.93 c | 443175 | 5158 45726 1061626 | 93218 82520 50 | 0.000 % | 910.85/910.96 c | 664858 | 5158 45726 1061626 | 102540 64968 74 | 0.000 % | 1211.34/1211.44 c | 997384 | 5158 45726 1061626 | 112794 40589 63 | 0.000 % | 1685.54/1685.66 c | 1496172 | 5158 45726 1061626 | 124074 51490 103 | 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-1875713-1245146357/watcher-1875713-1245146357 -o /tmp/evaluation-result-1875713-1245146357/solver-1875713-1245146357 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875713-1245146357.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: 1.00 1.00 1.00 3/64 29391 /proc/meminfo: memFree=1868184/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=3564 CPUtime=0 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 247 0 0 0 0 0 0 0 18 0 1 0 182236156 3649536 231 1992294400 134512640 135709839 4294956240 18446744073709551615 135166130 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 891 231 127 292 0 373 0 [startup+0.104277 s] /proc/loadavg: 1.00 1.00 1.00 3/64 29391 /proc/meminfo: memFree=1868184/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=4888 CPUtime=0.1 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 744 0 0 0 10 0 0 0 18 0 1 0 182236156 5005312 728 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 1222 728 315 292 0 704 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 4888 [startup+0.201248 s] /proc/loadavg: 1.00 1.00 1.00 3/64 29391 /proc/meminfo: memFree=1868184/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=7272 CPUtime=0.19 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 1610 0 0 0 19 0 0 0 18 0 1 0 182236156 7446528 1371 1992294400 134512640 135709839 4294956240 18446744073709551615 134518145 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 1818 1371 134 292 0 1523 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 7272 [startup+0.301219 s] /proc/loadavg: 1.00 1.00 1.00 3/64 29391 /proc/meminfo: memFree=1868184/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=9404 CPUtime=0.29 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 2123 0 0 0 29 0 0 0 19 0 1 0 182236156 9629696 1884 1992294400 134512640 135709839 4294956240 18446744073709551615 134530359 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 2351 1884 134 292 0 2056 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9404 [startup+0.701105 s] /proc/loadavg: 1.00 1.00 1.00 3/64 29391 /proc/meminfo: memFree=1868184/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=17032 CPUtime=0.69 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 4031 0 0 0 68 1 0 0 23 0 1 0 182236156 17440768 3792 1992294400 134512640 135709839 4294956240 18446744073709551615 134606605 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 4258 3792 134 292 0 3963 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17032 [startup+1.50188 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29392 /proc/meminfo: memFree=1845840/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=32052 CPUtime=1.49 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 7803 0 0 0 146 3 0 0 25 0 1 0 182236156 32821248 7564 1992294400 134512640 135709839 4294956240 18446744073709551615 135167061 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 8013 7564 134 292 0 7718 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32052 [startup+3.10142 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29392 /proc/meminfo: memFree=1819728/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=64748 CPUtime=3.09 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 15947 0 0 0 300 9 0 0 25 0 1 0 182236156 66301952 15708 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 16187 15708 136 292 0 15892 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 64748 [startup+6.3015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29392 /proc/meminfo: memFree=1799440/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=72148 CPUtime=6.29 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 17810 0 0 0 614 15 0 0 25 0 1 0 182236156 73879552 17571 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 18037 17571 136 292 0 17742 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 72148 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29392 /proc/meminfo: memFree=1788176/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=82524 CPUtime=12.7 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 20422 0 0 0 1246 24 0 0 25 0 1 0 182236156 84504576 20183 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 20631 20183 136 292 0 20336 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 82524 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29392 /proc/meminfo: memFree=1766672/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=103540 CPUtime=25.49 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 25643 0 0 0 2512 37 0 0 25 0 1 0 182236156 106024960 25404 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 25885 25404 136 292 0 25590 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 103540 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29392 /proc/meminfo: memFree=1755088/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=115588 CPUtime=51.1 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 28675 0 0 0 5046 64 0 0 25 0 1 0 182236156 118362112 28436 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 28897 28436 136 292 0 28602 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 115588 [startup+102.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29392 /proc/meminfo: memFree=1705488/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=164412 CPUtime=102.29 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 40890 0 0 0 10122 107 0 0 25 0 1 0 182236156 168357888 40617 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 41103 40617 136 292 0 40808 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 164412 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=1687696/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=182280 CPUtime=162.27 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 45395 0 0 0 16074 153 0 0 25 0 1 0 182236156 186654720 45122 1992294400 134512640 135709839 4294956240 18446744073709551615 134573807 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 45570 45122 136 292 0 45275 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 182280 [startup+222.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=1643536/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=225944 CPUtime=222.28 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 56332 0 0 0 22035 193 0 0 25 0 1 0 182236156 231366656 56012 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 56486 56012 136 292 0 56191 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 225944 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=1625744/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=244728 CPUtime=282.27 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 61029 0 0 0 27985 242 0 0 25 0 1 0 182236156 250601472 60709 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 61182 60709 136 292 0 60887 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 244728 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=1604880/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=264532 CPUtime=342.26 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 66037 0 0 0 33943 283 0 0 25 0 1 0 182236156 270880768 65684 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 66133 65684 136 292 0 65838 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 264532 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=1578704/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=293892 CPUtime=402.25 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 73375 0 0 0 39907 318 0 0 25 0 1 0 182236156 300945408 73022 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 73473 73022 136 292 0 73178 0 Current children cumulated CPU time (s) 402.25 Current children cumulated vsize (KiB) 293892 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=1551120/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=318072 CPUtime=462.25 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 79411 0 0 0 45871 354 0 0 25 0 1 0 182236156 325705728 79058 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 79518 79058 136 292 0 79223 0 Current children cumulated CPU time (s) 462.25 Current children cumulated vsize (KiB) 318072 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=1539792/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=329128 CPUtime=522.24 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 82180 0 0 0 51840 384 0 0 25 0 1 0 182236156 337027072 81827 1992294400 134512640 135709839 4294956240 18446744073709551615 134573799 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 82282 81827 136 292 0 81987 0 Current children cumulated CPU time (s) 522.24 Current children cumulated vsize (KiB) 329128 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=1507408/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=361744 CPUtime=582.24 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 90302 0 0 0 57808 416 0 0 25 0 1 0 182236156 370425856 89949 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 90436 89949 136 292 0 90141 0 Current children cumulated CPU time (s) 582.24 Current children cumulated vsize (KiB) 361744 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=1474064/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=395828 CPUtime=642.24 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 98818 0 0 0 63777 447 0 0 25 0 1 0 182236156 405327872 98465 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 98957 98465 136 292 0 98662 0 Current children cumulated CPU time (s) 642.24 Current children cumulated vsize (KiB) 395828 [startup+702.302 s] ################ # More data... # ################ [startup+882.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=1311248/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=557744 CPUtime=882.24 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 139193 0 0 0 87651 573 0 0 25 0 1 0 182236156 571129856 138840 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 139436 138840 136 292 0 139141 0 Current children cumulated CPU time (s) 882.24 Current children cumulated vsize (KiB) 557744 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=1257040/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=612140 CPUtime=942.24 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 152778 0 0 0 93617 607 0 0 25 0 1 0 182236156 626831360 152425 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 153035 152425 136 292 0 152740 0 Current children cumulated CPU time (s) 942.24 Current children cumulated vsize (KiB) 612140 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=1219856/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=648940 CPUtime=1002.24 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 161981 0 0 0 99589 635 0 0 25 0 1 0 182236156 664514560 161628 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 162235 161628 136 292 0 161940 0 Current children cumulated CPU time (s) 1002.24 Current children cumulated vsize (KiB) 648940 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=1204880/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=664076 CPUtime=1062.24 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 165750 0 0 0 105574 650 0 0 25 0 1 0 182236156 680013824 165397 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 166019 165397 136 292 0 165724 0 Current children cumulated CPU time (s) 1062.24 Current children cumulated vsize (KiB) 664076 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=1176528/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=692332 CPUtime=1122.23 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 172801 0 0 0 111557 666 0 0 25 0 1 0 182236156 708947968 172448 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 173083 172448 136 292 0 172788 0 Current children cumulated CPU time (s) 1122.23 Current children cumulated vsize (KiB) 692332 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=1156112/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=712860 CPUtime=1182.24 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 177947 0 0 0 117543 681 0 0 25 0 1 0 182236156 729968640 177594 1992294400 134512640 135709839 4294956240 18446744073709551615 134573892 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 178215 177594 136 292 0 177920 0 Current children cumulated CPU time (s) 1182.24 Current children cumulated vsize (KiB) 712860 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=1114896/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=753932 CPUtime=1242.24 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 188194 0 0 0 123513 711 0 0 25 0 1 0 182236156 772026368 187841 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 188483 187841 136 292 0 188188 0 Current children cumulated CPU time (s) 1242.24 Current children cumulated vsize (KiB) 753932 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=1074000/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=794712 CPUtime=1302.25 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 198380 0 0 0 129490 735 0 0 25 0 1 0 182236156 813785088 198027 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 198678 198027 136 292 0 198383 0 Current children cumulated CPU time (s) 1302.25 Current children cumulated vsize (KiB) 794712 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=1041744/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=827068 CPUtime=1362.25 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 206478 0 0 0 135467 758 0 0 25 0 1 0 182236156 846917632 206125 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 206767 206125 136 292 0 206472 0 Current children cumulated CPU time (s) 1362.25 Current children cumulated vsize (KiB) 827068 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=1007568/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=860704 CPUtime=1422.24 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 214867 0 0 0 141442 782 0 0 25 0 1 0 182236156 881360896 214514 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 215176 214515 136 292 0 214881 0 Current children cumulated CPU time (s) 1422.24 Current children cumulated vsize (KiB) 860704 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=972752/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=895708 CPUtime=1482.24 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 223611 0 0 0 147421 803 0 0 25 0 1 0 182236156 917204992 223258 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 223927 223258 136 292 0 223632 0 Current children cumulated CPU time (s) 1482.24 Current children cumulated vsize (KiB) 895708 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=956304/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=911988 CPUtime=1542.25 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 227683 0 0 0 153408 817 0 0 25 0 1 0 182236156 933875712 227330 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 227997 227330 136 292 0 227702 0 Current children cumulated CPU time (s) 1542.25 Current children cumulated vsize (KiB) 911988 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=926032/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=942348 CPUtime=1602.23 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 235253 0 0 0 159385 838 0 0 25 0 1 0 182236156 964964352 234900 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 235587 234900 136 292 0 235292 0 Current children cumulated CPU time (s) 1602.23 Current children cumulated vsize (KiB) 942348 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=901520/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=966692 CPUtime=1662.24 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 241348 0 0 0 165370 854 0 0 25 0 1 0 182236156 989892608 240995 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 241673 240995 136 292 0 241378 0 Current children cumulated CPU time (s) 1662.24 Current children cumulated vsize (KiB) 966692 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=854416/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=1014452 CPUtime=1722.24 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 253292 0 0 0 171337 887 0 0 25 0 1 0 182236156 1038798848 252939 1992294400 134512640 135709839 4294956240 18446744073709551615 134518314 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 253613 252939 136 292 0 253318 0 Current children cumulated CPU time (s) 1722.24 Current children cumulated vsize (KiB) 1014452 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=813008/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=1055028 CPUtime=1782.24 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 263413 0 0 0 177320 904 0 0 25 0 1 0 182236156 1080348672 263060 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 263757 263060 136 292 0 263462 0 Current children cumulated CPU time (s) 1782.24 Current children cumulated vsize (KiB) 1055028 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=803984/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=1063756 CPUtime=1800.04 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4194304 265611 0 0 0 179096 908 0 0 25 0 1 0 182236156 1089286144 265258 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 265939 265258 136 292 0 265644 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1063756 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.21 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29398 /proc/meminfo: memFree=803984/2055920 swapFree=4191900/4192956 [pid=29391] ppid=29389 vsize=0 CPUtime=1800.14 /proc/29391/stat : 29391 (wbo) R 29389 29391 29282 0 -1 4195332 265611 0 0 0 179096 918 0 0 25 0 1 0 182236156 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/29391/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.26 CPU time (s): 1800.21 CPU user time (s): 1790.97 CPU system time (s): 9.24159 CPU usage (%): 99.9971 Max. virtual memory (cumulated for all children) (KiB): 1063756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.97 system time used= 9.2416 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 265611 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= 7426 runsolver used 1.65375 second user time and 4.95325 second system time The end
Begin job on node16 at 2009-06-16 11:59:17 IDJOB=1875713 IDBENCH=2006 IDSOLVER=698 FILE ID=node16/1875713-1245146357 PBS_JOBID= 9363735 Free space on /tmp= 66280 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875713-1245146357/watcher-1875713-1245146357 -o /tmp/evaluation-result-1875713-1245146357/solver-1875713-1245146357 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875713-1245146357.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d431323968e1ca4dc95d181076d01437 RANDOM SEED=110689930 node16.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.214 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.214 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: 1868664 kB Buffers: 19436 kB Cached: 91348 kB SwapCached: 260 kB Active: 25728 kB Inactive: 97884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1868664 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3264 kB Writeback: 0 kB Mapped: 21276 kB Slab: 49560 kB Committed_AS: 149468 kB PageTables: 1440 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-1875713-1245146357.opb Free space on /tmp at the end= 66276 MiB End job on node16 at 2009-06-16 12:29:19